论文部分内容阅读
在分析JM模型的局限性基础上,针对其模型假设不考虑软件故障后果以及忽略可靠性因素两个问题,提出了划分故障严重程度等级及将可靠性度量与可靠性因素联系起来的构想,对JM模型进行了改进.分析和验证结果证实了该方案的可行性.
软件可靠性JM模型的改进研究
【摘 要】
：
在分析JM模型的局限性基础上,针对其模型假设不考虑软件故障后果以及忽略可靠性因素两个问题,提出了划分故障严重程度等级及将可靠性度量与可靠性因素联系起来的构想,对JM模
【机 构】
：
空军雷达学院研究生管理大队,空军雷达学院信息与指挥自动化系
【出 处】
：
空军雷达学院学报
【发表日期】
：
2005年4期
其他文献
工业上许多被控对象的整体都可以抽象成三容水箱的数学模型,研究水箱液位系统的建模、优化控制策略将有重要意义。由于小波神经网络在研究水箱液位系统建模问题时,存在权值初
针对在网络入侵模式特征对比技术研究过程中，南于网络入侵形式呈现多样性和随机性，使得入侵网络模式特征过多时，特征模式匹配计算就过于繁琐，导致特征对比检测率低的问题。提出基
由于啤酒发酵过程中温度控制存在大时滞、非线性、时变性、分阶段性等问题,造成发酵温度不稳定。为了更好的控制温度,提出了分阶段的遗传算法优化神经网络PID的控制算法。首
由于云存储的数据量和存储空间发生变化，无法使伪随机序列不受到干扰。传统的算法在进行加／解密过程中，缺少存储数据完全约束的许可属性，导致云存储加／解密运算的适应性弱、效率低
提出了一种基于图像熵的ISAR运动补偿方法.利用最小熵准则,通过寻优运算得到目标径向运动参数的最优估计,实现对回波数据的运动补偿,从而获得高分辨的目标二维像.仿真结果证
提出一种雷达接收机中高、中、零频(视频)噪声数据形成的有效方法.该方法在产生满足概率分布随机数的同时不断地用相关函数检验和筛选,使噪声数据序列不仅满足概率特性,也最
针对装备论证和设计阶段对雷达装备经济寿命估算的需求,分析了现有的雷达装备经济寿命估算模型,运用了模糊理论,提出了新的雷达装备经济寿命估算模型.实例验证表明,该模型比
Zimian问题实质上是叙拉古算子方程Пmi=1xi=Пmi=1S(Xi)(x1＞1)的解的存在性问题,Erdos给出长度m =8的一组解.本文不仅给出了叙拉古算子方程有解的一个必要条件,指出了方程不
归纳了图论匹配理论中Konig定理的几种证明方法和思想,并按从最小覆盖出发寻找最大匹配的思路给出了Konig定理的另一种证明方法.该证明方法是对Konig定理前几种证明的有益补
针对传感器测量数据(距离,方位)中所存在偏差,通过选择主传感器作为偏差比较基准,提出 了一种基于Kalman滤波器技术的多传感器相对偏差估计方法.仿真结果充分说明了这种算法的有效性.