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

本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量，突破传统学科界线的束缚，进行不同学科间有效的交叉融合；针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应，呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献，为我国由地学大国变为地学强国提供切实可行的突破口。

《静电加速器：一个多功能工具（英文）》是一部应用物理学的英文专著，中文书名可译为《静电加速器：一个多功能工具》。 作者有两位，一位为朗纳·海尔伯格，瑞典隆德大学物理系应用物理学的名誉全职教授，他在应用物理学领域使用静电加速器工作了50多年，另一位是哈里·J.惠特洛，美国物理学家。他是美国拉斐特路易斯安那大学物理学教授兼路易斯安那加速器中心主任。 《静电加速器：一个多功能工具（英文）》的目标是收集静电加速器领域的基础科学信息和技术信息，使其成为加速器工程师以及从事静电加速器研究的学生和研究人员的指南、参考手册和教科书。

本书是入门级的GIS书籍。它的特点在于，不仅主要的基础知识包括传统的GIS，例如数学基础，地理数据模型，矢量和栅格数据分析，作为典型的GIS应用程序，空间统计和网络分析也作为单独的章节提供，但是此外，还可以使用Python进行GIS枚举，与遥感进行GIS集成以及WebGIS，尤其是Cloud包括GIS。本书是为GIS相关专业的本科生以及一些地理空间知识或技能，但想进行相关研究，也适合那些希望对GIS的使用以及对于已经使用GIS的人有一个丰富的开始的了解其他领域的某些技能。

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

本教材试图从工科的角度介绍随机过程的基本概念和方法内容，特点是阅读的起点相对较低，使读者能够在较短的时间内了解随机过程的基础知识和主要内容，首先对于随机过程的基本思想进行详细的介绍，随后选择几种重要的随机过程进行重点介绍，而对于涉及较深数学知识的内容列出文献，便于感兴趣的读者进行追踪学习。

多值映射理论作为数学中的一个单独领域形成于20世纪中期，并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前，存在多种研究多值映射不动点的方法，例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法，并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。

本书用D-膜讨论了拓扑和超弦背景的一些问题，这些问题的解决不仅仅针对单一的问题，主要针对Ⅱ型理论，解决在描述超弦背景的“主角”的拓扑和几何性质时出现的问题。从广义同调和上同调理论以及Atiyah-Hirzebruch谱序列的数学回顾开始，以便在这样的谱序列和Gysin映射之间提供一个明确的联系。

本书的第一部分涵盖了基本的计数工具，包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少，可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍，讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明，例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥

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

杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家，他被认为是20世纪伟大的物理科学家之一。在1958—1971年间出版的四卷科学论文集中，收集了近200篇杰弗里·英格拉姆·泰勒的论文。本卷为第一卷，主要给出了固体力学方面的论文，包括柔性问题及皂膜法的解决、肥皂膜在确定空心轴扭转和弯曲中的应用、伯特兰和开尔文关于脉冲的定理之间的关系等内容。本书适合高等院校数学和力学领域的研究者和研究人员及感兴趣的爱好者参考阅读。

本书是在“高等微积分”的水平上阐述数学分析中的论题，提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡，而且介绍了某些涉及现代分析的抽象理论．内容既涵盖我国大学的数学分析课程的内容，又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰，内容精练，言简意赅，适合作为高等院校本科生数学分析课程的教材．

本书的目的是证明，如果考虑广义扩张（它是一类群作用）并定义关于它们的齐次性，那么齐次系统类可以变得一般。结果表明，解的性（在时间的两个方向上）确实是一个系统对某种广义膨胀齐次的充分条件。本书研究了齐性与单调性的关系，证明了如果一个系统对某个V（正函数）是单调的，则存在一个广义扩张，且系统和V都是齐次的。本书的另一个结果是在齐次条件下局部单调性与全局单调性的等价性。本书包括引言、离散时间的均匀性、齐次线性系统、连续时间的均匀性和切换均匀系统。

