利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，包括对该体系中8个公理（含选择公理）和1个公理图示以及全部181条定义或定理的Coq描述，其中构造了序数和基数，定义了非负整数，把Peano公设当作定理，可以迅速而自然地给出一个数学基础，摆脱了明显的悖论。这是Morse-Kelley公理化集合论系统的首次形式化实现。

《系统生物学问题的时滞动力学分析》简要介绍时滞动力学方法在系统生物学问题中的应用，侧重于时滞在某些生物问题中的重要作用。采用专题形式编排，包括四个具体热点问题（传染病模型、基因调控、神经网络以及细胞应对DNA损伤的调控机制）的研究背景及意义、动力学理论分析以及数值模拟分析等。其中理论部分主要集中在正平衡点的稳定性、Hopf分岔的存在性以及Hopf分岔的性质等内容。

《广义马尔可夫跳变系统的分析与控制》主要阐述广义马尔可夫跳变系统的稳定性分析以及控制器设计的基本内容和方法，介绍国内外相关领域的新研究成果。本书采用广义系统理论、随机系统理论和鲁棒控制理论的思想，利用先进的矩阵分析理论和线性矩阵不等式方法对非线性时滞广义马尔可夫跳变系统的H∞模糊控制问题、广义马尔可夫跳变系统的有限时间H∞控制问题、非线性广义马尔可夫跳变系统的有限时间H∞模糊控制问题、生物经济广义马尔可夫跳变系统的模糊随机保成本控制问题、广义随机马尔可夫跳变系统的鲁棒有限时间H∞控制问题、广义随机马尔可夫跳变系统的滑模控制问题、执行器非线性受限时广义马尔可夫跳变系统的滑模控制问题进行了较为深入的研究。《广义马尔可夫跳变系统的分析与控制》可供高等院校控制理论与控制工程及相关专业的高年级本科生和研究生阅读参考，也可作为从事随机广义系统控制研究的科研人员的参考用书。

《非光滑多目标规划*优性理论及方法》主要研究非光滑多目标规划问题，借助广义函数集值映射，讨论广义函数的多目标优化问题，建立该问题的充分条件、必要条件以及对偶定理；针对参数变分不等式约束和二阶锥广义方程约束的多目标优化问题，利用变分分析，建立问题的较优性条件，对基于参数变分不等式约束的多目标优化问题，借助扰动分析，讨论问题的KKT点的渐近收敛性；提出求解非光滑均衡问题的近似束方法，进行算法的收敛性分析

本书广泛吸取群智能计算、模式识别、统计学、数据挖掘、机器学习、人工智能等学科的先进思想和理论，以一种新的体系，系统、全面地介绍各种群智能算法的理论、仿生计算方法及其聚类应用。全书内容包括进化计算、人工免疫算法、Memetic算法、混合蛙跳算法、猫群算法、细菌觅食算法、人工鱼群算法、蜂群算法等。其中，进化计算内容包括进化计算、遗传算法、进化规划算法、进化策略算法、差分进化算法；人工免疫算法内容包括人工免疫算法概述、免疫遗传算法、免疫规划算法、免疫策略算法、基于动态疫苗提取的免疫遗传算法、免疫克隆选择算法。

《粒子对波束散射的解析和半解析方法》主要讨论粒子对波束散射的解析和半解析方法。《粒子对波束散射的解析和半解析方法》共6章，第1章介绍粒子对激光波束散射的研究进展；第2章给出入射高斯波束用球矢量波函数展开的表达式，是广义Mie理论的基础；第3章详细讨论规则形状粒子对高斯波束的散射，给出球、旋转椭球的微分散射截面，以及无限长圆柱和介质平板的归一化强度分布；第4章讨论规则形状粒子对任意波束的散射；第5章应用扩展边界条件法讨论均勻和双层粒子对高斯波束的散射；第6章研究粒子对任意波束的散射特性。《粒子对波束散射的解析和半解析方法》附有典型粒子对常用波束散射的程序，便于读者学习和研究之用。

