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

International Conference on Physics and Control

作者： Simin Yu Jinhu Lu Henry Leung Guanrong Chen College of Automation Guangdong University of Technology Guangzhou China Key Laboratory of Systems and Control Academy of Mathematics and Systems Science Chinese Academy and Sciences Beijing China Department of Electrical and Computer Engineering University of Calgary AB Canada Department of Electronic Engineering City University of Hong Kong China

A systematic methodology for generating multi-folded torus chaotic attractors from a simple three-dimensional piecewise-linear system is presented in this paper. Theoretical analysis shows that multi-folded torus chaotic attractors can be created via alternative switching between two piecewise-linear systems. A novel circuit diagram is designed for physically creating multi-folded torus chaotic attractors. This is the first time in the literature to experimentally verify a maximum 9-folded torus chaotic attractor that is generated by an analog circuit.

关键词： Chaos Piecewise linear techniques Oscillators Laboratories Analog circuits Electric breakdown Bifurcation Educational institutions Automation Automatic generation control

来源：评论

学校读者我要写书评

暂无评论

The RTES project - BTeV, and beyond

The RTES project - BTeV, and beyond

引用

2005 14TH IEEE-NPSS Real Time Conference

作者： Haney, Michael J. Ahuja, Shikha Bapty, Ted Cheung, Harry Kalbarczyk, Zbigniew Khanna, Akhilesh Kowalkowski, Jim Messie, Derek Mossé, Daniel Neema, Sandeep Nordstrom, Steve Oh, Jae Sheldon, Paul Shetty, Shweta Volper, Dmitri Wang, Long Yao, Di IEEE High Energy Physics University of Illinois 1110 W. Green Street Urbana IL 61801 United States Institute for Software Integrated Systems Vanderbilt University Nashville TN 37235 United States Fermi National Accelerator Laboratory Batavia IL 60510 United States Electrical and Computer Science University of Illinois Urbana IL 61801 United States Electrical Engineering and Computer Science Syracuse University Syracuse NY 13244 United States Computer Science University of Pittsburgh Pittsburgh PA 15250 United States Physics and Astronomy Department Vanderbilt University Nashville TN 37235 United States

ISBN: (纸本)0780391837

The Real Time Embedded systems (RTES) project was created to study the design and implementation of high-performance, heterogeneous, and fault-adaptive real time embedded systems. The driving application for this research was the proposed BTeV high energy physics experiment, which called for large farms of embedded computational elements (DSPs), as well as a large farm of conventional high-performance processors to implement its Level 1 and Level 2/3 triggers. At the time of BTeV's termination early in 2005, the RTES project was within days of completing a prototype implementation for providing a reliable and fault-adaptive infrastructure to the L2/3 farm;a prototype for the L1 farm had been completed in 2003. This paper documents the conclusion of the RTES focus on BTeV, and provides an evaluation of the applicability of the RTES concepts to other systems. ©2005 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Testing and Certification of Trustworthy systems Introduction to Minitrack

Testing and Certification of Trustworthy Systems Introductio...

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： A.R. Hevner R.C. Linger G.H. Walton Information Systems & Decision Sciences Department University of South Florida Tampa FL USA Software Engineering Institute CERT Research Center Carnegie Mellon University Pittsburgh PA USA Department of Mathematics & Computer Science Florida Southern College Lakeland FL USA

来源：评论

学校读者我要写书评

暂无评论

Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing

Hybrid discrete event simulation with model predictive contr...

引用

Simulation Winter Conference

作者： H.S. Sarjoughian Dongping Huang G.W. Godding Wenlin Wang D.E. Rivera K.G. Kempf H.D. Mittelmann Arizona Center for Integrative Modeling & Simulation Computer Science & Engineering Department Arizona State University Tempe AZ USA Control Systems Engineering Laboratory Chemical & Materials Engineering Department Arizona State University Tempe AZ USA Decision Technologies Intel Corporation Chandler AZ USA Mathematics & Statistic Dept. Arizona State University Tempe AZ USA

