电力系统柔性评价与分析
《电力系统柔性评价与分析》,作者:王承民等 著 出版社:科学出版社 ISBN:9787030584519。本书总结了过程系统柔性，以及电力系统现有的柔性、灵活性和弹性方面的研究成果，并对电力系统中的柔性进行了统一定义和分类；分别对电力系统中的固定柔性评价、固定柔性优化、可变柔性评价及可变柔性优化等问题展开分析和研究。
分析
安全协议形式化分析与验证
《安全协议形式化分析与验证》,作者:肖美华著 出版社:科学出版社 ISBN:9787030626332。《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
环境影响经济损益分析理论、方法与应用
《环境影响经济损益分析理论、方法与应用》,作者:李巍等著 出版社:科学出版社 ISBN:9787030623232。 《环境影响经济损益分析理论、方法与应用》从促进生态文明制度建设、提高环境影响评价质量、强化环境经济管理手段的角度，辨析了环境影响经济损益分析的概念内涵，阐明了开展环境影响经济损益分析的目的和意义，系统总结了国内外相关研究与应用进展，从生态环境价值评估和生态环境损害评估两个分类
电力电子分析与IsSpice模拟
《电力电子分析与IsSpice模拟》,作者:郑培璿编著 出版社:科学出版社 ISBN:9787030192899。本书共16章，内容包括IsSpice系统与操作、功率半导体元件、单相及三相二极管整流器、单相及三相晶闸管整流器、电压源逆变器、电感切换电路、降压和升压型转换器、反激式和正激式转换器、桥式转换器、模拟问题与收敛性、副电路模型化设计等。
锁相环：分析和设计 | 影印版
《锁相环：分析和设计 | 影印版》,作者:(美)Shu K.L. Edgar, Sanchez-Sinencio编著 出版社:科学出版社 ISBN:9787030182500。本书是一本关于小型sigma-delta频率综合器方面的优秀著作。作者分别从系统级和电路级对频率综合器的设计进行了阐述。主要创新点在低功耗高速分频器和减少芯片面积的环路滤波器的电容设计上。该书涉及PLL的基础问题，内容全
断口形貌学 : 观察、测量和分析断口表面形貌的科学 : observing, measuring and interpreting fracture surface topography
《断口形貌学 : 观察、测量和分析断口表面形貌的科学 : observing, measuring and interpreting fracture surface topography》,作者:(英)Derek Hull著；李晓刚[等]译 出版社:科学出版社 ISBN:9787030257741。本书共10章，主要介绍了断口形貌学的学科本质、各种断口形貌的主要特点、沿着三维双曲率表面扩展的裂纹
