本书是土木工程专业的核心课程土力学的英文版教材。本教材既注重适合我国土力学课程的知识结构体系，又吸收国外经典土力学英文原版教材的精髓，采用我国现行的规范和标准进行编写。全书重视土力学基本理论和知识、技能的阐述，力求把知识的传授与能力的培养结合起来，内容丰富、条理清晰、系统性和逻辑性较强，便于学生系统学习和深入理解。 本书内容共分8章，包括土的基本性质和工程分类、土的渗透性和渗流力、地基中的应力分布、土的压缩性和固结、抗剪强度、地基承载力、边坡稳定分析，以及土压力和挡土墙。每章开始有思维导图，知识点清晰，每章后附有习题和参考文献，附录中列出了土力学常用专业名词英汉对照和习题答案，为学生和教师的学习和查阅提供了方便。 本书可作为高等院校土木工程专业土力学课程的双语教材，其内容与中文
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
《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法，并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。
伽利略是第一个把实验引进力学的科学家，他利用实验和数学相结合的方法确定了一些重要的力学定律。本书强调和发展了伽利略力学的基本原理，在系统分析方法论的基础上，全面阐述了多体系统力学的数学形式和工作工具。本质上以一种新的方式来描述一类具有环境体的一般多体系统的约束微分方程的设计问题。本书共七章，内容包括引言、力学的几个宇宙及其基本性质、局部线性变介质的运动学、局部线性变连续介质动力学要素、刚体力学、树形结构多体系统力学及代数螺旋理论的建立等。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。
《静电加速器：一个多功能工具（英文）》是一部应用物理学的英文专著，中文书名可译为《静电加速器：一个多功能工具》。 作者有两位，一位为朗纳·海尔伯格，瑞典隆德大学物理系应用物理学的名誉全职教授，他在应用物理学领域使用静电加速器工作了50多年，另一位是哈里·J.惠特洛，美国物理学家。他是美国拉斐特路易斯安那大学物理学教授兼路易斯安那加速器中心主任。 《静电加速器：一个多功能工具（英文）》的目标是收集静电加速器领域的基础科学信息和技术信息，使其成为加速器工程师以及从事静电加速器研究的学生和研究人员的指南、参考手册和教科书。
杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第四卷，主要收集了流体力学方面的论文，具体包括金属塑性扩展过程中产生的热量、铝晶体的塑性延伸和断裂、关于“纳维埃效应”的说明等内容。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。
《静电加速器：一个多功能工具（英文）》是一部应用物理学的英文专著，中文书名可译为《静电加速器：一个多功能工具》。 作者有两位，一位为朗纳·海尔伯格，瑞典隆德大学物理系应用物理学的名誉全职教授，他在应用物理学领域使用静电加速器工作了50多年，另一位是哈里·J.惠特洛，美国物理学家。他是美国拉斐特路易斯安那大学物理学教授兼路易斯安那加速器中心主任。 《静电加速器：一个多功能工具（英文）》的目标是收集静电加速器领域的基础科学信息和技术信息，使其成为加速器工程师以及从事静电加速器研究的学生和研究人员的指南、参考手册和教科书。
There are nine chapters in this book. The first chapter gives some introduction. The second chapter gives some mathematical preliminaries for the convenience of the subsequent theoretical analysis. The third to sixth chapters focus on the formation flight objective; and the distributed control algorithms are proposed in the cases of switching topology， distance based topology， parametric uncertainties and actuator faults， respectively. The seventh to ninth chapters focus on the formation tracking objective， In the seventh and eighth chapters， two distributed control algorithms are developed over undirected and directed topologies， respectively. In the ninth chapter， an output-feedback distributed control algorithm is developed in the absence of velocity and angular velocity information. This book is written for the readers who are working on the areas of aviation， robotics， aircraft， etc.
本书是关于岩土结构物动力学特性的著作，主要采用室内试验、数值模拟等方法，系统研究了软弱土地基（软土和饱和砂土）上岩土结构物在动荷载（地震荷载、交通荷载）作用下加速度、超孔隙水压力分布及侧向变形和沉降等动力学特性，深入揭示了软弱土地基上岩土结构物的动力响应特征。本书适合岩土工程、地质工程及相关专业的科研人员和专业技术人员使用，也可供高等院校师生参考阅读。
《精通嵌入式Linux编程(影印版)(英文)》带领你检视整个产品周期，深入讲解每个产品阶段用到的组件和选项。首先学习的是工具链、bootloader、Linux内核以及根文件系统的配置方法。然后学习使用两种很常用的构建系统（Buildroot和Yocto Project）来加快和简化开发过程。打下了坚实的基础之后，接下来要讲述如何发挥出raw NAND／NORflash memory（闪存）和managed flash（管理闪存）。MMC芯片的效用，其中包括延长设备生存期以及执行可靠性in—field更新的机制。随后要讲到POSIX线程的用法，这对于很终设备的响应性以及性能有着极大的影响。很后会介绍一些性能分析技术以及使用perf和ftrace跟踪应用程序和内核代码。
杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第四卷，主要收集了流体力学方面的论文，具体包括金属塑性扩展过程中产生的热量、铝晶体的塑性延伸和断裂、关于“纳维埃效应”的说明等内容。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。
JavaScript已经具备了并发能力，这也解释了为什么这门语言至今仍然屹立于现代web开发的前沿阵地。本书将帮助你深入JavaScript并发编程的世界，演示如何应用其核心原理、关键技术以及工具来应对各种复杂的开发难题。围绕并发编程的三个核心要素：并发、同步和保护（conservation），你将学会如何编写更高效、更富于变化的JavaScript程序，提高用户体验。
web访问方式的不断变化意味着屏幕尺寸和用户体验永远没有上限，响应式页面使得页面内容得以适应于现在和将来的设备。学习使用“响应和移动优先”的方法构建网站，使其能够轻松地呈现在所有的访问设备之上。通过大量的示例以及对于现代流行技术和语法的详细讲解，本书可以作为一切“响应式”实现的全面参考资料。第二版涵盖了所有最前沿的技术和工具，足以让你实现杰出的响应式设计，确保项目能够经受住未来的考验。
本书是关于岩土结构物动力学特性的著作，主要采用室内试验、数值模拟等方法，系统研究了软弱土地基（软土和饱和砂土）上岩土结构物在动荷载（地震荷载、交通荷载）作用下加速度、超孔隙水压力分布及侧向变形和沉降等动力学特性，深入揭示了软弱土地基上岩土结构物的动力响应特征。本书适合岩土工程、地质工程及相关专业的科研人员和专业技术人员使用，也可供高等院校师生参考阅读。
《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法，并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。
本书研究事件驱动和量化测量下的系统辨识，属于控制理论、通信科学和计算机科学等多领域的前沿交叉研究。本书共8章。章介绍本书的写作背景和基本情况。第2章对本书用到的基础知识进行介绍。第3章研究基于调度的二值量化测量的系统辨识。第4章在量化输入下研究基于预测量化输出的系统辨识。第5章在Either-or通讯机制下研究量化输入和量化输出下的系统辨识。第6章基于二值量化测量研究一般形式事件驱动器下的系统辨识。第7章研究Wiener系统在二值量化下的事件驱动辨识。第8章讨论Hammerstein系统在量化测量和事件。
全长黏结锚索支护是煤矿和金属矿支护中的一种常见方式。由于锚索具有承载力大、可靠性高等优点，在矿山有着广泛的应用。但全长黏结锚索支护仍然存在失效的问题，常见的失效方式包括锚索与锚固剂接触面的粘结失效等。为了揭示全长黏结锚索支护的力学传递机理，预防锚索支护发生失效，本专著提出采用物理试验、理论分析和数值计算相结合的方法，研究全长黏结锚索在轴向加载条件下的力学传递性能及失效方式，从而为揭示锚索支护的力学传递原理提供了理论依据。
本书用D-膜讨论了拓扑和超弦背景的一些问题，这些问题的解决不仅仅针对单一的问题，主要针对Ⅱ型理论，解决在描述超弦背景的“主角”的拓扑和几何性质时出现的问题。从广义同调和上同调理论以及Atiyah-Hirzebruch谱序列的数学回顾开始，以便在这样的谱序列和Gysin映射之间提供一个明确的联系。
本书的目的是证明，如果考虑广义扩张（它是一类群作用）并定义关于它们的齐次性，那么齐次系统类可以变得一般。结果表明，解的性（在时间的两个方向上）确实是一个系统对某种广义膨胀齐次的充分条件。本书研究了齐性与单调性的关系，证明了如果一个系统对某个V（正函数）是单调的，则存在一个广义扩张，且系统和V都是齐次的。本书的另一个结果是在齐次条件下局部单调性与全局单调性的等价性。本书包括引言、离散时间的均匀性、齐次线性系统、连续时间的均匀性和切换均匀系统。
杰弗里·英格拉姆·泰勒爵士是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第二卷，主要收集了气象学、海洋学等方面的论文。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。
本册为第5卷：守恒定律与旋转运动：不变性的概念或守恒定律，是在典型的经典力学课程中被首先提出的。几乎在所有的物理课程中，这个概念对于培养解题技巧也是至关重要的，不论是什么内容或级别的解题技巧。守恒定律被用在物理课程的每一种类型中：力学、电学、磁学、热力学、电子学、量子力学、核能和粒子物理学等。这些守恒定律的前两个，能量守恒和动量守恒将在第5卷中讨论。最后，第5卷介绍了质心和旋转运动的概念。我们的运动没有在直线上，我们研究的物体现在可以旋转、自旋和翻滚。
本书将深入浅出地介绍Intel80X86微处理器的工作原理及接口技术知识，探讨基于80X86微处理器的工程系统设计及应用。针对目前靠前上相关书籍在接口技术方面介绍比较欠缺的问题，本书致力于系统介绍80X86微处理器的工作原理及接口技术应用。本书内容包括9章，内容包括：微处理器介绍、微处理器架构、指令集、汇编语言编程、存储器、中断、IO接口技术、AD和DA转换、总线接口等。
There are nine chapters in this book. The first chapter gives some introduction. The second chapter gives some mathematical preliminaries for the convenience of the subsequent theoretical analysis. The third to sixth chapters focus on the formation flight objective; and the distributed control algorithms are proposed in the cases of switching topology， distance based topology， parametric uncertainties and actuator faults， respectively. The seventh to ninth chapters focus on the formation tracking objective， In the seventh and eighth chapters， two distributed control algorithms are developed over undirected and directed topologies， respectively. In the ninth chapter， an output-feedback distributed control algorithm is developed in the absence of velocity and angular velocity information. This book is written for the readers who are working on the areas of aviation， robotics， aircraft， etc.
