一种改进的静态程序切片算法

提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。     

基于云平台的装备车辆状态监控系统

为提高装备车辆数据记录与存储的功能,设计一种基于云平台的装备车辆信息采集和状态监控系统.基于传感器与MCU模块搭建装备车辆状态采集系统,利用云平台对采集系统上传的数据进行存储、融合和预测,结合历史数据和预测结果,对出现的故障和存在的隐患进行预警,构建PC端显示软件,利用云平台的数据处理与存储功能,实现车辆的全维度监测与管理.验证结果表明,该设计可为装备车辆全生命周期的精细化保障和管理提供解决方案.     

红外制导炸弹A TR算法测试与演示系统设计

针对红外制导炸弹ATR（Automatic Target Recognition）算法,设计了一种算法测试与演示系统。该系统采用红外视景仿真技术提供算法测试图像序列,通过通信协议实现图像处理系统和评估软件的通信,使用一套较为完善的指标体系评估算法效果。该系统为实现红外制导炸弹 ATR算法测试与评估提供了一种设计思路。     

基于Opencv和Directshow的红外导引头通用视频采集模块

在利用红外导引头半实物仿真系统对红外导引头性能进行评估的过程中,需要对不同型号的红外导引头进行视频采集,为此需要导引头视频采集模块具有通用性。针对红外导引头视频采集通用性问题,分析了常用的视频采集方法,采用了基于Opencv和Directshow的方式进行视频采集。从实验效果看,该方法能够采集出不同红外导引头中的视频信号,具有较好的通用性。     

新型制导炸弹半实物仿真系统研究

针对新型制导炸弹滑翔增程和运动目标捕获问题,设计了新型制导炸弹半实物仿真系统。分析了系统的软硬件设计、功能流程、提出了几项关键技术,并给出了解决方案。该系统的实现能够为导引头的自动目标识别跟踪算法提供测试平台,并能作为新型制导炸弹滑翔增程技术和制导方式的验证平台。     

逆编译中用户自定义库函数识别技术研究

静态库函数分为系统库函数和用户自定义库函数,它的识别问题一直是反编译技术的难点,特别是对于用户自定义库函数,由于通用性低,信息获取困难,因而这方面的研究很少.分析用户自定义库函数在存储器中的存储方式和特征,提出一种用户自定义库函数的识别方法,首次采用两级中间语言(低级中间语言和高级中间语言)的形式进行处理,对中间语言的生成、函数伪代码模块的提取、识别模板的建立等关键技术进行详细的分析研究,最后给出识别实例.实践证明具有较高的应用价值.     

跟踪式智能反汇编算法研究

研究了嵌入式系统文件反汇编过程中存在的主要问题,给出了进行跟踪式智能反汇编的关键算法。首次采用二叉树结构对代码扫描过程进行跟踪处理,给出了生长二叉树的递归遍历算法,克服了传统反汇编过程中建立大量数组、链表以及图表的缺点;通过对二叉树的逆向浏览,解决了间接转移指令的寻址问题,并给出了寻址算法;最后,给出了数据区边界校验算法。对于进行程序反解及软件逆向工程具有较重要的参考价值。     

南水北调中线穿黄盾构选型浅析

介绍了南水北调中线穿黄工程的设计方案及工程地质情况，指出隧洞方案与渡槽方案相比，避免了与黄河河势、黄河规划的矛盾，且盾构法施工技术国内外都有成功经验，因此选择了隧洞方案。详细介绍了盾构选型应注意的问题。     

高超音速导弹爆炸破片飞散特性建模分析

为研究高超音速导弹爆炸破片的飞散特性,基于导弹的破片静爆实验数据,在三维球坐标系下推导出导弹破片的动态和静态飞散密度的比函数表达式,建立了破片的三维动态数量分布模型。以半经验公式求得破片数量分布的特解,结合破片分布的Mott通解表达式,求得破片质量分布模型。对于不同类型的爆炸破片,分别以飞行距离和飞行时间描述其运动方程,通过将破片运动的非线性微分方程转换为Bernoulli方程和Riccati方程的形式,建立了破片动态飞散速度的解析解模型。在此基础上,建立了高超音速导弹爆炸破片的杀伤场模型,为近程武器系统的作战应用提供了重要的技术参考。