一种基于离散事件系统规范的复杂产品行为模型描述方法

doi:10.16182/j.issn1004731x.joss.21-1318

系统仿真学报 ›› 2022, Vol. 34 ›› Issue (4): 661-669.doi: 10.16182/j.issn1004731x.joss.21-1318

• 专栏：面向复杂产品的建模仿真与优化 • 下一篇

一种基于离散事件系统规范的复杂产品行为模型描述方法

林清泉(), 杨佳然, 张和明()

清华大学自动化系，北京 100084

收稿日期:2021-12-20 修回日期:2022-02-25 出版日期:2022-04-30 发布日期:2022-04-19
通讯作者: 张和明 E-mail:lqq_adcefot@163.com;hmz@mail.tsinghua.edu.cn
作者简介:林清泉(1998-)，男，土家族，硕士生，研究方向为多分辨率建模，强化学习。E-mail：lqq_adcefot@163.com
基金资助:
国家重点研发项目(2018YFB1701600)

A DEVS-based Formal Description Method for Complex Product Behavior Models

Qingquan Lin(), Jiaran Yang, Heming Zhang()

Department of Automation, Tsinghua University, Beijing 100084, China

Received:2021-12-20 Revised:2022-02-25 Online:2022-04-30 Published:2022-04-19
Contact: Heming Zhang E-mail:lqq_adcefot@163.com;hmz@mail.tsinghua.edu.cn

摘要/Abstract

摘要：

