基于容错的可信计算在变电站自动化系统中的应用

前言 

第1章 绪论 
1．1 背景与意义 
1．2 国内外研究现状 
1．2．1 可信计算与可信系统 
1．2．2 变电站自动化系统 
1．2．3 信息系统可信性分析 
1．2．4 可信设计方法 
1．2．5 连锁故障 
1．2．6 传感器故障诊断 
1．3 本书研究内容与结构 
1．3．1 研究内容 
1．3．2 本书的结构 

第2章 可信计算及其研究进展 
2．1 可信计算产生的背景 
2．2 可信计算的概念与发展 
2．2．1 可信计算的概念与属性 
2．2．2 国外可信计算的发展 
2．2．3 国内可信计算的发展 
2．2．4 基于容错的可信计算 
2．3 可信计算中的若干问题 
2．3．1 容错技术 
2．3．2 软件可靠性 
2．3．3 拜占庭将军问题 

第3章 变电站自动化系统的可信性分析 
3．1 可信性的内涵 
3．1．1 特征属性及其关系 
3．1．2 威胁及其关系 
3．1．3 保障可信性的措施 
3．2 智能电网环境下的变电站自动化 
3．2．1 智能电网 
3．2．2 智能电网环境下的变电站自动化 
3．2．3 变电站自动化系统的可信性属性 
3．2．4 变电站自动化系统面临的可信性威胁 
3．3 基于可达矩阵的变电站自动化系统可信性分析 
3．3．1 基于组件的变电站自动化系统可信性模型 
3．3．2 变电站自动化系统可信性分析 
3．4 本章小结 

第4章 变电站自动化系统IED可信设计方法 
4．1 IED设计需求 
4．2 基于TimedCSP的IED形式化设计方法 
4．2．1 形式化设计方法 
4．2．2 TimedCSP简介 
4．2．3 IED逻辑模型与TimedCSP语言的转换关系 
4．2．4 实例分析 
4．3 CSP描述的性能分析 
4．3．1 CSP描述向随机Petri网模型的转换 
4．3．2 基于马尔可夫过程的性能分析方法 
4．3．3 实例分析 
4．4 本章小结 

第5章 变电站自动化系统IED重要度分析 
5．1 重要度相关概念 
5．2 IED重要度分析 
5．2．1 基于功能可靠度计算的IED重要度分析方法 
5．2．2 基于功能稳态可用率计算的IED重要度分析方法 
5．3 本章小节 

第6章 变电站自动化系统通信网络分析 
6．1 变电站自动化系统通信网络体系结构 
6．1．1 早期的变电站自动化系统通信网络 
6．1．2 以太网技术的优势 
6．1．3 基于IEC61850标准的变电站自动化系统通信网络 
6．2 变电站自动化系统网络负载 
6．2．1 周期性信息 
6．2．2 突发性信息 
6．2．3 文件传输型信息 
6．3 变电站自动化系统网络组网模式分析 
…… 
第7章 变电站自动化系统的连锁故障研究 
第8章 变电站自动化系统电子式互感器故障诊断 
第9章 变电站自动化系统并联电容器组在线监测 
参考文献

本书将可信计算引入变电站自动化系统，根据基于容错的可信内涵与智能电网的需求，在深入分析变电站自动化系统可信性属性的基础上，从保障系统可信性的措施——故障防止、故障容忍、故障抑制与故障预报出发，研究了构建可信变电站自动化系统的一系列问题。本书可供信息技术、自动化、电力系统自动化等学科的研究生、教师阅读，也可供从事相关方向的研究人员参考。