可执行模型相关论文
随着由海向陆的濒海作战方式成为强权国家干涉地区冲突的主导,海岸防御作战系统在国防建设中的地位越来越举足轻重。针对当前海岸......
针对C4ISR体系结构验证评估过程中,由于模型不可执行造成的诸多问题,本文提出了一种基于fUML的体系结构可执行建模及分析方法.从扩......
该论文的主要内容,即是在针对这一专用领域的CASE工具开发的九五军事预研项目的基础上完成的.论文主要围绕军预研项目中采用的嵌入......
多年来，企业为了赢得市场竞争，都在不断进行内部改造，而企业运作方式的变化引发了企业需求的变更。对于企业MIS系统这类高度复杂、需......
针对通信对抗装备论证和研制对系统仿真和评估的需求,本文对扩展Petri网进行了重新定义,并在此基础上通过举例给出了基于扩展Petri......
列控系统需求工程是列控系统发展的重要组成部分,需求规范验证是需求工程建设的重要环节,它是降低系统开发风险和项目成本的有效手......
Frederick Brooks在1986年提出了“银弹定律”，做出了“十年内，没有任何单独的软件工程进展可以使软件生产率有数量级的提高”的定论......
本文将采用业界主流的基于模型的系统工程(Model-Based Systems Engineering,MBSE)方法论—IBM Rational HarmonySE,进行航电系统......
时间触发系统是针对关键性安全控制系统应用的首选，文章在分析传统UML方法在时间触发控制系统上的应用缺陷的基础上，阐述了针对时间......
针对以往发电集团水力发电企业在信息化过程中存在的功能重复开发实施、开发成本居高不下、后期系统维护代价较高的情况,文章提出......
成像侦察卫星系统内部关系复杂、任务需求种类较多，利用基于町执行模型架构的系统工程对其进行建模研究，可以有效地实现从模型到仿真......
本文给出了C4ISR体系结构的概念，描述了体系结构设计师的任务和作用，论述了建立其结构框架的必要性，介绍了这种体系结构开发的通用指......
当前UML建模技术逐渐被很多企业接受、认可，但由于用它建造的系统模型不可执行，难以对模型正确性进行验证，阐述了基于eXecutable UML......
介绍了基于eXecutable UML的MDA软件工程方法的概念，通过在实际开发中运用eXecutable UML对网上购物系统的建模的例子来进一步阐述......
探讨了可执行武器装备体系结构的总体框架,分析了建立可执行体系结构的三个阶段,提出了建立可执行模型的方法和步骤。该方法以体系......
基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点，但当前的研究没有将两者结合起来。文章基......
对如何获得C4ISR体系结构的可执行模型进行了研究,也就是,如何将C4ISR体系结构描述的多个模型转换成可执行模型.从活动模型中获得......
基于系统建模语言（SysML）的系统模型动态性能效能评价，采用一组性能指标参数值联系系统可执行模型。该评价步骤包括：系统分析与设计、......
C~4ISR系统体系结构是指挥信息系统各部件的结构、它们之间的关系以及制约其设计和随时间演化的原则和指南。在C~4ISR系统的研制与......
信息化技术的快速发展使得软件系统的规模越来越大、更新换代的速度越来越快,开发过程中引入错误的可能性也越来越大。为了尽可能......
阐述符合DoDAF标准的SysML系统体系结构设计、设计方案的可执行模型和定量化系统动态性能效能评价。通过作战案例分析，提出了指挥自......
针对目前基于能力的需求建模方法在形式化以及验证方面的不足，借鉴统一建模语言 （ unified roodeling language, UML）动作语义，提出了......
针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义......
以2015年底俄土战机冲突事件为例,建立了基于模型驱动方法的快速建模与仿真分析框架,为类似军事冲突及争端事件应急判断提供快速建......
针对体系组分和需求动态演化等挑战,提出利用可执行体系结构建模与分析辅助体系顶层设计,尽早获取体系建设的关键信息.首先,提出了......
提出了一种城市交通控制系统的分布式结构及控制策略，介绍了CPN(Colored Petri Nets)的基本概念及建模特性，着重探讨了借助CPN建模技......
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4IS......
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specif......
针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML......
目前,对战略预警系统(Strategic Early Warning System,SEWS)的相关研究已成为热点,而在网络中心战意义下的SEWS体系建模及评估技......
C~4ISR系统需求工程是我军信息化建设的重要组成部分,需求验证是需求工程建设的重要环节,它是降低系统开发风险和项目成本的有效手......
体系结构可执行研究是体系结构设计方案验证评估的重要途径。分析了现有体系结构可执行研究的方法,介绍了可执行体系结构的研究现......
知识正在成为现代组织中最有价值的资源之一,知识的有效使用和共享能够支持人们更好地制定决策、求解问题或产生新的信息和知识。......
随着软件应用领域的不断扩展和深入,软件系统的规模和复杂性也在逐渐扩大和提高,使得软件设计开发的难度和软件系统潜在的问题也日......
信息系统体系结构设计是系统开发过程中的一个关键环节，正确评估体系结构能够提高系统开发效率。基于可执行模型的体系结构验证评估......
作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定......
