图书介绍

软件可靠性专家系统 SRES 开发pdf电子书版本下载

软件可靠性专家系统 SRES 开发
  • 徐仁佐著 著
  • 出版社: 北京:清华大学出版社
  • ISBN:7302018448
  • 出版时间:1996
  • 标注页数:126页
  • 文件大小:5MB
  • 文件页数:135页
  • 主题词:

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

下载说明

软件可靠性专家系统 SRES 开发PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!

(文件页数 要大于 标注页数,上中下等多册电子书除外)

注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具

图书目录

目录 1

0 总论 1

1 SRTS使用的数据类型 8

2 SRTS中使用的软件可靠性模型简介 11

2.1 经验模型的选择原则 11

2.2 SRTS中的经验模型 12

2.2.1 Weibull模型 12

2.2.2 Geometric Model——GM 14

2.2.3 Modified Geometric Model—MGM 15

2.2.4 Geometric Poisson Model——GPM 16

2.2.5 Hypergeometric Distribution Model——HGDM 17

2.2.6 Goel Okumoto Model——GOM 18

2.2.7 Yamada Osaki Model——YOM 19

2.2.8 Goel 3P Model——Goel(3) 20

2.2.9 Musa Okumoto对数泊松执行时间模型——MOM 21

2.2.10 应用EM算法进行参数调整的三参数NHPP模型——NHP3AD 22

2.2.11 贝叶斯方法用于软件可靠性建模 24

2.2.12 Littlewood s Bayesian Debugging Model——LDM 24

2.2.13 Littlewood Verrall s Bayesian Reliability Linear andQuadratic Growth Models——LVLM,LVQM 26

2.2.14 Schneidewind Model——SM 27

2.4 经验模型的输入/输出数据文件小结 34

2.3 按要求的输入数据类型对经验模型进行分类 34

2.5 SRTS的使用 35

2.6 SRTS使用的输入数据的组织 37

2.6.1 为完全数据规定的输入数据文件名为input1.d 37

2.6.2 为不完全数据规定的输入数据文件名为input2.d 38

2.6.3 为Musa-Okumoto模型规定的输入数据文件名为input3.d* 38

2.6.4 为HGDM模型规定的输入数据文件名为input4.d* 39

2.6.5 为GPM模型规定的输入数据文件名为input5.d 39

2.6.6 为Schneidewind模型规定的输入数据文件名为input6.d 39

3.1 事实 42

3 开发基于规则的专家系统工具——CLIPS 42

3.2 规贝 44

3.3 变量、运算符和用户定义的函数 46

3.3.1 变量 46

3.3.2 字段通配符 47

3.3.3 字段约束 47

3.4 数学运算符 48

3.5 CLIPS的测试特色 48

3.6 模式联接 49

3.7 用户自定义函数 50

3.8.3 终端输入 51

3.8.2 文件的输入和输出 51

3.8.1 printout函数 51

3.8 CLIPS的输入与输出 51

3.9 CLIPS的用户界面 52

3.10 用CLIPS开发专家系统的例子 52

3.11 程序SRES.CLP的运行过程 69

3.12 输入文件 79

3.12.1 适用于GM,GOM,YOM,GO(3),LDM,LVLM,LVQM的完全数据输入文件——input1.d 79

3.12.2 适用于WM,MGM,GOM,YOM,GO(3),NHP3AD的不完全数据输入文件——input2.d 80

3.12.3 适用于HGDM的数据输入文件——input4.d 80

3.12.4 适用于MOM的执行时间完全数据文件——input3.d0 81

3.12.6 适用于GPM的数据输入文件——input5.d 82

3.12.5 适用于MOM的执行时间不完全数据文件——input3.d1 82

3.12.7 适用于SM的数据输入文件——input6.d 83

3.13 输出文件 83

3.13.1 WM模型的输出文件——opt1.d 83

3.13.2 GM模型的输出文件——opt2.d 84

3.13.3 MGM模型的输出文件——opt3.d 84

3.13.4 GPM模型的输出文件——opt4.d 85

3.13.5 HGDM模型的输出文件——opt5.d 85

3.13.6 GOM模型的输出文件——opt6.d0和opt6.d1 86

3.13.7 YOM模型的输出文件——opt7.d0和opt7.d1 87

3.13.8 Goel(3)模型的输出文件——opt8.d0和opt8.d1 89

3.13.9 NHP3AD模型的输出文件——opt9.d 90

3.13.10 MOM模型的输出文件—opt10.d0和opt10.d1 91

3.13.11 SM模型的输出文件—opt11.d 92

3.13.12 LDM模型的输出文件—opt12.d 93

3.13.13 LVLM模型的输出文件—opt13.d 94

3.13.14 LVQM模型的输出文件—opt14.d 95

3.13.15 其它的输出文件 96

4 SRES的总体结构 98

5 软件可靠性模型的奇异性问题及处理方法 100

5.1 经验模型中的奇异性 100

5.2.1 演化计算 103

5.2 演化计算及其在SRES开发中的试用 103

5.2.2 后沿拟合率 106

5.2.3 准确估计参数的计算方法 107

5.3 软件可靠性模型参数的演化计算 108

5.4 SRTS中采用的参数估计方法 109

5.4.1 GM,MGM,GPM,GOM,YOM的参数估计方程求根问题 110

5.4.2 HGDM的参数估计方程求根问题 110

5.4.3 Goel(3)的参数估计方程求根问题 111

5.4.4 LVLM,LVQM的参数估计方程求根问题 112

附图 116

精品推荐