Simulation modeling combined with decision control can offer important benefits for analysis, design, and operation of semiconductor supply-chain network systems. Detailed simulation of physical processes provides information for its controller to account for (expected) stochasticity present in the manufacturing processes. In turn, the controller can provide (near) optimal decisions for the operation of the processes and thus handle uncertainty in customer demands. In this paper, we describe an environment that synthesizes discrete-event system specification (DEVS) with model predictive control (MPC) paradigms using a knowledge interchange broker (KIB). This environment uses the KIB to compose discrete event simulation and model predictive control models. This approach to composability affords flexibility for studying semiconductor supply-chain manufacturing at varying levels of detail. We describe a hybrid DEVS/MPC environments via a knowledge interchange broker. We conclude with a comparison of this work with another that employs the Simulink/MATLAB environment.

关键词： Discrete event simulation Predictive models Predictive control Virtual manufacturing Semiconductor device manufacture Mathematical model Analytical models Manufacturing processes Optimal control Uncertainty

来源：评论

学校读者我要写书评

暂无评论

The RTES project - BTeV, and beyond

The RTES project - BTeV, and beyond

引用

IEEE NPSS Conference on Real Time

作者： M.J. Haney S. Ahuja G. Bapty H. Cheung Z. Kalbarczyk A. Khanna J. Kowalkowski D. Messie D. Mosse S. Neema S. Nordstrom Jae Oh P. Sheldon S. Shetty D. Volper Long Wang Di Yao High Energy Physics University of Illinois Urbana IL USA Institute for Software Integrated Systems Vanderbilt University Nashville TN USA Fenni National Accelerator Laboratory Batavia IL USA Electrical and Computer Science University of Illinois Urbana IL USA Electrical Engineering and Computer Science Syracuse University Syracuse NY USA Computer Science University of Pittsburgh Pittsburgh PA USA Physics and Astronomy Department Vanderbilt University Nashville TN USA

The real time embedded systems (RTES) project was created to study the design and implementation of high-performance, heterogeneous, and fault-adaptive real time embedded systems. The driving application for this research was the proposed BTeV high energy physics experiment, which called for large farms of embedded computational elements (DSPs), as well as a large farm of conventional high-performance processors to implement its Level 1 and Level 2/3 triggers. At the time of BTeV's termination early in 2005, the RTES project was within days of completing a prototype implementation for providing a reliable and fault-adaptive infrastructure to the L2/3 farm; a prototype for the L1 farm had been completed in 2003. This paper documents the conclusion of the RTES focus on BTeV, and provides an evaluation of the applicability of the RTES concepts to other systems

关键词： USA Councils Real time systems Physics computing Runtime computer science Embedded system Domain specific languages Embedded computing Prototypes Fault detection

来源：评论

学校读者我要写书评

暂无评论

Virtual attractive-repulsive potentials for cooperative control of second order dynamic vehicles on the Caltech MVWT

Virtual attractive-repulsive potentials for cooperative cont...

引用

American Control Conference (ACC)

作者： B.Q. Nguyen Yao-Ling Chuang D. Tung Chung Hsieh Zhipu Jin Ling Shi D. Marthaler A. Bertozzi R.M. Murray Department of Electrical Engineering Vision Laboratory University of California Los Angeles Los Angeles CA USA Department of Physics Duke University Durham NC USA Department of Computer Science Vision Laboratory University of California Los Angeles Los Angeles CA USA Department of Electrical Engineering California Institute of Technology Pasadena CA USA Control and Dynamical Systems California Institute of Technology Pasadena CA USA Department of Mathematics Vision Laboratory University of California Los Angeles Los Angeles CA USA

We consider a motion planning method based on cooperative biological swarming models with virtual attractive and repulsive potentials (VARP). We derive a map between the model and fan speeds for the Kelly, a second order vehicle on the Caltech multi vehicle wireless testbed. The motion planning map results leads to the development and implementation of a point to point controller which is subsequently used as part of a cooperative searching algorithm. The VARP control method is scalable and can be used to organize a swarm of robotic vehicles.

关键词： Vehicle dynamics Motion control Biological system modeling Testing Open loop systems Motion planning Robot kinematics Remotely operated vehicles Equations Propulsion

来源：评论

学校读者我要写书评

暂无评论

Multi-institutional, multi-national studies in CSEd research: Some design considerations and trade-offs 05

Multi-institutional, multi-national studies in CSEd research...

引用

1st International Computing Education Research Workshop, ICER 2005

