这是当今偏微分方程（PDE）教材的第二版。它给出了PDE理论学习中现代技术的总览，特别注重非线性方程。《偏微分方程（第二版）（英文版）》内容广泛、阐述清晰，已经是PDE方面经典的研究生教材。在本版中，作者做了大量改动，包括： ·新增非线性波动方程的一章。 ·超过80个新习题。 ·许多新的小节。 ·大大扩充了参考文献。
《海洋平台组装与浮托安装技术(英文版)》由Gengshen Liu，Huajun Li编写。
本书是电子、计算机与自动化学科方向的专著，为使读者全面了解视频分析算法的背景、思想、原理、仿真及特点，本书详尽地介绍了多种算子、描述子、滤波、变换、方法等的基本原理，深入地阐述了视频分析算法的实验仿真，系统地总结了其优点和缺点，并提供配套的实验仿真源代码。
《海洋平台组装与浮托安装技术(英文版)》由Gengshen Liu，Huajun Li编写。
本书讨论非线性离散动力系统中的分岔和稳定性，包括单调和振荡稳定性理论与单调和振荡分岔理论。本书不仅给出了周期-1的不动点在某特定特征向量方向上的稳定性与分岔理论、并讨论其不动点的高阶奇异性，而且描述了一般非线性离散系统具有重特征根的正则形式、并介绍了具有无限不动点的离散动力系统。作者发现了不动点的局部分析理论不能解释或获得倍周期不动点解的稳定性和分岔。本书分五章介绍非线性离散系统的近期新发展，以便读者更好地、系统地理解与学习非线性离散系统的分岔与稳定性。首先讨论了非线性离散动力系统不动点的稳定性一般理论与稳定性分类。系统地给出了在不动点的特征向量方向上的高阶奇异稳定性与分岔理论。系统地讨论一维离散系统不动点的单调和振荡稳定性与分岔的局部理论。展示了一维离散系统的单调和振荡上下
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量，突破传统学科界线的束缚，进行不同学科间有效的交叉融合；针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应，呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献，为我国由地学大国变为地学强国提供切实可行的突破口。
本书系统地阐述周期性结构中的正、反散射理论，它涵盖了周期结构中麦克斯韦方程组正、反散射问题的几乎所有主题，包括数学模型、物理原理、数学分析以及计算方法。该书首先介绍了电磁场和光栅的基本理论。对于正散射问题，本书详细介绍变分方法来研究解的适定性以及自适应有限元的数值计算方法。对于反散射问题，本书讨论了解的专享性、稳定性以及光栅界面重构的数值方法。此外，本书也介绍了此领域中的重要近期新发展，例如近场成像、时域散射问题、非线性光学和很优设计问题等。该书可以为攻读硕士和博士学位的研究生提供初步的材料，以介绍周期性结构中麦克斯韦方程的正、反散射理论。它还为应用和计算数学的研究人员以及不同相关学科，例如电磁学和光学的工程人员提供了近期新的深刻的数学结果和具有挑战性的问题。
全长黏结锚索支护是煤矿和金属矿支护中的一种常见方式。由于锚索具有承载力大、可靠性高等优点，在矿山有着广泛的应用。但全长黏结锚索支护仍然存在失效的问题，常见的失效方式包括锚索与锚固剂接触面的粘结失效等。为了揭示全长黏结锚索支护的力学传递机理，预防锚索支护发生失效，本专著提出采用物理试验、理论分析和数值计算相结合的方法，研究全长黏结锚索在轴向加载条件下的力学传递性能及失效方式，从而为揭示锚索支护的力学传递原理提供了理论依据。
《中医科普系列—关节炎(西班牙文)》由王海隆等主编
工程科技是改变世界的重要力量，工程前沿是工程科技未来方向的重要指引。把握全球工程科技大势，瞄准世界工程科技前沿，大力推动工程科技创新发展，有效地应对全球性重大挑战，实现人类社会可持续发展，巳经成为世界各国的战略选择。2017年以来，中国工程院连续组织开展"全球工程前沿"重大咨询研究项目，旨在按年度分析全球工程研究前沿和工程开发前沿，研判全球工程科技演进变化趋势。本书为2020年度"全球工程前沿"项目研究成果，由两部分组成一一研究概况和领域报告，描述和分析了机械与运载工程、信息与电子工程、化工冶金与材料工程、能源与矿业工程、土木水利与建筑工程、环境与轻纺工程、农业、医药卫生和工程管理9个领域的工程研究前沿和工程开发前沿概况，并对重点前沿进行详细解读。 本书为"全球工程前沿"系列丛书之一，适合各相关
本书是电子、计算机与自动化学科方向的专著，为使读者全面了解视频分析算法的背景、思想、原理、仿真及特点，本书详尽地介绍了多种算子、描述子、滤波、变换、方法等的基本原理，深入地阐述了视频分析算法的实验仿真，系统地总结了其优点和缺点，并提供配套的实验仿真源代码。
本书为《单量子态的探测及相互作用》的英文版。单量子态，是指量子体系中的单光子、单电子、单原子、单分子、聚集体中的准粒子等单粒子量子态，以及聚集体中多粒子凝聚所形成的宏观量子态（如玻色-爱因斯坦凝聚态、超导或超流量子态）等。本书呈现了单量子态及其量子效应的研究，直接对单粒子量子态和宏观量子态等进行高精度的精密探测；结合理论，理解和掌握量子态的特性和量子过程的基本规律，在此基础上发展新的量子器件构筑技术和量子探测手段，以提升我国基础研究的水平，解决与我国信息和能源技术实现跨越式发展的一些重大需求相关的问题。
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量，突破传统学科界线的束缚，进行不同学科间有效的交叉融合；针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应，呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献，为我国由地学大国变为地学强国提供切实可行的突破口。
Software， as an important carrier of information technology， has penetrated all aspects of political， economic， military， cultural， and social lives. However，with the increasing scale of software， software development， integration， and continuous evolution have become increasingly complex. Software defects caused by complexity frequently result in various accidents and even serious disasters.Consequently， research into trustworthy software has become an urgent need for national economic development. In 2007， the National Natural Science Foundation of China （NSFC） began implementing the major research plan "The Fundamental Research for Trustworthy Software" (hereinafter referred to as the Plan） in response to the requirements of fundamental research on trustworthy software. It is one of the major research plans launched during the 11th Five-Year Plan (2006-2010）， led by the Department of Information Sciences and organized and implemented in collaboration with the Department of
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
非线性算子不动点理论是非线性控制理论的重要组成部分，尤其是非线性算子方程（ 组 ）解的迭代逼近问题一直是非线性控制理论领域活跃的研究课题。近年来，在图像处理与强度可调辐射疗法的实际应用背景下，分裂可行性问题成为近期非线性分析的研究热点之一。本专著从三个方面研究分裂可行性问题与广义分裂可行性问题（分裂公共不动点问题、分裂变分不等式问题和分裂公共零点问题）解的迭代逼近。主要体现在新算法设计、空间扩展和参数减弱条件等方面。对于丰富和扩展分裂可行性问题相关理论有重要价值。
复杂介质中的弹性波理论在地球物理勘探、结构和材料无损检测以及医学超声成像等领域具有广泛应用。但系统介绍弹性波传播理论的著作并不多见。本书系统介绍了各向同性弹性固体介质中弹性波传播的基本理论，包括无限大固体介质中的弹性波传播；弹性波在界面处的反射和透射；弹性波通过有限厚度层状结构的反射和透射；半无限大体表面或覆盖层中传播的瑞利波和乐夫波；平板中的导波和漏波；圆柱杆中导波；对圆柱壳和圆球壳中的导波传播模式和传播特性也进行了介绍。关于弹性波散射和多重散射的相关内容，基于篇幅考虑没有纳入。作者长期给研究生讲授弹性波理论，同时进行复杂介质中弹性波传播及其应用研究。本书是作者在弹性波理论课程讲义基础上，结合自己科研工作编写而成。全书共分6章，侧重基础理论和分析方法的系统性。
《网络安全等级保护测评要求应用指南:英文》由郭启全主编
《特殊钢中碳化物控制:英文》由李晶,史成斌著
复杂介质中的弹性波理论在地球物理勘探、结构和材料无损检测以及医学超声成像等领域具有广泛应用。但系统介绍弹性波传播理论的著作并不多见。本书系统介绍了各向同性弹性固体介质中弹性波传播的基本理论，包括无限大固体介质中的弹性波传播；弹性波在界面处的反射和透射；弹性波通过有限厚度层状结构的反射和透射；半无限大体表面或覆盖层中传播的瑞利波和乐夫波；平板中的导波和漏波；圆柱杆中导波；对圆柱壳和圆球壳中的导波传播模式和传播特性也进行了介绍。关于弹性波散射和多重散射的相关内容，基于篇幅考虑没有纳入。作者长期给研究生讲授弹性波理论，同时进行复杂介质中弹性波传播及其应用研究。本书是作者在弹性波理论课程讲义基础上，结合自己科研工作编写而成。全书共分6章，侧重基础理论和分析方法的系统性。
本书结合我国生态文明建设的国家战略需求，依托国家重点研发计划“场地土壤污染成因与治理技术”重点专项（2019YFC1804303），紧密结合科研育人的内在要求，从培养高层次创新型人才知识结构需求出发，注重内容的理论性、系统性、前沿性和完整性。 主要内容包括裂隙介质概念、结构与特性、裂隙介质水动力学基础、裂隙介质中污染物基本传质过程、裂隙介质中污染物传质的数学模型、裂隙介质中污染物传质的数值模拟方法、裂隙孔隙双重介质传质过程、裂隙介质中污染物传质界面的演化规律等内容。 本书可作为地质、水利、矿山、土木、环境、交通、石油、人防、国防等专业教学用书，也可作为相关专业科技人员的参考用书。
The main theme of this book is recent progress in structure-preserving algorithmsfor solving initial value problems of oscillatory differential equations arising in avariety of research areas， such as astronomy， theoretical physics， electronics， quan-tum mechanics and engineering. It systematically describes the latest advances in thedevelopment of structure-preserving integrators for oscillatory differential equa-tions， such as structure-preserving exponential integrators， functionally fitted energy-preserving integrators， exponential Fourier collocation methods， trigono-metric collocation methods， and symmetric and arbitrarily high-order time-steppingmethods. Most of the material presented here is drawn from the recent literature.Theoretical analysis of the newly developed schemes shows their advantages in thecontext of structure preservation. All the new methods introduced in this book areproven to be highly effective compared with the well-known codes in the scientificliterature. This
