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

2003 Summer computer simulation Conference, SCSC 2003

作者： Nutaro, James J. Sarjoughian, Hessam S. Arizona Center for Integrative Modeling and Simulation Electrical and Computer Engineering Department University of Arizona TucsonAZ85721-0104 United States Arizona Center for Integrative Modeling and Simulation Computer Science and Engineering Department Arizona State University TempeAZ85287-5406 United States

ISBN: (纸本)1565552687

This paper presents a framework for distributed simulation that is based on system-theoretic and logical-process concepts. The framework describes a three-part world-view for developing simulation models. These are modeling formalisms, abstract simulators, and computational environments. A unified view of time and causality allows for the application of system-theoretic notions of causality within a distributed simulation environment. Within this framework, we introduce a unified notion of causality. Further we describe an approach for developing distributed simulation models which evolve from modeling constructs to simulation algorithms and their implementations. The framework is exemplified using the Discrete EVent System Specification (DEVS) modeling formalism, its abstract simulator, and a parallel algorithm that implements the abstract simulator.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

DEVS-suite: A simulator supporting visual experimentation design and behavior monitoring

DEVS-suite: A simulator supporting visual experimentation de...

引用

DEVS integrative M and S Symposium, DEVS 2009, Part of the 2009 Spring simulation Multiconference, SpringSim 2009

作者： Kim, Sungung Sarjoughian, Hessam S. Elamvazhuthi, Vignesh Dept. of Computer Science and Engineering Arizona Center for Integrative Modeling and Simulation Arizona State University Tempe AZ 85281 United States

Complexity associated with the design of experiments for simulation models can be reduced through visualization. DEVS-Suite, a new generation of the DEVS Tracking Envi-ronment which itself was extended from DEVSJAVA, sup-ports visual design of experiments and introduces simula-tion data visualization. Data generated by the selected models can be collected dynamically and displayed as time-based trajectories. These capabilities complement animation of DEVS model components and their interactions. A ser-vice-oriented software system is modeled to illustrate the novel modeling features for DEVS simulations. Another ex-ample is developed in Ptolemy II and SimEvents to show the reduced visual complexity afforded by DEVS-Suite.

关键词： Design of experiments

来源：评论

学校读者我要写书评

暂无评论

Comprehensive on-chip traffic generator model for SoC design and synthesis 10

Comprehensive on-chip traffic generator model for SoC design...

引用

Symposium on Theory of modeling and simulation: DEVS integrative M and S Symposium, DEVS 2010, Part of the 2010 Spring simulation Multiconference, SpringSim 2010

作者： Jarrah, Moath Jarrah, Ameen Zeigler, Bernard Department of Computer Engineering Jordan University of Science and Technology Jordan Arizona Center for Integrative Modeling and Simulation Department of Electrical and Computer Engineering University of Arizona United States

ISBN: (纸本)9781617382048

On-Chip traffic modeling is a new research topic that came along with Network on Chip (NoC) design. On-chip traffic varies in rate and nature depending on the running application and the System on Chip components. Different traffic models have been proposed as an attempt to capture the various transactions that occur inside the NoC, which connects different Intellectual Properties (IPs) on the same chip. In this research paper, recent traffic modeling paradigms will be reviewed and discussed. These models have been developed into traffic generator entities to emulate the traffic patterns on chip. However, none of these models (and hence traffic generators) completely capture the behavior of different applications and the interactions between different IPs components on chip, which can alter the traffic state and rate. In this paper, we will propose a comprehensive and flexible model that is based on Discrete EVent System Specification formalisms (DEVS) for modeling and simulation. Our model could be implemented as a traffic generator that has three internal functions, and input and output ports for the interactions with other IPs components such as caches, DSP units, etc.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

DEVS re-implementation of an agent-based valley fever model

DEVS re-implementation of an agent-based valley fever model

引用

1st DEVS integrative M and S Symposium, DEVS 2005, Part of the 2005 Spring simulation Multiconference, SpringSim 2005

作者： Jammalamadaka, R. Nutaro, J. Gettings, M.E. Zeigler, B.P. Department of Electrical and Computer Engineering Arizona Center for Integrative Modeling and Simulation University of Arizona Tucson AZ 85721 United States