基于离散事件系统规范(discrete event system specification，DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力，但对模块内部智能行为描述相对匮乏，而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率建模框架下，结合DEVS和Agent模型描述以提供对事件、行为、机理等的描述能力；基于多分辨率DEVS模型描述，提出了一种具有耦合封闭性的形式化模型描述方法，其包含多分辨率实体级原子模型描述、多分辨率系统级耦合模型描述；根据该框架特点规范了建模流程并结合实际案例验证了描述框架的有效性。

关键词: 复杂产品, 多分辨率建模, 行为建模, 离散事件系统规范, 形式化描述

Abstract:

The multi-resolution formal description based on discrete event system specification (DEVS) has the ability of hierarchical and structured description, but the description of the intelligent behavior inside the module is relatively lacking, while Agent-based modeling can describe the characteristics of individual perception, behavior, communication, cooperation, learning and evolution. Under the framework of multi-resolution modeling, DEVS and Agent model descriptions are combined to provide the description capabilities for events, behaviors, mechanisms, etc. Based on the description of multi-resolution DEVS models, a formal model description method with coupling closure is proposed, which includes the description of the multi-resolution entity-level atomic model and the description of the multi-resolution system-level coupling model. According to the characteristics of the framework, the modeling process is standardized and realistic modeling cases are used to verify the effectiveness of the description framework.

Key words: complex product, multi-resolution modeling, behavior modeling, discrete event system specification (DEVS), formal description

中图分类号:

TP391.9

林清泉, 杨佳然, 张和明. 一种基于离散事件系统规范的复杂产品行为模型描述方法[J]. 系统仿真学报, 2022, 34(4): 661-669.

Qingquan Lin, Jiaran Yang, Heming Zhang. A DEVS-based Formal Description Method for Complex Product Behavior Models[J]. Journal of System Simulation, 2022, 34(4): 661-669.

图/表 5

参考文献 16

1	熊光楞, 范文慧, 陈晓波. 复杂产品开发的仿真技术[J]. 系统仿真学报, 2004, 16(2): 194-201.
	Xiong Guangleng, Fan Wenhui, Chen Xiaobo. Simulation Technology of Complex Product Development[J]. Journal of System Simulation, 2004, 16(2): 194-201.
2	杨佳然, 林清泉, 张和明, 等. 复杂产品多分辨率模型聚合解聚框架[C]// 第三十三届中国仿真大会论文集. 北京: 中国仿真学会, 2021: 103-108.
	Yang Jiaran, Lin Qingquan, Zhang Heming, et al. Multi-Resolution Model Aggregation and Disaggregation Framework for Complex Products.[C]// 33rd China Simulation Conference. Beijing: China Simulation Federation, 2021: 103-108.
3	李元. 多分辨率建模形式化与通用方法研究[D]. 北京: 北京航空航天大学, 2011.
	Li Yuan. On Formalized and General Methods for Multi-Resolution Modeling[D]. Beijing: Beihang University, 2011.
4	Gou Chenxi, Cai Baigen. Multi-Resolution Entities Aggregation and Disaggregation Method for Train Control System Modeling and Simulation Based on HLA[C]// 17th International IEEE Conference on Intelligent Transportation Systems (ITSC). New York: IEEE Press, 2014: 2367-2372.
5	闫雪飞, 李新明, 刘东, 等. 基于多分辨率的Multi-Agent武器装备体系作战仿真研究[J]. 系统仿真学报, 2017, 29(1): 136-143, 153.
	Yan Xuefei, Li Xinming, Liu Dong, et al. Battle Simulation Study on Multi-Agent Weapon System-of-Systems Based on Multi-Resolution [J]. Journal of System Simulation, 2017, 29(1): 136-143, 153.
6	刘敬, 罗永亮, 李海旭, 等. 航空指挥和保障系统多分辨率模型构建方法[C]// 第三十三届中国仿真大会论文集. 北京: 中国仿真学会, 2021: 126-130.
	Liu Jing, Luo Yongliang, Li Haixu, et al. Multi Resolution Model Construction Method of Aviation Command and Support System[C]// 33rd China Simulation Conference. Beijing: China Simulation Federation, Beijing: China Simulation Federation, 2021: 126-130.
7	Zeigler Bernard P, Muzy Alexandre, Kofman Ernesto. Theory of Modeling and Simulation [M]. 3rd ed. New York: Academic Press, 2018.
8	Fakhimi Masoud, Anagnostou Anastasia, Stergioulas Lampros, et al. A Hybrid Agent-Based and Discrete Event Simulation Approach for Sustainable Strategic Planning and Simulation Analytics[C]// 2014 Winter Simulation Conference (WSC '14). New York: IEEE Press, 2014: 1573-1584.
9	Suk Na Hyeong, Banerjee Amarnath. Agent-Based Discrete-Event Simulation Model for No-Notice Natural Disaster Evacuation Planning, Computers & Industrial Engineering(S0360-8352), 2019, 129: 44-55.
10	Gonzalez A, Luna C, Abella R. UML State Machine as Modeling Language for DEVS formalism[C]// 2016 XLII Latin American Computing Conference (CLEI). New York: IEEE Press, 2016: 1-12.
11	曹琦, 侯文华. 基于Agent-DEVS的应急物资保障多分辨率建模研究[J]. 运筹与管理, 2021, 30(7): 58-65.
	Cao Qi, Hou Wenhua. Research on Multi-resolution Modeling of Emergency Material Supply Based on Agent-DEVS[J].Operations Research and Management Science, 2021, 30(7): 58-65.
12	刘晨, 王维平, 朱一凡. 状态机嵌入DEVS的组合建模方法研究[J]. 国防科技大学学报, 2005(5): 60-65.
	Liu Chen, Wang Weiping, Zhu Yifan. Research on a Composable Modeling Approach of Embedding the State Machine into DEVS[J]. Journal of National University of Defence Technology, 2005(5): 60-65.
13	Chan W K V, Son Y, Macal C M. Agent-Based Simulation Tutorial-Simulation of Emergent Behavior and Differences Between Agent-Based Simulation and Discrete-Event Simulation[C]// 2010 Winter Simulation Conference. New York: IEEE Press, 2010: 135-150.
14	廖守亿. 复杂系统基于Agent的建模与仿真方法研究及应用[D]. 长沙: 国防科技大学, 2005.
	Liao Shouyi. Research of Methodology of Agent-Based Modeling and Simulation for Complex System and Application[D]. Changsha: National University of Defense Technology, 2005.
15	李四辉. 基于HLA的车路协同系统仿真方法研究[D]. 北京: 北京交通大学, 2012.
	Li Sihui. Research on the Simulation Method of Vehicle-Road Collaborative System Based on HLA [D]. Beijing: Beijing Jiaotong University, 2012.
16	Zhang B, Chan W K V, Ukkusuri S V. On the Modelling of Transportation Evacuation: an Agent-Based Discrete-Event Hybrid-Space Approach, Journal of Simulation(S1747-7778), 2014, 8(4): 259-270.

[1]	罗俊仁, 张万鹏, 袁唯淋, 胡振震, 陈少飞, 陈璟. 面向多智能体博弈对抗的对手建模框架[J]. 系统仿真学报, 2022, 34(9): 1941-1955.
[2]	古鹏飞, 张霖, 陈真, 叶俊杰. 基于X语言的起飞场景民机协同设计与仿真一体化方法[J]. 系统仿真学报, 2022, 34(5): 929-943.
[3]	李玮, 张文嘉, 张和明. 复杂产品多分辨率模型跨层次切换技术[J]. 系统仿真学报, 2022, 34(5): 944-953.
[4]	施国强, 刘泽伟, 林廷宇, 徐钊, 杨星熠, 郭丽琴, 贾政轩. 面向复杂产品建模与仿真系统的开放式云架构设计[J]. 系统仿真学报, 2022, 34(3): 442-451.
[5]	李志华, 江德, 沈汉武, 樊志华. 基于量化状态的混合系统仿真方法[J]. 系统仿真学报, 2021, 33(8): 1775-1783.
[6]	朱杰, 张宏军. 基于本体的仿真想定空间知识表达模型[J]. 系统仿真学报, 2021, 33(5): 1051-1061.
[7]	许凯, 曾俊杰, 杨伟龙, 秦龙, 尹全军. 面向计算机生成兵力的认知行为模型架构研究综述[J]. 系统仿真学报, 2021, 33(2): 239-248.
[8]	胡越, 许凯, 秦龙, 尹全军, 查亚兵. 时空记忆模型在空间认知行为建模中的应用分析[J]. 系统仿真学报, 2021, 33(2): 249-261.
[9]	魏翔宇, 张琪. 基于非合作博弈的路网对抗行为建模研究[J]. 系统仿真学报, 2021, 33(2): 271-279.
[10]	张琪, 曾俊杰, 许凯, 秦龙, 尹全军. 基于机器学习的计算机生成兵力行为建模研究综述[J]. 系统仿真学报, 2021, 33(2): 280-287.
[11]	唐见兵, 张琪, 焦鹏, 查亚兵. CGF行为建模校核与验证初探[J]. 系统仿真学报, 2021, 33(2): 288-294.
[12]	许凯, 曾云秀, 武万森, 尹全军, 查亚兵. 面向计算机生成兵力的意图识别行为建模框架[J]. 系统仿真学报, 2021, 33(10): 2344-2355.
[13]	姬杭, 周军华, 施国强, 林廷宇, 薛俊杰. 一种复杂系统轻量化建模与仿真技术框架[J]. 系统仿真学报, 2018, 30(6): 2013-2019.
[14]	罗永亮, 秦远辉. 面向服务的航空指挥与保障作业流程建模方法[J]. 系统仿真学报, 2017, 29(8): 1866-1872.
[15]	雷永林, 姚剑, 朱宁, 朱一凡, 王维平. 武器装备作战效能仿真系统WESS[J]. 系统仿真学报, 2017, 29(6): 1244-1252.

一种基于离散事件系统规范的复杂产品行为模型描述方法

A DEVS-based Formal Description Method for Complex Product Behavior Models

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 5

参考文献 16

相关文章 15

编辑推荐

Metrics

本文评价