水利工程施工的核心就是安全管理，本书以水利工程安全管理及水利工程施工安全控制为研究主线，分析了水利工程施工阶段的安全成本、水利工程建设环境安全管理及水利工程施工现场危险源管理，并对基于OHSMS的水利工程施工安全管理模式及水利工程安全管理信息化进行了研究。

本书介绍了执行器饱和切换系统的分析与设计方法，主要包括具有执行器饱和切换系统的鲁棒镇定、基于抗饱和方法的离散饱和切换系统的保成本控制、基于最小驻留时间的非线性不确定饱和切换系统的非脆弱鲁棒指数镇定等内容。切换系统作为一类重要的混杂动态系统，可以描述和分析许多实际的系统，具有广泛的工程应用背景。另一方面，几乎所有的控制系统都存在执行器饱和，这种非线性因素会降低系统的性能，甚至破坏系统的稳定性。因此深入研究具有执行器饱和的切换系统的各种理论问题，将对工程实际有着重要的指导意义和应用价值。

本书主要针对弦支穹顶结构焊接空心球节点的焊接残余应力和拉索的摩擦损失开展研究工作。首先介绍了空心球节点的焊接残余应力分布模式及其对节点与结构整体性能的影响；其次针对弦支穹顶结构拉索在索撑节点处的摩擦滑移行为，构建了拉索摩擦滑移系数的取值方法，并结合拉索张拉过程中存在两端张拉控制力不等以及各索撑节点处摩擦损失随机变化的特点，介绍了拉索预应力优化与找力分析方法，并在此基础上进一步剖析了预应力随机摩擦损失与其他随机缺陷联合作用对弦支穹顶结构整体性能的影响；再次研究了弦支穹顶结构拉索的腐蚀机理及其引起的

本书共9章，内容包括近年来作者在Clifford代数上的模糊运算与时标上Clifford代数的紧几乎自守函数理论及应用方面的最新研究成果，主要包括概周期时标上的紧几乎自守函数的定义及基本性质，在Clifford代数上的模糊运算的定义及相关性质以及时标上Clifford值神经网络系统的概周期解、伪概周期解、加权伪概周期解、几乎自守解的存在性问题方面的应用。

本书共分三部分，第一部分主要介绍了micro:bit板，包括micro:bit板的组成与编程软件。第二部分通过五个实践小项目，一边做项目，一边学习Python语言编程，这里既包括LED点阵屏的控制、扩展板的使用、串口控制、radio模块与板载按钮等micro:bit板的使用，又在每个项目的相关知识中涵盖了Python程序语言的基本语法、算法控制结构及相关语句、基本数据类型与函数等。第三部分结合全书，设计了一个室内光线实时监测系统的大项目，讲解了信息系统如何从前期准备到搭建，再到完善的全过程。

本书包括工程勘察测绘，道路、桥梁设计与施工等方面的内容，共六章：第一章主要概述工程勘察的相关知识；第二章主要介绍测绘的基础知识；第三章主要论述测绘工程的组织、目标控制及技术设计；第四章主要论述测绘工程质量控制；第五章以城镇道路设计及施工为例，论述了工程设计与建设管理理论的实践应用；第六章以城市桥梁施工为例，论述了工程建设管理理论的实践应用。

本书以煤层冲刷带为工程背景,采用理论分析、室内试验、数值模拟及现场实践等方法,对不同岩性和不同煤-岩高度比的煤-岩结构体在循环加卸载作用下的力学特性、能量演化特征及失稳破坏机制进行深入研究。并根据工作面前方能量储存的特点,从能量释放角度提出了判断系数(Q)的概念,利用能量判断系数对工作面在煤层冲刷带推进过程中的能量变化规律进行了分析。并通过微震监测法和钻屑法验证了能量判断系数的可靠性,为预测冲击的发生提供了新的思路。

本书以淮北煤田岩溶陷落柱为研究对象，采用野外勘查、现场测试、室内试验、模型预测等方法和手段，全面地研究了淮北煤田岩溶陷落柱的揭露方式、发育规律、充水性特征，分析了陷落柱与灰岩地层组合、煤田地质构造、地质与水文地质单元、古径流场、现今地温场、现代径流场条件、岩溶发育、构造演化等之间的关系，建立了陷落柱的发育模式，揭示了陷落柱充水性的主要控制因素，并对淮北煤田典型发育模式陷落柱进行了预测研究。在此基础上，建立了淮北煤田岩溶陷落柱水害防控体系，针对不同类型陷落柱提出了突水淹井陷落柱“止水塞”封堵治理技