基于活跃度的DEVS仿真优化方法：在并行DEVS仿真中依靠活跃度模型提高性能

Bin CHEN; Lao-bing ZHANG; Xiao-cheng LIU; Hans VANGHELUWE

doi:10.1631/jzus.C1300121

Your Location：

Home >

Browse articles >

基于活跃度的DEVS仿真优化方法：在并行DEVS仿真中依靠活跃度模型提高性能

计算机与自动化 | Updated：2022-05-19

- 基于活跃度的DEVS仿真优化方法：在并行DEVS仿真中依靠活跃度模型提高性能
- Activity-based simulation using DEVS: increasing performance by an activity model in parallel DEVS simulation
- 信息与电子工程前沿（英文） 2014年15卷第1期页码：13-30
- Affiliations：
  
  1.College of Information System and Management, National University of Defense Technology, Changsha 410073, China
  2.Department of Mathematics and Computer Science, University of Antwerp, Antwerp 2020, Belgium
  3.School of Computer Science, McGill University, Montréal H3A 2A7, Canada
- Author bio：
  
  Bin CHEN, E-mail: nudtcb9372@gmail.com
- Funds：
  
  Project supported by the National Natural Science Foundation of China (Nos. 71303252 and 91024030)
- DOI：10.1631/jzus.C1300121
  中图分类号： TP312
- 收稿：2013-05-09，
  
  修回：2013-12-16，
  
  纸质出版：2014-01
- Accepted：
Scan QR Code
基于活跃度的DEVS仿真优化方法：在并行DEVS仿真中依靠活跃度模型提高性能[J]. 信息与电子工程前沿（英文）, 2014,15(1):13-30.

Bin CHEN, Lao-bing ZHANG, Xiao-cheng LIU, et al. Activity-based simulation using DEVS: increasing performance by an activity model in parallel DEVS simulation[J]. Frontiers of Information Technology & Electronic Engineering, 2014, 15(1): 13-30.
基于活跃度的DEVS仿真优化方法：在并行DEVS仿真中依靠活跃度模型提高性能[J]. 信息与电子工程前沿（英文）, 2014,15(1):13-30. DOI： 10.1631/jzus.C1300121.

Bin CHEN, Lao-bing ZHANG, Xiao-cheng LIU, et al. Activity-based simulation using DEVS: increasing performance by an activity model in parallel DEVS simulation[J]. Frontiers of Information Technology & Electronic Engineering, 2014, 15(1): 13-30. DOI： 10.1631/jzus.C1300121.

摘要

研究目的

研究如何用模型活跃度提高仿真性能，包括对模型的活跃度进行量化，将多范式建模方法用于构造领域活跃度模型等，以及构造支持活跃度模型的建模与仿真框架问题。

创新方法

已有的仿真性能优化方法专注于对性能运行结果的“盲”挖掘，而忽略了模型本身可以提供的性能信息。本文利用活跃度的概念在建模阶段就提取模型的性能信息，用于在仿真阶段指导计算资源的分配。此外，利用活跃度元模型和模型变换方法，研究在任意领域进行活跃度建模的方法，基于DEVS仿真引擎提出仿真中活跃度模型异质的解决方法。

研究手段

利用CPU占用率和内存使用量来量化模型的活跃度，解决了活跃度模型的计算问题。设计了增强式活跃度建模方法，提供了一系列特定接口对特定领域上的模型活跃度进行构造。提出了资源敏感型的建模与仿真框架，为活跃度建模定义了一整规范，选择DEVS作为通用仿真形式化方法，方便用户构造各种类型的领域活跃度模型。

重要结论

对如何利用活跃度进行仿真性能优化进行了研究，利用计算机资源占用的方法量化了模型的活跃度，提供了一种在特定领域中定义活跃度的增强式活跃度建模方法，利用活跃度元模型和模型变换方法解决了仿真异质问题，设计了资源敏感型建模与仿真框架为在仿真应用中构造和使用活跃度模型提供了标准规范。

Abstract

Improving simulation performance using activity tracking has attracted attention in the modeling field in recent years. The reference to activity has been successfully used to predict and promote the simulation performance. Tracking activity

however

uses only the inherent performance information contained in the models. To extend activity prediction in modeling

