复杂计算系统可信技术与方法研究

第1章 绪论
1.1 概述
1.2 计算系统自愈技术与方法研究的起源与发展
1.3 国内外研究现状
1.4 自愈计算系统研究面临的关键问题
1.5 本书主要研究内容
1.6 本书组织结构
第2章 计算系统自愈性
2.1 计算系统自愈性定义
2.2 计算系统的离散事件系统模型
2.3 基于离散事件模型的计算系统自愈性
2.4 计算系统部分自愈性
2.5 计算系统自愈性评价指标计算算法
2.6 实例分析与讨论
2.7 本章小结
第3章 不完备模型下的系统诊断与演化方法
3.1 引言
3.2 基于同步积的系统诊断方法
3.3 广义同步积与θ同步积
3.4 基于θ同步积的系统诊断方法
3.5 一种基于观测序列的系统模型演化方法
3.6 实例分析与讨论
3.7 本章小结
第4章 自愈计算系统体系结构
4.1 引言
4.2 自愈计算系统概念模型
4.3 自愈计算系统体系结构
4.4 自愈过程描述
4.5 体系结构的优点
4.6 本章小结
第5章 以故障模型为中心的自愈计算系统设计方法
5.1 引言
5.2 自愈计算系统横向模型驱动设计思想
5.3 以故障模型为中心的自愈计算系统设计与实现方法
5.4 实例设计与分析
5.5 本章小结
第6章 一种面向结果的自愈方法
6.1 引言
6.2 面向结果自愈方法的基本思想
6.3 内存泄漏问题及其相关研究
6.4 Java内存泄漏问题描述
6.5 内存泄漏问题的离散事件系统模型
6.6 内存泄漏的诊断
6.7 内存泄漏的自愈方法
6.8 实验结果与分析
6.9 本章小结
第7章 总结与展望
7.1 总结
7.2 展望
参考文献