基于置信椭球的V/M故障检测与隔离算法改进

动态系统的故障诊断技术在组合导航系统中有着重要意义.首先介绍了一类经典状态一致性故障检测/隔离方法-Kerr的基于置信椭球的V/M处理方法的原理与处理过程.Kerr的V/M方法以偏差方向的累计和进行隔离判断,可能发生两种情况下的隔离模糊问题.为此,对Kerr的经典V/M算法进行了改造,在其投票函数中采用偏差距离的累计代替偏差方向的累计,使得故障隔离的敏感性大幅度增加,解决了经典V/M算法在实用中存在的第一种情况下的隔离模糊问题.采用算例证明了新方法的有效性.     

关注基层非正式群体

所谓非正式群体就是一种自发形成的、在心理一致性或相容性基础上建立起来的群体。非正式群体是在亲密交往过程中形成的，具有显著的感情色彩，其成员间的关系一般没有明确规定。这种非正式群体广泛存在于社会的各个角落，也存在于正式群体中，在基层部队也不例外。     

导弹仿真试验结果静态一致性检验及其置信度

分析了仿真试验结果与飞行试验结果进行静态一致性检验的方法,分为参数方法和非参数方法。然后讨论一致性检验的置信度,给出了置信度与弃真概率和采伪概率的关系并说明要选择恰当的显著性水平,以保证检验的置信度具有合理性。     

层次分析法一致性的研究

本文利用灰色理论及数值分析方法,并结合实例对层次分析法的一致性予以研究。通过这些结果可为层次分析方法中专家打分的可靠性提供一些依据。     

中间产品C~4ISR体系结构动态行为语义一致性验证方法

目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法.针对C4ISR体系结构动态行为的语义一致性.首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri网模型,利用该对象Petri网模型进行动态行为语义一致性验证,最后通过一个案例对其进行了说明.     

基于满足作战使用要求的弹道一致性评定判据

为克服现行弹道一致性评定方法的局限性,以实现通用射表和满足作战使用要求为原则,从解决工程应用问题实际出发,基于目标尺寸特征、弹着点散布特征、终点效应特征,从命中准确度、弹着点散布、弹丸作用范围3个方面提出了新的弹道一致性检验判据,对原评定方法进行了补充完善,为弹道一致性指标论证与试验评定提供了参考方案。     

远程火炮密集度试验多组数据的处理方法

远程火炮密集度试验需要进行多次射击,同一试验条件下的多组数据通常认为来源于同一分布,但却未见于证明。利用统计检验方法,给出了对试验数据方差齐性及均值相等性的检验方法,并在多组试验数据一致性的基础上给出了试验数据均值、方差的无偏估计,同时在既定置信度下给出了其置信区间,为远程火炮精度检测提供了工具。     

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

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

飞机CGF用于战术模拟训练的关键因素研究

根据战术模拟训练系统的实际需要,飞机CGF能够提高模拟训练的规模、复杂度和真实性,完成战术进攻和防御任务。首先分析了飞机CGF的系统组成和仿真粒度,重点研究了影响飞机CGF性能的关键因素,包括飞行控制方法、智能决策水平、雷达火控模型以及组件化的开发方式和飞机CGF组网的关键因素,即统一的网络体系标准、规范的数据接口、时间和空间的一致性及统一的导调管理;最后实现歼击机CGF系统。实践证明,歼击机CGF能够顺利地完成作战任务,达到预定的目的。     

仿真系统可信度分析

系统仿真可信度研究是合理利用系统仿真结果的前提。分析了系统仿真可信度的研究现状,提出了利用层次分析法进行可信度评估的思路,阐述了仿真试验结果与飞行试验结果进行静态一致性检验和动态一致性检验的方法。讨论了静态一致性检验的置信度,给出了置信度与弃真概率和采伪概率的关系,为提高和考核系统仿真精度奠定了基础。