基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

一类拟单生过程与GI/PH/1排队

利用结构矩阵分析的方法得到了一类拟单生过程在离散情形时普通遍历、Ⅰ遍历和几何遍历的关系,并利用得到的结论对排队论中的一类问题作了处理,因而具有理论和实际应用的价值。     

基于二叉树与单链表的XML文件解析

IEEE-P1671标准的逐步推出使得XML文件在自动测试系统中应用越来越多,用户使用XML来进行自动测试设备与测试信息的标准化交换,XML文件的解析在交换过程中则显得非常重要,基于树遍历的XML文档解析方式(DOM)在更新与结构关系判断方面存在不足.为了解决此类问题,提出了基于二叉树与单链表的XML文件解析方法,并在LabWindows CVI开发环境下具体编程实现了这种方法.     

火控系统BIT设计与实现

采用层级BIT设计架构,建立了系统级和模块级BIT系统设计模型。设计了PBIT、CBIT、IBIT测试项探测函数、恢复函数等节点属性的统一数据结构。引入故障树理论设计了PBIT、CBIT、IBIT通用自动遍历故障树测试算法,可以实现多种火控系统的"自下而上"的节点测试和"自上而下"的故障诊断。在某火控系统预研项目的应用表明,本BIT系统的设计方案合理可行,易于维护,可显著提高通用火控系统的测试性和可靠性。     

利用表页描述语言实现表页自动生成

本文详细介绍了如何设计一种表页描述语言 ,并以此语言为基础实现表页的自动生成。     

弹道导弹被动段最优脉冲变轨方法

弹道导弹大气层外飞行时间长且弹道固定,易被敌方预测和拦截。针对以上问题,本文提出一种最优脉冲式变轨方法,该方法设计的弹道由2条不同的椭圆弧段组成,成功命中目标的同时,增加了敌方的拦截难度。以机动变轨所需能量和变轨后飞行剩余时间的加权最优为性能指标,设计了利用遗传算法在初始弹道上寻求最优变轨点的方法。最后,将遗传算法搜索最优点结果与遍历搜索结果进行对比,其最大误差为 ,从而验证了遗传算法在应用于导弹变轨问题,用以寻求最优变轨点是准确有效的。     

机载空空导弹火控系统精度试验设计技术

介绍了一种基于均匀设计的机载空空导弹火控系统精度试验技术,分析试验剖面设计的可控因素,选取载目高度差、相对速度、目标进入角、目标方位角、攻击距离和机动过载等6个因素来设计精度试验,将其划分为适当的水平;选择合适的均匀设计表,根据均匀设计表得到试验剖面参数,对空空导弹火控系统动态精度试验进行剖面仿真设计。该技术可大大降低试验次数、保证试验点均衡分布,提高动态精度试验效率。     

SEAD场景异构无人机配置与任务规划联合优化方法

对敌防空压制(suppression of enemy air defenses, SEAD)场景是多无人机协同的典型应用,针对该场景特点,在任务规划问题基础上将各类型无人机数量也作为决策变量,充分表征目标、任务和无人机的多种约束,建立异构无人机编队路径问题模型。设计了双层联合优化方法求解该模型：上层设计了任务衔接参数指标,精确评估各类型无人机需求,指导无人机配置调整;下层设计了改进遗传算法,高效处理多类型约束并能结合无人机数量变化对任务方案进行精细调整;双层相互协调获得满足需求的无人机配置和执行方案。仿真结果表明,该方法可以在避免遍历无人机配置组合的前提下获得合理的无人机配置方案和高效可行的执行方案。     

具有战时随机延误与损耗的多配送中心路径优化

建立了具有战时随机延误与损耗的多配送中心配送路径安排模型,给出了基于随机模拟的蚁群算法。算法通过给定残存率、用时与置信度阈值,把多目标问题作为单目标来处理。用随机模拟的方法来求路径的置信度,并以此为基础搜索转移策略的临域与判断未遍历点的插入位置。算法设计了符合问题特点的从虚拟点出发的转移策略与对两类路段不同的信息素更新策略,确保算法的实现。最后,通过算例说明了该方法的可行性与有效性。     

基于VR的虚拟火炮行为仿真

针对虚拟武器装备行为仿真过程中存在的运动仿真复杂、多部件协调操作仿真困难等问题,本文基于虚拟现实建模工具构建了某型传统火炮的三维模型-虚拟火炮,为行军行为仿真过程中运动轨迹选取、运动姿态控制、碰撞检测及响应等问题提供了合理的解决方法;在用炮和收炮行为仿真过程中,重点设计了时间驱动算法来解决多部件之间的协调操作仿真问题。通过对虚拟火炮的特定行为进行可视化仿真,验证了文中行为仿真研究方案的合理性及算法设计的正确性。     

履带车辆转向功率与直驶功率对比分析

