检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

1,041 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 linear programmi...
30 篇 probabilistic lo...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1043 条记录，以下是931-940 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Testing Scenario Implementation with Behavior Contracts

Testing Scenario Implementation with Behavior Contracts

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Donglin Liang Kai Xu University of Minnesota Minneapolis MN USA

this paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of object-oriented (OO) systems. A behavior contract models how the scenarios for performing a designated task are expected to be implemented. Based on this contract, our tool can automatically monitor the program execution for checking important properties related to these scenarios. this capability can help testers to determine whether the scenarios have been implemented correctly. Our tool can also collect test coverage information w.r.t. the scenarios modeled by a behavior contract. Such information can be used to direct the testing efforts towards the less-covered scenarios, and to determine whether the implementation of these scenarios has been adequately tested. therefore, using this tool should improve both the efficiency and effectiveness of testing OO systems

关键词： Contracts System testing Software testing Object oriented modeling Computer bugs Application software Computerized monitoring Formal specifications Sampling methods programming

来源：评论

学校读者我要写书评

暂无评论

Evaluation of parts by mixed-level DC-connected components in logic simulation 93

Evaluation of parts by mixed-level DC-connected components i...

引用

Proceedings of the 30th international Design Automation conference

作者： Dah-Cherng Yuan Lawrence T. Pillage Joseph T. Rahmeh

来源：评论

学校读者我要写书评

暂无评论

Power, Performance and Area Optimization of Parallel Load Counters through logic Minimization and TSPC-FF Utilization

Power, Performance and Area Optimization of Parallel Load Co...

引用

IEEE international conference on Electronics, Circuits and Systems (ICECS)

作者： Khaled Humood Alex Serb Shiwei Wang themis Prodromakis Centre for Electronics Frontiers School of Engineering The University of Edinburgh Edinburgh The United Kingdom

Parallel load counters are a specific category of counters that offer the flexibility of being loaded with any desired sequence. While counters are usually described as basic building blocks in textbooks, current research efforts are focused on enhancing their efficiency in terms of power consumption, area utilization, and propagation delay. this study introduces three innovative implementations of parallel load counters that are optimized for power, delay, and area based on two well-established textbook approaches. the optimization methods employed in this work utilize logic minimization of the textbook counters and incorporate the use of True Single-Phase Clock-FlipFlops (TSPCFF) instead of conventional registers to further enhance efficiency. Post-layout simulations employing 180nm CMOS technology demonstrate that the proposed counters achieve $\sim 3.4 \times$ lower power consumption, $\sim 2 \times$ higher maximum frequency, $\sim 4.9 \times$ reduced latency and $\sim 2 \times$ smaller area footprint compared to the traditional methods. In addition, the proposed solutions are less susceptible to noise caused by the supply voltage and temperature fluctuations. We believe that this study serves as a valuable reference for circuit designers to further optimize design efficiency and meet specific requirements.

关键词：

来源：评论

学校读者我要写书评

暂无评论

TODO or to bug

TODO or to bug

引用

international conference on Software Engineering (ICSE)

作者： Margaret-Anne Storey Jody Ryall R. Ian Bull Del Myers Janice Singer University of Victoria Victoria BC Canada National Research Council Canada Ottawa ONT Canada

Software development is a highly collaborative activity that requires teams of developers to continually manage and coordinate their programming tasks. In this paper, we describe an empirical study that explored how task annotations embedded within the source code play a role in how software developers manage personal and team tasks. We present findings gathered by combining results from a survey of professional software developers, an analysis of code from open source projects, and interviews with software developers. Our findings help us describe how task annotations can be used to support a variety of activities fundamental to articulation work within software development. We describe how task management is negotiated between the more formal issue tracking systems and the informal annotations that programmers write within their source code. We report that annotations have different meanings and are dependent on individual, team and community use. We also present a number of issues related to managing annotations, which may have negative implications for maintenance. We conclude with insights into how these findings could be used to improve tool support and software process.

关键词： Software development management Collaborative software Software tools programming profession Collaborative work Open source software Embedded software Protocols Collaborative tools Project management

来源：评论

学校读者我要写书评

暂无评论

Are fit tables really talking?

Are fit tables really talking?

引用

international conference on Software Engineering (ICSE)

