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

simulation Winter Conference

作者： R.G. Sargent College of Engineering and Computer Science Simulation Research Group Syracuse University Syracuse NY USA

This paper discusses verification and validation of simulation models. The different approaches to deciding model validity am presented; how model verification and validation relate to the model development process are discussed; various validation techniques are defined, conceptual model validity, model verification, operational validity, and data validity are described; ways to document results are given; and a recommended procedure is presented.

关键词： Computational modeling computer simulation Random variables Educational institutions computer science Problem-solving Decision making Application software Testing Cost function

来源：评论

学校读者我要写书评

暂无评论

Abstraction mechanisms in discrete-event inductive modeling

Abstraction mechanisms in discrete-event inductive modeling

引用

simulation Winter Conference

作者： H.S. Sarjoughian B.P. Zeigler AI & Simulation Research Group Electrical and Computer Engineering University of Arizona Tucson Tucson AZ USA

The power of abstraction lies in its ability to deal with "lack" of knowledge. In this regard, success in modeling and simulation rests on discovering useful abstractions that can support objectives of modeling. In our treatment, we refer to "data abstraction" as opposed to "structure simplification" since we consider a system's behavior rather than its structure. A system's behavior can be represented as time varying input/output segments. Given the behavior of a causal, time-invariant system, we define some basic abstraction mechanisms to support inductive modeling. The basis for these abstraction mechanisms are a set of general assumptions which allow consistent abstraction of IO segments. Then, given these assumptions and non-monotonic reasoning paradigm, capable of handling them, we try to tackle the fundamental problem of insufficient knowledge in the realm of inductive modeling. In this way, by making useful abstractions, we can predict a system's unobserved behavior according to a well-defined framework of discrete-event inductive modeling.

关键词： Power system modeling Predictive models Welding Artificial intelligence Computational modeling computer simulation Engines

来源：评论

学校读者我要写书评

暂无评论

DEVS-based endomorphic agents: Control through deliberative and reactive planning 5th

引用

5th International Workshop on computer Aided Systems Theory, EUROCAST 1995

作者： Lyes, Hamaidi Bourseau, Patrick Muratet, Gilles Couretas, Jerry M. Zeigler, Bernard P. Ecole Nationale Superieure de Chimie de Paris UR Modelisation Equipe Procedes Chimiques 11 rue P. M. Curie Paris Cedex 0575231 France AI and Simulation Research Group Department of Electrical and Computer Engineering University of Arizona TucsonAZ85721 United States

ISBN: (纸本)9783540607489

A DEVS-based Endomorphic Agent employs models of the environment and itself to achieve autonomy in various way. In this paper, we present a framework for an agent able to flexibly reprogram itself under changing objectives or constraints such as might be provided in a flexible manufacturing environment. We show how the agent is able to employ its DEVS-models to develop control schemes for given objectives and constraints. The schemes can then be revised as required when a change in the desired objectives or constraints occurrs. The systems model knowledge representation thus gives the agent greater flexibility and autonomy than is possible with purely rective planners or supervisory controllers. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Electromagnetic design of high-temperature superconducting microwave filters

Electromagnetic design of high-temperature superconducting m...

引用

Microwave, MTT-S International Symposium

作者： J.W. Bandler R.M. Biernacki S.H. Chen P.A. Grobelny C. Moskowitz S.H. Talisa Optimization Systems Associates Inc. Dundas ONT Canada Simulation Optimization Systems Research Laboratory and Department of Electrical and Computer Engineering McMaster University Hamilton ONT Canada Westinghouse Electronics Systems Group Baltimore MD USA Westinghouse Science and Technology Center Pittsburgh PA USA

We present novel approaches to electromagnetic design of high-temperature superconducting quarter-wave parallel coupled-line microstrip filters. The dielectric constant of substrate materials used in high-temperature superconductor technology is too large to be accurately treated by traditional microwave circuit design software packages with analytical/empirical models. We employ electromagnetic field simulation and develop a look-up table method and a powerful space mapping optimization technique, which dramatically reduce the CPU time for the design process.< >

