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

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

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

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

波导分支线定向耦合器计算方法

利用模匹配方法和网络理论分析计算了一种卫星天线系统中常用的波导分支线定向耦合器,计算结果与实验结果非常吻合。该方法为波导分支线定向耦合器提供一种有力的设计手段。它可直接用于设计Ku 波段通信卫星天线的波束形成网络,也可以用来设计各种耦合度的波导分支线定向耦合器。     

通用步枪的未来发展——二战跨世纪的步枪

19世纪的技术革新，把枪械的性能推向另一个层次。首先是火帽击发，让引火药的装填速度和发火率都增加，克服了气候障碍。米尼埃弹头的出现使得膛线燧发枪的发身速度超前增快。最后出现的则是后膛装填以及铜壳自封弹的出现。然而在19世纪中期一系列的技术革新当中，步兵战术的演化速度反而是追着武器的进化在跑。美国内战时，北军已经有部队采用至少3种后膛装填步枪——夏普骑枪（Sharps）。亨利步枪（Henry rlfle）以及斯宾塞步枪（Spencer rifle），但是因为相当复杂的后勤以及个人因素。交战双方都仍然大量使用前膛枪，密集队型以及横队排枪。1886年普奥战争，普鲁士陆军的步兵已经配发后膛装填步枪，但是奥匈帝国及其日耳曼盟邦则仍然在使用前膛步枪，纵使其威力较大，仍不敌可以卧姿装填的优势。     

舱段的功能函数及其应用

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

一种新的六端口测量系统自校准方法

提出了一种新的六端口自校准方法.本方法从六端口相对功率理论出发,导出了六端口系统常数的自校准方程,给出了求解系统常数初值的方法,并利用梯度法对方程组求解,仿真结果表明用一个匹配负载、四个失配负载就可以解出系统常数.     

METHOD FOR DETECTING AND REPAIRING CYCLE SLIPS IN GPS NAVIGATION

A new method is proposed for detecting and repairing cycle slips in GPS navigation based on the dual frequency observations. It can be implemented through the following three steps: (1) The integer ambiguities of the current epoch are substituted by that of the previous epoch, so the ambiguity parameters are removed from the observation equations. (2) The abnormal observations are detected using the quasi accurate detection (QUAD) method and the satellite pairs of these abnormal observations are determined. Then the coefficient matrix of these satellite pairs is recovered. (3) The cycle slips of these satellite pairs are calculated using the LAMBDA method and integer ambiguities of the current epoch can be determined by adding the cycle slips into the integer ambiguities of the previous epoch. The key of this method is that the abnormal observations must accurately he detected, i.e. , the satellites having cycle slips must correctly be judged. Finally, compared with other methods the feasibility of the method is verified.