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

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

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

本书是Cisco网络技术学院在线课程《思科网络技术学院教程CCNA Discovery：家庭和小型企业网络》的官方补充教材，旨在方便学生随时随地地学习《思科网络技术学院教程CCNA Discovery：家庭和小型企业网络》课程的内容，同时新增了大量帮助读者理解概念和方便阅读的内容，如学习目标、总结和复习题等。 本书分两部分，第1部分对应在线课程的内容，第2部分包含在线课程中的所有实验以及新增的挑战性实验。本书涵盖的主题包括各种计算机组件和外围设备以及安装和测试它们的正确方法；各种操作系统及安装方法；网络的工作原理及其组成部分；以太网电缆及其制作方法；IP地址、子网掩码及网络地址转换；常见的网络服务和分层网络模型；WLAN组件、无线标准以及接入点和无线客户端的配置；各种网络威胁和攻击方法以及防火墙和DMZ；排除网络故障的方法。 本书

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

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

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

《石油精炼工艺手册:萃取脱硫与分离工艺(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:萃取脱硫与分离工艺(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法，并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。

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

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

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

本系列图书是美国McGraw-Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版，是目前近期新的有关土木工程技术问题的指导手册，提供了与近期新的实践、规范和标准相一致的3000多种计算方法，可以帮助读者准确地进行复杂的设计和施工计算。本册介绍了钢结构设计，包括钢梁和板梁、钢柱和张力构件、负载阻力系数法、应力应变分析、受弯构件应力、梁的变形、超静定结构、动载荷和影响线、铆接和焊接连接、钢结构塑性设计；吊架、连接器和风应力分析。

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

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

《土木工程计算手册:测绘、路线设计及公路桥梁(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版，是目前近期新的有关土木工程计算的指导手册，提供了与近期新的规范和标准相一致的3000多种计算方法，可以帮助读者准确地进行复杂的设计与施工计算。

《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法，并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。

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