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

arXiv 2024年

作者： Mittal, Saurabh Risco-Martín, José L. Zeigler, Bernard P. Arizona Center for Integrative Modeling and Simulation Electrical and Computer Engineering University of Arizona TucsonAZ United States

Discrete EVent Specification (DEVS) environments are known to be implemented over middleware systems such as HLA, RMI, CORBA and others. DEVS exhibits concepts of systems theory and modeling and supports capturing the system behavior from the physical and behavioral perspectives. Further, they are implemented using Object-oriented languages like Java and C++. This research work uses the Java platform to implement DEVS over a Service Oriented Architecture (SOA) framework. Called the DEVS/SOA, the framework supports a development and testing environment known as DEVS Unified Process that is built on a model-continuity-based life cycle methodology. DEVS Unified Process allows DEVS-based modeling and simulation (M&S) over net-centric platforms using DEVS/SOA. This framework also provides the crucial feature of run-time composability of coupled systems using SOA. We describe the architecture and designs of the both the server and the client. The client application communicates with multiple servers hosting DEVS simulation services. These simulation services are developed using the proposed symmetrical services architecture wherein the server can act as both a service provider and a service consumer contrary to the unidirectional client-server paradigm. We also discuss how this Services based architecture provides solutions for cross-platform distributed M&S. We demonstrate DEVS/SOA framework with a scenario of Joint Close Air Support specified in Business Process modeling Notation (BPMN). We also provide a real-world application of Network health monitoring using DEVS/SOA layered architectural framework. © 2024, CC BY-SA.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

Composability Verification of Complex Systems Using Colored Petri Nets

Composability Verification of Complex Systems Using Colored ...

引用

simulation Winter Conference

作者： Imran Mahmood Syed Hassan Askari Hessam S. Sarjoughian Center for Research in Modeling & Simulation School of Electrical Engineering and Computer Science National University of Sciences and Technology Islamabad Pakistan Arizona Center for Integrative Modeling & Simulation School of Computing Information and Decision Systems Engineering Arizona State University Tempe Arizona USA

ISBN: (纸本)9781665433129

The discipline of component-based modeling and simulation offers promising gains including reductions in development cost, time, and system complexity. This paradigm promotes the use and reuse of modular components for adequate development of complex simulations. Achieving effective and meaningful model reuse through the composition of components still remains a daunting challenge. “Composability”, an integral part of this challenge, is the capability to select and assemble model components in various combinations to satisfy specific user requirements. In this paper, we propose the use of Colored Petri Nets for component-oriented model development, model composition, and the verification of composed models using state-space analysis technique. We present a case study of an elevator model as a proof of concept. Our case study explains the proposed process of developing and composing CPN-based model components and verifying the composed model using state-space analysis.

关键词： Analytical models Costs Petri nets Elevators Complexity theory Complex systems

来源：评论

学校读者我要写书评

暂无评论

A framework for composable cellular automata devs modeling, simulation, and visualization

A framework for composable cellular automata devs modeling, ...

引用

2020 Spring simulation Multiconference, SpringSim 2020

作者： Zhang, Chao Sarjoughian, Hessam S. Seok, Moon Gi Arizona Center for Integrative Modeling and Simulation Schl. of Computing Informatics and Decision Sys. Engr. Arizona State University TempeAZ85261-8809 United States School of Computer Science and Engineering Nanyang Technical University 639798 Singapore

ISBN: (纸本)9781713812883

The concept of cellular automata is one of the cornerstones of scientific and engineering pursuit with wide applicability in various domains. The rise of system complexity points to developing frameworks that can aid in developing composable models at multiple spatiotemporal levels. Toward this goal, an input/output modular discrete-event cellular automata framework based on the Discrete Event System Specification (DEVS) is proposed. It is adapted from a Composable Cellular Automata (CCA) formalism that is defined in terms of a multicomponent discrete time system specification. The resulting Composable Cellular Automata DEVS (CCA-DEVS) framework is built using the Cellular Automata DEVS that is a part of the DEVS-Suite simulator. The approach and realization of the proposed CCA-DEVS framework are detailed. The framework is used to develop an example model composed of CCA-DEVS agent and partial differential equation models. © 2020 Society for modeling & simulation International (SCS)

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

A Framework for Composable Cellular Automata Devs modeling, simulation, and Visualization

A Framework for Composable Cellular Automata Devs Modeling, ...