关键词： High temperature superconductors Superconducting filters Superconducting microwave devices Electromagnetic coupling Space technology Coupling circuits Microstrip filters Microwave filters Dielectric constant Dielectric substrates

来源：评论

学校读者我要写书评

暂无评论

USING VIRTUAL ENVIRONMENTS IN THE DESIGN OF SHIPS

引用

NAVAL ENGINEERS JOURNAL 1994年第3期106卷 91-106页

作者： JONS, OP RYAN, JC JONES, GW Otto P. Jons:received a Diplom Ing. in shipbuilding from the Technical University of Hanover W. Germany and an MS in naval architecture and marine engineering from MIT. He then joined Litton Ship Systems where he was responsible for the preliminary design of the DD-963 hull structure and then for ship system integration as manager LHA ship systems engineering department. From 1972 to 1974 he was the principal research scientist at Hydronautics. In 1974 as technical director he helped establish the Crystal City office of Designers and Planners. Mr. Jons was one of the co-founders of Advanced Marine Enterprises Inc. in 1976 where he serves as corporate vice president engineering. J. Christopher Ryan:earned his bachelors and masters degrees in naval architecture from Webb Institute and MIT respectively. He spent three years at the advanced marine technology division of Litton Industries working on the DD-963 class ship design and related computer aided design projects. He subsequently went to the Navy Department concentrating on early stage design of surface combatants for twelve years including work on the FFG-7 Sea Control Ship CSGN and CVV aircraft carrier projects. He then shifted focus and became the Technical Director for the Computer Supported Design Program in NavSea for five years. Mr. Ryan has served in several supervisory positions within the Ship Design Group in NavSea since that time. He is currently the director of the future ship concepts division. Gary W. Jones:graduated from the University of Tennessee in 1971 with a BS in mechanical engineering and followed up with graduate work at George Washington University and the University of Maryland. Mr. Jones was with the Naval Sea Systems Command from 1971 until 1988 where he was a naval architect in the submarine section of the hull form design division. In 1988 he was detailed to the Defense Advanced Research Projects Agency (DARPA) where he became the program manager for the advanced submarine technology program's hydrodynamic hydroac

A major contributor to the expense and length of time to design, build, and test new systems has been the need to build and test hardware prototypes to determine their effectiveness in meeting operational requirements. Recent and dramatic advances in computer simulation technologies hold forth the promise of revolutionizing design and acquisition strategies by providing the means to validate end users' requirements prior to hardware construction. By designing and operationally testing virtual prototypes in a virtual environment, these technologies will soon offer naval architects the ability to build and launch ships in computer-based cyberspace in lieu of the shipbuilder's ways. The authors of this paper provide the background for these developments, explore the significance and ramifications of these technologies to the current process of ship and system design, outline challenges lying ahead, and present their vision and recommendations for future development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ANALYSIS OF A MOVABLE BOUNDARY ACCESS TECHNIQUE FOR A MULTISERVICE MULTIBEAM SATELLITE SYSTEM

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第3期12卷 299-312页

作者： BOHM, S ELHAKEEM, AK MURTHY, KMS HACHICHA, M KADOCH, M Department of Electrical and Computer Engineering Concordia University 1455 De Maisonneuve Blvd. West Montreal H3A 1M8 Canada Was born in Montreal Canada on 14 September 1966. He received the B. Eng. degree in electrical engineering from Concordia University Montreal Canada in 1989. He is at present completing the M.A.Sc. degree in electrical engineering at Concordia University. (S'75–S'79–M'79–SM'86) received the Ph.D. degree from Southern Methodist University Dallas TX in 1979. He spent the next two years working as a Visiting Professor in Egypt after which he moved to Ottawa Canada in 1982. He assumed teaching and research positions in Carleton and Manitoba Univerities and later moved to Concordia University Montreal Canada in 1983 where he is now a Professor in the Electrical and Computer Engineering Department. He has published numerous papers in IEEE and international journals in the areas of spread spectrum and networking. He is a well-known expert in these areas and serves as a consultant to many companies. His current research interests include wide-band metropolitan networks switching architectures and performance of on-board multibeam satellites acquisitionless CDMA networks code distribution and orthogonalization of CDMA signals responsive congestion control for ATM-based networks ARQ techniques and investigation of the novel SUGAR CDMA systems in fading channels. Dr. Elhakeem is a Senior Member of the Canadian Electrical Engineering Society and Armed Forces Association. He has chaired numerous technical sessions in IEEE Conferences was the Technical Program Chairman for IEEE Montech 1986 Montreal Canada. Dr. Elhakeem is the key guest editor of theIEEE Journal of Selected Areas in Communicationsfor the May June issues 1993 covering CDMA networks. Advanced Technology & Networks VISTAR Telecommunications Inc. Ottawa Ontario K1G 3J4 Canada . He is ITU's Specialist Consultant and Chief Advisor for a number of ITU/UNDP projects including VSATs Rural Networks Digital Broadc

