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

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

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

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

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

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

推进我国企业债券利率市场化的措施

企业债券利率市场化是我国利率市场化改革的重要组成部分。目前,我国已经基本具备了企业债券利率市场化的条件,宏观经济环境稳定,微观经济主体日趋理性,国债和金融债券发行利率市场化也为下一步实现企业债券发行利率市场化提供了宝贵的经验。鉴于此,可以根据企业债券融资发展的不同阶段,采取相应措施加快我国企业债券利率市场化的步伐,主要包括:取消发债企业的所有制限制、培育企业债券流通市场、逐步取消发债规模限制、放宽发行利率的浮动幅度、健全企业债券风险监管制度、规范企业债券信用评级。     

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

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

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

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

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

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

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

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

虚拟现实系统中立体显示算法的研究

实时生成三维立体图形是虚拟现实(VR)的一项核心技术.文中对基于投影变换的立体显示算法、基于相关性理论的立体显示算法以及基于计算机生成全息的立体显示算法等进行了研究.