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

　　计算系统及其运行环境复杂性不断增长的趋势使得计算系统维护越来越困难，花费越来越多，受到不可预知故障的影响越来越大。自愈技术与方法致力于使计算系统在运行过程中感知环境以及操作变化，发现和诊断故障，并能够在系统不间断运行前提下自动修复故障，它是解决“计算复杂性危机”潜在的重要途径，在环境监测和空间探索以及军事等领域具有重要价值和应用前景。本文围绕复杂计算系统自愈设计与自愈性评价等关键问题展开了较为深入探索和研究。

　　陈树广，副教授，硕士生导师（统计与管理决策、工程管理两个方向），毕业于西北工业大学软件工程专业，中国计算机学会会员，西安财经大学管理学院信息管理系支部书记、系主任，秦岭数字经济暨乡村振兴研究院主任，陕西鲁通数据科技有限公司董事长，建党百年陕西省教育系统省级优秀共产党员，兼任陕西省教育厅评审专家、陕西省创新人才发展研究院专家顾问、渭南市委高质量发展研究院高级顾问、丹凤县委专家顾问及多家上市大数据公司顾问等。主要研究方向为大数据治理、信息化治理。长期专注于计算机复杂计算研究，同时在数字经济和乡村振兴方面也有所研究。主持或参与国家社科、教育部研究项目、国家统计局重点项目、陕西省科技厅、陕西省哲学社会科学基金等省部级以上项目26项；主编出版教材或专著6部；公开发表学术论文26篇，其中核心期刊12篇，软件著作权12个；指导学生在“互联网+”等大赛中获得***奖项12项，省级奖项34项。曾为地方政府、企业等提供智库服务。

第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 展望
参考文献