高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

电力系统计算机辅助分析

本书是在传统电力系统分析课程的基础上，结合计算机技术的特点和要求，介绍了电力系统的潮流、短路和稳定问题的数值计算方法。本书共7章，主要内容有：电力系统三大计算所需要的原始数据、电力网络的数学模型、电...

发电厂热工自动化技术丛书 燃气轮机发电机组控制系统

轮机系统仿真技术

本书以满足轮机仿真的实际需要为宗旨，以船舶轮机系统特别是主动力装置为研究对象，系统介绍了仿真工程中应用的建模方法、数值算法以及实时仿真工具等所需的整套技术，介绍了船舶动力装置的数学模型和仿真结果，并...

汽轮机检修

为帮助广大火电机组运行、维护、管理技术人员了解、学习、掌握火电机组生产岗位的各项技能，加强机组运行管理工作，做好设备的运行维护和检修工作，特组织专家编写《火电厂生产岗位技术问答》系列丛书。本书为《...

汽轮机原理课程设计基础

本书分为六章，以300MW和600MW汽轮机组为基础，重点介绍了汽轮机本体的结构、热力设计方法、变工况热力核算、主要零件强度核算等，具体内容包括大功率汽轮机本体结构、等截面级的热力设计、扭叶片级的热力设计、...

汽轮机设备及运行

本书全面、系统地介绍了汽轮机原理、结构、系统、调节原理及运行的基本知识；以350MW超临界压力空冷供热机组为研究对象，重点阐述了火电厂热力系统，并对直接空冷系统作了简单介绍。本书特别介绍了节能及指标管...

工业汽轮机设备及运行技术问答

本书以问答的形式，围绕着汽轮机设备及运行的相关技术，多角度地回答了汽轮机基本原理、结构、热力系统及辅助设备、汽轮机调节及供油系统，以及汽轮机日常运行、维护及故障处理等方面的焦点问题。本书特为石油化...

汽轮机运行技术问答

《600MW火力发电机组技术问答丛书》共有《锅炉运行技术问答》、《汽轮机运行技术问答》、《电气运行技术问答》三个分册。本书采用简明扼要的问答形式介绍了大机组汽轮机运行的知识要点，方便读者的理解和掌...

核电湿蒸汽汽轮机

随着传统化石燃料的枯竭和世界电力需求增加,核电有光明的未来。由一个世界知名的科学家所著的本书应该是所有核电站工作人员必读的。随着湿蒸汽汽涡轮机在全球核电厂的广泛部署,现成的操作和维护信息成为一...