履带车辆转向与轮式车辆转向有着本质的区别.履带车辆转向时的功率消耗较直线行驶功率消耗要大的多.提出了转向功率比的概念,建立了考虑高速履带滑转、低速履带滑移条件下履带车辆转向功率比的计算模型.通过对模型简化与推导,得到考虑履带滑转、滑移实际条件的模型与不考虑履带滑转、滑移理论模型的等价关系.对安装不同转向机构履带车辆的转向功率比进行了分析.通过在3种典型地面条件下对现有的具有有限个规定转向半径车型的示例计算,得到履带车辆转向功率消耗为直线行驶功率消耗的1.63～3.24倍的结论.     

基于整数小波变换的多光谱遥感图像压缩技术

在分析多光谱图像小波变换后系数特点的基础上,提出了一种基于整数小波变换的3维集合分裂嵌入块编码(3D SPECK)压缩方法。该方法将小波变换压缩技术中的零树编码推广到多光谱图像压缩中,采用整数小波变换去除空间冗余,对单波段图像,采用2D SPECK编码,对多波段图像,谱域上构成的小波矢量采用离散余弦变换(DCT)进行变换,对变换后的系数进行3D SPECK编码。实验结果表明,该方法硬件实现简单,编码解码时间快,对内存要求低。     

信息化条件下防精确打击的策略

信息化条件下,精确打击已经成为主要的火力打击方式,防精确打击是一个现实而紧迫的课题。介绍了精确打击武器的概念、分类和应用现状;针对各种精确打击武器的制导原理,提出防精确打击的主要策略。认为反侦察是防精确打击的关键,干扰制导装置是重要手段,建立完善的预警系统必不可少,设置假目标是低成本高效益的防精确打击措施。     

陀螺马达驱动信号的数字化测量与失真度分析

简要介绍陀螺马达驱动信号的数字化测量方法及失真度分析的数学原理 ,给出了一个实例 .实践证明 ,该方法电路结构简单、参数测量准确、程序编写方便 ,具有较好的实时性能 .     

北斗导航信号电离层闪烁模拟及其影响

电离层闪烁具有突发性、偶发性和区域性,且难以建模准确刻画。针对电离层闪烁影响下的北斗导航信号复现问题,研究了基于应用伽马分布和零均值高斯分布模型的导航信号电离层闪烁序列生成方法,并基于国防科技大学电子科学与工程学院研制的NSS8000型多体制导航信号模拟器给出了北斗导航信号电离层闪烁模拟的硬件架构。在此基础上,通过中频信号采样和软件接收机处理,分析了电离层闪烁对北斗接收机跟踪环路的影响。结果表明:在相位闪烁指数为0,幅度闪烁指数为0.9时,码环鉴相误差可达0.05 chip;而在幅度闪烁指数为0,相位闪烁指数为0.5时,载波环鉴相误差可达15°,处于失锁的临界状态。     

Gauss伪谱法的再入可达域计算方法

为了加快优化速度和提高优化质量,提出一种基于Gauss伪谱法的再入可达域计算方法。鉴于再入时一般采用固定的攻角剖面,将攻角作为状态变量,仅对倾侧角进行单变量寻优。优化过程中,再入纵程被视为终端约束,以获取不同纵程下的最大横程,将速度倾角视为过程约束,以消除弹道的跳跃现象。通过仿真,求解出了通用航空飞行器的再入可达域,结果与间接法的理论证明一致。     

噪声调频信号发生器的研究与设计

为满足现代电子干扰对噪声调频信号源低功耗、快速和灵活可控的要求,采用基于Wallace算法的一种直接快速生成算法,提出了一种运算量小、速度快和全数字结构的可配置噪声调频信号发生器系统设计方案。系统利用正态分布的可加性直接生成高斯白噪声随机变量,采用数字频率合成(DDS)技术完成调频功能,通过内置串行接口配置发生器参数和输出系统运行状态信息。同时,提供了基于FPGA的系统实现方案,其生成信号波形具有严格的相干性和可控性,且对外界环境不敏感。     

柴油机燃油系统故障诊断研究

应用柴油机燃油系统模拟计算的方法对柴油机燃油系统常见故障的供油压力波进行模拟计算 .通过大量计算表明 :柴油机燃油系统发生单一故障时 ,压力波变化的特征较为明显 ,并就每一种故障产生的压力波特点作了分析 ;当柴油机燃油系统发生复合型故障时 ,压力波变化复杂 ,为提高燃油系统故障诊断的准确性 ,提出采用系统融合的方法 .     

动态多因子相关算法及其改进

以组网雷达情报综合处理为背景,针对多站多目标航迹相关问题,首先介绍了动态多因子相关算法的基本原理,然后在此基础上提出了几点改进措施。利用位置因子的重要性对相关判定区域做了限制;利用航向因子对判决结果进行二次修正,同时结合目标的机动检测问题,提高了对目标强机动的检测能力;此外,根据实验结果还对综合处理中的航迹配对准则进行了修正。通过算法的改进不仅改善了航迹相关的质量,还降低了运算量。最后给出了改进后的算法流程图。