本书以ANSYS 2021版本为依据，对ANSYS分析的基本思路、操作步骤、应用技巧进行了详细介绍，并结合典型工程应用实例详细讲解了ANSYS的具体应用方法。

全书分为两篇，共计15章。第1篇为操作基础，详细讲解了ANSYS分析全流程的基本步骤和方法，包括ANSYS概述、几何建模、划分网格、施加载荷、求解和后处理等内容。第2篇为专题实例，按不同的分析专题讲解了参数设置的方法与技巧，包括静力学分析、模态分析、谐响应分析、非线性分析、结构屈曲分析、谱分析、瞬态动力学分析、

本书是关于非平衡态相变热力学的专著。本书构建了非平衡态相变热力学的理论体系，系统阐述了非平衡态相变热力学的基础理论和基本知识，内容包括单元系和多元系的蒸发、冷凝、升华、凝结、溶解、析出、熔化、凝固、固态相变，以及各种相变形核等。本书给出了单元系和多元系非平衡态相变过程的吉布斯自由能变化、焓变、熵变的公式和相变速率的公式；给出了各种相变形核过程的吉布斯自由能变化、焓变、熵变的公式和形核速率的公式；给出了多元系相变过程的耦合等。本书是非平衡态相变热力学的中册，内容是液体凝固和固态升温相变。

本书以液体射流稳定性领域的新问题和新进展为依托，向读者阐述相关的理论、方法及应用。介绍数学模型的建立、求解和必要的数学推导，同时强调问题物理过程的分析与简化。全书共8章，以稳定性分析的基本理论为主线，分别介绍圆柱射流稳定性、平面射流稳定性、非牛顿流体射流稳定性、多物理场作用下的射流稳定性、参数振荡下的射流稳定性分析、特殊截面射流的稳定性，以及其他特殊条件下的射流稳定性分析。本书附录介绍了谱方法及其在射流稳定性方面的应用。

本书涉及有关自然数的本体论和认识论的基本问题。十九世纪后半叶，多位数学思考者、哲学思考者围绕自然数这一概念展开过一系列探索。其结果各有所长、各有千秋，但都不尽如人意。原因在于人们只注意到自然数的有限基数特点而疏忽了自然的实在的刚性的序特点。我国古代充满智慧的先人们则早已驾轻就熟地应用这种序结构来表达思想。 本书试图从自然界的序现象出发，结合我国古代先人应用序的智慧，阐明这种几乎无处不在的序结构如同到处可见的几何结构一样，是人类一种来自生活经验的认识之源，有关自然数及其运算律的认识也和有关几

本书细致、全面地介绍了身边的数学知识，共16章，包含一次函数、二次函数与方程、不等式，指数、对数，三角函数，导数，积分，高等微积分，数值分析，数列，图形与方程，向量，矩阵，复数，概率，统计学等在大多数行业中常用的数学知识。本书每一节分为3 个板块：首先，标明参考星级，指导读者按需掌握程度进行阅读；其后，列出知识点概述和公式、法则，用文字进行简单讲解并配以趣味小图画，非常易于理解；最后，具体介绍这个数学知识在实际生活或工作中的应用。

本书不仅可以帮助读者加深学习或巩固数

全书共分10章，首先回顾了麦克斯韦、富兰克林、金兹顿、吉尔伯特等大师和贝尔实验室等科研机构对电磁学发展的贡献；然后介绍了射电天文技术在地外生命观测方面的重要作用以及手机信号的追踪识别等技术和法律问题；又探讨了手机引起的大众恐慌和超敏感性等问题，通过对基站系统进行介绍以尝试打消大众对电磁波的恐惧；还介绍了电磁技术在生物医学领域的成果并对应用前景进行了展望以及电磁波的军事应用；最后就无人驾驶汽车、物联网、无线充电等领域的电磁问题进行了研讨。

本书系统地叙述了固体介质中应力波传播理论的基础知识，这对于涉及爆炸、冲击和地震等动载荷条件下的国民经济建设、军事技术、科学研究、安全和环境保护等，都有着广泛的应用价值。为适合初学者，本书由浅入深地包括五方面内容：首先从杆中一维应力弹性波、塑性波、冲击波、卸载波等，逐步讨论到线性粘弹性波，非线性粘弹性波和弹粘塑性波。然后讨论三维应力作用下的一维应变平面波，球面波和柱面波。第三部分讨论了横向冲击载荷作用下柔性弦中弹塑性波和梁中弹塑性波的传播理论，先后涉及弦中互相耦合的纵波与横波的传播和梁中

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。

　　《在教学中寻找数学的美》从一个特殊的视角——数学教育教学，探索寻找与教学紧密联系的数学的内在之美、人文之美、应用之美、思维之美、空间之美、字符之美、哲学之美、政论之美、改革之美、教学设计之美、研究过程之美、教学实践之美、学生热爱数学之美……
　　读者阅读《在教学中寻找数学的美》，可以与作者一起探究数学与教学相结合之美的独特性在哪里，感受数学之美的内涵与外延。
　　相信读者阅读《在教学中寻找数学的美》，能感受到数学别样的美，体会到进行数学研究与教育教学的宝贵精神与美丽心情，一定会有

本书收录了十位20世纪后半叶的数学家, 他们每个人都在数学史上留下了自己的足迹。在美国成为数学研究中心的时代里, 他们是更加多元化的国际数学大家庭的成员, 构成了这个大家庭的横截面。在这个时期内, 很多长期以来开放性的问题得到了解决, 纯数学和应用数学得到了大发展, 新数学思想的引入使得主要技术进步成为可能。