网构软件可靠性技术研究
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-9页 |
| 第一章 绪论 | 第13-18页 |
| 1.1 研究目的和意义 | 第13-15页 |
| 1.2 研究内容与贡献 | 第15-16页 |
| 1.3 文章组织结构 | 第16-18页 |
| 第二章 网构软件可靠性理论及现状研究 | 第18-34页 |
| 2.1 网构软件概念 | 第18-19页 |
| 2.2 网构软件应用及特点 | 第19-22页 |
| 2.2.1 网构软件的集成与应用 | 第19-21页 |
| 2.2.2 网构软件特点 | 第21-22页 |
| 2.3 网构软件可靠性概念 | 第22-23页 |
| 2.4 网构软件可靠性研究现状 | 第23-33页 |
| 2.4.1 软件可靠性分析方法和模型 | 第23-25页 |
| 2.4.2 网构软件可靠性模型和计算研究 | 第25-30页 |
| 2.4.3 进程代数形式化方法 | 第30-31页 |
| 2.4.4 转移概率获取方法 | 第31-32页 |
| 2.4.5 可靠性演化 | 第32页 |
| 2.4.6 可靠性分配 | 第32-33页 |
| 2.5 本章小结 | 第33-34页 |
| 第三章 网构软件可靠性形式化方法研究 | 第34-54页 |
| 3.1 网构软件形式化模型定义 | 第34-36页 |
| 3.2 网构软件组合运算 | 第36-38页 |
| 3.3 网构软件代数系统 | 第38-39页 |
| 3.4 网构软件可靠性演算 | 第39-49页 |
| 3.4.1 网构软件结构可靠性 | 第40-41页 |
| 3.4.2 网构软件构件演化算法 | 第41-43页 |
| 3.4.3 网构软件可靠性随机进程代数表示 | 第43-45页 |
| 3.4.4 网构软件可靠性随机进程代数演算 | 第45-47页 |
| 3.4.5 网构软件可靠性演算方法 | 第47-49页 |
| 3.5 实验验证 | 第49-52页 |
| 3.6 本章小结 | 第52-54页 |
| 第四章 网构软件可靠性计算方法研究 | 第54-91页 |
| 4.1 网构软件的马尔可夫链特点 | 第54-55页 |
| 4.2 网构软件可靠性计算建模 | 第55-59页 |
| 4.3 构件可靠性计算方法 | 第59-68页 |
| 4.3.1 构件可靠性计算 | 第59-68页 |
| 4.3.1.1 构件可靠性计算 | 第59-63页 |
| 4.3.1.2 构件可靠性恢复度计算 | 第63-65页 |
| 4.3.1.3 基于HMM的可靠性计算 | 第65-68页 |
| 4.3.2 连接可靠性计算 | 第68页 |
| 4.4 转移概率及其计算 | 第68-76页 |
| 4.4.1 网构软件转移概率 | 第68-69页 |
| 4.4.2 网络因素下转移概率计算 | 第69-70页 |
| 4.4.3 转移概率计算模型 | 第70-72页 |
| 4.4.4 转移概率计算方法 | 第72-73页 |
| 4.4.5 转移概率计算算法 | 第73-76页 |
| 4.4.5.1 梯度投影法 | 第73-75页 |
| 4.4.5.2 转移概率计算算法设计 | 第75-76页 |
| 4.5 网构软件系统可靠性计算 | 第76-79页 |
| 4.6 系统可靠性影响分析 | 第79-80页 |
| 4.7 实验验证 | 第80-89页 |
| 4.8 本章小结 | 第89-91页 |
| 第五章 网构软件系统可靠性演化计算研究 | 第91-100页 |
| 5.1 网构软件演化性 | 第91-92页 |
| 5.2 可靠性演化计算 | 第92-95页 |
| 5.2.1 可靠性演化计算 | 第92-93页 |
| 5.2.2 可靠性演化趋势计算 | 第93-95页 |
| 5.3 计算可靠性演化趋势算法 | 第95-96页 |
| 5.4 实验验证 | 第96-99页 |
| 5.5 本章小结 | 第99-100页 |
| 第六章 网构软件系统可靠性分配 | 第100-113页 |
| 6.1 网构软件系统可靠性分配模型 | 第101页 |
| 6.2 基于结构的网构软件系统可靠性 | 第101-102页 |
| 6.3 网构软件MARKOV链生成方法 | 第102-103页 |
| 6.4 可靠性计算函数 | 第103-106页 |
| 6.5 网构软件构件可靠性分配 | 第106-107页 |
| 6.5.1 可靠性成本函数 | 第106-107页 |
| 6.5.2 可靠性规划分配 | 第107页 |
| 6.6 可靠性规划分配算法 | 第107-109页 |
| 6.6.1 惯性权重系数改进 | 第108页 |
| 6.6.2 约束条件处理 | 第108页 |
| 6.6.3 编码处理 | 第108-109页 |
| 6.6.4 可靠性分配算法设计 | 第109页 |
| 6.7 实验验证 | 第109-111页 |
| 6.8 本章小结 | 第111-113页 |
| 第七章 全文总结与展望 | 第113-117页 |
| 7.1 本文总结 | 第113-115页 |
| 7.2 网构软件可靠性研究展望 | 第115-116页 |
| 7.2.1 自动化提取的新方法 | 第115页 |
| 7.2.2 网络影响因素科学分析 | 第115-116页 |
| 7.2.3 可靠性专用化计算 | 第116页 |
| 7.2.4 可靠性并行计算 | 第116页 |
| 7.3 未来的研究工作 | 第116-117页 |
| 致谢 | 第117-118页 |
| 参考文献 | 第118-129页 |
| 攻读博士学位期间取得的成果 | 第129-130页 |
