《基於容錯的可信計算在變電站自動化系統中的套用》是2018年10月1日中國水利水電出版社出版的圖書,作者是張其林。
基本介紹
- 書名:基於容錯的可信計算在變電站自動化系統中的套用
- 作者:張其林
- 出版社:中國水利水電出版社
- 出版時間:2018年10月1日
- 頁數:292 頁
- 開本:16 開
- 裝幀:平裝
- ISBN:9787517068303
- 版次:1
- 字數:290000
- 正文語種:中文
內容簡介,圖書目錄,
內容簡介
《基於容錯的可信計算在變電站自動化系統中的套用》將可信計算引入變電站自動化系統,根據基於容錯的可信內涵與智慧型電網的需求,在深入分析變電站自動化系統可信性屬性的基礎上,從保障系統可信性的措施——故障防止、故障容忍、故障抑制與故障預報出發,研究了構建可信變電站自動化系統的一系列問題。
《基於容錯的可信計算在變電站自動化系統中的套用》可供信息技術、自動化、電力系統自動化等學科的研究生、教師閱讀,也可供從事相關方向的研究人員參考。
圖書目錄
前言
第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章 變電站自動化系統並聯電容器組線上監測
參考文獻