系统总结了10年来作者在岩层控制的松散层拱理论方面的研究成果。主要内容包括:松散层拱结构的提出、定义、形态特征、形成条件、承载性能、失稳判据和时空演化规律;阐明了松散层拱结构对松散层载荷传递、采动覆岩破断失稳、采动覆岩及地表移动变形的影响;叙述了松散层拱结构在厚松散层矿区关键层判别、采场矿压控制和地表沉陷控制等方面的工程应用。 岩层控制的松散层拱理论是对砌体梁理论和关键层理论的发展,同时对完善采动覆岩承载结构模型,丰富矿山压力和岩层控制理论具有显著理论价值和工程实践意义,尤其是给厚松散层下采煤矿
安全多方计算是密码学重要研究领域,作为密码协议的一般性理论研究,取得了非常丰富、深刻的研究成果,是密码学基础理论的重要组成部分,近年来在实用化方面也取得显著成果。本书旨在对这一研究领域进行梳理,形成一个完整系统的总结,展现其基本思想与方法。本书以安全多方计算的起源和里程碑式的成果为起点,介绍了Yao混淆电路、GMW、BGW等基础协议,严格论述了安全模型及形式化证明方法,并对实用化技术做了详尽分析与介绍。
本书围绕氢燃料电池发电系统控制相关理论,系统地介绍了空冷型和水冷型燃料电池发电系统的工作原理和运行特性,并分别探讨了适用于空冷型燃料电池发电系统和水冷型燃料电池发电系统优化控制技术,为实现氢燃料电池发电系统高效稳定运行和大规模商业化应用奠定理论基础。全书共包括7章,主要内容包括空冷型燃料电池发电系统测控实验平台设计方法、适用于空冷型燃料电池发电系统的经典控制方法、空冷型燃料电池发电最大净功率优化控制方法、水冷型燃料电池发电系统建模及硬件在环半实物平台设计方法、水冷型燃料电池发电系统最优
对象代理数据库系统既具有关系数据库的灵活性,又具有面向对象数据库表现复杂语义的能力,非常适合管理结构复杂、语义丰富的数据。《对象代理数据库系统原理》根据作者提出的对象代理模型,给出对象代理代数,描述对象代理数据库语言,并围绕对象代理数据库的存储管理、查询处理、事务管理和安全机制等实现技术进行深入介绍,使读者能够全面掌握对象代理数据库系统原理。
生态流量保障是提升流域生态保护治理能力的重要举措,科学的生态流量监督管理是提升生态流量保障率的重要抓手。本书通过全面调查长江流域重要河湖和水工程生态流量保障及监督管理现状,基于长期工作实践中积累的生态流量研究相关成果,结合流域机构、各级地方人民政府、水行政主管部门、生态环境主管部门对生态流量的多目标协同管理需求,提出长江流域河湖生态流量及水工程下泄流量计算关键技术,综合应用遥感观测、站点监测、视频监控等多源感知技术,研发集成“低碳监控、远程传输、稳定存储、智能预警”功能的智慧生态流量远程在线监管
超临界CO2压裂是近年来迅速发展的一种非常规油气储层改造增产新方法。全书共九章,系统总结了作者及其研究团队在超临界CO2压裂基础理论研究方面的最新成果,覆盖了超临界CO2压裂技术中喷射压裂井筒流动与控制、射流破岩与孔内增压、压裂起裂机理、支撑剂输送和现场应用实例等内容,以图表、数据等形式,生动地阐述了超临界CO2压裂技术各个环节相关的基础理论。