软件可靠性模型Jelinski-Moranda的计算机实现

来源 :哈尔滨电工学院学报 | 被引量 : 0次 | 上传用户:cygggg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Jelinski-Moranda模型是软件可靠性模型中的古典模型。本文给出此模型的计算机实现,并引用一个实例对此程序进行验证。
其他文献
本文介绍了分形插值函数的特点及其应用范围,并给出了山、云等图象的分形插值算法。
本文对于非线性方程吕两参数分岐问题,给出了分岐点的定义,研究了分岐点的性质,并给出了计算分岐点的辅助方程。
学前教育中区域活动的开展有利于促进幼儿的成长,教师在教学中要充分利用该区域开展相关活动,以让幼儿的身体素质、学习情况都有明显的改变,要促使区域活动的有效开展,也需要
喜欢一座森林,就要喜欢她的全部——写给三江口原始森林要遇见一个人,只需一点点缘分加一次偶然。要遇见一座森林则需要驱车四五个小时,并且还得忍受一条路强加给你的曲折和颠簸
生态文化,其实中国古已有之。历代文人雅士大都寄情山水,拈花惹草,把山川草木活灵活现地克隆到诗书画里,并赋之以拟人化的精神气质。最受名人雅士青睐的树木,除了被称为“岁
研究了一类三次Kolmogorov系统在正平衡点处的极限环分支问题。通过计算系统在正平衡点处的奇点量,推导出正平衡点成为系统中心的充分条件以及系统在正平衡点处分支出5个小振
讨论了一类单位球上的半线性椭圆方程,得到了这类方程非负古典解的存在唯一性及其对参数A依赖关系。
首先从广义部分Bent函数的定义出发,利用线性变换的若干理论,证明Galois域上广义部分Bent函数等价于广义Bent函数与仿射函数之和。该结论覆盖了文献[1]的主要结果。然后给出关
本文构造超对称谐振子湮没算符平方A^2的四个正交归一本征态-奇偶超相干态,并讨论它们的N次方压缩性质,指出只有偶超相干态存在N为奇数的N次方压缩。
一、森林资源监管体系的内涵及其建设要旨(一)行业监管体系建设。行业监管体系是指行业主管部门从实体和程序两方面,对进入行业的事业体和事件进行切实有效的监督管理的体系。