简介:为了真实削减核弹头,核查的健全措施必须保证:(1)除一致同意的数量外,不得在库存中增加任何核弹头(衡算);(2)对于行将拆卸的弹头,必须建立一套完整的库存保管措施(来源);(3)要拆卸的弹头,必须得到确认(认证);(4)拆卸过程尽可能做到不可逆(处置)。
简介:研究一类带有非局部边界条件的抛物型方程组解的整体存在与有限刻爆破.主要通过构造上、下解,利用比较原理得到定理的证明.
简介:研究一类非线性发展方程初边值问题整体弱解的存在性、渐近性和解的爆破问题.证明在关于非线性项的不同条件下,上述初边值问题分别在大初值和小初始能量的情况下存在整体弱解,并且讨论了弱解的渐近性.还证明:在相反的条件下,上述弱解在有限时刻爆破.并且给出了一个实例.更多还原
国外核弹头销毁前的核查与追踪技术
一个反应—扩散方程组解的整体存在与有限时刻爆破
一类非线性发展方程整体解的存在性、渐近性与解的爆破(英文)