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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,497 篇 会议
55 篇 期刊文献

馆藏范围

1,552 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

798 篇 工学
- 737 篇 计算机科学与技术...
- 559 篇 软件工程
- 153 篇 电气工程
- 135 篇 电子科学与技术（可...
- 103 篇 信息与通信工程
- 74 篇 控制科学与工程
- 22 篇 机械工程
- 13 篇 动力工程及工程热...
- 11 篇 光学工程
- 10 篇 建筑学
- 9 篇 仪器科学与技术
- 9 篇 生物工程
- 8 篇 材料科学与工程（可...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 安全科学与工程
- 6 篇 航空宇航科学与技...
179 篇 理学
- 104 篇 数学
- 48 篇 系统科学
- 39 篇 物理学
- 16 篇 统计学（可授理学、...
- 9 篇 生物学
- 6 篇 化学
108 篇 管理学
- 89 篇 管理科学与工程(可...
- 29 篇 工商管理
- 23 篇 图书情报与档案管...
15 篇 法学
- 11 篇 社会学
5 篇 经济学
- 5 篇 应用经济学
5 篇 教育学
- 5 篇 教育学
5 篇 医学
- 5 篇 临床医学
4 篇 艺术学
1 篇 农学

主题

359 篇 hardware
177 篇 computer archite...
162 篇 embedded system
135 篇 application soft...
87 篇 field programmab...
83 篇 embedded systems
75 篇 control system s...
69 篇 costs
67 篇 high level synth...
65 篇 computational mo...
65 篇 algorithm design...
64 篇 system-on-a-chip
63 篇 permission
62 篇 embedded softwar...
61 篇 real time system...
52 篇 timing
50 篇 system-on-chip
48 篇 computer science
47 篇 energy consumpti...
46 篇 space exploratio...

机构

10 篇 department of el...
8 篇 univ calif river...
8 篇 center for embed...
6 篇 school of comput...
6 篇 arizona state un...
6 篇 center for embed...
6 篇 department of co...
5 篇 princeton univ d...
5 篇 school of inform...
5 篇 department of co...
5 篇 philips research...
5 篇 institute for in...
5 篇 technische unive...
4 篇 department of el...
4 篇 ibm thomas j. wa...
4 篇 imec leuven
4 篇 politecn torino ...
4 篇 university of er...
4 篇 tu braunschweig
4 篇 university of do...

作者

9 篇 sri parameswaran
9 篇 ogras umit y.
9 篇 parameswaran sri
9 篇 nikil dutt
7 篇 rolf ernst
7 篇 dick robert p.
7 篇 dutt nikil
7 篇 robert p. dick
7 篇 leupers rainer
7 篇 vahid f
6 篇 jiang wei
6 篇 greg stitt
6 篇 teich juergen
6 篇 mitra tulika
6 篇 rainer leupers
6 篇 andreas gerstlau...
6 篇 a. sangiovanni-v...
6 篇 r. ernst
6 篇 jha niraj k.
5 篇 sungjoo yoo

语言

1,545 篇 英文
5 篇 其他
2 篇 中文

检索条件"任意字段=Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis"

共 1552 条记录，以下是1371-1380 订阅

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

详细简洁

排序：

HW/SW codesign of an engine management system 00

HW/SW codesign of an engine management system

引用

Design, Automation and Test in Europe conference and Exhibition

作者： M. Baleani A. Ferrari A. Sangiovanni-Vincentelli C. Turchetti Department of EECS University of California Berkeley CA USA Department of Electronics University of Ancona Ancona Italy PARADES E.E.I.G. Rome Italy

ISBN: (纸本)9781581132441

The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The validation of the specification has been carried out using functional simulation. Then an architecture for the implementation of the functional specification is selected among a set of three possible alternatives, all based on the same micro-controller; characterized by different hardware-software trade-offs. The choice is motivated by a fast performance estimation that can also be used to identify the parts of the design that could be moved across the hardware-software partition to obtain better cost or better performance. The case study has been performed in the Felix VCC framework.

关键词： Engines Costs Embedded system Design methodology hardware Libraries Performance analysis Digital signal processing Process design Specification languages

来源：评论

学校读者我要写书评

暂无评论

Real-time operating systems for embedded computing

Real-time operating systems for embedded computing

引用

IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Yanbing Li M. Potkonjak W. Wolf Department of Electrical Engineering Princeton University USA Department of Computer Science UCLA USA

The authors survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important theoretical results and useful industrial implementations. Convergence of applications, technology, and market trends of embedded systems implies a strong need for new generation of RTOS. Therefore, new system synthesis problem areas, notably hardware/software co-design and synthesis for systems-on-silicon (SOS), are opening up new avenues for RTOS research and development. The paper starts with a survey of classical academic and industrial RTOS work and continues with a survey of recent results related to co-design and design systems-on-silicon. They conclude by outlining future directions for the SOS RTOS.

关键词： Real time systems Operating systems Embedded computing Application software Memory management Clocks Consumer electronics hardware Internet Circuit synthesis

来源：评论

学校读者我要写书评

暂无评论

CHARMED: a multi-objective co-synthesis framework for multi-mode embedded systems

CHARMED: a multi-objective co-synthesis framework for multi-...

引用

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

作者： V. Kianzad S.S. Bhattacharyya ECE Department and Institute for Advanced Computer Studies University of Maryland College Park MD USA

We present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded systems. In this framework we perform the synthesis under several constraints while optimizing for a set of objectives. We allow the designer to fully control the performance evaluation process, constraint parameters, and optimization goals. Once the synthesis is performed, we provide the designer a non-dominated set (Pareto front) of implementations on streamlined architectures that are in general heterogeneous and distributed. We also employ two different techniques, namely clustering and parallelization, to reduce the complexity of the solution space and expedite the search. The experimental results demonstrate the effectiveness of the CHARMED framework in computing efficient co-synthesis solutions within a reasonable amount of time.

关键词： Embedded system Constraint optimization Cost function Application software Embedded computing Control system synthesis Design optimization hardware Data communication Optimization methods

来源：评论

学校读者我要写书评

暂无评论

IFIP WG10.3/WG10.4/WG10.5 international Workshop on Distributed and Parallel Embedded systems, DIPES 2000

引用

IFIP WG10.3/WG10.4/WG10.5 international Workshop on Distributed and Parallel Embedded systems, DIPES 2000

ISBN: (纸本)9781475745351

The proceedings contain 22 papers. The special focus in this conference is on Distributed and Parallel Embedded systems. The topics include: A Methodology for Complex Embedded systems Design;Analog/Digital Co-Design;A Design Methodology for Embedded systems based on Multiple Processors;An Architecture for Reliable Distributed Computer-Controlled systems;Generic Architecture Platform for Multiprocessor system-On-Chip Design;Optimizing Functional distribution in Complex system Design;Customizing software Toolkits for Embedded systems-On-Chip;Framework for system Design, Validation and Fast Prototyping of Multiprocessor system-On-Chip;Real-Time Support for Online Controller Supervision and Optimisation;A Product Family Approach to Graceful Degradation;Environment Modelling in Closed Specifications of Embedded systems;Test Case Design for the Validation of Component-Based Embedded systems;Timing Constraints Validation using UPPAAL;A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor systems;Deriving Message Passing Protocols from Collective Behavior;Java Real-Time Publish-Subscribe Middleware for Distributed Embedded systems;A Verified hardware synthesis of Esterel Programs and Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Robust controller design and mechaneza tion for precision platform alignment of the trident II Inertial Measurement Unit (IMU) 1

Robust controller design and mechaneza tion for precision pl...

引用

1st IEEE Regional conference on Aerospace Control systems, AEROCS 1993

作者： Hill, D.A. Strunk, J.R. Purslow, B.J. Bass, R.W. Rockwell International Autonetics Strategic Systems Division Systems Analysis Group AnaheimCA United States Rockwell International Autonetics Strategic Systems Division Electronics Design Group AnaheimCA United States Rockwell International Science Center Control and Signal Processing Dept. Thousand OaksCA United States

This paper presents robust controller design and mechanization for precision alignment of the ESGN platform IMU of the Trident II navigation system. The primary design and mechanization tool is Integrated systems Inc. software MATRIXx, utilizing the Robust Control Module, and implementation using the AC-100 Rapid Prototyping system. In addition, alternative robust control algorithms are developed using both the Rockwell Science Center developed Rho-synthesis and The Mathworks Robust Control Toolbox with MATLAB. The design requires precision platform alignment to the gyro inertial reference with tracking errors less than one arcsecond in the presence of torque disturbances and sensor noise. Performance and stability robustness are required in the design to counteract large parameter variations that may occur in the actuator or in the the gimbal bearing friction. Figure 1 shows the stable platform (innermost gimbal) with the additional outer gimbals required for alignment about all three stable platform fixed axes. At present the development is focused upon implementing the prototyping hardware and controller for a single platform axis. The control designs presented here are H and Hinf robust control algorithms for Single Input Single Output (SIS0) control about the platform +z axis. © 1993 IEEE.

关键词： Fixed platforms

来源：评论

学校读者我要写书评

暂无评论

17th international conference on Application and Theory of Petri Nets, 1996

引用

17th international conference on Application and Theory of Petri Nets, 1996

ISBN: (纸本)3540613633

The proceedings contain 29 papers. The special focus in this conference is on Application and Theory of Petri Nets. The topics include: Actors, nets, and the problem of abstraction and composition;temporal uncertainty and fuzzy-timing high-level petri nets;compositionality in state space verification methods;on liveness and controled siphons in petri nets;behavioral and structural composition rules preserving liveness by synchronization for colored FIFO nets;high level synthesis of synchronous parallel controlers;non sequential semantics for contextual P/T nets;integrating hardware and software models;designing and verifying a communications gateway using colored petri nets and design/CPN;expected impulse rewards in markov regenerative stochastic petri nets;asynchronous composition of high level petri nets;a formal definition of hierarchical predicate transition nets;reduced state space representation for unbounded vector state spaces;modeling and analysis of distributed program execution in BETA using colored petri nets;reachability analysis based on structured representations;the SEA language for system engineering and animation;a new iterative numerical solution algorithm for a class of stochastic petri nets;a structural approach for the analysis of petri nets by reduced unfoldings;the consistent use of names and polymorphism in the definition of object petri nets;designing a security system by means of colored petri nets;modeling and analysing DART systems through high-level petri nets;behavioral equivalence for infinite systems;topological aspects of traces and asynchronous control device design by net model behavior simulation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A digital beam phase loop for the Low Energy Booster

A digital beam phase loop for the Low Energy Booster

引用

IEEE conference on Particle Accelerator

作者： L.K. Mestha V. Brouk R.C. Webber J. Mangino T. Uher Superconducting Super Collider Laboratory Dallas TX USA

The Direct Digital Synthesizers (DDS) have a proven record of high frequency stability in accelerator beam control. For the Low Energy Booster working in the frequency range of 47 MHz to 60 MHz, a highly stable, high resolution DDS can improve the longitudinal beam stabilities. With the DDS as the source it would be highly desirable to make the beam phase loop digital. In this paper we show the description of the loop hardware and a method to simulate the performance in the presence of loop delay using a control system simulation software called SIMULINK. Some experimental hardware based on DDS system which was used to accelerate the beam in the FNAL booster is discussed.< >

关键词： Stability Particle beams hardware Frequency synthesizers Energy resolution Delay Control system synthesis software performance software systems Acceleration

来源：评论

学校读者我要写书评

暂无评论

A design methodology for the conceptual design of application specific digital processors in mechatronic systems

A design methodology for the conceptual design of applicatio...

引用

Annual Hawaii international conference on system Sciences (HICSS)

作者： H.-J. Herpel M. Held M. Glesner Institute for Microelectronic Systems Darmstadt University of Technology Darmstadt Germany Technische Universitat Darmstadt Darmstadt Hessen DE Inst. for Microelectron. Syst. Darmstadt Univ. of Technol. Germany

This paper presents a methodology and a design environment to support validation and design space exploration for embedded systems including application specific digital signal processors prototyping. Our approach to heterogeneous system design is based on rapid prototyping integrated with a set of graphical design entry, synthesis, and analysis tools. system partitioning into a set of software and hardware modules is done at system description level. User guided and automated synthesis tools generate a fully functional prototype that can be connected to real world processes to verify system design and to estimate system performance.< >

关键词： Design methodology software prototyping Prototypes Signal design system analysis and design Signal synthesis Space exploration Embedded system Application software Digital signal processors

来源：评论

学校读者我要写书评

暂无评论

Message from the Organizers of UNECAS 2009

Message from the Organizers of UNECAS 2009

引用

Symposium on Applications and the Internet (SAINT)

Presents the welcome message from the conference proceedings.

关键词： Context-aware services RFID tags Actuators Context awareness Control system synthesis Network synthesis software systems hardware Robustness Privacy

来源：评论

学校读者我要写书评

暂无评论

Integrating assertion-based verification into system-level synthesis methodology

Integrating assertion-based verification into system-level s...

引用

international conference on Microelectronics, ICM

作者： S. Hessabi A.M. Gharehbaghi B.H. Yaran M. Goudarzi Department of Computer Engineering Sharif University of Technology Iran Department of Computer Engineering Sharif University of Technology

In this paper, we integrate a verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification after system synthesis. We have defined a set of system-level assertions. These assertions are automatically converted to monitor hardware or monitor software during the system-level synthesis process depending on their type and also synthesis style of their corresponding functions. The synthesized assertions are functionally equivalent to their original system-level assertion, and hence, can he used to verify the system after HW/SW synthesis. This way, not only system-level assertions are reused in lower-levels of abstraction, but also run-time verification of system is provided. In this paper, we show the system-level assertions and their synthesis method in our object-oriented system-level synthesis methodology.

关键词： hardware Computerized monitoring Object oriented modeling Embedded system Runtime Emulation Reliability Application specific processors Circuit synthesis system-level design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共156页 << < 134 135 136 137 138 139 140 141 142 143 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：