作者： Filippo Ricca Massimiliano Di Penta Marco Torchiano Paolo Tonella Mariano Ceccato Corrado Aaron Visaggio Unità CINI Genoa Italy RCOST-Department of Engineering University of Sannio Benevento Italy Politecnico di Torino Italy Fondazione Bruno Kessler (FBK) Trento Italy

Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. this approach was recently ported to the early development phase, when requirements are gathered and clarified. Among the existing proposals, Fit (Framework for Integrated Testing) supports the precise specification of requirements by means of so called Fit tables, which express relevant usage scenarios in a tabular format, easily understood also by the customer. Fit tables can be turned into executable test cases through the creation of pieces of glue code, called fixtures. In this paper, we test the claimed benefits of Fit through a series of three controlled experiments in which Fit tables and related fixtures are used to clarify a set of change requirements, in a software evolution scenario. Results indicate improved correctness achieved with no significant impact on time, however benefits of Fit vary in a substantial way depending on the developers' experience. Preliminary results on the usage of Fit in combination with pair programming revealed another relevant source of variation.

关键词： Automatic testing Software testing Fixtures Natural languages programming Proposals Information resources HTML System testing Employee welfare

来源：评论

学校读者我要写书评

暂无评论

What Impact Do My Preferences Have? 30th

What Impact Do My Preferences Have?

引用

30th international Working conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2024

作者： Wohlrab, Rebekka Vierhauser, Michael Nilsson, Erik Chalmers University of Gothenburg Gothenburg Sweden University of Innsbruck Innsbruck Austria

ISBN: (纸本)9783031573262

[Context and motivation] Successful human-robot collaboration requires that humans can express their requirements and that they comprehend the decisions that robots make. Requirements in this context are often related to potentially conflicting quality objectives, such as performance, security, or safety. Humans tend to have preferences regarding how important different objectives are at different points in time.[Question/problem] Currently, preferences are often expressed based on assumptions of what importance level should be assigned to a quality objective at runtime. To assign meaningful preferences to quality objectives, it is important that humans understand the impact of these preferences on the behavior of a robot. To the best of our knowledge, there is yet no framework that supports the explanation-based elicitation of quality preferences. [Principal ideas/results] To address these needs, we have developed OBJUST, a framework that helps with the interactive elicitation of preferences for robot mission planning. [Contribution] the framework relies on the specification of human preferences and contrastive explanations. We evaluated our framework in a study with 7 participants. Our results indicate that the visual and textual explanations of the generated robotic mission plans help humans better understand the impact of their preferences, which can facilitate the elicitation process. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Rigorous State-Based Methods, ABZ 2024

10th International Conference on Rigorous State-Based Method...

引用

10th international conference on Rigorous State-Based Methods, ABZ 2024

ISBN: (纸本)9783031637896

the proceedings contain 30 papers. the special focus in this conference is on Rigorous State-Based Methods. the topics include: Proof Construction and Checking on Evolving Abstract State Machines;Modelling and Analysing a Mechanical Lung Ventilator in mCRL2;Real-Time CCSL: Application to the Mechanical Lung Ventilator;the Mechanical Lung Ventilator Case Study;designing Exception Handling Using Event-B;Verifying HyperLTL Properties in Event-B;thoR: An Alloy5-Like DSL for Interactive theorem Proving in Coq;Event-B as DSL in Isabelle and HOL Experiences from a Prototype;meta-programming Event-B: Advancing Tool Support and Language Extensions;multi-model Animation with JeB;using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines;semantics Formalisation – From Event-B Contexts to theories;Property Ownership Formal Modelling Using Event-B and iUML-B;an Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding;modal Extensions of the logic of Abstract State Machines;loose Observation in Event-B;a Lean Reflective Abstract State Machine Definition;transpilation of Petri-nets into B: Shallow and Deep Embeddings;event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems;formal Modeling and Analysis of Apache Kafka in Alloy 6;formal Methods and Tools Applied in the Railway Domain;preface;from Event-B to Lambdapi;FRETting and Formal Modelling: A Mechanical Lung Ventilator;Modelling a Mechanical Lung Ventilation System Using TASTD;an Event-B Model of a Mechanical Lung Ventilator;small Step Incremental Verification of Compilers;a Modeling and Verification Framework for Ethereum Smart Contracts.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Approximating the 2-catalog segmentation problem using semidefinite programming relaxations

Approximating the 2-catalog segmentation problem using semid...

引用

1st international conference on Optimization Methods and Software (OMS2002)

作者： Xu, DC Ye, YY Zhang, JW Stanford Univ Dept Management Sci & Engn Stanford CA 94305 USA Chinese Acad Sci Acad Math & Syst Sci Inst Appl Math Beijing 100080 Peoples R China

