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

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

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

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

战术导弹折叠翼快速展开性能的测试技术

介绍某些战术导弹折叠翼快速展开特性测试技术。详细地介绍了测量方法、项目、数据处理和主要结果。试验是在北京空气动力研究所一座低速风洞中进行的。试验结果表明，获得的数据具有很高精度和可靠性，重复性也是令人满意的。     

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

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

关于CYX-1、CDJ-1智能型液压元件试验台的研制

自增压油箱和压力继电器是导弹上应用的两个重要液压元件。每个元件产品出厂前均要经过进一步的磨合调试，然后经过多项测试，合格后方可出厂。由于要求严格，测试项目又比较多，因此非常需要一个智能型的试验台，来测试液压元件，保证它们的质量。为此，我所与上海应用技术学院等单位共同研制开发了一台智能型液压试验台，其内部结构采用计算机测控技术、电液比例控制技术。测试过程与生产工艺相结合，使用方便，提高了测试和调试效率，并且还提高了测试精度及可靠性。     

大直径、高动态性能测试、试验设备研制成功

2007年2月9日,3KTD-550型三轴转台出所验收评审会在九江召开。参加会议的有某军种装备部、海军某部、上海交通大学等单位的代表,项目组的科研人员也参加了会议。     

光纤陀螺在民用领域的应用与开发

本文对光纤陀螺在民用领域中的应用作了初步的探讨，并详细讨论了光纤陀螺在水坝体应变测试中模拟实验情况。     

湿度换算软件包

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

系统工程技术（SE）在空管固定格式报文交互测试中的应用

1、引言 系统工程（SE）研究如何将用户的需求正确地转化为系统要求。对于不同复杂度的项目，系统工程（SE）都能提供一套较为完整的逻辑方法来得出最佳的解决方案。另一方面，系统工程还能在一个系统的设计中权衡取舍并整合出各种要素以获得更好的产品和最佳的系统性能。因此，系统工程的正确实施有助于从一开始就正确执行项目，并能及早发现和解决问题，极大地降低了项目的成本和风险。