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

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

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

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

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