摘要
基于离散事件系统规范(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.
作者
林清泉
杨佳然
张和明
Lin Qingquan;Yang Jiaran;Zhang Heming(Department of Automation,Tsinghua University,Beijing 100084,China)
出处
《系统仿真学报》
CAS
CSCD
北大核心
2022年第4期661-669,共9页
Journal of System Simulation
基金
国家重点研发项目(2018YFB1701600)。
关键词
复杂产品
多分辨率建模
行为建模
离散事件系统规范
形式化描述
complex product
multi-resolution modeling
behavior modeling
discrete event system specification(DEVS)
formal description
