证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明，什么问题可以（或无法）被解决，为数学研究和发展打开全新的视角。
随着信息技术的迅猛发展，Web GIS理论不断丰富，技术快速更新，应用领域也日益广泛和深入。为了融入Web GIS的进展，本书在上一版本基础上做了系统性的修订完善。 本书以ArcGIS平台为例，从服务器端到浏览器、移动端和桌面客户端，全面而系统地解析Web GIS，兼顾理论介绍和实践操作。书中提供了大量生动有趣的案例和详细的操作步骤，使用配置模板，快速搭建各种形式的Web应用。基于JavaScript的定制开发，可以使用和修改示例代码快速实现，即使没有编程经验，也可快速上手。为加深读者对Web GIS的全面把握，结合灾害评估、公共安全管理、国情教育等现实问题，每章都设计了具有一定挑战性的实训项目。针对每章的重点和难点问题，也都做了详细解答。书中使用的大量数据，可以通过指定的资源网站下载获取。本书适合高等学校Web GIS相关课程教学，也可用于个
本书通过图解的形式，在逻辑上穿针引线，讲解了大学公共课程“线性代数”的相关知识点，包含经典《线性代数》教材中的绝大多数知识点。这些知识点是相关专业的在校学生必须掌握的，也是相关从业人员深造所应推荐的。本书引入了矩阵函数，从函数角度讲解了向量空间、线性方程组求解、矩阵的秩、行列式、相似变换、特征值、特征向量、二次型等知识，逻辑上一以贯之，再辅以很多生活案例，大大降低了学习门槛。
本书共6章，系统阐述了地温场与大地热流、地热源、地热异常、地热系统类型等基本概念；论述了大地热流的测试原理、岩石热导率和地温梯度的测试与确定方法，岩石热导率与孔隙度的关系，地热源的类型，地热异常的表现形式；详细推导出地热传导与对流的控制方程，给出所涉及参数的意义和经验数据：总结了地球化学温标计算热储温度、利用钻孔测温确定地温的方法：探索出用钻井液温度计算地温梯度的函数式：阐述了地热模型研究和地热资源评价的具体方法；介绍了地热资源分布特征以及地热地质调查、遥感地热技术、地球物理勘探和地热钻探等地热勘探方法。本书旨在帮助读者能够运用这些知识科学地布孔打井、管理地热田，从而解决好生产实践中常见的难题。
深孔加工技术是一种具有良好发展前景和广泛应用需求的机械加工技术，在诸多领域有着广泛应用。深孔加工直线度控制是保证深孔工件质量的前提和基础，深孔加工直线度控制技术的推广应用，对于目前多品种、小批量、周期短的深孔产品的研发和生产具有重要意义。 本书全面介绍了近年来国内外在深孔加工技术的新理论和技术成果以及编者多年的技术实践经验，以解决多因素影响下的深孔加工直线度控制难题。全书内容包括：深孔加工的概念以及直线度控制技术在BTA深孔加工中的应用；BTA深孔加工直线度控制方法；BTA深孔加工刀具结构；BTA钻杆的运动形式和BTA钻杆振动对深孔直线度的影响规律。本书还提出利用磁流变液抑振技术，降低钻杆的振动；同时，还重点介绍负压抽屑对BTA深孔直线度的影响等；重点阐述基于压电原理的BTA直线度主动控制技术，并设计
《高等构造地质学》按照“思想方法与构架?新理论与应用?专题知识与实践?知识综合与运用”思路构思，分四卷先后出版。本书为第一卷，主要涉及科学哲学与地质学思维、地球科学革命的发展过程和启示及板块构造理论的基本框架、主要内容和发展趋势。并对一些前沿性和有争议的问题进行了深入剖析，同时注意与其他相关学科的衔接与延伸。
目前，大多数现有的岩土弹塑性本构模型都是基于塑性势理论，寻找塑性势的解析表达式是*的建模途径。然而，这些模型还不能全面地、准确地反映土的特性，如压硬性、剪胀性，特别是应力路径的影响。鉴此，作者进行了膨胀土、粘土和砂土数值建模的研究。数值建模具有许多优于传统建模方法的地方。土的本构方程是直接从三轴试验数据中提炼出来的，克服了寻找塑性势解析表达式的困难；建模中土的初始状态和加载路径自由选择，从而可以考虑任何初始状态和应力路径对本构关系的影响。
低温年代学已被广泛应用于造山带剥露、地形地貌以及沉积盆地演化等研究中。同济大学盆地与造山带研究小组是国内较早开展低温年代学研究的团队之一，本书结合该研究小组十余年来在裂变径迹和（UTh）/He研究领域的研究成果，系统介绍了低温年代学的原理、方法及其在有关领域的应用。全书共分9章，按内容可分为三部分：部分，深入介绍低温年代学有关测试方法，特别是（UTh）/He年代学的原理、方法；第二部分，对低温年代学在造山带抬升剥露、盆地分析与盆山耦合以及古地形恢复等研究领域的应用进行综述，其中反映了各领域的基本知识以及国际研究前沿的成果；第三部分，介绍研究小组在天山、大巴山、大别等造山带所取得的研究成果。
本书是为地质学各专业本科生专业基础课程教学而编写的教材。书中系统介绍了火成岩岩石学的基础理论知识，并吸收了当前国内外火成岩岩石学研究的最新成果，将形成火成岩多样性的各种岩浆作用过程、岩浆作用与构造环境的关系、岩浆作用对成矿的制约等内容融入其中，突出了岩类学与岩理学的结合，同时融入了编者在火成岩岩石学教学和科研方面的体会，希望帮助学生“感兴趣、会鉴定、懂原理、欲探索”。本书内容丰富，取材新颖，层次分明，结构合理，既能帮助学生掌握火成岩的基本理论和基础知识，还能帮助学生深入认识岩浆作用过程等。
方程是世界的基本法则，改变了人类的命运，从波动方程、麦克斯韦方程组，到用于预测金融市场的布莱克–斯科尔斯方程，方程在生活中无处不在。毕达哥拉斯定理如何催生全球卫星定位系统？对数如何在建筑学中发挥应用？虚数为何对数码相机的发展至关重要？薛定谔的猫到底发生了什么？…… 本书选取17个对人类社会产生重要影响的方程，以生动有趣的笔触讲述了它们背后的历史故事，以及它们如何推动了人类文明的发展，并从数学的角度对地球万物进行了性的探索与阐释。
《地质灾害治理工程设计参考图集》由徐光黎、马霄汉编著，本书由地质灾害治理X-程参考图、综合治理实例和附录三部分组成。**部分介绍地质灾害治理工．程设计图纸的基本要求，以及锚固工程、支 (拦)档工程、减载与压脚工程、护坡工程、排(截)水工程和监测工程等平面布置图、剖面图、立面图、结构图等设计参考图。第二部分给出了滑坡、危岩体和塌岸等几种常见地质灾害综合治理工程设计参考图的实例。第三部分收录了治理工程制图中所涉及的图例，钢筋、锚杆、锚索规格及技术参数，焊接、水泥、砂浆及土工合成材料等材料及其技术参数。《地质灾害治理工程设计参考图集》力求简明实用，准确、清晰和规范，是一本从事地质灾害治理工程的勘查、设计、施工、监理和管理人员的实用参考书，也可作为地质工程、岩土工程、水利水电工程、交通工程
本书针对三峡地区巴东组二段(T2b2)粉砂质泥岩区挖方高边坡时效变形显著的问题，采用试验研究、理论分析和数值模拟相结合的研究方法，研究粉砂质泥岩的流变力学特性，阐明粉砂质泥岩地层中边坡开挖后流变破坏机理，预测边坡变性发展趋势，为工程防灾减灾提供科学依据。全书主要内容包括：粉砂质泥岩常规力学性质试验研究、岩石蠕变力学特性试验研究与模型研究、水对岩石蠕变力学特性影响、岩石应力松弛特性和挖方高边坡流变破坏机理研究等。
页岩气是当今国内外非常规油气资源勘探开发中的热点，其特殊点在于储层为泥页岩，其中的天然气存在吸附态。以吸附为理论基础进行的页岩储层相关研究包括高温甲烷吸附体系研究及低温液氮吸附体系。关于页岩高温甲烷吸附的实验及理论研究均较多，因此本书主要针对低温液氮氮气吸附的理论及吸附式进行研究。详细介绍了吸附的基本理论，包括吸附体系介绍，现有的等温吸附理论，吸附曲线的分类研究以及页岩作为储层的特殊性，探讨了页岩低温液氮氮气吸附的吸附过程、基于吸附过程的等温吸附式及圆柱形孔隙模型下的等温吸附式。对于利用低温液氮氮气吸附实验正确认识页岩孔隙结构奠定了基础
《海洋经济蓝皮书：中国海洋经济分析报告（2024）》一书包括四个篇章：第一篇为总报告，分析了2023年中国海洋经济发展形势。第二篇为产业篇，总结2023年我国海洋渔业、海洋油气业等海洋产业发展情况；第三篇为区域篇，分析了北部海洋经济圈、东部海洋经济圈、南部海洋经济圈和粤港澳大湾区海洋经济发展形势。第四篇为专题篇，以二十届三中全会提出的“完善促进海洋经济发展体制机制”为主旨，重点探讨海洋新质生产力、现代海洋城市发展等问题。
土壤是湿地生态系统生命的载体，不合理地施用化肥和农药、随意处置生活垃圾等人类活动均可能使湿地土壤中多环芳烃、重金属等环境激素含量上升。因此，定期开展湿地土壤多环芳烃、重金属污染与风险评价对保护与合理利用湿地具有重要的科学意义。本书作者以莫莫格自然保护区为研究对象，通过野外采样和室内实验，利用多元统计分析方法和GIS技术系统研究了该湿地土壤多环芳烃、重金属的含量特征、来源，并采用多种土壤环境质量和潜在生态风险评价方法评价了湿地土壤多环芳烃、重金属污染现状及其潜在生态风险程度。
本书是国家重点基础研究发展计划（973计划）的研究成果。全书从中国隧道工程建设及其存在的施工地质灾害实际论述出发，分别论述了导致隧道施工塌方、泥石流、涌突水、涌突泥、涌突砂、瓦斯灾害的致灾构造的类型、构成、致灾模式及其处理，例析了典型隧道施工涌突水、涌突泥、涌突砂灾害，论述了隧道施工突水突泥灾害引发的生态环境问题。本书对于隧道施工地质灾害防控措施决策，实现隧道施工地质灾害预警和灾害防控，具有极为重要的理论意义和现实意义。
本书从科学探索的角度和物理学原理出发，详细介绍了气象学的基本概念和原理：地球主要组成圈层、大气组成、物理性质、空间结构、要素变化；大气运动各种过程的物理原因；地球上各种天气和气候现象、形形色色的云和降水的形成原因；气压和风、气团、气旋和锋面天气的形成；强对流、雷暴、龙卷风和飓风（台风）等灾害性天气；人工影响天气的各种途径、天气分析和预报的方法、卫星在天气预报中的应用；空气污染及其原因；气候变化与气候系统、人类对全球气候的影响、全球变暖的可能后果、世界气候和气候分类及大气中各种奇特的光学现象和形成的原理等。全书内容丰富、概念清楚、深入浅出、图文并茂，可读性强。 本书可作为对气象学感兴趣的人们学习了解大气变化奥秘的入门读物，也可作为高等院校非大气科学专业学生的通识课程参考教材，
《高等构造地质学》按照“思想方法与构架?新理论与应用?专题知识与实践?知识综合与运用”思路构思，分四卷先后出版。本书为第二卷，主要涉及岩石变形的新理论与应用。本卷以岩石的变形、应变和流变分析为基础，以最大有效力矩准则的分析和应用及其拓展为核心内容，进而探讨广义断层模式和岩石不同变形准则的联合与应用等。
本书共4章，主要内容包括等离子体技术中的基本概念与特性、等离子体生成方法、等离子体实验技术和诊断技术、小型等离子体设备的试验实例等。本书作者对等离子体的基本概念、理论、规律和研究方法的阐述与讨论既简明直观，又不失其严谨性；书中介绍的等离子体生成技术，包含了不同放电机理和不同等离子体源条件，内容完整具体；书中介绍等离子体实验和等离子体诊断技术，给出了等离子体的电特性测量、密度测量、温度测量、组分测量等各种等离子体诊断的原理，数据获取设备、数据判读和数据处理的方法，结果全面实用。本书可作为从事等离子体技术研究和实验工作的研究人员与大学生、研究生的入门参考书籍，还可为从事等离子体技术相关工作的非等离子体专业人员提供全面的专业基础知识。
自海洋卫星发射以来，星载合成孔径雷达获得了广泛的应用，已成为重要的遥感装备。与此同时，星载合成孔径雷达技术也在不断发展。本书重点介绍了最近十年来星载合成孔径雷达新技术，全书共分8章。第1章概述了合成孔径雷达基本原理，主要技术指标和常用工作模式，分析了目前星栽合成孔径雷达发展现状和应用，指出了发展方向；第2章重点介绍了分布式InSAR系统及其关键技术；第3章介绍了星载超高分辨率SAR成像算法和影响成像性能的因素；第4章阐述了高分辨率宽幅成像技术；第5章讨论了星载SAR地面动目标检测技术；第6章介绍了中高轨成像雷达的特点及处理技术；第7章重点分析了星载SAR抗干扰技术；第8章讨论了宽带星栽合成孔径雷达系统技术，重点介绍了宽带相控阵天线技术、宽带信号产生和处理技术。本书适用于从事雷达系统工程和微波成像领域科技
本书从旋翼飞行器工程设计角度出发，对旋翼飞行器总体设计与性能分析过程中涉及到的旋翼尾迹建模、旋翼机身气动干扰建模、飞行动力学建模、飞行性能计算方法以及稳定性、操纵性和飞行品质分析方法作了系统介绍，并结合相关算例对模型方法进行了验证。 本书可以作为航空工程技术人员开展旋翼飞行器总体设计与性能分析的参考用书，也可以供涉及旋翼飞行器相关专业研究生或从事这方面研究工作的人员参考。
