本书针对控制系统PLC程序的正确性和可信性检测验证问题，介绍了以形式化理论方法综合运用形成组合检测验证体系，从多个层次检测验证PLC程序动态、静态和运行的正确性

《二次绕组反相SENTransformer潮流控制理论与方法》针对SENTransformer的电磁解析模型等稳态和暂态模型，剖析了SENTransformer的内部电磁特性、调控特性等，具体内容包括引言、考虑多绕组耦合的ST电磁解析模型、基于对偶原理的三相五柱式SENTransformer准稳态模型、基于UMEC的双

本书是“电气控制”与“可编程控制器”两门课程内容的有机结合，包括电气控制系统设计和西门子S7-1200系列PLC控制系统设计。本书由两部分组成。第1部分为第1~2章，介绍电气控制中常用的低压电器、基本电气控制电路。第2部分为第3~12章，介绍可编程控制器的硬件结构、开发环境、编程基础、指令系统、用户程序结构、HMI组态

本书是在编者多年教学经验的基础上，为适应高等职业院校教学改革的趋势，以满足学生需要为目的编写的理实一体化教材。以教学“实用、够用、活用”为原则，以“项目导向、任务驱动”为教学模式，以项目为载体，从应用型人才培养特点出发，以自动化控制中典型案例为主线，将自动控制过程中的PLC编程、触摸屏人机交互界面设计、传感器应用、伺服

本书从实际工程应用出发，详细讲解了西门子S7-1500系列PLC的基础与实际应用等方面的内容。本书共有9章，主要介绍了PLC的基础知识、S7-1500PLC控制系统的硬件组成、S7-1500PLC编程基础、S7-1500PLC指令系统的使用及应用实例、S7-1500PLC的用户程序结构、S7-1500PLC数字量顺序控

本书从技术背景、技术原理、重点应用、应急处置、典型案例等角度，形成一本结合基础理论和实际应用的完整教材，突出理论性、实用性、完整性，为技术人员熟悉双电源切换装备的运行维护工作提供理论素材，从而进一步支撑重要场所的优质供电任务。全书共五章，主要内容包括电能质量领域基本概念与重要场所双电源切换技术的应用背景、双电源切换设备

本书全面系统地讲解了三菱FX5UPLC的基础知识和应用技能。全书共8章，具体内容包括三菱FX5UPLC的基础知识、编程基础、与GOT触摸屏的通信与编程、指令系统、模拟量编程，三菱PLC控制变频器、控制步进与伺服以及综合应用案例。本书内容深入浅出，语言通俗易懂，通过对39个案例的详细讲解，帮助读者边学边用。同时，本书在重

本书通过彩色图解+视频讲解的方式，以西门子博途编程软件（TIAPortal）V16为主要工具，详细介绍了PLC结构化文本（ST）编程的相关知识。全书通过大量的实例由浅入深地介绍了ST语言的逻辑运算、比较和移位运算、程序控制语句、数学运算以及综合应用和PLC的通信。在编写实例时，通过函数和功能块的调用详细阐述了PLC基于

为提升设备质量，强化监造管理，指导现场监造人员进行现场监造，保证监造现场见证工作顺利开展，特编写此书。将日常发现问题进行了汇总，现场监造人员可以直接参考查阅，本书可以方便监造人员快捷的查找监造相关要求。本书对变压器组合电器监造流程、生产工艺控制、出厂试验、发现问题、相关标准、国网天津市电力公司专项要求等进行了较详细的描

"SIMATICS7-1200PLC是新一代基本型控制器因其紧凑的外观设计、灵活的硬件扩展、强大的通信能力和丰富的功能等特点，适合中小型设备和简单工艺段的控制，深受用户欢迎，已广泛应用于纺织、包装、太阳能、暖通空调、陶瓷、电池、电子装配、智能楼宇、物流、热网等行业。以1200PLC基础和以太网应用作为教学项目，分别设置