为适应砌石坝工程建设发展的需要，规范砌石坝设计，对《浆砌石坝设计规范》（SL25-91）进行修订，使砌石坝设计做到安全适用、经济合理、技术优选、质量保证，特制定本规范。

《特殊钢中碳化物控制:英文》由李晶,史成斌著

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

非线性算子不动点理论是非线性控制理论的重要组成部分，尤其是非线性算子方程（ 组 ）解的迭代逼近问题一直是非线性控制理论领域活跃的研究课题。近年来，在图像处理与强度可调辐射疗法的实际应用背景下，分裂可行性问题成为近期非线性分析的研究热点之一。本专著从三个方面研究分裂可行性问题与广义分裂可行性问题（分裂公共不动点问题、分裂变分不等式问题和分裂公共零点问题）解的迭代逼近。主要体现在新算法设计、空间扩展和参数减弱条件等方面。对于丰富和扩展分裂可行性问题相关理论有重要价值。

本书旨在帮助理工科专业本科生初步形成对物理问题进行有效量化分析的能力。其主要内容包括如何基于偏微分方程对物理问题开展数学建模，以及如何利用进阶分析工具对二阶线性偏微分方程进行求解与分析。具体涉及的物理过程包括弦/薄膜振动过程、热传导过程、物质扩散过程以及静电平衡问题。所涉及的常用分析方法包括波传播法、积分变换法、分离变量法、格林函数法、变分原理等。所涉及的高等数学知识未涵盖到的进阶分析工具包括贝塞尔函数、傅里叶变换和卷积等。此外，本书还将探讨二阶线性偏微分方程的一些定性理论，例如各类二阶线性偏微分方程解的专享性问题等。在对上述物理问题与方法进行阐述之后，本书也将讨论二阶线性偏微分方程的分类原则，以期帮助学生从数学结构的视角更好地理解物理问题，也为在未来学习中会遇到更具专业特点

这是当今偏微分方程（PDE）教材的第二版。它给出了PDE理论学习中现代技术的总览，特别注重非线性方程。《偏微分方程（第二版）（英文版）》内容广泛、阐述清晰，已经是PDE方面经典的研究生教材。在本版中，作者做了大量改动，包括： ·新增非线性波动方程的一章。 ·超过80个新习题。 ·许多新的小节。 ·大大扩充了参考文献。

本书主要分析中国34个典型煤成大气田的基本地质概况、气藏类型、天然气成因类型和气源岩以及成藏过程，重点论述天然气的地球化学特征，如组分、稳定碳氢同位素、轻烃以及伴生凝析油的碳同位素、生物标志物等组成，判别天然气成因，并结合气田地质条件，分析其天然气来源。

本书主要分析中国34个典型煤成大气田的基本地质概况、气藏类型、天然气成因类型和气源岩以及成藏过程，重点论述天然气的地球化学特征，如组分、稳定碳氢同位素、轻烃以及伴生凝析油的碳同位素、生物标志物等组成，判别天然气成因，并结合气田地质条件，分析其天然气来源。

为适应砌石坝工程建设发展的需要，规范砌石坝设计，对《浆砌石坝设计规范》（SL25-91）进行修订，使砌石坝设计做到安全适用、经济合理、技术优选、质量保证，特制定本规范。

《海洋平台组装与浮托安装技术(英文版)》由Gengshen Liu，Huajun Li编写。

复杂介质中的弹性波理论在地球物理勘探、结构和材料无损检测以及医学超声成像等领域具有广泛应用。但系统介绍弹性波传播理论的著作并不多见。本书系统介绍了各向同性弹性固体介质中弹性波传播的基本理论，包括无限大固体介质中的弹性波传播；弹性波在界面处的反射和透射；弹性波通过有限厚度层状结构的反射和透射；半无限大体表面或覆盖层中传播的瑞利波和乐夫波；平板中的导波和漏波；圆柱杆中导波；对圆柱壳和圆球壳中的导波传播模式和传播特性也进行了介绍。关于弹性波散射和多重散射的相关内容，基于篇幅考虑没有纳入。作者长期给研究生讲授弹性波理论，同时进行复杂介质中弹性波传播及其应用研究。本书是作者在弹性波理论课程讲义基础上，结合自己科研工作编写而成。全书共分6章，侧重基础理论和分析方法的系统性。

非线性算子不动点理论是非线性控制理论的重要组成部分，尤其是非线性算子方程（ 组 ）解的迭代逼近问题一直是非线性控制理论领域活跃的研究课题。近年来，在图像处理与强度可调辐射疗法的实际应用背景下，分裂可行性问题成为近期非线性分析的研究热点之一。本专著从三个方面研究分裂可行性问题与广义分裂可行性问题（分裂公共不动点问题、分裂变分不等式问题和分裂公共零点问题）解的迭代逼近。主要体现在新算法设计、空间扩展和参数减弱条件等方面。对于丰富和扩展分裂可行性问题相关理论有重要价值。

《网络安全等级保护测评要求应用指南:英文》由郭启全主编

《特殊钢中碳化物控制:英文》由李晶,史成斌著

为适应砌石坝工程建设发展的需要，规范砌石坝设计，对《浆砌石坝设计规范》（SL25-91）进行修订，使砌石坝设计做到安全适用、经济合理、技术优选、质量保证，特制定本规范。

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