In this paper, the performance of a new movable boundary accessing (MBA) technique for future integrated services multibeam satellite systems is studied. The multiservice environment considered includes both asynchronous and isochronous traffic consisting of video, voice, file transfer and interactive data. The movable boundary access technique proposed here will maximize the utilization of the up-link frame capacity. It is shown that the potential user population is substantially increased with the use of a moving boundary policy with minimal overhead.

关键词： MOVABLE BOUNDARY ACCESS TECHNIQUE MF-TDMA DAMA MULTIBEAM SATELLITE

来源：评论

学校读者我要写书评

暂无评论

PERFORMANCE OF A PRIORITIZED ON-BOARD BASEBAND SWITCH FOR A MULTISERVICE MULTIBEAM SATELLITE

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第3期12卷 283-297页

作者： BOHM, S ELHAKEEM, AK HACHICHA, M Department of Electrical and Computer Engineering Concordia University 1455 De Maisonneuve Blvd. West Montreal H3A 1M8 Canada Was born in Montreal Canada on 14 September 1966. He received the B. Eng. degree in electrical engineering from Concordia University Montreal Canada in 1989. He is at present completing the M.A.Sc. degree in electrical engineering at Concordia University. (S'75–S'79–M'79–SM'86) received the Ph.D. degree from Southern Methodist University Dallas TX in 1979. He spent the next two years working as a Visiting Professor in Egypt after which he moved to Ottawa Canada in 1982. He assumed teaching and research positions in Carleton and Manitoba Univerities and later moved to Concordia University Montreal Canada in 1983 where he is now a Professor in the Electrical and Computer Engineering Department. He has published numerous papers in IEEE and international journals in the areas of spread spectrum and networking. He is a well-known expert in these areas and serves as a consultant to many companies. His current research interests include wide-band metropolitan networks switching architectures and performance of on-board multibeam satellites acquisitionless CDMA networks code distribution and orthogonalization of CDMA signals responsive congestion control for ATM-based networks ARQ techniques and investigation of the novel SUGAR CDMA systems in fading channels. Dr. Elhakeem is a Senior Member of the Canadian Electrical Engineering Society and Armed Forces Association. He has chaired numerous technical sessions in IEEE Conferences was the Technical Program Chairman for IEEE Montech 1986 Montreal Canada. Dr. Elhakeem is the key guest editor of theIEEE Journal of Selected Areas in Communicationsfor the May June issues 1993 covering CDMA networks. Advanced Technology & Networks VISTAR Telecommunications Inc. Ottawa Ontario K1G 3J4 Canada An Associate Director of Advanced Technology & Networks Group VISTAR Telecommunications Inc. Ottawa Canada. He is also an Adjunct Pr

In this paper, we study the performance of a prioritized on-board baseband switch in conjunction with a multibeam satellite handling integrated services. The services considered for the analysis include voice, video, file transfer and interactive data. The prioritized switch uses both input and output buffering, switch speed-up as well as a two-phase head-of-line resolution algorithm, in order to reduce the buffer loss while maintaining acceptable user delays. The minimum required buffer capacity and switch speed-up for each service in a prioritized environment are found under uniform traffic conditions. It is shown that under uniform traffic conditions, only minimal buffering and switch speed-up are needed even for the lowest priority users. The performance dependence on the switch size is also substantially reduced with head of line resolution and buffering even in a prioritized environment.

