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

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

提高服务组织质量管理方法研究

根据当前社会对提高服务质量的急切需求,把服务当作一个过程,从服务质量设计、服务实施和评价、服务质量改进等方面研究提高服务质量管理的手段和方法。     

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

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

双余度飞控计算机的设计与实现

双余度飞控计算机，是用于K8教练机变稳系统数字式电传控制系统的核心部件．它是采用两个完全相同构型的通道组成的容错计算机系统，两个通道的计算机同步执行同组一任务，在故障／安全的工作模态下，实现对飞机的飞行控制．     

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

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

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

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

舱段的功能函数及其应用

阐述了功能函数与可靠度之间的关系，给出了防空导弹中几种典型舱段的功能函数和相应的可靠度计算实例，并对中心点法、验算点法、蒙特卡罗法进行了比较。     

满足约束的Gn连续过渡曲面的构造

在Erich Hartmann提出的由两基曲面线性组合构造G^n连续过渡曲面方法的基础上，针对该方法存在很难找到合适的参数变换的问题，提出了一种基于基曲面局部区域重新参数化构造G^n连续过渡曲面的方法。通过对基曲面上切触线附近区域部分曲面重新参数化，再由重新参数化局部基曲面线性组合构造G^n连续过渡曲面。这样将两基曲面间构造过渡曲面的问题转化为在重新参数化局部基曲面间构造过渡曲面。以构造G^1连续的翼身融合面为例，讨论了满足约束要求条件时G^2连续过渡面的构造方法。即先对基曲面上过渡切触线附近的局部区域进行重新参数化，后通过优化求解来确定比例因子和偏移量、平衡因子和调配因子，使过渡曲面满足前后边条线约束，最后利用线性组合来构造G^2连续的过渡面。约束过渡曲面的形状可通过改变重新参数化基曲面的大小来调整．