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

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

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

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

EC135试飞光传飞行操纵系统

直升机飞行操纵系统近几年来发展迅速,装有电传飞行操纵系统的第1架NH90批生产机还没有出厂,欧洲直升机公司德国分部便已开始研制新一代飞行操纵系统——光传飞行操纵系统。2001年1月15日,欧直公司德国分部用一架EC135改装光传飞行操纵系统,并进行了飞行试验。公司的驾驶员埃贝特·格拉塞和空中试飞机械师芒弗里特·奥塞参     

青岛机场2001年初雷暴天气分析

2001年5月7日至8日东北，华北地区在阶梯槽天气形势影响下，出现了一次强对流天气过程，青岛出现了初雷暴，本文在对该过程进行了初步分析的基础上，讨论了在天气演变过程中物理量的分布特征及其与降水的关系，为机场日常业务预报提供了一参参考。     

舱段的功能函数及其应用

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

自旋稳定卫星海上测控姿章联控及实现

介绍了同步轨道自旋稳定卫星海上姿态章动联合控制原理。通过分析等倾角进动过程,建立了理论与实际执行角、同步脉冲执行次数和时延的计算模型,并给出了姿章联控系统的组成及实现过程。     

基于MFC和COM的圆柱螺纹量规参数自动化计算与报表

在VC 6.0开发环境下,完成了基于MFC库和COM技术的公制圆柱螺纹量规大径、中径与小径的基本尺寸和极限偏差的自动化计算程序,中径计算过程计入了测量力等影响因素在内的综合修正量.实现了多量规的批量输入与管理,并将结果按需输出为Excel文档,留作测量过程的参考文件.文中详细介绍了软件的功能模块划分,数据的组织方式与功能的具体实现步骤.软件试用结果表明,该工作有效地解决了螺纹量规检定中需频繁查表、计算复杂且出错率高等问题,较大程度地提高了工作效率.     

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

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

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.