本书共分6章，分别是绪论；命题逻辑、谓词逻辑、集合论、代数系统和图论。主要内容离散量与离散数学、命题公式演算、命题逻辑的推理理论、归结演绎推理、谓词公式的解释、谓词公式演算、自然演绎推理、集合运算、集合计数等。

本教材初步分成四部分，第一部分多媒体信息隐藏，介绍图像、音频和视频等多媒体格式中的典型信息隐藏方法。第二部分与第一部分相辅相成，针对第一部分中的经典信息隐藏方法展开分析。第三部分是数字水印和数字指纹，主要针对版权保护、身份认证等实际应用，介绍目前比较流行的水印算法和指纹算法的实现过程。第四部分对应数字媒体取证技术，主要

本书内容包括：生产运作管理基础；生产运作系统的设计；生产运作系统的运行；生产运作系统的维护与改善；企业运营模拟实训等。

本书系统介绍电磁环境对设备、材料及生物体等产生的效应、作用机理及防护方法等。

本书首先介绍了常见的平面光流计算方法：基于变分的光流计算方法、基于局部邻域约束的光流计算方法、基于匹配的光流计算方法、基于能量的光流场计算方法、基于相位的光流场计算方法、基于张量的光流场计算方法等，其次，本书介绍了光流在无人机导航中的应用：基于直线光流场的飞行器姿态估计、基于稀疏光流场的地面特征提取技术、稀疏直线光流场

针对航天微推力器研制和开发中，对微推力和微冲量测量与误差分析方法的迫切需求，在跟踪、消化、吸收和总结国内外相关研究成果基础上，本书作者结合多年的科研和教学实践经验，研究并提出了微推力和微冲量测量与误差分析方法。

本书主要对船舶管路智能布局优化设计问题进行研究，探索智能优化算法在船舶管路布局中的应用。本书内容如下：介绍相关概念和国内外相关技术的研究现状；介绍船舶管路智能布局优化设计数学建模研究，包括布局空间环境模型、方向指导机制、约束条件和目标函数；介绍基于遗传算法的船舶管路布局优化设计；介绍基于蚁群优化算法的船舶管路布局优化设

本书共分4章，第1章讨论了各种电池材料的合成及其物理化学性质的测试和评价；第2章是多种动力电池的制作与电池的安全性和电化学性能等的研究与分析；第3章以动力电池的应用实例为主讨论了电池和BMS及充放电部件之间的关系和控制等，也包括了对2008年北京奥运会核心区进行了24小时服务的五十辆公交车用电池能源系统运行情况的分析；

本书全面系统地讲述了电动汽车电磁兼容的理论、方法及其应用。本书涉及的电磁兼容相关理论、数值计算方法是成熟的，仿真软件也是工程上最常用的，其目的是帮助使用本书的读者容易掌握书中的内容，并能应用于工程实践中。

本书作者在大量的工程实践基础上，针对严重危及隧道工程施工和运营安全的岩溶涌水、突泥等地质灾害问题，分析指出岩溶及地下水的准确预报或探测是解决问题的关键。在此基础上，以隧道开挖揭露的岩溶形态和岩溶地下水为研究对象，深入开展岩溶含水介质特性及其作用机理研究。通过现场监测、理论分析和室内模拟实验等手段，将岩溶地下水动力学、水

本书主要介绍了煤矸石及格宾网材料的工程特性、煤矸石与格宾网界面摩擦特性、煤矸石动态淋溶对地下水的影响、煤矸石溶液在地下水系统中运移的数值模拟、加筋煤矸石堤边坡稳定性分析等。

本书是以雷晓燕教授为学科带头人带领的课题组二十余年来关于轨道动力学理论与应用研究成果的系统总结。研究内容属现代铁路轨道动力学理论中的前沿问题，涉及车辆－轨道耦合系统动力学理论、模型、算法与工程应用。

实行最严格水资源管理制度，是应对我国峻形势保实行最严格水资源管理制度，是应对我国峻形势保障经济社会可持续发展的重大举措。当前，在流域层面实行最严格水资源管理制度面临的主要技术问题是：（1）如何考虑不同的水文丰枯条件，将多年平均总量、效率与限制纳污指标落实到具体的年度实施计划并考虑季节变化的影响；2）如何优化布置、加强监

本书尝试收集整理世界各海域畸形波发生的实例，尽量使用简单的语言对畸形波的数值计算模型进行介绍，对畸形波的实验室畸形波可控制物理生成方法和技术进行较为详细的说明，同时提供实地岛礁实验室畸形波生产研究实例。

本书介绍了水电工程扰动区植被生态修复技术，主要阐述了水电工程施工对区域环境的影响及植被生态修复理论、植被生态修复技术研究进展等。书以以向家坝水电工程为研究对象，全面系统地介绍了水电工程扰动区植被生态修复的程序；立地条件调查、生态修复规划、物种筛选与配置、生境构筑模式及生态修复植被群落与土壤化学生物特征监测与评价。

本书以厦漳泉城市群为典型案例，对其空间总体特征进行剖解，将焦点投向同城化和主体功能区实施影响下的城市群空间发展要素，探讨这一背景下厦漳泉城市群空间重构导向、模式及实现路径，构建科学合理的城市群空间格局。

本书内容包括：RPC的制备原理及配比；RPC的静力学性能；钢纤维RPC的黏结机理；RPC的断裂韬性及表征方法；RPC的尺寸效应；RPC的动态力学性能等。

本书较为系统地论述了岩溶的类型、发育的条件、作用、形态、规律及深岩溶等问题；介绍了岩溶地质勘察技术及遇到的相关问题；论述了土洞、溶洞等的岩溶稳定问题、岩溶地基承载力确定以及岩溶地基处理等方面内容；分析了溶洞顶板和桩基作用，讨论了不同模型下溶洞顶板安全厚度理论计算公式；研究了上部结构、基础、地基三者的共同作用。对岩溶地质

本书系统研究了深部洞室分区破裂的产生条件与影响因素，建立了基于应变梯度的分区破裂力学模型和能量损伤破坏准则，发展了分区破裂数值分析方法，阐明了分区破裂的力学成因与破坏机制。提出了地下洞室初始地应力场反演方法，建立了大型地下厂房洞室群施工期围岩力学参数的动态反演与分析方法。通过三维地质力学模型试验探索了超深埋碳酸盐岩油藏

本书给出了根据最小耗能原理建立岩石破坏理论的技术路径和方法，并在岩石可视为各向同性、线弹性且抗拉、压强度不等材料的条件下具体导出了岩石的破坏准则。