成组缺陷纠正的通用指数类软件可靠性模型

指数类软件可靠性模型是应用广泛的一类软件可靠性预测模型,其基本假设之一是缺陷一经发现立即纠正。该假设过于苛刻,与实际情况不符,影响了模型的应用和预测准确性。针对通用指数类软件可靠性模型,提出了成组缺陷纠正的指数类软件可靠性模型。同时以指数类模型中的J-M模型为例,利用实际工程数据对成组缺陷纠正的J-M模型进行了验证。     

MaxWell方程的浮动角标表示

借助于Kroneckerδ函数和Levi -Cevita三阶张量符号 ,讨论矢量和张量的浮动角标表示及其运算法则 .进而给出Maxwell方程和一些复杂媒质 ,如双各向同性、各向异性、双各向异性媒质的本构关系的浮动角标形式 ,并讨论了麦克斯韦方程的微分形式和积分形式的等价问题     

一些大损耗介质填充圆柱双站RCS的矩量法分析

用矩量法对一些用于雷达隐身技术和微波暗室设计的大损耗介电材料填充的无限长介质圆柱在TM波照射下的双站RCS进行了数值计算.仿真结果表明，大介电常数低损耗材料散射较弱.当ka0较小时，填充介质的电参数对散射的影响较明显，且随双站角增大缓慢减少；当ka0较大时，填充介质的电参数对散射的影响不明显，且散射能量集中于反射方向.     

构件软件的层次可靠性估计模型

可靠性是质量体系中最重要的特性之一,针对构件软件系统,利用相对独立的构件开发与系统开发的特点,从路径分析与基于运行剖面测试的思想出发,建立了分层的系统可靠性模型.模型可根据路径信息的层次和构件信息详细程度,调整到适当的粒度层次.并通过统计测试试验数据给出了模型的实例应用,同时提出了提高可靠性估计准确性的方法.     

软件可靠性测试充分性的多准则判定及应用

在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性.     

Maxwell方程的浮动角标表示

借助于Kronecker δ函数和Levi—Cevita三阶张量符号，讨论矢量和张量的浮动角标表示及其运算法则．进而给出Maxwell方程和一些复杂媒质，如双各向同性、各向异性、双各向异性媒质的本构关系的浮动角标形式，并讨论了麦克斯韦方程的微分形式和积分形式的等价问题．