We consider the 2-Catalog Segmentation problem (2-CatSP) introduced by Kleinberg et al. [J. Kleinberg, C. Papadimitriou and P. Raghavan (1998). Segmentation problems. In Proceedings of the 30th Symposium on theory of Computation , pp. 473-482.], where we are given a ground set I of n items, a family {S-1, S-2,...,S-m } of subsets of I and an integer 1 less than or equal to k less than or equal to n . the objective is to find subsets A(1), A(2) subset of I such that \A(1)\ = \A(2)\ = k and Sigma(i=1)(m) max {\S-i boolean AND A(1)\, \S-i boolean AND A(2)\} is maximized. It is known that a simple and elegant greedy algorithm has a performance guarantee 1/2. Furthermore, using a semidefinite programming (SDP) relaxation Doids et al. [Y. Doids, V. Guruswami and S. Khanna (1999). the 2-catalog segmentation problem. In Proceedings of SODA , pp. 378-380.] showed that 2-CatSP can be approximated by a factor of 0.56 when k = n/2. Motivated by these results, we develop improved approximation algorithms for 2-CatSP on a range of k in this paper. the performance guarantee of our algorithm is 1/2 for general k , and is strictly greater than 1/2 when k greater than or equal to n /3. In particular, we obtain a ratio of 0.67 for 2-CatSP when k = n/2. Unlike the relaxation used by Doids et al. , our extended and direct SDP relaxation deals with general k , which enables us to obtain better approximation for 2-CatSP. Another contribution of this paper is a new variation of the random hyperplane rounding technique, which allows us to explore the structure of 2-CatSP. this rounding technique might be of independent interest. It can be also used to obtain improved approximation for several other graph partitioning problems considered in Feige and Langberg [U. Fiege and M. Langberg (2002). Approximation algorithms for maximization problems arising in graph partitioning. Journal of Algorithm .], Ye and Zhang [Y. Ye and J. Zhang (2003). Approximation for dense-n/2-subgraph and the complemen

关键词： catalog segmentation problem semidefinite programming approximation algorithm

来源：评论

学校读者我要写书评

暂无评论

Identification of Stable Links in MANETs

Identification of Stable Links in MANETs

引用

international conference on Distributed Computing Systems Workshop

作者： Alicia Triviño-Cabrera Jorge García-de-la-Nava Eduardo Casilari Universidad de Málaga Málaga Spain Dpto. Tecnología ElectrónicaUniversidad de MálagaMálaga (Spain) Dpto. Tecnología Electrónica Universidad de Málaga Málaga Spain

Mobile Ad Hoc Networks (MANET) are characterized by a highly dynamic topology as a consequence of the frequent and unpredictable changes in the link states. Routing protocols must cope with this eventuality so when routes in use break, they should discover alternative paths to keep the on-going communications active. the procedures to discover new routes commonly provoke a significant amount of control packets which may induce losses and delay to the data packets. therefore, the network performance could benefit from the techniques that avoid these route discovery procedures. In this sense, a practical strategy is the use of the links that are expected to endure longer. Basing on an analytical model, this paper presents a technique to identify the most stable links. the evaluation in an autonomous MANET connected to the Internet shows the goodness of the proposed criterion.

关键词： Ad hoc networks logic gates Mobile computing Internet Histograms Routing protocols Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Real-time monitoring of insulin using a graphene aptameric nanosensor

Real-time monitoring of insulin using a graphene aptameric n...

引用

IEEE international conference on Micro Electro Mechanical Systems

作者： Zhuang Hao Yibo Zhu Xuejun Wang Pavana Rotti Christopher Dimarco Shuyu Lin Xuezeng Zhao John Engelhardt James Hone Qiao Lin Department of Mechanical Engineering Columbia University New York USA Department of Mechanical Engineering Harbin Institute of Technology Harbin CHINA Department of Anatomy and Cell Biology University of Iowa Iowa City IA USA

ISBN: (纸本)9781509050796

We present a new approach for real-time, specific and sensitive detection of insulin using a graphene aptameric nanosensor. the nanosensor is configured as a graphene field effect transistor, where the graphene conducting channel was functionalized with a guanine-rich aptamer IGA3 that would form an anti-parallel G-quadruplex upon insulin binding. the aptamer conformational changes altered the electrical conductance of graphene by varying the carrier density of the graphene. the nanosensor allowed us to perform real-time, label-free and specific detection of insulin concentrations as low as 1 nM.

关键词： Insulin Graphene Real-time systems logic gates Biosensors Nanobioscience

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共105页 << < 90 91 92 93 94 95 96 97 98 99 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：