全书共由五篇三十章组成，*篇总论共两章，表明了沉积岩的基本概念和沉积岩的形成与演化；第二篇共八章，讨论碎屑岩及火山碎屑岩岩石学特征，叙述了碎屑岩的成分、结构、沉积构造和岩石特征；第三篇共四章，分析了碳酸盐岩岩石学特征，叙述了碳酸盐岩的成分、结构、沉积构造和石灰岩、白云岩特征；第四篇共一章，介绍了煤、油页岩和蒸发岩的基本特点；第五篇共十四章，阐明了碎屑岩和碳酸盐岩不同沉积相类型和沉积相模式；第三十章探讨了沉积作用的控制因素。附录为沉积相和岩相古地理研究方法提纲，每章提供了导读、核心知识点和思考题。
博物学源于人对周围事物的观察、认知和利用，它是世界上古老的学科。早先它只服务于人类果腹蔽体的实际需求，演进至今，成为对植物、动 物、矿物及周遭环境的系统性认知。本书作者约翰?G. T. 安德森是博物学家和生态学家。他通过讲述一群了不起的博物学家的经历和贡献，勾勒出博物学兴起、繁荣、衰落和复兴的历史。从约翰 雷、缪尔、达尔文到卡森，一代代博物学家突破艰难困顿，只为增进人对世界的了解。安德森汇集大量罕为人知的史料，用引人入胜的叙事风格书写从史前到当代的博物学历程。在生态环境急剧变化的当今世界，本书旨在唤醒人们心中的博物精神，重建人和大自然的紧密联结。
证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明，什么问题可以（或无法）被解决，为数学研究和发展打开全新的视角。
深孔加工技术是一种具有良好发展前景和广泛应用需求的机械加工技术，在诸多领域有着广泛应用。深孔加工直线度控制是保证深孔工件质量的前提和基础，深孔加工直线度控制技术的推广应用，对于目前多品种、小批量、周期短的深孔产品的研发和生产具有重要意义。 本书全面介绍了近年来国内外在深孔加工技术的新理论和技术成果以及编者多年的技术实践经验，以解决多因素影响下的深孔加工直线度控制难题。全书内容包括：深孔加工的概念以及直线度控制技术在BTA深孔加工中的应用；BTA深孔加工直线度控制方法；BTA深孔加工刀具结构；BTA钻杆的运动形式和BTA钻杆振动对深孔直线度的影响规律。本书还提出利用磁流变液抑振技术，降低钻杆的振动；同时，还重点介绍负压抽屑对BTA深孔直线度的影响等；重点阐述基于压电原理的BTA直线度主动控制技术，并设计
证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明，什么问题可以（或无法）被解决，为数学研究和发展打开全新的视角。
低温年代学已被广泛应用于造山带剥露、地形地貌以及沉积盆地演化等研究中。同济大学盆地与造山带研究小组是国内较早开展低温年代学研究的团队之一，本书结合该研究小组十余年来在裂变径迹和（UTh）/He研究领域的研究成果，系统介绍了低温年代学的原理、方法及其在有关领域的应用。全书共分9章，按内容可分为三部分：部分，深入介绍低温年代学有关测试方法，特别是（UTh）/He年代学的原理、方法；第二部分，对低温年代学在造山带抬升剥露、盆地分析与盆山耦合以及古地形恢复等研究领域的应用进行综述，其中反映了各领域的基本知识以及国际研究前沿的成果；第三部分，介绍研究小组在天山、大巴山、大别等造山带所取得的研究成果。
目前，大多数现有的岩土弹塑性本构模型都是基于塑性势理论，寻找塑性势的解析表达式是*的建模途径。然而，这些模型还不能全面地、准确地反映土的特性，如压硬性、剪胀性，特别是应力路径的影响。鉴此，作者进行了膨胀土、粘土和砂土数值建模的研究。数值建模具有许多优于传统建模方法的地方。土的本构方程是直接从三轴试验数据中提炼出来的，克服了寻找塑性势解析表达式的困难；建模中土的初始状态和加载路径自由选择，从而可以考虑任何初始状态和应力路径对本构关系的影响。
随着信息技术的迅猛发展，Web GIS理论不断丰富，技术快速更新，应用领域也日益广泛和深入。为了融入Web GIS的进展，本书在上一版本基础上做了系统性的修订完善。 本书以ArcGIS平台为例，从服务器端到浏览器、移动端和桌面客户端，全面而系统地解析Web GIS，兼顾理论介绍和实践操作。书中提供了大量生动有趣的案例和详细的操作步骤，使用配置模板，快速搭建各种形式的Web应用。基于JavaScript的定制开发，可以使用和修改示例代码快速实现，即使没有编程经验，也可快速上手。为加深读者对Web GIS的全面把握，结合灾害评估、公共安全管理、国情教育等现实问题，每章都设计了具有一定挑战性的实训项目。针对每章的重点和难点问题，也都做了详细解答。书中使用的大量数据，可以通过指定的资源网站下载获取。本书适合高等学校Web GIS相关课程教学，也可用于个
本教材的特色是基础理论知识与实际应用相结合。从层序地层学基本原理入手，系统介绍了层序各要素的基本概念及特征，并总结了不同学派层序地层学的基本理论和概念体系。从方法上，强调了如何综合利用露头、钻井、测井、地震资料、古生物、地球化学等资料进行层序地层分析；从应用上，结合我国东西部典型盆地研究实例，分别建立了不同类型盆地层序发育模式，阐明了地层岩性圈闭分布与层序地层格架的关系，努力使层序地层学研究与生产实践紧密结合起来；在形式上，图文并茂，言简意赅，充分利用国内外的实例和*新研究成果的精美图件和图片，使抽象内容具体化，更易于学生的理解与学习。
万物皆变，无物消逝。身处时刻变化的环境中，我们如何理解无处不在的时间？又如何理解人类出现之前的悠久过往与没有人类参与的未来？就像显微镜和望远镜扩展了人类的视野，地质学也是一种镜头，让我们能够以一种超越人类经验限制的方式见证时间。《垂向时间：地质学家的计时簿》在讲述地球演化史与人类对地球认知的发展史的同时，带我们用地质学的思考方式来认识地球、海洋和大气的时间韵律，理解我们身处的人类世环境，面向可持续的未来。
河流在人类文明的进程中扮演着极其重要的角色，始终是支持人类持续发展的重要基础。当前全球河流危机愈演愈烈，可持续发展涉水目标实施进展不及预期，全球人类命运共同体面临重大挑战。解决河流危机，需要从底层逻辑进行系统思维，从人与河流关系的伦理范畴去认识与反思。河流伦理是辩证认识与科学处理人与河流关系的新的指导哲学。本书论述了河流伦理的理论逻辑、实践逻辑和发展路径，以期与世界同行分享交流，为解决全球可持续发展中面临的河流危机问题提供中国方案，共同努力解决人类存续危机，实现人与河流和谐共生。
本书为西北工业大学航空发动机总体与控制数智技术工信部重点实验室在航空发动机数字化试验领域研究进展的科普性介绍，试图以简明的语言和形象的图例科普航空发动机数字化试验的基本概念、关键技术和工程案例，以及数字化试验系统的近期新研究成果。本书重点介绍了航空发动机部件数字化试验、航空发动机整机数字化试验、航空发动机振动数字化试验等工程案例，并对数字孪生模型与数字化试验模型的关联、数字化试验的流程与参数选取、数字化试验模型的时空解耦等的关键技术进行了详细阐述。本书可作为高等院校高年级本科生和研究生的科普性读物，也可作为工程技术人员了解数字化试验的科普性用书。
《航天器制导理论与方法》较系统地介绍航天器制导的基本理论、方法和应用。《航天器制导理论与方法》共10章，主要内容为运载火箭主动段制导、近地航天器轨道机动制导、深空探测器自主制导、航天器再入制导和航天器神经网络智能制导的基本原理与方法。《航天器制导理论与方法》注重理论联系实际，叙述深入浅出，同时给出多个制导方法的仿真实例和MATLAB/Python仿真代码，适合于初学者学习。
编队跟踪控制是无人机集群领域的重要研究方向，在民用和军用领域得到了广泛的应用，并展现出广阔的发展前景。本书分为9章，内容涵盖绪论、基础知识、系统建模、理论方法与仿真实验等，依托作者团队多年来在编队跟踪控制领域所取得的研究成果，总结编队跟踪控制的国内外研究现状，介绍在通信受限、网络攻击、切换拓扑等典型约束下的编队跟踪控制架构、协议设计与稳定性分析等内容，给出编队跟踪控制技术的应用案例。本书可供对多无人机编队跟踪控制技术感兴趣的读者参考，适合自动化、航空航天与人工智能相关专业的学生作为学习用书，也适合无人机协同控制领域的研究人员、工程技术人员作为参考用书。
Gilbert Strang是麻省理工学院数学教授，美国国家科学院院士和美国艺术与科学院院士，在有限元理论、变分法、小波分析及线性代数等领域卓有成就，著有多部经典数学教材，开设多门开放式课程，享有国际盛誉。 本书是深度学习的导论，全面介绍机器学习的数学基础，阐述架构神经网络的核心思想，主要内容包括线性代数的重点、大规模矩阵的计算、低秩与压缩传感、特殊矩阵、概率与统计、很优化、数据学习等。本书可作为数据科学方向的数学基础课程教材，也可供人工智能、深度学习领域的科研人员和工程技术人员参考。
地震动是造成工程结构地震破坏的原因，定量评估地震动对结构的破坏作用对于合理选取设计地震动进行抗震输入非常重要。全世界地震工程科学家和工程师面临的一个始终未解决的难题是：怎样科学地评价地震动对工程的破坏作用，以及怎样对迄今为止实际记录到的大量强震动记录按其对工程破坏强弱进行比较和排序。本书从地震动记录本身特征出发，逐步介绍了地震动参数计算、不同结构的类别划分、地震破坏机制分析、地震动破坏强度定量排序及其影响因素分析以及基于超越概率的地震动破坏强度确定等方面的内容。
本书共4章，主要内容包括等离子体技术中的基本概念与特性、等离子体生成方法、等离子体实验技术和诊断技术、小型等离子体设备的试验实例等。本书作者对等离子体的基本概念、理论、规律和研究方法的阐述与讨论既简明直观，又不失其严谨性；书中介绍的等离子体生成技术，包含了不同放电机理和不同等离子体源条件，内容完整具体；书中介绍等离子体实验和等离子体诊断技术，给出了等离子体的电特性测量、密度测量、温度测量、组分测量等各种等离子体诊断的原理，数据获取设备、数据判读和数据处理的方法，结果全面实用。本书可作为从事等离子体技术研究和实验工作的研究人员与大学生、研究生的入门参考书籍，还可为从事等离子体技术相关工作的非等离子体专业人员提供全面的专业基础知识。
Early Permian Tarim Large Igneous Province in Northwest China systematicallypresents and summarizes the authors' extensive research carried out over the pasttwo decades. The book covers a variety of unique features of the Early PermianTarim Large Igneous Province, including its tempo-spatial features, geochemicalfeatures and the magma evolution of the igneous rock units, its geodynamics andmetallogenesis. It also provides a new geodynamic model for the Large IgneousProvinces, which is different from the models based on the Deccan Large IgneousProvince and the Parana Large Igneous Province. The book is aimed at researchers and graduate students in tectonics, igneouspetrology, geochemistry, geophysics, Earth evolution and planetary geology, as wellas mining industry professionals. It will also serve as an invaluable reference for thestudy of Large Igneous Provinces and the geodynamic research of the CentralAsian tectonic domain. 《塔里木早二叠世大火成岩省(英文版)(精)》由杨树锋、
本书源自作者多年来在各大高校和网络平台开设的“从爱因斯坦到霍金的宇宙”系列讲座，从近代物理的两大领域——相对论和量子理论讲起，介绍了核物理、恒星演化、黑洞、宇宙学、时间疑义等知识。本书还将物理学的发展融入人类文明的历史长河中，介绍了东西方文明的诞生、发展与变革，使读者对物理学与文明的依存关系和相互影响有一个宏观的认识。 本书既有专业的物理知识，又有妙趣横生的科学和历史故事，全书融科学性、知识性、趣味性于一体，适合对物理学的发展和人类文明、历史感兴趣的高中及以上学历的读者阅读。
本书系统介绍了复杂介质地震波正演模拟的理论、方法及策略，内容主要包括有限差分正演模拟基础理论、各向同性完全弹性介质数值模拟、黏弹性介质数值模拟、非均匀各向异性介质正演模拟、时空双变网格模拟策略、起伏地表正演模拟方法、高斯束正演模拟方法等。全书内容翔实，图文并茂，公式推导清晰，实用性强。
