大约有218,786项符合查询结果项。（搜索耗时：0.3114秒）
为您推荐： 汽轮机设备及辅助系统课程设计 汽轮机辅助系统课程设计 汽轮机设备及系统 热电厂汽轮机热力系统设计计算和热经济性分析 汽轮机辅助系统 循环流化床锅炉设备及系统课程设计
-
-
高阶逻辑辅助证明系统 【工业技术】
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
FANUC数控系统设计及应用 【工业技术】
罗敏编著2014 年出版390 页ISBN：9787111463184本书面向数控机床电气设计、安装调试、运行维护工程师以及相关专业大中专院校师生，全面深入地介绍了FANUC数控系统的硬件设备与选型、硬件连接与设定、PMC顺序程序结构和编程指令、CNC典型接口及功能设计，以...
-
汽轮机原理课程设计基础 【工业技术】
王运民2013 年出版147 页ISBN：9787512345423本书分为六章，以300MW和600MW汽轮机组为基础，重点介绍了汽轮机本体的结构、热力设计方法、变工况热力核算、主要零件强度核算等，具体内容包括大功率汽轮机本体结构、等截面级的热力设计、扭叶片级的热力设计、...
-
计算机辅助几何造型技术 【工业技术】
莫蓉等编著（西北工业大学机电学院）2004 年出版159 页ISBN：7030119266本书从应用角度论述了计算机辅助造型中应用CAD/CAM软件系统的自由度曲线、曲面的造型方法。内容包括微分方程的几何基础、样条曲线曲面、孔斯曲面、贝齐埃方法、NURBS方法求交和光顺等。本书在讲解概念的同...
-
-
-
计算机监控系统的设计与调试 组态控制技术 第2版 【工业技术】
袁秀英编著2010 年出版316 页ISBN：9787121098093本书与原教材相比，更加突出工程项目从接受任务到调试完成全过程的训练，弥补了原教材硬件选型与设计相对软件部分内容略显不足的缺陷。更加符合职业教育工学结合、做中学的教育理念。项目内容上，为适应工控领域...
-
-
湿法烟气脱硫设计及设备选型手册 【环境安全】
刘建民，许月阳编著2011 年出版391 页ISBN：9787512318205本书在广泛收集国内外最新技术资料文献的基础上，结合作者十多年来对火电厂烟气脱硫技术的研究及工程实践中积累的经验，从理论和工程应用所涉及的各个方面，对火电厂湿法烟气脱硫的设计及设备材料的选型，进行系统...