一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

利用验前信息的一种序贯检验方法——序贯验后加权检验方法

序贯验后加权检验方法是Bayes 统计观点在假设检验中的运用。本文提出了该方法的一般理论,给出了当总体的分布参数具有验前信息时的序贯检验方法。文中确定了决策区的划分,同时讨论了序贯截尾方案,给出了检验中可能犯两类错误的概率的上界,并将一般理论应用于产品的可靠性检验和再入飞行器随机落点的精度鉴定。由于运用了验前信息,因此能有效地在少量试验之下进行统计假设检验。本文所提供的方法对于昂贵产品试验结果的统计评定具有普遍意义。     

Testing or fault-finding for reliability growth: A missile destructive-test example

A new piece of equipment has been purchased in a lot of size m. Some of the items can be used in destructive testing before the item is put into use. Testing uncovers faults which can be removed from the remaining pieces of equipment in the lot. If t < m pieces of equipment are tested, then those that remain, m₁ = m − t, have reduced fault incidence and are more reliable than initially, but m₁ may be too small to be useful, or than is desirable. In this paper models are studied to address this question: given the lot size m, how to optimize by choice of t the effectiveness of the pieces of equipment remaining after the test. The models used are simplistic and illustrative; they can be straightforwardly improved. © 1997 John Wiley & Sons, Inc. Naval Research Logistics 44: 623–637, 1997     

双六边形环电路模拟吸波材料及其等效电路模型

提出以双六边形环为单元结构的电路模拟吸波材料。根据单元的双频特性建立等效电路模型,根据六边形环周期分布规律提出等效周期概念,给出等效分布电参数的计算方法。利用该模型对双六边形环电路模拟吸波材料的结构进行参数分析,并与HFSS全波分析结果进行对比,验证该方法的准确性。加工样品和实测,结果发现所设计吸波材料在1.9~8.9 GHz频段内对正入射波具有良好的吸波特性,实测结果与等效电路模型仿真结果吻合较好,进一步验证了该方法的有效性。     

LaB6空心阴极中毒特性

LaB_6阴极与其他类型阴极相比具有电子发射电流密度大等优点,已广泛用于电推进、高发射密度电子枪等产品。为了研究LaB_6空心阴极中毒特性、识别LaB_6空心阴极主要失效模式,分别对LaB_6空心阴极暴露大气后性能变化特征和引起性能变化的原因进行了研究。结果表明:LaB_6空心阴极在暴露大气后表面吸附大量中毒气体,出现了发射体表面逸出功增加、发射体短期中毒现象。此时空心阴极的放电电压和阴极顶温度均有所上升,经过短期工作后放电电压和阴极顶温度均恢复初始状态。但LaB_6空心阴极严重中毒后,并不能通过加热和离子轰击方式去除表面生成的氧化物。因此,可以在实验过程中通过监测空心阴极的阴极顶温度和阳极电压变化间接表征空心阴极发射体状态。     

驱动控制对太阳帆板驱动系统动力学特性的影响

准确预示太阳帆板驱动系统动力学特性是开展扰振机理和振动控制研究的基础。本文推导了考虑驱动控制因素的太阳帆板驱动装置等效力学特性参数表达式,构建了太阳帆板驱动系统动力学特性等效分析模型,并在仿真和试验验证基础上,讨论了驱动速度和控制增益对驱动装置力学特性参数和驱动系统动力学特性的影响规律。结果表明:所构建的等效分析模型能够在不同驱动速度和控制增益情况下准确预示驱动系统动力学特性,分析结果与试验误差小于10%;驱动装置等效阻尼与驱动速度和控制增益无关,但等效刚度随控制增益减小和驱动速度增大而减弱。随着驱动速度提高,驱动控制逐渐成为影响驱动系统动力学特性的重要因素。     

常规导弹作战批量测试优化研究

短时间内测试大批量合格的常规导弹是未来作战的客观要求.结合导弹部队的作战实际情况,分析了当前技术阵地测试所面临的问题,提出了一些改革的方法.改造技术阵地测试设备,提高操作人员的熟练程度,采用并行技术和关键路技术优化导弹测试流程,同时建立战时应急状态下的测试流程,特别是导弹批量测试技术的提出,将极大地提高导弹测试速度,缩短测试时间,为将来技术阵地的建设提供了建议,同时也对将来常规导弹的设计和研制提出了更高的要求.     

磁化等离子体对电磁波反射系数的计算分析

为了从理论上分析磁化等离子体对飞行器隐身的机理,采用等效输入阻抗方法计算金属平板前非均匀磁化等离子体层对垂直入射电磁波的功率反射系数,结果表明:电子数密度大小、入射波频率、等离子体碰撞频率和外磁场是功率反射系数的主要影响因素.电子数密度、等离子体碰撞频率取值必须合适,外加磁场才能明显降低等离子体对入射电磁波的功率反射系数.     

武器装备可用性设计对寿命周期费用的影响及控制

可用性设计是装备综合保障分析的重要内容.合适的可用度指标不但要满足装备效能要求,还应满足费用约束条件.为了设计并选择出费效比最高的保障方案,研究了可用性设计对装备寿命周期费用的影响,提出了运用可用度门限值来控制寿命周期费用的方法,并举例说明具体的应用.最后,就保障性设计中的费用权衡问题提出了几点建议.