指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

面向体系的目标选择形式化描述及分析

针对信息化条件下各类目标相互作用反制作战能力倍增的特点,进行面向体系目标选择的相关问题分析。通过分析目标体系的概念和层次结构,建立目标选择的概念模型,并进行目标选择的形式化描述与分析,提供了一种研究军事概念模型的思路和方法,有助于目标选择决策支持系统的开发与验证。     

试验环境需求分析与验证方法

为构建逼真的试验环境,首先对试验环境构建流程进行了分析,建立了试验环境需求分析框架,介绍了需求分析的背景空间、分析方法和管理与确认方法,研究了试验环境概念模型的构建方法,提出了概念模型验证的原则,并从语义、语法和语用三个方面建立了概念模型的验证指标体系,形成了一套完整的试验环境需求分析与验证的体系结构。该方法为试验环境构建提供一定的参考。     

指控系统验证相关问题研究

从指控系统验证的理论出发,梳理了相关问题,总结提炼了指控系统验证的概念,指出其具有对抗性、系统性、真实性3大特征.在分析现有指控系统验证方法优缺点的基础上,提出了基于作战仿真和指挥人员在环的指控系统验证法;最后设计了验证支持系统,对其体系结构和支撑技术进行了详细说明,重点分析了验证支持系统的仿真实现,从指控系统与作战仿真系统的无缝连接技术、仿真环境的可视化构建技术、高逼真度的作战仿真技术以及仿真控制等方面进行了具体描述.开展的指控系统综合验证法研究对促进陆军指控系统信息化建设、探索指控系统应用具有较大的意义.     

陆军分队战斗战场环境概念建模方法研究

针对陆军分队层次战斗模拟对战场环境仿真的基本要求，研究分析了在构建战场环境模型时，应该关注的战场环境要素及其分类，提出了一种构建全要素战场环境概念模型形式化方法。     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

一种嵌入式系统中软硬件故障的划分方法

软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步.给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点.在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据.     

Petri网在反导作战概念模型验证中的应用

军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键.针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念模型的验证值得深入研究.Petri网是一种应用广泛、功能较强的建模语言,适合复杂系统建模.分析比较了它的特点,探讨了其运用的思路,最后给出了其在反导作战军事概念建模验证中应用的实例.     

基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。     

基于飞参数据的飞行仿真模型验证

由于缺少真实数据的支持,飞行模拟器飞行仿真模型的验证一直缺乏有效的量化验证测试手段。针对这一现实难题,提出使用飞参数据进行模型验证的方法。通过介绍和分析飞参数据的来源、用途和特点,论证了该方法的可行性。设计和开发了飞参自动验模系统,介绍了其基本原理和结构组成,并对其中的难点和关键问题进行了深入研究分析,阐述了解决问题的思路和方法。试验结果验证了飞参验模系统的正确性和有效性,对提高飞行模拟器逼真度具有积极意义。     

M&S中周期数据质量保证

数据的有效性与精确性在M&S全周期的校核、验证与确认过程中起着重要作用.从保证全生命周期的数据质量出发,说明了数据质量保证评估的体系结构,重点介绍了从数据采样到结论生成全周期中保证数据质量的基本原理和详细步骤.     

雷诺应力模型的初步应用

针对SSG/LRR-ω雷诺应力模型,选取NASA湍流资源网站上的四个典型算例,即湍流平板边界层流动、带凸起管道流动、翼型尾迹区流动和NACA0012不同攻角绕流,开展初步的验证与确认工作,将部分结果和CFL3D进行对比。对于NACA0012翼型绕流,对比雷诺应力模型和SA模型的升力系数,结果表明:在失速攻角附近,雷诺应力模型明显优于SA模型。在此基础上,将该模型应用于DLR-F6翼身组合体的数值模拟,计算得到的机翼表面典型站位压力分布和实验值吻合良好,同时该模型捕捉到翼身交汇位置的小范围分离。     

基于建模仿真的靶标验证与确认方法研究

在武器系统试验鉴定中,靶标模拟威胁目标的逼真程度直接关系到试验结果的可信度,关系到靶场试验质量和效益。因此,在武器系统试验鉴定中科学规范地选择靶标、评估靶标对试验结果的影响至关重要。本文分析在试验选靶中进行靶标验证和确认的需求,解析相关概念,阐述了建模仿真对靶标的验证和确认的重要作用;以空中靶标为例,重点研究基于建模仿真的靶标验证与确认方法。     

超短波信道建模方法

针对超短波信道传播条件复杂,缺乏相关成熟方法和模型的现状,对当前国内外现有超短波信道模型和建模方法进行了梳理、总结和归纳。简单介绍了超短波传播特性、信道参数以及现有模型,重点梳理了在不同应用场景下,可用于超短波信道建模的方法。然后,针对基于随机传播图理论的方法进行了重点介绍,总结了基于信道参数的模型验证方法。最后,针对不同的超短波应用条件,对相关的方法进行了展望。     

应用最大熵谱估计进行导弹系统的仿真模型验证

探讨了导弹系统仿真模型验证的定量方法。依据最大熵谱估计方法分辨力高的特点，分析其近似统计特性，分别给出了两个样本和两个正态总体的一致性检验方法。仿真结果表明，利用最大熵谱估计进行有效性检验是可行的。最后给出了一个应用实例，应用谱估计方法进行寻的制导导弹数字仿真模型验证     

基于混合矩的多输出模型确认指标研究

针对随机不确定性条件下多输出计算模型与物理实验数据之间一致性难以量化度量这一问题,本文提出一组新的基于混合矩的多输出模型确认指标。在不确定情况下,同时考虑到多维输出之间的相关关系和单输出的均值,构建了由多输出数学期望列阵和协方差矩阵组成的多输出模型确认局部混合矩指标和全局混合矩指标。其中局部混合矩指标包括绝对指标(LA-3M)和相对指标(LR-3M),它们适合固定位置的多输出局部模型确认;全局混合矩指标也包括绝对指标(GA-3M)和相对指标(GR-3M),它们适合多点位置的多输出全局模型确认。通过数字算例和工程算例,并与PIT和t-pooling 面积指标进行对比,结果表明本文所提指标可行有效,能够方便地度量计算模型和物理实验之间的差异程度。     

果蝇算法优化的相关向量机在电子装备中的应用

针对电子装备渐变故障预测问题,提出一种基于果蝇算法优化相关向量机的故障预测方法。该方法将原始时间序列数据进行相空间重构处理,并基于折交叉验证和果蝇算法优化相关向量机模型的核函数参数,从而建立故障预测模型,并以某型雷达发射机速调管监测数据对模型性能进行了验证。实验结果表明,相比已有方法,该方法在全局优化、收敛速度、预测精度以及预测可靠性方面都具有一定优势。     

基于最大熵谱估计验证战术导弹的气动模型

现代谱估计方法是验证系统仿真模型的有效方法。战术导弹飞行试验的遥、外测数据记录了大量的过程参数,可以利用这些参数进行气动力和气动力矩的计算,与飞行试验过程参数进行分析比较。应用最大熵谱估计检验导弹的气动力和气动力矩模型的可信性,可以给出定量的结果。文章给出的方法可以作为战术导弹气动参数模型研究的一种辅助手段。