we propose the activity enhanced modeling with an activity meta-model at the meta-level. The meta-model provides a set of interfaces to model activity in a specific domain. The activity model transformation in subsequence is devised to deal with the simulation difference due to the heterogeneous activity model. Finally

the resource-aware simulation framework is implemented to integrate the activity models in activity-based simulation. The case study shows the improvement brought on by activity-based simulation using discrete event system specification (DEVS).

关键词

Keywords

references

S. Balsamo , , , A. di Marco , , , P. Inverardi , , , 等 . . Modelbased performance prediction in software development: a survey . . IEEE Trans. Softw. Eng. , , 2004 . . 30 ( ( 5 ): ): 295 - - 310 . . DOI: 10.1109/TSE.2004.9 http://doi.org/10.1109/TSE.2004.9 . .

A. Boukerche , , , S.K. Das . . Dynamic load balancing strategies for conservative parallel simulations . . Proc. 11th Workshop on Parallel and Distributed Simulation , , 1997 . . p.20 - - 28 . . DOI: 10.1109/PADS.1997.594582 http://doi.org/10.1109/PADS.1997.594582 . .

A.I. Concepcion , , , B.F. Zeigler . . DEVS formalism: a framework for hierarchical model development . . IEEE Trans. Softw. Eng. , , 1988 . . 14 ( ( 2 ): ): 228 - - 241 . . DOI: 10.1109/32.4640 http://doi.org/10.1109/32.4640 . .

K. Czarnecki , , , S. Helsen . . Classification of model transformation approaches . . OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Architecture , , 2003 . . p.1 - - 17 . . . .

M.C. D'Abreu , , , G.A. Wainer . . M/CD++: modeling continuous systems using Modelica and DEVS . . 13th IEEE Int. Symp. on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems , , 2005 . . p.229 - - 236 . . DOI: 10.1109/MASCOTS.2005.36 http://doi.org/10.1109/MASCOTS.2005.36 . .

E. Deelman , , , B.K. Szymanski . . Dynamic load balancing in parallel discrete event simulation for spatially explicit problems . . Proc. 12th Workshop on Parallel and Distributed Simulation , , 1998 . . p.46 - - 53 . . DOI: 10.1109/PADS.1998.685269 http://doi.org/10.1109/PADS.1998.685269 . .

M. Emerson , , , J. Sztipanovits . . Techniques for metamodel composition . . 6th Workshop on Domain Specific Modeling , , 2006 . . p.123 - - 139 . . . .

G. Guo . . User Manual of OneModel . . National University of Defense Technology, Changsha, China , , 2013 . . .

X.L. Hu , , , L. Ntaimo . . Dynamic multi-resolution cellular space modeling for forest fire simulation . . Proc. Spring Simulation Multi-conf. , , 2006 . . p.95 - - 102 . . . .

X.L. Hu , , , L. Ntaimo . . DEVS-FIRE: towards an integrated simulation environment for surface wildfire spread and containment . . Simulation , , 2008 . . 84 ( ( 4 ): ): 137 - - 155 . . DOI: 10.1177/0037549708094047 http://doi.org/10.1177/0037549708094047 . .

X.L. Hu , , , B.P. Zeigler . . Linking information and energy—activity-based energy-aware information processing . . Simulation , , 2013 . . 89 ( ( 4 ): ): 435 - - 450 . . DOI: 10.1177/0037549711400778 http://doi.org/10.1177/0037549711400778 . .

X.L. Hu , , , A. Muzy , , , L. Ntaimo . . A hybrid agent-cellular space modeling approach for fire spread and suppression simulation . . Proc. Winter Simulation Conf. , , 2005 . . p.248 - - 255 . . DOI: 10.1109/WSC.2005.1574258 http://doi.org/10.1109/WSC.2005.1574258 . .

R. Jammalamadaka . . Activity Characterization of Spatial Models: Application to Discrete Event Solution of Partial Differential Equations . . PhD Thesis, the University of Arizona, Tucson, USA , , 2003 . . .

S. Kelly , , , J.P. Tolvanen . . Domain-Specific Modeling: Enabling Full Code Generation , , : : USA Wiley-IEEE Computer Society Press , , 2008 . . .

