本书在对国内外相关研究进行梳理的基础上，第一部分首先阐释了微分动态逻辑及其三种扩展逻辑及其证明演算，第二部分探讨了混成系统的自动定理证明，第三部分是混成系统验证实例研究和应用研究。全书从逻辑分析、数学建模、证明义务和验证技术四个方面展开研究，探讨了空中交管系统、列车控制系统、分布式汽车控制系统的防撞策略，验证了这些系统

本书为电介质物理知识进阶系列第3部，以界面极化与介电储能关联为核心，构建理论到应用的知识体系.首章夯实电介质储能基础，涵盖原理、材料、参数及研究现状；第2章深入阐释界面极化理论；第3至5章聚焦应用实践，剖析其对击穿场强的影响、表征方法及调控策略，并通过线性电介质调控和高熵策略等具体案例，深入解析界面极化在优化储能性能中

本套书2册，包含《理论力学册》《材料力学册》。

本书系统介绍了线性代数的核心知识，包括行列式、矩阵及其运算、线性方程组与向量空间、特征值与特征向量、二次型五章内容，并融入北太天元程序，强化理论讲解与实操训练有机结合。本书立足职业本科人才培养目标，精选低空经济、机器人、卫星导航等前沿应用领域的典型案例，深度探索数学原理与专业实践的融合路径，着力推动职业教育从单一知识传

本书是一部专注于有序响应变量在空间统计领域的建模和实证应用的书籍，旨在系统介绍如何在空间计量模型中处理有序响应变量，提供理论基础和实际应用指导。

本书系统阐述了化学的基本原理及其在现代工程领域中的应用。全书共十二章，涵盖化学热力学、化学动力学、化学平衡、酸碱平衡、沉淀溶解平衡、氧化还原与电化学、配位化学、原子结构与元素周期律、化学键与分子结构、材料化学基础、纳米材料与功能材料、能源化学、环境化学及绿色化学等核心内容，构建了从基础理论到工程应用的完整知识体系。

本书全面深入地探讨了全氟化合物(PFAS)在全球冰冻圈中的分布、来源、迁移及其生态影响，特别关注青藏高原等关键区域。第一章作为绪论，介绍了全氟化合物在冰冻圈中的来源和归趋，包括全氟化合物从大气中清除的主要路径，冰芯中全氟化合物的历史变化趋势，以及冰雪融化时全氟化合物释放的规律和生态影响。第二章至第四章侧重于全氟化合物在

本书系统介绍了相对论性带电粒子电动力学，面向等离子体物理、物理电子学、天体物理、加速器物理、自由电子激光物理、空间物理等相关学科，着重介绍张量(张量的普遍定义、张量的代数运算)，静电学导论，静电场的边值问题，多极子，宏观介质的静电学，电介质，静磁学，法拉第定律，似稳场，麦克斯韦方程组，宏观电磁学，守恒定律等。

本书系统阐述石墨资源高效循环利用的理论、技术与产业化路径。基础篇解析石墨结构/性能与资源分类体系，涵盖选矿提纯、人造石墨生成机理及改性应用。核心篇聚焦循环利用，论述必要性、全球现状与技术瓶颈，重点剖析锂电负极石墨回收技术(失效机理、再生工艺、高值化应用如二次电池/吸附剂/石墨烯制备)，并拓展至核工业石墨废料处理、冶金行

本书将聚焦深海天然产物的资源特点、天然产物的分子多样性及其应用潜力等，主要介绍冷泉、热液、海山、深渊等深海特殊环境来源的天然产物研究概况、结构类型与分子多样性、生物活性与成药性潜力和深海天然产物研究面临的问题与挑战、对策与策略及发展趋势。