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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,288 篇 工学
- 1,119 篇 计算机科学与技术...
- 591 篇 软件工程
- 286 篇 电气工程
- 158 篇 电子科学与技术（可...
- 150 篇 控制科学与工程
- 137 篇 信息与通信工程
- 50 篇 机械工程
- 44 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 18 篇 安全科学与工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 12 篇 生物工程
- 11 篇 光学工程
275 篇 理学
- 173 篇 数学
- 81 篇 系统科学
- 38 篇 物理学
- 33 篇 统计学（可授理学、...
- 14 篇 化学
- 14 篇 生物学
142 篇 管理学
- 119 篇 管理科学与工程(可...
- 52 篇 工商管理
- 30 篇 图书情报与档案管...
21 篇 经济学
- 21 篇 应用经济学
20 篇 法学
- 20 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
116 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
90 篇 embedded computi...
89 篇 kernel
84 篇 software
83 篇 computer science
82 篇 parallel process...
81 篇 registers
73 篇 control systems
72 篇 algorithm design...

机构

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 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
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 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...

作者

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

语言

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

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

共 2832 条记录，以下是2621-2630 订阅

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

详细简洁

排序：

Evaluation of printed circuit board assembly manufacturing systems using fuzzy colored Petri nets

Evaluation of printed circuit board assembly manufacturing s...

引用

IEEE international conference on systems, Man and Cybernetics

作者： S.C.K. Shiu E.C.C. Tsang D.S. Yeung M.B. Lam Department of Computing Hong Kong Polytechnic University Hong Kong China

In this paper, implementation and evaluation of a printed circuit board assembly (PCBA) manufacturing system model based on fuzzy colored Petri nets (FCPN) modeling was performed. From the Petri nets simulation results, two contributions were claimed: (1) The successful application of our approach to evaluate systems that consist of complicated concurrent processes with embedded data structures and uncertainty reasoning. (2) An approach in automatic determination of the threshold values in the fuzzy production rules using FCPN. The details of the assembling processes and various manufacturing data were gathered from computer manufacturers located in China. Different resource allocation strategies were introduced in the experiments, and simulation results were obtained. The resources included screen printers, different pick and place machines, infrared soldering machines and component insertion robots. All the experiments were built by using the Petri net tool DESIGN/CPN. A number of hierarchy pages, color sets, places, arcs and transitions representing the PCBA and fuzzy production rules were constructed in the experiments. simulation runs of the Petri nets model were carried out. The result shows that our approach could be used to guide decision-makers in the design and selection of a suitable PCBA manufacturing strategy. Future extension of our work is described.

关键词： Printed circuits Assembly systems Manufacturing systems Petri nets computer aided manufacturing Fuzzy systems Manufacturing processes Performance evaluation Circuit simulation Application software

来源：评论

学校读者我要写书评

暂无评论

CUMULVS: extending a generic steering and visualization middleware for application fault-tolerance

CUMULVS: extending a generic steering and visualization midd...

引用

Annual Hawaii international conference on System Sciences (HICSS)

作者： P.M. Papadopoulos J.A. Kohl B.D. Semeraro Computer Science and Mathematics Division Oak Ridge National Laboratory Oak Ridge TN USA

CUMULVS is a middleware library that provides application programmers with a simple API for describing viewable and steerable fields in large-scale distributed simulations. These descriptions provide the data type, a logical name of the field/parameter, and the mapping of global indices to local indices (processor and physical storage) for distributed data fields. The CUMULVS infrastructure uses these descriptions to allow an arbitrary number of front-end "viewer" programs to dynamically attach to a running simulation, select one or more fields for visualization, and up-date steerable variables. (Viewer programs can be built using commercial visualization software such as AVS or custom software based on GUI interface builders like Tcl/Tk.) Although these data field descriptions require a small effort on the part of the application programmer, the payoff is a high degree of flexibility for the infrastructure and end-user. This flexibility has allowed us to extend the infrastructure to include "application-directed" checkpointing, where the application determines the essential state that must be saved for a restart. This has the advantage that checkpoints can be smaller and made portable across heterogeneous architectures using the semantic description information that can be included in the checkpoint file.

关键词： Fault tolerance Data visualization Checkpointing Programming profession Application software Libraries Computational modeling Concurrent computing Packaging Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 1997 IEEE international conference on Application-Specific systems, architectures and Processors, ASAP'97

Proceedings of the 1997 IEEE International Conference on App...

引用

Proceedings of the 1997 IEEE international conference on Application-Specific systems, architectures and Processors, ASAP'97

The proceedings contains 52 papers from the 1997 IEEE international conference on Application Specific systems, architectures, and Processors. Topics discussed include: visual computing environment for very large scale biomolecular modeling;computing with locally interconnected architectures;nonlinear digital filter on a digital signal filtering processor;linear array parallel image processor;massively parallel implementation of the watershed based on cellular automata;Jacobi specific dataflow processor;storage size reduction in embedded multimedia systems;full-search block matching algorithms;image geometrical transformations using an embedded core based processor;and data-interlacing architecture for full-search block-matching algorithm.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

modeling and simulation under the standard architectures: How will DoD organizations make it happen?

Modeling and simulation under the standard architectures: Ho...

引用

Proceedings of the 1997 IEEE National Aerospace and Electronics conference, NAECON. Part 1 (of 2)

作者： Allen, Kenneth R. McQuay, William K. Science Applications Int Corp United States

During the past decade, the military modeling and simulation (M&S) community has seen the formation of the Defense modeling and simulation Office (DMSO) in the Department of Defense (DoD). Subsequently, many other offices have been formed within the Services to be Service focal points for M&S and to coordinate Service domains. Out of this has arisen the awareness of the need and benefits of a standard high level M&S architecture. Despite the current seemingly disparate and large number of architectures, the M&S environment within the DoD will settle down to a small set of modeling systems that will interoperate. However, does this mean that modeling will be mindless;will interoperability be automatic;will all answers be available to everyone? No, organizations will need to come together and plan their experiments within the chosen M&S architecture (i.e., they will need to Federate). Wright Laboratory and Science Applications international Corporation (SAIC) have worked simulation technology extensively over the years and most recently with the DMSO High-Level Architecture (HLA) and the Joint modeling and simulation System (JMASS). This paper will discuss the issues associated with organizations coming together to build a significant simulation suite, provide an approach to this activity, and share results of two Federating efforts.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

Model-based development of computer-based information systems

Model-based development of computer-based information system...

引用

Proceedings of the 1997 IEEE conference and Workshop on Engineering of computer-Based systems

作者： Kampfner, Roberto R. Univ of Michigan-Dearborn Dearborn United States

The view of processing as an integral part of function suggests that information systems must be embedded into the structure and dynamics of the functions they support. This requires that the architecture of the computer-based information system be compatible with the structure and dynamics of the organization it supports. In this paper we propose a model-based approach to the development of information systems that uses models of the structure and dynamics of organizations in order to develop effective function support. The proposed approach uses a conceptual tool to model key features of the structure and dynamics of the organization and a methodology that maps such features into the architecture of its supporting information system. A modeling and simulation environment is suggested that includes an extensive model base that can be used for the simulation and analysis of organizational function in addition to its use in systems development.

关键词： Information technology

来源：评论

学校读者我要写书评

暂无评论

Efficient modeling of memory arrays in symbolic simulation 9th

引用

9th international conference on computer-Aided Verification (CAV 97)

作者： Velev, M Bryant, RE Jain, A Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15213 USA

ISBN: (纸本)3540631666

This paper enables symbolic simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variables used to characterize the initial state of the memory is proportional to the number of memory accesses. The memory state is represented by a list containing entries of the form [c, a, d], where c is a Boolean expression denoting the set of conditions for which the entry is defined, a is an address expression denoting a memory location, and d is a data expression denoting the contents of this location. Address and data expressions are represented as vectors of Boolean expressions. The list interacts with the rest of the circuit by means of a software interface developed as part of the symbolic simulation engine. The interface monitors the control lines of the memory array and translates read and write conditions into accesses to the list. This memory model was also incorporated into the Symbolic Trajectory Evaluation technique for formal verification. Experimental results show that the new model significantly outperforms the transistor level memory model when verifying a simple pipelined data path.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

An embedded network simulator to support network protocols' development 9th

An embedded network simulator to support network protocols' ...

引用

9th international conference on computer Performance Evaluation - Modelling Techniques and Tools

作者： Rizzo, L Univ Pisa Dip Ingn Informaz I-56126 Pisa Italy

ISBN: (纸本)3540631011

The development of network protocols, especially if designed for use in very large scale networks, generally requires extensive simulation and tests in operational environments to assess their performance and correctness. Both approaches have limitations: simulation because of possible lack of accuracy in modeling the system (and, especially, traffic generators), tests in operating networks because of the difficulty of setting up and controlling the experimental testbed. In this paper we propose to embed network simulators in operational systems, so as to get the advantages of both simulators and real testbeds. Such simulators can be built with minimal modifications to existing protocol stacks. They work by intercepting communications of the protocol layer under test and simulating the effects of finite queues, bandwidth limitations, communication delays, noisy channels. As a result, experiments can be run on a standalone system, while simulating arbitrarily complex networks. Thanks to the ability of using real traffic generators and protocol implementations, doing experiments becomes as simple as running the desired set of applications on a workstation. An implementation of such a simulator, targeted to TCP and compatible with BSD-derived systems, is available from the author.

关键词： protocol evaluation TCP/IP simulation

来源：评论

学校读者我要写书评

暂无评论

Visual computing environment for very large scale biomolecular modeling

Visual computing environment for very large scale biomolecul...

引用

Proceedings of the 1997 IEEE international conference on Application-Specific systems, architectures and Processors, ASAP'97

作者： Zeller, M. Phillips, J.C. Dalke, A. Humphrey, W. Schulten, K. Sharma, R. Huang, T.S. Pavlovic, V.I. Zhao, Y. Lo, Z. Chu, S. Univ of Illinois at Urbana-Champaign Urbana United States

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.

关键词： Three dimensional computer graphics

来源：评论

学校读者我要写书评

暂无评论

9th international conference on modeling Techniques and Tools for computer Performance Evaluation, 1997

9th International Conference on Modeling Techniques and Tool...

引用

9th international conferences on modeling Techniques and Tools for computer Performance Evaluation, 1997

ISBN: (纸本)9783540631019

The proceedings contain 18 papers. The special focus in this conference is on modeling Techniques and Tools for computer Performance Evaluation. The topics include: A performability modeling environment tool;dependability evaluation and the optimization of performability;design and implementation of a network computing platform using JAVA;storage alternatives for large structured state spaces;an efficient disk-based tool for solving very large markov models;efficient transient overload tests for real-time systems;towards an analytical tool for performance modeling of ATM networks by decomposition;an embedded network simulator to support network protocols’ development;synchronized two-way voice simulation for internet phone performance analysis and evaluation;processes as language-oriented building blocks of stochastic petri nets;measurement tools and modeling techniques for evaluating WEB server performance;workload characterization of input/output intensive parallel applications;interval based workload characterization for distributed systems;bounding the loss rates in a multistage ATM switch;simple bounds for queues fed by markovian sources and on queue length moments in fork and join queuing networks with general service times.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th international Workshop on computer Aided systems Theory, EUROCAST 1997

引用

6th international Workshop on computer Aided systems Theory, EUROCAST 1997

ISBN: (纸本)3540638113

The proceedings contain 50 papers. The special focus in this conference is on Design Environments and Tools. The topics include: A system for designing parallel processor arrays;on the role of architectures in systems engineering;an approach to safety critical systems design;extensions and semantics of controller state diagrams for practical applications;design and implementation of an energy management system for an integrated iron and steel plant;representation and management of memory and decision in evolving software systems;a generic engineering framework for mechanical engineering based upon meta models;formal representation and proof of the interpreted sequential machine model;modelling of concurrent and embedded systems;a dense-time temporal logic with nice compositionality properties;introducing planning in discrete event systems;multirate control of a class of nonlinear systems;global structural approximate controllability of polynomial nonlinear systems;vectorized simulations of normal processes for first crossing-time problems;an architecture for complex systems;design of nonlinear lag-lead compensators by extended linearization using symbolic computation techniques;a numerical computation for declarative expressions;an automatic calculator with penrose diagrams;cognitive modeling for navigation of mobile robots using the sensory gradient concept;fuzzy traffic police for autonomous vehicles;object-oriented model of an open communication architecture for flexible manufacturing control;a formal model for integrated system development;moving towards an agent-based engineering environment;experiencing modeling and development of an intelligent autonomous robot;modular control system for robotized cells and lines and latest developments in robotics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 259 260 261 262 263 264 265 266 267 268 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：