发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
Comparative Analysis of Elliptic Curve and Lattice Based Cryptography 椭圆曲线与点阵密码的比较分析
2021 Annual Modeling and Simulation Conference (ANNSIM) Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552144
A. Davenport, S. Shetty
{"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 基于离散事件仿真的物联网系统驱动冲突管理验证新方法
2021 Annual Modeling and Simulation Conference (ANNSIM) Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552098
L. Capocchi, J. Santucci, J. Tigli, Thibault Gonnin, S. Lavirotte, Gérald Rocher
{"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的仿真模型的经验教训
2021 Annual Modeling and Simulation Conference (ANNSIM) Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552071
K. Zia, P. Giabbanelli, Muhammad Shafi, A. Ferscha
{"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 我们是在模仿证据还是我们自己的偏见?从报告中创建概念模型的比较
2021 Annual Modeling and Simulation Conference (ANNSIM) Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552054
A. Freund, P. Giabbanelli
{"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 电力电子电路仿真方法的实例研究
2021 Annual Modeling and Simulation Conference (ANNSIM) Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552085
J. Nutaro, S. Debnath, K. Perumalla
{"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打印在腰椎穿刺和硬膜外模拟器开发中的应用
2021 Annual Modeling and Simulation Conference (ANNSIM) 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
{"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网框架教程介绍
2021 Annual Modeling and Simulation Conference (ANNSIM) Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552063
V. Gehlot
{"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 网络安全影响分析的建模和仿真方法:最新进展
2021 Annual Modeling and Simulation Conference (ANNSIM) Pub Date : 2021-07-19 DOI: 10.23919/ANNSIM52504.2021.9552043
Alvi Jawad, Jason Jaskolka
{"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复制机制建模
2021 Annual Modeling and Simulation Conference (ANNSIM) 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
{"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工具包干预措施，以改善佐治亚州各县的水果和蔬菜消费:基于代理的模型
2021 Annual Modeling and Simulation Conference (ANNSIM) 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
{"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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信