软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

子弹状态的遥感监测与存储回收

为记录子弹从预发射到落地过程的状态数据,设计了一种遥测与固态存储相结合的数据采集回收系统.该系统以FPGA芯片为逻辑控制中心,高速采集传感器等设备的输出数据,采集数据经编帧后分别进行固态存储和PCM码无线遥测存储,回收数据由上位机软件处理,还原子弹全程飞行状态.全套系统经地面测试各性能满足设计要求.软硬回收兼备的存储方式既提高了子弹在高过载等恶劣环境下数据回收的概率,也实现了子弹飞行状态的实时监测,提高了地面人员的反应速度.     

无人机三维航迹规划与可视化仿真

结合无人机的机动能力限制条件,研究了基于稀疏A*算法的无人机三维航迹规划.该算法有效修剪了搜索空间中的无用节点,缩短了航迹搜索时间.在搜索过程中,充分利用了三维地形信息,使算法生成的航迹能够自动回避地形和雷达威胁.最后通过三维航迹的可视化仿真,对生成的航迹进行了验证.     

基于多源传感器的单星定位算法与精度分析

为解决单星环境下静态载体的单点定位问题,建立基于芯片级原子钟和气压高度计辅助下的单星定位算法.包括对单星连续测距定位算法进行算法推导、误差分析与仿真验证、搭建静态单星定位试验平台,以及利用实测数据验证单星连续测距定位算法的有效性.仿真与实验结果表明:真实接收机经过对一颗卫星的连续观测,辅以高精度芯片级原子钟和气压高度计提供时钟和高度信息,可在2 min内完成500 m精度定位,以及在5 min内完成200 m精度定位,完全符合战时应急定位精度需求.     

基于改进层构造算法的运输直升机装载方案设计

针对运输直升机装载方案依赖人工经验,主观性强、耗时长且不精确等问题,基于运输直升机遂行运输保障任务时的军事运用特点,建立装载问题的多约束数学模型,并设计可生成装载方案的改进层构造算法,以解决运输直升机装载问题.算法改进了层构造算法,提高空间利用率,并结合装载空间构造法和重心调整算法以满足运输直升机特殊装载要求.通过对8个装载任务的仿真实验证明,算法可以在毫秒级时间内生成重心偏移量小的装载方案,在保证飞行安全的条件下最大化利用直升机的装载能力,同时提高部队的任务规划和临机调整能力.     

无奇点三维攻击时间控制滑模导引律

为研究导弹在视场角约束下的三维攻击时间控制问题,提出一种三维非线性滑模导引律。利用攻击时间误差设计滑模面,推导出三维形式的俯仰和偏航加速度指令;通过对所设计制导律进行简单修正,解决了零初始前置角引起的奇点问题;从数学上证明了该导引律的稳定性和收敛性,讨论了导引律相关参数的取值范围,分析了与纯比例导引法、解耦三维导引律之间的关系。仿真结果表明,所设计导引律能够在视场角约束条件下有效实现攻击时间增大或减小的控制;俯仰和偏航平面的耦合程度越强,该导引律控制能耗小的优势越为明显。     

多武器平台目标域协同射击控制模型研究

目标域协同射击控制模型是在单平台火控系统空域窗射击控制、射击门控制等基础上,针对多武器平台对点目标或面目标协同射击的需求,进行了目标域和射击效能的定义,提出了空间/时间复合三维射击门的概念,设计了三维射击门模型,分别建立了多武器平台对点目标射击控制模型和多武器平台对面目标射击控制模型,通过对多武器平台协同射击效能的计算分析,证明了目标域协同射击控制模型可显著提高多武器平台协同射击对目标的火力打击效能.     

一种基于层次模型的卫星故障动态仿真方法

针对卫星静态仿真方法未实现故障时序发展过程及影响范围仿真的问题,在故障仿真方法进行分析的基础上,提出了一种基于层次模型的动态故障仿真方法,即通过建立不同层级的故障模型,利用动态仿真推进方法实现故障的时序发展过程仿真.此方法能够有效提高故障仿真的精细化程度,为故障处置提供支撑.通过某卫星能源安全模式故障仿真,对方法的有效...     

边界扫描测试在显示技术中的应用

为有效检测电路板焊接质量与器件质量,实现高精度的故障定位,提出了基于边界扫描技术与功能测试技术的解决方案。在显示产品设计中,开展可测试性设计,形成完整的边界扫描测试链;针对VRAM器件特点,提出了基于DRAM的测试方法,并设计相应的测试模型。最终,实现了对电路板的边界扫描测试,快速完成了对显示器件质量与焊接质量的有效检测。边界扫描技术与功能测试的结合,可以扩展边界扫描技术的应用范围,实现了更高的测试覆盖率。     

超视距空战机动动作库的可视化设计

介绍了两类常见空战动作库,以跃升为例对超视距空战机动动作库进行了设计;并运用OpenGL图形库,研究了模型的初始化、实时驱动、动作轨迹线的绘制、视点漫游和数据读取技术,实现了超视距空战机动动作轨迹的三维显示和全方位观察,有助于空战战法演练和指挥决策,为空战仿真模拟训练和提高作战效能奠定基础.