逻辑公式的可满足性判定 : 方法、工具及应用
《逻辑公式的可满足性判定 : 方法、工具及应用》,作者:张健著 出版社:科学出版社 ISBN:7030083644。本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
张健
三维SPH算法在冲击动力学中的应用
《三维SPH算法在冲击动力学中的应用》,作者:初文华,明付仁,张健 著 出版社:科学出版社 ISBN:9787030561107。 本书重点介绍了三维SPH数值模型在处理典型冲击动力学问题中取得的研究成果。首先，SPH方法虽然在处理结构大变形与动力物质交界面方面具有很大优势，但对冲击动力学问题进行三维数值模拟时，仍存在缺陷，对此，本书开发了处理非连续问题的三维SPH数值模型，针对结构入水冲击、穿
菌丝/生物质基复合电极材料
《菌丝/生物质基复合电极材料》,作者:林琳,张健 著 出版社:科学出版社 ISBN:9787030731067。本书将林业科学的研究重点与新能源材料的瓶颈问题结合起来，基于绿色环保的微生物法，开发具有优异电化学性能的生物质基电极材料。本书主要研究了白腐菌对木材孔隙结构及电化学性能的影响、白腐菌对竹材孔隙结构及电化学性能的影响、菌丝/速生杨木衍生碳电极材料的制备与电化学性能的研究、金属元素掺杂菌丝/
数字电子技术教学研究与案例
《数字电子技术教学研究与案例》,作者:唐彰国,刘莉,张健 著 出版社:科学出版社 ISBN:9787030528162。 本书分为四部分：第一部分提出数字电子技术课程“以学生为中心”的能力模型及面向学生思维要素建构的教学方案；第二部分从知识的角度对教材及学习资源进行全方位视角的研究，提出课程内容的多维重构方法；第三部分面向教师的教学知识基于TPACK框架对数字电子技术的教法进行体系化研究，形成体
数据挖掘中的集成方法: 通过集成预测来提升精度
《数据挖掘中的集成方法: 通过集成预测来提升精度》,作者:(美)Giovanni Seni，(美)John Elder著 ; 王攀,张健,杨洋,彭宇阳,卢其兵译 出版社:科学出版社 ISBN:9787030443274。本书讨论基于决策树的集成，分析被视为当前现代集成算法高级性能的主要原因之一的正则化问题，描述集成方法领域近年来的两个发展——重要性采样(IS)和规则集成(RE)，论述新数据信息集成
常见疾病临床药学监护案例分析-小儿感染性疾病分册
《常见疾病临床药学监护案例分析-小儿感染性疾病分册》,作者:张健,朱晓东 主编 出版社:科学出版社 ISBN:9787030598158。 本书涵盖了常见的儿童感染性相关疾病，包括肺部感染、腹腔感染、血流感染、中枢神经系统感染、消化系统感染、泌尿系统感染、骨关节感染及新生儿感染共9章，每个系统感染选取了3-6个典型案例，从疾病基础知识、临床表现到药物特点、合理应用、进行系统化的药物治疗方案和药学
Java语言与JBuilder应用基础教程 : JAVA初级程序员认证
《Java语言与JBuilder应用基础教程 : JAVA初级程序员认证》,作者:张健编著 出版社:科学出版社 ISBN:703015049X。本书全面讲述了Java语言的基础知识以及使用Borland JBuilder集成开发环境开发Java程序的方法。
