基于区间数的第4代战斗机空战效能评估

根据第4代战斗机所具有的典型特征,建立了第4代战斗机的空战效能评估指标体系。采用区间数特征向量法确定了效能评估指标体系中的各指标的权重,给出了定量指标和定性指标的规范化方法,提出了采用区间数形式的加权和关系进行效能指标聚合的方法。最后,通过实例验证了所建立的空战效能评估指标体系的合理,评估方法的有效、可行。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

格栅舵控制巡飞导弹侧向动态特性分析

对某型采用格栅舵进行控制的巡飞导弹进行了侧向动态特性分析;通过对飞行时格栅舵偏转提供的偏航与倾斜控制力进行研究,采用小扰动线性化理论对气动力、气动力矩与运动方程进行了线性化,选取巡飞初始状态为特征点,计算了该状态下各系数的值,建立了侧向扰动运动方程组;由扰动运动方程组分析了自由扰动运动的稳定性和运动特点,求得以舵偏为输入的各偏量传递函数,得到舵阶跃偏转下的动态响应;结果表明,在该状态下,巡飞导弹具有侧向稳定性,倾斜转弯的机动能力要远远大于侧滑转弯。     

降低OFDM信号PAPR的非线性压缩扩张算法

针对正交频分复用(OFDM)具有高峰均比的缺点,研究并提出了一种基于改进A率的能够有效降低系统峰均比的信号压缩扩张算法.仿真结果表明,与改进率压缩扩张法相比,能够更好地减小信号峰值,具有更好的系统误比特性能.     

基于排队论的维修资源需求分析方法

以装备维修过程为基础,应用排队论分析维修过程中各维修活动的基本关系,考虑多维修活动对维修资源需求的冲突问题,建立了维修过程的排队模型。以损伤装备平均修复时间不大于给定值为约束条件,以投入的维修资源总成本最少为目标,求解出维修资源需求。     

基于ARM-WindowsCE的便携式漏磁检测仪设计

为了分析漏磁信号和缺陷类型之间存在的对应关系,研制了一种适合现场检测的便携式漏磁检测仪。给出基于ARM9嵌入式结构的漏磁检测仪总体结构,该检测仪以S3C2440A处理器为核心,采用WindowsCE5.0为操作系统,以HONEYWELL公司的HMC1021磁阻传感器来获取铁磁材料表面的漏磁信号,较好地实现了漏磁检测仪的基本功能。     

工龄更换策略下的备件库存决策研究

针对单部件系统工龄更换策略下备件需求的特点,建立了工龄更换策略与备件库存控制的联合优化模型。该模型通过分析一个订购期内工龄更换间隔期T及备件最大库存水平S对系统寿命分布的影响,建立了工龄更换间隔期、订购间隔期及最大库存水平与单位时间总费用（包括维修费用和库存费用）的关系,然后以单位时间总费用最小为目标,优化工龄更换间隔期T、订购间隔期t0及最大库存水平S。最后,基于案例,运用Matlab对模型进行数值计算,结果表明模型能有效地降低单位时间的总费用。     

维修保障单元设计方法研究

针对当前缺少维修保障单元设计方法及具体操作步骤的现状,对特定维修保障力量内部维修保障单元设计问题进行了分析。从维修保障单元的概念入手,以维修任务及其维修资源需求为基础,提出了维修保障单元设计的思路,并对具体的步骤、方法进行了说明。最后,结合具体的示例,对该方法的可行性和易用性进行了验证。     

航空武器装备生产与使用最佳费用评估

航空武器装备生产与使用是全寿命周期中最重要的组成部分,这部分的最优费用研究和分析对航空武器装备发展规划和国家国防预算决策具有很重要的意义.通过对局部和总体评估指标的分析,提出了航空武器装备生产阶段、使用阶段和保障阶段的费用评估准则,最后提出了能够获得生产和使用最佳费用的措施.     

任务驱动的装备保障能力建模与仿真评价

对装备保障能力评价的研究有很多,但这些研究大都是从保障系统方面对保障能力进行了评价,属于静态评价,这类研究对装备使用过程中的动态随机因素考虑不足,影响了对装备保障能力的全面考察.以任务为驱动的保障能力评价,运用离散事件建模方法和计算机建模与仿真技术建立舰炮保障能力综合仿真模型,用仿真出的使用可用度、战备完好率和备件平均...