Discrete Event simulation is a natural way to simulate models that are characterized by heterogeneity in their spatio-temporal behavior. This paper describes a valley fever spore-propagation model that describes the time dependent spatial distribution of spores in southern arizona. Two implementations of this model are examined and their execution times are compared. A discrete event model exploits the fact that only a few areas are favorable for the growth of the fungus at any given time. This allows it to schedule events only at the areas that are favorable. In contrast, the existing discrete time model cannot take advantage of the few areas that are favorable.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Complexities of simulating a hybrid agent-landscape model using multi-formalism composability

Complexities of simulating a hybrid agent-landscape model us...

引用

2007 Agent Directed simulation Symposium, ADS 2007

作者： Mayer, Gary R. Sarjoughian, Hessam S. Arizona Center for Integrative Modeling and Simulation Computer Science and Engineering Department School of Computing and Informatics Arizona State University TempeAZ United States

ISBN: (纸本)1565553136

Hybrid agent-landscape models are used as an environment in which to study humans, the environment, and their dynamics. To provide flexibility in model design, expressiveness, and modification, the environment models and human agent models should be developed independently. While retaining each model's individuality, the models can be composed to create a model of a complex, hybrid agent-landscape system. This should allow for a much more in-depth analysis of each model independently, as well as a study of their interactions. To create such a modeling environment requires a look beyond a simple interface between two models. It may require that the models' formalisms be composed, their execution be synchronized, their architectures be integrated, and a common visualization be created to provide a whole-system data view during simulation. This paper discusses the complexities of such an undertaking.

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

A modular verification framework based on finite & deterministic DEVS

A modular verification framework based on finite & determini...

引用

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

In order to check if the system behavior satisfies the requirement set, this paper uses a class of DEVS, called finite & deterministic DEVS (FD-DEVS). Since the infinite state behavior of FD-DEVS networks can be abstracted as a finite reachable graph, this paper utilizes the reachable graph structure to check the emptiness of illegal behavior detected by checkers, called rejectors, as well as the non-emptiness of legal behavior generated by components under testing.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Continuity and change (activity) are fundamentally related in DEVS simulation of continuous systems

Continuity and change (activity) are fundamentally related i...

引用

13th International Conference on AIS 2004

作者： Zeigler, Bernard P. Jammalamadaka, Rajanikanth Akerkar, Salil R. Arizona Center for Integrative Modeling and Simulation Department of Electrical and Computer Engineering University of Arizona Tucson AZ 85721 United States

The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phenomena. We present a concept of event set and an associated measure of activity that fundamentally characterize discrete representation of continuous behavior. This metric captures the underlying intuition of continuity as well as providing a direct measure of the computational work needed to represent continuity on a digital computer. We discuss several application possibilities beyond high performance simulation such as data compression, digital filtering, and soft computation. Perhaps most fundamentally we suggest the possibility of dispensing with the mysteries of traditional calculus to revolutionize the prevailing educational paradigm. © Springer-Verlag Berlin Heidelberg 2005.

关键词： computer systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Building a hybrid DEVS and GRASS model using a composable cellular automaton

引用

International Journal of modeling, simulation, and Scientific Computing 2016年第1期7卷 62-92页

作者： Gary R.Mayer Hessam S.Sarjoughian Department of Computer Science Southern Illinois University Edwardsville 61 Circle Drive EdwardsvilleIllinois 62026USA Arizona Center for Integrative Modeling&Simulation School of Computing Informaticsand Decision Systems Engineering Arizona State University699 South Mill Avenue TempeArizona 85281USA

modeling and simulation is pervasive throughout many different *** computing technology has provided more capability,the systems being modeled and simulated have grown larger and more *** times,these large systems are managed as interacting *** it is necessary for the simulation to allow disparate subsystems to maintain their independence,then a hybrid model of the subsystems should be ***,to ease the burden of verification and validation of simulation results,a proven system theoretical modeling specification should be ***,many communities have already adopted nonsystem theoretical software solutions and established a group of domain experts familiar with these *** paper provides two things:a formal approach to building a hybrid model,and a discussion of how to incorporate a nonsystem theoretical software implementation into a proven *** first is done through the implementation of a Knowledge Interchange Broker(KIB)as an Interaction Model(IM).The second is accomplished by exemplifying the use of the IM in an agent-environment hybrid *** the hybrid model,the agent is implemented in the Discrete-event System(DEVS)specification and the environment is implemented in the Geographical Resources Analysis Support System(GRASS)using a Composable Cellular Automaton(CCA)*** concept has been successfully applied to both example models and an interdisciplinary research project where the interactions between human activities and landscape processes are studied.

关键词： Multi-formalism modeling hybrid simulation composability agent cellular automata

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：