一类二阶椭圆型边值问题正解的唯一性

文中讨论了一类二阶椭圆型边值问题正解的唯一性。削弱了文献[1]中主要定理的条件,并将其推广到一般光滑区域,所用方法主要是对格林函数的精细估计。     

零扰动下一类RN 上临界增长的椭圆方程正解的存在性

本文讨论了N维欧氏空间R~N上一类临界增长的拟线性椭圆型方程—div(|Du|~(p-2)Du)+k(x)u~)p-1)=K(x)U~(p-1),u∈W~(1,p)(R~N)∩L~p(R~N)的正解的存在性。其中4≤p~2≤N,p=Np/(N—p)。在微分几何与物理学等领域起重要作用的Yamabe问题就是其特例(p=2)。本文运用集中紧引理,证明了问题的正解的存在性。     

双调和方程边界加权残值法及其应用

本文证明了可用复变函数的广义多项式逼近解析函数,并给出了用加权残值法解双调和方程的若干可供选择的试函数模式。文章还导出了广义调和函数系,并证明了它在平面边界上是一个完备系,可作为权函数系。将这种方法用于解各类边界板的弯曲问题和弹性平面问题,具有计算量较小、精度较高的特点。     

编队舰空导弹对空拦截综合模型研究

以水面舰艇编队防空为背景,用数学分析法和计算机模拟法对编队防空中预警直升机的配置和探测模型、舰载雷达的探测模型、编队对空导弹的抗击方法、编队对目标的射击能力、转火能力、杀伤概率等问题进行了研究,建立了火力方程等有关数学模型,为定量分析和优化编队对目标的作战能力提供了依据。     

火炮射表数据处理程序及使用说明

在文献［１－４］的基础上,给出火炮射表数据处理用ＴｒｕｅＢＡＳＩＣＣｏｍｐｉｌｅｒ实现的程序清单和与之相关的使用说明。并介绍该程序的组成、设计特点、主要变量和使用注意事项,以及数据文件的命名法。另外还详细讨论了程序故障诊断及维护问题。     

一类非线性系统的浑沌与次谐波

本文利用Melnikov方法讨论了一类非Hamilton可积方程的周期激励系统,得到了该系统存在浑沌解与次谐波分支的充分条件。     

垂直切变风场中声重波的KdV方程

本文利用二维约化摄动方法推导出垂直切变风场中声重波的 KdV 方程。从而进一步证明中尺度 TID 的激发源是声重波这一尚未弄清的问题。另外,本文推导出的方程还可作研究声重波远场处的相互作用、能量交换及不稳定性等特征的出发方程。     

弹道导弹突防数概率分布列计算模型

针对双层反导防御系统,在单枚导弹突防概率的基础上,分别建立了多枚战术弹道导弹突破单层和双层拦截的最终突防数概率分布列计算模型,同时进行了算例分析,对模型进行了验证.     

兰切斯特方程在水雷战模型中的应用与分析

根据对抗模拟的特点,以兰切斯特方程为基础建立了水雷战的解析数学模型,并进行了仿真,得到了被封锁方的兵力组合优化曲线,以定量分析的方法阐明了该模型在战役全局和战术局部上对水雷战对抗双方的指导意义。     

反导动能拦截武器的现状与发展研究

介绍了动能拦截弹在弹道导弹防御中的应用,分助推段拦截、中段拦截、末段拦截对美国发展的动能拦截武器进行了详细说明。介绍了动能拦截弹的组成,给出了动能拦截器的关键技术,对动能拦截器技术的发展进行了阐述。