首页 > 最新文献

2021 Annual Modeling and Simulation Conference (ANNSIM)最新文献

英文 中文
Comparative Analysis of Elliptic Curve and Lattice Based Cryptography 椭圆曲线与点阵密码的比较分析
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552144
A. Davenport, S. Shetty
In this paper, we provide a mathematical background and analysis of Lattice Based Cryptography for the less mathematically mature reader. Discussing the benefits and constraints of Lattice Based Crypto, we compare and contrast with Elliptic Curve Cryptography to provide an understanding of what the limitations of Lattice Based Cryptography are, and what needs to be achieved for the quantum resistant protocols to be deploy-able to any and all devices.
在本文中,我们为数学上不太成熟的读者提供了基于点阵密码学的数学背景和分析。讨论了基于点阵加密的优点和限制,我们与椭圆曲线加密进行了比较和对比,以了解基于点阵加密的局限性是什么,以及量子抵抗协议需要实现什么才能部署到任何和所有设备。
{"title":"Comparative Analysis of Elliptic Curve and Lattice Based Cryptography","authors":"A. Davenport, S. Shetty","doi":"10.23919/ANNSIM52504.2021.9552144","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552144","url":null,"abstract":"In this paper, we provide a mathematical background and analysis of Lattice Based Cryptography for the less mathematically mature reader. Discussing the benefits and constraints of Lattice Based Crypto, we compare and contrast with Elliptic Curve Cryptography to provide an understanding of what the limitations of Lattice Based Cryptography are, and what needs to be achieved for the quantum resistant protocols to be deploy-able to any and all devices.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"37 1","pages":"1-9"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89146058","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A New Discrete-Event Simulation Based Approach for Validating Actuation Conflict Management in IoT Systems 基于离散事件仿真的物联网系统驱动冲突管理验证新方法
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552098
L. Capocchi, J. Santucci, J. Tigli, Thibault Gonnin, S. Lavirotte, Gérald Rocher
In the field of conflict management of IoT systems, formal verification of the actuation conflict Management (ACM) has an important place to verify the ACM logical properties by considering the events and possible actions on the actuators. In this paper a new discrete event simulation of Internet of Things systems approach is introduced during the Design Phase to: (i) generate test patterns that highlights potential conflicts and (ii) validate the ACM specifications designed to solve the conflicts embedded in the physical environment using the previous test patterns. The DEVS (Discrete EVent system Specification) formalism is used to formally propose a modeling of the IoT system and its physical environment, the definition of an ACM DEVS simulation model allowing conflicts detection and resolution. A use-case example is proposed to illustrate this new approach.
在物联网系统冲突管理领域,通过考虑致动器上的事件和可能的动作,对致动器冲突管理(ACM)进行形式化验证,对ACM的逻辑属性进行验证具有重要的地位。在本文中,在设计阶段引入了一种新的物联网系统离散事件模拟方法,以:(i)生成突出潜在冲突的测试模式,(ii)验证ACM规范,该规范旨在使用先前的测试模式解决物理环境中嵌入的冲突。DEVS(离散事件系统规范)形式主义用于正式提出物联网系统及其物理环境的建模,定义ACM DEVS仿真模型,允许冲突检测和解决。提出了一个用例示例来说明这种新方法。
{"title":"A New Discrete-Event Simulation Based Approach for Validating Actuation Conflict Management in IoT Systems","authors":"L. Capocchi, J. Santucci, J. Tigli, Thibault Gonnin, S. Lavirotte, Gérald Rocher","doi":"10.23919/ANNSIM52504.2021.9552098","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552098","url":null,"abstract":"In the field of conflict management of IoT systems, formal verification of the actuation conflict Management (ACM) has an important place to verify the ACM logical properties by considering the events and possible actions on the actuators. In this paper a new discrete event simulation of Internet of Things systems approach is introduced during the Design Phase to: (i) generate test patterns that highlights potential conflicts and (ii) validate the ACM specifications designed to solve the conflicts embedded in the physical environment using the previous test patterns. The DEVS (Discrete EVent system Specification) formalism is used to formally propose a modeling of the IoT system and its physical environment, the definition of an ACM DEVS simulation model allowing conflicts detection and resolution. A use-case example is proposed to illustrate this new approach.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"46 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80075505","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Why Honor Culture? Lessons Learned from an Agent-Based Simulation Model 为什么尊重文化?基于agent的仿真模型的经验教训
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552071
K. Zia, P. Giabbanelli, Muhammad Shafi, A. Ferscha
“Honor culture” is a societal norm that persuades people to fight for their honor. Contributing factors to the persistence of honor culture include institutional weakness, and environmental challenges in terms of resources. In this paper, an agent-based model of honor culture is reexamined and extended. The main purpose of the extension is to study the spatial and temporal dynamics of honor culture in a society of different types of agents. The simulation results revealed that the number of agents with honor culture increase substantially with an increase in the institutional effectiveness, and marginally with an increase in environmental toughness. Our model extension revealed that time to reach an equilibrium (no change) of an agent type decreases with an increase in effectiveness and toughness. Finally, both the strength of agents and population segregation increase with the increase in effectiveness and toughness. These results have implications for understanding social norms which are often misinterpreted, particularly in the context of misleading generalization about environmental challenges leading to vulnerability of people.
“荣誉文化”是一种劝导人们为荣誉而战的社会规范。荣誉文化持续存在的原因包括制度上的薄弱和资源方面的环境挑战。本文重新审视并扩展了基于主体的荣誉文化模型。扩展的主要目的是研究在不同类型主体的社会中,荣誉文化的时空动态。仿真结果表明,具有荣誉文化的代理数量随着制度有效性的增加而大幅增加,而随着环境韧性的增加而小幅增加。我们的模型扩展表明,随着有效性和韧性的增加,达到一种代理类型的平衡(无变化)的时间减少。最后,随着效力和韧性的增加,药剂强度和种群分离度均增加。这些结果对理解经常被误解的社会规范具有启示意义,特别是在对导致人们脆弱性的环境挑战进行误导性概括的背景下。
{"title":"Why Honor Culture? Lessons Learned from an Agent-Based Simulation Model","authors":"K. Zia, P. Giabbanelli, Muhammad Shafi, A. Ferscha","doi":"10.23919/ANNSIM52504.2021.9552071","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552071","url":null,"abstract":"“Honor culture” is a societal norm that persuades people to fight for their honor. Contributing factors to the persistence of honor culture include institutional weakness, and environmental challenges in terms of resources. In this paper, an agent-based model of honor culture is reexamined and extended. The main purpose of the extension is to study the spatial and temporal dynamics of honor culture in a society of different types of agents. The simulation results revealed that the number of agents with honor culture increase substantially with an increase in the institutional effectiveness, and marginally with an increase in environmental toughness. Our model extension revealed that time to reach an equilibrium (no change) of an agent type decreases with an increase in effectiveness and toughness. Finally, both the strength of agents and population segregation increase with the increase in effectiveness and toughness. These results have implications for understanding social norms which are often misinterpreted, particularly in the context of misleading generalization about environmental challenges leading to vulnerability of people.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"1 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77270096","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Are We Modeling the Evidence or Our Own Biases? A Comparison of Conceptual Models Created from Reports 我们是在模仿证据还是我们自己的偏见?从报告中创建概念模型的比较
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552054
A. Freund, P. Giabbanelli
Conceptual modeling requires expertise in the application area and in modeling. Many research groups fulfill this requirement by analyzing qualitative data produced by subject matter experts and constructing their own representations of this evidence base as conceptual models. The final models are often portrayed as objective and directly based on the evidence, suggesting that modelers are merely vessels through which qualitative data becomes structured as a model. In this paper, we measure for the first time the extent to which a final model is shaped by the modeler's own interpretation. To analyze differences among modelers, we (i) compare the conceptual models produced individually in terms of structure and semantics and (ii) track knowledge provenance by automatically comparing which parts of the evidence base were utilized. Results demonstrate that modelers may interpret the evidence base differently, which stresses the need to disclose how modelers translate evidence before engaging in knowledge aggregation.
概念建模需要应用领域和建模方面的专业知识。许多研究小组通过分析主题专家产生的定性数据,并将这些证据基础作为概念模型构建自己的表示,来满足这一要求。最终的模型通常被描绘成客观的,直接基于证据,这表明建模者仅仅是一个容器,通过它,定性数据被结构化为一个模型。在本文中,我们首次测量了建模者自己的解释在多大程度上塑造了最终模型。为了分析建模者之间的差异,我们(i)在结构和语义方面比较单独产生的概念模型,(ii)通过自动比较哪些部分的证据库被利用来跟踪知识来源。结果表明,建模者可能会对证据库进行不同的解释,这就强调了在进行知识聚合之前,需要披露建模者如何翻译证据。
{"title":"Are We Modeling the Evidence or Our Own Biases? A Comparison of Conceptual Models Created from Reports","authors":"A. Freund, P. Giabbanelli","doi":"10.23919/ANNSIM52504.2021.9552054","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552054","url":null,"abstract":"Conceptual modeling requires expertise in the application area and in modeling. Many research groups fulfill this requirement by analyzing qualitative data produced by subject matter experts and constructing their own representations of this evidence base as conceptual models. The final models are often portrayed as objective and directly based on the evidence, suggesting that modelers are merely vessels through which qualitative data becomes structured as a model. In this paper, we measure for the first time the extent to which a final model is shaped by the modeler's own interpretation. To analyze differences among modelers, we (i) compare the conceptual models produced individually in terms of structure and semantics and (ii) track knowledge provenance by automatically comparing which parts of the evidence base were utilized. Results demonstrate that modelers may interpret the evidence base differently, which stresses the need to disclose how modelers translate evidence before engaging in knowledge aggregation.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"23 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81790141","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A Case Study in Simulation Methods for Power Electronic Circuits 电力电子电路仿真方法的实例研究
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552085
J. Nutaro, S. Debnath, K. Perumalla
Motivated by the challenge of capturing the new discrete dynamics that fundamentally characterize modern grid technologies, we revisit the problem of simulating power electronic circuits. A simplified circuit is used as a case study to uncover and highlight key considerations in the use of traditional numerical simulation methods and compare them with those obtained from alternative methods that are discrete event-based from the outset. Results show the regimes where the traditional numerical methods and the alternative discrete event methods are applicable, and the need for discrete event approaches that precisely and efficiently resolve switching dynamics produced by power electronics systems that are important in emerging grid scenarios, such as large scale renewable energy.
由于捕捉现代电网技术基本特征的新离散动力学的挑战,我们重新审视了模拟电力电子电路的问题。一个简化电路被用作一个案例研究,以揭示和突出使用传统数值模拟方法的关键考虑因素,并将它们与从一开始就基于离散事件的替代方法获得的结果进行比较。结果表明,传统数值方法和可选离散事件方法适用的情况,以及需要精确有效地解决电力电子系统产生的开关动力学的离散事件方法,这些方法在新兴电网场景(如大规模可再生能源)中很重要。
{"title":"A Case Study in Simulation Methods for Power Electronic Circuits","authors":"J. Nutaro, S. Debnath, K. Perumalla","doi":"10.23919/ANNSIM52504.2021.9552085","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552085","url":null,"abstract":"Motivated by the challenge of capturing the new discrete dynamics that fundamentally characterize modern grid technologies, we revisit the problem of simulating power electronic circuits. A simplified circuit is used as a case study to uncover and highlight key considerations in the use of traditional numerical simulation methods and compare them with those obtained from alternative methods that are discrete event-based from the outset. Results show the regimes where the traditional numerical methods and the alternative discrete event methods are applicable, and the need for discrete event approaches that precisely and efficiently resolve switching dynamics produced by power electronics systems that are important in emerging grid scenarios, such as large scale renewable energy.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"18 1","pages":"1-10"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80471716","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Application of 3D Printing in the Development of Lumbar Puncture and Epidural Simulators 3D打印在腰椎穿刺和硬膜外模拟器开发中的应用
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552112
L. Lioce, Kimberly Budisalich, Cooper Gunter, Marquis Myler, Gary Maddux, Bernard Schroer, D. Moeller
This paper presents the development of 3D printed models of a lumbar puncture simulator and an epidural puncture simulator. For the lumbar puncture simulator two “pops” or losses of resistance were simulated when the needle penetrates 1) the ligamentum flavum ligament through the epidural space and 2) the dura mater which is a membrane of the thecal. A plastic tube inserted inside a silicone rubber tube gave the most realistic and second “pop.” The lumbar puncture simulator also included a partial plastic tube (with a foam insert) and a partial rubber tube that surrounded the plastic tube to simulate the first “pop.” For the epidural puncture simulator the needle does not enter as far as the lumbar puncture and only goes through the ligamentum flavum and then enters the epidural space. The simulators are being integrated into the Simulation Based Learning Experiences (SBLEs) in the College of Nursing.
本文介绍了腰椎穿刺模拟器和硬膜外穿刺模拟器的3D打印模型的开发。对于腰椎穿刺模拟器,当针穿过硬膜外间隙的黄韧带和硬脑膜(硬脊膜的膜)时,模拟两次“爆裂”或阻力损失。一根塑料管插入一根硅橡胶管,发出了最真实的第二次“砰”的一声。腰椎穿刺模拟器还包括一个部分塑料管(与泡沫插入)和部分橡胶管包围塑料管,以模拟第一次“砰”的一声。对于硬膜外穿刺模拟器针头不会进入腰椎穿刺只穿过黄韧带然后进入硬膜外腔。这些模拟器正在被整合到护理学院的基于模拟的学习经验(SBLEs)中。
{"title":"Application of 3D Printing in the Development of Lumbar Puncture and Epidural Simulators","authors":"L. Lioce, Kimberly Budisalich, Cooper Gunter, Marquis Myler, Gary Maddux, Bernard Schroer, D. Moeller","doi":"10.23919/ANNSIM52504.2021.9552112","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552112","url":null,"abstract":"This paper presents the development of 3D printed models of a lumbar puncture simulator and an epidural puncture simulator. For the lumbar puncture simulator two “pops” or losses of resistance were simulated when the needle penetrates 1) the ligamentum flavum ligament through the epidural space and 2) the dura mater which is a membrane of the thecal. A plastic tube inserted inside a silicone rubber tube gave the most realistic and second “pop.” The lumbar puncture simulator also included a partial plastic tube (with a foam insert) and a partial rubber tube that surrounded the plastic tube to simulate the first “pop.” For the epidural puncture simulator the needle does not enter as far as the lumbar puncture and only goes through the ligamentum flavum and then enters the epidural space. The simulators are being integrated into the Simulation Based Learning Experiences (SBLEs) in the College of Nursing.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"4 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90796217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Tutorial Introduction to Colored Petri Nets Framework for Model-Driven System Design and Engineering 模型驱动系统设计与工程的彩色Petri网框架教程介绍
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552063
V. Gehlot
Colored Petri Nets (CPNs) extend the vocabulary of ordinary Petri Nets and add features that make them suitable for modeling large systems. CPNs combine the strengths of ordinary Petri Nets with the strengths of a high-level programming language. Petri Nets provide the primitives for process interaction, while the programming language provides the primitives for the definition of data types and the manipulations of data values. CPNs and the associated integrated development environment, CPN Tools, have been designed and developed with practical applications and ease of use in mind. This paper introduces the audience to the basic concepts of CPNs as well as CPN Tools. We illustrate the key ideas, underlying concepts, software tools, and modeling techniques, by means of numerous real-life examples that emphasize practical applications of CPNs and CPN Tools. Readers need no prior familiarity with Petri nets, system design and analysis, modeling, simulation, or any particular computer language. Our examples include the approach and use of CPN Tools for building and executing hierarchical CPN models, which is useful in the context of model-driven systems engineering for large systems. Our goal is to introduce these topics and encourage the reader to investigate the modeling approach and tools themselves.
彩色Petri网(cpn)扩展了普通Petri网的词汇表,并添加了适合大型系统建模的特征。cpn结合了普通Petri网的优势和高级编程语言的优势。Petri网为过程交互提供了原语,而编程语言为数据类型的定义和数据值的操作提供了原语。CPN和相关的集成开发环境,CPN工具,在设计和开发时考虑到实际应用和易用性。本文向读者介绍了CPN的基本概念以及CPN工具。我们通过强调CPN和CPN工具的实际应用的大量现实生活示例来说明关键思想、潜在概念、软件工具和建模技术。读者不需要事先熟悉Petri网,系统设计和分析,建模,仿真,或任何特定的计算机语言。我们的示例包括用于构建和执行分层CPN模型的CPN工具的方法和使用,这在大型系统的模型驱动系统工程的上下文中很有用。我们的目标是介绍这些主题,并鼓励读者研究建模方法和工具本身。
{"title":"A Tutorial Introduction to Colored Petri Nets Framework for Model-Driven System Design and Engineering","authors":"V. Gehlot","doi":"10.23919/ANNSIM52504.2021.9552063","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552063","url":null,"abstract":"Colored Petri Nets (CPNs) extend the vocabulary of ordinary Petri Nets and add features that make them suitable for modeling large systems. CPNs combine the strengths of ordinary Petri Nets with the strengths of a high-level programming language. Petri Nets provide the primitives for process interaction, while the programming language provides the primitives for the definition of data types and the manipulations of data values. CPNs and the associated integrated development environment, CPN Tools, have been designed and developed with practical applications and ease of use in mind. This paper introduces the audience to the basic concepts of CPNs as well as CPN Tools. We illustrate the key ideas, underlying concepts, software tools, and modeling techniques, by means of numerous real-life examples that emphasize practical applications of CPNs and CPN Tools. Readers need no prior familiarity with Petri nets, system design and analysis, modeling, simulation, or any particular computer language. Our examples include the approach and use of CPN Tools for building and executing hierarchical CPN models, which is useful in the context of model-driven systems engineering for large systems. Our goal is to introduce these topics and encourage the reader to investigate the modeling approach and tools themselves.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"13 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73033401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art 网络安全影响分析的建模和仿真方法:最新进展
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552043
Alvi Jawad, Jason Jaskolka
Designing resilient critical infrastructures involves ensuring the secure operation of the underlying systems and their components. Due to the ever-increasing integration of cyber components to monitor and control physical processes in such systems, cyberattacks can not only compromise the cyberinfrastructure but can also disrupt, delay, or thwart the physical processes and operations. Thus, a comprehensive cybersecurity assessment framework mandates analyzing the potential impact that successful exploits may have on such systems. In this paper, we survey the existing literature to aggregate the diverse modeling and simulation-based approaches that have been used to define and/or characterize the impact of attacks on cyber-physical and industrial control systems. The resulting analysis provides insight into the varying definitions of impact and domains of application, providing recommendations to guide future impact analysis studies.
设计有弹性的关键基础设施需要确保底层系统及其组件的安全操作。由于越来越多的网络组件集成来监视和控制这些系统中的物理过程,网络攻击不仅可以破坏网络基础设施,还可以破坏、延迟或阻止物理过程和操作。因此,全面的网络安全评估框架要求分析成功攻击可能对此类系统造成的潜在影响。在本文中,我们调查了现有文献,汇总了各种建模和基于仿真的方法,这些方法已用于定义和/或表征攻击对网络物理和工业控制系统的影响。结果分析提供了对影响和应用领域的不同定义的见解,为指导未来的影响分析研究提供了建议。
{"title":"Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art","authors":"Alvi Jawad, Jason Jaskolka","doi":"10.23919/ANNSIM52504.2021.9552043","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552043","url":null,"abstract":"Designing resilient critical infrastructures involves ensuring the secure operation of the underlying systems and their components. Due to the ever-increasing integration of cyber components to monitor and control physical processes in such systems, cyberattacks can not only compromise the cyberinfrastructure but can also disrupt, delay, or thwart the physical processes and operations. Thus, a comprehensive cybersecurity assessment framework mandates analyzing the potential impact that successful exploits may have on such systems. In this paper, we survey the existing literature to aggregate the diverse modeling and simulation-based approaches that have been used to define and/or characterize the impact of attacks on cyber-physical and industrial control systems. The resulting analysis provides insight into the varying definitions of impact and domains of application, providing recommendations to guide future impact analysis studies.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"23 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75097010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Combining Devs and Semantic Technologies for Modeling the SARS-CoV-2 Replication Machinery 基于Devs和语义技术的SARS-CoV-2复制机制建模
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552040
A. Ayadi, C. Frydman, Wissame Laddada, L. Soualmia, C. Zanni-Merk, India L'Hote, E. Grellet, I. Imbert
The search for inhibitors of SARS-CoV-2 viral replication depends on an in-depth knowledge of the different stages of the viral cycle. The macro-molecular level focuses on the interactions between the virus and the infected cell, while the micro-molecular level focuses on the different biochemical reactions leading to the production of new viruses. Here, a hybrid approach for modeling the SARS-CoV-2 viral replication in the micro- and macro-molecular levels is presented. The proposed approach combines ontology engineering and DEVS modeling. Biological knowledge at the micro-level of the viral system is capitalized by ontological models, while the dynamic behavior of SARS-CoV-2 molecular mechanisms are modeled by DEVS models. The proposed DEVS approach uses ontological concepts and SWRL rules to compute the main functions and behaviour of the molecular components involved in the SARS-CoV-2 replication cycle. We illustrate the proposed approach through the simulation of the SARS-CoV-2 proteins production by cellular ribosomes.
寻找SARS-CoV-2病毒复制抑制剂取决于对病毒周期不同阶段的深入了解。大分子水平侧重于病毒与受感染细胞之间的相互作用,而微分子水平侧重于导致新病毒产生的不同生化反应。本文提出了一种在微观和大分子水平上模拟SARS-CoV-2病毒复制的混合方法。该方法将本体工程与DEVS建模相结合。病毒系统微观层面的生物学知识通过本体论模型得到充分利用,而SARS-CoV-2分子机制的动态行为通过DEVS模型得到模拟。提出的DEVS方法使用本体论概念和SWRL规则来计算SARS-CoV-2复制周期中涉及的分子成分的主要功能和行为。我们通过模拟细胞核糖体产生SARS-CoV-2蛋白来说明所提出的方法。
{"title":"Combining Devs and Semantic Technologies for Modeling the SARS-CoV-2 Replication Machinery","authors":"A. Ayadi, C. Frydman, Wissame Laddada, L. Soualmia, C. Zanni-Merk, India L'Hote, E. Grellet, I. Imbert","doi":"10.23919/ANNSIM52504.2021.9552040","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552040","url":null,"abstract":"The search for inhibitors of SARS-CoV-2 viral replication depends on an in-depth knowledge of the different stages of the viral cycle. The macro-molecular level focuses on the interactions between the virus and the infected cell, while the micro-molecular level focuses on the different biochemical reactions leading to the production of new viruses. Here, a hybrid approach for modeling the SARS-CoV-2 viral replication in the micro- and macro-molecular levels is presented. The proposed approach combines ontology engineering and DEVS modeling. Biological knowledge at the micro-level of the viral system is capitalized by ontological models, while the dynamic behavior of SARS-CoV-2 molecular mechanisms are modeled by DEVS models. The proposed DEVS approach uses ontological concepts and SWRL rules to compute the main functions and behaviour of the molecular components involved in the SARS-CoV-2 replication cycle. We illustrate the proposed approach through the simulation of the SARS-CoV-2 proteins production by cellular ribosomes.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"24 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80909345","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Scaling Up The SNAP-ED Toolkit Interventions to Improve Fruit and Vegetable Consumption Across Counties in Georgia: An Agent-Based Model 扩大SNAP-ED工具包干预措施,以改善佐治亚州各县的水果和蔬菜消费:基于代理的模型
Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552136
D. Zhang, Janani J. Thapa, Gang Li, Heejung Son, Zhuo Chen, Lan Mu, Yan Li, Junxiu Liu, J. Pagán, P. Giabbanelli
The Supplemental Nutrition Assistance Program (SNAP)-Ed Toolkit includes a set of interventions to increase the fruit and vegetable (FV) consumption of SNAP-eligible households on a limited budget. It is unclear how the interventions affect dietary choices in local populations. This study combines detailed local data with an agent-based model (ABM) to assess the potential cost-effectiveness of scaling up the SNAP-Ed Toolkit interventions in 13 selected metro-Atlanta counties in Georgia. The ABM drew insights from prior research on healthy eating choices and was empirically validated. The model predicted the actual FV consumption levels ($mathrm{R}^{2}=0.951, mathrm{P} < 0.001$). If the interventions could successfully enhance community healthy eating norms by 10% and 20%, they would significantly increase FV consumption. The cost per year to bring one person to consume at least two servings of FV daily) was $23 (95% confidence interval [CI]: $18 - $29), and $10 (95% CI: $9 - $12) in each scenario.
补充营养援助计划(SNAP)-Ed工具包包括一套干预措施,以在有限的预算下增加符合SNAP条件的家庭的水果和蔬菜消费。目前还不清楚这些干预措施如何影响当地人群的饮食选择。本研究将详细的当地数据与基于主体的模型(ABM)相结合,以评估在乔治亚州选定的13个亚特兰大大都会县扩大SNAP-Ed工具包干预措施的潜在成本效益。ABM从先前关于健康饮食选择的研究中获得了见解,并得到了经验验证。该模型预测了实际FV消费水平($ mathm {R}^{2}=0.951, mathm {P} < 0.001$)。如果这些干预措施能够成功地将社区健康饮食规范提高10%和20%,它们将显著增加FV消费。在每种情况下,每年让一个人每天至少食用两份FV的成本分别为23美元(95%置信区间[CI]: 18 - 29美元)和10美元(95%置信区间:9 - 12美元)。
{"title":"Scaling Up The SNAP-ED Toolkit Interventions to Improve Fruit and Vegetable Consumption Across Counties in Georgia: An Agent-Based Model","authors":"D. Zhang, Janani J. Thapa, Gang Li, Heejung Son, Zhuo Chen, Lan Mu, Yan Li, Junxiu Liu, J. Pagán, P. Giabbanelli","doi":"10.23919/ANNSIM52504.2021.9552136","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552136","url":null,"abstract":"The Supplemental Nutrition Assistance Program (SNAP)-Ed Toolkit includes a set of interventions to increase the fruit and vegetable (FV) consumption of SNAP-eligible households on a limited budget. It is unclear how the interventions affect dietary choices in local populations. This study combines detailed local data with an agent-based model (ABM) to assess the potential cost-effectiveness of scaling up the SNAP-Ed Toolkit interventions in 13 selected metro-Atlanta counties in Georgia. The ABM drew insights from prior research on healthy eating choices and was empirically validated. The model predicted the actual FV consumption levels ($mathrm{R}^{2}=0.951, mathrm{P} < 0.001$). If the interventions could successfully enhance community healthy eating norms by 10% and 20%, they would significantly increase FV consumption. The cost per year to bring one person to consume at least two servings of FV daily) was $23 (95% confidence interval [CI]: $18 - $29), and $10 (95% CI: $9 - $12) in each scenario.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"4 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81816023","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
2021 Annual Modeling and Simulation Conference (ANNSIM)
全部 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1