期刊文献+
共找到35篇文章
< 1 2 >
每页显示 20 50 100
基于DEVS的SysML混合模型仿真代码自动生成方法
1
作者 吴新泉 叶玲 +1 位作者 高鑫 王芳 《指挥信息系统与技术》 2023年第1期81-87,共7页
针对现有的系统建模语言(SysML)构建的模型仅支持单一的离散或连续的模型仿真问题,提出了一种基于离散事件系统规范(DEVS)的离散连续混合SysML模型仿真代码自动生成方法。首先,提取了SysML仿真相关的视图和元模型;然后,基于DEVS构建了... 针对现有的系统建模语言(SysML)构建的模型仅支持单一的离散或连续的模型仿真问题,提出了一种基于离散事件系统规范(DEVS)的离散连续混合SysML模型仿真代码自动生成方法。首先,提取了SysML仿真相关的视图和元模型;然后,基于DEVS构建了代码生成相关的元模型,并定义了从SysML元模型到DEVS代码元模型的转换规则;接着,基于该转换规则开发了Sys‑ML模型文本转化为DEVS模型仿真代码的转换程序,再结合adevs框架下与模型无关代码构建了完整的系统仿真代码;最后,以防空系统案例验证了该方法的有效性。 展开更多
关键词 代码自动生成 系统建模语言 离散事件系统规范(devs) 元模型 模型转换规则
下载PDF
离散事件系统规范DEVS研究 被引量:11
2
作者 唐俊 张明清 刘建峰 《计算机仿真》 CSCD 2004年第6期62-64,59,共4页
离散事件系统是一类常见的系统 ,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法 ,它具有层次化和模块化的特点 ,利用该方法可对复杂的离散事件系统进行建模、... 离散事件系统是一类常见的系统 ,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法 ,它具有层次化和模块化的特点 ,利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型 ,给出了DEVS在耦合运算下的封闭性构造证明 ,并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法 。 展开更多
关键词 离散事件系统规范 形式化描述 封闭性 devs模型 仿真系统
下载PDF
基于Agent的DEVS形式化描述与算法实现 被引量:2
3
作者 曹琦 何中市 余磊 《解放军理工大学学报(自然科学版)》 EI 北大核心 2010年第5期493-498,共6页
为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范... 为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范以并行DEVS为基础,状态元组被扩充成为Agent特征元组;增加了体现个体智能性的Agent模型元组;并将模型端口的输入、输出扩展成为体现社会协作性的Agent消息类型。另外,还给出了Agent-DEVS模型的实现算法,并将其应用于企业生产调度的仿真建模。算法分析与仿真试验表明,Agent-DEVS的优点主要体现在建模性能上,它可以描述更加复杂的智能行为和自治行为,在计算时间上对整体复杂性的影响不大。 展开更多
关键词 智能体 离散事件系统规范 形式化 算法 生产调度
下载PDF
基于DEVS/CD++的抢险救灾物资保障仿真建模研究 被引量:2
4
作者 曹琦 何中市 余磊 《计算机应用》 CSCD 北大核心 2008年第11期2967-2969,2977,共4页
突发自然灾害条件下的抢险救灾行动是典型的离散事件系统,在分析离散事件系统规范(DEVS)模型描述的基础上,构建了抢险救灾物资保障DEVS仿真模型,分析了仿真实体,设计了仿真流程,给出了耦合模型和主要原子模型结构。并在CD++中对该模型... 突发自然灾害条件下的抢险救灾行动是典型的离散事件系统,在分析离散事件系统规范(DEVS)模型描述的基础上,构建了抢险救灾物资保障DEVS仿真模型,分析了仿真实体,设计了仿真流程,给出了耦合模型和主要原子模型结构。并在CD++中对该模型进行了仿真试验,得到了较为合理的仿真结果,为开展抢险救灾应急保障模拟训练奠定了基础。 展开更多
关键词 仿真建模 物资保障 离散事件系统规范 CD++
下载PDF
基于DEVS的BOM组件与仿真引擎研究 被引量:6
5
作者 何强 陈彬 +1 位作者 钟荣华 郝建国 《系统仿真学报》 CAS CSCD 北大核心 2010年第11期2505-2510,共6页
在组件化建模与仿真领域内,基于BOM规范的KD-XSRFrame组件建模与仿真框架得到了广泛的应用,但是以离散时间仿真为手段的设计模式使得由BOM组件构成的仿真系统性能不高。因此,如何提高运行效率成为基于BOM的组件式建模与仿真必须解决的... 在组件化建模与仿真领域内,基于BOM规范的KD-XSRFrame组件建模与仿真框架得到了广泛的应用,但是以离散时间仿真为手段的设计模式使得由BOM组件构成的仿真系统性能不高。因此,如何提高运行效率成为基于BOM的组件式建模与仿真必须解决的问题。根据现有组件系统的不足,引入离散事件的概念重新设计了BOM组件模型和仿真引擎,提出了基于离散事件系统规范的BOM组件建模框架,实现了以事件为中心的仿真引擎。测试结果表明该系统能有效地减少模型调用和引擎工作的开销,显著地提升了整个仿真系统的运行性能。 展开更多
关键词 基本对象模型 离散事件系统规范 仿真引擎 仿真模型组件
下载PDF
状态机嵌入DEVS的组合建模方法研究 被引量:5
6
作者 刘晨 王维平 朱一凡 《国防科技大学学报》 EI CAS CSCD 北大核心 2005年第5期56-61,共6页
DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离... DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例,说明嵌入状态图的DEVS用于建立离散控制系统模型的优势。 展开更多
关键词 状态机 离散事件系统描述 行为建模 组合建模
下载PDF
DEVS在IDEF0模型验证中的应用 被引量:1
7
作者 张耀鸿 易先清 +1 位作者 廖晓林 吕翔 《小型微型计算机系统》 CSCD 北大核心 2012年第9期1924-1927,共4页
IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范(DEVS)... IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范(DEVS)模型的转化方法,通过DEVS的仿真运行来对IDEF0模型进行分析和验证.该方法实现了IDEF0方法中系统分析与模型验证的有效衔接,具有扩展性和灵活性,为IDEF0模型的验证提供了支持. 展开更多
关键词 仿真 模型验证 IDEF0 devs
下载PDF
基于DEVS的通用数据驱动实时仿真环境 被引量:1
8
作者 韩守鹏 姚新宇 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第9期2473-2476,2520,共5页
良好的适应性是仿真系统生命力的重要保证之一。提高仿真的适应性需要规定良好的模型和系统描述规范,并借助于规范的仿真系统开发模型,建立集成的仿真应用环境。基于实时网络的分布式硬实时仿真在很多领域有着广泛的应用,为适合硬实时... 良好的适应性是仿真系统生命力的重要保证之一。提高仿真的适应性需要规定良好的模型和系统描述规范,并借助于规范的仿真系统开发模型,建立集成的仿真应用环境。基于实时网络的分布式硬实时仿真在很多领域有着广泛的应用,为适合硬实时仿真的需求,将离散事件系统形式化规范进行了适当扩展,并以面向对象模型和数据驱动的仿真系统开发方法为基础,建立了一集设计、试验与分析于一体的适应性集成实时仿真环境。文章详细介绍了硬实时仿真运行支撑件及其辅助工具的具体设计,并以其在“柔性数字化航天器设计”项目中的应用举例验证了该仿真环境的合理性。 展开更多
关键词 实时仿真集成环境 离散事件系统规范 数据驱动 动态数据驱动应用系统
下载PDF
基于DEVS的潜艇规避能力建模仿真研究 被引量:2
9
作者 郑强 杨日杰 +1 位作者 陈佳琪 陈贻焕 《电光与控制》 北大核心 2017年第6期96-100,共5页
针对常规潜艇对抗轻型反潜鱼雷的规避能力进行了研究。先用统一建模语言(UML)对仿真系统进行分析和设计,然后使用离散事件系统规范(DEVS)形式开发反潜鱼雷、潜艇、自航式声诱饵和噪声干扰器的模型。分析了潜艇的推进系统和鱼雷对抗系统... 针对常规潜艇对抗轻型反潜鱼雷的规避能力进行了研究。先用统一建模语言(UML)对仿真系统进行分析和设计,然后使用离散事件系统规范(DEVS)形式开发反潜鱼雷、潜艇、自航式声诱饵和噪声干扰器的模型。分析了潜艇的推进系统和鱼雷对抗系统对潜艇规避性能的影响。实验结果对潜艇系统基于仿真的采办(SBA)具有重要价值。 展开更多
关键词 规避能力 潜艇 统一建模语言 离散事件系统规范 基于仿真的采办
下载PDF
DEVS/HLA分布仿真系统的时间推进方法研究 被引量:1
10
作者 韩守鹏 张鹏 +1 位作者 邱晓刚 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第7期1744-1748,共5页
离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试。DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分... 离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试。DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分布模式下实现DEVS协议。在对DEVS/HLA环境的体系结构进行详细分析的基础上,详细研究了协调者控制和基于映射机制的两种时间推进方法,着重针对映射式方法提出了一种改进的时间推进算法,该算法能够为成员提供尽可能大的前瞻量,从而改进了DEVS/HLA系统的时间推进效率,算法的实际性能通过实验进行了验证。 展开更多
关键词 离散事件系统规范 高层体系结构 时间管理 前瞻量
下载PDF
基于VDEVS的离散制造车间虚拟实体行为模型描述方法 被引量:7
11
作者 刘怀兰 岳鹏 +1 位作者 閤辰皓 赵文杰 《计算机集成制造系统》 EI CSCD 北大核心 2021年第10期2950-2960,共11页
虚拟实体是数字孪生五维模型中重要的组成部分,其行为模型描述了物理实体在外部环境与内部运行机制作用下的实时响应及行为。针对离散制造车间数字孪生虚拟实体行为模型缺乏统一描述与精确定义的难题,提出一种使用基于值的离散事件系统... 虚拟实体是数字孪生五维模型中重要的组成部分,其行为模型描述了物理实体在外部环境与内部运行机制作用下的实时响应及行为。针对离散制造车间数字孪生虚拟实体行为模型缺乏统一描述与精确定义的难题,提出一种使用基于值的离散事件系统规范(VDEVS)对行为模型进行描述的方法。在原有数字孪生五维模型基础上定义了数字孪生车间虚拟实体分层模型,实现了其与数字孪生车间物理实体的一一映射。通过对传统离散事件系统仿真规范(DEVS)进行扩展提出了VDEVS,从而更加精确地描述离散制造车间复杂系统级、系统级、单元级虚拟实体的行为。最后,针对某加工单元,利用基于VDEVS的方法对其行为模型进行了描述。 展开更多
关键词 数字孪生车间 虚拟实体 基于值的离散事件系统规范 行为模型 离散制造
下载PDF
基于多模块分层组合模型的CAE软件耦合方法
12
作者 陈雪 曹建文 《计算机仿真》 2024年第6期481-485,共5页
为了弥补复杂装备CAE软件缺乏开放式、可组合式系统架构的短板,提出了一种基于多模块分层组合模型的全链路CAE软件耦合方法。首先,基于离散事件系统规范(DEVS)中离散事件模型+有限状态机+连续时间模型的组合模式,构建CAE软件前处理、数... 为了弥补复杂装备CAE软件缺乏开放式、可组合式系统架构的短板,提出了一种基于多模块分层组合模型的全链路CAE软件耦合方法。首先,基于离散事件系统规范(DEVS)中离散事件模型+有限状态机+连续时间模型的组合模式,构建CAE软件前处理、数值求解、后处理阶段的核心构件库。其次,采用多模块分层分级的组合模型,基于多智能体系统的事件触发驱动机制,实现全链路CAE核心软构件的自动化耦合。面向盾构/高铁应用场景的仿真结果表明,将CAE全生命周期链路进行构件化细分、自动化耦合,利于研究多因素耦合作用下的复杂装备产品设计。此外,多模块组合模型的架构支持CAE软件核心模块的灵活组合与独立部署,实现对CAE软件向云服务平台整合的支持。 展开更多
关键词 多模块 可组合式 分层分级 离散事件系统规范 耦合
下载PDF
基于DEVS的分布式仿真构件形式描述 被引量:1
13
作者 刘峻 范植华 《微电子学与计算机》 CSCD 北大核心 2008年第9期225-228,共4页
构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行... 构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行了研究.通过定理证明,该仿真耦合构件具有耦合封闭性,使得可以通过仿真原子构件和耦合构件不断地进行层次式迭代组合,构造出一个更加复杂的构件或系统,为基于DEVS的形式化组合仿真研究进行了前期理论探讨. 展开更多
关键词 离散事件系统规范 分布式仿真 构件 可组合仿真
下载PDF
一种基于Modelica语言的混合系统DEVS模型架构
14
作者 陈彬 张鹏 刘晓铖 《系统仿真技术》 2013年第1期29-37,共9页
Modelica语言采用微分方程描述系统,此外它还具备面向对象编程语言的特性,因此它不仅适用于连续系统的建模,还支持离散系统的模型架构。因此,可以将Modelica作为一种混合系统的建模语言。提出了一个Modelica语言描述的DEVS(Discrete EVe... Modelica语言采用微分方程描述系统,此外它还具备面向对象编程语言的特性,因此它不仅适用于连续系统的建模,还支持离散系统的模型架构。因此,可以将Modelica作为一种混合系统的建模语言。提出了一个Modelica语言描述的DEVS(Discrete EVent System specification离散事件系统规范)模型架构,并通过对模型的编译过程产生C++代码,获取了同时描述连续系统和离散系统建模的能力。最后给出了用Modelica语言描述的一个飞机导航控制连续-离散仿真系统的例子。 展开更多
关键词 MODELICA 离散事件系统规范 量化积分器 离散事件系统规范-Modelica编译器
下载PDF
基于DEVS原子模型的智能体离散仿真构建方法 被引量:2
15
作者 王霄汉 张霖 +2 位作者 赖李媛君 谢堃钰 胡听春 《系统仿真学报》 CAS CSCD 北大核心 2022年第2期191-200,共10页
智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真。针对智能体离散仿真中的常见问题,借助DEVS(discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态... 智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真。针对智能体离散仿真中的常见问题,借助DEVS(discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态外部事件转移控制、端口连接模式、以及强化学习事件转移表示等原子模型下智能体建模技术的介绍,给出了基于DEVS原子模型的智能体离散仿真构建方法。在网格世界与倒立摆2个环境中进行仿真验证,实验结果证明了提出方法在构建智能体交互行为和学习行为的可行性和有效性。 展开更多
关键词 智能体 devs 离散仿真 强化学习 状态转移 原子模型
下载PDF
一种基于组件的DEVS建模与仿真方法研究 被引量:2
16
作者 吴轶蕾 卿杜政 《现代防御技术》 北大核心 2010年第6期167-171,共5页
针对当前DEVS建模仿真中存在的一些主要问题,将XML和组件技术开发方法引入到仿真系统开发中。提出了基于组件的DEVS建模仿真框架,可以很好地支持仿真模型组件从静态模型描述到动态模型的调用,支持模型组件的重用和组合。
关键词 devs 模型组件 可扩展标记性语言(XML)
下载PDF
基于DEVS的柔性制造系统逻辑建模与PLC程序设计 被引量:3
17
作者 王兵 江海凡 丁国富 《航空制造技术》 CSCD 北大核心 2021年第8期41-49,共9页
针对柔性制造系统控制方案设计过程中逻辑复杂、调试周期长、调试成本高等问题,提出一种基于可试验数字孪生体的虚拟调试方法。该方法以分层的方式建立物理系统的孪生模型,基于离散事件系统规范的扩展形式构建设备层、单元层、系统层3... 针对柔性制造系统控制方案设计过程中逻辑复杂、调试周期长、调试成本高等问题,提出一种基于可试验数字孪生体的虚拟调试方法。该方法以分层的方式建立物理系统的孪生模型,基于离散事件系统规范的扩展形式构建设备层、单元层、系统层3层的逻辑模型,通过仿真对逻辑模型进行重复验证与修改。建立了逻辑模型到PLC程序的映射规则,实现了PLC程序的快速设计。最后,以某柔性制造系统为例,详细演示了逻辑建模过程及PLC程序的设计,验证了所提方法的可行性和有效性。 展开更多
关键词 柔性制造系统 可试验数字孪生体 虚拟调试 逻辑建模 离散事件系统规范 可编程逻辑控制器
下载PDF
基于DEVS^(++)的智能变电站过程层网络仿真 被引量:1
18
作者 张学军 燕美玲 +2 位作者 田俊梅 冀一鸣 张涛 《太原理工大学学报》 CAS 北大核心 2018年第1期140-146,共7页
通过介绍离散事件系统规范(DEVS)及仿真程序库DEVS++,并以过程层网络数据链路层发送器Atomic模型为例,说明了基于DEVS++开发仿真程序的主要方法,然后通过对不同组成、结构和带宽情况下过程层子网仿真试验,揭示了过程层网络的一些特性,... 通过介绍离散事件系统规范(DEVS)及仿真程序库DEVS++,并以过程层网络数据链路层发送器Atomic模型为例,说明了基于DEVS++开发仿真程序的主要方法,然后通过对不同组成、结构和带宽情况下过程层子网仿真试验,揭示了过程层网络的一些特性,验证了模型的正确性和方法的可行性。 展开更多
关键词 离散事件系统规范(devs) devs^++ 智能变电站 过程层网络 建模与仿真
下载PDF
DEVS++程序库及应用 被引量:1
19
作者 燕美玲 张学军 《电气自动化》 2018年第6期4-6,97,共4页
离散事件系统规范(DEVS)是描述离散事件系统形式化的方法,提供了层次化、模块化的描述机制,便于对复杂系统进行建模、设计、分析和仿真。DEVS++是采用C++语言实现DEVS机制的开源程序库,提供模型的基类,可直接继承或派生,减少大量程序的... 离散事件系统规范(DEVS)是描述离散事件系统形式化的方法,提供了层次化、模块化的描述机制,便于对复杂系统进行建模、设计、分析和仿真。DEVS++是采用C++语言实现DEVS机制的开源程序库,提供模型的基类,可直接继承或派生,减少大量程序的编制,便于二次开发。介绍了DEVS的建模思想及DEVS++程序库,以智能变电站过程层网络为例,搭建部分网络设备的模型,通过构建简单网络说明DEVS++在离散事件系统中的应用。 展开更多
关键词 离散事件系统规范(devs) devs++ 程序库 继承与派生 建模与仿真
下载PDF
Specification of dynamic structure discrete event systems using single point encapsulated control functions
20
作者 Alexandre Muzy Bernard P.Zeigler 《International Journal of Modeling, Simulation, and Scientific Computing》 EI 2014年第3期171-190,共20页
In Discrete Event System Specification(DEVS),the dynamics of a network is constituted only by the dynamics of its basic components.The state of each component is fully encapsulated.Control in the network is fully dece... In Discrete Event System Specification(DEVS),the dynamics of a network is constituted only by the dynamics of its basic components.The state of each component is fully encapsulated.Control in the network is fully decentralized to each component.At dynamic structure level,DEVS should permit the same level of decentralization.However,it is hard to ensure structure consistency while letting all components achieve structure changes.Besides,this solution can be complex to implement.To avoid these difficulties,usual dynamic structure approaches ensure structure consistency allowing structure changes to be done only by the network having newly added dynamics change capabilities.This is a safe and simple way to achieve dynamic structure.However,it should be possible to simply allow components of a network to modify the structure of their network,other components and/or their own structure—without having to modify the usual definition a DEVS network.In this manuscript,it is shown that a simple fully decentralized approach is possible while ensuring full modularity and structure consistency. 展开更多
关键词 Dynamic structure discrete event system specification
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部