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

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

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

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

多目标攻击原理数字仿真系统设计

针对多目标系统数字仿真的特点和要求,本文提出了仿真系统的总体方案。文中重点介绍了该系统的硬件结构选择与构成、设备配置与要求、软件设计与开发思想等几个方面的内容。可以看出,本系统在完成仿真任务的同时,为下一部的工作及最终工程化的实现打下了良好的技术基础,并提供了一个有利的实验环境。     

舱段的功能函数及其应用

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

中国农地宏观管理主体与微观主体的博弈分析

通过中央政府和地方政府与村集体在农地管理中主体行为和它们之间利益博弈的分析,指出了不同管理主体的行为变化对各主体利益的影响以及由此引发的农民利益的变化.文章首先从子博弈分析出发,分析了中央政府与地方政府在农地管理中的博弈过程,其次分析了地方政府与农民集体利益的代表--村集体的博弈,最后建立三个主体的主博弈模型,进而探讨了农地管理主体博弈的帕累托改进,并提出明确农地的管理主体、规范农地管理主体的行为,做实农民的微观管理主体地位等政策建议.     

短波自适应通信侦察及干扰试验方法研究

通过阐述短波自适应通信原理及其对抗手段 ,提出了试验方案 ,为今后短波自适应通信对抗装备进行试验提供理论依据     

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

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

AMEsim仿真软件在某型叶片控制机构改进中的应用

通过分析某型叶片控制机构在试验中出现的问题,提出改进方案,并利用AMEsim软件对改进后系统的性能进行了仿真,系统仿真结果与改进后系统的物理试验结果基本相符.     

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.