本书旨在帮助理工科专业本科生初步形成对物理问题进行有效量化分析的能力。其主要内容包括如何基于偏微分方程对物理问题开展数学建模，以及如何利用进阶分析工具对二阶线性偏微分方程进行求解与分析。具体涉及的物理过程包括弦/薄膜振动过程、热传导过程、物质扩散过程以及静电平衡问题。所涉及的常用分析方法包括波传播法、积分变换法、分离变量法、格林函数法、变分原理等。所涉及的高等数学知识未涵盖到的进阶分析工具包括贝塞尔函数、傅里叶变换和卷积等。此外，本书还将探讨二阶线性偏微分方程的一些定性理论，例如各类二阶线性偏微分方程解的专享性问题等。在对上述物理问题与方法进行阐述之后，本书也将讨论二阶线性偏微分方程的分类原则，以期帮助学生从数学结构的视角更好地理解物理问题，也为在未来学习中会遇到更具专业特点

复杂介质中的弹性波理论在地球物理勘探、结构和材料无损检测以及医学超声成像等领域具有广泛应用。但系统介绍弹性波传播理论的著作并不多见。本书系统介绍了各向同性弹性固体介质中弹性波传播的基本理论，包括无限大固体介质中的弹性波传播；弹性波在界面处的反射和透射；弹性波通过有限厚度层状结构的反射和透射；半无限大体表面或覆盖层中传播的瑞利波和乐夫波；平板中的导波和漏波；圆柱杆中导波；对圆柱壳和圆球壳中的导波传播模式和传播特性也进行了介绍。关于弹性波散射和多重散射的相关内容，基于篇幅考虑没有纳入。作者长期给研究生讲授弹性波理论，同时进行复杂介质中弹性波传播及其应用研究。本书是作者在弹性波理论课程讲义基础上，结合自己科研工作编写而成。全书共分6章，侧重基础理论和分析方法的系统性。

工程科技是改变世界的重要力量，工程前沿是工程科技未来方向的重要指引。把握全球工程科技大势，瞄准世界工程科技前沿，大力推动工程科技创新发展，有效地应对全球性重大挑战，实现人类社会可持续发展，巳经成为世界各国的战略选择。2017年以来，中国工程院连续组织开展"全球工程前沿"重大咨询研究项目，旨在按年度分析全球工程研究前沿和工程开发前沿，研判全球工程科技演进变化趋势。本书为2020年度"全球工程前沿"项目研究成果，由两部分组成一一研究概况和领域报告，描述和分析了机械与运载工程、信息与电子工程、化工冶金与材料工程、能源与矿业工程、土木水利与建筑工程、环境与轻纺工程、农业、医药卫生和工程管理9个领域的工程研究前沿和工程开发前沿概况，并对重点前沿进行详细解读。 本书为"全球工程前沿"系列丛书之一，适合各相关

本书系统地介绍了冰冻圈科学，其内容涵盖冰冻圈组成各要素的形成发育、演化和研究方法，冰冻圈与气候系统其他圈层及人类圈的相互作用，涉及社会经济可持续发展和地缘政治等热点问题。本书可供地理、水文、地质、地貌、大气、生态、环境、海洋和区域经济社会可持续发展等领域有关科研和技术人员、大专院校相关专业师生使用和参考。

《海洋平台组装与浮托安装技术(英文版)》由Gengshen Liu，Huajun Li编写。

Camassa-Holm方程是一类十分重要而又特别的新型浅水波方程，有广泛的应用背景。该类方程存在一类尖峰孤立子，并且它是完全可积的,具有双哈密顿结构和Lax对。本书给出该类方程的物理背景并阐述它的完全可积性。对该类方程的行波解作分类，获得多种奇异孤立波解；给出该类方程的谱图理论和散射数据；利用反散射方法，给出该类方程的多孤立子解。获得该类方程的整体强解的存在性及整体弱解的存在性；得到该类方程柯西问题的局部适定性；研究它们的blow-up问题以及尖峰孤立子解的轨道稳定性。本书同时研究含尖峰孤立子的Degasperis-Procesi方程及b族方程，研究前一类方程激波的形成及动力学分析，给出b族方程的水波结构和非线性平衡关系，对Degasperis-Procesi方程的适定性给出具体证明。

《海洋平台组装与浮托安装技术(英文版)》由Gengshen Liu，Huajun Li编写。

本书系统地阐述周期性结构中的正、反散射理论，它涵盖了周期结构中麦克斯韦方程组正、反散射问题的几乎所有主题，包括数学模型、物理原理、数学分析以及计算方法。该书首先介绍了电磁场和光栅的基本理论。对于正散射问题，本书详细介绍变分方法来研究解的适定性以及自适应有限元的数值计算方法。对于反散射问题，本书讨论了解的专享性、稳定性以及光栅界面重构的数值方法。此外，本书也介绍了此领域中的重要近期新发展，例如近场成像、时域散射问题、非线性光学和很优设计问题等。该书可以为攻读硕士和博士学位的研究生提供初步的材料，以介绍周期性结构中麦克斯韦方程的正、反散射理论。它还为应用和计算数学的研究人员以及不同相关学科，例如电磁学和光学的工程人员提供了近期新的深刻的数学结果和具有挑战性的问题。

本书系统地介绍了冰冻圈科学，其内容涵盖冰冻圈组成各要素的形成发育、演化和研究方法，冰冻圈与气候系统其他圈层及人类圈的相互作用，涉及社会经济可持续发展和地缘政治等热点问题。本书可供地理、水文、地质、地貌、大气、生态、环境、海洋和区域经济社会可持续发展等领域有关科研和技术人员、大专院校相关专业师生使用和参考。