搜索到453 篇“ 离散事件系统规范 “的相关文章
一种基于离散 事件 系统 规范 的复杂产品行为模型描述方法 被引量：3 2022年 离散 事件 系统 规范 (discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件 、行为、机理等的描述能力;基于多分辨率DEVS模型描述,提出了一种具有耦合封闭性的形式化模型描述方法,其包含多分辨率实体级原子模型描述、多分辨率系统 级耦合模型描述;根据该框架特点规范 了建模流程并结合实际案例验证了描述框架的有效性。关键词：多分辨率建模 离散事件系统规范 形式化描述 离散 事件 系统 规范 DEVS研究被引量：15 2004年 离散 事件 系统 是一类常见的系统 ,如何对这类系统 进行描述与建模是离散 事件 系统 仿真研究的核心内容。离散 事件 系统 规范 DEVS是一种离散 事件 系统 形式化描述方法 ,它具有层次化和模块化的特点 ,利用该方法可对复杂的离散 事件 系统 进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型 ,给出了DEVS在耦合运算下的封闭性构造证明 ,并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法 。关键词：离散事件系统规范 形式化描述 仿真系统 实时离散 事件 系统 规范 与证明方法 被引量：1 1998年 离散 事件 系统 的规范 与证明，给出了多种形式化方法，并且在这些形式化方法的基础上，将时间因子引入，从而解决实时离散 事件 系统 的实时规范 问题．虽然这些实时形式化方法是从不同角度提出的，但它们之间存在内在联系．通过对这种联系进行深入研究，为以后更加有效地使用这些形式化方法提供了理论依据．关键词：PETRI网 时态逻辑 离散事件系统 基于多模块分层组合模型的CAE软件耦合方法 2024年 系统 架构的短板,提出了一种基于多模块分层组合模型的全链路CAE软件耦合方法。首先,基于离散 事件 系统 规范 (DEVS)中离散 事件 模型+有限状态机+连续时间模型的组合模式,构建CAE软件前处理、数值求解、后处理阶段的核心构件库。其次,采用多模块分层分级的组合模型,基于多智能体系统 的事件 触发驱动机制,实现全链路CAE核心软构件的自动化耦合。面向盾构/高铁应用场景的仿真结果表明,将CAE全生命周期链路进行构件化细分、自动化耦合,利于研究多因素耦合作用下的复杂装备产品设计。此外,多模块组合模型的架构支持CAE软件核心模块的灵活组合与独立部署,实现对CAE软件向云服务平台整合的支持。关键词：多模块 离散事件系统规范 离散 信号事件 驱动的自动测试系统 仿真验证方法与实现2023年 系统 进行充分验证从而加速其成熟并降低研发成本,对离散 事件 系统 规范 进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散 信号事件 驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案;基于自研的SCATS自动测试系统 软件平台,分别针对一个示例系统 和真实系统 开展了实验,结果表明所提模型和方法支持复杂系统 多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统 仿真验证工程应用需求。关键词：自动测试系统 离散事件系统规范 仿真验证 基于量化状态的混合系统 仿真方法 2021年 系统 仿真和不连续性处理一直是基于时间离散 的积分方法所面临的难题,而量化状态系统 (Quantized State System,QSS)方法是一种新的基于状态变量离散 的数值积分方法。针对混合系统 仿真问题,提出一种QSS+DEVS(Discrete Event System Specification)求解方法。混合系统 的离散 部分以DEVS模型来表示,采用QSS实现混合系统 的连续部分离散 化,同样用DEVS模型表示,以两个DEVS模型的耦合作为整个混合系统 的仿真模型。通过对两个实例系统 的仿真求解,验证了QSS+DEVS方法的精确性、高效性和简便性,为混合系统 仿真提供了一条新的途径。关键词：离散事件系统规范 仿真 基于DEVS的柔性制造系统 逻辑建模与PLC程序设计 被引量：4 2021年 系统 控制方案设计过程中逻辑复杂、调试周期长、调试成本高等问题,提出一种基于可试验数字孪生体的虚拟调试方法。该方法以分层的方式建立物理系统 的孪生模型,基于离散 事件 系统 规范 的扩展形式构建设备层、单元层、系统 层3层的逻辑模型,通过仿真对逻辑模型进行重复验证与修改。建立了逻辑模型到PLC程序的映射规则,实现了PLC程序的快速设计。最后,以某柔性制造系统 为例,详细演示了逻辑建模过程及PLC程序的设计,验证了所提方法的可行性和有效性。关键词：柔性制造系统 逻辑建模 离散事件系统规范 可编程逻辑控制器 敏捷仿真架构研究 规范 下,建立了敏捷仿真的数学模型,分析了敏捷点的设置。最后,在基于敏捷DEVS的构件化敏捷仿真模型规范 支持下,并通过领域专用语言的形式来构建仿真模型,...关键词：敏捷 离散事件系统规范 可扩展标记语言 仿真架构 机械加工工艺单元多分辨率实体动态能效获取方法 被引量：6 2019年 离散 事件 系统 规范 (Discrete event system specification,DEVS)的层次化建模方法,构建机械加工工艺单元MRE动态能效模型,获取工艺单元运行过程中能量利用率、能量消耗与有效产出(加工利润、合格品数量、材料去除量)等动态信息。结合Eclipse平台下的CD++插件对实际案例进行仿真分析,验证该方法的有效性。关键词：离散事件系统规范 PLC调试框架的设计与研究 关键词：可编程控制器 离散事件系统规范 组件管理
相关作者
黄柯棣 作品数：417 被引量：2,232 H指数：23 供职机构：国防科技大学 研究主题：高层体系结构 HLA 仿真 仿真系统 计算机仿真 韩守鹏 作品数：22 被引量：70 H指数：4 供职机构：中国人民解放军海军装备研究院 研究主题：高层体系结构 动态数据驱动应用系统 离散事件系统规范 DEVS 数据同化 范植华 作品数：88 被引量：698 H指数：11 供职机构：中国科学院软件研究所 研究主题：计算机 移动自组网络 卫星网络 程序设计 同步通信 余磊 作品数：21 被引量：56 H指数：4 供职机构：重庆师范大学计算机与信息科学学院 研究主题：人脸识别方法 人脸识别 仿真建模 离散事件系统规范 DEVS 陈彬 作品数：148 被引量：269 H指数：9 供职机构：国防科学技术大学 研究主题：人工社会 应急管理 粒子滤波 用户定制 仿真
