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

2007 IEEE Workshop on Signal Propagation on Interconnects (SPI 2007)

作者： D. Deschrijver G. Antonini T. Dhaene Computer Modeling and Simulation Department of Math. and Computer Science University of Antwerp Antwerp Belgium UAq EMC Laboratory Department of Electrical Engineering University of L'' Aquila Poggio di Roio Italy

The accurate computation of partial elements plays a key role in ensuring the accuracy and the stability of the Partial Element Equivalent Circuit (PEEC) method. Inaccuracies in partial elements computation, even at very high frequencies, may generate late time instabilities. On the other side, accurate computation of partial elements becomes prohibitively cumbersome when performed at high frequencies. In this paper a macro-modeling technique is applied, which is based on the use of frequency derivatives to allow a broadband characterization of electric and magnetic field couplings at a reduced computational cost.

关键词： Frequency Equivalent circuits Magnetic fields Coupling circuits Magnetic circuits Polynomials Computational modeling computer simulation computer science Electromagnetic compatibility

来源：评论

学校读者我要写书评

暂无评论

AW3C XML schema for DEVS scenarios

AW3C XML schema for DEVS scenarios

引用

2007 Agent Directed simulation Symposium, ADS 2007

作者： Risco Martín, J.L. Mittal, Saurabh López-Peña, M.A. De La Cruz, J.M. Departamento de Arquitectura de Computadores y Automática Universidad Complutense de Madrid Madrid28040 Spain Arizona Center of Integrative Modeling and Simulation Electrical and Computer Engineering Department University of Arizona TucsonAZ85721 United States Sistemas Avanzados de Tecnología S.A. Av. Europa 34a Madrid28023 Spain

ISBN: (纸本)1565553136

There are numerous DEVS-based simulators to configure DEVS systems and run them. Current programs or libraries are based in programming languages such as JAVA, C++, etc. The existence of these different implementations has resulted in the formation of various groups that are not able to share models and cannot capitalize on model reuse. To encourage system modeling and simulator compatibility we propose a standard representation for such models. Such a standard must be simple to manipulate and validate, and promote the integration of DEVS M&S software on different platforms. In this paper we present an XML Schema for representing the structure and the behavior of DEVS coupled scenarios. In addition, we developed a simulator (xDEVS) that can execute these XML-based scenarios over DEVS protocol. We also demonstrate how an Atomic DEVS behavior can be represented using XML by proposing the XML Schema of an atomic model as well. This paper is one of the first papers in the ongoing research on M&S using XML as the communication platform.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

AW3C XML schema for DEVS scenarios

AW3C XML schema for DEVS scenarios

引用

3rd DEVS Integrative M and S Symposium, DEVS 2007, Part of the 2007 Spring simulation Multiconference, SpringSim 2007

作者： Martín, J. L. Risco Mittal, Saurabh López-Peña, M.A. De La Cruz, J.M. Departamento de Arquitectura de Computadores Y Automática Universidad Complutense de Madrid 28040 Madrid Spain Electrical and Computer Engineering Department Arizona Center of Integrative Modeling and Simulation University of Arizona Tucson AZ 85721 United States Sistemas Avanzados de Tecnología S.A. Av. Europa 34 28023 Madrid Spain

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Application of combined discrete-event simulation and optimization models in semiconductor enterprise manufacturing systems 07

Application of combined discrete-event simulation and optimi...

引用

simulation Winter Conference

作者： Gary Godding Hessam Sarjoughian Karl Kempf Arizona Center for Integrative Modeling & Simulation Computer Science and Engineering Department Arizona State University Tempe AZ USA Corporate Planning and Logistics Group Intel Corporation Chandler AZ USA

ISBN: (纸本)9781424413065

It is a common practice to use simulation for validating different types of control and planning algorithms. However, the science of how to rigorously integrate simulation and decision models is not well understood and becomes critically important as the complexity and scale of these models increase. In our research, we have developed a methodology for integrating different types of models using a Knowledge Interchange Broker (KIB). In this paper we describe a supply-chain semiconductor application where the KIB has been used as an integral part of developing and deploying a commercial Model Predictive Control model for use in operating a multi-billion dollar supply chain. The simulation based experiments facilitated developing and validating the controller design and data automation for a real-world semiconductor manufacturing system.

关键词： Discrete event simulation Manufacturing systems Predictive models Semiconductor device manufacture Computational modeling Predictive control Virtual manufacturing Application software Manufacturing automation Discrete event systems

来源：评论

学校读者我要写书评

暂无评论

Biochemical mathematical modeling with Modelica and the BioChem library 6

Biochemical mathematical modeling with Modelica and the BioC...

引用

6th International Conference APLIMAT 2007

作者： Fritzson, Peter Ulfhielm, Erik Belic, Ales Fransson, Martin Grèen, Henrik PELAB - Programming Environment Lab. Dept. of Computer and Information Science Linköpings Universitet LinköpingSE-581 83 Sweden Laboratory for Modeling Simulation and Control Faculty of Electrical Engineering University of Ljubljana LjubljanaSI-1000 Slovenia Clinical Pharmacology Dept. of Medicine and Care Linköpings Universitet LinköpingSE-581 85 Sweden

ISBN: (纸本)9788096956265

Considering the large amounts of data that is nowadays produced in the biochemistry (functional genomics) it is difficult to extract the information from the measurements. There is currently also a great interest in the development of novel analytical technologies for rapid screening of disease symptoms in pharmaceutical and clinical applications. modeling and simulation can provide a useful help in understanding the relations of the measured substances and to minimize the need for measurements. The BioChem library presented here is the first free Modelica library available for mathematical modeling of biochemical processes. Three examples are shown to illustrate the library. First, a simple insulin model is presented. Then a simplified model of cholesterol together with simulations are shown. Next, a simple drug model together with parameter estimation in NONMEN are presented. The BioChem library allows for fast and end-user friendly modeling of biomedical systems. The graphical user interface provides graphics similar to that used in the description of metabolic pathways in biochemistry.

