检索结果-内蒙古大学图书馆

系统仿真学报 2022年第4期34卷 661-669页

作者：林清泉杨佳然张和明清华大学自动化系北京100084

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率... 详细信息

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件、行为、机理等的描述能力;基于多分辨率DEVS模型描述,提出了一种具有耦合封闭性的形式化模型描述方法,其包含多分辨率实体级原子模型描述、多分辨率系统级耦合模型描述;根据该框架特点规范了建模流程并结合实际案例验证了描述框架的有效性。

关键词：复杂产品多分辨率建模行为建模离散事件系统规范形式化描述

来源：评论

学校读者我要写书评

暂无评论

离散事件系统规范DEVS研究

引用

计算机仿真 2004年第6期21卷 62-64,59页

作者：唐俊张明清刘建峰解放军信息工程大学电子技术学院河南郑州450004

离散事件系统是一类常见的系统 ,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法 ,它具有层次化和模块化的特点 ,利用该方法可对复杂的离散事件系统进行建模、... 详细信息

离散事件系统是一类常见的系统 ,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法 ,它具有层次化和模块化的特点 ,利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型 ,给出了DEVS在耦合运算下的封闭性构造证明 ,并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法。

关键词：离散事件系统规范形式化描述封闭性 DEVS模型仿真系统

来源：评论

学校读者我要写书评

暂无评论

离散信号事件驱动的自动测试系统仿真验证方法与实现

引用

计算机测量与控制 2023年第7期31卷 64-70页

作者：唐小峰成都天奥测控技术有限公司成都611731

为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/... 详细信息

为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案;基于自研的SCATS自动测试系统软件平台,分别针对一个示例系统和真实系统开展了实验,结果表明所提模型和方法支持复杂系统多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统仿真验证工程应用需求。

关键词：自动测试系统离散事件系统规范仿真验证信号事件 SCATS软件平台

来源：评论

学校读者我要写书评

暂无评论

机械加工工艺单元多分辨率实体动态能效获取方法

引用

机械工程学报 2019年第1期55卷 160-171页

作者：朱硕张华江志刚武汉科技大学冶金装备及其控制教育部重点实验室武汉430081 武汉科技大学机械传动与制造工程湖北省重点实验室武汉430081

