本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点，系统性研究了分数阶系统的求解、近似化、控制器设计

光学影像三维重建是数字化还原真实世界的重要手段，广泛应用于城市规划设计、虚拟现实、数字孪生等众多领域，长期是摄影测量和计算视觉领域的研究热点。本书系统地论述利用光学影像进行三维表面重建的理论与方法，从立体视觉和明暗恢复形状两个角度出发，重点介绍联合几何与辐射成像模型的三维表面重建、基于影像辐射模型的三维表面优化和顾及结构信息的城市场景三维重建等内容。

本书是以油画的艺术形式展示自46亿年前地球诞生的太古宙开始直至全新世各地史时期陆地植物景观的画册。作为古植物学研究者的画作者，希望能将科学和艺术结合，去展现那遥远、宁静、深邃的史前植物世界的斑斓景色。画作主要依据我国各个地史时期丰富的化石资料，综合古生物学家的重要典型研究成果，以油画的形式复原了各地史时期陆地植物景观36幅，并附有通俗易懂的文字说明，展示了漫长的前显生宙藻菌发展时代，以及显生宙以来的地衣苔藓、蕨类植物、裸子植物及被子植物发展时代景观的演替，直至人类栽培作物景观的出现。

本书针对大规模水风光互补系统的功率预报、调度运行及容量配置问题，系统介绍流域水风光多能互补调度的理论和方法。从实时、短期、中长期及全生命周期等多时间尺度，提出适用于水风光互补系统的成套技术和解决方案。主要内容包括：水风光互补系统功率联合预报；水风光互补系统短期经济运行；水风光互补系统中长期联合优化调度；基于能源互补性的指标及**风光配置；气候变化下的水风光多能互补调度。

本书由美国内华达大学医学院奥文茨博士联合39位知名的结直肠外科专家共同执笔，全面系统地阐述了达芬奇机器人Xi平台在右半结肠切除术、左半结肠切除术、全结肠切除术、腹会阴联合切除术等术式中的操作要点和技巧，系统介绍了经肛门全直肠系膜切除术（TaTME）等前沿技术的操作步骤。书中既详细解析了机器人手术系统在各种术式中的操作流程，又结合作者自身实践经验毫无保留地总结了实际操作过程中的技巧，以及对于相关并发症的处理要点，为临床安全开展诊疗活动提供了理论与实践指导。

本书针对三峡工程建设和运行对三峡水库、长江中下游干流、洞庭湖和鄱阳湖水生态环境的影响，分析不同影响区水文水质演变趋势及其与三峡工程建设和运行的影响关系；揭示三峡水库支流富营养化及水华发生、长江中下游干流“四大家鱼”产卵繁殖、洞庭湖和鄱阳湖湿地演变、越冬候鸟种类及栖息地等变化趋势，及其与三峡工程建设运行和中小洪水调度的响应关系；提出防控三峡水库支流水华，促进长江中下游干流“四大家鱼”产卵繁殖和保护两湖湿地及候鸟栖息地的生态水文要素适宜范围及调度需求；以期为三峡水库多目标联合调度提供约束条件，为三峡

本书聚焦防洪调度的众多问题，构建不同典型洪水分类匹配准则，提出基于洪水分类的差异化拦蓄方式，形成洪水分类匹配准则及调度策略导则库，并提出面向防洪保护对象的水库群优化防洪调度方式，完善长江中游水库群配合三峡水库的联合防洪调度方案。本书在构建水库群汛期运行水位动态控制方法的基础上，提出主汛期和汛期末段溪洛渡、向家坝配合三峡水库对长江中下游常遇洪水的调度方式及汛期末段的溪洛渡、向家坝和三峡三库洪水资源利用方式。书中介绍的内容客观全面，贴近工程实际，便于实际操作应用。

海洋环境再分析是利用数据同化技术将海洋历史观测资料与动力模式相结合，再现过去海洋状态场的时空连续变化，是国际业务化海洋学的前沿领域。本书综合分析国内外海洋环境再分析的研究进展，对全球海洋环境再分析中海洋观测资料、动力模式、数据同化、系统综合集成、产品制作、检验评估、解释应用、可视化等关键技术进行详细介绍，为我国海洋环境再分析进一步发展奠定基础，提高我国海洋环境安全保障能力。

本书从中西比较视角考察旧石器时代石器技术的演化历程，研究地域聚焦非洲、欧洲、西亚、南亚和东亚，从早期石核-石片技术、阿舍利技术、勒瓦娄哇技术、发展的石核-石片技术、石叶技术、修背细石器技术、细石叶技术、小型两面器、研磨石器和磨刃石器等多个方面开展比较研究。本书揭示出旧石器时代旧大陆“多元一体”的石器技术演化格局，并从技术创新、文化传播、生态适应与社会边界机制探讨了旧大陆“多元一体”技术格局的形成原因，从而更加深入地理解东亚旧石器时代石器技术的演化历程。

本书以四川盆地龙马溪组页岩气藏为研究对象，采用试验、理论和数值分析方法等，从微纳尺度、岩心尺度及工程尺度等全面论述了页岩气微观运移、介质孔隙中渗流模型和水力裂缝分叉扩展效应等内容。本书共7章，对有机质分子吸附机理、双重介质渗流数学模型、储层SRV区域渗流数学模型、真三轴水力压裂试验及多裂缝压裂数值模拟等方面进行了研究。