本书是关于岩土结构物动力学特性的著作，主要采用室内试验、数值模拟等方法，系统研究了软弱土地基（软土和饱和砂土）上岩土结构物在动荷载（地震荷载、交通荷载）作用下加速度、超孔隙水压力分布及侧向变形和沉降等动力学特性，深入揭示了软弱土地基上岩土结构物的动力响应特征。本书适合岩土工程、地质工程及相关专业的科研人员和专业技术人员使用，也可供高等院校师生参考阅读。

杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第四卷，主要收集了流体力学方面的论文，具体包括金属塑性扩展过程中产生的热量、铝晶体的塑性延伸和断裂、关于“纳维埃效应”的说明等内容。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。

This book systematically discusses some key technical problems in TBM construction planning of deep buried long tunnels. It not only shares the experience of practical work, but also introduces some new technologies and new achievements, to provide valuable information for readers.The book is divided into 13 chapters, including the layout of adits,TBM lectotype,configuration, assembly and departure, advancing,transportation, ventilation, cooling, drainage, power supply, precast concrete segment, solutions in unfavorable geological tunnel section and construction schedule for TBM construction.This book can be used as a reference for engineers and technicians in the field of underground engineering construction.

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

杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第四卷，主要收集了流体力学方面的论文，具体包括金属塑性扩展过程中产生的热量、铝晶体的塑性延伸和断裂、关于“纳维埃效应”的说明等内容。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。

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

全长黏结锚索支护是煤矿和金属矿支护中的一种常见方式。由于锚索具有承载力大、可靠性高等优点，在矿山有着广泛的应用。但全长黏结锚索支护仍然存在失效的问题，常见的失效方式包括锚索与锚固剂接触面的粘结失效等。为了揭示全长黏结锚索支护的力学传递机理，预防锚索支护发生失效，本专著提出采用物理试验、理论分析和数值计算相结合的方法，研究全长黏结锚索在轴向加载条件下的力学传递性能及失效方式，从而为揭示锚索支护的力学传递原理提供了理论依据。

This book systematically discusses some key technical problems in TBM construction planning of deep buried long tunnels. It not only shares the experience of practical work, but also introduces some new technologies and new achievements, to provide valuable information for readers.The book is divided into 13 chapters, including the layout of adits,TBM lectotype,configuration, assembly and departure, advancing,transportation, ventilation, cooling, drainage, power supply, precast concrete segment, solutions in unfavorable geological tunnel section and construction schedule for TBM construction.This book can be used as a reference for engineers and technicians in the field of underground engineering construction.

本书共十七章，概述了解析数论中的一些基本结果，发展并扩展了达文波特在论文中提出的一些思想，讨论的主题包括迪利克雷L—级数及其解析延拓和函数方程，包含了有关字符和γ函数的相关支撑的材料。本书还研究了当a和b互质时，存在无穷多个素数全等于已知a模b的迪利克雷定理和等差数列的素数定理，还讨论了如何将这些思想应用于所谓的负佩尔方程的理论之中，具体研究了迪利克雷特征、L—系列、γ函数、黎曼ζ函数、泊松求和公式、西格尔零点和算术级数中素数的迪利克雷定理等内容。

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

全长黏结锚索支护是煤矿和金属矿支护中的一种常见方式。由于锚索具有承载力大、可靠性高等优点，在矿山有着广泛的应用。但全长黏结锚索支护仍然存在失效的问题，常见的失效方式包括锚索与锚固剂接触面的粘结失效等。为了揭示全长黏结锚索支护的力学传递机理，预防锚索支护发生失效，本专著提出采用物理试验、理论分析和数值计算相结合的方法，研究全长黏结锚索在轴向加载条件下的力学传递性能及失效方式，从而为揭示锚索支护的力学传递原理提供了理论依据。

杰弗里·英格拉姆·泰勒爵士是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第二卷，主要收集了气象学、海洋学等方面的论文。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。

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

《污染减排的协同效应评价:英文》由中日污染减排与协同效应研究示范项目联合研究组著

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

本书是为《工程测量学》全英文教学出版的英文教材。工程测量学是测绘工程专业的一门核心必修课，本书根据工程建设中的规划设计、建筑施工、运营管理三个阶段对测量工作的不同要求展开叙述，共分为十二章。内容覆盖了工程测量学所涉及的工程建设规划设计阶段各类地形信息的获取与应用、工程控制网的质量分析与优化设计、工程建设中的施工测量与放样方法、工程建设与运营管理中的变形监测技术与数据处理等。具体章节为：第一章绪论；第二章工程建设规划设计阶段地形图的应用；第三章线路测量及土方量计算；第四章水下地形测量；第五章工程控制网质量分析及优化设计；第六章施工放样技术；第七章平面曲线测设；第八章桥梁和大坝测量；第九章隧道测量；第十章竖井联系测量与陀螺经纬仪；第十一章工程建筑物变形监测；第十二章变形监测数据

本书共十七章，概述了解析数论中的一些基本结果，发展并扩展了达文波特在论文中提出的一些思想，讨论的主题包括迪利克雷L—级数及其解析延拓和函数方程，包含了有关字符和γ函数的相关支撑的材料。本书还研究了当a和b互质时，存在无穷多个素数全等于已知a模b的迪利克雷定理和等差数列的素数定理，还讨论了如何将这些思想应用于所谓的负佩尔方程的理论之中，具体研究了迪利克雷特征、L—系列、γ函数、黎曼ζ函数、泊松求和公式、西格尔零点和算术级数中素数的迪利克雷定理等内容。

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

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

本册为第5卷：守恒定律与旋转运动：不变性的概念或守恒定律，是在典型的经典力学课程中被首先提出的。几乎在所有的物理课程中，这个概念对于培养解题技巧也是至关重要的，不论是什么内容或级别的解题技巧。守恒定律被用在物理课程的每一种类型中：力学、电学、磁学、热力学、电子学、量子力学、核能和粒子物理学等。这些守恒定律的前两个，能量守恒和动量守恒将在第5卷中讨论。最后，第5卷介绍了质心和旋转运动的概念。我们的运动没有在直线上，我们研究的物体现在可以旋转、自旋和翻滚。