软件可靠性专家系统 SRES 开发PDF电子书下载
- 电子书积分:8 积分如何计算积分?
- 作 者:徐仁佐著
- 出 版 社:北京:清华大学出版社
- 出版年份:1996
- ISBN:7302018448
- 页数:126 页
目录 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
- 《管理信息系统习题集》郭晓军 2016
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020
- 《系统解剖学速记》阿虎医考研究组编 2019
- 《慢性呼吸系统疾病物理治疗工作手册》(荷)瑞克·考斯林克(RikGosselink) 2020
- 《社会文化系统中的翻译》姜秋霞,杨正军 2019
- 《中国生态系统定位观测与研究数据集 森林生态系统卷 云南西双版纳》邓晓保·唐建维 2010
- 《专家解百病系列丛书 图说前列腺疾病》张清华 2019
- 《大气氮沉降及其对生态系统的影响》方琨,王道波 2019
- 《学校教育指标系统的构建》杨向东著 2019
- 《系统故障 诗歌与影像》(中国)梁小曼 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019