长时间以来人们在处理布尔网络方面一直缺乏一个有效的分析和计算工具。自从2000年初程代展等人将半张量积引入到布尔网络研究之后,人们对布尔网络的认识得到了有意义的深入和进步。然而,布尔网络理论还需要丰富和扩展,有些问题还没有得到有效解决,例如耦合布尔网络的同步化问题。因为在现有的文献中,关于带外部输入的主-从布尔网络同步化,还没有给出一般性的判别条件,也没有提供一般性控制器的设计方法。另外,需要指出的是,虽然半张量积在处理逻辑动态方面具有无可比拟的优势,但是它的超指数复杂度是其致命缺点。因此,在布

本书共9章，以硅微机械陀螺为研究对象，通过数学物理方程推导微机电系统宏模型，采用对称拓扑设计微机械陀螺结构，制订简单、高效的工艺加工微机械陀螺，根据精密控制、电学知识设计微机械陀螺测控电路，从而阐明硅微机械陀螺误差产生机理，并为减小误差提供研究思路。本书内容新颖，简明扼要。

工程控制系统普遍存在干扰现象，这里的干扰不仅包括控制系统的外环境干扰，也包括控制系统的内环境干扰。本书主要针对控制系统存在的内外干扰研究其抗干扰及容错控制的相关理论与应用，主要从随机分布系统基于观测器的概率密度函数形状被动容错控制、主动容错控制、故障和干扰同时估计，火星探测器进入段的姿态容错控制，含恒功率负载的降压变换器、升压变换器、升降压变换器的自适应无源控制、互联与阻尼配置控制、能量整形控制等方面进行深入、系统性的研究，旨在提出新的设计《BR》方法，提升系统的控制性能。

本书以我国中、高烈度地区广泛应用的新型抗震结构体系-高层建筑联肢剪力墙的抗震设计与分析理论为主要内容，全面总结了国内外相关研究和最新发展动态，深入介绍了联肢剪力墙结构体系基于耦合机制的双重抗震防线的工作原理，系统梳理现有规范、规程的相关条文规定，提出高层建筑联肢剪力墙结构体系的性能化抗震设计、分析方法及其关键施工技术。

本书详细阐述了焊接钢管节点物理模型试验方法，包括实现空间结构多平面同时加载的试验、试件设计思路及测点布置方案；详细介绍了焊接钢管节点数值仿真模拟方法，包括焊缝体的数学模型、含焊缝的管节点数值模型及数值方法验证；重点给出了多平面管节点热点应力的计算方法，包括多平面相互作用分析、SCF和MIF极值公式及SCF和MIF分布公式；特别结合人工智能理念提出了基于人工神经网络的计算方法；最后以一实际工程应用为例，综合展示了运用本书介绍的各种方法解决实际问题的过程。

社区设备设施风险的监测监控、预测预警与智能防范，是社区治理的重要内容，也是极具挑战的前沿科学问题。对社区水、电、气、热等设备设施系统风险进行精准管控能够为社区安全保障提供重要的技术支撑。本书共分8章，主要内容包括：社区水、电、气、热、电梯、消防设备设施系统的功能组成、风险监测与防范基础理论、社区设备设施系统风险辨识、风险评价指标体系、静态风险评估方法、应用人工智能方法进行动态风险评估实例，以及社区设备设施系统“端-边-云”风险监测技术。

装配式绿化挡墙是一种用于边坡加固的新型挡墙，既可用于开挖路堑边坡的加固也可用于填筑路堤边坡的加固。组成该类挡墙的预制块设计有培土空间和植物生长窗口，从而实现植被绿化功能，在市政边坡、铁路公路车站边坡、景区边坡、城市迎宾道路边坡等的加固中具有独特优势。装配式绿化挡墙虽然取得了良好的工程应用，但其设计计算方法尚不成熟，体现在挡墙各构造体的尺寸确定方法尚不明确，本书系统总结了装配式绿化挡墙的形式及其构造特征并研究肋（桩）间土拱特性，在此基础上，采用理论分析和数值模拟方法研究挡墙在不同构造形式条件下的受

本书介绍了整体叶盘数控砂带磨削实验装置、实验方法以及实验方案。同时介绍了整体叶盘砂带磨削精度一致性评价方法，并且通过实现自动化手段后对砂带磨削表面完整性精度和砂带磨削轮廓精度对整体叶盘砂带磨削精度的一致性进行了综合分析。本书开展航空发动机整体叶盘数控抛光技术研究，实现整体叶盘复杂型面的高效自动化精密抛光。

土壤-鄄空气换热器（EAHE）是将浅层岩土蓄积的冷/热量搬运至建筑空间并对室内热环境进行被动调控的重要技术。本书关注动态室外热环境下EAHE与建筑本体蓄热的耦合作用，力图对这一跨时间尺度的非线性问题进行定量描述，以期实现EAHE的集约利用及与建筑本体的高效融合。本书不仅注重利用作者发展的新方法对蓄热通风作用下的室内热环境动态特性以及EAHE与建筑本体蓄热的耦合效应进行定量描述，还力图进行物理上的阐释；同时，结合案例展现了这些理论方法在实际应用中的价值。

本书是《科学好好玩：神奇的煤炭》之续作，借由爱好科学的小学生艾科学的视角，从当前社会关注的温室效应、全球气候变暖等热点事件出发，用故事的形式讲述煤炭的相关科学知识。用故事发展脉络与人物对话，把科学知识、科学方法、科学理念嵌入其中，使读者在潜移默化中掌握科学内容。