注重数学思维教学 培养学生思维能力

随着时间的推移,义务教育课程标准实验教科书数学教材的使用给数学课程改革带来了令人鼓舞的变化。首先是教师的教育观念发生新的变化,教师在课堂上不再是一味地教给学生现成的结论和解题技巧,而是在课堂上鼓励学生进行探索和思考,教学过程中给学生留有更多的独立思考的空间,有     

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

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

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

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

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

监视器的可变行频电路设计

文中讨论了几种可变行频电路方案及其计算方法,通过实例计算和实验归纳了连续可变行频的设计要点。     

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

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

空间侦察的有关问题

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