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

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

关于CCSDS体制数据安全保护实施位置的探讨

主要阐述CCSDS（空间数据系统咨询委员会）标准的信息安全问题，重点是航天器安全，从分析空间数据面临的安全威胁出发，讨论了CCSDS不同安全实施位置的特点；并在此基础上，通过对CCSDS业务及数据结构的影响对比，总结出不同安全实施方法的优缺点，该结合对于采用CCSDS标准的空间数据系统如何解决信息安全问题，具有一定的参考价值。     

中国航天的科学管理

我国航天事业创建50年来,在党中央的正确领导和全国人民的大力支持下,经过几代航天人的不懈努力,取得了以“两弹一星”和载人航天为代表的辉煌成就;培育了“两弹一星”精神和载人航天精神;建成了独立自主的完整的航天科技工业体系;造就了一支素质优良的人才队伍,为我国的国民经济与国防建设、科技发展与社会进步,为增强综合国力、确立我国的大国地位做出了重大贡献。我国的航天事业,在创业中自力更生起步,在探索中创新发展,在改革开放中不断跨越,探索开创了一条具有中国特色的运用系统工程实施科学管理的发展之路。     

严格实施新焊接标准

简述了三0七厂实施新焊接标准的情况和具体措施,分析了实施中存在的问题,并结合工厂实际,提出了解决的办法。     

激励在企业管理中的必要性及其实施

在建立现代企业制度的过程中,如何运用好激励手段,以便于充分调动企业职工的积极性,规范企业职工的行为,发挥好企业人力资源的作用,提高企业在市场中的竞争能力,应该说是很有现实意义的。本文试图从激励在企业管理中的必要性及其实施等方面谈一些自己的认识。     

确定航空燃油喷嘴最佳几何参数的一种计算程序

介绍了确定航空燃油嘴最佳几何参数的一种计算程序，本程序经实践证明是简便实用的，可用于测绘件的反设计，对新研制件也可提供参考。     

VAX set 简介

1,VAX set 的基本思想软件开发是一项复杂的工作。在软件开发过程中,应该有一套统一的方法和工具,使软件生命周期中某些重复性工作以自动化或半自动化方式去完成.在建立了一套统一的软件开发方法和工具之后,首先能使开发组的成员尽快适