基于元模型的可执行体系结构建模方法

可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足,提出了DoDAF元模型向着色Petri网转换的可执行建模方法,通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用,建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。     

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.     

基于AndroMDA的实时系统代码生成技术研究

针对实时系统软件的代码生成技术，基于开源软件AndroMDA，分析并建立了实时系统平台的PSM元模型，研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则，最后给出了模型转换的实现算法。应用效果分析表明，该方法与LACATRE和手工编码相比，开发软件的效率和质量都有较大的提高。     

武器装备体系能力多视图模型研究

针对武器装备体系能力概念抽象、关系复杂特点导致建模困难、重用性差、语义不一致等诸多问题,提出了一种基于本体的能力多视图模型构建方法,建立了6个能力视图的元模型.该方法首先明确能力领域问题,确定武器装备体系能力领域核心本体及构建原则,然后采用形式化方法描述本体,建立核心本体的关系模型,最后面向能力视图内容建立元模型,通过...     

基于元模型的军事信息系统体系结构建模方法

为了实现不同体系结构框架方法论及体系结构工具下所开发体系结构的可理解、可比较、可交换,促进体系结构数据的共享和重用,提出了基于元模型的军事信息系统体系结构建模方法;以模型驱动体系结构(MDA)思想为基础,研究了体系结构元模型到支持体系结构建模语言的转换方法;设计了元模型规范下的体系结构建模的实现方法;以作战规则模型(OV - 6a)的IDEF0建模为例分析了转换方法所涉及核心规则的具体实现,说明了该方法的可行性和有效性.     

装备维修系统的组织模型研究

综述了组织模型的研究现状,用维修组织的存在环境、构成要素、维修目标、维修策略和存在时间建立了复杂装备维修系统的形式化模型,分析并研究了维修组织要素之间的交互、隶属与协作关系,定义了维修系统的元组织。该方法可描述动态复杂条件下的维修系统,有利于装备维修保障信息系统的计算机建模与实现。     

基于MDA的HLA系统开发流程与框架设计

HLA作为IEEE认定的分布式仿真标准，随着在军事、民用等仿真领域的广泛运用，其自身的模型重用性、互操作性等不强的弱点逐渐暴露出来，越来越不能满足大型复杂仿真系统的需要。将MDA方法引入HLA仿真系统设计中，尝试用MDA的模型思想对HLA系统进行开发，提升HLA的模型重用性和互操作性。对MDA在HLA系统中各种模型的设计和表述方式进行了分析研究，提出了一个基于MDA开发HLA仿真系统的开发流程，建立了一个基本开发框架，从软件开发的角度提高了系统的开发效率。     

工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

需求开发的WRSPM参考模型研究

针对需求开发过程中涉及到的系统以及各系统之间的关系,提出了需求开发的WRSPM五元素参考模型,对参考模型中元素和元素之间的关系进行了较明确的定义,做出对参考模型的形式化描述。比较分析了将WRSPM参考模型与功能文档描述模型(FDM),并得出了参考模型的特点。     

同一地球椭球体上不同坐标系之间的坐标转换

对于在确定的椭球体上不同位置建立的坐标系,推导了它们之间的相互转换公式。其结果具有普遍适用性,且坐标转换精度很高,具有广泛的使用价值,还可以进一步推广到空间任意点之间的坐标转换,在大地测量、定位、战术资源共享等诸多领域具有重要应用。     

潜艇战术应用软件及其建模

潜艇战术软件研制是一项复杂的系统工程,建立模型是这项系统工程中的核心部分,它直接关系到潜艇战术软件的各项性能指标。对潜艇战术软件的建模问题进行了探讨和研究。     

基于小采样周期的机动目标模型跟踪性能研究

分析了小采样周期条件下“当前”统计模型、基于速度估计的自适应模型及自适应常加速度模型,对3种模型的稳态性能和动态性能进行了分析比较,并对3种模型的机动目标跟踪效果进行了仿真。仿真结果表明：小采样周期条件下,3种模型的稳态跟踪性能一致,而在动态跟踪条件下自适应加速度模型性能更优。     

