Z—连续偏序集P上σ^Z（P）的Soberity

Sober空间是介于T0空间与T2空间之间又完全独立于T1空间的一类拓扑空间，本文基于拓扑σ^Z(P），证明了Z－连续偏序集P上的拓扑σ^Z(P）当σD(P）≤σ(P）时是Sober空间。     

F—15E飞行试验计划综述

Ｆ－１５Ｅ是麦道公司比较成功的Ｆ－１５系列战斗机的最新改型机，这种双重任务战斗机既具有极好的空－空能力，又具有夜间纵深封锁空－地能力。本文阐述了Ｆ－１５Ｅ飞行试验计划迄今为止部的结果以工飞计划思路，包括用户和合同商的作用及责任。     

大年初一，巨型气球突然飘至南京禄口国际机场上空

猴年第一天，一无人驾驶的气球突然光临南京禄口机场上空，正在准备起飞的东航5331航班紧急避险。     

电子检查单的特点

驾驶舱自动化为今日的飞行带来了一些重要的益处，如减小了机组人为差错的可能性，但它也产生了一些负面影响，诸如使飞行训练富于挑战性、飞行模式变化的迷惑性及产生新的差错的可能性。正因为这诸多因素，电子检查单的设计者们者了特点的努力，力求保证使用这种自动化的加强舱工具不会产生新的差错。     

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

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

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

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