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

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

FET振荡器注入锁相伏特拉级数分析

应用伏特拉级数法分析了电容耦合ＦＥＴ振荡系统在外加信号下的注入锁定现象，推导出输出信号和注入锁定带宽表达式。与一般非线性系统分析方法相比，伏特拉级数法在建立好系统模型后只需进行代数运算，从而避开了求解非线性，非齐次高阶微分方程的复杂过程。     

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

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

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

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

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

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

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

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

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

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

行星际结构与准平行无碰撞激波的相互作用

应用一维混合模拟方法数值研究了高密度等离子体团和行星际激波与准平行无碰撞激波的相互作用．结果表明，由于推平行无碰撞激波上游的大振幅低频波动的散射，除了在通过激波过渡区时稍有压缩外，等离子体团从激波的上游开始就一直是不断弥散的．行星际激波在向准平行无碰撞激波靠近的过程中，会在其上游产生大振幅的低频波动，同时行星际激波的强度不断增加，最后和准平行无碰撞激波会并成一个新的激波，在新激波前继续有大振幅的低频波动产生     

黑体空腔不等温性对辐射温度计校准结果影响的计算分析

针对常用的圆柱型无盖黑体空腔,分别计算了在对工作波长为单波长(1μm,1.6μm)、波段(3~5)μm、(8~14)μm的辐射温度计进行校准时,由于空腔的不等温性引起的积分发射率变化对校准结果造成的辐射温度偏差。计算结果表明,黑体空腔实际存在的不等温性引起的辐射光谱偏离理想黑体辐射对校准结果造成的偏差是不容忽略的,对于每一个具体的黑体辐射空腔,都要对其不等温对校准结果的影响予以考虑。