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.

本书是土木工程专业的核心课程土力学的英文版教材。本教材既注重适合我国土力学课程的知识结构体系，又吸收国外经典土力学英文原版教材的精髓，采用我国现行的规范和标准进行编写。全书重视土力学基本理论和知识、技能的阐述，力求把知识的传授与能力的培养结合起来，内容丰富、条理清晰、系统性和逻辑性较强，便于学生系统学习和深入理解。 本书内容共分8章，包括土的基本性质和工程分类、土的渗透性和渗流力、地基中的应力分布、土的压缩性和固结、抗剪强度、地基承载力、边坡稳定分析，以及土压力和挡土墙。每章开始有思维导图，知识点清晰，每章后附有习题和参考文献，附录中列出了土力学常用专业名词英汉对照和习题答案，为学生和教师的学习和查阅提供了方便。 本书可作为高等院校土木工程专业土力学课程的双语教材，其内容与中文

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

本书是土木工程专业的核心课程土力学的英文版教材。本教材既注重适合我国土力学课程的知识结构体系，又吸收国外经典土力学英文原版教材的精髓，采用我国现行的规范和标准进行编写。全书重视土力学基本理论和知识、技能的阐述，力求把知识的传授与能力的培养结合起来，内容丰富、条理清晰、系统性和逻辑性较强，便于学生系统学习和深入理解。 本书内容共分8章，包括土的基本性质和工程分类、土的渗透性和渗流力、地基中的应力分布、土的压缩性和固结、抗剪强度、地基承载力、边坡稳定分析，以及土压力和挡土墙。每章开始有思维导图，知识点清晰，每章后附有习题和参考文献，附录中列出了土力学常用专业名词英汉对照和习题答案，为学生和教师的学习和查阅提供了方便。 本书可作为高等院校土木工程专业土力学课程的双语教材，其内容与中文

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

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

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

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

This book provides a greater understanding of KT and IS theories from the following perspectives： Presenting the role of changing national policy contexts in the process of transnational KT and proposing a knowledge-based approach to study KT based on the finding； Proposing a model conceptualising transnational knowledge management and KT processes； Summarising major ISD policy tools utilised by countries such as the UK and China； Providing a deeper understanding of an IS network facilitation approach which has been widely cited as an ISD exemplar. Hopefully， the book can be read by those conducting intemational cooperations and young researchers initiating qualitative research， enlightening their work in their area.

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

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

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

本书是一部英文版的数学专著，中文书名或可译为《非交换几何、规范理论和重整化：一般简介与非交换量子场论的重整化》。现在，非交换几何在数学上是一个新兴发展的领域，同时也呈现为前景可观的现代物理学框架。非交换空间上的量子场论确实需要全面的探索，并且得到新的有趣的特征。本书提供了一个对非交换几何、畸变量子化与量子场论的重整化：Wilson和BPHZ的对标量理论的方法以及对规范理论的代数方法的基本概念的教育性的介绍。本书能够帮助读者理解几个一般性的非交换量子场论的问题。基于作者的博士论文，本书给出了欧氏Moyal空间上的量子场论的重整化问题的概览，并且特别着重于Grosse-Wulkenhaar模型，以及与其相关的规范理论和其数学解释。本书适用于想要理解这个前沿的数学和物理研究领域的研究生和科研人员。

Go语言是谷歌推出的一种全新的C语言风格的编程语言，可以在不损失应用程序性能的情况下降低代码的复杂性，提高编程效率，适合开发大型软件，有望成为主流的编程语言。本书由《C程序设计语言》的作者Kernighan和谷歌公司Go团队合作编写而成，是关于Go语言编程的权威著作。

This book provides a greater understanding of KT and IS theories from the following perspectives： Presenting the role of changing national policy contexts in the process of transnational KT and proposing a knowledge-based approach to study KT based on the finding； Proposing a model conceptualising transnational knowledge management and KT processes； Summarising major ISD policy tools utilised by countries such as the UK and China； Providing a deeper understanding of an IS network facilitation approach which has been widely cited as an ISD exemplar. Hopefully， the book can be read by those conducting intemational cooperations and young researchers initiating qualitative research， enlightening their work in their area.

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

本书全面地介绍Scala这种针对JVM的编程语言，它集成了现代对象模型、函数式编程和优选类型系统的所有优势。本书通过代码示例，向你展示如何即刻高效地利用该语言和生态系统，同时解释为何Scala是开发高可扩展、以数据为中心的应用程序的理想语言。

web访问方式的不断变化意味着屏幕尺寸和用户体验永远没有上限，响应式页面使得页面内容得以适应于现在和将来的设备。学习使用“响应和移动优先”的方法构建网站，使其能够轻松地呈现在所有的访问设备之上。通过大量的示例以及对于现代流行技术和语法的详细讲解，本书可以作为一切“响应式”实现的全面参考资料。第二版涵盖了所有最前沿的技术和工具，足以让你实现杰出的响应式设计，确保项目能够经受住未来的考验。

web访问方式的不断变化意味着屏幕尺寸和用户体验永远没有上限，响应式页面使得页面内容得以适应于现在和将来的设备。学习使用“响应和移动优先”的方法构建网站，使其能够轻松地呈现在所有的访问设备之上。通过大量的示例以及对于现代流行技术和语法的详细讲解，本书可以作为一切“响应式”实现的全面参考资料。第二版涵盖了所有最前沿的技术和工具，足以让你实现杰出的响应式设计，确保项目能够经受住未来的考验。

你可以从书中学到使用Scala、Java和Python创建你的靠前个Spark程序；在你自己的计算机以及Amazon EC2上建立、配置Spark开发环境；访问公共机器学习数据集，使用Spark载入、处理、清理、转换数据；使用Spark的机器学习库来实现能够利用各种熟知的机器学习模型的程序；等等。

本论文研究的核心是从语言对比分析的角度出发，选择医学领域两个相对狭窄的分支 包虫病治疗和分子克隆技术中的操作章程（亦称操作菜单）为研究对象，通过对该类型文本的写作特点以及语言使用情况的调查和了解，提出预先对原文写作格式、遣词造句的方式进行有效的管理和，特别是对词汇意义、句法结构进行，优选限度地减少因为词的兼类和多义以及句子结构的过于复杂造成的歧义，最终设计和开发出可应用于英汉机器翻译系统的该类章程写作的定向语言(亦称受控语言)。

新一波产品浪潮专注于帮助人们改变其行为和日常生活，无论是更多的锻炼(Jawbone Up)、管理财务(Hellowallet)还是组织邮件(Mailbox)。温德尔编著的《行为变化设计(影印版)》这本实用指南将为你展示如何为那些力图采取行动并达成目标的用户设计这些类型的产品。 Stephen wendel是HelloWallet的首席研究员，他将带领你一步步地把行为经济学和心理学应用到产品设计和开发的实际问题中去。你将学习到一种简单的迭代方法来确定目标用户及其行为、构建产品和评估效果。同时你也会了解到如何创建易用的产品来帮助人们作出积极的改变。

树库属于深加工语料库，是语料库语言学和自然语言处理技术发展到相对成熟阶段的产物。本书主要讲述如何构建树库、如何使用树库,基本反映了近10年间树库研究的整体面貌，是树库研究发展到一定阶段的一个比较全面的总结，起到了承前启后的作用。

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