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

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

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

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

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

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章。章介绍本书的写作背景和基本情况。第2章对本书用到的基础知识进行介绍。第3章研究基于调度的二值量化测量的系统辨识。第4章在量化输入下研究基于预测量化输出的系统辨识。第5章在Either-or通讯机制下研究量化输入和量化输出下的系统辨识。第6章基于二值量化测量研究一般形式事件驱动器下的系统辨识。第7章研究Wiener系统在二值量化下的事件驱动辨识。第8章讨论Hammerstein系统在量化测量和事件。

本书将深入浅出地介绍Intel80X86微处理器的工作原理及接口技术知识，探讨基于80X86微处理器的工程系统设计及应用。针对目前靠前上相关书籍在接口技术方面介绍比较欠缺的问题，本书致力于系统介绍80X86微处理器的工作原理及接口技术应用。本书内容包括9章，内容包括：微处理器介绍、微处理器架构、指令集、汇编语言编程、存储器、中断、IO接口技术、AD和DA转换、总线接口等。

磁学的自旋波理论和超导的BCS理论是典型的重整化理论之前的理论。这两个理论都只考虑了原子论的（离散化的）相互作用而没有考虑连续固体的能量自由度。从Kenneth G. Wilson（1982年诺贝尔奖得主）的先驱工作开始，我们知道了连续固体的一个特殊的的对称性：长度标度变换不变性。 本书综述了近50年来固体物理的实验，并用唯象的方式指出磁序和普通超导的动力学出现主要受连续固体的场论粒子而不是磁子或Cooper对的控制。在磁序中相关的粒子称作GSW玻色子，在超导里相关的粒子称作SC玻色子。 本书适合凝聚态、材料科学和粒子物理等领域的研究者和研究生阅读。

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

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

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

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

本书是"计算语言学与语言科技原文丛书"中的一册。文本和语音系统是计算语言学和语言技术的主要应用方向，涉及的范围很好广泛，几乎包括所有的语言技术应用系统。本书涵盖的内容很好丰富，既详细介绍了各种文本和语音系统及其评测的基础理论，又结合大量实例针对系统评测进行了明确的说明和解释。内容深入浅出，适合有一定背景知识的初学者或相关领域的科研工作者阅读，也可作为计算语言学专业教材。

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

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

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

本册为第2卷：运动学和匀加速运动。第2卷主要集中在“物体是怎么移动的？”与“物体为什么移动？”之间的区别上。这种区别需要读者在头脑中进行范式转变。因此，读者必须训练自己区分“我是在试图描述物体如何运动……还是描述物体为什么运动？”这一区别将在第2卷中讨论，我们将重点讨论以下问题：一个物体是怎么移动的？

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

《经典力学：第4卷 万有引力定律（英文）》是本系列的第4卷，本卷的主题为万有引力定律。在讨论牛顿万有引力定律时，该书首先引入了“力”通过其相关场作用的概念。读者需要一个巨大的概念飞跃个物体甚至可以在不接触它的情况下使另一个物体移动！这是一个很难与我们的日常经历相调和的概念，当我们意识到地球对我们的作用正是如此时，它就变得非常有意义。即便我们没有与地球直接接触，重力也能拉动我们。此外，“叠加”的概念（以及何时适用）也在第4卷中出现。叠加对于培养解决问题的能力非常重要。

本书的作者为保罗·哈克特（Paul Hockett）教授，他于2008年在诺丁汉大学获得了博士学位，2009年加入了加拿大国家研究委员会，保罗的研究兴趣非常广泛，横跨了AMO（原子、分子、光学）的许多领域，包括量子、计算物理学（与物理化学），他特别关注光与物质相互作用的基础理论、光谱学和复杂系统的应用。本书的首要主题正如作者在前言中所述，是光电子量子计量学的发展。这个一般概念可以看作光电子光谱学的发展分支，通过具有高信息含量的实验来利用光致电离干涉仪的相位灵敏度。

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.

本书是一部用到数学颇多的英文版物理学专著。本书是作者自己过去几十年研究领域的主观反映.本书主题分为两部分：第一部分，平地中的漩涡（本书），主要关注二维空间中的漩涡的物理学.第二部分，太空中的漩涡（准备中），将主要关注三维空间中的漩涡物理学，这两部分的重，点是由复值标量阶参数描述的玻色一爱因斯坦凝聚体(BEC)中的漩涡与此类系统和其他量子液体相关的通用拓扑概念适用于BE℃s之外的广泛系统，例如相干电磁场和电子物质波，在旋量BEC、中的一些基本概念和费米(Fermi)气体也被提到了。

本书的作者为保罗·哈克特（Paul Hockett）教授，他于2008年在诺丁汉大学获得了博士学位，2009年加入了加拿大国家研究委员会，保罗的研究兴趣非常广泛，横跨了AMO（原子、分子、光学）的许多领域，包括量子、计算物理学（与物理化学），他特别关注光与物质相互作用的基础理论、光谱学和复杂系统的应用。本书的首要主题正如作者在前言中所述，是光电子量子计量学的发展。这个一般概念可以看作光电子光谱学的发展分支，通过具有高信息含量的实验来利用光致电离干涉仪的相位灵敏度。