高阶拟线性椭圆型方程的非平凡解

设ΩR~n是有界区域。本文讨论高阶拟线性椭圆型方程的非平凡解。 sum from|α|≤m (-1)~(|α|)D~a(F_a(x,u,…,D~mu))=0,x∈Ω(1) 其中α=(α_1,α_2,…,α_n),F_α=F_D~a_u=D~αu=D~ou=u,|α|=0。当F_α满足条件(F_1)-(F_4)时,证明了在Sobolev空间W_0~m,p(Ω)内存在非平凡解。     

C3I系统中战术态势估计的推理方法

本文首先讨论了态势估计中推理框架的现有形式，并从中抽取共性；然后讨论了推理算法的研究现状及存在的问题；最后在推理框架共性之下，提出了应用模糊理论和统计理论解决这些问题的步骤。     

X-2000空间数据库系统的设计和实现

空间数据库技术是地理信息系统（ＧｅｏｇｒａｐｈｉｃＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍ，简称ＧＩＳ）的核心技术。我们设计和实现了一个新型的空间数据库系统——Ｘ－２０００空间数据库系统，它综合利用了空间数据库的新技术，提出了新的空间数据库的组织方法。本文重点介绍该空间数据库系统的设计思路和实现方法。     

星际空间研究中的某些原子分子问题

本文从八个方面介绍并讨论了星际空间中的原子分子问题。它们是:星际分子的观测、星际分子的形成、原予碰撞,高激发态原子,各种电离现象、谱线展宽、振子强度硬星际脉泽。     

Lorentz序列空间光滑性

给出了Lorentz序列空间光滑性的判据,论证了当P>1时d(w,p)是局部光滑的。     

线性赋范空间中一类非线性方程的迭代解

在一般的线性赋范空间中研究一类算子方程的解的迭代逼近问题,获得了一系列结果。     

空间侦察的有关问题

作者简要评述了世界上的空间侦察系统及其性能,并讨论了这些系统对美军地面作战的影响。文章还提出了陆军对付空间侦察的反措施。     

空间拦截器末制导段动态模型研究

本文以实现空间拦截器对目标的直接碰撞杀伤方式为目的,根据拦截器制导控制系统方案的要求,末制导段采用轨控发动机对拦截器质心运动进行调节;利用姿控发动机进行姿态调整,建立了拦截器六自由度弹道仿真模型;并进行了计算,结果表明末制导段采用姿控、轨控发动机实现对拦截器的控制是可行的也是必要的。