本书以MCS-51系列单片机芯片为背景，深入浅出地介绍了单片机的结构、工作原理、编程方法（汇编语言和C语言）及单片机通信等。全书共有8个任务，主要内容包括：循环彩灯的控制、汽车转向灯的控制、交通信号灯的控制、单片机串行通信技术应用、生产线产品计件显示控制、矩阵键盘设计与扫描、波形发生器的设计及直流电机的PWM调速控制。本书内容丰富、实用，并在每一个任务后配有思考与练习。 本书可作为高职高专院校机电一体化技术专业、电气自动化专业等的专业课教材，也可供成人教育院校机械类、机电类专业的师生学习，还可供从事单片机应用产品开发的工程技术人员参考使用。

本书在保持*1版编写特点的基础上，系统、详细地介绍了美国ITSACA咨询集团公司数值分析软件FLAC 3D 60的基本功能、使用方法及应用开发技术。 本书共有15章，主要内容包括：概述、FLAC 3D分析问题的基本流程、FLAC 3D基础知识、用户界面交互操作、实体建模技术、FISH语言与程序、本构模型、材料参数、边界条件、初始条件、结构单元、求解、绘图输出、分界面及应用实例。 本书结构严谨，内容翔实，通俗易懂，配有大量插图，使读者能够迅速、准确、深入地理解FLAC 3D的功能和技术，快速掌握数值分析技术。本书例题源程序和项目文件可登录机械工业出版社教育服务网（wwwcmpeducom）下载。 本书可作为高等院校土木、交通、采矿、地质、水利、环境、石油、力学等专业的高年级本科生和研究生的教学用书，也可作为上述相关专业工程技术人员的参考书。【编辑推荐】 1.*版2007年出版，作为市场上*本FLAC 3D入门级教材，易学，得到了广大读者好评。 2.全面升级为FLAC 3D 6.0。 3.配套例题的源程序及项目文件，以便读者学习。 4.表格形式表达命令关键字，并一一说明，方便查阅；新增FISH函数说明表，返回值，参数及对应说明一目了然。 5.双色印刷，重点突出，阅读体验好。

ICEM CFD是目前国际上比较流行的商用网格划分软件，划分的网格可以用于流体和结构仿真模拟计算等多种工程问题。本书由浅入深地讲解了ICEM CFD网格划分的各种功能，详细地讲解ICEM CFD进行网格划分特别是结构化网格划分的方法。全书共分为12章，包括计算流体的基础理论与方法、创建几何模型、二维网格划分、三维网格划分、结构化网格划分、非结构网格划分、网格边界等功能的介绍，针对每个ICEM CFD可以解决的网格划分问题进行详细的讲解，并辅以相应的实例，使读者能够快速、熟练、深入地掌握ICEM CFD软件。本书结构严谨，条理清晰，重点突出，非常适合广大ICEM CFD初、中级读者学习使用；也可作为大中专院校、高职类相关专业以及社会有关培训班的教材；同时也可以作为工程技术人员的参考用书。

IBM在收购SPSS后发布了新版本IBM SPSS Statistics 25.0。新版加入了一些新特性和功能，并跟IBM协作和部署服务系统进行整合。 《SPSS统计分析从入门到精通（第二版）》共分18章，对SPSS的基本操作、SPSS统计分析以及SPSS图形功能等进行了全面的介绍，并在本书最后列举了多个SPSS在各学科领域实际应用的案例，为读者的学习提供更多的便利。SPSS基本操作部分，介绍了SPSS概述、数据文件的建立与操作；SPSS统计分析部分，介绍了基本统计分析功能、平均值比较与检验、方差分析、相关分析、回归分析、非参数检验、聚类分析与判别分析、因子分析与主成分分析、生存分析、信度分析等统计分析过程；SPSS图形功能部分，不仅介绍了基本统计图和交互图相关内容，还介绍了SPSS的主题地图功能。 《SPSS统计分析从入门到精通（第二版）》内容翔实、语言简练、思路清晰、图文并茂、深入浅出、理论与实际设计相结合，通过大量的实例对SPSS进行了比较全面的介绍。 《SPSS统计分析从入门到精通（第二版）》适合高等院校相关专业本科生、研究生，以及各领域从事统计分析和决策的相关人员学习参考。