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

设Ω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空间数据库系统的设计和实现

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

空间布置中的干涉性检查算法

本文提出一种新的干涉性检查算法:首先估计被测对象是否位于可能发生干涉的区域,若是,则再进一步检查它们之间是否接触或穿越等。算法简单明了,效率较高,适用面广,计算机运行结果证实了算法的正确性和可靠性。     

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

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

空间侦察的有关问题

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

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

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

泛函在射表逼近中的应用

运用泛函理论,对方差最小原则下射表逼近进行分析,给出了在给定基函数形式条件下的统一计算公式,并对最小二乘方法作了改进,消除系数矩阵的原理误差,给出了提高精度的方法。最后,提出了一个选择基函数的有效方法。     

应变空间中混凝土的本构关系

本文基于ИЛЪЮШИН公设,在应变空间中建立了混凝土的本构模型,使材料的应硬化和应变软化特性可以因统一的塑怀条件表达,通过引进稳定参数,提出了求解非线性问题的改进的弧长法,避免了非线性问题在迭代求解过程中遇到的因局部材料屈服,破坏造成的平衡分叉问题,以得到结构软化阶段的数值解,算例结果与试验结果吻合良好。