一类对偶平坦的黎曼度量

给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

美军模块化开放式射频架构探究

模块化开放式射频架构(MORA)通过定义针对多功能任务的开放式架构和RF系统功能分解,实现平台上硬件共享,可降低军用平台上射频系统复杂性以及尺寸、重量和功率,同时提高互操作性和配置灵活性.围绕MORA架构进行了分析和探讨,重点分析了其架构组成和功能分解情况.     

雷达虚拟维修训练中交互系统的通用性

基于USB接口技术对"通用雷达装备虚拟维修训练系统(URVMTS)"的人机交互系统进行研究,通过合理的软、硬件设计实现了系统的通用性。不同的实装操作部件经过适当的信号调理均可以通过该系统方便地实现与雷达虚拟样机之间的交互。着重介绍了交互系统的通用性设计与实现方法,包括系统的通用性设计方案,USB硬件电路的通用性设计及相应的软件开发。     

空中进攻作战出动计划禁忌搜索优化分析方法

空中进攻作战出动计划涉及多种复杂因素,大规模空中进攻作战出动计划不仅计算量大、出动强度高、架次多,而且当战场形势发生变化时,必须及时对飞机出动计划做出调整,采用手工方式制定和修改作战计划已难以适应未来空中进攻作战的要求。从分析制定空中进攻作战航空兵出动计划所涉及的诸要素出发,提出了一个较为合理的作战出动计划模型,并采用禁忌搜索求解模型的优良解,为实现计算机制定和及时修正空中进攻作战出动计划提出了一种有效的解决方法。     

基于信息论的C3I系统决策性能的评价

信息熵是描述信息系统的一种比较成功的方法.采用信息论的方法对决策系统进行描述,在考虑了决策者的有界合理性限制和达到满意性能指标的要求下,分析了单人指挥决策系统的系统性能,并在此基础上分析了多人指挥决策系统的系统性能,最后得出采用决策系统的误差概率P和相互一致性度量Q作为评价C3I系统决策性能标准的结论.     

基于Vague集的装备采购项目组织结构评价方法

在装备采购项目组织评价中引入Vague集理论,在列举现有项目组织结构类型的基础上,构建项目组织结构评价指标体系,建立各项目组织结构和理想组织结构的Vague集,计算各项目组织结构和理想组织结构的相似度量,完成对装备采购项目组织结构的评价,为装备采购项目组织设计奠定基础。     

基于有色Petri网的综电系统总线建模

针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。     

无源单站定位技术研究

无源定位技术已成为现代化战争中对抗"四大威胁"的关键技术。在研究目标来波方向(DOA)与多普勒频率的基础上,提出一种基于最小二乘估计的运动目标单站定位跟踪方法。经计算机仿真表明,该方法不仅能对运动目标进行定位,而且能对运动目标的速度、航迹等进行估计。     

一种基于多项式和α-β-γ滤波的双工跟踪模式研究

针对测控实时数据处理中,α-β-γ滤波器启动阶段弹道参数误差较大的问题,提出了一种双工的跟踪模式。该模式下α-β-γ和多项式滤波器同时对弹道参数进行滤波,只选取一套滤波后的数据输出,通过数据的优选,最终得到高精度弹道参数。理论分析和仿真结果表明:双工的跟踪模式跟踪精度高,适合实时系统应用。