Simulation-Transactions of the Society for Modeling and Simulation International最新文献

筛选
英文 中文
Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints 集成I-DEVS和可调度性方法分析实时系统约束
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-21 DOI: 10.1177/00375497221099548
B. Mello, Gabriel A. Wainer
{"title":"Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints","authors":"B. Mello, Gabriel A. Wainer","doi":"10.1177/00375497221099548","DOIUrl":"https://doi.org/10.1177/00375497221099548","url":null,"abstract":"The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution at the hardware level, but many of these methods are not effective when the complexity of the system scales up. Here, we discuss a new method to integrate a modeling (and simulation) formalism that allows designing complex systems specifications for real-time constraints called Imprecise-DEVS (I-DEVS), and the mapping of such high-level models into a real-time task model. This method allows analyzing real-time constraints both at the high level of modeling as well as the low level of the tasks executed by the processing units and the Operating System. A new method to study the schedulability of the task models is proposed. The method provides a design analysis space from the model level, up to the individual tasks, with a focus on the schedulability of real-time constraints under transient overloading conditions.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"3565 1","pages":"1143 - 1159"},"PeriodicalIF":1.6,"publicationDate":"2022-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86663937","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on early runway incursion warning based on Petri net 基于Petri网的跑道入侵预警研究
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-19 DOI: 10.1177/00375497221093648
Xinming Tang, Xiaoqi Ji
{"title":"Research on early runway incursion warning based on Petri net","authors":"Xinming Tang, Xiaoqi Ji","doi":"10.1177/00375497221093648","DOIUrl":"https://doi.org/10.1177/00375497221093648","url":null,"abstract":"In this study, an early runway incursion warning method was developed based on a Petri net model in order to achieve zero missing and false runway incursion warnings. The runway incursion warning scenario is analyzed based on the output states of the aircraft/vehicles in the airport surface. The runway operation model based on a Petri net model was established by considering Guangzhou Baiyun International Airport as an example. In addition to the runway warning rules, the standard runway operation constraints are imposed on the Petri net model to provide early warnings in nine runway incursion scenarios. The zero missing and false early runway incursion warning method based on a Petri net model was tested based on scenario simulations and realized warning display on surveillance map.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"105 1","pages":"503 - 514"},"PeriodicalIF":1.6,"publicationDate":"2022-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88945000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Metro station evacuation safety assessment considering emergency response 考虑应急响应的地铁车站疏散安全评价
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-18 DOI: 10.1177/00375497221095071
Haiquan Li, Yan Wang, Juncheng Jiang, Ru Zhou
{"title":"Metro station evacuation safety assessment considering emergency response","authors":"Haiquan Li, Yan Wang, Juncheng Jiang, Ru Zhou","doi":"10.1177/00375497221095071","DOIUrl":"https://doi.org/10.1177/00375497221095071","url":null,"abstract":"The emergency response process will not start immediately in the initial stage of a subway accident, and information will not fully spread temporarily. Crowds in different regions receive different comprehensiveness of accident information. They will start evacuating at different times and at different desired speed states. Depending on this phenomenon, pedestrians were classified in simulation modeling. In addition, the different states of emergency gates, escalators, and automatic gate machines before and after the emergency response instruction were set up in the simulation. The impact of different emergency response times on evacuations was studied. The emergency response in advance did not make a significant promotion to evacuation efficiency, but delayed emergency response reduced it greatly. This work proposed an evacuation risk index (ERI) and maximum safe evacuation capacity in metro stations. The worst accident evacuation scenario can be obtained by calculating the ERI, and a metro station was evaluated as a case study. The comparison of the evaluation results of ERI and other methods shows that the conclusion is consistent, but ERI considers the accident location factor.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"116 1","pages":"919 - 931"},"PeriodicalIF":1.6,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79374182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Quantifying means-end reasoning skills in simulation-based training: a logic-based approach 量化意味着基于模拟训练的最终推理技能:基于逻辑的方法
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-11 DOI: 10.1177/00375497221095070
Audun Stolpe, J. Hannay
{"title":"Quantifying means-end reasoning skills in simulation-based training: a logic-based approach","authors":"Audun Stolpe, J. Hannay","doi":"10.1177/00375497221095070","DOIUrl":"https://doi.org/10.1177/00375497221095070","url":null,"abstract":"We develop a logic-based approach for designing simulation-based training scenarios. Our methodology embodies a concise definition of the scenario concept and integrates the notions of training goals, acceptable versus unacceptable actions and performance scoring. The approach applies classical artificial intelligence (AI) planning to extract coherent plays from a causal description of the training domain. The domain- and task-specific parts are defined in a high-level action description language A L . Generic causal and temporal logic is added when the causal theory is compiled into the underlying Answer Set Programming (ASP) language. The ASP representation is used to derive a scoring function that reflects the quality of a play or training session, based on a distinction of states and actions into green (acceptable) and red (unacceptable) ones. To that end, we add to the casual theory a set of norms that specify an initial assignment of colors. The ASP engine uses these norms as axioms and propagates colors by consulting the causal theory. We prove that any set of such norms constitutes a conservative extension of the underlying causal theory. With this work, we hope to lay the foundation for the development of design and analysis tools for exercise managers. We envision a software system that lets an exercise manager view all plays of a tentative scenario design, with expediency information and scores for each possible play. Our approach is applicable to any domain in which means-ends reasoning is pertinent. We illustrate the approach in the domain of crisis response and management.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"11 1","pages":"933 - 957"},"PeriodicalIF":1.6,"publicationDate":"2022-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78294143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Combining PDEVS and Modelica for describing agent-based models 结合PDEVS和Modelica来描述基于代理的模型
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-08 DOI: 10.1177/00375497221094873
Victorino Sanz, A. Urquia
{"title":"Combining PDEVS and Modelica for describing agent-based models","authors":"Victorino Sanz, A. Urquia","doi":"10.1177/00375497221094873","DOIUrl":"https://doi.org/10.1177/00375497221094873","url":null,"abstract":"Modelica is a general-purpose modeling language mainly designed to facilitate the development, reusability and exchange of models. It represents the state-of-the-art in equation-based modeling of continuous-time systems. Modelica libraries facilitate the description of multi-formalism and multi-domain models. However, the description of agent-based models (ABMs) in Modelica is not currently supported, mainly due to the characteristics of the language and its simulation algorithm. The combination of ABMs with continuous-time equations provides a powerful tool for describing and analyzing complex systems. An approach for describing ABMs using the Modelica language is presented in this manuscript, with the objective of facilitating the combination of ABMs with the rest of Modelica functionality. Agent behavior is described using a process-oriented modeling approach. Agents are described as individual entities that move across a flowchart diagram, that represents the processes that agents undergo. Processes are formally described using the Parallel DEVS formalism, extended to describe the interface with other Modelica models. The environment where agents interact is described as a cellular automaton. This approach has been implemented in a free Modelica library, named ABMLib. Three case studies are discussed to illustrate the modeling functionality of the library and its combination with other models: a basic traffic model, a sheep–wolves predator–prey model and a consumer market model.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"1 1","pages":"455 - 474"},"PeriodicalIF":1.6,"publicationDate":"2022-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89749109","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Computerized agents versus human agents in finding core coalition in glove games 手套博弈中计算机智能体与人类智能体寻找核心联盟的比较
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-08 DOI: 10.1177/00375497221093652
Gayane Grigoryan, Sheida Etemadidavan, Andrew J. Collins
{"title":"Computerized agents versus human agents in finding core coalition in glove games","authors":"Gayane Grigoryan, Sheida Etemadidavan, Andrew J. Collins","doi":"10.1177/00375497221093652","DOIUrl":"https://doi.org/10.1177/00375497221093652","url":null,"abstract":"One of the challenges for agent-based modeling is being able to incorporate human behavior. Human behavior is a multifaceted phenomenon, with strategic coalition formation being one form. A hybrid agent-based modeling approach, called ABMSCORE, has been derived to emulate strategic group formation. In this paper, we describe a simulation experiment to compare the ABMSCORE with actual human behavior. The comparison criterion is the respective rates of finding an ideal coalition. In our experimental design, we go to great lengths to ensure the similarity of the scenarios in the two trial types: trials with computerized agents only and trials involving human participants when one of the computerized agents is replaced by an actual human. We did this to limit the number of possible extraneous variables introduced into the experimental system. The scenario considered is the glove game, a standard cooperative game that has been previously used in human experiments. Our results indicate that the ABMSCORE model produces similar rates of finding the ideal coalition as the human players; however, there are some limitations. This research provides evidence for using the ABMSCORE modeling approach to model human strategic coalition formation in agent-based models.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"35 1","pages":"807 - 821"},"PeriodicalIF":1.6,"publicationDate":"2022-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88368996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Numerically robust co-simulation using transmission line modeling and the Functional Mock-up Interface 采用传输线建模和功能模型接口的数值鲁棒联合仿真
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-08 DOI: 10.1177/00375497221097128
R. Braun, D. Fritzson
{"title":"Numerically robust co-simulation using transmission line modeling and the Functional Mock-up Interface","authors":"R. Braun, D. Fritzson","doi":"10.1177/00375497221097128","DOIUrl":"https://doi.org/10.1177/00375497221097128","url":null,"abstract":"Modeling and simulation are important tools for efficient product development. There is a growing need for collaboration, interdisciplinary simulation, and re-usability of simulation models. This usually requires simulation tools to be coupled together for co-simulation. However, the usefulness of co-simulation is often limited by poor performance and numerical instability. Achieving stability is especially hard for stiff mechanical couplings. A suitable method is to use transmission line modeling (TLM), which separates submodels using physically motivated time delays. The most established standard for tool coupling today is the Functional Mock-up Interface (FMI). Two example models in one dimension and three dimensions are used to demonstrate how the next version of FMI for co-simulation can be used in conjunction with TLM. The stability properties of TLM are also proven by numerical analysis. Results show that numerical stability can be ensured without compromising on performance. With the current FMI standard, this requires tailor-made models and custom solutions for the interpolation of input variables. Without using custom solutions, variables must be exchanged using sampled communication and extrapolation. In this case, stability properties can be improved by reducing communication step size. However, it is shown that stability cannot be achieved even when using unacceptably small communication steps. This motivates the need for the next version of FMI to include an intermediate update mode, where variables can be interchanged in between communication points. It is suggested that the FMI standard should be extended with optional callback functions for providing intermediate output variables and requesting intermediate input variables.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"142 1","pages":"1057 - 1070"},"PeriodicalIF":1.6,"publicationDate":"2022-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74966749","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A multi-criteria decision analysis of implanted biomedical device antenna: electro-thermal simulation, design, and data analysis 植入生物医学设备天线的多准则决策分析:电热模拟、设计和数据分析
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-08 DOI: 10.1177/00375497221094846
Tim Sloos, Brent Rustand, Xinhe Liu, Connor Keegan, R. Sourki, A. Milani
{"title":"A multi-criteria decision analysis of implanted biomedical device antenna: electro-thermal simulation, design, and data analysis","authors":"Tim Sloos, Brent Rustand, Xinhe Liu, Connor Keegan, R. Sourki, A. Milani","doi":"10.1177/00375497221094846","DOIUrl":"https://doi.org/10.1177/00375497221094846","url":null,"abstract":"In this article, three elemental (dipole, loop, and meander) designs of an implanted biomedical device (IBD) antenna are studied to provide an enhanced understanding of fundamental (material and geometry) factors which would contribute to the regulation of a steady vital sign, with minimal effect on the surrounding tissue during monitoring and treatment. Dipole and Loop antennas are known to offer similar advantages in that they are both balanced antennas, while the Meander antenna is likely to offer better radiation resistance. The investigation was carried out through the design of experiments and finite element modeling of the temperature field due to the AC level applied (10 or 100mA), under the geometry of each given antenna type and three material options (Titanium, Cobalt Chromium, and Macor). Finally, a multi-criteria decision-making process is applied to select the optimal design under maximum field temperature, thermal conductivity, electrical conductivity, density, and specific heat attributes. The findings suggested that the Meander design made of Titanium would allow for a maximized overall performance with minimal thermal and radiation effects.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"1 1","pages":"863 - 873"},"PeriodicalIF":1.6,"publicationDate":"2022-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89799675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An improved control strategy using TCSC with grey wolf-optimized DSTATCOM for efficient LVRT of DFIG-based WECS 一种基于灰狼优化DSTATCOM的改进TCSC控制策略用于基于dfig的wcs的有效LVRT
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-08 DOI: 10.1177/00375497221097123
Ashwani Kumar, V. M. Mishra, R. Ranjan
{"title":"An improved control strategy using TCSC with grey wolf-optimized DSTATCOM for efficient LVRT of DFIG-based WECS","authors":"Ashwani Kumar, V. M. Mishra, R. Ranjan","doi":"10.1177/00375497221097123","DOIUrl":"https://doi.org/10.1177/00375497221097123","url":null,"abstract":"Doubly fed induction generator (DFIG)-based wind energy conversion systems (WECSs) are widely used for its advantage over other schemes, as it enables the connection to the grid even during faults and provides reactive power compensation. However, transient stability of DFIG and low voltage ride through (LVRT) remained an area of improvement. In this paper, a hybrid approach is proposed to improve the efficiency of the DFIG WECS using grey wolf-optimized distribution static compensator (DSTATCOM) with thyristor-controlled series capacitor (TCSC). Extensive simulation analysis was performed considering design parameters as an objective function. The optimal values of proportional–integral (PI) coefficients were found to minimize the objective function. Using MATLAB, time-domain simulations were carried to confirm the efficiency of the optimized control system. Simulation results further confirm that the combination of TCSC and DSTATCOM may be considered as a promising scheme to enhance fault ride through (FRT) capability of WECS during the normal and unstable conditions.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"343 1","pages":"979 - 990"},"PeriodicalIF":1.6,"publicationDate":"2022-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79595628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Simulation process and data flow for a large system dynamics model 大型系统动力学模型的仿真过程和数据流
IF 1.6 4区 工程技术
Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2022-05-08 DOI: 10.1177/00375497221093381
B. Bush, Dana Stright, Jay Huggins, Emily K. Newes
{"title":"Simulation process and data flow for a large system dynamics model","authors":"B. Bush, Dana Stright, Jay Huggins, Emily K. Newes","doi":"10.1177/00375497221093381","DOIUrl":"https://doi.org/10.1177/00375497221093381","url":null,"abstract":"This paper documents the workflow and supporting technologies that a large system dynamics model, the biomass scenario model, employs to streamline the data preparation, simulation, quality control, and analysis process at the National Renewable Energy Laboratory. The workflow centers on automation of routine aspects of the flow of data between data stores, simulations, and visualizations. It enforces quality checks on data, reproducibility of computations, and traceability of results, while maintaining complete archives of modeling and analysis artifacts. The resulting frictionless simulation/analysis environment supports large-scale sensitivity analysis, interactive creation of ensembles of simulations, and rapid visualization-based exploration of simulation results.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"375 1","pages":"823 - 833"},"PeriodicalIF":1.6,"publicationDate":"2022-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80551473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信