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

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

流动阻力及能量损失对注射成型制件的影响

本文分析了在塑料熔体充满型腔的过程中，流动阻力及能量损失产生的形式和物理原因，进而讨论了对塑料制件成型及凝固过程中的影响。并提出降低影响的措施。     

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

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

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

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

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

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

中小城市公交线路查询系统设计方法研究

论文在对首先阐述中小城市公交线路查询系统的需求分析、系统功能及性能要求描述的基础上具体讨论了系统设计、系统总体设计的思路和方法;最后给出了系统的测试分析和系统设计总结。     

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

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

基于C167CS和MAS3507＋DAC3550解码器的音频播放器设计

多媒体播放器市场的快速发展为低成本的DSP/MCU混合器件的应用提供了发展的良机.本文分析了Infineon(SIEMENS)C167CS的结构,提出了Infineon(SIEMENS)C167CS单片机和MAS3507 DAC3550解码器开发的MP3播放器的方案,采用了自顶向下的设计方法对总体设计方案、硬件各个组成部分(播放器的硬件解码技术、数模转换的控制技术)和软件进行了分析和设计.全部程序用Keil公司的C编译器和链接器编译通过并运行良好,该系统具有实现简单,成本低,运行效率高,功能强大等优点,有很好的发展前途.     

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

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