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

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

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

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

轻便风速表检定装置不确定度的测试与评定

根据GJB/J2 74 9《建立测量标准技术报告的编写要求》 ,结合气象计量的实际情况 ,给出了轻便风速表检定装置不确定度的测试与评定方法。     

空间飞行体远尾区内场和密度的非稳态非线性计算

对空间飞行体远尾区内等离子体与场之间非稳态非线性相互作用的耦合方程，在考虑了时间导数项后，进行了数值模拟计算．计算中考虑到场量具有轴对称的特点，利用二维三分量的初始条件，采用FTCS有限差分格式方法，得到了场和密度扰动的分布．结果表明，这种非线性相互作用也会引起场的塌缩并出现密度空洞，但塌缩的速度较快．通过对密度空洞变化的探测，可以对隐身飞行体进行跟踪探测．     

对流层特大暴雨天气对电离层变化的影响

研究气象活动对电离层变化的影响．利用时序叠加方法，通过对1958-1998年期间发生在武汉的5次特大暴雨天气事件对武汉上空电离层变化的影响进行分析，发现：(1)特大暴雨能够引起低电离层，fbEs和，f0Es参量较明显地减小；(2)特大暴雨对电离层F区寻常波描迹的最低虚高h′F和电离层等效峰高hpF的参量也有一定影响，且随着雨量的增大这种影响作用也会增加；(3)特大暴雨对电离层其他参量影响甚弱或没有影响．本文认为，特大暴雨天气事件对电离层的影响主要来自于动力过程，特别是特大暴雨激发的或相伴的大气重力波、潮汐波和行星波等长周期大尺度过程的作用．     

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

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

一个新的蠕变寿命估算公式的推出

本文从一些经典公式出发,推导出新的寿命公式。另外,通过引入蠕变损伤特征参量的概念还导出类似的另一个蠕变寿命估算公式。所推导出两个公式在16MnR材料中得到较为成功的应用。     

飞机最快上升转弯轨迹的计算

70年代初,Miele A等人提出SGRA方法用于优化飞行轨迹计算。但方法存在时间加权系数难于确定、长时间的飞行轨迹计算积分精度不易控制及要计算数字微分等不足。对此提出一改进梯度方法,并计算了某型战斗机从亚音速三维转弯升高到超音速的最短时间飞行轨迹。结果表明,本方法稳定有效,为解决飞机最快机动轨迹的优,乜提供了一种行之有效的手段。     

用计算机求最小外接圆和最大内切圆的快速,精确方法

文中分别介绍了用计算机求最小外接圆和最大内切圆的新算法。该算法中每一步都能确定圆心的最佳移动方向,沿该方向的圆心移动量可由公式确定,从而只需少数几步迭代就可求得实际轮廓的最小外接圆和最大内切圆的精确位置。     

随机多变量连续系统的辨识

本文讨论了由随机向量微分方程描述的多变量连续系统的辨识问题。虽然假定微分方程中的噪声项是白噪声,但是用方脉冲函数积分微分方程后,所得到的代数方程中的噪声项却是有色噪声。为了得到无偏的参数估计,本文提出一种预滤波方法。仿真例子表明这种方法是很有效的。