系统总结了10年来作者在岩层控制的松散层拱理论方面的研究成果。主要内容包括：松散层拱结构的提出、定义、形态特征、形成条件、承载性能、失稳判据和时空演化规律；阐明了松散层拱结构对松散层载荷传递、采动覆岩破断失稳、采动覆岩及地表移动变形的影响；叙述了松散层拱结构在厚松散层矿区关键层判别、采场矿压控制和地表沉陷控制等方面的工

为全面反映气候变暖背景下海洋关键指标变化的科学事实，国家海洋信息中心基于海洋观测网和其他相关数据编制完成《中国气候变化海洋蓝皮书（2023）》。《中国气候变化海洋蓝皮书（2023）》内容分为四章，分别从全球海洋状况、中国海洋状况、典型海洋生态系统和影响中国海洋状况的主要因素四个方面给出海洋气候变化的*新监测信息，可为国

软件在现代科学研究中发挥着重要作用，但是在目前由出版物驱动的科研评价体系中，软件等数字成果常常被认为是科学研究的副产品，而不是体现科学家价值的研究成果，其学术价值一直被低估甚至被忽略，这造成了科学软件的重复开发和科研资源的极大浪费。与此同时，近年来，我国被国外软件卡住了脖子--以EDA、Adobe、Matlab、IDA

本书介绍一系列新航行技术，如广域信息管理技术能够让空地实时共享航班信息、航行情报、气象动态等信息，提高飞行的安全和效率；星基导航能够让飞机摆脱大量地基导航设备的束缚，选择最为经济、快捷的自由航路飞行，同时还可以沿着预先规划好的无冲突四维航迹安全飞行；在自动相关监视技术基础上开发的短期冲突告警、危险区域接近警告、最低安全

试验设计是近代科学发展的重要基础理论之一。它研究不同条件下各种试验的*优设计准则、构造和分析的理论与方法。为适应现代试验的需要，作者于2006年开始建立了一个新的*优因子分析设计理论，包括*优性准则、*优设计构造，以及他们在各种不同设计类中的推广。《*优因析设计理论（英）》*先给出近代试验设计，主要是多因子试验设计的基

安全多方计算是密码学重要研究领域，作为密码协议的一般性理论研究，取得了非常丰富、深刻的研究成果，是密码学基础理论的重要组成部分，近年来在实用化方面也取得显著成果。本书旨在对这一研究领域进行梳理，形成一个完整系统的总结，展现其基本思想与方法。本书以安全多方计算的起源和里程碑式的成果为起点，介绍了Yao混淆电路、GMW、B

《变分方法与非线性发展方程》讨论变分方法在非线性发展方程理论中的应用.非线性发展方程主要关心局部解、全局解的存在性以及孤立被解的稳定性等问题.利用变分方法我们可以寻找众多的非线性发展方程的稳态解，之后根据对应的守恒律可以得到系统的轨道稳定性和不稳定性。《变分方法与非线性发展方程》主要内容包括*优控制问题中的扩散方程、量