深入理解无刷直流电机矢量控制技术
《深入理解无刷直流电机矢量控制技术》,作者:上官致远,张健 编著 出版社:科学出版社 ISBN:9787030655103。本书以无刷直流电机矢量控制技术为研究对象，从电机原理入手，分析无刷直流电机的原理，深入讲解矢量控制技术的原理和实现。进一步，探讨矢量控制的关键技术环节，以STM32F40x为平台，分析如何实现直流无刷电机矢量控制算法。全书共10章，研究了有感技术的实现，阐述了矢量控制的整
张健
三维SPH算法在冲击动力学中的应用
《三维SPH算法在冲击动力学中的应用》,作者:初文华,明付仁,张健 著 出版社:科学出版社 ISBN:9787030561107。 本书重点介绍了三维SPH数值模型在处理典型冲击动力学问题中取得的研究成果。首先，SPH方法虽然在处理结构大变形与动力物质交界面方面具有很大优势，但对冲击动力学问题进行三维数值模拟时，仍存在缺陷，对此，本书开发了处理非连续问题的三维SPH数值模型，针对结构入水冲击、穿
纳米金属硫化物的高压物性
《纳米金属硫化物的高压物性》,作者:张健,马一博 著 出版社:科学出版社 ISBN:9787030731272。本书是一部研究纳米金属硫化物的制备及高压物性的专著，内容可分为9部分：纳米金属硫化物的研究进展，金属硫化物的高压研究，实验装置及测试方法，SnS、SnSe、SnSxSe1-x低维纳米结构的制备与表征，MnS纳米立方块的制备与表征，SnS纳米片的高压结构相变研究，SnSe纳米片的高压结构相
逻辑公式的可满足性判定 : 方法、工具及应用
《逻辑公式的可满足性判定 : 方法、工具及应用》,作者:张健著 出版社:科学出版社 ISBN:7030083644。本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
数据挖掘中的集成方法: 通过集成预测来提升精度
《数据挖掘中的集成方法: 通过集成预测来提升精度》,作者:(美)Giovanni Seni，(美)John Elder著 ; 王攀,张健,杨洋,彭宇阳,卢其兵译 出版社:科学出版社 ISBN:9787030443274。本书讨论基于决策树的集成，分析被视为当前现代集成算法高级性能的主要原因之一的正则化问题，描述集成方法领域近年来的两个发展——重要性采样(IS)和规则集成(RE)，论述新数据信息集成
民用中央空调设计基础知识
《民用中央空调设计基础知识》,作者:张健 著 出版社:科学出版社 ISBN:9787030547316。 本书是作者长期实践的工作总结。全书试图以简要的方式从基本术语、设备组成、方案分类、系统问题、设计经验、工程案例、主机故障等各个方面与读者分享民用空调技术相关基本知识及经验。
Java语言与JBuilder应用基础教程 : JAVA初级程序员认证
《Java语言与JBuilder应用基础教程 : JAVA初级程序员认证》,作者:张健编著 出版社:科学出版社 ISBN:703015049X。本书全面讲述了Java语言的基础知识以及使用Borland JBuilder集成开发环境开发Java程序的方法。
心力衰竭的药物治疗 ——新药与治疗策略
《心力衰竭的药物治疗 ——新药与治疗策略》,作者:樊朝美,张健主编 出版社:科学出版社 ISBN:9787030627629。《心力衰竭的药物治疗 ——新药与治疗策略》根据临床实践的需要，参阅国内外最新文献，详细论述了心力衰竭的概念、病因、病理生理机制、临床表现、诊断与治疗、预防及预后，着重介绍了心力衰竭最新药物的临床应用与治疗进展，并对近年来出现的有效治疗心力衰竭的国际多中心临床试验结果进行了详
