本书将计算机代数分析方法应用于地图投影数学分析，借助具有强大符号运算功能的计算机代数系统，导出一系列理论上更为严密、形式上更为简单、精度上更为精确的符号形式的公式和算法。本书的主要内容包括：椭球常用纬度间变换计算机代数分析、椭球面在球面上的投影计算机代数分析、墨卡托投影计算机代数分析、圆锥投影计算机代数分析、高斯投影计算机代数分析、极区高斯投影计算机代数分析、地图投影变换计算机代数分析。

《梦游者》讲述了西方宇宙观在几千年的时间里经历了怎样的曲折，最终抵达现代人所熟悉的版本。本书按照时间线分为五个部分，分别是英雄时代、中世纪、哥白尼、开普勒以及伽利略，作者突破了“科学”和“人文”之间的僵化区分，用动人的笔墨展示了宇宙学家们的创造性探索，描绘了17世纪的科学革命如何艰难而戏剧性地摆脱中世纪世界观的桎梏。作者为一系列伟大的天文学家提供了生动而明智的肖像，并明确指出政治偏见和无意识的偏见在他们的探索中所扮演的角色。

气候变化作为一个全球性的安全问题，对人类社会产生了广泛影响。本书详细分析了19世纪以来气候变化从科学问题转变为全球安全议题的过程。近半个世纪以来，极端天气事件（如干旱、洪水、野火及风暴等）频发，南北极冰川融化，海平面上升，对基础设施、人类健康以及全球的水和粮食安全构成了前所未有的威胁。特别是2007年联合国安理会将气候变化列为安全问题讨论以来，各国对这一复杂的全球治理问题采取了不同的应对策略。本书特别强调了中国在全球气候治理中的积极作用，展望了中国在全球气候安全治理中可能扮演的引领角色，并

沉积地球化学是研究沉积物的化学组成、化学作用和化学演化的学科，是沉积学的重要分支，也是沉积学与地球化学相融合和交叉形成的一门重要科学。本书运用地球化学分析技术方法，通过研究沉积岩或沉积物中各常量元素地球化学、微量元素地球化学、同位素地球化学及有机地球化学等特征在环境分析、源区识别、气候研究、油气勘探中的应用，并详细介绍这些方法的使用条件、应用局限等。

白云岩-鄄蒸发岩共生体系在各大沉积盆地均有分布，与油气资源息息相关，本书综述了国内外各大沉积盆地共生体系发育特征，以川东北飞仙关组共生体系为典型研究对象，探讨共生体系沉积特征、白云岩成因、源?鄄储?鄄盐特征等相关问题；划分出了共生体系中岩石类型及组合方式，探讨其差异的形成过程、分布规律、主控因素；厘清了川东北飞仙关组共生体系时空分布规律，揭示了共生体系耦合机制；解析了白云石化流体特征，明确了白云岩成因，并阐述了共生体系源?鄄储?鄄盐特征及其相互作用关系。

本书是星星书架丛书的第一本，为孩子讲述天文观测的第一梯级徒手观测。作为资深的小学天文老师，作者把徒手观测巧妙分解为一个个小小的晋级台阶，如北极星竟然不是全天最亮的星星!转瞬即逝的梦想快递员：流星……小读者将跟随作者，去经历令人捧腹大笑的观测奇遇，去寻找目标、完成观测；也可在星空加油站获取知识，在作者妙趣横生的讲述中，解开心中的谜团。每一节都为小读者提示了难度星级和成就来源，便于他们实际观测后获得自我激励。附录中为小读者介绍了中国各大天文馆，告诉他们如何筹备自己的

本书系统介绍了现代宇宙学的基本概念与基础理论知识。特别对一些经典的基础概念和理论方法进行了较为详细的介绍，例如，线性扰动理论中的规范变换、非线性扰动演化中的普雷斯-谢克特（Press-Schechter）质量函数、高斯（Gauss）随机扰动场及其统计性质等。全书主要内容包括：标准宇宙学模型及热大爆炸宇宙简史，小扰动的线性演化理论，宇宙各主要组分（冷暗物质、重子物质、光子及有质量中微子）密度扰动的线性演化方程以及密度扰动功率谱，宇宙微波背景辐射的各向异性，扰动的非线性演化与密度扰动场的统计分析，张

《干热岩热储体积改造技术》解析了干热岩热能获取对水力裂缝系统需求的特殊性，归纳总结了国内外干热岩热储改造技术现状，阐述了干热岩高温高压岩石力学行为、岩体变形与破坏特征、裂缝起裂与扩展特性、张性与剪切裂缝导流机制、水力压裂改造技术以及化学刺激辅助改造技术等方面的*新研究成果。

本书以银川、常德、海口、常熟、东营、哈尔滨等首批“国际湿地城市”为研究区域，以城市湿地为研究对象，以遥感监测、模拟预测、综合评估等技术手段，开展过去与现状城市湿地遥感监测提取、未来城市湿地空间变化模拟预测、过去与未来城市湿地功能和可持续综合评估，为城市湿地的可持续发展和湿地城市的高质量发展提供智慧服务探索。主要包括以下内容：国际湿地城市发展历程、城市湿地研究背景和可持续性评估现状；城市湿地的遥感提取、变化检测和逐年分类；城市湿地的多情景构建、需求预测与空间模拟；城市湿地的水源涵养、水质净化、碳储

本书立足于中国特色全球海洋治理理念，聚焦海洋环境及海洋安全治理、海洋空间规划与综合管理中的现实挑战，具体揭示海洋生态环境治理、东盟应对海上非传统安全的理念基础和运行机制，同时基于多学科方法分析涉海翻译在生成式人工智能时代的框架、议题等重要的理论和政策问题。