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

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

普及通用航空知识 开拓通用航空事业新局面——评《通用航空丛书》

通用航空是民用航空的重要组成部分。它不仅能够直接为经济和社会发展服务,在抢险救灾、测绘制图、资源勘探、增产粮棉、保护森林、绿化荒山、治理沙漠等方面也具有机动灵活、快速高效的功能和特点,更起着地面机械和人工作业不可替代的作用。通用航空中飞行驾驶执照培训也是培养飞行员的摇篮,它对航空运输发展起到了有力的人才支持作用。同时通用航空对于普及航空知识,发展旅游观光和航空制造业也有极大的推动作用。可以说,通用航空的发展带来了新的市场和机遇。不同国家、不同经济环境和政治制度等方面的差异,使得通用航空的发展形式、内容…     

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

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

示波器逻辑分析仪

为了对非周期信号进行同时多点采集,并将其波形和状态显示出来,研制了一种使用普通示波器作为显示器的新型逻辑分析仪,因而可以简化仪器结构和降低成本。介绍了该仪器的调制电路、毛刺锁存电路、时钟电路及系统工作原理。调制电路将采集的多路数据调制成每路处于不同电平台阶上的一行串行数据输出,从而实现在示波器上显示多路数掘的目的。对毛刺锁存电路的工作原理也作了较详细的闸述。此外,还介绍了根据时钟电路和示波器扫描原理而导出的系统的数学关系。     

通用仪器接口总线标准及软件技术的发展

叙述了通用仪器接口总线标准和软件技术的现状和未来。介绍了ＧＰＩＢ、ＶＸＩ总线，程控仪器校准命令和虚拟仪器，给出了ＧＰＩＢ标准关系图，ＧＰＩＢ软件结构以及虚拟仪器框图。     

通用模拟示波器故障的分析与诊断

本文将通用模拟示波器电路分成五部分，总结和分析了每一部分电路故障可能引起的几种异常显示，给出了每一部分电路故障诊断方法及在相应电路中出现故障的常见器件，对有些故障与故障现象之间的因果关系做了进一步分析。