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

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

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

综合运用"四个机制"促进航空装备研制

根据航空武器装备研制应当建立竞争、评价、监督、激励“四个机制“的规定,结合本企业实际,就综合运用“四个机制“、促进航空装备研制提出了见解与建议.     

坚持创新求发展

随着高校扩招形势的发展，各校之间展开了一场生源竞争战，对一些办学条件较差的院校来说，要从根本上解决生源不足的问题，功夫应下在“四个创新”上。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

美国科技文献资源体系建设及启示

介绍了美国联邦政府和国家航空般天局（NASA）科技文献信息资源体系建设，科技信息纲领的内涵、宗旨、任务、目标，实施科技信息纲领的工作程序、组织管理机构，科技信息产品和服务，以及美国国家技术信息服务中心（NTIS）和航空航天科技信息中心（CASI）的运作情况，论述了美国科技文献信息资源在推动科技进步中的作用，并在研究分析的基础上给出了结论。     

区域开发战略目标定量研究--兼论区域开发战略目标矛盾的协调

文章在回顾我国区域开发战略的基础上,结合我国区域经济发展现状,利用层次分析法建立了区域开发战略模型.通过定量研究,得出了我国区域经济发展必须以社会公平为主目标,同时兼顾效率和可持续发展目标.     

卫星综合电子系统现状和发展建议

文章首先总结了国内外卫星综合电子系统现状和发展趋势,在充分分析我国航天器对综合电子系统的需求的基础上,提出了我国卫星综合电子系统的发展思路。     

新亚欧大陆桥的态势分析及其对江苏经济发展的作用

介绍了新亚欧大陆桥的概况，分析了它的态势，认为它的美好前景少则二三年多则三五年即可实现。它为江苏经济发展提供了新的机遇。例如改善了江苏省发展外向型经济的地理区位条件，提供了西向中亚、西亚和欧洲进出口的唯一陆上通道，加强了江苏与我国中、西部地区的经济联系与合作；特别是；连沂徐经济带将因大陆桥而迅速崛起，它是加快苏北发展的契机，东方桥头堡连云港将发挥龙头作用。本文呼吁抓住契机，提出了若干建议。     

基于软件工程基本原理的电子商务网站建设

针对电子商务网站建设过程中存在的问题，从软件工程基本原理出发，分析结合软件生存周期瀑布模型提出电子商务网站的建设过程，对克服当前主要不足有一定的帮助作用。