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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

243 篇 会议
127 篇 期刊文献
15 册 图书

馆藏范围

385 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

229 篇 工学
- 181 篇 计算机科学与技术...
- 149 篇 软件工程
- 31 篇 信息与通信工程
- 29 篇 控制科学与工程
- 25 篇 生物工程
- 23 篇 生物医学工程（可授...
- 19 篇 机械工程
- 17 篇 电气工程
- 15 篇 光学工程
- 14 篇 安全科学与工程
- 10 篇 仪器科学与技术
- 10 篇 电子科学与技术（可...
- 8 篇 土木工程
- 8 篇 交通运输工程
- 7 篇 建筑学
93 篇 理学
- 40 篇 数学
- 28 篇 物理学
- 25 篇 生物学
- 15 篇 统计学（可授理学、...
- 14 篇 系统科学
- 8 篇 化学
85 篇 管理学
- 64 篇 管理科学与工程(可...
- 39 篇 工商管理
- 36 篇 图书情报与档案管...
23 篇 医学
- 22 篇 临床医学
- 20 篇 基础医学(可授医学...
- 10 篇 公共卫生与预防医...
- 9 篇 药学(可授医学、理...
7 篇 法学
- 7 篇 社会学
7 篇 教育学
- 7 篇 教育学
6 篇 经济学
4 篇 农学
1 篇 文学

主题

24 篇 software enginee...
14 篇 informatics
14 篇 artificial intel...
10 篇 software
9 篇 software systems
9 篇 computer archite...
9 篇 data mining
9 篇 machine learning
8 篇 computer science
8 篇 training
8 篇 information stor...
7 篇 systems engineer...
7 篇 control systems
7 篇 unified modeling...
6 篇 reliability
6 篇 information syst...
6 篇 object oriented ...
6 篇 deep learning
6 篇 software archite...
6 篇 computer communi...

机构

7 篇 software enginee...
6 篇 department of co...
6 篇 computer and inf...
5 篇 department of so...
5 篇 beijing key labo...
5 篇 department of so...
5 篇 key laboratory o...
5 篇 department of co...
5 篇 intelligent syst...
4 篇 institute of com...
4 篇 electrical and c...
4 篇 school of electr...
4 篇 media informatic...
4 篇 vienna universit...
4 篇 institute of sof...
4 篇 university of zu...
4 篇 department of in...
4 篇 school of engine...
4 篇 processes and sy...
3 篇 department of so...

作者

7 篇 praschl christop...
7 篇 yingmin jia
6 篇 syed khuram shah...
6 篇 muhammad waseem ...
6 篇 andreas rausch
6 篇 rausch andreas
6 篇 capel manuel i.
5 篇 a l zolkin
5 篇 junping du
5 篇 a. l. zolkin
5 篇 t. g. aygumov
5 篇 shahar yuval
5 篇 t g aygumov
5 篇 fashan yu
4 篇 zwettler gerald ...
4 篇 akbar muhammad a...
4 篇 zolkin a.l.
4 篇 rafi saima
4 篇 binder alexander
4 篇 gonzalo cuevas

语言

375 篇 英文
8 篇 其他
3 篇 中文

检索条件"机构=Software Engineering and Informatics Systems Department"

共 385 条记录，以下是311-320 订阅

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

详细简洁

排序：

March Test BDN: A new March Test for dynamic faults

March Test BDN: A new March Test for dynamic faults

引用

IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR

作者： Alberto Bosio Giorgio Di Natale Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Université Montpelher II Montpellier France

High-density components and process scaling lead more and more to the occurrence of new class of dynamic faults, especially in Static Random Access Memories (SRAMs), thus requiring more and more sophisticated test algorithms. Among the different types of algorithms proposed for testing SRAMs, March Tests have proven to be the most performing due to their low complexity, their simplicity and regular structure. Several March Tests for dynamic faults have been published, with different fault coverage. In this paper we propose March BDN, an extended version of the March AB. We will prove that it is able to increase the fault coverage in order to target latest dynamic faults. We show that the proposed March BDN has the highest known fault coverage compared to March Tests with the same complexity.

关键词： Circuit faults Heuristic algorithms Random access memory Decoding Complexity theory Arrays Taxonomy

来源：评论

学校读者我要写书评

暂无评论

Using the TSPi Defined Process and Improving the Project Management Process

Using the TSPi Defined Process and Improving the Project Man...

引用

International Conference on software engineering Research, Management and Applications (SERA)

作者： Sussy Bayona Ore Jose Antonio Calvo-Manzano Gonzalo Cuevas Tomas San Feliu Languages Informatics Systems and Software Engineering Department Polytechnic University of Madrid Boadilla del Monte Madrid Spain

Team software process is an integrated framework that guides development teams in producing high-quality software-intensive systems. This paper analyzes the effects of TSPi training and the improvements achieved by 44 teams, comprising fourth-year students on the software engineering degree programme, corresponding to two academic years. This study shows the benefits of using defined models such as TSPi to improve the students' skills and knowledge. The metrics of size and effort estimation, defects, productivity and costs are collected to measure the improvements through two development cycles.

关键词： Estimation software Training Productivity Accuracy Distance measurement Size measurement

来源：评论

学校读者我要写书评

暂无评论

Resource consumption in heterogeneous environments

Resource consumption in heterogeneous environments

引用

2008 International Conference on Grid Computing and Applications, GCA 2008

作者： Zenker, Niko Kunz, Martin Mencke, Steffen Business Informatics Department of Technical and Business Information Systems Otto-von-Guericke Universität Magdeburg P.O. Box 4120 D-39016 Magdeburg Germany Software Engineering Department of Distributed Systems Otto-von-Guericke Universität Magdeburg P.O. Box 4120 D-39016 Magdeburg Germany

Depending on the server, services need different resources. This paper tries to identify measurable resources and the dimensions theses resources need to have. Once measurable a guideline to measure and evaluate these... 详细信息

ISBN: (纸本)160132068X

关键词： Resource heterogenous environment

来源：评论

学校读者我要写书评

暂无评论

Integrating static checking and interactive verification: Supporting multiple theories and provers in verification

引用

1st IFIP TC 2/WG 2.3 Conference on Verified software: Theories, Tools, Experiments, VSTTE 2005

作者： Kiniry, Joseph R. Chalin, Patrice Hurlin, Clément Breunesse, Cees-Bart Charles, Julien Cok, David Jacobs, Bart Poll, Erik Ranise, Silvio Schubert, Aleksy Tinelli, Cesare Systems Research Group School of Computer Science and Informatics UCD Dublin Belfield Dublin 4 Ireland Dependable Software Research Group Department of Computer Science and Software Engineering Concordia University Montreal QC H3G 1M8 Canada Universiteé Henri Poincareé Nancy 1 BP 60120 Nancy Cedex France

ISBN: (纸本)9783540691471

Automatic verification by means of extended static checking (ESC) has seen some success in industry and academia due to its lightweight and easyto- use nature. Unfortunately, ESC comes at a cost: A host of logical and practical completeness and soundness issues. Interactive verification technology, on the other hand, is usually complete and sound, but requires a large amount of mathematical and practical expertise. Most programmers can be expected to use automatic, but not interactive, verification. The focus of this proposal is to integrate these two approaches into a single theoretical and practical framework, leveraging the benefits of each approach. © IFIP International Federation for Information Processing 2008.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Data Mining-Driven Analysis and Decomposition in Agent Supply Chain Management Networks

Data Mining-Driven Analysis and Decomposition in Agent Suppl...

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Kyriakos C. Chatzidimitriou Andreas L. Symeonidis Pericles A. Mitkas Department of Electrical and Computer Engineering Aristotle University of Thessaloniki Thessaloniki Greece Intelligent Systems and Software Engineering Laboratory Informatics and Telematics Institute CERTH Thessaloniki Greece

In complex and dynamic environments where interdependencies cannot monotonously determine causality, data mining techniques may be employed in order to analyze the problem, extract key features and identify pivotal factors. Typical cases of such complexity and dynamicity are supply chain networks, where a number of involved stakeholders struggle towards their own benefit. These stakeholders may be agents with varying degrees of autonomy and intelligence, in a constant effort to establish beneficiary contracts and maximize own revenue. In this paper, we illustrate the benefits of data mining analysis on a well-established agent supply chain management network. We apply data mining techniques, both at a macro and micro level, analyze the results and discuss them in the context of agent performance improvement.

关键词： Data analysis Supply chain management Delta modulation Intelligent agent Data mining Algorithm design and analysis Supply chains Intelligent networks Contracts Context modeling

来源：评论

学校读者我要写书评

暂无评论

An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification

An Automatic Elaborate Requirement Specification By Using Hi...

引用

International Conference on Computer Science and software engineering

作者： Jantima Polpinij Aditya Ghose Department of Computer Science Faculty of Informatics Mahasarakham University Kantarawichai Mahasarakham Thailand Decision Systems Lab School of Computer Science and Software Engineering Faculty of Informatics University of Wollongong Wollongong Australia

ISBN: (纸本)9781424439027

Ambiguity is a major problem of software errors because much of the requirements specification is written in a natural language format. Therefore, it is hard to identify consistencies because this format is too ambiguous for specification purposes. This paper aims to propose a method for handling requirement specification documents which have a similar content to each other through a hierarchical text classification. The method consists of two main processes of classification: heavy classification and light classification. The heavy classification is to classify the requirement specification documents having similar content together. Meanwhile, light classification is to elaborate specification requirement documents by using the Euclidean distance. Finally, slimming down the number of requirements specification through hierarchical text classification classifying may yield a specification which is easier to understand. That means the proposed method is more effective for reducing and handling in the requirements specification.

关键词： Text categorization Computer science software engineering Euclidean distance Quality assessment informatics Computer errors Natural languages Document handling Australia

来源：评论

学校读者我要写书评

暂无评论

Teaching Team software Process in Graduate Courses to Increase Productivity and Improve software Quality

Teaching Team Software Process in Graduate Courses to Increa...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： Bayona O. Sussy Jose A. Calvo-Manzano Cuevas Gonzalo San Feliu Tomás Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Polytechnic University of Madrid Madrid Spain Languages Campus Montegancedo Madrid Spain

This paper presents a case study that describes TSPi teaching (introduction to the team software process) to 4th year students, grouped by teams, at the Computer Science School, Polytechnic University of Madrid (UPM). The achievements of the teams, due to training and the use of TSPi, were analyzed and discussed. This paper briefly discusses the approach to the teaching and some of the issues that were identified. The teams collected data on the projects developed. They reviewed the schedule and quality status weekly. The metrics selected to analyze the impact on the students were: size, effort, productivity, costs and defects density. These metrics were chosen to analyze teams 'performance evolution through project development. This paper also presents a study related to the evolution of estimation, quality and productivity improvements these teams obtained. This study will prove that training in TSPi has a positive impact on getting better estimations, reducing costs, improving productivity, and decreasing defect density. Finally, the teams 'performance are analyzed.

关键词： software Training Estimation Productivity Education Accuracy Programming

来源：评论

学校读者我要写书评

暂无评论

Fast Information Sharing in Networks of Autonomous Agents

Fast Information Sharing in Networks of Autonomous Agents

引用

2008 American Control Conference (ACC), vol.10

作者： Feng Xiao Long Wang Yingmin Jia Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Peking University Beijing China Seventh Research Division Beihang University Beijing China

A new nonlinear protocol is proposed for state consensus of multi-agent systems in this paper. It is shown that this protocol can provide faster convergence rate than the typical linear protocol, presented by Olfati-Saber and Murray, and furthermore guarantees the states of agents reach a consensus in finite time, provided that the interaction topology, represented by a directed graph, has a spanning tree.

关键词： Multi-agent systems coordination finite-time consensus interaction topology

来源：评论

学校读者我要写书评

暂无评论

A formal framework of reconfigurable control based on model checking

A formal framework of reconfigurable control based on model ...

引用

2008 American Control Conference (ACC), vol.10

作者： He-xuan Hu Anne-lise Gehin Mireille Bayart Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Université des Sciences et Technologies de Lille Villeneuve d'Ascq France

This paper proposes a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to deal with the problems due to infinite execution cycles and non-determinism, and finally provides the algorithms that will automatically verify whether the updated model satisfies the desired specification.

关键词： Automatic control Control systems Specification languages Actuators Fault tolerance Performance loss Redundancy Safety Reconfigurable logic Databases

来源：评论

学校读者我要写书评

暂无评论

Multimodal interaction - Improving usability and efficiency in a mobile GIS context

Multimodal interaction - Improving usability and efficiency ...

引用

1st International Conference on Advances in Computer-Human Interaction, ACHI 2008

作者： Doyle, Julie Bertolotto, Michela Wilson, David School of Information Technology and Engineering University of Ottawa ON K1N6N5 Canada School of Computer Science and Informatics University College Dublin Belfield Dublin 4 Ireland Department of Software and Information Systems University of North Carolina at Charlotte 9201 University City Blvd. NC 28223 United States

ISBN: (纸本)0769530869

The context of mobility raises many issues for GIS applications. Mobile device limitations, including pen input whilst in motion, result in interfaces which are difficult to navigate and interact with. However, comparatively little research has been conducted to address the interface mobility problem for GIS. We are particularly concerned with the limited interaction techniques available to users of mobile GIS which play a primary role in contributing to the complexity of using such an application whilst mobile. Our research focuses on multimodal interfaces as a means to present users with a wider choice of modalities for interacting with GIS applications. The focus of this paper concerns a comprehensive user study which demonstrates the benefits, in terms of usability and efficiency, of a multimodal interface for the CoMPASS mobile GIS which we have developed. © 2008 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共39页 << < 28 29 30 31 32 33 34 35 36 37 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：