一种基于离散事件系统规范的复杂产品行为模型描述方法
A DEVS-based Formal Description Method for Complex Product Behavior Models作者机构:清华大学自动化系北京100084
出 版 物:《系统仿真学报》 (Journal of System Simulation)
年 卷 期:2022年第34卷第4期
页 面:661-669页
核心收录:
学科分类:08[工学] 080203[工学-机械设计及理论] 0802[工学-机械工程]
主 题:复杂产品 多分辨率建模 行为建模 离散事件系统规范 形式化描述
摘 要:基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件、行为、机理等的描述能力;基于多分辨率DEVS模型描述,提出了一种具有耦合封闭性的形式化模型描述方法,其包含多分辨率实体级原子模型描述、多分辨率系统级耦合模型描述;根据该框架特点规范了建模流程并结合实际案例验证了描述框架的有效性。