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

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

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

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

VAX set 简介

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

域外刑事评议程序之比较研究

刑事评议程序是介于庭审程序和宣告程序之间的一个重要程序,它既是庭审的自然延续,又是裁判结论形成的前提和基础。然而,欲保证刑事评议程序的正常运行,刑事评议主体之独立必须得到保证;刑事评议之客体还应被全面考虑,并对其进行细化,以确保刑事评议的针对性和有效性,防止出现"估堆"现象。本文以域外刑事评议程序为对象,从评议的主体、客体等角度进行梳理,得出规律性的认识,以期对我国关于刑事评议的立法有所裨益。     

在中国大陆空域实施侧向偏置程序的探讨

自今年11月22日零时起,中国大陆将实施8400米以上高度层缩小垂直间隔,由原来的600米垂直间隔缩小为300米,可用飞行高度层增加了6个,空域容量增加87%。在不改变现有空域、航路航线划设的前提下,大大缓解了高空空域拥挤状况,并且能更好地为航空公司提供最优巡航高度层,节省燃油消耗,符合国家提倡的节能减排政策。     

读《赢》的启示：改进机务维修预算制定程序

预算管理是当今企业经营管理中普遍应用的办法之一。杰克·韦尔奇先生在《赢》一书的“不要让预算制定程序缺乏效率”一章,专门讲述了企业在预算制定过程中普遍遇到的问题和GE公司的改进方法。韦尔奇先生在书中谈到的错误预算办法——“谈判式解决”和“虚伪的笑容”,在我们的工作中同样屡见不鲜。     

不符合RVSM标准航空器在RVSM区域飞行的管制程序探讨

2007年11月22日零时，在沈阳、北京、上海、广州、昆明、武汉、兰州、乌鲁木齐飞行情报区以及三亚飞行情报区岛内空域实施缩小垂直间隔（不含已经实施缩小垂直间隔的三亚飞行情报区海洋空域，以及香港、台北飞行情报区）。