软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

诊断指示正确性分析

当前系统和设备的机内测试、实时监控或诊断子系统给出的诊断指示中虚警所占比例较大，影响使用。依据贝叶斯公式导出诊断指示正确性的概率表达式，对影响正确指示的各种因素进行了分析。     

微波噪声校准系统介绍

新的．极低噪声放大器的研制开发和广泛使用，微波系统的结构日趋复杂，微波工程测量能力下断提高，但热噪声仍然是今天微波系统性能的主要限制。例如，远距离卫星通信工程对卫星转发器的接收机和地球站接机的噪声特性提出很高的要求。因此，准确地测量系统的噪声以及时噪声发生器进行准确校准的需求非常迫切。本文叙述自己研制的噪声源校准系统的基本原理，分析超噪比校准不确定度，提供具体的校准实例，提出进一步提高校准准确度的途径。     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

基于Patran/Nastran的结构优化系统的工程应用

采用基于有限元软件Patran/Nastran二次开发的结构优化系统,对两个卫星结构进行了以重量为目标、考虑基频和应力等约束的优化设计.系统由用户在Patran环境下完成问题建模,优化过程中调用Nastran作结构分析并结合二级多点逼近算法寻优.设计对象是由蜂窝夹层板、不同截面形状梁、板壳等组成的典型复杂航天器结构,设计过程中还利用人机交互技术,最终使重量明显降低,为工程部门改进设计提供了依据.算例结果之一与其他结构优化系统结果一致,进一步说明了所开发系统的正确性.     

直升机飞行动力学仿射非线性系统建模

建立一种单旋翼带尾浆直升机飞行动力学仿射非线性系统数学模型，为进一步开展直升机非线性系统特性和控制律设计研究做准备，建模过程中，保证了控制量能在方程中线性表示，又保证了模型的精度，以ＵＨ－６０Ａ直升机为对象，进行定直飞行配平计算以及直升机对不同操纵输入的动态响应计算，计算结果与试飞结果吻合，与国外较成熟的非线性工程实时仿真模型相比有相当的精度，证明建模理论和方法的合理和有效。     

考虑二次流影响的压缩系统稳定性模型

利用Ａｄｋｉｎｓ－Ｓｍｉｔｈ二次流模型计算得到转子出口截面落后角沿叶高的变化。在压缩系统稳定性模型中考虑叶尖流面落后的角影响，并提出一个新的时滞参数计算公式，计算结果表明，落后角的大小对压缩系统的稳定性影响很大，同时揭示了叶尖间隙对压缩系统稳定性的影响。     

形状误差分离技术的统一理论——同源、统一的各种直线形状误差分离方法评述

在对国内外现行直线形状误差分离技术分析研究的基础上,论述了各种分离方法的特点和相互关系,从原理、测量准确度和工程应用方面着眼,评述了直线形状误差测量与分离的各种主流方法--"频域三点法"、"时域递推三点法"、"二点法"、"混合两点法"、"时域乱序四点法"、"精密三点法"和"最小二乘逐次多点法"等.指出了各种方法的同源性和统一性,评述了它们的应用条件及优缺点,同时讨论了随机误差和传感器调零误差的影响及消除方法.     

INS／GPS组合导航系统的容错研究

本文研究了INS/GPS组合导航系统的容错问题,并提出了一个两级故障检测及分离方案。通过采用该方案,INS/GPS组合导航系统将具有较高的容错能力,并能为用户提供连续、精确的导航信息。     

基于VB6．0数据库下的示波器自动检定系统实现

以9500示波器自动检定系统为例,介绍了在VB6.0开发环境下,引用其强大的数据库功能。通过建立9500程控代码数据库、仪器登记数据库、检定参数设置信息库、检定结果信息库,实现了各库之间的数据访问和存储,达到了对各种示波器的半自动和全自动检定。并将部分代码加以介绍,可以直接在其它自动测试中应用,因此具有广泛的应用和借鉴价值。