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

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

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

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

本书集成地表过程与资源生态国家重点实验室生态水文研究团队前期研究成果的基础上，系统总结了在干旱半干旱区生态水文过程监测、机理分析、模型模拟及水资源可持续利用等方面取得的系列成果：介绍了黑河流域和青海湖流域多尺度地表过程综合观测系统，揭示了干旱区典型生态系统的生态水文过程与机理，论述了地下水流动及溶质运移多尺度过程，阐述

本书系统研究了京津冀地区农业水文、水资源特征及其时空演变规律，依托长期定位试验查明了主要农田系统的耗水过程、水平衡特征和节水潜力，构建了粮食作物、果蔬和景观绿地的耗水调控、精准灌溉、非常规水利用的综合节水技术体系，评估了京津冀地区适水农业发展的中长期产粮能力和水资源效应，提出了区域农业耗水管理的理论框架与综合节水对策建