飞行末区目标可攻击性算法研究

分析了飞行器飞行末区存在的各种约束条件及其对飞行器飞行的影响，用最大爬升（下滑）半径约束法来代替过载约束进行飞行器纵向机动飞行的高度控制，并给出了在诸多约束条件下目标可攻击性的算法。最后利用等高线地形图进行了仿真验证，结果表明，该算法满足诸多约束要求，可用于工程应用。     

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

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

KH—11卫星能够看到什么？

虽然人们可以谈论间谍卫星具有15厘米的地面分辨率或者能够从160千米的高度上看到一个高尔夫球,但遗憾的是至今没有任何官方说法指出这类卫星到底能看到什么和不能看到什么。关于它们的高超本领,流传着众说纷纭的各种说法,这就使情况变得更加扑朔迷离。     

谈表面粗糙度标准及有关标准的标注方法宣贯

分析了GB/T131—93《机械制图 表面粗糙度符号、代号及其注法》以及有关的5项标准宣贯中的重点和难点,进行了新旧标准标注方法的对照。对难以实施的问题,根据生产实际作了补充规定。     

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

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

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

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