本书面向全体少数民族预科学生，包括初等数学集合与数理逻辑、数与式、方程与不等式、函数、排列组合与数学归纳法、平面解析集合六章内容，重视数学基础的掌握、基本技能，注意高中内容与大学教学内容的过渡衔接。第一章集合与数理逻辑主要内容为集合与逻辑的概念及其运算，通过本章，学生要掌握集合与逻辑知识，锻炼逻辑推理能力。第二章数与式主要内容为整式、分式、部分分式、根式，负指数、分数指数幂，重点掌握式的运算。第三章方程与不等式，掌握一元二次方程与不等式、分式方程不等式、无理方程不等式的解法。第四章函数，主要内容

本书介绍了118种化学元素的发现、命名、用途及其构成的化合物的功用和危害，同时对化学史上做出杰出贡献的巨匠：玻意耳、贝采里乌斯、拉姆塞、迈特纳等，也进行了详细叙述。

为了研究超高瑞利数湍流热对流现象，本书提出以高速旋转产生的极强离心力代替重力来驱动热对流，以此搭建旋转超重力热湍流实验平台，研究了旋转超重力热湍流系统的传热与流动特性，并在实验中实现了对湍流**区间和纬向流的直接测量。同时，利用费曼棘齿结构打破了热对流系统的对称性，发现系统存在两种差异巨大的流动状态且对应不同的传热效率，揭示了相应的物理机理并提出了利用棘齿的流动传热主动控制方法。本书可供能源动力、航空航天、石油化工、天体物理等相关领域学者参考。

狭义相对论在近代物理学中已有广泛的应用，是物理学的基础理论之一，它的基本假设和结论有着牢固的实验基础。本书?S13草，第1～6章介绍狭义相对论的基本内容和主要结论，第7～13章从理论的角度总结和分析检验狭义相对论的几种主要实验类型：狭义相对性原理、光速变原理、时间膨胀效应、缓慢运动物体的电磁感应、相对论力学、光子静质量上限、托马斯进动。

本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公式及其应用、Calkin恒等式及其交错形式等。

本书为“聚集诱导发光丛书”之一。不同于显著大π发光体系，非典型簇发光化合物体系将为发光材料，特别是有机发光材料提供新的内涵，将为聚集诱导发光（AIE）研究提供新的增长方向，将启发人们更加重视聚集态（凝聚态）光物理性质的探索。全书总结了具有AIE特性的簇发光体系的**研究进展，阐述了不同类型的AIE型簇发光化合物，包括有机非典型发光化合物簇、金属簇及典型-非典型复合簇，从结构、合成方法、一般性质、发光机理与应用等方面展开论述，并从光物理性质角度阐述了聚合物效应及典型-非典型体系的簇效应，最后对这一

《AnsysWorkbench2022中文版有限元分析从入门到精通》针对以Ansys2022版本，对AnsysWorkbench分析的基本思路、操作步骤、应用技巧进行了详细介绍，并结合典型工程应用实例详细讲述了AnsysWorkbench的具体应用方法。全书共13章，第1～4章为操作基础，详细介绍了AnsysWorkbench分析全流程的基本步骤和方法，其中包括AnsysWorkbench2022入门、DesignModeler应用程序、Mechanical应用程序和一般网格控制；第5～13章为

椭圆曲线密码体制（ECC）是当前主流的公钥密码体制，该体制的安全核心是椭圆曲线离散对数问题（ECDLP）。本书首先对椭圆曲线离散对数及其相关问题，以及它们之间的相互关系进行了探讨，然后主要介绍了椭圆曲线离散对数问题的计算方法，包括通用的平方根算法及其改进、特殊椭圆曲线离散对数的计算方法、指标计算方法的努力、归约到NPC问题的方法和量子算法等，基本涵盖了ECDLP的所有求解算法。这些算法大都给出了实例验证，这为读者更好地理解它们提供了帮助。

光子晶体功能材料具有独特的光学特性，在众多领域拥有巨大的应用前景。本书围绕光子晶体“材料体系”与“应用探索”两大主题，分别介绍了微流控光子晶体、液态胶体光子晶体、空心微球胶体光子晶体、分子刷光子晶体及磁响应胶体光子晶体的制备原理和独特性能，并探讨了光子晶体材料在绿色印刷、光纤、结构色印染、物理传感器和防伪识别领域的**应用。

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点，系统性研究了分数阶系统的求解、近似化、控制器设计