关键词： Cholesterol

来源：评论

学校读者我要写书评

暂无评论

Validation and verification of social processes within agent-based computational organization models

引用

Computational and Mathematical Organization Theory 2006年第4期12卷 283-312页

作者： Yilmaz, Levent The Auburn Modeling and Simulation Laboratory of the M/SNet Computer Science/Engineering Auburn University Auburn AL United States

The use of simulation modeling in computational analysis of organizations is becoming a prominent approach in social science research. However, relying on simulations to gain intuition about social phenomena has significant implications. While simulations may give rise to interesting macro-level phenomena, and sometimes even mimic empirical data, the underlying micro and macro level processes may be far from realistic. Yet, this realism may be important to infer results that are relevant to existing theories of social systems and to policy making. Therefore, it is important to assess not only predictive capability but also explanation accuracy of formal models in terms of the degree of realism reflected by the embedded processes. This paper presents a process-centric perspective for the validation and verification (V&V) of agent-based computational organization models. Following an overview of the role of V&V within the life cycle of a simulation study, emergent issues in agent-based organization model V&V are outlined. The notion of social contract that facilitates capturing micro level processes among agents is introduced to enable reasoning about the integrity and consistency of agent-based organization designs. Social contracts are shown to enable modular compositional verification of interaction dynamics among peer agents. Two types of consistency are introduced: horizontal and vertical consistency. It is argued that such local consistency analysis is necessary, but insufficient to validate emergent macro processes within multi-agent organizations. As such, new formal validation metrics are introduced to substantiate the operational validity of emergent macro-level behavior. © Springer Science + Business Media, LLC 2006.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

An improved fuzzy mechanism for 3D soccer simulation agent's shoot skill

An improved fuzzy mechanism for 3D soccer simulation agent's...

引用

2006 Annual India Conference, INDICON

作者： Mozafari, Mehrdad Milani Fard, Amin Salmani, Vahid Naghibzadeh, Mahmoud IEEE Software Simulation and Modeling Laboratory Department Computer Engineering Ferdowsi University Mashhad Iran

ISBN: (纸本)1424403707

RoboSoccer simulation is a complex multiagent system in which agents play the role of soccer players and the main goal is to have a perfect domain for research and investigation on artificial intelligence. This paper intends to propose a new scoring module to select the best point on the goal line to shoot, considering player's position, catching and shooting time difference, and distance to target. Two different approaches have been implemented for this purpose. The first one is a simple decision making policy and the latter one takes advantage of statistical measurement and fuzzy decision making. Results show the superiority of the proposed method performance in over our previous work implemented on Nexus 3D RoboSuccer team of Ferdowsi University. © 2006 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Macromodeling of microwave structures based on noisy frequency-domain data

Macromodeling of microwave structures based on noisy frequen...

引用

16th International Conference on Microwaves, Radar and Wireless Communications, MIKON 2006

作者： Deschrijver, D. Dhaene, T. Computer Modeling and Simulation Department of Mathematics and Computer Science University of Antwerp Middel-heimlaan 1 2020 Antwerp Belgium

ISBN: (纸本)9788390666280

Frequency-domain macromodeling tools are of paramount importance for the design and study of microwave structures. In this paper, a reliable identification method, called Orthormal Vector Fitting method, is combined with a relaxation constraint. This leads to more accurate fitting models, in a limited amount of computation time, especially if the spectral data is contaminated with noise. Its performance is analyzed on a measurement-based example and compared to other existing approaches in the field.

关键词： Microwave devices

来源：评论

学校读者我要写书评

暂无评论

A reachable graph of finite and deterministic DEVS networks

A reachable graph of finite and deterministic DEVS networks

引用

2nd DEVS Integrative M and S Symposium, DEVS 2006, Part of the 2006 Spring simulation Multiconference, SpringSim 2006

作者： Hwang, Moon Ho Zeigler, Bernard P. Electrical and Computer Engineering Department Arizona Center for Integrative Modeling and Simulation University of Arizona Tucson AZ 85721 United States

To obtain the finite reachable graph of a Discrete Event System Specification (DEVS) network, this paper uses a subclass of DEVS, called finite and deterministic DEVS. This subclass has been restricted to have (1) finite sets of both events and states, (2) the rational-number time advance function, (3) the time independent external transition, and (4) the selective reschedule functionality. For abstracting the infinite-state behavior to a finite- state reachable graph, we use the clock zone that is a conjunction of inequalities of clocks. A clock zone-based generating algorithm of the reachable graph of the coupled DEVS is proposed and its completeness and complexity are addressed.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

Transforming DEVS to non-modular form for faster cellular space simulation

Transforming DEVS to non-modular form for faster cellular sp...

引用

2nd DEVS Integrative M and S Symposium, DEVS 2006, Part of the 2006 Spring simulation Multiconference, SpringSim 2006

作者： Shiginah, Fahad A. Zeigler, Bernard P. Electrical and Computer Engineering Department Aiizona Center for Integrative Modeling and Simulation University of Arizona Tucson AZ 85719 United States

This paper presents a new approach that enhances the performance of large scale cellular space simulations expressed in modular DEVS. The basic idea is to group cells in cellular space into smaller partitions that are treated as atomic DEVS models. The enhancement is achieved by reducing the large number of messages generated by inter- cell communication. This, in turn, saves large number of simulator iterations that were used to handle such communication. The new approach gives significant simulation speedup over the conventional techniques of representing cells in DEVS. A landslide slope criticality model is used to perform some computational experiments to demonstrate the simulation speedup of our approach.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：