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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,309 篇 会议
1,853 篇 期刊文献
20 册 图书

馆藏范围

4,182 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,514 篇 工学
- 1,537 篇 计算机科学与技术...
- 1,247 篇 软件工程
- 469 篇 信息与通信工程
- 434 篇 控制科学与工程
- 353 篇 电气工程
- 291 篇 电子科学与技术（可...
- 276 篇 光学工程
- 269 篇 生物工程
- 239 篇 生物医学工程（可授...
- 164 篇 机械工程
- 153 篇 化学工程与技术
- 127 篇 动力工程及工程热...
- 126 篇 仪器科学与技术
- 110 篇 材料科学与工程（可...
- 95 篇 安全科学与工程
- 83 篇 交通运输工程
1,523 篇 理学
- 665 篇 数学
- 577 篇 物理学
- 324 篇 生物学
- 204 篇 统计学（可授理学、...
- 185 篇 系统科学
- 177 篇 化学
568 篇 管理学
- 357 篇 管理科学与工程(可...
- 222 篇 图书情报与档案管...
- 176 篇 工商管理
257 篇 医学
- 222 篇 临床医学
- 179 篇 基础医学(可授医学...
- 102 篇 药学(可授医学、理...
- 87 篇 公共卫生与预防医...
97 篇 法学
- 73 篇 社会学
61 篇 经济学
61 篇 教育学
45 篇 农学
20 篇 军事学
15 篇 文学
8 篇 艺术学

主题

138 篇 software enginee...
97 篇 computer science
72 篇 machine learning
65 篇 deep learning
64 篇 neural networks
61 篇 feature extracti...
59 篇 application soft...
59 篇 control systems
54 篇 optimization
53 篇 computational mo...
52 篇 accuracy
49 篇 computer archite...
48 篇 artificial intel...
46 篇 predictive model...
46 篇 humans
45 篇 software testing
45 篇 costs
44 篇 testing
42 篇 pattern recognit...
41 篇 image segmentati...

机构

86 篇 university of ch...
68 篇 iccub universita...
66 篇 universiteit maa...
65 篇 department of ph...
65 篇 hangzhou institu...
65 篇 excellence clust...
63 篇 infn sezione di ...
63 篇 horia hulubei na...
62 篇 van swinderen in...
62 篇 school of physic...
61 篇 ds4ds la salle u...
60 篇 physics and micr...
60 篇 infn sezione di ...
59 篇 massachusetts in...
58 篇 h.h. wills physi...
57 篇 university of ma...
57 篇 cavendish labora...
57 篇 infn sezione di ...
56 篇 warsaw
56 篇 university of ci...

作者

66 篇 barter w.
66 篇 brundu d.
66 篇 bellee v.
65 篇 beiter a.
58 篇 ao d.
57 篇 bobulska d.
56 篇 aliouche z.
56 篇 blake t.
56 篇 andersson m.
56 篇 borsato m.
56 篇 betancourt c.
56 篇 belin s.
56 篇 afsharnia h.
56 篇 carus l.
56 篇 barbetti m.
56 篇 beck a.
56 篇 cali s.
55 篇 casse g.
55 篇 amato s.
55 篇 baryshnikov f.

语言

3,680 篇 英文
455 篇 其他
44 篇 中文
2 篇 日文
1 篇 阿拉伯文
1 篇 德文
1 篇 法文
1 篇 俄文

检索条件"机构=Center of Excellence in Software Engineering Department of Computer Engineering"

共 4182 条记录，以下是3611-3620 订阅

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

详细简洁

排序：

Formal description of the ADT model of files using RTPA

Formal description of the ADT model of files using RTPA

引用

Canadian Conference on Electrical and computer engineering 2005

作者： Ngolah, Cyprian F. Wang, Yingxu Tan, Xinming Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary 2500 University Drive NW Calgary Alta. T2N 1N4 Canada

An Abstract Data Type (ADT) is an abstraction of a data structure that specifies what information can be stored in the ADT and what operations can be done on/by the ADT. The File as a common type plays a primordial role in software system development since it provides a means for manipulating large volumes of information and persistent data. However, the file ADT has not been given a formal semantics. Access to data stored in an ADT is through its interfaces. These interfaces and the operations that they represent should be rigorously defined so as to guarantee that their use will give expected results. This paper illustrates the use of Real-Time Process Algebra (RTPA) to formally describe both the data and operations of the file ADT. The difficulties in the file ADT specification are the formal description of its logical and physical models. The logical model of the file ADT is modeled using an indexing mechanism in which each record stored in the file is accessed through its address. The formal model is used in the file management system of RTOS+, a novel real-time operating system developed by the authors. RTPA has been found a very useful notation for describing the behavior of software systems. © 2005 IEEE.

关键词： File organization

来源：评论

学校读者我要写书评

暂无评论

An operational semantics for RTPA

An operational semantics for RTPA

引用

Canadian Conference on Electrical and computer engineering 2005

作者： Ngolah, Cyprian F. Wang, Yingxu Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary 2500 University Drive NW Calgary Alta. T2N 1N4 Canada

A formal specification methodology that describes the behaviors of a real-time system must have a means to verify the specification before software is implemented from it. Developing a verifier for a formal specification language demands an operational semantics for the language. If the syntactic constructs of the language involve variables, its operational semantics is more difficult to define since the environment must also show the association of variables and the values to which they are assigned. This paper presents the operational semantics of Real-Time Process Algebra (RTPA). RTPA describes a software system's behavior using a combination of meta-processes and process relations. Based on the meta-processes and process relations, the operational semantics of RTPA is presented, which shows how syntactic constructs can be reduced to values using inference rules. The operational semantics for RTPA will serve as a basis for the verifier and checker for RTPA specifications. © 2005 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Design of a Real-Time Virtual Machine (RTVM)

Design of a Real-Time Virtual Machine (RTVM)

引用

Canadian Conference on Electrical and computer engineering 2005

作者： Cavanagh, Steven Wang, Yingxu Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary 2500 University Dr. NW Calgary Alta. T2N 1N4

The commercial software industry has a number of different operating system vendors offering various features. Real-time operating systems (RTOS's) are primarily proprietary, closed source, expensive, and uniquely designed to specific applications. software designers must examine a given real-time operating system to ensure an RTOS will meet the real-time requirements for an intended platform. An RTOS does often not meet the original real-time constraints, when product evolves to new hardware platforms. This makes the evolution of real-time systems a cumbersome and difficult problem. In this paper we will describe a new approach to real-time system development. Instead of reinventing software for a real-time system, we provide a generic and platform independent virtual machine. We will discuss the design, architecture, and implementation of a Real-Time Virtual Machine (RTVM). The RTVM provides a generic real-time platform, where real-time applications using the Java paradigm can operate on various platforms without re-writing the code. © 2005 IEEE.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Formal specification of CORBA-based distributed objects and behaviors

Formal specification of CORBA-based distributed objects and ...

引用

4th IEEE Conference on Cognitive Informatics 2005, ICCI 2005

ISBN: (纸本)0780391365

A distributed object system consists of a set of objects that interact by invoking services to one another. For successful cooperation between these objects, they must have capabilities that enable them to represent, use and share information. Existing middleware technologies define the remote object classes in terms of their interfaces only and do not give any semantic or behavioral specifications of the remote objects resident in clients and servers. This paper formalizes the behavior of distributed objects based on the Common Object Request Broker Architecture (CORBA). The capturing of information by each distributed object can be compared to the way information is captured using the Object-Attribute-Relation (OAR) model in which information about an object is represented by a 3-tuple (O, A, R), where O represents the object ID used to identify an object, A the set of object attributes used to denote detailed characteristics of an object and R a set of defined relationships used to make connections to other objects. Real-Time Process Algebra (RTPA) is used to model the architecture of a distributed system. Based on this architecture, a formal specification of the behavior of the distributed objects is presented through a case study.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

An RTPA supporting environment for Java code generation

An RTPA supporting environment for Java code generation

引用

Canadian Conference on Electrical and computer engineering 2005

Real-time software development from formal specifications requires tools and suitable supporting environments to facilitate the development process. The need for such tools becomes more pronounced if the development language is Java;because Java suffers from the unpredictable behavior of the garbage collector. This paper presents a supporting environment for developing real-time software using Java from formal specifications in RTPA. The supporting environment has two major components: a real-time support library that provides extended real-time library functions for the generated Java code, and a real-time kernel (RTOS+) that provides efficient real-time services to the system. By automatically generating Java code from formal specifications, the programmer is relieved of the burden of interpreting the specification before writing code in Java and at the same time is able to take advantage to develop real-time applications in Java under the support of the real-time support environment. © 2005 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

From BEEVT to DLR- NSF supported engineering education projects at virginia tech

From BEEVT to DLR- NSF supported engineering education proje...

引用

2005 ASEE Annual Conference and Exposition: The Changing Landscape of engineering and Technology Education in a Global World

作者： Lohani, Vinod K. Sanders, Mark Wildman, Terry Connor, Jeff Mallikarjunan, Kumar Dillaha, Theo Muffo, John Knott, Tamara W. Lo, Jenny Loganathan, G.V. Adel, Greg Wolfe, M.L. Goff, Richard Gregg, Mike Chang, Mike Agblevor, Foster Vaughan, David Cundiff, John Fox, Ed Griffin, Hayden Magliaro, Sue Department of Engineering Education Department of Technology Education Center for Excellence in Undergraduate Teaching United States Biological Systems Engineering United States Academic Assessment Unit Civil and Environmental Engineering Mining and Minerals Engineering United States Computer Science School of Education Virginia Polytechnic Institute State University Blacksburg United States

This paper briefly discusses the motivating factors that led to formation of an active collaborative group of engineering and education faculty at Virginia Tech. This group is actively pursuing a number of engineering education research activities and has been successful in winning two grants from the NSF in first 12 months of their collaborative efforts. These collaborative activities are targeted at improving engineering pedagogy at Virginia Tech and began with a planning grant from the NSF in September 2003. A 15-month Masters/Licensure program has been developed specifically for licensing engineering graduates in Technology Education. A number of assessment activities have been initiated for analyzing curricular changes beginning with the freshman-engineering program. Use of electronic portfolio in engineering instruction is being explored. The curricula of freshman engineering and bioprocess engineering are being reformulated using a theme based spiral curriculum approach, which is part of a major research grant, under the department-level reform program of the NSF, that began in September '04. The interdisciplinary group has developed/ is working on a number of research proposals for expanding the scope of ongoing studies. The information presented should be very useful for new engineering educators who are exploring similar collaborative ventures elsewhere.

关键词： engineering education

来源：评论

学校读者我要写书评

暂无评论

Increasing resiliency through priority scheduling of asynchronous data replication

Increasing resiliency through priority scheduling of asynchr...

引用

11th International Conference on Parallel and Distributed Systems Workshops, ICPADS 2005

作者： Adams, Kevin P. Gračanin, Denis Hinchey, Michael G. NSWC Dahlgren Division United States Department of Computer Science Virginia Tech United States NASA Software Engineering Lab Goddard Space Flight Center United States

ISBN: (纸本)0769522815

Distributed systems commonly replicate data to enhance system dependability. In such systems, a logical update on a data item results in a physical update on a number of copies. The synchronization and communication required to keep the copies of replicated data consistent introduces a delay when operations are performed. In time-constrained systems or systems distributed over a bandwidth-constrained area, such operational delays generally prove unacceptable. Asynchronous data replication is commonly used to mitigate these delays. We look to develop a general solution for the introduction of an adaptive data replication scheduler to optimize asynchronous replications based on a user-developed priority model in overloaded situations. The solution uses a Multi-Layer Perceptron neural network to mimic the behavior of a historically optimal scheduler through functional approximation with its evaluation through simulation. © 2005 IEEE.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Coverage-directed test generation with model checkers: challenges and opportunities

Coverage-directed test generation with model checkers: chall...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： G. Devaraj M.P.E. Heimdahl Donglin Liang Department of Computer Science and Engineering University of Minnesota Software Engineering Center University of Minnesota USA

When using tools to automatically generate tests-suites from a specification, the selection of coverage criterion that guides the generation process is of imperative importance. In a previous study that evaluated test generation with model checking, we observed that although a coverage criterion may seem reasonable when instrumenting a model or code to measure the adequacy of a test suite, it may be unsuitable when formalized and used to guide the model checker to generate a test suite; the generated tests technically provide adequate coverage according to the formalization, but do so in a way that exercises only small portions of the system under study and finds few faults. Based on those results, we concluded that fully automated test-suite generation techniques must be pursued with great caution and that coverage criteria specifically addressing test-suite generation from formal specifications are needed. In this report, we attempt to better understand these concerns by evaluating several coverage criteria that bring together aspects from condition and control based criteria. We evaluate the fault finding capability of the criteria on a close to production flight guidance system and discuss the opportunities and challenges that arise from the increased use of fully automated model-based testing.

关键词： Automatic testing System testing Logic testing software testing Instruments Automatic control Application software Aerospace electronics NASA computer science

来源：评论

学校读者我要写书评

暂无评论

Hierarchical image segmentation using ant colony and chemical computing approach 1

引用

First International Conference on Natural Computation, ICNC 2005

作者： Khajehpour, Pooyan Lucas, Caro Araabi, Babak N. Control and Intelligent Processing Center of Excellence Department of Electrical and Computer Engineering University of Tehran Tehran Iran School of Cognitive Science Institute for Studies in Theoretical Physics and Mathematics Tehran Iran

ISBN: (数字)9783540318583

ISBN: (纸本)9783540283256

This paper presents a new method for hierarchical image segmentation. The hierarchical structure is represented by a binary tree with the main image as its root. At the lower levels, each node stands as one image segment, which is described by a weighted graph and may be divided into two new segments at the next level through a specific cut. Graph bi-sectioning is done by the self organizing property of ant systems. Ants are free to wander over one image segment graph to find the best cut on it. When an ant finds a suitable cut, it returns to its colony and leaves a proper value of pheromone over its trail to attract other ants to that cut. By using the Chemical Computing approach in this paper, it is assumed the mobile hormones (pheromone) are secreted which can diffuse around initial positions and attract more ants to the found cut. The advantages of this assumption are reducing the noise effects and improving the convergence speed of ants to find a new selected image segment, which can be seen in the practical results. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Speed control of switched reluctance motor (SRM) using emotional learning based adaptive controller

Speed control of switched reluctance motor (SRM) using emoti...

引用

International Conference on Control and Automation (ICCA)

作者： H. Rouhani R.M. Milasi C. Lucas Iranian Applied Design Center of Excellence Mechanical Engineering Department University of Tehran Tehran Iran Iranian Control & Intelligent Processing Center of Excellence Electrical and Computer Engineering Department University of Tehran Iran Iranian Control & Intelligent Processing Center of Excellence Electrical and Computer Engineering Department Electrical and Computer Engineering Department University of Tehran Iran

In this paper, an intelligent controller is applied to speed control of a switched reluctance motor. Two techniques are used which have been successfully used in other intelligent modeling and control applications. Firstly, a neuro-fuzzy locally linear model tree system is used for data driven modeling of the switched reluctance motor. Secondly, a neural computing technique based on a mathematical model of amygdala and the limbic system is used for emotional control of the switched reluctance motor. The obtained results indicate the applicability of the proposed techniques in intelligent control of this highly nonlinear system.

关键词： Reluctance motors Velocity control Reluctance machines Programmable control Adaptive control Intelligent control Strontium Process control Control systems Teeth

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共419页 << < 358 359 360 361 362 363 364 365 366 367 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：