《旋转电机偏心故障及环境耦合缺陷诊断技术》作者在旋转电机多场耦合的数值模拟和实验研究方面进行了广泛研究。《旋转电机偏心故障及环境耦合缺陷诊断技术》通过理论建模、数值模拟、实验研究、信号处理相结合的研究方法，阐述了偏心故障及环境耦合缺陷对旋转设备电磁场、结构场、流场间的影响规律，旨在分析旋转电机偏心故障及环境耦合缺陷对多场特性的作用机制，并从信号分析领域揭示旋转电机典型故障信息与多场信号调制特征的关联性。本书采用的信号分析方法创新性地揭示了不平衡激振力在多物理场间的传递特征及机制。此外，

这是一本介绍半导体工作原理的入门类读物。全书共分4章，包括第1章的半导体的作用、类型、形状、制造方式、
产业形态；第2章的理解导体、绝缘体和半导体的区别，以及P型半导体和N型半导体的特性；第3章的PN结、双极型晶体管、MOS晶体管、
CMOS等；第4章涵盖了初学者和行业人士应该知道的技术和行业词汇表。
本书适合想学习半导体的初学者阅读，也可以作为相关企事业单位人员的科普读物。

本书以国产RT-Thread实时操作系统为蓝本，以ARM架构MCU为载体，基于应用开发的视角，阐述实时操作系统的线程、调度、延时函数、事件、消息队列、信号量、互斥量等基本知识要素，重点讲解实时操作系统下的程序设计方法。对于原理部分，本书从知其然且了解其所以然的角度，用一章篇幅以在内核代码中注入显示输出的方式给出原理浅析。

本书全面系统地介绍了金属材料的各种力学性能试验原理、方法和试验程序等，主要内容包括金属材料基础知识，力学性能试验取样方法，金属材料拉伸试验，金属材料硬度试验，金属材料夏比摆锤冲击试验，金属材料弯曲、压缩与剪切试验，金属材料疲劳试验，紧固件力学性能试验，测量不确定度。本书采用现行的相关国家标准和行业标准，内容由浅入深，注重基本理论与实践相结合，数据齐全可靠，查阅方便快捷，具有实用性、综合性、先进性和可靠性。

本书以工控主要设备——PLC、触摸屏、变频器和伺服为主，按照典型应用项目用软硬件融合的方式进行讲解，将CAN总线、以太网和SERCOS等网络通信的知识点穿插在内，每个项目的硬件都有侧重，包括PLC的原理侧重介绍了M241 PLC和M251 PLC在实际工程中的编程细节。在触摸屏部分避开了繁琐和不常用的功能说明，直接给出了HMI在项目中和PLC的联合应用。在变频器原理部分点到为止，重点讲解了ATV320、ATV340变频器在实际工作中的参数设置。另外，本书通过两款主流伺服控制器LXM28A和LXM

本书按照知识结构顺序分为15章，分别讲述SOLIDWORKS2024概述、草图绘制、基础特征建模、附加特征建模、曲线与曲面、钣金设计、装配体设计、动画制作和工程图设计等知识。书中的每个实例都是编者独立设计的真实零件，每章都提供了独立、完整的零件制作过程，每个模块都有大型、综合的实例介绍，操作步骤都有简洁的文字说明和精美的图例展示。

本书从我国新型储能产业发展概况、我国新型储能参与电力市场的现状、国外新型储能参与电力市场相关经验研究、国外新型储能参与电力市场相关研究经济学理论分析四个方面展开讨论，详细阐述了截至目前国内外促进新型储能发展的政策体系建设情况，梳理了政策里程碑节点以及政策引导下的中国和海外市场环境和产业现状，并辅以市场反应和典型案例，从学术和产业结合的角度得出正向结论或发展建议，对中国国内新型储能项目（以磷酸铁锂电化学储能为主）参与电力市场具有较好的借鉴价值。本书可为高等院校电力市场、能源政策研究、国家发展和能源

本书使用Qiskit开源框架和IBM Quantum Experience平台搭建一个量子计算平台，并借助Python来介绍实现量子编程的方法。 本书内容由浅入深，从搭建编程环境并编写一个简单的量子程序开始，介绍如何使用Python编写简单的脚本，Qiskit和IBM Quantum Experience进行交互的方法，概率计算、叠加和纠缠等基本概念，影响量子程序输出结果的各种物理因素，Qiskit量子门资源库，使用Aer模拟量子计算机，使用Ignis清理量子操作，Grover搜索算法，以及使用

本书在编写时考虑到了Redis的实际应用场景，所以认真详细分析了Java中的三种Redis开发结构，包括Lettuce、SpringDataRedis以及与SpringBoot的整合开发，整体的图书编写中基于Linux系统环境，按照由浅至深的顺序递进知识体系。从最基础的服务安装、常用数据类型、Redis配置管理、Java开发、Lua编程，一直讲解到集群架构以及RedisStack。 在本书中除了讲解Redis基本使用之外，还包含有各种的Java应用技术场景，包括：接口幂等性、分布式锁、响应式开发

本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件安全性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员阅读，也可作为高等院校质量和可靠性工程专业的教师、高年级本科生和研究生的参考书。