节点文献
一种基于离散事件系统规范的复杂产品行为模型描述方法
A DEVS-based Formal Description Method for Complex Product Behavior Models
【摘要】 基于离散事件系统规范(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 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.
【Key words】 complex product; multi-resolution modeling; behavior modeling; discrete event system specification(DEVS); formal description;
- 【文献出处】 系统仿真学报 ,Journal of System Simulation , 编辑部邮箱 ,2022年04期
- 【分类号】TB472
- 【被引频次】1
- 【下载频次】207