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

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

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

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

复投影平面中代数曲线的研究是几何应用如密码技术研究的重要内容，也是线性几何研究向代数几何研究的自然过渡。本书论述了几何空间中的各种不同代数方法，给出了解析几何、仿射几何、欧几里得几何和投影几何研究的具体内容，并详尽地描述了各类几何空间和代数曲线的性质。

本书研究了一类新的铁基高温超导体的物理特性和电子结构。无论其化学组分和晶体结构有何不同，这些化合物都表现出了相似的物理特性。这归因于铁砷层中的电子载体和这些载体与磁序的相互作用。对于这种材料的巨大兴趣源于对其应用前景的高度期待。本书提供了对这一材料的研究的完整图像，包括已有的理论模型和电子结构研究。 本书读者对象为本领域的研究者以及对材料科学感兴趣的研究生。

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.

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

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.

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

软件定义网络(SDN)是由软件定义、驱动，并且可编程的网络。《软件定义网络(影印版)》是SDN的全面、很好不错指南，详细讲解了sDN的新兴定义、协议和标准。两位资历的网络工程师在书中为读者讲解了构建软件定义网络(即使用软件在应用和底层网络设施之间进行双向通信)所必需的知识。 (美)纳多、格雷编著的《软件定义网络(影印版)》与具体厂商的产品无关，它讲解的是一些与带宽调度和操作、输入流量、触发行为等相关的SDN用例，另外还展示了一些与大数据、数据中心覆盖和网络功能虚拟化等相关的有趣用例。

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

本书将教授使用Unity进行虚拟现实开发的方方面面。你将学会如何使用Unity开发特定设备上（如Oculus Rift和Google Cardboard）的VR应用，如何同虚拟世界打交道。借助生动有趣的项目向你展示如何构建各种VR体验。除此之外，还通过Unity编辑器和C#来深入学习Unity 3D游戏引擎。在本书很后，你将有能力使用Unity设计出内容丰富的交互式虚拟现实体验。

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

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.

本书包含了大量Swift面向对象编程常见问题的解决方法。书中以真实的场景帮助你了解对象的概念，演示如何利用对象轻松地编写出易于理解和重用的代码。你将从中学习到使用Swift的数据封装特性来保护和隐藏数据，编写能够处理不同类型对象的代码来优选化地实现代码重用，见识到多态化的威力以及如何在普通代码中使用继承和多重继承。除此之外，还会接触到已有代码重构以及能够简化源代码维护和扩展的组织方法.阅读完本书之后，你将能够编写出质量更高、更健壮、更具备可重用性的代码，这一切都有助于构建更棒的应用程序。

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.

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