扫一扫
关注中图网
官方微博
>
基于容错的可信计算在变电站自动化系统中的应用
本类五星书更多>
-
>
(精)方力钧作品图录
-
>
《藏书报》2021合订本
-
>
中外性文物大观
-
>
马克思主义经典著作解读丛书·探索人类解放的新路径《1844年经济学哲学手稿》解读
-
>
襄阳府志(九品)
-
>
奇思妙想创意玩具书(精装4册)
-
>
大慈恩寺
基于容错的可信计算在变电站自动化系统中的应用 版权信息
- ISBN:9787517068303
- 条形码:9787517068303 ; 978-7-5170-6830-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:
基于容错的可信计算在变电站自动化系统中的应用 内容简介
《基于容错的可信计算在变电站自动化系统中的应用》将可信计算引入变电站自动化系统,根据基于容错的可信内涵与智能电网的需求,在深入分析变电站自动化系统可信性属性的基础上,从保障系统可信性的措施——故障防止、故障容忍、故障抑制与故障预报出发,研究了构建可信变电站自动化系统的一系列问题。 《基于容错的可信计算在变电站自动化系统中的应用》可供信息技术、自动化、电力系统自动化等学科的研究生、教师阅读,也可供从事相关方向的研究人员参考。
基于容错的可信计算在变电站自动化系统中的应用 目录
前言
第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章 变电站自动化系统并联电容器组在线监测
参考文献
第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章 变电站自动化系统并联电容器组在线监测
参考文献
展开全部
基于容错的可信计算在变电站自动化系统中的应用 作者简介
张其林,男,博士,副教授,美国马萨诸塞大学洛厄尔分校访问学者。物联网工程专业负责人,承担《物联网工程导论》、《计算机组成与体系结构》、《嵌入式系统开发》等课程的教学工作。主要研究方向:智能电网信息系统安全与可靠性、物联网技术的应用。主持省自然科学基金2项,教育部产学合作协同育人协同项目1项,市厅级科研项目3项,发表核心期刊论文10余篇,授权发明专利1项,实用新型专利2项,软件著作权5项。指导学生参加学科竞赛获国家级二等奖1项,三等奖1项,省级奖励5项。指导3篇学士学位论文被评为省优秀学位论文。
书友推荐
- >
自卑与超越
自卑与超越
¥17.9¥39.8 - >
烟与镜
烟与镜
¥15.8¥48.0 - >
山海经
山海经
¥19.1¥68.0 - >
经典常谈
经典常谈
¥17.1¥39.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥18.6¥58.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
莉莉和章鱼
莉莉和章鱼
¥17.6¥42.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.5¥39.8
本类畅销
-
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38 -
1980年代:小说六记
¥52.8¥69 -
中图网经典初版本封面-“老人与海”冰箱贴
¥20¥40