首页 > 最新文献

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

英文 中文
The use and effectiveness of high-fidelity simulation in health professions education: current update 高保真模拟在卫生专业教育中的应用和有效性:最新进展
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-06-02 DOI: 10.1177/00375497221101066
Yasmin Abdulhussain, Hardik Ghelani, H. Henderson, M. Sudhir, Sharon Mascarenhas, R. Radhakrishnan, R. Jan
Over the past 10 years, there has been an increase in the use of high-fidelity simulation (HFS) as a tool to support and enhance learning in health profession programs. In this article, we review the utilization of HFS in biomedical (basic science) courses for health professions students, and we compare its effectiveness to traditional teaching methods. Studies exploring the impact of HFS on students and residents were included in the review. The use of HFS is more prevalent in advanced clinical settings such as in training residents and nurses than in teaching students in preclinical years. When compared to traditional teaching methods, HFS is noted to be superior in delivering core biomedical concepts to students and healthcare professionals. However, a few studies showed no significant differences between HFS and traditional teaching methods when assessing clinical management skills. Overall, HFS is a valuable teaching tool which enhances knowledge retention and clinical skill acquisition in medical education.
在过去的10年里,越来越多的人使用高保真模拟(HFS)作为一种工具来支持和加强卫生专业项目的学习。本文综述了HFS在卫生专业学生生物医学(基础科学)课程中的应用,并比较了其与传统教学方法的有效性。本检讨包括探讨高强度家庭服务对学生及住院医师影响的研究。HFS的使用在高级临床环境中更为普遍,例如在培训住院医生和护士中,而不是在临床前几年的教学中。与传统的教学方法相比,HFS在向学生和医疗保健专业人员传授核心生物医学概念方面具有优势。然而,少数研究表明,在评估临床管理技能时,HFS与传统教学方法之间没有显著差异。总体而言,HFS是一种有价值的教学工具,可以提高医学教育中的知识保留和临床技能获得。
{"title":"The use and effectiveness of high-fidelity simulation in health professions education: current update","authors":"Yasmin Abdulhussain, Hardik Ghelani, H. Henderson, M. Sudhir, Sharon Mascarenhas, R. Radhakrishnan, R. Jan","doi":"10.1177/00375497221101066","DOIUrl":"https://doi.org/10.1177/00375497221101066","url":null,"abstract":"Over the past 10 years, there has been an increase in the use of high-fidelity simulation (HFS) as a tool to support and enhance learning in health profession programs. In this article, we review the utilization of HFS in biomedical (basic science) courses for health professions students, and we compare its effectiveness to traditional teaching methods. Studies exploring the impact of HFS on students and residents were included in the review. The use of HFS is more prevalent in advanced clinical settings such as in training residents and nurses than in teaching students in preclinical years. When compared to traditional teaching methods, HFS is noted to be superior in delivering core biomedical concepts to students and healthcare professionals. However, a few studies showed no significant differences between HFS and traditional teaching methods when assessing clinical management skills. Overall, HFS is a valuable teaching tool which enhances knowledge retention and clinical skill acquisition in medical education.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"48 1","pages":"1085 - 1095"},"PeriodicalIF":1.6,"publicationDate":"2022-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90803131","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
Computational chaos control based on small perturbations for complex spectra simulation 基于小扰动的复杂光谱模拟计算混沌控制
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-06-02 DOI: 10.1177/00375497221098417
Jesús Manuel Rodríguez-Núñez, A. de León, M. Molinar-Tabares, M. Flores-Acosta, SJ Castillo
In this paper, we propose to use a computational method of chaos control to simulate complex experimental spectra. This computational chaos control technique is based on the Ott–Grebogi–York (OGY) method. We chose the logistic map as the base mathematical model for the development of our work. For the numeric part, we created arbitrary precision algorithms to generate the solutions. This way, we completely eliminated any degradation of chaos from our results. These algorithms were also necessary for the proper perturbation process that the computational chaos control method requires. We control the chaos of the logistic map in two cases of Period 1 and one case of Period 2 to demonstrate that our control method works. The behavior of a complex experimental spectrum was taken and numerically simulated. The simulated spectrum was obtained by controlling the chaos of the logistic map in a variable way with the methods proposed in this work. Our results show that it is possible to simulate very complicated experimental spectra by computationally controlling the chaos of an equation unrelated to the experimental system.
本文提出了一种混沌控制的计算方法来模拟复杂的实验光谱。这种计算混沌控制技术是基于ot - grebogi - york (OGY)方法。我们选择了logistic图作为开展工作的基础数学模型。对于数值部分,我们创建了任意精度的算法来生成解。通过这种方式,我们完全消除了结果中任何混乱的退化。这些算法对于计算混沌控制方法所要求的适当摄动过程也是必要的。我们在两个周期1和一个周期2的情况下控制了logistic映射的混沌,以证明我们的控制方法是有效的。对复杂实验谱的行为进行了数值模拟。利用本文提出的方法对logistic映射的混沌进行变量控制,得到仿真频谱。我们的结果表明,通过计算控制与实验系统无关的方程的混沌,可以模拟非常复杂的实验光谱。
{"title":"Computational chaos control based on small perturbations for complex spectra simulation","authors":"Jesús Manuel Rodríguez-Núñez, A. de León, M. Molinar-Tabares, M. Flores-Acosta, SJ Castillo","doi":"10.1177/00375497221098417","DOIUrl":"https://doi.org/10.1177/00375497221098417","url":null,"abstract":"In this paper, we propose to use a computational method of chaos control to simulate complex experimental spectra. This computational chaos control technique is based on the Ott–Grebogi–York (OGY) method. We chose the logistic map as the base mathematical model for the development of our work. For the numeric part, we created arbitrary precision algorithms to generate the solutions. This way, we completely eliminated any degradation of chaos from our results. These algorithms were also necessary for the proper perturbation process that the computational chaos control method requires. We control the chaos of the logistic map in two cases of Period 1 and one case of Period 2 to demonstrate that our control method works. The behavior of a complex experimental spectrum was taken and numerically simulated. The simulated spectrum was obtained by controlling the chaos of the logistic map in a variable way with the methods proposed in this work. Our results show that it is possible to simulate very complicated experimental spectra by computationally controlling the chaos of an equation unrelated to the experimental system.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"30 1","pages":"835 - 846"},"PeriodicalIF":1.6,"publicationDate":"2022-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82751428","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
Overlapping shifts to improve patient safety and patient flow in emergency departments 重叠轮班以改善急诊科的病人安全和病人流量
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-06-01 DOI: 10.1177/00375497221099547
Vishnunarayan Girishan Prabhu, K. Taaffe, R. Pirrallo, William Jackson, Michael Ramsay
Emergency departments (ED) act as primary patient access points for millions of people seeking medical care. However, the sheer volume of patient arrivals and variability among cases makes ED prone to crowding, a well-recognized public health, and patient safety issue. In addition, patient care transitions from one physician to another, known as handoffs, increase with crowding and negatively impact patient safety and satisfaction. This research focused on utilizing a novel hybrid modeling approach to represent the physician and patient activities in the ED to identify physician shift policies that can improve patient safety and patient flow by minimizing handoffs and patient time in the ED. Compared to the current practices that utilize a non-overlapping schedule for staffing the physicians, policies that restrict physicians from taking new patients during the end of their shift can reduce the number of handoffs by as much as 11.2%, with no significant difference in patient time in the ED. Furthermore, comparing current practices to overlapping staffing policies with restrictions, we observed that handoffs and patient time in the ED could be reduced to 41.5% and 14%, with a slight increase in physician full-time equivalents. Finally, we also observed that the ED could immediately accommodate a 10%–15% increase in patient volume with an overlapping staffing policy and still achieve the current performance metrics. However, implementing these policies in a specific ED would call for a risk–cost–benefit analysis considering ED demands, resource availability, and staffing costs.
急诊科(ED)是数百万寻求医疗保健的人的主要病人接入点。然而,患者到达的数量和病例之间的差异使得急诊科容易拥挤,这是一个公认的公共卫生和患者安全问题。此外,从一个医生到另一个医生的病人护理过渡,称为交接,随着拥挤而增加,并对病人的安全和满意度产生负面影响。本研究的重点是利用一种新的混合建模方法来表示急诊科的医生和患者活动,以确定医生轮班政策,通过最大限度地减少急诊科的交接和患者时间,提高患者安全和患者流量。与目前利用无重叠时间表为医生配备人员的做法相比,限制医生在换班结束时接收新病人的政策可以减少多达11.2%的交接次数,而在急诊科的病人时间没有显著差异。此外,将目前的做法与有限制的重叠人员配置政策进行比较,我们观察到急诊科的交接和病人时间可以减少到41.5%和14%,全职医生的等效时间略有增加。最后,我们还观察到,通过重叠的人员配置政策,急诊科可以立即容纳10%-15%的患者数量增加,并且仍然达到当前的绩效指标。然而,在特定ED中实现这些策略需要考虑ED需求、资源可用性和人员成本的风险-成本-收益分析。
{"title":"Overlapping shifts to improve patient safety and patient flow in emergency departments","authors":"Vishnunarayan Girishan Prabhu, K. Taaffe, R. Pirrallo, William Jackson, Michael Ramsay","doi":"10.1177/00375497221099547","DOIUrl":"https://doi.org/10.1177/00375497221099547","url":null,"abstract":"Emergency departments (ED) act as primary patient access points for millions of people seeking medical care. However, the sheer volume of patient arrivals and variability among cases makes ED prone to crowding, a well-recognized public health, and patient safety issue. In addition, patient care transitions from one physician to another, known as handoffs, increase with crowding and negatively impact patient safety and satisfaction. This research focused on utilizing a novel hybrid modeling approach to represent the physician and patient activities in the ED to identify physician shift policies that can improve patient safety and patient flow by minimizing handoffs and patient time in the ED. Compared to the current practices that utilize a non-overlapping schedule for staffing the physicians, policies that restrict physicians from taking new patients during the end of their shift can reduce the number of handoffs by as much as 11.2%, with no significant difference in patient time in the ED. Furthermore, comparing current practices to overlapping staffing policies with restrictions, we observed that handoffs and patient time in the ED could be reduced to 41.5% and 14%, with a slight increase in physician full-time equivalents. Finally, we also observed that the ED could immediately accommodate a 10%–15% increase in patient volume with an overlapping staffing policy and still achieve the current performance metrics. However, implementing these policies in a specific ED would call for a risk–cost–benefit analysis considering ED demands, resource availability, and staffing costs.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"9 1","pages":"961 - 978"},"PeriodicalIF":1.6,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90432830","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
Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints 集成I-DEVS和可调度性方法分析实时系统约束
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-05-21 DOI: 10.1177/00375497221099548
B. Mello, Gabriel A. Wainer
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.
嵌入式实时系统(RTS)的设计具有挑战性,因为这些系统的时间限制至关重要。在设计空间和硬件层面的实时执行中,已经提出了各种非正式和正式的RTS设计方法,但当系统的复杂性扩大时,这些方法中的许多方法都不有效。在这里,我们讨论了一种集成建模(和仿真)形式化的新方法,该方法允许为称为Imprecise-DEVS (I-DEVS)的实时约束设计复杂的系统规范,并将此类高级模型映射到实时任务模型中。该方法允许在建模的高层以及处理单元和操作系统执行的任务的低层分析实时约束。提出了一种研究任务模型可调度性的新方法。该方法提供了从模型级到单个任务的设计分析空间,重点关注瞬时过载条件下实时约束的可调度性。
{"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区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-05-19 DOI: 10.1177/00375497221093648
Xinming Tang, Xiaoqi Ji
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.
本研究提出了一种基于Petri网模型的跑道入侵预警方法,以实现零遗漏和零误报。基于机场地面上飞机/车辆的输出状态,分析了跑道入侵预警场景。以广州白云国际机场为例,建立了基于Petri网模型的跑道运行模型。在建立跑道预警规则的基础上,对Petri网模型施加标准的跑道运行约束,对9种入侵跑道场景进行预警。基于场景仿真,对基于Petri网模型的零失假预警方法进行了验证,实现了预警在监控地图上的显示。
{"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区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-05-18 DOI: 10.1177/00375497221095071
Haiquan Li, Yan Wang, Juncheng Jiang, Ru Zhou
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.
地铁事故发生初期,应急响应流程不会立即启动,信息也不会暂时充分传播。不同地区的人群接收到的事故信息的综合程度不同。他们将在不同的时间以不同的速度状态开始撤离。根据这一现象,在仿真建模中对行人进行分类。另外,在仿真中设置了应急门、自动扶梯、自动门机在应急响应指令下达前后的不同状态。研究了不同的应急响应时间对疏散的影响。提前应急响应对疏散效率没有显著的促进作用,而延迟应急响应则大大降低了疏散效率。提出了地铁车站疏散风险指数(ERI)和最大安全疏散能力。以某地铁车站为例,通过计算ERI得出最坏的事故疏散情景。对比ERI与其他方法的评价结果表明,结论一致,但ERI考虑了事故位置因素。
{"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区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-05-11 DOI: 10.1177/00375497221095070
Audun Stolpe, J. Hannay
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.
我们开发了一种基于逻辑的方法来设计基于模拟的训练场景。我们的方法体现了场景概念的简明定义,并集成了训练目标、可接受与不可接受的行动和绩效评分的概念。该方法应用经典的人工智能(AI)计划,从训练域的因果描述中提取连贯的游戏。特定于领域和任务的部分用高级动作描述语言L定义。当因果理论被编译成底层的回答集编程(ASP)语言时,将添加通用因果和时序逻辑。ASP表示用于派生反映游戏或训练过程质量的评分函数,基于将状态和动作区分为绿色(可接受)和红色(不可接受)。为此,我们在休闲理论中添加了一组规范,这些规范指定了颜色的初始分配。ASP引擎使用这些规范作为公理,并通过咨询因果理论来传播颜色。我们证明了任何一组这样的规范构成了潜在因果理论的保守延伸。通过这项工作,我们希望为运动管理者设计和分析工具的开发奠定基础。我们设想了一个软件系统,可以让练习经理查看一个暂定场景设计的所有游戏,并为每个可能的游戏提供便利信息和分数。我们的方法适用于任何手段-目的推理相关的领域。我们说明在危机应对和管理领域的方法。
{"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区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-05-08 DOI: 10.1177/00375497221094873
Victorino Sanz, A. Urquia
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.
Modelica是一种通用建模语言,主要用于促进模型的开发、可重用性和交换。它代表了基于方程的连续时间系统建模的最新技术。Modelica库有助于多形式化和多领域模型的描述。然而,目前Modelica中并不支持对基于agent的模型(ABMs)的描述,这主要是由于该语言及其仿真算法的特点。人工神经网络与连续时间方程的结合为描述和分析复杂系统提供了强有力的工具。本文提出了一种使用Modelica语言描述abm的方法,其目的是促进abm与Modelica其余功能的组合。使用面向过程的建模方法描述代理行为。代理被描述为在流程图中移动的单个实体,流程图表示代理所经历的过程。使用Parallel DEVS形式化描述流程,扩展到描述与其他Modelica模型的接口。代理交互的环境被描述为元胞自动机。这种方法已经在名为ABMLib的免费Modelica库中实现。讨论了三个案例研究,以说明该库的建模功能及其与其他模型的结合:基本流量模型,羊-狼捕食者-猎物模型和消费者市场模型。
{"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区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-05-08 DOI: 10.1177/00375497221093652
Gayane Grigoryan, Sheida Etemadidavan, Andrew J. Collins
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.
基于代理的建模面临的挑战之一是如何整合人类行为。人类行为是一个多方面的现象,战略联盟的形成是一种形式。一种名为ABMSCORE的基于智能体的混合建模方法被用来模拟战略群体的形成。在本文中,我们描述了一个模拟实验来比较ABMSCORE与实际人类行为。比较标准是各自找到理想联盟的比率。在我们的实验设计中,我们竭尽全力确保两种试验类型中场景的相似性:仅使用计算机化代理的试验和涉及人类参与者的试验,其中一个计算机化代理被真人取代。我们这样做是为了限制可能引入实验系统的外来变量的数量。我们所考虑的场景是手套游戏,这是一种标准的合作游戏,之前曾用于人类实验。我们的研究结果表明,ABMSCORE模型产生了与人类玩家相似的理想联盟寻找率;然而,也有一些限制。本研究为在基于主体的模型中使用ABMSCORE建模方法来模拟人类战略联盟的形成提供了证据。
{"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
A multi-criteria decision analysis of implanted biomedical device antenna: electro-thermal simulation, design, and data analysis 植入生物医学设备天线的多准则决策分析:电热模拟、设计和数据分析
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2022-05-08 DOI: 10.1177/00375497221094846
Tim Sloos, Brent Rustand, Xinhe Liu, Connor Keegan, R. Sourki, A. Milani
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.
本文研究了一种植入式生物医学装置(IBD)天线的三种基本设计(偶极子、环路和弯曲),以增强对基本(材料和几何)因素的理解,这些因素有助于稳定生命体征的调节,在监测和治疗期间对周围组织的影响最小。众所周知,偶极子天线和环形天线具有相似的优势,因为它们都是平衡天线,而弯曲天线可能提供更好的抗辐射能力。在每种给定天线类型的几何形状和三种材料选择(钛、钴铬和Macor)下,通过实验设计和有限单元模拟所施加的交流电平(10或100mA)引起的温度场,进行了调查。最后,应用多准则决策过程,在最大场温、导热系数、电导率、密度和比热属性等条件下选择最优设计。研究结果表明,由钛制成的曲径设计可以在最小的热和辐射影响下实现最大的整体性能。
{"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
期刊
Simulation-Transactions of the Society for Modeling and Simulation International
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1