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

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

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

EPD技术及其信息管理系统研究

介绍了FPD技术及其管理系统研究状况、技术难点以及相应的对策。     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

冲击响应谱试验的应用

对冲击响应谱试验的定义及实现过程进行了描述。以某型号挠性陀螺仪冲击响应谱试验作为实例进行了全过程的试验应用。通过多次试验验证总结了选择冲击波形的方法和运用配重来模拟产品试验时承受的能量以及如何判定试验结果的方法。     

高速低压差分信号（LVDS）器件应用设计方法研究

随着高速LVDS器件得到广泛应用，在高速信号使用LVDS传输时，信号传输线路问题、信号传输波形的最佳化成为非常重要的课题之一。由于印制电路板的布局布线直接影响信号传输质量，因此利用仿真对印制板分析成为设计上不可缺少的手段。有鉴于此，文章深入探讨了高速电路的设计，总结出设计技巧。     

HSDB协议与LTPB协议性能分析比较

针对目前对高速数据总线研究中遇到的两种版本的协议，分别作了定性和定量的深入的比较和分析．从比较中得出了采用SAEAS4074的优越性，也就是美空军最终选用4074的原因，并得出4074是航电系统高速总线标准合理选择的结论。．     

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。