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...
详细信息
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 fo...
详细信息
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.
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 ...
详细信息
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 ...
详细信息
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 diff...
详细信息
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.
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...
详细信息
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.
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 Stat...
详细信息
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 Mits...
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
暂无评论