逻辑公式的可满足性判定 : 方法、工具及应用
《逻辑公式的可满足性判定 : 方法、工具及应用》,作者:张健著 出版社:科学出版社 ISBN:7030083644。本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
张健
交通运输前沿技术导论
《交通运输前沿技术导论》,作者:冉斌,张健 编著 出版社:科学出版社 ISBN:9787030540577。 本书结合新兴的物联网、云计算、大数据、人工智能、移动互联网等技术，以智慧交通为核心，结合世界范围内交通运输前沿技术及发展趋势，在深入分析国内交通运输行业发展的基础上，重点针对智能交通运输系统的体系框架、信息平台、车联网技术及智慧高速公路应用实践等方面，介绍交通运输的相关前沿技
民用中央空调设计基础知识
《民用中央空调设计基础知识》,作者:张健 著 出版社:科学出版社 ISBN:9787030547316。 本书是作者长期实践的工作总结。全书试图以简要的方式从基本术语、设备组成、方案分类、系统问题、设计经验、工程案例、主机故障等各个方面与读者分享民用空调技术相关基本知识及经验。
数字电子技术教学研究与案例
《数字电子技术教学研究与案例》,作者:唐彰国,刘莉,张健 著 出版社:科学出版社 ISBN:9787030528162。 本书分为四部分：第一部分提出数字电子技术课程“以学生为中心”的能力模型及面向学生思维要素建构的教学方案；第二部分从知识的角度对教材及学习资源进行全方位视角的研究，提出课程内容的多维重构方法；第三部分面向教师的教学知识基于TPACK框架对数字电子技术的教法进行体系化研究，形成体
三维SPH算法在冲击动力学中的应用
《三维SPH算法在冲击动力学中的应用》,作者:初文华,明付仁,张健 著 出版社:科学出版社 ISBN:9787030561107。 本书重点介绍了三维SPH数值模型在处理典型冲击动力学问题中取得的研究成果。首先，SPH方法虽然在处理结构大变形与动力物质交界面方面具有很大优势，但对冲击动力学问题进行三维数值模拟时，仍存在缺陷，对此，本书开发了处理非连续问题的三维SPH数值模型，针对结构入水冲击、穿
数据挖掘中的集成方法: 通过集成预测来提升精度
《数据挖掘中的集成方法: 通过集成预测来提升精度》,作者:(美)Giovanni Seni，(美)John Elder著 ; 王攀,张健,杨洋,彭宇阳,卢其兵译 出版社:科学出版社 ISBN:9787030443274。本书讨论基于决策树的集成，分析被视为当前现代集成算法高级性能的主要原因之一的正则化问题，描述集成方法领域近年来的两个发展——重要性采样(IS)和规则集成(RE)，论述新数据信息集成
海底构造与地球物理学
《海底构造与地球物理学》,作者:吴时国，张健编著 出版社:科学出版社 ISBN:9787030409348。本书综合海洋地球物理、海底构造学和海洋地质学等学科近年来的研究成果，强调海洋地球物理与海底构造学之间的学科交叉，系统地介绍了海洋地球物理的基本理论与方法技术，厘定了海底构造和地球物理的基本概念，分析了学科的发展趋势和创新点，论述了海底构造的形成演化及动力学过程。
常见疾病临床药学监护案例分析-小儿感染性疾病分册
《常见疾病临床药学监护案例分析-小儿感染性疾病分册》,作者:张健,朱晓东 主编 出版社:科学出版社 ISBN:9787030598158。 本书涵盖了常见的儿童感染性相关疾病，包括肺部感染、腹腔感染、血流感染、中枢神经系统感染、消化系统感染、泌尿系统感染、骨关节感染及新生儿感染共9章，每个系统感染选取了3-6个典型案例，从疾病基础知识、临床表现到药物特点、合理应用、进行系统化的药物治疗方案和药学
