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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,625 篇 会议
57 册 图书
49 篇 期刊文献

馆藏范围

2,731 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,197 篇 工学
- 1,029 篇 计算机科学与技术...
- 560 篇 软件工程
- 263 篇 电气工程
- 151 篇 电子科学与技术（可...
- 147 篇 控制科学与工程
- 133 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 18 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
- 17 篇 安全科学与工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 11 篇 光学工程
- 11 篇 化学工程与技术
264 篇 理学
- 166 篇 数学
- 79 篇 系统科学
- 38 篇 物理学
- 32 篇 统计学（可授理学、...
- 13 篇 化学
- 12 篇 生物学
135 篇 管理学
- 114 篇 管理科学与工程(可...
- 51 篇 工商管理
- 28 篇 图书情报与档案管...
20 篇 经济学
- 20 篇 应用经济学
19 篇 法学
- 19 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
358 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
115 篇 field programmab...
112 篇 real time system...
100 篇 program processo...
90 篇 embedded computi...
87 篇 kernel
84 篇 software
83 篇 computer science
80 篇 parallel process...
79 篇 registers
73 篇 control systems
71 篇 timing

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
7 篇 department of co...
6 篇 computer systems...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 eindhoven univer...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...
5 篇 shanghai key lab...

作者

19 篇 leupers rainer
16 篇 ascheid gerd
15 篇 soudris dimitrio...
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 pimentel andy d.
10 篇 andy d. pimentel
10 篇 jung matthias
10 篇 holger blume
9 篇 fornaciari willi...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 blume holger
9 篇 andreas gerstlau...
9 篇 takala jarmo
8 篇 mohamed abid
8 篇 f. fummi
8 篇 george economako...
8 篇 wehn norbert

语言

2,719 篇 英文
9 篇 中文
4 篇 其他

检索条件"任意字段=International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation"

共 2731 条记录，以下是2541-2550 订阅

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

详细简洁

排序：

Rapid prototyping of parallel and distributed systems by means of high-level Petri nets

Rapid prototyping of parallel and distributed systems by mea...

引用

IEEE international conference on systems, Man and Cybernetics

作者： B. Mikolajczak A. Cabeza J.T. Rumbut Computer and Information Science Department University of Massachusetts Dartmouth Dartmouth MA USA Architecture and Computer System Division Naval Undersea Warfare Center Newport RI USA

The control flow of parallel or distributed application can be specified by means of high-level Petri nets. One of the aims of rapid prototyping is to provide a validation of the specification; another is to produce a real application code which can be used in the final implementation. We restrict our considerations in this paper to the first goal only. When high-level Petri nets are involved, such as colored Petri nets, then colored linear invariants contribute to map automatically a set of processes on a specific parallel architecture. The purpose of this paper is to present the state of the art of the prototyping methodology and to illustrate it with a suitable example.

关键词： Prototypes Petri nets Power system modeling Application software Information science computer architecture Concurrent computing Distributed computing Military computing Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Formal methods at the systems level

Formal methods at the systems level

引用

IEEE international conference on systems, Man and Cybernetics

作者： P. Alexander P. Baraona Department of Electrical & Computer Engineering and Computer Science University of Cincinnati Cincinnati OH USA

This paper presents an attempt at using formal methods as engineering mathematics. We present a Larch interface language for VHDL, called VSPEC, that provides a mechanism for specifying and analyzing systems level requirements. Further, this language supports abstractions and concepts familiar to traditional digital hardware designers. Using VSPEC, it is possible to specify and verify both functional requirements and constraints. Components are specifying using the traditional axiomatic style extended to include performance constraints and activation conditions. Additionally, using VHDL's structural specification features, it is possible to specify and verify abstract architectures formally. The paper opens by describing general characteristics of VSPEC including single component representation and architecture representation. Design rationale are presented to show how VSPEC provides familiar abstractions to the system designer. Finally, annotated examples are presented to demonstrate the language and its expected uses.

关键词： Process design Specification languages Computational modeling Handicapped aids computer science Mathematical model Software systems Mathematics Hardware Digital systems

来源：评论

学校读者我要写书评

暂无评论

A visual computing environment for very large scale biomolecular modeling

A visual computing environment for very large scale biomolec...

引用

international conference on Application Specific systems (ASAP), architectures and Processors

作者： M. Zeller J.C. Phillips A. Dalke W. Humphrey K. Schulten R. Sharma T.S. Huang V.I. Pavlovic Y. Zhao Z. Lo S. Chu Backman Institute for Advanced Science and Technology University of Illinois Urbana-Champaign Urbana IL USA Department of Computer Science and Engineering Pennsylvania State University University Park PA USA

Knowledge of the complex molecular structures of living cells is being accumulated at a tremendous rate. Key technologies enabling this success have been, high performance computing and powerful molecular graphics applications, but the technology is beginning to seriously lag behind challenges posed by the size and number of new structures and by the emerging opportunities in drug design and genetic engineering. A visual computing environment is being developed which permits interactive modeling of biopolymers by linking a 3D molecular graphics program with an efficient molecular dynamics simulation program executed on remote high-performance parallel computers. The system will be ideally suited for distributed computing environments, by utilizing both local 3D graphics facilities and the peak capacity of high-performance computers for the purpose of interactive biomolecular modeling. To create an interactive 3D environment three input methods will be explored: (1) a six degree of freedom "mouse" for controlling the space shared by the model and the user; (2) voice commands monitored through a microphone and recognized by a speech recognition interface; (3) hand gestures, detected through cameras and interpreted using computer vision techniques. Controlling 3D graphics connected to real time simulations and the use of voice with suitable language semantics, as well as hand gestures, promise great benefits for many types of problem solving environments. Our focus on structural biology takes advantage of existing sophisticated software, provides concrete objectives, defines a well-posed domain of tasks and offers a well-developed vocabulary for spoken communication.

关键词： Large-scale systems computer graphics Pharmaceutical technology Concurrent computing Computational modeling Distributed computing Speech recognition High performance computing Drugs Genetic engineering

来源：评论

学校读者我要写书评

暂无评论

The MAESTRO language and its environment: specification, validation and control of robotic missions

The MAESTRO language and its environment: specification, val...

引用

IEEE international Workshop on Intelligent Robots and systems (IROS)

作者： E. Coste-Maniere N. Turro INRIA-Sohia-Antipolis Sophia-Antipolis France

We present a generic and yet efficient mission programming method for robotic systems. The MAESTRO programming language, directed towards the end-user, is defined to be integrated into various existing control architectures. Its development is based on the use of formal methods to fully benefit from their mathematical foundations. Subsequently, programs written in MAESTRO can be proven to be in conformity with their specification before they are executed. The programming of a representative underwater mission illustrates the features of MAESTRO and of its companion environment for specification, verification, simulation and control of robotic missions.

关键词： Robot control Control systems Automatic control Vehicle dynamics Electronic mail Robot programming Computational modeling computer simulation computer languages Virtual prototyping

来源：评论

学校读者我要写书评

暂无评论

modeling and evaluation of a new cluster-based system for commercial applications

Modeling and evaluation of a new cluster-based system for co...

引用

IEEE international conference on Algorithms and architectures for Parallel Processing (ICAP)

作者： Woo-Jong Hahn Suk-han Yoon Kangwoo Lee M. Dubois Processor Section Electronics and Telecommunications Research Institute Taejon South Korea Department of EE-Systems University of Southern California CA USA

We model and evaluate a new parallel processing system for commercial applications, so called SPAX. SPAX cost-effectively overcomes the SMP limitation by providing both scalability of the parallel processing system and application portability of the SMP. To investigate whether the new architecture satisfies the requirements of commercial applications, such as OLTP, we have built the system and workload model. The results of the simulation show that the IO subsystem becomes the bottleneck before the newly developed system network. We find that SPAX can still meet the IO requirement of the OLTP workload as its network and IO node support the flexible IO subsystem, in terms of the number of disk drives and IO nodes versus that of processing nodes.

关键词： Parallel processing Scalability Disk drives Parallel architectures computer applications Concurrent computing Multiprocessor interconnection networks Databases Network servers Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Structured definition of modular avionics architectures using blueprints

Structured definition of modular avionics architectures usin...

引用

conference on Digital Avionics systems (DASC)

作者： A. Marchetto Alenia Aeronautica Stabilimento Caselle Nord Caselle Torinese Italy

This paper reports the outcome of research activities carried out by Alenia as prosecution of the EUCLID Research and Technology Programme (RTP) 4.1 "Modular Avionics Harmonization Study", and in view of a follow-on RTP4.2 to be developed by various European Nations in the field of modeling/simulation of advanced avionics architectures. international research programs encompassing integrated modular avionics, such as the above mentioned EUCLID RTP 4.1 or ASAAC phase 1, have indicated a layered software architecture as the means to fulfil important requirements, such as software portability, software reusability and system fault tolerance. One of these layers, the System Applications Layer, is in charge of managing the system in order to provide a behavior which, across the various mission phases and system states, is compliant to what required by a structured description, realized off-line and embodied in a set of "Blueprints", accessible by the System Manager in real-time. This paper develops the Blueprints concept, carrying out an exercise of its application to a reference system architecture. As a preliminary outlook on future European studies, it is shown how, exploiting commercial simulation toolsets with an approach based on Blueprints, generic avionics architectures can be rapidly modeled and simulated, to investigate configuration and performance issues without costly prototyping.

关键词： Aerospace electronics Application software computer architecture Scheduling Software architecture Software reusability Runtime Hardware Databases Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

simulation of fuzzy control for management of respiratory rate in assist-control mechanical ventilation

Simulation of fuzzy control for management of respiratory ra...

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： D.S. Nelson J.H. Strickland T.C. Jannett Department of Electrical and Computer Engineering University of Alabama Birmingham Birmingham AZ USA Division of Pulmonary and Critical Care Medicine Department of Medicine University of Alabama Birmingham Birmingham AZ USA

This paper describes a simulation study of the performance of an intelligent control system designed to adjust the ventilator respiratory rate during assist control mechanical ventilation. The system described utilizes fuzzy logic to facilitate the inclusion of expert knowledge from clinicians in the form of linguistic statements. The system's ability to make appropriate adjustments was demonstrated in seven computer simulated patient-ventilator cases. The controller took appropriate action in all cases. Intelligent control architectures may constitute an important new approach to closed-loop decision support. Intelligent control of ventilator respiratory rate settings in assist-control ventilation is a candidate for further research and clinical validation.

关键词： Fuzzy control Ventilation Intelligent control Computational modeling computer simulation Medical simulation Fuzzy logic Pi control Proportional control Medical control systems

来源：评论

学校读者我要写书评

暂无评论

Distributed route initialization algorithms for the Monash Secure RISC Multiprocessor

Distributed route initialization algorithms for the Monash S...

引用

Annual Hawaii international conference on System Sciences (HICSS)

作者： V.J. Fazio R.D. Pose Department of Computer Science Monash University Clayton VIC Australia Department of Computer Science Adonash University Clayton VIC Australia

The Monash Secure RISC Multiprocessor (SRMP) is a general-purpose large-scale multiprocessor with a capability-based distributed shared virtual memory. The physical design of the Monash SRMP consists of passive backplane bus sections and dual-ported processor-memory modules connected in an unusual topology. This paper details three algorithms used for route initialization. The first is a simplification of the flooding algorithms commonly used in distributed networks. The second algorithm uses a variation of the depth-first search algorithm, which has been used to route mesh and hypercube architectures. The final algorithm uses a theoretical solution to the gossiping (all-to-all broadcast) problem for mesh networks; this is the first known simulation of this algorithm. The algorithms are evaluated via simulations of the traffic flow over the multiprocessor network.

关键词： Reduced instruction set computing Routing Table lookup Circuit faults computer science Australia Large-scale systems Backplanes Computational modeling computer architecture

来源：评论

学校读者我要写书评

暂无评论

Efficient terrain data representation for 3D rendering using the generalized BFOS algorithm

Efficient terrain data representation for 3D rendering using...

引用

IEEE international conference on Image Processing

作者： S.P. Oswald K. Ramchandran T.S. Huang Beckman Institute and ECE Department University of Illinois Urbana-Champaign Urbana IL USA

Digital terrain data has widespread applications in areas such as the military, geographic information systems (GIS), and flight simulator video games. The combination of the abundance of terrain data with the limited rendering capabilities of computer graphics machines creates the necessity for algorithms which generate efficient representations of the data for rendering. This paper presents such an algorithm. Terrain data is tessellated using a regular triangular grid, and the regular grid is represented using a binary tree. The generalized BFOS algorithm, a well-known optimal tree-pruning method for regression and quantization trees, is used to prune the tree optimally, resulting in a far more efficient representation of this data than known in the literature. In addition to its optimal properties, the representation is also embedded, making it suitable for displays at multiple resolutions.

关键词： Rendering (computer graphics) Geographic Information systems Application software Military computing Computational modeling Aerospace simulation Games computer graphics Binary trees Tree graphs

来源：评论

学校读者我要写书评

暂无评论

modeling ATR applications for intelligent execution upon a heterogeneous computing platform

Modeling ATR applications for intelligent execution upon a h...

引用

IEEE international conference on systems, Man and Cybernetics

作者： J.R. Budenske R.S. Ramamujan K.J. Thurber H.J. Siegel Architecture Technology Corporation Minneapolis MN USA

The information processing tasks associated with real-time applications (e.g., automatic target recognition, intelligent robotics, information fusion) have very diverse computational requirements that result in different needs for different computing system capabilities. Heterogeneous parallel computing provides a variety of architectural capabilities, orchestrated to perform an application whose tasks have such diverse execution requirements. A key issue that must be addressed in embedding real-time applications on heterogeneous parallel computing architectures is the design of a high-level operating system for selecting algorithms, matching subtasks to processors, and scheduling subtask execution. Essentially, high-level descriptions of an application would be "intelligently executed" by such an operating system. This paper presents on-going research in the development of an Intelligent Operating System, specifically describing the mechanism for the selection of algorithms that functionally satisfy the processing needs of ATR subtasks. The methodology presented here can also be used for other application domains and classes of hardware platforms whose characteristics are similar to those of the applications and platform considered here.

关键词： Intelligent robots Operating systems Computational intelligence Real time systems Parallel processing Information processing Target recognition Robotics and automation computer architecture Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共274页 << < 251 252 253 254 255 256 257 258 259 260 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：