期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
复杂系统的可执行模型仿真方法研究 被引量:1
1
作者 何红悦 王智学 +2 位作者 朱卫星 董庆超 王庆龙 《系统工程与电子技术》 EI CSCD 北大核心 2014年第10期1966-1972,共7页
针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模... 针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。 展开更多
关键词 复杂系统 可执行模型 可执行模型代数 模型验证
在线阅读 下载PDF
武器装备体系结构可执行模型 被引量:23
2
作者 熊健 陈英武 王栋 《系统工程与电子技术》 EI CSCD 北大核心 2010年第5期966-970,共5页
探讨了可执行武器装备体系结构的总体框架,分析了建立可执行体系结构的三个阶段,提出了建立可执行模型的方法和步骤。该方法以体系总体描述、系统体系结构、作战活动图、作战顺序图以及作战规则模型等视图产品为基础,通过视图产品到仿... 探讨了可执行武器装备体系结构的总体框架,分析了建立可执行体系结构的三个阶段,提出了建立可执行模型的方法和步骤。该方法以体系总体描述、系统体系结构、作战活动图、作战顺序图以及作战规则模型等视图产品为基础,通过视图产品到仿真模型的映射机制建立可执行模型。以ExtendSim仿真工具作为可执行模型的运行环境,选取战时情报侦察监视体系作为实例研究,说明了该方法用于武器装备体系结构动态分析是可行的。 展开更多
关键词 武器装备体系 视图产品 可执行模型 情报侦察监视 ExtendSim
在线阅读 下载PDF
基于DM2的体系结构可执行模型构建方法 被引量:4
3
作者 张晓雪 罗爱民 +1 位作者 黄力 罗雪山 《国防科技大学学报》 EI CAS CSCD 北大核心 2013年第2期27-33,共7页
基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,... 基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。 展开更多
关键词 体系结构 DM2 可执行模型 对象PETRI网
在线阅读 下载PDF
基于模型转换的C4ISR体系结构可执行模型构建 被引量:6
4
作者 谢文才 于晓浩 朱鹏飞 《系统工程与电子技术》 EI CSCD 北大核心 2014年第8期1537-1543,共7页
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterpr... 为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterprise architecture specification,IDEAS),构建了C4ISR体系结构作战视图元模型;建立了对象Petri网(object Petri-net,OPN)建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型。 展开更多
关键词 C4ISR体系结构 体系结构验证 可执行模型 模型转换 对象PETRI网
在线阅读 下载PDF
基于PES的Petri网可执行模型生成方法 被引量:3
5
作者 傅炯 罗爱民 +1 位作者 罗雪山 刘俊先 《系统工程与电子技术》 EI CSCD 北大核心 2017年第5期1030-1035,共6页
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Pe... 针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。 展开更多
关键词 体系结构 体系结构验证评估 可执行模型 物理交换规范 Petri网标记语言
在线阅读 下载PDF
基于可执行模型的体系结构验证评估方法 被引量:18
6
作者 罗爱民 《计算机科学》 CSCD 北大核心 2010年第8期294-297,共4页
信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率。基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法。分析基于可执行模型的体系结构验证评估的特点,提出该方法的评... 信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率。基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法。分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容。提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性。 展开更多
关键词 体系结构 可执行模型 评估 PETRI网
在线阅读 下载PDF
基于可执行模型的DoDAF体系结构验证 被引量:4
7
作者 陈岩 王红 +1 位作者 谭贤四 李志淮 《火力与指挥控制》 CSCD 北大核心 2013年第11期99-103,共5页
针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步... 针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。 展开更多
关键词 DODAF 2 0构架 可执行体系结构模型 体系结构验证 XUML ASL
在线阅读 下载PDF
基于多模型的体系架构迭代设计方法
8
作者 赵雪梦 任天助 方哲梅 《系统仿真学报》 北大核心 2025年第6期1512-1521,共10页
为解决国防部体系架构框架(department of defense architecture framework,DoDAF)的视图模型存在动态特性表达困难、决策分析支持缺乏等问题,提出一套体系架构集成迭代设计方法。DoDAF视图模型从多视角整合和表达作战相关信息;ExtendSi... 为解决国防部体系架构框架(department of defense architecture framework,DoDAF)的视图模型存在动态特性表达困难、决策分析支持缺乏等问题,提出一套体系架构集成迭代设计方法。DoDAF视图模型从多视角整合和表达作战相关信息;ExtendSim可执行模型模拟作战体系架构在多场景下的涌现行为和动态特性;决策模型通过多目标决策规则对架构方案进行量化分析和选择,最终形成“视图-仿真-决策-迭代”的体系架构集成迭代设计方法,并明确架构模型设计流程与模型间数据交互路径。仿真实验验证了其可行性。 展开更多
关键词 作战体系 体系架构 国防部体系架构框架 可执行模型 迭代设计
在线阅读 下载PDF
可执行能力需求模型的动作语义研究 被引量:1
9
作者 王智学 张炜钟 +1 位作者 赵文 姜志平 《系统工程与电子技术》 EI CSCD 北大核心 2011年第12期2662-2667,共6页
针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型... 针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。 展开更多
关键词 统一建模语言 能力需求 动作语义 可执行模型
在线阅读 下载PDF
时间触发控制系统模型的构建与执行
10
作者 廖晓文 廖京盛 《组合机床与自动化加工技术》 2008年第7期66-68,共3页
时间触发系统是针对关键性安全控制系统应用的首选,文章在分析传统UML方法在时间触发控制系统上的应用缺陷的基础上,阐述了针对时间控制触发系统的UML表述,并通过无缝结合UML序列图与状态图的方法,建立可通过UML虚拟机执行的模型,避免... 时间触发系统是针对关键性安全控制系统应用的首选,文章在分析传统UML方法在时间触发控制系统上的应用缺陷的基础上,阐述了针对时间控制触发系统的UML表述,并通过无缝结合UML序列图与状态图的方法,建立可通过UML虚拟机执行的模型,避免了模型设计说明与实现分离的问题,模型的可移植性也获得了增强。 展开更多
关键词 时间触发控制系统 可执行模型 状态图 序列图
在线阅读 下载PDF
基于xUML的C^4ISR系统可执行对象模型设计 被引量:7
11
作者 岳增坤 陈炜 +1 位作者 夏学知 张庆海 《系统仿真学报》 CAS CSCD 北大核心 2009年第8期2190-2194,共5页
C4ISR系统自身复杂性和军事需求多变性,使得系统设计风险增加,研制难度愈来愈大。把模型驱动体系结构MDA的思想和可执行建模语言xUML引入C4ISR系统的设计研制过程中,详细分析了可执行对象模型对于C4ISR系统研制的意义,给出了基于xUML的C... C4ISR系统自身复杂性和军事需求多变性,使得系统设计风险增加,研制难度愈来愈大。把模型驱动体系结构MDA的思想和可执行建模语言xUML引入C4ISR系统的设计研制过程中,详细分析了可执行对象模型对于C4ISR系统研制的意义,给出了基于xUML的C4ISR系统可执行对象模型设计方法和步骤,并通过水面舰船的实例验证了该方法的可行性。该方法对系统结构化分析、动态逻辑验证、性能测量评价,而且在描述能力、可理解性和可分析性等方面比基于Petri网的可执行模型都有很大改善。 展开更多
关键词 C^4ISR 体系结构 可执行对象模型 模型验证 DODAF
在线阅读 下载PDF
一种基于OOPN的可执行对象结构模型 被引量:2
12
作者 林奕 闫杰 +1 位作者 曾小荟 张凯 《计算机工程》 CAS CSCD 北大核心 2007年第13期13-15,共3页
指出了UML的多视图模型存在缺乏统一语义模型的不足,提出了一种利用面向对象Petri网(OOPN)统一描述面向对象系统结构和行为模型的解决方法,即可执行对象结构模型(EOSM)。该方法将对象结构模型表示为可执行的OOPN子网,实现了对象的多个... 指出了UML的多视图模型存在缺乏统一语义模型的不足,提出了一种利用面向对象Petri网(OOPN)统一描述面向对象系统结构和行为模型的解决方法,即可执行对象结构模型(EOSM)。该方法将对象结构模型表示为可执行的OOPN子网,实现了对象的多个行为间的结构化动态耦合。研究表明,EOSM模型可以实现对象的结构模型与行为模型的统一表示。 展开更多
关键词 面向对象 PETRI网 UML 可执行对象结构模型
在线阅读 下载PDF
可执行元模型方法的研究与应用 被引量:2
13
作者 包铁 刘淑芬 戚志涵 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2009年第1期69-74,共6页
提出一种基于可执行元模型的模型驱动开发方法,解决了软件开发过程中面临的灵活性、多样性和易变性问题.以国际对象管理组织元模型规范中的模型为基础,采用语言工程的研究方法进行元模型可执行技术研究,包括可执行元模型的结构、抽象语... 提出一种基于可执行元模型的模型驱动开发方法,解决了软件开发过程中面临的灵活性、多样性和易变性问题.以国际对象管理组织元模型规范中的模型为基础,采用语言工程的研究方法进行元模型可执行技术研究,包括可执行元模型的结构、抽象语法、具体语法和语义,并结合一个构建面向方面语言实例进行说明. 展开更多
关键词 软件开发方法 可执行模型 语法 语义
在线阅读 下载PDF
基于SDL的硬实时调度可执行分析模型 被引量:1
14
作者 杨仕平 熊光泽 陈慧 《计算机科学》 CSCD 北大核心 2002年第7期142-145,共4页
1引言 在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验... 1引言 在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V&V)及代码的自动生成同步进行. 展开更多
关键词 软件开发 嵌入式实时系统 软件代码 SDL 硬实时调度可执行分析模型
在线阅读 下载PDF
模型驱动的危机事件快速建模与分析方法 被引量:5
15
作者 李明浩 杨克巍 +1 位作者 徐建国 谭跃进 《系统工程与电子技术》 EI CSCD 北大核心 2016年第9期2055-2064,共10页
以2015年底俄土战机冲突事件为例,建立了基于模型驱动方法的快速建模与仿真分析框架,为类似军事冲突及争端事件应急判断提供快速建模与决策分析支持。通过场景建模、可执行逻辑分析和可视化仿真技术分别对危机事件进行静态结构建模、动... 以2015年底俄土战机冲突事件为例,建立了基于模型驱动方法的快速建模与仿真分析框架,为类似军事冲突及争端事件应急判断提供快速建模与决策分析支持。通过场景建模、可执行逻辑分析和可视化仿真技术分别对危机事件进行静态结构建模、动态行为分析以及场景仿真验证。同时,利用具有自主知识产权的支持快速元模型定制的多视图建模工具ModelLink,与第三方分析与仿真工具集成,形成了以ModelLink为输入的跨平台模型自动生成、分析与互操作的分析链路,支持快速参数变更、直观可视化行为调整的敏捷响应。面向俄土战机事件,利用俄土双方及第三方关于事件细节的开源信息,构建了两种基本场景模型,通过对比不同方案的可执行逻辑分析以及仿真过程参数分析结果,校验了双方在事件声明中细节的合理性与真实性,同时支持后续不断补充开源信息后的模型调整与快速结论生成,具有很好的实用性。 展开更多
关键词 危机事件 模型驱动 模型 快速建模与分析 可执行模型 STK仿真
在线阅读 下载PDF
基于ROAD-CPN业务架构的可执行建模方法 被引量:6
16
作者 黄凤兰 倪枫 +2 位作者 刘姜 张敬鸿 拓开慧 《上海理工大学学报》 CAS CSCD 北大核心 2023年第5期534-542,共9页
开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri... 开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri网(CPN)可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型(RM)、组织模型(OM)、活动模型(AM)和数据模型(DM),建立4类模型不同描述形式与CPN建模语言间的对应关系,进而提出以RM,OM,AM和DM为主体的可执行模型五阶段建模方法。最后,以幼儿园智能晨检机器人系统业务架构为例,验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成,打破了业务架构建模语言和CPN建模语言之间的限制。 展开更多
关键词 系统架构 着色PETRI网 开放组织架构框架 业务流程 可执行模型
在线阅读 下载PDF
基于SysML系统模型的动态性能效能评价 被引量:1
17
作者 何志辉 王明哲 《兵工自动化》 2006年第7期32-34,43,共4页
基于系统建模语言(SysML)的系统模型动态性能效能评价,采用一组性能指标参数值联系系统可执行模型。该评价步骤包括:系统分析与设计、建立CPN(着色Petri网)可执行模型、模型验证、性能分析和效能测定。
关键词 动态性能效能评价 系统建模语言(SysML) 可执行模型 着色Petri网(CPN)
在线阅读 下载PDF
基于fUML的C4ISR体系结构可执行建模及分析 被引量:4
18
作者 何红悦 王智学 +1 位作者 王庆龙 朱卫星 《系统工程与电子技术》 EI CSCD 北大核心 2014年第9期1874-1881,共8页
由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR... 由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR体系结构的可执行建模元模型,使用它们来构建C4ISR体系结构的可执行模型;定义可执行模型的代数语义域——可执行活动模型代数(executable activity model algebra,EAMA),使用语义函数将可执行模型的行为语义转换为EAMA的进程项;定义EAMA的操作语义作为进程项的执行规约,通过对进程项的仿真执行来实现C4ISR体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。 展开更多
关键词 C4ISR体系结构 可执行建模 fUML 可执行活动模型代数 模型验证
在线阅读 下载PDF
基于CPN的城市智能交通信号控制系统建模 被引量:6
19
作者 王剑波 高洁 王明哲 《计算机工程》 CAS CSCD 北大核心 2004年第8期178-180,共3页
提出了一种城市交通控制系统的分布式结构及控制策略,介绍了CPN(Colored Petri Nets)的基本概念及建模特性,着重探讨了借助CPN建模技术对城市智能交通信号控制系统进行的建模分析。
关键词 CPN 可执行模型 交通信号控制 信号配时
在线阅读 下载PDF
基于SysML系统设计的动态性能效能评价 被引量:5
20
作者 何志辉 王明哲 《系统工程与电子技术》 EI CSCD 北大核心 2006年第11期1712-1716,共5页
阐述符合DoDAF标准的SysML系统体系结构设计、设计方案的可执行模型和定量化系统动态性能效能评价。通过作战案例分析,提出了指挥自动化系统体系结构设计过程中建立可执行模型的一般步骤,体系结构设计的可执行模型转化方法,系统性能评... 阐述符合DoDAF标准的SysML系统体系结构设计、设计方案的可执行模型和定量化系统动态性能效能评价。通过作战案例分析,提出了指挥自动化系统体系结构设计过程中建立可执行模型的一般步骤,体系结构设计的可执行模型转化方法,系统性能评价体系的构建和动态性能效能测量方法。从而解决了由系统建模语言(SysML)实现的系统体系结构设计的动态评价问题。 展开更多
关键词 系统建模语言 可执行模型 动态性能效能评价
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部