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

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

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

本书首先介绍群的概念和性质，继而引入李群李代数的概念。后面以较为简明的方式，介绍了李群的根系、李群的表示、李群李代数的分类等重要内容。在介绍了数学基础之后，本书对于量子力学中具有连续对称性时，哈密顿量的本征态与李群表示的关联做了深入探讨，通过李群方法优美地给出了CG系数等量子力学中的重要性质。

本书从绪论引入核心概念，先以矢量分析与场论基础筑牢理论根基，再依次讲解静电场、恒定电场、恒定磁场三类静态场的定律、方程及参数求解方法，随后深入静态场边值问题的数学模型与解法。后半部分转向时变电磁场，涵盖麦克斯韦方程组、能量守恒等核心内容，还分别对低频准静态场、高频电磁波的特性、近似方法及典型应用展开分析，为读者构建起从

本书结合计算机模拟和理论分析的方法，以胶体粒子为研究对象，以三种典型的具有不同组装信息的体系为例，对各向异性自组装中的熵效应进行了深入的研究，深入揭示了受限诱导熵效应对粒子自组装深层次的调控作用、体系在不同层次对于熵和焓的取舍、熵在自发的有序聚集过程中所扮演的角色以及相关的影响规律，深化了我们对自组装过程中熵效应的理解

本书立足当代量子论的科学实践，采用前沿科学向一般科学哲学理论推进的研究模式，探索科学哲学的突破性研究。成果系统梳理了当代量子论发展的困境及其哲学挑战，对量子论前沿提出的哲学问题与面临困境的哲学根源进行了深刻剖析，形成科学哲学讨论的问题域；深入挖掘当代量子论丰富的形而上学蕴含，探讨了当代量子论所带来形而上学观念上的变革，

本教材绪论部分包括实验室安全手册、意外事故应急处理、常用杂志、网站等信息，并特别添加了“科研活动原始记录中常见问题或错误的诚信提醒”。主要内容包括：第一部分为药物化学实验，主要内容是典型药物的合成。共选编普鲁卡因、硝苯地平、盐酸苯海索等6个典型药物的合成精制实验。第二部分为天然药物化学实验，主要内容是天然有效成分的提取

本书共4册，包括《几何与思维游戏》《曲线、圆与拼图游戏》《形状、数字与拓扑学》《逻辑、概率与科学》四册。这是一套别具一格的数学思维书。英国智力游戏专家伊凡·莫斯科维奇趣讲1000个数学中的神奇现象和思维游戏，展现了数学与生活、艺术、科学、文化的息息相关。从这本书中，我们可以了解什么是概率，什么是排列组合，生活中的各种数

全书设置三大内容模块：A模块侧重趣味性实验设计，B模块侧重严谨结果验证类实验，C模块聚焦微观实验现象可视化呈现。书中每个实验项目都设置完整的内容体系，包含实验目的、背景知识、实验可视化前置知识、实验试剂、主要仪器、安全注意事项、实验操作步骤以及拓展思考讨论板块。部分实验借助二维摄影技术，配套实拍实验成果照片、演示视频等