引用

2020 Spring simulation Conference, SpringSim 2020

作者： Zhang, Chao Sarjoughian, Hessam S. Gi Seok, Moon Arizona State University Arizona Center for Integrative Modeling and Simulation Schl. of Computing Informatics and Decision Sys. Engr. TempeAZ85261-8809 United States Nanyang Technical University School of Computer Science and Engineering Singapore639798 Singapore

ISBN: (数字)9781565553705

ISBN: (纸本)9781565553705

The concept of cellular automata is one of the cornerstones of scientific and engineering pursuit with wide applicability in various domains. The rise of system complexity points to developing frameworks that can aid in developing composable models at multiple spatiotemporal levels. Toward this goal, an input/output mod-ular discrete-event cellular automata framework based on the Discrete Event System Specification (DEVS) is proposed. It is adapted from a Composable Cellular Automata (CCA) formalism that is defined in terms of a multicomponent discrete time system specification. The resulting Composable Cellular Automata DEVS (CCA-DEVS) framework is built using the Cellular Automata DEVS that is a part of the DEVS-Suite simulator. The approach and realization of the proposed CCA-DEVS framework are detailed. The framework is used to develop an example model composed of CCA-DEVS agent and partial differential equation models. © 2020 SCS.

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

modeling the Water-Energy Nexus for the Phoenix Active Management Area

Modeling the Water-Energy Nexus for the Phoenix Active Manag...

引用

simulation Winter Conference

作者： Mostafa D. Fard Hessam S. Sarjoughian Imran Mahmood Adil Mounir Xin Guan Giuseppe Mascaro Arizona Center for Integrative Mod. & Sim. Comp. Info. and Dec. Sys. Engineering Arizona State University Tempe AZ USA Center for Research in Modeling & Simulation 2 Electrical Engineering and Computer Science National University of Sciences & Technology Islamabad PAKISTAN School of Sustainable Engineering and the Built Environment Arizona State University Tempe AZ USA

ISBN: (数字)9781728194998

ISBN: (纸本)9781728195001

Phoenix, an Active Management Area in the desert Southwest US, is the 5 th most populated city in the US. Scarce local groundwater and water transported from external resources must be managed in the presence of different types of energy sources. Local and regional decision-makers are faced with answering challenging questions on managing water, energy supply, and demand over a few years to several decades. Prediction and planning for the interdependency of these entities can benefit from modeling the water and energy systems as well as their interactions with one another. In this paper, the integrated WEAP and LEAP tools and a modeling framework that externalizes their hidden linkage to an interaction model are described and compared using the Phoenix AMA. Loose coupling enabled by interaction modeling is a key for decision-policies that should be grounded at the nexus of the water-energy system of systems.

关键词： Couplings Supply and demand Protocols Urban areas Tools Water resources System of systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Visual and persistence behavior modeling for DEVS in CoSMoS

Visual and persistence behavior modeling for DEVS in CoSMoS

引用

Symposium on Theory of modeling and simulation - DEVS integrative M and S Symposium, DEVS 2015, Part of the 2015 Spring simulation Multi-Conference, SpringSim 2015

作者： Fard, Mostafa D. Sarjoughian, Hessam S. School of Electrical and Computer Engineering University of Tehran Tehran Iran Arizona Center for Integrative Modeling and Simulation School of Computing Informatics and Decision Systems Engineering Arizona State University TempeAZ United States

ISBN: (纸本)9781510810600

An integrated visual modeling and simulation tool called Component-based System modeling and simulation (CoSMoS) is extended to support behavioral specification of parallel atomic DEVS model. An approach based on Statecharts and Graphical modeling Framework has been developed and implemented for specifying behaviors of atomic models. One or more Statecharts can be developed for any atomic model and stored in a relational database. The behavioral modeling complements atomic and coupled DEVS structural modeling where families of models with semi-automated code generated for the DEVS-Suite simulator are systematically stored and retrieve. The behavioral modeling enriches visual development of models that have DEVS-compliant specifications with modular, component-based visual representations. The visual representation of hierarchal coupled models are automatically generated or restored. An example model is employed to show the degree of details supported both in visual representation and database representation. Current and future works are briefly described. © 2015 Society for modeling & simulation International (SCS).

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017): Part 3 Antwerp, Belgium. 15-20 July 2017 Abstracts

引用