作者： Fincher, Sally Lister, Raymond Clear, Tony Robins, Anthony Tenenberg, Josh Petre, Marian Computing Laboratory University of Kent Canterbury CT2 7NF United Kingdom Faculty of Information Technology University of Technology Sydney Broadway NSW 2007 Australia School of Comp. and Inf. Sciences Auckland University of Technology Private Bag 92006 Auckland 1020 New Zealand Computer Science Department University of Otago PO Box 56 Dunedin 9015 New Zealand University of Washington Tacoma Computing and Software Systems 1900 Commerce St. Tacoma WA 98402-3100 United States Faculty of Mathematics and Computing Open University Milton Keynes MK7 6AA United Kingdom

ISBN: (纸本)1595930434

One indication of the maturation of computer science Education as a research-based discipline is the recent emergence of several large-scale studies spanning multiple institutions. This paper examines a "family" of these multi-institutional, multi-national studies, detailing core elements and points of difference in both study design and the organization of the research team, and highlighting the costs and benefits associated with the different approaches. Copyright 2005 ACM.

关键词： engineering research

来源：评论

学校读者我要写书评

暂无评论

Transport of Mars-Crossing Asteroids from the Quasi-Hilda Region

引用

Physical Review Letters 2005年第23期94卷 231102-231102页

作者： Michael Dellnitz Oliver Junge Martin W. Lo Jerrold E. Marsden Kathrin Padberg Robert Preis Shane D. Ross Bianca Thiere Faculty of Computer Science Electrical Engineering and Mathematics University of Paderborn D-33095 Paderborn Germany Navigation and Mission Design Jet Propulsion Laboratory California Institute of Technology M/S 301-140L 4800 Oak Grove Drive Pasadena California 91109 USA Control and Dynamical Systems California Institute of Technology MC 107-81 Pasadena California 91125 USA Department of Aerospace and Mechanical Engineering University of Southern California Los Angeles California 90089 USA

We employ set oriented methods in combination with graph partitioning algorithms to identify key dynamical regions in the Sun-Jupiter-particle three-body system. Transport rates from a region near the 3∶2 Hilda resonance into the realm of orbits crossing Mars’ orbit are computed. In contrast to common numerical approaches, our technique does not depend on single long term simulations of the underlying model. Thus, our statistical results are particularly reliable since they are not affected by a dynamical behavior which is almost nonergodic (i.e., dominated by strongly almost invariant sets).

关键词： Astrophysics

来源：评论

学校读者我要写书评

暂无评论

Predictors of success in diagrammatic problem solving

Predictors of success in diagrammatic problem solving

引用

3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004

作者： Yoon, Daesub Narayanan, N. Hari Intelligent and Interactive Systems Laboratory Department of Computer Science and Software Engineering Auburn University AuburnAL36849 United States

ISBN: (纸本)354021268X

We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected and analyzed for 72 problem-solving episodes (9 subjects solving 8 problems each). Results indicate that longer response times and visually attending to more components of a device do not necessarily lead to increased accuracy. However, more focus shifts, visually attending to components in the order of causal propagation, and longer durations of visual attention allocated to critical components of the devices appear to be characteristics that separate successful problem solvers from unsuccessful ones. These findings throw light on effective diagrammatic reasoning strategies, provide empirical support to a cognitive model of comprehension, and suggest ideas for the design of information displays that support causal reasoning. © 2004, Springer-Verlag Berlin Heidelberg, All rights Reserved.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

Enabling collaborative adaptation across legacy components

Enabling collaborative adaptation across legacy components

引用

3rd Workshop on Adaptive and Reflective Middleware, ARM '04

作者： Yang, Z. Zhou, Z. Cheng, B.H.C. McKinley, P.K. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)1581139497

software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adaptation. Composing a single adaptive system from existing adaptive components requires an "adaptation infrastructure" to integrate and arbitrate adaptive behaviors. This paper proposes a model for such an infrastructure and describes the design and operation of M2, a prototype implementation. M2 uses a technique called transparent shaping to modify existing components so that they can report events of interest to the M2 core and implement appropriate responses. The architecture and communication infrastructure of M2 are described, followed by a case study in which M2 is used to construct an adaptive multimedia conferencing application from otherwise incompatible components. Copyright 2004 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：