战时装备保障过程建模仿真研究

目前战时装备保障方案制定,多是依靠基本原则和经验,过程描述随意性大,同时保障活动的组织缺乏有效的手段,导致方案缺乏科学性、可操作性差。为此借鉴过程管理的思想,应用IDEF3方法建立装备保障准备阶段过程模型,形成规范的、易于交流的保障流程,依据过程模型采用离散事件仿真的方法对不同活动组合的过程效率进行了分析,改变以往根据排队理论经过大量计算分析效率的方式,实现战时快速准确优化过程的目的,为装备保障方案的形成提供方法支持。     

基于MDA的HLA仿真技术框架设计

近年来MDA在分布式仿真特别是在HLA仿真技术中的应用情况缺乏对MDA与HLA结合的仿真技术整体性的认识,不利于仿真系统开发的宏观指导.基于MDA的HLA仿真技术框架的提出就是从系统的角度研究基于MDA的仿真系统开发过程.该框架从模型通用性的静态角度和建模仿真过程的动态角度出发,分为HLA仿真系统主题域的划分和HLA仿真系统开发过程两部分进行了全面的分析,为今后开展基于MDA的HLA仿真研究提供了一种宏观的指导方法.     

雷达信号级仿真中的模型耦合问题研究

针对目标回波小尺度幅度起伏特性模型进行了介绍。对雷达线性接收机和对数接收机的特性和模型进行了对比。对雷达信号级仿真中,由于雷达采用非线性对数接收机造成的目标回波小尺度幅度起伏特性模型与接收机模型相互耦合的原因和所产生的影响进行了分析。提出对这样的模型耦合问题必须解决,以保证仿真研究结果的有效性。     

离散作战模型的连续化兰切斯特模型研究

通过兰切斯特方程的分析,定义了作战力量变换系数概念,推导出作战力量变换系数的兰切斯特方程,得到了衡量交战双方作战力量等效值,而作战力量变换系数的兰切斯特方程正是适用于离散型作战的兰切斯特作战模型,使具有深刻影响力的兰切斯特方程适用范围扩大到了交战双方离散数量型的作战领域,从而赋予兰切斯特方程新的生命,为复杂的格斗作战分析提供了新的工具。     

坦克射击视景建模与实时动态显示

根据坦克射击视景景物的特征,采用了一种较优越的方案将视景进行分类建模.对景物模型进行简化和各种实时技术处理后,能在微机图形工作站上实时动态显示逼真的坦克射击视景.     

二维浅水波并行模式的伴随

以二维浅水波为例,详细探讨如何开发并行模式的切线性模式和伴随模式。切线性模式的并行机制和原始模式一致,而伴随模式不同。三个模式采用一致的数据剖分方法可提高并行效率。在集群并行计算机系统上采用一维数据剖分,切线性模式的通信量与原始模式相当,而计算量几乎是原始模式的2倍;伴随模式的通信量大约是原始模式的2倍,而计算量几乎是原始模式的3倍。在三个模式中,切线性模式的加速比最大。     

战术互联网网络管理模型

战术互联网具有与一般通信网络不同的特征与要求,为此其网络管理需要采用新的方案来解决。采用模型分析方法,对战术互联网网络管理的活动模型、功能模型、组织模型、运行模型、通信模型与视图模型进行了分析研究,从而为战术互联网网络管理方案确立了总体框架,并为战术互联网网络管理系统设计提供了指导思路。基于所研究的模型,可以使战术互联网网络管理系统适应战术互联网的特殊性,满足战术互联网的作战运用需求,保障战术互联网充分发挥作战效能。     

利用软件生命周期模型改进对软件系统的维护

软件维护一直被认为是软件产品交付后的过程,但实际上它贯穿于生命周期中每个阶段并不是一个独立阶段。文章针对软件维护对软件生命周期模型进行了重新定义;从模型的实现和可行性进行了详细地分析;并且强调了软件维护阶段是一个微型的开发周期,它开始于产品的某个维护请求,终于软件产品的退役;最后讨论了目前常用的维护方法(如再工程和逆向工程)在这个生命周期模型中的应用。