Simulation Modelling Practice and Theory最新文献

筛选
英文 中文
Peridynamics simulation method and application of hydro-mechanical coupling in fractured rock masses under dynamic disturbance 动态扰动下裂隙岩体水-力耦合动力学模拟方法及应用
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-07-17 DOI: 10.1016/j.simpat.2025.103187
Daosheng Zhang , Zongqing Zhou , Liping Li , Chenglu Gao , Minghao Li , Panpan Gai , Xiaochu Chen
{"title":"Peridynamics simulation method and application of hydro-mechanical coupling in fractured rock masses under dynamic disturbance","authors":"Daosheng Zhang ,&nbsp;Zongqing Zhou ,&nbsp;Liping Li ,&nbsp;Chenglu Gao ,&nbsp;Minghao Li ,&nbsp;Panpan Gai ,&nbsp;Xiaochu Chen","doi":"10.1016/j.simpat.2025.103187","DOIUrl":"10.1016/j.simpat.2025.103187","url":null,"abstract":"<div><div>The hydro-mechanical coupling failure mechanism of fractured rock masses under dynamic disturbance remains a significant challenge in the field of rock mechanics. To address this, a peridynamics-based simulation method is developed to scientifically characterise the water pressure variations within water-bearing fractures subjected to dynamic disturbance and the associated rock mass damage. First, a governing equation for fracture seepage in the peridynamics framework is proposed. Building on this, a three-dimensional hydro-mechanical coupled peridynamics model for fractured rock masses is established, based on the principle of effective stress. Next, the response characteristics of fracture water pressure under dynamic disturbance (e.g., blasting impact) are analysed, and a mathematical expression describing the relationship between fracture deformation and water pressure variation is formulated. A three-dimensional peridynamics simulation method is then constructed to capture the coupled stress–seepage behaviour of fractured rock masses under dynamic loading. The evolution of water pressure and the dynamic propagation mechanisms of water-bearing fractures are subsequently investigated. The accuracy of the proposed method is validated through a series of numerical examples. Finally, the method is utilised to assess the stability of the surrounding rock during subsea tunnel construction using the drilling–blasting method. The influence of dynamic disturbance on tunnel stability is revealed, offering valuable insights for the safe construction of subsea tunnels.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103187"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144711638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
JaGW: A hybrid meta-heuristic algorithm for IoT workflow placement in fog computing environment JaGW:用于雾计算环境下物联网工作流放置的混合元启发式算法
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-06-17 DOI: 10.1016/j.simpat.2025.103163
Hemant Kumar Apat , Bibhudatta Sahoo
{"title":"JaGW: A hybrid meta-heuristic algorithm for IoT workflow placement in fog computing environment","authors":"Hemant Kumar Apat ,&nbsp;Bibhudatta Sahoo","doi":"10.1016/j.simpat.2025.103163","DOIUrl":"10.1016/j.simpat.2025.103163","url":null,"abstract":"<div><div>In recent years, applications of the Internet of Things (IoT) have experienced rapid growth, driven by the widespread adoption of IoT devices in various sectors. However, these devices are typically resource-constrained in terms of computing power and storage capacity. As a result, they often offload the generated data and tasks to nearby edge devices or fog computing layers for further processing and execution. The fog computing layer is located in close vicinity of the IoT devices and comprises a set of heterogeneous fog computing nodes to supplement the capacities of resource-constrained IoT devices. The fog computing nodes often pose computational challenges for various computation-intensive tasks such as image processing application, comprises various machine learning and artificial intelligence enabled tasks. In such a scenario, finding the effective task placement for dynamic and heterogeneous applications is computationally hard. In this work, we formulate the IoT application workflow placement problem as a multi-objective optimization problem formulated as Integer Linear Programming (ILP) model with the objective of minimizing the makespan, cost of execution, and energy consumption. A hybrid metaheuristic approach is proposed that combines the strengths of the Jaya algorithm (JA) and Grey Wolf Optimization (GWO) named as JaGW to derive a sub-optimal solution. The proposed JaGW is compared with conventional GWO and other state of the art algorithms such as Ant Colony Optimization (ACO) and Particle Swarm Optimization (PSO) using the Montage scientific workflow dataset. The simulation results demonstrate that the proposed algorithm achieves an average reduction in energy consumption of 24.84% compared to JAYA, 14.67% compared to ACO, 14.65% compared to PSO, and 8.78% compared to GWO, thereby exemplifying its superior performance over other metaheuristic algorithms.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103163"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144314121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development of floor field cellular automaton model for pedestrian dynamics: Incorporating empirical acceleration mechanisms 行人动力学的层场元胞自动机模型的发展:结合经验加速机制
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-08-06 DOI: 10.1016/j.simpat.2025.103197
Xingwen Xiong , Lin Luo , Yujing Feng , Zhijian Fu , Jian Ma
{"title":"Development of floor field cellular automaton model for pedestrian dynamics: Incorporating empirical acceleration mechanisms","authors":"Xingwen Xiong ,&nbsp;Lin Luo ,&nbsp;Yujing Feng ,&nbsp;Zhijian Fu ,&nbsp;Jian Ma","doi":"10.1016/j.simpat.2025.103197","DOIUrl":"10.1016/j.simpat.2025.103197","url":null,"abstract":"<div><div>Pedestrian movement during emergency evacuations involves frequent and rapid speed changes. However, most existing simulation models – including the widely used Floor Field Cellular Automaton (FFCA) – do not realistically account for acceleration and deceleration. These models often assume an instantaneous transition from rest to maximum speed within a single timestep. This simplification reduces their accuracy in high-speed or high-density situations. To address this limitation, we propose a fine-discrete FFCA model that explicitly integrates empirically derived acceleration mechanisms. Controlled experiments were conducted to identify triggers for acceleration and deceleration, collecting data across a broad range of pedestrian speeds. These behaviors were integrated into the FFCA framework through dynamic rules governing movement initiation, adjustment, and interaction. The model was validated by comparison with the classic FFCA model and empirical data from the 2008 Wenchuan Earthquake evacuation, as well as conducted bottleneck evacuation experiments. In validation using earthquake evacuation data, the developed model more accurately replicates pedestrian dynamics, producing smooth acceleration/deceleration profiles and flow rates consistent with empirical observations. Notably, it reduced the root mean standard error of cumulative passing interval distribution by 77.6%. In the controlled experiment validation, the model predictions closely matched experimental results in evacuation timing, pedestrian trajectories, and spatial speed distributions. These improvements significantly enhance the FFCA model’s applicability in emergency evacuation simulations and supporting more effective safety assessments.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103197"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144841443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mesoscopic deformation mechanisms and engineering applications of soil-rock mixtures: effects of varying stone content 土石混合体的细观变形机制和工程应用:不同石料含量的影响
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-07-17 DOI: 10.1016/j.simpat.2025.103186
Yucheng Wu , Jie Yang , Chunhui Ma , Li Ran , Lin Cheng
{"title":"Mesoscopic deformation mechanisms and engineering applications of soil-rock mixtures: effects of varying stone content","authors":"Yucheng Wu ,&nbsp;Jie Yang ,&nbsp;Chunhui Ma ,&nbsp;Li Ran ,&nbsp;Lin Cheng","doi":"10.1016/j.simpat.2025.103186","DOIUrl":"10.1016/j.simpat.2025.103186","url":null,"abstract":"<div><div>This study explores the meso-mechanical characteristics and structural evolution of soil-rock mixtures (SRM) under complex stress conditions using six triaxial test models with varying stone content. Experimental simulations revealed that stone content significantly affects peak stress. A three-dimensional mesoscale structural fabric was employed to analyze the spatial distribution of normal and tangential contact forces, while a two-dimensional fabric tensor analysis highlighted the dominant role of stone content in mesoscale mechanical behavior. Results showed that increasing stone content leads to higher normal and tangential contact forces. Further analysis revealed a strong correlation between rock crushing and overall deformation, with higher rock content enhancing the anti-slip capability of SRMs. To extend these findings, a discrete element model was developed to simulate the rolling construction process of the anti-seepage core wall in a dam. This model evaluated the effects of varying stone content on coordination number, settlement rate, and porosity, as well as the influence of gravel mixing strategies on dam deformation. This research provides insights into the meso-deformation mechanisms of SRMs and the role of stone content in dam construction, offering valuable guidance for improving the design and performance of soil-rock structures in engineering applications.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103186"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144679456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Comparing Control Theory and Deep Reinforcement Learning techniques for decentralized task offloading in the edge–cloud continuum 边缘云连续体中分散任务卸载的控制理论与深度强化学习技术比较
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-07-03 DOI: 10.1016/j.simpat.2025.103170
Gorka Nieto , Neco Villegas , Luis Diez , Idoia de la Iglesia , Unai Lopez-Novoa , Cristina Perfecto , Ramón Agüero
{"title":"Comparing Control Theory and Deep Reinforcement Learning techniques for decentralized task offloading in the edge–cloud continuum","authors":"Gorka Nieto ,&nbsp;Neco Villegas ,&nbsp;Luis Diez ,&nbsp;Idoia de la Iglesia ,&nbsp;Unai Lopez-Novoa ,&nbsp;Cristina Perfecto ,&nbsp;Ramón Agüero","doi":"10.1016/j.simpat.2025.103170","DOIUrl":"10.1016/j.simpat.2025.103170","url":null,"abstract":"<div><div>With the increasingly demanding requirements of Internet-of-Things (IoT) applications in terms of latency, energy efficiency, and computational resources, among others, task offloading has become crucial to optimize performance across edge and cloud infrastructures. Thus, optimizing the offloading to reduce latency as well as energy consumption and, ultimately, to guarantee appropriate service levels and enhance performance has become an important area of research. There are many approaches to guide the offloading of tasks in a distributed environment, and, in this work, we present a comprehensive comparison of three of them: A Control Theory (CT) Lyapunov optimization method, 3 Deep Reinforcement Learning (DRL) based strategies and traditional solutions, like Round-Robin or static schedulers. This comparison has been conducted using <em>ITSASO</em>, an in-house developed simulation platform for evaluating decentralized task offloading strategies in a three-layer computing hierarchy comprising IoT, fog, and cloud nodes. The platform models service generation in the IoT layer using a configurable distribution, enabling each IoT node to decide whether to autonomously execute tasks (locally), offload them to the fog layer, or send them to the cloud server. Our approach aims to minimize the energy consumption of devices while meeting tasks’ latency requirements. Our simulation results reveal that Lyapunov optimization excels in static environments, while DRL approaches prove to be more effective in dynamic settings, by better adapting to changing requirements and workloads. This study offers an analysis of the trade-offs between these solutions, highlighting the scenarios in which each scheduling approach is most suitable, thereby contributing valuable theoretical insights into the effectiveness of various offloading strategies in different environments. The source code of <em>ITSASO</em> is publicly available.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103170"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144562822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
GPU-accelerated cloud computing services and performance evaluation gpu加速云计算服务和性能评估
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-07-11 DOI: 10.1016/j.simpat.2025.103181
Zakery Collins, Gennaro De Luca, Yinong Chen
{"title":"GPU-accelerated cloud computing services and performance evaluation","authors":"Zakery Collins,&nbsp;Gennaro De Luca,&nbsp;Yinong Chen","doi":"10.1016/j.simpat.2025.103181","DOIUrl":"10.1016/j.simpat.2025.103181","url":null,"abstract":"<div><div>This paper explores the feasibility of replacing traditional CPU-based cloud computing with Graphic Processing Unit GPU-accelerated services. Using NVIDIA’s CUDA GPU-accelerated C/<em>C</em>++ and Python libraries, we benchmark the performance of GPU computing against multithreaded CPU computing across several domains, including machine learning and large-scale image processing. A novel contribution of this work is an intelligent autoscaling system that maximizes single-GPU resource utilization before scaling to additional GPUs, improving efficiency in cloud-based deployments. Our simulation experiments demonstrate significant performance gains for GPU-accelerated computing and highlight the impact of optimized resource allocation in cloud environments. For example, in a machine learning experiment, using a dataset with 8.790 entries, the execution of a GeForce 3060 ti GPU is 3.42 times faster than a 16-thread CPU computer. Compared with the same 16-thread CPU, Tesla K80 GPU is 4.17 times faster. Furthermore, we provide an analysis of GPU performance optimization strategies, including memory management, concurrency techniques, and workload distribution methodologies, offering insights into the long-term scalability and cost-effectiveness of GPU-accelerated cloud infrastructure.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103181"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144654099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mastering the complexity: An enhanced cellular automata-based framework for simulating resilience of hospital Power-Water-Firefighting-Space nexus system 控制复杂性:基于增强元胞自动机的医院动力-水-消防-空间联系系统弹性模拟框架
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-07-08 DOI: 10.1016/j.simpat.2025.103177
Renlong Wang , Lingzhi Li , Wenjie Lin , Endong Wang , Jingfeng Yuan
{"title":"Mastering the complexity: An enhanced cellular automata-based framework for simulating resilience of hospital Power-Water-Firefighting-Space nexus system","authors":"Renlong Wang ,&nbsp;Lingzhi Li ,&nbsp;Wenjie Lin ,&nbsp;Endong Wang ,&nbsp;Jingfeng Yuan","doi":"10.1016/j.simpat.2025.103177","DOIUrl":"10.1016/j.simpat.2025.103177","url":null,"abstract":"<div><div>Modeling the resilience of hospital Power-Water-Firefighting-Space (PWFS) nexus systems is a complex, dynamic, and nonlinear challenge characterized by high uncertainty. Existing methods, mainly agent-based and network-based models, face difficulties in balancing detailed component-level behaviors with broader system-level interdependencies and neglect the impact of external disruptions, such as surges in service demand during the COVID-19 pandemic, on hospital PWFS system resilience. To address this, the study proposes an enhanced cellular automata (CA)-based framework for simulating hospital PWFS system resilience. The PWFS system is modeled as a seven-tuple CA, incorporating cell structure, state, space, neighborhood, transition rules, and time, facilitating the integration of micro-level component behavior with macro-level interdependencies. A set of resilience metrics, including robustness, rapidity, performance loss, and an integrated resilience index, are introduced, based on the system performance curve, which includes normality, connectivity, resource transfer efficiency, and space functionality. The model enables scalable, polynomial-time simulations of cascading failures, resource redistribution, and spatial–temporal recovery across interconnected PWFS subsystems. A real-world outpatient building case study demonstrates the applicability and validity of the enhanced CA model. The findings emphasize the importance of modeling intra-system interdependencies and provide actionable insights for infrastructure design and emergency preparedness. Overall, the enhanced CA framework offers a systematic, scalable, and computationally efficient approach to resilience assessment, bridging theoretical modeling with practical infrastructure planning.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103177"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144632420","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Analyzing herding, stylized facts, and information cascades via self-organized criticality in an agent-based speculation game 在基于代理的投机博弈中,通过自组织临界性分析羊群、程式化事实和信息级联
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-07-29 DOI: 10.1016/j.simpat.2025.103190
Sawar Sagwal , Parthajit Kayal , Kavita Vemuri
{"title":"Analyzing herding, stylized facts, and information cascades via self-organized criticality in an agent-based speculation game","authors":"Sawar Sagwal ,&nbsp;Parthajit Kayal ,&nbsp;Kavita Vemuri","doi":"10.1016/j.simpat.2025.103190","DOIUrl":"10.1016/j.simpat.2025.103190","url":null,"abstract":"<div><div>This study advances Kai Katahira’s Speculation Game, an agent-based model (ABM) for financial markets, by addressing its limitation in capturing order flow imbalance, a critical indicator of herd behavior. Although the original model successfully replicated key stylized facts of financial markets, it did not account for the persistence of order imbalance observed in real-world trading. Through a comprehensive analysis of two decades of BSE Sensex data, we establish the prevalence of order imbalance and its correlation with price fluctuations. To bridge this gap, we propose an extended model, Speculation Game with Information Cascade (SGIC), which integrates Self-Organized Criticality (SOC) through a sand-pile model, enabling agents to interact within a small-world network. Our proposed model not only reproduces the stylized facts captured by the original Speculation Game, but also successfully generates the additional stylized fact of order flow imbalance. These advances enhance the realism of ABMs in financial markets, providing deeper insights into the mechanisms driving herding and market fluctuations.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103190"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144780609","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
GrC-VMM: An intelligent framework for virtual machine migration optimization using granular computing GrC-VMM:一个使用颗粒计算优化虚拟机迁移的智能框架
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-06-25 DOI: 10.1016/j.simpat.2025.103169
Seyyed Meysam Rozehkhani, Farnaz Mahan
{"title":"GrC-VMM: An intelligent framework for virtual machine migration optimization using granular computing","authors":"Seyyed Meysam Rozehkhani,&nbsp;Farnaz Mahan","doi":"10.1016/j.simpat.2025.103169","DOIUrl":"10.1016/j.simpat.2025.103169","url":null,"abstract":"<div><div>Virtual Machine Migration (VMM) is a critical component in cloud computing environments, enabling dynamic resource management and system optimization. However, existing approaches often face challenges such as increased downtime, excessive resource consumption, and complex decision-making processes in heterogeneous environments. This paper presents a novel framework based on Granular Computing (GrC) principles to address these challenges through systematic VM categorization and prioritization. The proposed framework employs a three-stage approach: (1) feature extraction and granule formation, converting VM attributes such as workload, downtime sensitivity, and resource utilization into meaningful information granules; (2) granule-based decision rule generation using formal GrC methodologies; and (3) priority-based classification using weighted membership functions. Experimental evaluations conducted using CloudSim 5.0 demonstrate the framework’s effectiveness across multiple performance dimensions. The results show 92. 1% classification accuracy, 83. 7% resource utilization and reduced migration downtime of 1.9 s. The framework exhibits linear computational complexity O(N), confirming its scalability for large-scale deployments. Additionally, performance analysis under various workload patterns (resource-intensive, service-oriented, and mixed) validates the framework’s robustness and adaptability. These results suggest that the proposed GrC-based approach offers a promising solution to optimize VM migration in cloud environments while maintaining operational efficiency and service quality.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103169"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144517220","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modeling and functional verification of autonomous emergency braking systems based on extended colored hybrid petri nets 基于扩展彩色混合petri网的自主紧急制动系统建模与功能验证
IF 3.5 2区 计算机科学
Simulation Modelling Practice and Theory Pub Date : 2025-11-01 Epub Date: 2025-06-24 DOI: 10.1016/j.simpat.2025.103149
Haijing Ning , Herong Zhu , Yisheng An , Naiqi Wu , Yupeng Cao , Xiangmo Zhao
{"title":"Modeling and functional verification of autonomous emergency braking systems based on extended colored hybrid petri nets","authors":"Haijing Ning ,&nbsp;Herong Zhu ,&nbsp;Yisheng An ,&nbsp;Naiqi Wu ,&nbsp;Yupeng Cao ,&nbsp;Xiangmo Zhao","doi":"10.1016/j.simpat.2025.103149","DOIUrl":"10.1016/j.simpat.2025.103149","url":null,"abstract":"<div><div>The autonomous emergency braking (AEB) system constitutes a critical safety function within advanced driver assistance systems (ADAS). Verifying its functionality is essential to ensure its operational correctness and reliability. Currently, AEB systems developed by different vendors employ diverse algorithms and lack a unified simulation, verification, and fault-detection framework. To bridge these gaps, this paper proposes a comprehensive modeling and functional verification framework for AEB systems. First, we establish a basic model using extended colored hybrid Petri nets (ECHPN). Next, we enhance this model by incorporating fault observation points to form an FD-ECHPN, thereby enabling fault detection and localization. Furthermore, this paper develops a universal simulation and testing approach to verify the functionality of AEB systems from various vendors by transforming the FD-ECHPN model into a Simulink/Stateflow model. The simulation results demonstrate that the proposed method can accurately assess the functionality of an AEB system and effectively identify and localize faults during model execution. Finally, we examine the state evolution and formal properties of the FD-ECHPN model to verify its correctness.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103149"},"PeriodicalIF":3.5,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144517221","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
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学术文献互助群
群 号:604180095
Book学术官方微信
小红书