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

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

IEEE488总线在动量轮测试中的应用

叙述了资源卫星动量轮的一般结构和开环测试原理。详细介绍了应用ＩＥＥＥ４８８总线构成的动量轮开环性能自动测试系统。说明了这个自动测试系统的系统构成以及测试项目、测试流程和获得的测试结果。并据此提出这个系统在卫星研制工作中具有推广价值。     

过程体系结构

从系统论的观点出发，明确定义了过程工程领域的基本概念，定义了过程体系结构，采用了一个扩充的ＣＯＳＭＯＳ模型，以支持灵活的过程建模，并在此基础上讨论了过程的工程化支持。     

汽车模拟覆盖件的相位法测量

简述了相位法曲面全场无接触三维测量的基本原理，针对为汽车车顶抗凹性能研究而制作的模拟覆盖件的外形测量要求，设计了相位法三维测量的光学成象系统与图象处理系统，并应用到汽车模拟覆盖件的外形测量，测量结果与三坐标所测结果相近，说明了该测量系统的精确性。     

离散事件动态系统的GSMP模型及扰动分析

对离散事件动态系统（ＤＥＤＳ）的仿真过程建立了包含中断事件集和驱动事件集的广义半马尔可夫过程（ＧＳＭＰ）模型，对参数的无穷小扰动所引起的系统状态转移时刻进行了扰动分析，最后，讨论了扰动分析所需要的可变换条件和样本性能函数的关系，并提出值得进一步研究的问题。     

相检宽带测频仪器的扩展使用

基于“相位重合点”检测方法的相检宽带测频等新技术已经越来越多地应用于各种晶体振荡器的调试、高准确度测频和频标比对中，一般情况下，以这些技术设计的仪器会获得比同类型普通仪器高一千多倍的测量准确度，而在使用得当时还会获得更高的准确度并且会有更广泛的用途，在对这类仪器的原理作更深入分析的基础上，探讨了对它们的各种扩展使用方法，对于有关新技术的推广应用具有很大的实用价值。     

多元线性回归在坐标测量中的应用

简要介绍了多元线性回归的数学原理,重点分析了坐标测量中利用回归分析进行基本几何要素处理计算的原理、方法和预处理技巧,在此基础上介绍和讨论了形位误差的处理计算方法。     

NIM4#铯冷原子喷泉钟新一代时间频率基准

回顾了NIM4 #钟实现 5 μK冷原子云 ,74cm原子喷泉和 0 95Hz线宽Ramsey跃迁实验 ,报道了 9 19GHz微波锁定到铯原子秒定义跃迁 ,频率稳定性达到 (5 - 7)× 10 -15(15 0 0 0s)。目前我们正在进行不确定度评估 ,可望不确定度进入 10 -15量级 ,建立我国新一代时间频率基准装置。     

关于多普勒频率转换成距离变化率公式的讨论

利用多普勒效应原理对雷达测速的转换公式进行了讨论，指出在飞行器高精度轨道测量中，现行的测速转换公式存在较大的误差；给出了新的包含二阶项的测速转换公式，并导出了一个简便实用的直接在测量数据上进行该项误差修正的方法，同时进行了误差特性分析。实际计算表明：轨道测量数据进行二次修正后，匹配程度明显优于修正前。     

自动测试技术的发展探讨

介绍了自动测试技术的发展过程.为适应高科技、高效率、高效益市场经济环境的需求,着重从虚拟仪器新概念、测试技术的革新、测试设计和测试方法的策略及被测对象的可测性等方面较详尽阐述了第三代自动测试系统的新思路、新特点和新方向.