BMC NEUROscience 2017年第SUPPL 1期18卷 95-176页

作者： [Anonymous] Department of Neuroscience Yale University New Haven CT 06520 USA Department Physiology & Pharmacology SUNY Downstate Brooklyn NY 11203 USA NYU School of Engineering 6 MetroTech Center Brooklyn NY 11201 USA Departament de Matemàtica Aplicada Universitat Politècnica de Catalunya Barcelona 08028 Spain Institut de Neurobiologie de la Méditerrannée (INMED) INSERM UMR901 Aix-Marseille Univ Marseille France Center of Neural Science New York University New York NY USA Aix-Marseille Univ INSERM INS Inst Neurosci Syst Marseille France Laboratoire de Physique Théorique et Modélisation CNRS UMR 8089 Université de Cergy-Pontoise 95300 Cergy-Pontoise Cedex France Department of Mathematics and Computer Science ENSAT Abdelmalek Essaadi’s University Tangier Morocco Laboratory of Natural Computation Department of Information and Electrical Engineering and Applied Mathematics University of Salerno 84084 Fisciano SA Italy Department of Medicine University of Salerno 84083 Lancusi SA Italy Dipartimento di Fisica Università degli Studi Aldo Moro Bari and INFN Sezione Di Bari Italy Data Analysis Department Ghent University Ghent Belgium Coma Science Group University of Liège Liège Belgium Cruces Hospital and Ikerbasque Research Center Bilbao Spain BIOtech Department of Industrial Engineering University of Trento and IRCS-PAT FBK 38010 Trento Italy Department of Data Analysis Ghent University Ghent 9000 Belgium The Wellcome Trust Centre for Neuroimaging University College London London WC1N 3BG UK Department of Electronic Engineering NED University of Engineering and Technology Karachi Pakistan Blue Brain Project École Polytechnique Fédérale de Lausanne Lausanne Switzerland Departement of Mathematics Swansea University Swansea Wales UK Laboratory for Topology and Neuroscience at the Brain Mind Institute École polytechnique fédérale de Lausanne Lausanne Switzerland Institute of Mathematics University of Aberdeen Aberdeen Scotland UK Department of Integrativ

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017) of the Organization for Computational Neuroscience Antwerp, Belgium, July 15-20, 2017

引用

BMC NEUROscience 2017年第SUPPL 1期18卷 59-59页

作者： [Anonymous] Indiana University Purdue University Indianapolis Indianapolis IN 46032 USA Stark Neurosciences Research Institute Indiana University School of Medicine Indianapolis IN 46032 USA Department of Mathematics East Carolina University Greenville NC 27858 USA Jülich Supercomputing Centre Forschungszentrum Jülich 52425 Jülich Germany Future Systems Swiss National Supercomputing Centre 8092 Zurich Switzerland User Engagement and Support Swiss National Supercomputing Centre 6900 Lugano Switzerland Institut de Neurosciences des Systèmes Aix Marseille Univ 13005 Marseille France Simulation Lab Neuroscience Forschungszentrum Jülich Jülich Germany Department of Experimental Psychology Ghent University 9000 Ghent Belgium Donders Center for Cognitive Neuroimaging Radboud University 6525HR Nijmegen The Netherlands Department of Electrical Computer and Energy Engineering University of Colorado Boulder CO 80309 USA Department of Neurosurgery Johns Hopkins School of Medicine Baltimore MD 21287 USA Department of Neurology Johns Hopkins School of Medicine Baltimore MD 21287 USA Department of Otolaryngology Johns Hopkins School of Medicine Baltimore MD 21287 USA INSERM U968 Paris France Sorbonne Universités UPMC University Paris 06 UMR_S 968 Institut de la Vision Paris France CNRS UMR_7210 Paris France Department of Computer Architecture and Technology University of Granada (CITIC) Granada Spain Sorbonne Universités UPMC Univ Paris 06 INSERM CNRS Institut de la Vision Paris France Department of Adaptive Machine Systems Osaka University Osaka Japan Department of Computer Science University of Cergy-Pontoise Cergy-Pontoise France Department of Physics and Astronomy College of Charleston Charleston SC 29424 USA School of Physics Faculty of Science University of Sydney Sydney NSW 2006 Australia Center of Excellence for Integrative Brain Function Australian Research Council Sydney Australia Max Planck Institute for Human Cognitive and Brain Sciences Saxony Lei

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROscience 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：