ACM Transactions on Modeling and Computer Simulation最新文献

Reproducibility Report for the Paper "Performance Evaluation of Spintronic-Based Spiking Neural Networks Using Parallel Discrete-Event Simulation" 论文 "利用并行离散事件模拟对基于自旋电子的尖峰神经网络进行性能评估 "的再现性报告

IF 0.7 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-07-24 DOI: 10.1145/3680283

Andreas Ruscheinski

引用次数: 0

Modeling of biogas production from hydrothermal carbonization products in a continuous anaerobic digester. 连续厌氧消化器中热液碳化产物产生沼气的模型。

IF 0.7 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-07-23 DOI: 10.1145/3680281

Benaissa Dekhici, B. Benyahia, B. Cherki, Luca Fiori, G. Andreottola

引用次数: 0

Data Farming the Parameters of Simulation-Optimization Solvers 仿真优化求解器参数的数据养殖

IF 0.7 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-07-23 DOI: 10.1145/3680282

Sara Shashaani, David Eckman, Susan Sanchez

{"title":"Data Farming the Parameters of Simulation-Optimization Solvers","authors":"Sara Shashaani, David Eckman, Susan Sanchez","doi":"10.1145/3680282","DOIUrl":"https://doi.org/10.1145/3680282","url":null,"abstract":"The performance of a simulation-optimization algorithm, a.k.a. a solver, depends on its parameter settings. Much of the research to date has focused on how a solver’s parameters affect its convergence and other asymptotic behavior. While these results are important for providing a theoretical understanding of a solver, they can be of limited utility to a user who must set up and run the solver on a particular problem. When running a solver in practice, good finite-time performance is paramount. In this paper, we explore the relationship between a solver’s parameter settings and its finite-time performance by adopting a data farming approach. The approach involves conducting and analyzing the outputs of a designed experiment wherein the factors are the solver’s parameters and the responses are assorted performance metrics measuring the solver’s speed and solution quality over time. We demonstrate this approach with a study of the ASTRO-DF solver when solving a stochastic activity network problem and an inventory control problem. Through these examples, we show that how some of the solver’s parameters are set greatly affects its ability to achieve rapid, reliable progress and gain insights into the solver’s inner workings. We discuss the implications of using this framework for tuning solver parameters, as well as for addressing related questions of interest to solver specialists and generalists.","PeriodicalId":50943,"journal":{"name":"ACM Transactions on Modeling and Computer Simulation","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141811668","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

Optimized Real-Time Stochastic Model of Power Electronic Converters based on FPGA 基于 FPGA 的电力电子变流器优化实时随机模型

IF 0.7 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-07-17 DOI: 10.1145/3678174

Shinan Wang, Xizheng Guo, Zonghui Sun, Yule Wang, Xiaojie You

{"title":"Optimized Real-Time Stochastic Model of Power Electronic Converters based on FPGA","authors":"Shinan Wang, Xizheng Guo, Zonghui Sun, Yule Wang, Xiaojie You","doi":"10.1145/3678174","DOIUrl":"https://doi.org/10.1145/3678174","url":null,"abstract":"Stochastic models can effectively describe the operating characteristics of power electronic converters with stochastic parameters. However, it is difficult to implement the models in FPGA-based real-time simulation (RTS) because their high order leads to a large calculation. This paper proposes an optimized real-time stochastic modeling method for power electronic converters based on generalized polynomial chaos (gPC). Firstly, an orthogonal polynomials construction method is used based on Schmidt orthogonalization to describe stochastic variables with atypical probability distributions and provide conditions for simplifying the system model. Secondly, the method of probability space transformation is adopted to divide the system model into multiple sub-models to suppress the exponential growth of the model order while maintaining the statistical properties. This method has performed over the traditional stochastic modeling method. The proposed model is built on FPGA-based hardware-in-the-loop (HIL) experiment platform with 1us simulation step. The optimized model uses approximately 37% fewer resources than the traditional stochastic model while maintaining the same level of accuracy.","PeriodicalId":50943,"journal":{"name":"ACM Transactions on Modeling and Computer Simulation","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141830756","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

Virtual Time III, Part 3: Throttling and Message Cancellation 虚拟时间 III，第 3 部分：节流和信息取消

IF 0.7 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-07-17 DOI: 10.1145/3678173

David R. Jefferson, Peter D. Barnes

{"title":"Virtual Time III, Part 3: Throttling and Message Cancellation","authors":"David R. Jefferson, Peter D. Barnes","doi":"10.1145/3678173","DOIUrl":"https://doi.org/10.1145/3678173","url":null,"abstract":"\u0000 This is\u0000 Part 3\u0000 of a trio of papers that unify in a natural way the two historically distinct parallel discrete event synchronization paradigms, optimistic and conservative, combining the best properties of both into a single framework called\u0000 Unified Virtual Time (UVT)\u0000 . In this part we survey the synchronization effects that can be achieved by restricting to corner cases the relationships permitted among the control variables,\u0000 GVT\u0000 ,\u0000 CVT\u0000 ,\u0000 TVT\u0000 , and\u0000 LVT\u0000 , which were defined in\u0000 Part 1\u0000 . We also survey various throttling policies from the literature and describe how they can be implemented in UVT by controlling the value of\u0000 TVT\u0000 , including policies that can take advantage of rollback in addition to LP blocking. A significant result is a new category of efficient and higher precision throttling algorithms for optimistic execution that are based on\u0000 optimistic lookahead\u0000 , defined in a way that is symmetric to what we now call the\u0000 conservative lookahead\u0000 information that is traditionally used for conservative synchronization. Finally, we present a novel algorithm allowing the choice between lazy and aggressive cancellation to be made on a message-by-message basis using either external logic expressed in the model code, or policy code internal to the simulator, or a mixture of both.\u0000","PeriodicalId":50943,"journal":{"name":"ACM Transactions on Modeling and Computer Simulation","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141831414","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

Introduction to the Special Issue on QEST 2022, Part 1 关于 QEST 2022 特刊的介绍，第 1 部分

IF 0.7 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-07-10 DOI: 10.1145/3671146

Erika Ábrahám, Marco Paolieri

引用次数: 0

Reproducibility Report for the Paper: 论文再现性报告：

IF 0.9 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-06-21 DOI: 10.1145/3674144

Wen Jun Tan

引用次数: 0

A Toolset for Predicting Performance of Legacy Real-Time Software Based on the RAST Approach 基于 RAST 方法的传统实时软件性能预测工具集

IF 0.9 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-06-20 DOI: 10.1145/3673897

Juri Tomak, Sergei Gorlatch

{"title":"A Toolset for Predicting Performance of Legacy Real-Time Software Based on the RAST Approach","authors":"Juri Tomak, Sergei Gorlatch","doi":"10.1145/3673897","DOIUrl":"https://doi.org/10.1145/3673897","url":null,"abstract":"Simulating and predicting the performance of a distributed software system that works under stringent real-time constraints poses significant challenges, particularly when dealing with legacy systems being in production use, where any disruption is intolerable. This challenge is exacerbated in the context of a System Under Evaluation (SUE) that operates within a resource-sharing environment, running concurrently with numerous other software components. In this paper, we introduce an innovative toolset designed for predicting the performance of such complex and time-critical software systems. Our toolset builds upon the RAST (<underline>R</underline>egression <underline>A</underline>nalysis, <underline>S</underline>imulation, and load <underline>T</underline>esting) approach, significantly enhanced in this paper compared to its initial version. While current state-of-the-art methods for performance prediction often rely on data collected by Application Performance Monitoring (APM), the unavailability of APM tools for existing systems and the complexities associated with integrating them into legacy software necessitate alternative approaches. Our toolset, therefore, utilizes readily accessible system request logs as a substitute for APM data. We describe the enhancements made to the original RAST approach, we outline the design and implementation of our RAST-based toolset, and we showcase its simulation accuracy and effectiveness using the publicly available TeaStore benchmarking system. To ensure the reproducibility of our experiments, we provide open access to our toolset’s implementation and the utilized TeaStore model.","PeriodicalId":50943,"journal":{"name":"ACM Transactions on Modeling and Computer Simulation","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507196","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

Adaptive Synchronization and Pacing Control for Visual Interactive Simulation 视觉交互仿真的自适应同步和步调控制

IF 0.9 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-06-19 DOI: 10.1145/3673898

Zhuoxiao Meng, Mingyue Gao, Margherita Grossi, Anibal Siguenza-Torres, Stefano Bortoli, Christoph Sommer, Alois Knoll

{"title":"Adaptive Synchronization and Pacing Control for Visual Interactive Simulation","authors":"Zhuoxiao Meng, Mingyue Gao, Margherita Grossi, Anibal Siguenza-Torres, Stefano Bortoli, Christoph Sommer, Alois Knoll","doi":"10.1145/3673898","DOIUrl":"https://doi.org/10.1145/3673898","url":null,"abstract":"Parallel and distributed computing enable the execution of large and complex simulations. Yet, the usual separation of (headless) simulation execution and (subsequent, offline) output analysis often renders the simulation endeavor long and inefficient. Recently, Visual Interactive Simulation (VIS) tools and methods that address this end-to-end efficiency are gaining relevance, offering in-situ visualization, real-time debugging, and computational steering. Here, the typically distributed computing nature of the simulation execution poses synchronization challenges between the headless simulation engine and the user-facing frontend required for Visual Interactive Simulation. To the best of our knowledge, state-of-the-art synchronization approaches fall short due to their rigidity and inability to adapt to real-time user-centric changes. This paper introduces a novel adaptive algorithm to dynamically adjust the simulation’s pacing through a buffer-based framework, informed by predictive workload analysis. Our extensive experimental evaluation across diverse synthetic scenarios illustrates our method’s effectiveness in enhancing runtime efficiency and synchronicity, significantly reducing end-to-end time while minimizing user interaction delays, thereby addressing key limitations of existing synchronization strategies.","PeriodicalId":50943,"journal":{"name":"ACM Transactions on Modeling and Computer Simulation","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507198","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

Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation 情境、组合、自动化和通信--建模与仿真的 C2AC 路线图

IF 0.9 4区计算机科学

ACM Transactions on Modeling and Computer Simulation Pub Date : 2024-06-19 DOI: 10.1145/3673226

Adelinde M Uhrmacher, Peter Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, Laura Nenzi, Cristina Ruiz-Martin, Bernhard Rumpe, Claudia Szabo, Gabriel Wainer, Pia Wilsdorf

{"title":"Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation","authors":"Adelinde M Uhrmacher, Peter Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, Laura Nenzi, Cristina Ruiz-Martin, Bernhard Rumpe, Claudia Szabo, Gabriel Wainer, Pia Wilsdorf","doi":"10.1145/3673226","DOIUrl":"https://doi.org/10.1145/3673226","url":null,"abstract":"Simulation has become, in many application areas, a sine-qua-non. Most recently, COVID-19 has underlined the importance of simulation studies and limitations in current practices and methods. We identify four goals of methodological work for addressing these limitations. The first is to provide better support for capturing, representing, and evaluating the context of simulation studies, including research questions, assumptions, requirements, and activities contributing to a simulation study. In addition, the composition of simulation models and other simulation studies’ products must be supported beyond syntactical coherence, including aspects of semantics and purpose, enabling their effective reuse. A higher degree of automating simulation studies will contribute to more systematic, standardized simulation studies and their efficiency. Finally, it is essential to invest increased effort into effectively communicating results and the processes involved in simulation studies to enable their use in research and decision-making. These goals are not pursued independently of each other, but they will benefit from and sometimes even rely on advances in other subfields. In the present paper, we explore the basis and interdependencies evident in current research and practice and delineate future research directions based on these considerations.","PeriodicalId":50943,"journal":{"name":"ACM Transactions on Modeling and Computer Simulation","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2024-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507197","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