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

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

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

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

航空机载产品“三化”情况调研报告

国防科工委将“三化”作为“九五”期间标准化工作重点任务的决定受到了广大科技人员的欢迎。航空机载设备的“三化”已取得一定成绩。当前开展“三化”尚存在缺乏顶层“立法”和总体规划，技术基础薄弱，必须改进成果评价方法等问题。航空工业应把“三化”作为一项重要技术政策，并成立一个高层次的领导班子，精心组织，统一规划和协调，坚定不移地推进这项工作；当前宜把航空电子综合系统作为航空工业“三化”的重点；搞好“三化”还应解决好坚持与科研、生产和使用三结合，把“三化”与“九五”预研和型号研制相结合等问题。     

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

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

全球战略服务至上——本刊主编刘柱与德马吉公司中国区总裁汉诺先生对话

自1992年德马吉进入中国以来,"德马吉中国"已经成为中国机床市场上出现率和关注度极高的企业品牌之一,2007年德马吉中国的机床生产能力达到600台(套),预计2008年将突破900台(套).德马吉的飞速发展不仅仅因为他们生产了一流的产品,更因为他们可以为客户提供完善的售后服务.近日,本刊主编刘柱先生专程采访了德马吉中国区总裁汉诺先生,并就公司发展、售后服务以及公司与航空企业合作等问题进行了深入探讨.     

湿度换算软件包

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

虚拟环境系统中复杂模型的建立--3D资源在快速开发虚拟环境系统中的应用

对利用3D资源在快速开发虚拟环境系统中的方法进行了研究。在开发虚拟环境系统的过程中，复杂模型的建立是必不可少的，仅仅利用OpenGL函数编程来实现仿真是很困难的，针对该问题提出了利用3D资源进行3D文件读取和转换的两种方案，分析了虚拟环境中复杂模型的建立以及处理的基本方法，并对数控车床的仿真进行了详细介绍。     

地空导弹测试系统软件设计

介绍为某型地空导弹而研制的测试软件的设计(包括软件结构设计、流程设计、部分模块分析和数据结构设计)、原理和主要功用.给出了软件结构图测试流程图等.为避免“软件陷阱”,提出了直接驱动、适时响应、启动响应等5种方法.经多次单元测试、系统联试,证明该测试软件具有功能全、测试项目完整、程序合理等特点.最后指出,该测试软件的设计只是一次尝试,还有待于进一步完善.     

立足本土是生存发展之基

2004年7月27日,题名为“远见论坛”的首届东亚地区CRS行业盛会在北京举行,本次会议由目前运营着我国最大的航空旅游电子分销系统的中国航空信息股份有限公司发起,邀请了日本AXESS、INFNI和韩国TOPAS公司等东亚CRS同行共同参与,这三家公司在其本国都是第一或第二大的CRS运营商。据中国航信有关负责人介绍,中国航信此次携手东亚地区其他三家CRS服务商共同创办论坛,意在“加强四方战略沟通、共同发展,为今后更紧密型合作奠定基础。”因为通过多年频繁的业务和人员互访,四家CRS都认识到在股东结构、商务模式、业务规模等诸多方面,互…