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

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

舱段的功能函数及其应用

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

面向高速切削加工的数控编程技术

分析高速切削加工所具有的特殊性及优点,并说明高速切削对数控编程方法的限制.针对传统编程方法,提出了满足高速切削加工的刀位轨迹特殊处理关键技术,并对其实现方法进行了较详尽的论述.同时,对高速切削数控编程中刀具载荷分析与速率优化、毛坯残留量自动分析等新技术的实现方法也进行了探讨.     

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

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

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.     

涉及双模态应力响应谱的振动疲劳寿命估算方法

介绍一种适用于双模态应力谱密度函数的振动疲劳寿命估计方法．即‘bi-modal’方法．并住此基础上提出一种简化方法。数字算例证实，该简化方法较原方法有更好的精度，且适用范围更广。     

关于Salomon假设的研究综述

高速切削技术在航空航天工业中应用广泛,取得了巨大的经济效益.Salomon假设作为金属切削领域一个著名的科学猜想,被认为是高速切削技术的发端.本文讨论了Salomon假设的起源,从理论研究、仿真分析和实验验证等方面总结了历史上学者对Salomon假设的研究成果,论述了Salomon假设的工程实践意义.结论认为Salomon假设实际上并未证实,其关于温度变化的假设成立与否应该取决于对切削温度的确切定义,而关于刀具磨损的假设已基本可以否定.最后展望了Salomon假设的未来研究趋势.     

空间能量粒子探测方法研究

阐述了空间能量粒子探测的原理和方法。介绍了国外在能量粒子探测方面所采用的半导体望远镜测量法、电场加速法、磁偏转法等方法，分析了它们各自的优缺点。就制约能量粒子探测技术发展的关键因素进行了讨论。并以此为基础，结合我国实际情况提出了一种新的探测方法。     

VO2薄膜制备工艺及电阻开关特性研究

用溶胶－凝胶法在非晶玻璃上制备VO2薄膜，经过熔融、涂膜、烘干和热处理等工艺最后得到电阻相变2－3个量级的VO2薄膜。对烘干温度、熔融温度、膜厚和热处理温度对薄膜电阻开关特性的影响进行了研究。通过XRD（X－ray diffraction)和XPS（X－ray photoelectron spectroscopy）对薄膜的结构和价态进行分析，表明用溶胶－凝胶法制图VO2膜工艺简单，重复性好。