基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率...基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件、行为、机理等的描述能力;基于多分辨率DEVS模型描述,提出了一种具有耦合封闭性的形式化模型描述方法,其包含多分辨率实体级原子模型描述、多分辨率系统级耦合模型描述;根据该框架特点规范了建模流程并结合实际案例验证了描述框架的有效性。展开更多
混合系统仿真和不连续性处理一直是基于时间离散的积分方法所面临的难题,而量化状态系统(Quantized State System,QSS)方法是一种新的基于状态变量离散的数值积分方法。针对混合系统仿真问题,提出一种QSS+DEVS(Discrete Event System Sp...混合系统仿真和不连续性处理一直是基于时间离散的积分方法所面临的难题,而量化状态系统(Quantized State System,QSS)方法是一种新的基于状态变量离散的数值积分方法。针对混合系统仿真问题,提出一种QSS+DEVS(Discrete Event System Specification)求解方法。混合系统的离散部分以DEVS模型来表示,采用QSS实现混合系统的连续部分离散化,同样用DEVS模型表示,以两个DEVS模型的耦合作为整个混合系统的仿真模型。通过对两个实例系统的仿真求解,验证了QSS+DEVS方法的精确性、高效性和简便性,为混合系统仿真提供了一条新的途径。展开更多
可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结...可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。展开更多
文摘基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件、行为、机理等的描述能力;基于多分辨率DEVS模型描述,提出了一种具有耦合封闭性的形式化模型描述方法,其包含多分辨率实体级原子模型描述、多分辨率系统级耦合模型描述;根据该框架特点规范了建模流程并结合实际案例验证了描述框架的有效性。
文摘混合系统仿真和不连续性处理一直是基于时间离散的积分方法所面临的难题,而量化状态系统(Quantized State System,QSS)方法是一种新的基于状态变量离散的数值积分方法。针对混合系统仿真问题,提出一种QSS+DEVS(Discrete Event System Specification)求解方法。混合系统的离散部分以DEVS模型来表示,采用QSS实现混合系统的连续部分离散化,同样用DEVS模型表示,以两个DEVS模型的耦合作为整个混合系统的仿真模型。通过对两个实例系统的仿真求解,验证了QSS+DEVS方法的精确性、高效性和简便性,为混合系统仿真提供了一条新的途径。
文摘可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。
