首页 > 最新文献

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

英文 中文
Multiobjective building design optimization using an efficient adaptive Kriging metamodel 基于高效自适应Kriging元模型的多目标建筑设计优化
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-04-26 DOI: 10.1177/00375497231168630
Salma Lahmar, M. Maalmi, R. Idchabani
Multiobjective building design optimization is a challenging problem because it involves finding a set of solutions that simultaneously optimize multiple conflicting objectives. Simulations-based optimization is widely used, but it is a computationally expensive process in terms of time, as it requires a large number of evaluations of the objective functions. Metamodel-based optimization is an alternative to reduce the time-consuming simulations during the optimization process. Metamodels can approximate the building simulation model with analytical expressions. However, the accuracy of metamodels depends on the number of simulations used to train the model and the sampling strategy used to select informative samples over the design space. This study proposes an efficient sequential sampling approach to fit the metamodels toward the regions of the design space where their accuracy is higher and can improve all objectives simultaneously. To demonstrate the effectiveness of this approach, it was applied to optimize the energy and investment costs of a multi-story residential building. The optimization results were compared with those obtained using a non-dominated sorted genetic algorithm II (NSGA-II). The results of this study show that the proposed method reduces the number of building energy simulations required by up to 50% while guaranteeing accurate optimization results. Fifteen energy-efficient buildings designs were proposed, with a wide range of trade-offs between energy and investment costs. This study highlights the potential of the proposed approach to achieve faster and accurate building design optimization and allowing for a larger design space, leading to more creative and innovative solutions.
多目标建筑设计优化是一个具有挑战性的问题,因为它涉及到寻找一组同时优化多个相互冲突的目标的解决方案。基于仿真的优化得到了广泛的应用,但由于它需要对目标函数进行大量的评估,因此在时间上是一个计算昂贵的过程。基于元模型的优化是减少优化过程中耗时的模拟的一种替代方法。元模型可以用解析表达式逼近建筑仿真模型。然而,元模型的准确性取决于用于训练模型的模拟次数和用于在设计空间中选择信息样本的采样策略。本研究提出了一种有效的顺序抽样方法,将元模型拟合到设计空间的区域,在那里元模型的精度更高,并且可以同时改善所有目标。为了证明这种方法的有效性,将其应用于优化多层住宅建筑的能源和投资成本。比较了非支配排序遗传算法ⅱ(nsga -ⅱ)的优化结果。研究结果表明,该方法在保证优化结果准确的同时,将建筑能耗模拟次数减少了50%。提出了15种节能建筑设计,在能源和投资成本之间进行了广泛的权衡。这项研究强调了所提出的方法的潜力,可以实现更快、更准确的建筑设计优化,并允许更大的设计空间,从而产生更具创造性和创新性的解决方案。
{"title":"Multiobjective building design optimization using an efficient adaptive Kriging metamodel","authors":"Salma Lahmar, M. Maalmi, R. Idchabani","doi":"10.1177/00375497231168630","DOIUrl":"https://doi.org/10.1177/00375497231168630","url":null,"abstract":"Multiobjective building design optimization is a challenging problem because it involves finding a set of solutions that simultaneously optimize multiple conflicting objectives. Simulations-based optimization is widely used, but it is a computationally expensive process in terms of time, as it requires a large number of evaluations of the objective functions. Metamodel-based optimization is an alternative to reduce the time-consuming simulations during the optimization process. Metamodels can approximate the building simulation model with analytical expressions. However, the accuracy of metamodels depends on the number of simulations used to train the model and the sampling strategy used to select informative samples over the design space. This study proposes an efficient sequential sampling approach to fit the metamodels toward the regions of the design space where their accuracy is higher and can improve all objectives simultaneously. To demonstrate the effectiveness of this approach, it was applied to optimize the energy and investment costs of a multi-story residential building. The optimization results were compared with those obtained using a non-dominated sorted genetic algorithm II (NSGA-II). The results of this study show that the proposed method reduces the number of building energy simulations required by up to 50% while guaranteeing accurate optimization results. Fifteen energy-efficient buildings designs were proposed, with a wide range of trade-offs between energy and investment costs. This study highlights the potential of the proposed approach to achieve faster and accurate building design optimization and allowing for a larger design space, leading to more creative and innovative solutions.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"1 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2023-04-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84449152","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 fine grid cellular automaton model for pedestrian evacuation considering the effect of an obstacle 考虑障碍物影响的行人疏散的细网格元胞自动机模型
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-04-05 DOI: 10.1177/00375497231161146
Xiao-Ting Yuan, Tie-Qiao Tang, Liang Chen, Tao Wang
A cellular automaton (CA) model with a finer discretization of space is proposed to simulate a non-emergency evacuation process in a room with an obstacle. During the evacuation process, a triangle “evading region” phenomenon has been observed through simulation and experiment on the upstream side of the spatial obstacle. In this paper, we use a simple method to generate an obstacle floor field corresponding to the triangle. We investigate the relationship between the pedestrian trajectories and the obstacle’s position. We also study the effect of the obstacle on evacuation time and average evacuation speed. Our study provides insights into the simulation of obstacle avoidance behavior of pedestrians in simple scenarios.
提出了一种具有较好空间离散性的元胞自动机(CA)模型,用于模拟有障碍物的房间内的非紧急疏散过程。在疏散过程中,通过模拟和实验,在空间障碍物的上游观察到一个三角形的“逃避区”现象。在本文中,我们使用一种简单的方法来生成一个与三角形相对应的障碍物地板场。我们研究了行人轨迹和障碍物位置之间的关系。研究了障碍物对疏散时间和平均疏散速度的影响。我们的研究为简单场景下行人避障行为的模拟提供了见解。
{"title":"A fine grid cellular automaton model for pedestrian evacuation considering the effect of an obstacle","authors":"Xiao-Ting Yuan, Tie-Qiao Tang, Liang Chen, Tao Wang","doi":"10.1177/00375497231161146","DOIUrl":"https://doi.org/10.1177/00375497231161146","url":null,"abstract":"A cellular automaton (CA) model with a finer discretization of space is proposed to simulate a non-emergency evacuation process in a room with an obstacle. During the evacuation process, a triangle “evading region” phenomenon has been observed through simulation and experiment on the upstream side of the spatial obstacle. In this paper, we use a simple method to generate an obstacle floor field corresponding to the triangle. We investigate the relationship between the pedestrian trajectories and the obstacle’s position. We also study the effect of the obstacle on evacuation time and average evacuation speed. Our study provides insights into the simulation of obstacle avoidance behavior of pedestrians in simple scenarios.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"4 1","pages":"957 - 968"},"PeriodicalIF":1.6,"publicationDate":"2023-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72475141","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
Inverse kinematic model of multi-section continuum robots using particle swarm optimization and comparison to four meta-heuristic approaches 基于粒子群优化的多段连续体机器人运动学逆模型及其与四种元启发式方法的比较
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-03-31 DOI: 10.1177/00375497231164645
S. Djeffal, Chawki Mahfoudi
Multi-section continuum robots’ (CRs) behavior is still an outstanding problem because of the highly non-linearity of its equation of motions. To this end, in this paper, particle swarm optimization (PSO) is adopted to solve the inverse kinematic model (IKM) of CRs. First, the CR’s structure is properly described. Then, the aforementioned algorithm is elaborately discussed and implemented in figuring out the IKM of CR and verified through forward kinematic model by choosing the PSO parameters, namely, cognitive factors ( C 1 = C 2 = 1 . 2 ) and inertia weight ( ω = 0 . 79 ) for 200 positions on an arc-like trajectory. The optimal angle values ( θ = 0 . 0346 and φ = 0 . 00013 ) which ensure the lowest distance between the attainably desired position and the robot’s end effector are 1 . 04497 × 10 − 9 mm which is perfectly accurate. After that, simulation through MATLAB is carried out, namely, in the first simulation, a three-section CR follows a linear trajectory with a precision approximately equal to 0 . 75 × 10 − 9 mm . Furthermore, PSO takes 7 ms as a mean consumption time to make the robot’s end effector attain to each position. Then, a circular trajectory is followed using PSO. Comparatively speaking, PSO is compared with four meta-heuristic approaches; it is remarked that PSO is a good compromise between accuracy and time consumption. Based on the obtained results, PSO can be considered as a trade-off between accuracy and time consumption for solving the IKM of CRs with complex structure.
由于多段连续体机器人运动方程的高度非线性,其行为问题一直是一个突出的问题。为此,本文采用粒子群算法(PSO)求解CRs的逆运动学模型(IKM)。首先,对CR的结构进行了适当的描述。然后,对上述算法进行了详细的讨论和实现,计算出CR的IKM,并通过选择PSO参数,即认知因子(c1 = c2 = 1),通过正运动学模型进行验证。2)和惯性权重(ω = 0。79)在弧形轨迹上的200个位置。最佳角度值(θ = 0。和φ = 0。00013),确保可达到的期望位置与机器人末端执行器之间的最小距离为1。04497 × 10−9毫米,非常精确。然后通过MATLAB进行仿真,即在第一次仿真中,三段CR沿线性轨迹运动,其精度近似等于0。75 × 10−9mm。此外,粒子群算法使机器人末端执行器到达每个位置的平均消耗时间为7 ms。然后,利用粒子群算法跟踪一个圆形轨迹。比较而言,粒子群算法比较了四种元启发式方法;有人指出,粒子群算法是精度和时间消耗之间的一个很好的折衷。基于所获得的结果,粒子群算法可以被认为是求解复杂结构CRs的IKM的精度和时间消耗之间的权衡。
{"title":"Inverse kinematic model of multi-section continuum robots using particle swarm optimization and comparison to four meta-heuristic approaches","authors":"S. Djeffal, Chawki Mahfoudi","doi":"10.1177/00375497231164645","DOIUrl":"https://doi.org/10.1177/00375497231164645","url":null,"abstract":"Multi-section continuum robots’ (CRs) behavior is still an outstanding problem because of the highly non-linearity of its equation of motions. To this end, in this paper, particle swarm optimization (PSO) is adopted to solve the inverse kinematic model (IKM) of CRs. First, the CR’s structure is properly described. Then, the aforementioned algorithm is elaborately discussed and implemented in figuring out the IKM of CR and verified through forward kinematic model by choosing the PSO parameters, namely, cognitive factors ( C 1 = C 2 = 1 . 2 ) and inertia weight ( ω = 0 . 79 ) for 200 positions on an arc-like trajectory. The optimal angle values ( θ = 0 . 0346 and φ = 0 . 00013 ) which ensure the lowest distance between the attainably desired position and the robot’s end effector are 1 . 04497 × 10 − 9 mm which is perfectly accurate. After that, simulation through MATLAB is carried out, namely, in the first simulation, a three-section CR follows a linear trajectory with a precision approximately equal to 0 . 75 × 10 − 9 mm . Furthermore, PSO takes 7 ms as a mean consumption time to make the robot’s end effector attain to each position. Then, a circular trajectory is followed using PSO. Comparatively speaking, PSO is compared with four meta-heuristic approaches; it is remarked that PSO is a good compromise between accuracy and time consumption. Based on the obtained results, PSO can be considered as a trade-off between accuracy and time consumption for solving the IKM of CRs with complex structure.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"23 1","pages":"817 - 830"},"PeriodicalIF":1.6,"publicationDate":"2023-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81541507","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
Face-based smoothed finite element method for simulating the sound field of a high-speed train 基于人脸的高速列车声场模拟的光滑有限元方法
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-03-29 DOI: 10.1177/00375497231163642
Songhua Huang, Yugong Xu, Zhaoxin Liu, W. Dou, Lele Zhang
Simulating three-dimensional acoustic problems with traditional finite element models (FEMs) may result in a large dispersion error that is difficult to manage. To control dispersion error caused by “overly stiff” features of FEM, a face-based smoothed FEM (FS-FEM) model was used to analyze the sound field of a high-speed train. Based on the acoustic Galerkin method’s weak form, smooth regions were reconstructed within the original finite element area, and numerical simulations were performed in MATLAB. Modal analysis of a test example revealed that results obtained using FS-FEM are more accurate than those obtained using the traditional FEM. Finally, it was used to calculate the sound field of China Railway High-speed 380B (CRH380B) high-speed trains in time and frequency domains, achieving higher accuracy than the traditional approach. Results were more akin to the realistic solution, which demonstrated the performance of the FS-FEM.
传统的有限元模型模拟三维声学问题时,会产生较大的色散误差,难以控制。为控制有限元法“过硬”特征引起的频散误差,采用基于面的光滑有限元模型(FS-FEM)对高速列车声场进行了分析。基于声学伽辽金方法的弱形式,在原有限元区域内重构光滑区域,并在MATLAB中进行数值模拟。对一个试验实例进行模态分析,结果表明,用FS-FEM方法得到的结果比传统有限元方法得到的结果更准确。最后,将该方法应用于中铁高铁380B (CRH380B)高速列车的声场时域和频域计算,取得了比传统方法更高的精度。结果更接近于实际解,验证了FS-FEM的性能。
{"title":"Face-based smoothed finite element method for simulating the sound field of a high-speed train","authors":"Songhua Huang, Yugong Xu, Zhaoxin Liu, W. Dou, Lele Zhang","doi":"10.1177/00375497231163642","DOIUrl":"https://doi.org/10.1177/00375497231163642","url":null,"abstract":"Simulating three-dimensional acoustic problems with traditional finite element models (FEMs) may result in a large dispersion error that is difficult to manage. To control dispersion error caused by “overly stiff” features of FEM, a face-based smoothed FEM (FS-FEM) model was used to analyze the sound field of a high-speed train. Based on the acoustic Galerkin method’s weak form, smooth regions were reconstructed within the original finite element area, and numerical simulations were performed in MATLAB. Modal analysis of a test example revealed that results obtained using FS-FEM are more accurate than those obtained using the traditional FEM. Finally, it was used to calculate the sound field of China Railway High-speed 380B (CRH380B) high-speed trains in time and frequency domains, achieving higher accuracy than the traditional approach. Results were more akin to the realistic solution, which demonstrated the performance of the FS-FEM.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"27 1","pages":"1057 - 1067"},"PeriodicalIF":1.6,"publicationDate":"2023-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75645526","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
Development of deep-learning models for a hybrid simulation of auscultation training on standard patients using an ECG-based virtual pathology stethoscope 使用基于心电图的虚拟病理听诊器开发用于标准患者听诊训练混合模拟的深度学习模型
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-03-29 DOI: 10.1177/00375497231165049
Haben Yhdego, Nahom Kidane, F. McKenzie, M. Audette
Cardiac auscultation (CA), the act of listening to the heart’s sound, is a critical skill that provides valuable information for identifying serious heart diseases. Proficiency in cardiac auscultation requires repeated stethoscope practice and experience in identifying abnormal or irregular cardiac rhythms. However, nowadays, most hospital admissions are short and intensely focused, with fewer opportunities for medical trainees to learn and practice bedside examination skills. It is common practice in many institutions to incorporate standardized patients (SPs) into CA training because these actors are able to represent the patient and convey the symptoms. However, SPs are typically healthy individuals, limiting the kinds of abnormalities that students can hear. In this work, we develop a novel real-time simulation-based method for virtual pathology stethoscope (VPS) detection. The VPS system uses augmented reality (AR) to teach medical students how to perform cardiac examinations by listening to abnormal heart sounds in SPs who are otherwise healthy. A digital stethoscope with two electrodes on the chest piece collects electrocardiogram (ECG) signal data sets from SPs at the four primary auscultation sites. Next, different deep-learning methods are evaluated for classifying the location of the stethoscope by taking advantage of subtle differences in the ECG signals. This study would significantly extend the simulation capabilities of SPs by allowing medical students and trainees to perform realistic CA and hear CA in a clinical environment.
心脏听诊(CA)是一种聆听心脏声音的行为,是一项重要的技能,它为识别严重的心脏病提供了有价值的信息。熟练的心脏听诊需要反复的听诊器练习和识别异常或不规则心律的经验。然而,现在大多数住院时间都很短,而且非常集中,医疗实习生学习和实践床边检查技能的机会很少。在许多机构中,将标准化患者(SPs)纳入CA培训是常见的做法,因为这些参与者能够代表患者并传达症状。然而,SPs通常是健康的个体,限制了学生可以听到的异常类型。在这项工作中,我们开发了一种新的基于实时仿真的虚拟病理听诊器(VPS)检测方法。VPS系统使用增强现实(AR)来教医学生如何通过聆听健康的SPs的异常心音来进行心脏检查。胸片上有两个电极的数字听诊器从四个主要听诊部位的SPs收集心电图(ECG)信号数据集。其次,利用心电信号的细微差异,评估了不同深度学习方法对听诊器位置的分类。通过允许医学生和实习生在临床环境中进行真实的CA和听CA,本研究将显著扩展sp的模拟能力。
{"title":"Development of deep-learning models for a hybrid simulation of auscultation training on standard patients using an ECG-based virtual pathology stethoscope","authors":"Haben Yhdego, Nahom Kidane, F. McKenzie, M. Audette","doi":"10.1177/00375497231165049","DOIUrl":"https://doi.org/10.1177/00375497231165049","url":null,"abstract":"Cardiac auscultation (CA), the act of listening to the heart’s sound, is a critical skill that provides valuable information for identifying serious heart diseases. Proficiency in cardiac auscultation requires repeated stethoscope practice and experience in identifying abnormal or irregular cardiac rhythms. However, nowadays, most hospital admissions are short and intensely focused, with fewer opportunities for medical trainees to learn and practice bedside examination skills. It is common practice in many institutions to incorporate standardized patients (SPs) into CA training because these actors are able to represent the patient and convey the symptoms. However, SPs are typically healthy individuals, limiting the kinds of abnormalities that students can hear. In this work, we develop a novel real-time simulation-based method for virtual pathology stethoscope (VPS) detection. The VPS system uses augmented reality (AR) to teach medical students how to perform cardiac examinations by listening to abnormal heart sounds in SPs who are otherwise healthy. A digital stethoscope with two electrodes on the chest piece collects electrocardiogram (ECG) signal data sets from SPs at the four primary auscultation sites. Next, different deep-learning methods are evaluated for classifying the location of the stethoscope by taking advantage of subtle differences in the ECG signals. This study would significantly extend the simulation capabilities of SPs by allowing medical students and trainees to perform realistic CA and hear CA in a clinical environment.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"29 1","pages":"903 - 915"},"PeriodicalIF":1.6,"publicationDate":"2023-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80012905","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
A logic-based event controller for means-end reasoning in simulation environments 一种基于逻辑的事件控制器,用于仿真环境中的目的-目的推理
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-03-24 DOI: 10.1177/00375497231157384
Audun Stolpe, I. Rummelhoff, J. Hannay
Simulation games are designed to cultivate expertise and rehearse particular skill sets. To yield longitudinal effects, sequences of events must be crafted to yield intended learning outcomes, sometimes by focusing on particularly difficult situations and replaying variants. The present paper develops a logic-based approach for encoding the interrelation between action, events, and objects in a manner that allows the resulting scenario description to immediately be executed in a game development environment. This has the dual effect of decoupling the description of a scenario from the simulation platform itself, as well as supporting iterative and flexible development of learning content. To this end, we provide three interrelated components: First, we develop a scenario description language based on Answer Set Programming. The language is designed to allow an automated reasoner to deduce a schedule of the future events that are caused by an action taken in a given simulation environment. Second, we define a protocol for exchanging actions and computed futures between, respectively, the simulation environment and the external automated reasoner. Finally, as a proof of concept, we develop an Application Programming Interface (API) for the Unity Real-Time Development Platform that implements the protocol and offers a software framework for connecting the computed future events to concrete game objects. This allows the game to evolve coherently from the specification. We argue that the resulting system inherits capabilities for artificial commonsense reasoning from its declarative basis which are useful for reasoning about an evolving emergency incident or training scenario.
模拟游戏的设计是为了培养专业知识和练习特定的技能。为了产生纵向效果,必须精心设计事件序列以产生预期的学习结果,有时需要关注特别困难的情况并重复播放变量。本文开发了一种基于逻辑的方法,用于编码动作、事件和对象之间的相互关系,从而允许在游戏开发环境中立即执行所产生的场景描述。这具有将场景描述与仿真平台本身解耦的双重效果,以及支持学习内容的迭代和灵活开发。为此,我们提供了三个相互关联的组件:首先,我们开发了一个基于答案集编程的场景描述语言。该语言旨在允许自动推理器推断出在给定模拟环境中所采取的操作所导致的未来事件的时间表。其次,我们定义了一个协议,分别在模拟环境和外部自动推理器之间交换动作和计算的期货。最后,作为概念验证,我们为Unity实时开发平台开发了一个应用程序编程接口(API),该接口实现了协议,并提供了一个将计算的未来事件与具体游戏对象连接起来的软件框架。这使得游戏能够从规范中连贯地发展。我们认为,由此产生的系统从其声明性基础继承了人工常识推理的能力,这对于推理不断发展的紧急事件或训练场景很有用。
{"title":"A logic-based event controller for means-end reasoning in simulation environments","authors":"Audun Stolpe, I. Rummelhoff, J. Hannay","doi":"10.1177/00375497231157384","DOIUrl":"https://doi.org/10.1177/00375497231157384","url":null,"abstract":"Simulation games are designed to cultivate expertise and rehearse particular skill sets. To yield longitudinal effects, sequences of events must be crafted to yield intended learning outcomes, sometimes by focusing on particularly difficult situations and replaying variants. The present paper develops a logic-based approach for encoding the interrelation between action, events, and objects in a manner that allows the resulting scenario description to immediately be executed in a game development environment. This has the dual effect of decoupling the description of a scenario from the simulation platform itself, as well as supporting iterative and flexible development of learning content. To this end, we provide three interrelated components: First, we develop a scenario description language based on Answer Set Programming. The language is designed to allow an automated reasoner to deduce a schedule of the future events that are caused by an action taken in a given simulation environment. Second, we define a protocol for exchanging actions and computed futures between, respectively, the simulation environment and the external automated reasoner. Finally, as a proof of concept, we develop an Application Programming Interface (API) for the Unity Real-Time Development Platform that implements the protocol and offers a software framework for connecting the computed future events to concrete game objects. This allows the game to evolve coherently from the specification. We argue that the resulting system inherits capabilities for artificial commonsense reasoning from its declarative basis which are useful for reasoning about an evolving emergency incident or training scenario.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"54 1","pages":"831 - 858"},"PeriodicalIF":1.6,"publicationDate":"2023-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86394894","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
Synchronous speculative simulation of tightly coupled agents in continuous time on CPUs and GPUs 在cpu和gpu上连续时间紧耦合代理的同步推测模拟
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-03-21 DOI: 10.1177/00375497231158930
Philipp Andelfinger, A. Uhrmacher
Traditionally, parallel discrete-event simulations of agent-based models in continuous time are organized around logical processes exchanging time-stamped events, which clashes with the properties of models in which tightly coupled agents frequently and instantaneously access each other’s states. To illustrate the challenges of such models and to derive a solution, we consider the domain-specific modeling language ML3, which allows modelers to succinctly express transitions and interactions of linked agents based on a continuous-time Markov chain (CTMC) semantics. We propose synchronous optimistic synchronization algorithms tailored toward simulations of fine-grained interactions among tightly coupled agents in highly dynamic topologies and present implementations targeting multicore central processing units (CPUs) as well as many-core graphics processing units (GPUs). By dynamically restricting the temporal progress per round to ensure that at most one transition or state access per agent, the synchronization algorithms enable efficient direct agent interaction and limit the required agent state history to only a single current and projected state. To maintain concurrency given actions that depend on dynamically updated macro-level properties, we introduce a simple relaxation scheme with guaranteed error bounds. Using an extended variant of the classical susceptible-infected-recovered network model, we benchmark and profile the performance of the different algorithms running on CPUs and on a data center GPU.
传统上,连续时间内基于智能体模型的并行离散事件模拟是围绕交换时间戳事件的逻辑过程组织的,这与紧密耦合的智能体频繁且即时地访问彼此状态的模型的特性相冲突。为了说明此类模型的挑战并推导出解决方案,我们考虑了领域特定的建模语言ML3,该语言允许建模者基于连续时间马尔可夫链(CTMC)语义简洁地表达关联代理的转换和交互。我们提出了同步乐观同步算法,针对高动态拓扑中紧密耦合代理之间细粒度交互的模拟,并提出了针对多核中央处理单元(cpu)和多核图形处理单元(gpu)的实现。通过动态地限制每轮的时间进度,以确保每个代理最多有一个转换或状态访问,同步算法支持有效的直接代理交互,并将所需的代理状态历史限制为仅一个当前和预测状态。为了维持依赖于动态更新的宏观级属性的给定动作的并发性,我们引入了一个具有保证错误边界的简单松弛方案。使用经典易受感染-恢复网络模型的扩展变体,我们对不同算法在cpu和数据中心GPU上运行的性能进行了基准测试和分析。
{"title":"Synchronous speculative simulation of tightly coupled agents in continuous time on CPUs and GPUs","authors":"Philipp Andelfinger, A. Uhrmacher","doi":"10.1177/00375497231158930","DOIUrl":"https://doi.org/10.1177/00375497231158930","url":null,"abstract":"Traditionally, parallel discrete-event simulations of agent-based models in continuous time are organized around logical processes exchanging time-stamped events, which clashes with the properties of models in which tightly coupled agents frequently and instantaneously access each other’s states. To illustrate the challenges of such models and to derive a solution, we consider the domain-specific modeling language ML3, which allows modelers to succinctly express transitions and interactions of linked agents based on a continuous-time Markov chain (CTMC) semantics. We propose synchronous optimistic synchronization algorithms tailored toward simulations of fine-grained interactions among tightly coupled agents in highly dynamic topologies and present implementations targeting multicore central processing units (CPUs) as well as many-core graphics processing units (GPUs). By dynamically restricting the temporal progress per round to ensure that at most one transition or state access per agent, the synchronization algorithms enable efficient direct agent interaction and limit the required agent state history to only a single current and projected state. To maintain concurrency given actions that depend on dynamically updated macro-level properties, we introduce a simple relaxation scheme with guaranteed error bounds. Using an extended variant of the classical susceptible-infected-recovered network model, we benchmark and profile the performance of the different algorithms running on CPUs and on a data center GPU.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"43 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2023-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91335711","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
Spatial iterative coordination for parallel simulation-based optimization of large-scale traffic signal control 基于空间迭代协调的大规模交通信号控制并行仿真优化
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-03-17 DOI: 10.1177/00375497231159944
Wen Jun Tan, Philipp Andelfinger, Wentong Cai, D. Eckhoff, Alois Knoll
Applying simulation-based optimization to city-scale traffic signal optimization can be challenging due to the large search space resulting in high computational complexity. A divide-and-conquer approach can be used to partition the problem and optimized separately, which leads to faster convergence. However, the lack of coordination among the partial solutions may yield a poor-quality global solution. In this paper, we propose a new method for simulation-based optimization of traffic signal control, called spatially iterative coordination for parallel optimization (SICPO), to improve coordination among the partial solutions and reduce synchronization between the partitioned regions. The traffic scenario is simulated to obtain the interactions, which is used to spatially decompose the scenario into regions and identify interdependencies between the regions. Based on the regions, the problem is divided into subproblems which are optimized separately. To coordinate between the subproblems, the interactions between partial solutions are synchronized in two ways. First, multiple iterations of the optimization process can be executed to coordinate the partial solutions at the end of each optimization process. Second, the partial solutions can also be coordinated among the regions by synchronizing the trips across the regions. To reduce computational complexity, parallelism can be applied on two levels: each region is optimized concurrently, and each solution for a region is evaluated in parallel. We demonstrate our method on a real-world road network of Singapore, where SICPO converges to an average travel time 21.6% faster than global optimization at 62.8× shorter wall-clock time.
由于搜索空间大,计算复杂度高,将基于仿真的优化应用于城市规模的交通信号优化是具有挑战性的。采用分而治之的方法可以对问题进行划分和单独优化,从而加快收敛速度。然而,局部解决方案之间缺乏协调可能会产生质量较差的全球解决方案。本文提出了一种新的基于仿真的交通信号控制优化方法——空间迭代协调并行优化(SICPO),以提高部分解之间的协调性,减少分区区域之间的同步性。通过对交通场景进行仿真,得到交通场景之间的交互关系,并利用交互关系将交通场景在空间上分解为区域,识别区域之间的相互依赖关系。基于区域,将问题划分为子问题,每个子问题分别进行优化。为了在子问题之间进行协调,部分解之间的交互以两种方式同步。首先,可以执行优化过程的多次迭代,以协调每个优化过程结束时的部分解。其次,局部解决方案也可以通过同步跨区域的行程在区域之间进行协调。为了降低计算复杂度,可以在两个层次上应用并行性:每个区域并行优化,每个区域的每个解决方案并行评估。我们在新加坡的现实道路网络中展示了我们的方法,SICPO的平均旅行时间比全球优化快21.6%,缩短了62.8倍的时钟时间。
{"title":"Spatial iterative coordination for parallel simulation-based optimization of large-scale traffic signal control","authors":"Wen Jun Tan, Philipp Andelfinger, Wentong Cai, D. Eckhoff, Alois Knoll","doi":"10.1177/00375497231159944","DOIUrl":"https://doi.org/10.1177/00375497231159944","url":null,"abstract":"Applying simulation-based optimization to city-scale traffic signal optimization can be challenging due to the large search space resulting in high computational complexity. A divide-and-conquer approach can be used to partition the problem and optimized separately, which leads to faster convergence. However, the lack of coordination among the partial solutions may yield a poor-quality global solution. In this paper, we propose a new method for simulation-based optimization of traffic signal control, called spatially iterative coordination for parallel optimization (SICPO), to improve coordination among the partial solutions and reduce synchronization between the partitioned regions. The traffic scenario is simulated to obtain the interactions, which is used to spatially decompose the scenario into regions and identify interdependencies between the regions. Based on the regions, the problem is divided into subproblems which are optimized separately. To coordinate between the subproblems, the interactions between partial solutions are synchronized in two ways. First, multiple iterations of the optimization process can be executed to coordinate the partial solutions at the end of each optimization process. Second, the partial solutions can also be coordinated among the regions by synchronizing the trips across the regions. To reduce computational complexity, parallelism can be applied on two levels: each region is optimized concurrently, and each solution for a region is evaluated in parallel. We demonstrate our method on a real-world road network of Singapore, where SICPO converges to an average travel time 21.6% faster than global optimization at 62.8× shorter wall-clock time.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"1 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2023-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82085447","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
Discrete event simulation of vessel stationkeeping operations in ice-rich waters 富冰水域船舶停泊作业的离散事件模拟
IF 1.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-03-14 DOI: 10.1177/00375497221151188
Wayne Pearson, Mohammed Islam, M. Lau, R. Gash, Jason Mills
This paper describes a high-fidelity numerical model that simulates vessel stationkeeping operations in ice-rich waters. The discrete event simulation engine incorporates several novel features, including new ice floe failure models for bow and midships locations; an ice floe creation strategy that facilitates rafting of ice floes; and a vessel thruster model that takes into account physical limitations such as thruster angle slew rates and propeller ramp rates. It accommodates a wide range of ice field specifications and runs in real-time on a standard desktop personal computer (Intel® Core™ i7 Processor or equivalent). The model has been validated using physical measurements of a generic drillship model in several broken ice conditions; it predicted thruster forces and motions that were comparable to those observed during dynamic positioning operations.
本文描述了一个高保真的数值模型,用于模拟船舶在富冰水域的停泊作业。离散事件模拟引擎包含了几个新功能,包括新的船头和船中部浮冰破坏模型;促进浮冰漂流的浮冰形成策略;考虑到物理限制的船舶推进器模型,如推进器角回转率和螺旋桨倾斜率。它适用于各种冰场规格,并在标准台式个人计算机(英特尔®酷睿™i7处理器或同等产品)上实时运行。该模型已在几种破冰条件下使用通用钻井船模型的物理测量进行了验证;它预测了推进器的力量和运动,与在动态定位操作中观察到的情况相当。
{"title":"Discrete event simulation of vessel stationkeeping operations in ice-rich waters","authors":"Wayne Pearson, Mohammed Islam, M. Lau, R. Gash, Jason Mills","doi":"10.1177/00375497221151188","DOIUrl":"https://doi.org/10.1177/00375497221151188","url":null,"abstract":"This paper describes a high-fidelity numerical model that simulates vessel stationkeeping operations in ice-rich waters. The discrete event simulation engine incorporates several novel features, including new ice floe failure models for bow and midships locations; an ice floe creation strategy that facilitates rafting of ice floes; and a vessel thruster model that takes into account physical limitations such as thruster angle slew rates and propeller ramp rates. It accommodates a wide range of ice field specifications and runs in real-time on a standard desktop personal computer (Intel® Core™ i7 Processor or equivalent). The model has been validated using physical measurements of a generic drillship model in several broken ice conditions; it predicted thruster forces and motions that were comparable to those observed during dynamic positioning operations.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"66 1","pages":"729 - 753"},"PeriodicalIF":1.6,"publicationDate":"2023-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78681213","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
Network performance estimator with applications to route selection for IoT multimedia applications 网络性能估计与应用程序的路由选择的物联网多媒体应用程序
4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2023-02-24 DOI: 10.1177/00375497231156618
Fabiano Bhering, Diego Passos, Katia Obraczka, Célio Albuquerque
Estimating the performance of multimedia (MM) traffic is important in numerous contexts, including routing and forwarding, quality of service (QoS) provisioning, and adaptive video streaming. This paper proposes a network performance estimator which aims at providing, in quasi real-time, network performance estimates for IoT MM traffic in IEEE 802.11 multihop wireless networks. To our knowledge, the proposed MM-aware performance estimator, or MAPE, is the first deterministic simulation-based estimator that provides real-time per-flow throughput, packet loss, and delay estimates while considering inter-flow interference and multirate flows, typical of MM traffic. Our experimental results indicate that MAPE is able to provide network performance estimates that can be used by IoT MM services, notably to inform real-time route selection in IoT video transmission, at a fraction of the execution time when compared to stochastic network simulators. When compared to existing deterministic simulators, MAPE yields higher accuracy at comparable execution times due to its ability to consider multirate flows.
估计多媒体(MM)流量的性能在很多情况下都很重要,包括路由和转发、服务质量(QoS)供应和自适应视频流。本文提出了一种网络性能估计器,旨在为IEEE 802.11多跳无线网络中的物联网MM流量提供准实时的网络性能估计。据我们所知,提出的MM感知性能估计器(MAPE)是第一个基于确定性模拟的估计器,它在考虑流间干扰和多速率流(典型的MM流量)的情况下,提供实时的每流吞吐量、数据包丢失和延迟估计。我们的实验结果表明,与随机网络模拟器相比,MAPE能够提供物联网MM服务可以使用的网络性能估计,特别是为物联网视频传输中的实时路由选择提供信息,其执行时间只占执行时间的一小部分。与现有的确定性模拟器相比,由于能够考虑多速率流,MAPE在相当的执行时间内产生更高的准确性。
{"title":"Network performance estimator with applications to route selection for IoT multimedia applications","authors":"Fabiano Bhering, Diego Passos, Katia Obraczka, Célio Albuquerque","doi":"10.1177/00375497231156618","DOIUrl":"https://doi.org/10.1177/00375497231156618","url":null,"abstract":"Estimating the performance of multimedia (MM) traffic is important in numerous contexts, including routing and forwarding, quality of service (QoS) provisioning, and adaptive video streaming. This paper proposes a network performance estimator which aims at providing, in quasi real-time, network performance estimates for IoT MM traffic in IEEE 802.11 multihop wireless networks. To our knowledge, the proposed MM-aware performance estimator, or MAPE, is the first deterministic simulation-based estimator that provides real-time per-flow throughput, packet loss, and delay estimates while considering inter-flow interference and multirate flows, typical of MM traffic. Our experimental results indicate that MAPE is able to provide network performance estimates that can be used by IoT MM services, notably to inform real-time route selection in IoT video transmission, at a fraction of the execution time when compared to stochastic network simulators. When compared to existing deterministic simulators, MAPE yields higher accuracy at comparable execution times due to its ability to consider multirate flows.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"498 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136146769","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
期刊
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