TMR计算机系统瞬时故障的纠错技术

介绍了一种专用于瞬时故障环境的纠错方案；说明了它的体系结构及工作原理；介绍了该系统的工作过程。根据该系统的工作原理，建立了数学模型，计算了该系统的可靠性。把它与具有相同的参数的单机系统、三楼冗余系统的可靠性进行了比较，证明了该系统具有较高可靠性。     

谈空管系统中的危险点分析

危险点就是事故的易发点、多发点、设备隐患的所在点和人的失误的潜在点。因此，危险点是一种诱发事故的隐患，如果不进行防范和治理，在一定条件下有可能演变为事故。危险点分析的目的是主动预防事故的发生。空管工作责任重大，必须时刻坚持“安全第一，预防为主”的方针，同时作为一个系统工程，点多面广，保证安全不可能面面俱到，尤其是各基层空管中     

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

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

关于软件国产化的认识与实践

本文通过分析软件技术发展的特点,指出走软件国产化道路才是建立我国软件产业的根本途径。并提出了消化吸收国外软件、面向应用、稳定软件开发队伍的观点。     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

运用LaSRS^ 框架进行的F／A—18E／F坠落模型的模拟

采用C^ (LaSRS^ )框架（一种C语言服务软件——译者注)在兰利标准模拟的情况下，22％动力相似的F／A—F坠落模型的模拟已经成功地进行了开发。采用LsSRS^ 框架的开发是利用面向对象的分析、设计以及编程技术进行的。同时还使用通用软件设计。运用LaSRS^ 框架的开发工作促进了本身具有的可维护、可扩展、可靠的以及计算效率高的模拟的开发。     

EC135试飞光传飞行操纵系统

直升机飞行操纵系统近几年来发展迅速,装有电传飞行操纵系统的第1架NH90批生产机还没有出厂,欧洲直升机公司德国分部便已开始研制新一代飞行操纵系统——光传飞行操纵系统。2001年1月15日,欧直公司德国分部用一架EC135改装光传飞行操纵系统,并进行了飞行试验。公司的驾驶员埃贝特·格拉塞和空中试飞机械师芒弗里特·奥塞参