一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

航空电子产品电磁环境效应模块化设计方法

对高强度辐射场（HIRF）环境特点与干扰类型进行分析，采用理论计算、计算机仿真技术（CST）的仿真分析及实测等方法分别对某型飞机航空电子系统综合显示单元的外部强电磁辐射场孔缝耦合、场线耦合及芯片前端电路影响关键芯片的相关规律进行了研究，给出了相关设计建议。结果表明，可通过分析孔缝、场线耦合获得进入关键芯片前端电路的电磁干扰能量，再结合关键芯片前端电路网络对干扰的插入损耗分析，获得关键芯片在外部强场激励下的感应电压。     

进气道喘振诱发因素及其可靠性分析

针对飞机进气道的典型故障-喘振的诱发因素进行全方位的分析论证，并为从事航空工程的人员提供一种对动力装置整体性能进行可靠性评估方案，篇末对世界上比较先进的进气道气动设计思想及其喘振机理进行分析，可以为飞机设计师在设计飞机过程中具体分析问题提供一定的参考。     

热处理作业系统中安全性评价的AHP方法

本给出了系统安全性评价的AHP方法，叙述了该方法的基本步骤，并以沈阳某集团公司热处理弹簧厂评价的实例说明了该方法的有效性。     

AGV小车的控制系统的设计与开发

论文介绍了一种自主研发的自动导引小车(Automatic Guided Vehicle),小车采用了当前国外工业控制普遍使用的PIC控制器,同时使用低成本的红外导引装置,且各模块的通信采用了高传输速率的CAN_BUS,这样使得小车在不提高成本的情况下,速度可以行驶在很高的速率,为提高无人操作车间的效率奠定了很好的基础。论文主要阐述自动导引小车系统主要功能模块的设计思路和实现方法。     

IL-E2线阵遥感相机的研制和TDI分析

针对低照度、高速物体测量等应用场合,介绍了一款高灵敏度的线阵相机的研制方案,相机的线阵CCD芯片采用DALSA公司的IL-E2 ,它具有96级TDI功能,灵敏度比一般的线阵CCD相机提高了约20倍,大幅度提高了相机的整体响应水平,通过试验,得出结论,TDI性能的良好发挥必需依靠图像与TDI数据流精确的同步,即使10%的失步也会造成相机灵敏度的严重退化,因此在精确控制像速度的情况下,更适合作为一款遥感相机来使用.     

一种卫星间跟瞄方向的控制策略与实现

进行自由空间的光通信或空间对抗，需要在卫星间实现精确的跟踪与瞄准。因为地面测控站的设置非常有限，指令与数据注入的范围受到很多限制，所以要求这种跟瞄在很多时候是无主控制状态下完成的。提出了一种利用在地面测控站的范围内向星上数管中心注入目标卫星、本体卫星的轨道参数，其它时间依靠自主导航飞行和GPS修正的方法，结合本体星的姿态测量、振动测量实现卫星瞄准指向的方位角与俯仰角的精确控制的方法，提高了在地面站无法注入指令与数据时卫星的捕获概率。通过仿真，将计算结果与卫星仿真工具软件STK的数据进行比较，结果一致。最后在嵌入式DSP平台上实现了这一策略。     

高职数控技术专业教学改革初探

论文以桂林航天工业高等专科学校为例阐述了数控技术专业人才的培养目标,实训基地建设,并对课程体系和教学内容改革、师资队伍建设等问题进行了探讨。     

弹道交班自适应算法研究

为实现复合制导不同制导弹道的平滑过渡,用二阶吻合法设计了一不同制导律间的指令交接导引段。建立了自适应弹道交接导引算法的模型。理论分析和仿真结果表明,该算法具较好的弹道过载平滑能力,有一定的应用价值。