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

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

作　　者：林清泉 杨佳然 张和明[1] Lin Qingquan;Yang Jiaran;Zhang Heming(Department of Automation,Tsinghua University,Beijing 100084,China)

机构地区：[1]清华大学自动化系,北京100084

出　　处：《系统仿真学报》2022年第4期661-669,共9页Journal of System Simulation

基　　金：国家重点研发项目(2018YFB1701600)。

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

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

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]