关键词： SWITCH ON-BOARD BASEBAND MULTIBEAM PRIORITIZED HEAD-OF-LINE UNIFORM LOAD SPEED-UP

来源：评论

学校读者我要写书评

暂无评论

Distributed simulation algorithm for sparse output DEVS 4

Distributed simulation algorithm for sparse output DEVS

引用

4th Annual Conference on AI, simulation, and Planning in High Autonomy Systems, AIS 1993

作者： Liao, C. Motaabbed, A. Kim, D. Zeigler, B.P. AI-Simulation Research Group Department of Electrical and Computer Engineering University of Arizona TucsonAZ85721 United States

ISBN: (纸本)0818640200

A distributed simulation algorithm for managing a set of processors executing a single-level network of sparse output discrete event system specification (DEVS) models is introduced. A sparse output DEVS is a DEVS in which the number of states that generate non-null outputs is much less than the total number of states. The new algorithm can be characterized by the following: It extends the basic abstract simulator for DEVS models;it reduces the time to determine the next activated processor, thus getting better performance;and it provides a well-defined object-oriented design for distributed simulation. Networks of continuous models that interact discretely are used for experiments. Verification and performance evaluation of the simulator algorithm are demonstrated using the DEVS-scheme simulation environment. © 1993 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

DEVS formalism and methodology: Unity of conception/diversity of application 93

DEVS formalism and methodology: Unity of conception/diversit...

引用

25th Conference on Winter simulation, WSC 1993

作者： Zeigler, Bernard P. Vahie, Sankait AI and Simulation Research Group Dept. of Electrical and Computer Engineering University of Arizona TucsonAZ85721 United States

ISBN: (纸本)078031381X

DEVS (Discrete Event System Specification) is a general modelling formalism with sound semantics founded on a system theoretic basis. This gives it a claim to be universal for formalisms describing Discrete Event Dynamic Systems (DEDS). This means that any other formalism such as Petri nets, which have become very popular for DEDS control can be embedded in it. Moreover, DEVS extends to the continuous case thus facilitating combined discrete/continuous modelling. The universality of DEVS is significant because it has been implemented in a variety of simulation environments, as extensions of diverse underlying Object-Oriented languages such as CLOS and C++. This gives it not only the power of formal rigor but also the practical capability of application to real world complex systems. The DEVS formalism has associated with it a characteristic abstract simulation engine architecture that can be realized in diverse sequential and parallel/distributed platforms. It is especially suitable for the simulation study of complex technical and natural systems with intelligent components and for long term model development capability acquired through systematic reusability. This tutorial will present the basic concepts of the DEVS formalism and its associated simulation methodology. These concepts will be illustrated in the context of large scale ecosystems modelling.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Devs Formalism and Methodology: Unity of Conception/diversity of Application

Devs Formalism and Methodology: Unity of Conception/diversit...

引用

simulation Winter Conference

作者： B.P. Zeigler S. Vahie AI & Simulation Research Group Department of Electrical & Computer Engineering University of Arizona Tucson Tucson AZ USA

DEVS (Discrete Event System Specification) is a general modelling formalism with sound semantics founded on a system theoretic basis. This gives it a claim to be universal for formalisms describing Discrete Event Dynamic Systems (DEDS). This gives that any other formalism such as Petri nets, which have become very popular for DEDS control can be embedded in it. Moreover, DEVS extends to the continuous case thus facilitating combined discrete/continuous modelling. The universality of DEVS is significant because it has been implemented in a variety of simulation environments, as extensions of diverse underlying Object-Oriented languages such as CLOS and C++. This gives it not only the power of formal rigor but also the practical capability of application to real world complex systems. The DEVS formalism has associated with it a characteristic abstract simulation engine architecture that can be realized in diverse sequential and parallel/distributed platforms. It is especially suitable for the simulation study of complex technical and natural systems with intelligent components and for long term model development capability acquired through systematic reusability. This tutorial will present the basic concepts of the DEVS formalism and its associated simulation methodology. These concepts will be illustrated in the context of large scale ecosystems modelling.

关键词： Object oriented modeling Discrete event systems Computational modeling computer simulation Application software Artificial intelligence Acoustical engineering Petri nets Power system modeling Engines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：