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

本书分为六个部分，每个部分都涉及特定的主题。第一部分主要介绍了理解输电线路导线电晕放电物理特性所需的基本概念，包括三章。第二部分由三章组成，采用实证方法对交流输电线路的电晕损耗(CL)、无线电干扰(RI)和可听噪声(AN)这三个主要的电晕效应进行了分析和预测。第三部分由两章组成，论述了直流输电线路电晕效应的特点，与交流

本书围绕智能家居设计了8个实践项目，分别为家庭照明电路的设计与安装、迷你小台灯的设计与制作、电风扇电路的分析与测试、手机充电器的设计与安装、三相异步电动机的连接与测试、迷你音响的设计与制作、三人表决器的设计与制作、数字秒表的设计与制作。包含了维修电工、低压电工及从事电类相关职业岗位必需的电工电子技术基础知识、基本方法和

书主要介绍以三相异步电动机为控制对象的电气控制电路的分析、设计及安装调试，同时也介绍了直流电动机、变压器和控制电机的基础知识和应用，旨在让读者掌握电动机及其电气控制系统的结构、原理、运行控制和维护维修等理论知识，提高读者常用电气控制电路的设计、安装与调试技能，引导读者养成安全生产、规范操作、团结协作、爱岗敬业、精益求精

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

现代微特电机技术是一门集电机技术、材料科学、计算机技术、现代控制理论、微电子技术和电力电子技术等现代科学技术的进步于一体的新技术。本书主要介绍几种正在兴起和已经取得广泛应用的微特电机的原理、分析、设计及其控制方法。全书共6章，第1章介绍微特电机的分类、应用、发展趋势和设计与控制的共性问题；第2章介绍无刷直流电动机的结构

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

《图解顺序控制电路入门篇》是一本为了通俗易懂地讲解顺序控制的基础，将实际控制设备的操作和动作的顺序用颜色表示，全页用图画进行说明的技术解剖书。具体内容包括用于顺序控制的专门用语、用于顺序控制的各种元件、什么是顺序控制、电气图形符号的画法、文字符号和控制元件序号的表示方法、顺序图的画法、顺序控制基本电路的读图方法、通过实

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

本书论述了利用多类型遥感和监测手段进行电力走廊特定风险预测评估的研究思路和理论基础，研究了应用多源数据对电力走廊及其周边山火风险及植被隐患进行精确分析、预警的有关技术和方法。以电力走廊山火风险和植被障碍风险为主要研究对象，基于多源遥感与气象监测数据，深入探索了山火风险和植被障碍风险等级评估方法，进行电力走廊内单条线路的