R. Lagerstr m , , , M. Chenine , , , P. Johnson , , , 等 . . Probabilistic metamodel merging . . CAiSE Forum , , 2008 . . p.25 - - 28 . . . .

T. MacNeil . . Don't be misled by MIPS . . IBM Systems Magazine Webinars , , 2004 . . .

A. Muzy , , , B.P. Zeigler . . Introduction to the activity tracking paradigm in component-based simulation . . The Open Cybern. Syst. J. , , 2008 . . 2 30 - - 38 . . . .

A. Muzy , , , J.J. Nutaro , , , B.P. Zeigler , , , 等 . . Modeling and simulation of fire spreading through the activity tracking paradigm . . Ecol. Model. , , 2008 . . 219 ( ( 1-2 ): ): 212 - - 225 . . DOI: 10.1016/j.ecolmodel.2008.08.017 http://doi.org/10.1016/j.ecolmodel.2008.08.017 . .

A. Muzy , , , L. Touraille , , , H. Vangheluwe , , , 等 . . Activity regions for the specification of discrete event systems . . Proc. Spring Simulation Multi-conf. , , 2010 . . p.1 - - 7 . . DOI: 10.1145/1878537.1878679 http://doi.org/10.1145/1878537.1878679 . .

A. Muzy , , , R. Jammalamadaka , , , B.P. Ziegler , , , 等 . . The activity-tracking paradigm in discrete-event modeling and simulation: the case of spatially continuous distributed systems . . Simulation , , 2011 . . 87 ( ( 5 ): ): 449 - - 464 . . DOI: 10.1177/0037549710365155 http://doi.org/10.1177/0037549710365155 . .

D.C. Petriu , , , H. Shen . . Applying the UML performance profile: graph grammar-based derivation of LQN models from UML specifications . . Proc. 12th Int. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation , , 2002 . . p.159 - - 177 . . . .

F.S. Qiu , , , X.L. Hu . . Spatial activity-based modeling for pedestrian crowd simulation . . Simulation , , 2013 . . 89 ( ( 4 ): ): 451 - - 465 . . DOI: 10.1177/0037549711435950 http://doi.org/10.1177/0037549711435950 . .

S. Sendall , , , W. Kozaczynski . . Model transformation: the heart and soul of model-driven software development . . IEEE Softw. , , 2003 . . 20 ( ( 5 ): ): 42 - - 45 . . DOI: 10.1109/MS.2003.1231150 http://doi.org/10.1109/MS.2003.1231150 . .

D. Shibata , , , D. Alfenas , , , R. Guiraldelli , , , 等 . . Activity based scheduling simulator for product transport using pipeline networks . . Proc. Winter Simulation Conf. , , 2012 . . p.1 - - 12 . . . .

E. Syriani , , , H. Vangheluwe . . Programmed graph rewriting with DEVS . . 3rd Int. Symp. on Applications of Graph Transformations with Industrial Relevance , , 2007 . . p.136 - - 151 . . DOI: 10.1007/978-3-540-89020-1_11 http://doi.org/10.1007/978-3-540-89020-1_11 . .

H. Vangheluwe . . DEVS as a common denominator for multi-formalism hybrid systems modelling . . IEEE Int. Symp. on Computer-Aided Control System Design , , 2000 . . p.129 - - 134 . . DOI: 10.1109/CACSD.2000.900199 http://doi.org/10.1109/CACSD.2000.900199 . .

H. Vangheluwe , , , J. de Lara . . Computer automated multiparadigm modelling for analysis and design of traffic networks . . Proc. Winter Simulation Conf. , , 2004 . . p.249 - - 258 . . . .

L. Welling , , , L. Thomson . . PHP and MySQL Web Development . . Sams Publishing, USA , , 2003 . . .

B.P. Zeigler , , , H. Praehofer , , , T.G. Kim . . Theory of Modeling and Simulation (2nd Ed.) , , : : USA Academic Press , , 2000 . . .

B.P. Zeigler , , , R. Jammalamadaka , , , S.R. Akerkar . . Continuity and change (activity) are fundamentally related in DEVS simulation of continuous systems . . 13th Int. Conf. on AI, Simulation, Planning in High Autonomy Systems , , 2004 . . p.1 - - 13 . . . .

浏览量

120

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

暂无数据