本书共分八章，主要阐述了变分原理，即自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律，也称最小作用定理，是物理学中的一条基本原理。书中内容包括变分法的表达方式、变分法的一些技巧、勒让德变换。在经典力部分，论述了拉格朗日形式导出哈密顿形式、哈密尔顿运动方程、正则变换方程、运动方程、曲面定义、测地线的法向性质、第二基本形式和点为脐点的紧凑表面。本书由浅入深，逻辑严谨，适合高等院校师生及相关专业研究者和爱好者参考阅读。

《一些流体模型的整体适定性（英文）》旨在介绍一些关于整体适定性的*新结果，包括一些流体模型整体解的渐近行为，如辐射气体燃烧模型、辐射流体力学模型、Navier-Stokes方程和p次方牛顿流体模型。这些模型具有相似的结构，由Navier-Stokes方程与其他方程或其他效应耦合而成。《一些流体模型的整体适定性（英文）》的大部分材料都基于作者及其合作者近年来进行的研究。有些以前只在原始论文中发表，有些直到现在才发表。

The Heihe River Basin is a typical arid inland river basin.This book starts from spatial and temporal dynamic distribution of blue-green water and the sustainability of water resources utilization in Heihe River Basin.The spatial and temporal dynamic distribution pattern of blue-green water in the basin was evaluated.Chapter 1 introduces the water resources evaluation in Heihe River Basin,and introduces the concept of water footprint.Chapter 2 introduces the research methods of this book.chapter 3 introduces the spatial anf temporal distribution pattern of blue-green water resources in Heihe River Basin.Chapter 4 introduces the impact of human acetivities.Chapter 5 introduces the temporal and spatial differences in typicala yesrs.Chapter 6 introduces the history of the evolution of the black and blue water in Heihe.Chapter 7 introduces the evaluation of water shorage in Heihe River.Chapter 8 presents the conclusions anf prospects. This book can be read for water resources management and planning and other rel

伽利略是第一个把实验引进力学的科学家，他利用实验和数学相结合的方法确定了一些重要的力学定律。本书强调和发展了伽利略力学的基本原理，在系统分析方法论的基础上，全面阐述了多体系统力学的数学形式和工作工具。本质上以一种新的方式来描述一类具有环境体的一般多体系统的约束微分方程的设计问题。本书共七章，内容包括引言、力学的几个宇宙及其基本性质、局部线性变介质的运动学、局部线性变连续介质动力学要素、刚体力学、树形结构多体系统力学及代数螺旋理论的建立等。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。

数据分析是包含检查、清洗、转化和建模的整个过程，旨在发现有用的信息。Java是实现数据分析任务的流行语言之一。《Java数据分析（影印版·英文版）》将提供数据科学和相关流程步骤的快速概览。你将从中学到统计数据分析技巧，并通过流行的Java API和类库把它们实现。你还能在实际案例中学到诸如分类和回归之类的机器学习概念。在这个过程中，你将熟悉RapidMinet和Weka等工具，了解这些Java工具如何更有效地用于分析。还会学到如何与关系型、NoSQL和时间序列数据打交道。《Java数据分析（影印版·英文版）》也将介绍如何利用不同的Java类库创建富有洞见又容易理解的图表。学完《Java数据分析（影印版·英文版）》，你将对多种数据分析技巧和相应的Java实现拥有扎实的基础知识。

该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。

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

如何考虑岩土工程的设计、施工和运营中存在大量的不确定性因素是岩土工程的关键难点之一，也是国内外岩土工程领域的研究热点。本教材系统讲述了岩土工程可靠度原理、方法和算法，包括概率基础、一阶可靠度算法、抽样方法、响应面方法、土体空间变异性、基于可靠度设计理论、贝叶斯方法等七章内容。教材包含大量的实例、算法和实现代码，可作为高年级本科生和研究生的教材，也可做为岩土工程和地质工程等相关从业人员的参考书。教材包含了岩土工程可靠度领域诸多学者（包括编者）的重要研究成果。