导读:本文包含了可执行体系结构描述论文开题报告文献综述及选题提纲参考文献,主要关键词:离散事件系统规范,可执行体系结构,系统的系统,建模与仿真
可执行体系结构描述论文文献综述
胡建鹏,黄林鹏[1](2016)在《基于P-DEVS的可执行体系结构建模与仿真方法》一文中研究指出可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的叁大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。(本文来源于《系统仿真学报》期刊2016年02期)
何红悦,王智学,王庆龙[2](2015)在《一种面向C~4ISR系统能力需求的可执行体系结构框架》一文中研究指出针对当前面向C4ISR系统能力需求的体系结构模型难以仿真验证的问题,研究了一种面向C4ISR系统能力需求的可执行体系结构框架。从分析体系结构模型的仿真需求入手,构建可执行体系结构一体化建模与仿真的概念模型,然后依据该概念模型,设计建模与仿真的相关视图,为实现一体化建模与仿真打下基础。(本文来源于《第叁届中国指挥控制大会论文集(上册)》期刊2015-07-07)
何红悦,王智学,王庆龙,朱卫星[3](2014)在《基于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体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。(本文来源于《系统工程与电子技术》期刊2014年09期)
谢文才,于晓浩,朱鹏飞[4](2014)在《基于模型转换的C4ISR体系结构可执行模型构建》一文中研究指出为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterprise architecture specification,IDEAS),构建了C4ISR体系结构作战视图元模型;建立了对象Petri网(object Petri-net,OPN)建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型。(本文来源于《系统工程与电子技术》期刊2014年08期)
陈岩,李志淮,谭贤四,朱刚[5](2014)在《基于xUML的DoDAF可执行体系结构开发与验证》一文中研究指出可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于xUML的可执行体系结构开发与验证的方法及步骤。通过反导预警作战系统体系结构开发实例,验证了方法的可行性。最后,将此方法与其他方法进行了比较。(本文来源于《系统仿真学报》期刊2014年01期)
李龙[6](2013)在《基于元模型的可执行体系结构建模方法》一文中研究指出可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足,提出了DoDAF元模型向着色Petri网转换的可执行建模方法,通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用,建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。(本文来源于《军事运筹与系统工程》期刊2013年04期)
陈岩,王红,谭贤四,李志淮[7](2013)在《基于可执行模型的DoDAF体系结构验证》一文中研究指出针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。(本文来源于《火力与指挥控制》期刊2013年11期)
张晓雪,罗爱民,黄力,罗雪山[8](2013)在《基于DM2的体系结构可执行模型构建方法》一文中研究指出基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。(本文来源于《国防科技大学学报》期刊2013年02期)
何红悦,王智学,王庆龙,董庆超[9](2012)在《基于fUML的DoD体系结构可执行建模与分析》一文中研究指出针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML元模型入手,得到DoD体系结构可执行元模型,使用这些可执行元模型来构建DoD体系结构的可执行模型.为了使可执行模型形成一个统一的执行体,定义了可执行模型中核心元素的执行关系及可执行过程.最后使用fUML模型的可执行库来实现DoD体系结构模型的可执行分析.(本文来源于《社会经济发展转型与系统工程——中国系统工程学会第17届学术年会论文集》期刊2012-10-26)
陈岩,谭贤四,李志淮,朱刚[10](2012)在《基于xUML的DoDAF可执行体系结构构建》一文中研究指出为构建可执行体系结构,实现体系结构的仿真执行,获取体系结构的动态信息,验证其动态特性,针对可执行体系结构开发问题,首先分析了DoDAF V2.0和模型驱动体系结构(MDA)的核心开发思想,讨论了以MDA指导DoDAF V2.0可执行体系结构开发的理论基础;提出了以MDA为开发指导思想,采用体系结构开发语言xUML,使用ASL描述信息的DoDAF V2.0可执行体系结构的开发方法,给出了具体的开发步骤;最后结合实例,检验了该方法的可行性和有效性.(本文来源于《空军雷达学院学报》期刊2012年04期)
可执行体系结构描述论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
针对当前面向C4ISR系统能力需求的体系结构模型难以仿真验证的问题,研究了一种面向C4ISR系统能力需求的可执行体系结构框架。从分析体系结构模型的仿真需求入手,构建可执行体系结构一体化建模与仿真的概念模型,然后依据该概念模型,设计建模与仿真的相关视图,为实现一体化建模与仿真打下基础。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可执行体系结构描述论文参考文献
[1].胡建鹏,黄林鹏.基于P-DEVS的可执行体系结构建模与仿真方法[J].系统仿真学报.2016
[2].何红悦,王智学,王庆龙.一种面向C~4ISR系统能力需求的可执行体系结构框架[C].第叁届中国指挥控制大会论文集(上册).2015
[3].何红悦,王智学,王庆龙,朱卫星.基于fUML的C4ISR体系结构可执行建模及分析[J].系统工程与电子技术.2014
[4].谢文才,于晓浩,朱鹏飞.基于模型转换的C4ISR体系结构可执行模型构建[J].系统工程与电子技术.2014
[5].陈岩,李志淮,谭贤四,朱刚.基于xUML的DoDAF可执行体系结构开发与验证[J].系统仿真学报.2014
[6].李龙.基于元模型的可执行体系结构建模方法[J].军事运筹与系统工程.2013
[7].陈岩,王红,谭贤四,李志淮.基于可执行模型的DoDAF体系结构验证[J].火力与指挥控制.2013
[8].张晓雪,罗爱民,黄力,罗雪山.基于DM2的体系结构可执行模型构建方法[J].国防科技大学学报.2013
[9].何红悦,王智学,王庆龙,董庆超.基于fUML的DoD体系结构可执行建模与分析[C].社会经济发展转型与系统工程——中国系统工程学会第17届学术年会论文集.2012
[10].陈岩,谭贤四,李志淮,朱刚.基于xUML的DoDAF可执行体系结构构建[J].空军雷达学院学报.2012