机械加工工艺单元是机械加工过程的基本构成单元和活动的主体。为适应机械加工过程能量精细化管理的要求,通过分析机械加工工艺单元设备层、制造单元层的能量消耗动态特性,建立面向不同层级的能效指标体系。基于多分辨率实体(Multiple r... 详细信息

机械加工工艺单元是机械加工过程的基本构成单元和活动的主体。为适应机械加工过程能量精细化管理的要求,通过分析机械加工工艺单元设备层、制造单元层的能量消耗动态特性,建立面向不同层级的能效指标体系。基于多分辨率实体(Multiple resolution entity,MRE)的思想,采用离散事件系统规范(Discrete event system specification,DEVS)的层次化建模方法,构建机械加工工艺单元MRE动态能效模型,获取工艺单元运行过程中能量利用率、能量消耗与有效产出(加工利润、合格品数量、材料去除量)等动态信息。结合Eclipse平台下的CD++插件对实际案例进行仿真分析,验证该方法的有效性。

关键词：工艺单元多分辨率实体动态能效离散事件系统规范

来源：评论

学校读者我要写书评

暂无评论

基于DEVS的机械加工过程碳排放多粒度动态模型构建及仿真

引用

机械工程学报 2018年第19期54卷 158-169页

作者：朱硕张华江志刚曹华军武汉科技大学机械自动化学院重庆大学机械传动国家重点实验室

机械加工过程碳排放分析是低碳制造(Low carbon manufacturing, LCM)技术发展、创新及应用的基础。针对加工过程中的离散性、动态性及加工设备的高度非线性特点,同时为充分反映多设备、多工艺特征下的各类外部、内部事件对加工过程碳排... 详细信息

机械加工过程碳排放分析是低碳制造(Low carbon manufacturing, LCM)技术发展、创新及应用的基础。针对加工过程中的离散性、动态性及加工设备的高度非线性特点,同时为充分反映多设备、多工艺特征下的各类外部、内部事件对加工过程碳排放的影响,提出一种基于离散事件系统规范(Discrete event system specification,DEVS)的机械加工过程碳排放多粒度动态模型与仿真方法。基于对加工过程层级结构及碳排放特性的分析,采用DEVS分层阶梯建模方法,并结合信息控制下的加工运行机制及调度规则,构建设备层、工作组层、工艺链层的碳排放多粒度动态模型。以某全数控磨床尾架主轴的加工过程为例,基于Eclipse平台下的CD++Builder插件设计了各层次DEVS仿真模型,并通过所开发的仿真应用程序,对模型及方法进行了验证。该方法对于构建规范化、形式化的加工过程碳排放模型,实现加工过程各层级碳排放的实时动态分析与预测、定量评估低碳加工单元具有较广阔的应用前景。

关键词：低碳制造碳排放离散事件系统规范实时动态多粒度建模

来源：评论

学校读者我要写书评

暂无评论

离散状态事件驱动仿真方法及自适应预估校正算法

引用

电工技术学报 2017年第12期32卷 33-41页

作者：杨祎赵争鸣檀添李帛洋袁立强清华大学电机系电力系统及发电设备安全控制和仿真国家重点实验室北京100084

在电力电子系统分析中,需要对带间断和刚性的常微分方程组进行仿真计算。然而,采用传统的时间离散算法来求解此类方程组时会遇到诸多困难。Kofman等基于离散事件系统规范(DEVS)提出了量化状态系统(QSS)算法,它不是对时间进行离散,而是... 详细信息

在电力电子系统分析中,需要对带间断和刚性的常微分方程组进行仿真计算。然而,采用传统的时间离散算法来求解此类方程组时会遇到诸多困难。Kofman等基于离散事件系统规范(DEVS)提出了量化状态系统(QSS)算法,它不是对时间进行离散,而是将状态量进行离散。QSS算法可以有效求解带间断和刚性的常微分方程组。基于离散事件算法思想,提出适合于电力电子仿真的离散状态事件驱动(DSED)仿真方法;同时,为提高DSED方法的精度,提出基于DSED的预估校正算法;为大幅减少计算量,通过研究计算步数与状态量幅值和频率的关系,提出自适应方法。仿真算例证明了所提算法的有效性。

关键词：离散事件系统规范量化状态系统离散状态事件驱动预估校正自适应

来源：评论

学校读者我要写书评

暂无评论

基于组件的多分辨率动态结构建模与仿真

引用

清华大学学报（自然科学版） 2016年第9期56卷 974-979,984页

作者：彭功状毛华超张和明清华大学国家CIMS工程技术研究中心北京100084

针对复杂系统仿真中模型需要根据环境自适应改变,导致不同分辨率模型之间的一致性和并发性问题,该文提出了基于组件的多分辨率动态结构(CMDS)建模与仿真方法。该方法从高层统一控制系统动态结构变化,利用分辨率状态图实现系统仿真模型... 详细信息

针对复杂系统仿真中模型需要根据环境自适应改变,导致不同分辨率模型之间的一致性和并发性问题,该文提出了基于组件的多分辨率动态结构(CMDS)建模与仿真方法。该方法从高层统一控制系统动态结构变化,利用分辨率状态图实现系统仿真模型交互一致性,通过组件端口自适应技术达到系统仿真前后状态一致性。并在此基础上,设计了模型结构快速重构算法。最后以大系统变结构问题为例,表明CMDS能够充分利用不同分辨率模型的优势,依据具体的计算资源选择合适的分辨率模型,兼顾速度和精度。

关键词：组件式仿真动态结构多分辨率一致性离散事件系统规范

来源：评论

学校读者我要写书评

暂无评论

基于HLA/RTI的联合仿真建模技术框架

引用

系统仿真学报 2008年第11期20卷 2920-2924页

作者：曹琦何中市余磊罗挺重庆大学计算机学院重庆400044 后勤工程学院训练部重庆400016

针对复杂系统仿真建模中存在的分布式交互、协同性及动态性等问题,分别着重研究了HLA/RTI、人工生命MAS、DEVS等仿真建模技术及其相互间的联合策略,在HLA/RTI高层软件体系框架下,以人工生命MAS为系统基本单元建模,以DEVS为系统基础环境... 详细信息

针对复杂系统仿真建模中存在的分布式交互、协同性及动态性等问题,分别着重研究了HLA/RTI、人工生命MAS、DEVS等仿真建模技术及其相互间的联合策略,在HLA/RTI高层软件体系框架下,以人工生命MAS为系统基本单元建模,以DEVS为系统基础环境建模,并在此基础上,提出了一种联合仿真建模技术框架,给出了在军事后勤保障仿真建模中的应用实例。

关键词：仿真建模高层体系结构人工生命多智能体系统离散事件系统规范

来源：评论

学校读者我要写书评

暂无评论

基于DEVS的通用数据驱动实时仿真环境

引用

系统仿真学报 2006年第9期18卷 2473-2476,2520页

作者：韩守鹏姚新宇黄柯棣国防科技大学机电工程与自动化学院军用仿真研究室湖南长沙410073

良好的适应性是仿真系统生命力的重要保证之一。提高仿真的适应性需要规定良好的模型和系统描述规范,并借助于规范的仿真系统开发模型,建立集成的仿真应用环境。基于实时网络的分布式硬实时仿真在很多领域有着广泛的应用,为适合硬实时... 详细信息

良好的适应性是仿真系统生命力的重要保证之一。提高仿真的适应性需要规定良好的模型和系统描述规范,并借助于规范的仿真系统开发模型,建立集成的仿真应用环境。基于实时网络的分布式硬实时仿真在很多领域有着广泛的应用,为适合硬实时仿真的需求,将离散事件系统形式化规范进行了适当扩展,并以面向对象模型和数据驱动的仿真系统开发方法为基础,建立了一集设计、试验与分析于一体的适应性集成实时仿真环境。文章详细介绍了硬实时仿真运行支撑件及其辅助工具的具体设计,并以其在“柔性数字化航天器设计”项目中的应用举例验证了该仿真环境的合理性。

关键词：实时仿真集成环境离散事件系统规范数据驱动动态数据驱动应用系统

来源：评论

学校读者我要写书评

暂无评论

DEVS/HLA分布仿真系统的时间推进方法研究

引用

系统仿真学报 2008年第7期20卷 1744-1748页

作者：韩守鹏张鹏邱晓刚黄柯棣海军装备研究院北京100073 国防科技大学机电工程与自动化学院湖南长沙410073

离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试。DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分... 详细信息

离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试。DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分布模式下实现DEVS协议。在对DEVS/HLA环境的体系结构进行详细分析的基础上,详细研究了协调者控制和基于映射机制的两种时间推进方法,着重针对映射式方法提出了一种改进的时间推进算法,该算法能够为成员提供尽可能大的前瞻量,从而改进了DEVS/HLA系统的时间推进效率,算法的实际性能通过实验进行了验证。

关键词：离散事件系统规范高层体系结构时间管理前瞻量

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：