一种结构化的编译型 PROLOG数据库及其管理策略

PROLOG数据库存放着构成PROLOG程序的子句以及表示成子句的全局数据,它的组织与管理是实用PROLOG系统的关键,这一点在提高执行效率的编译型PROLOG系统中尤为如此。本文以YH-SIM——一个扩充了的WAM模型为基础,提出一种新颖的编译型PROLOG数据库结构形式,其中·过程中的子句索引与子句彼此分离; ·子句索引块分成多个专门的子索引块; ·一个子句按两种形式存放,子句代码和子句项(源子句形式)。二者分离且共享同一索引,因此代码库和项库的管理是一体化的。这些结构化的特征,有力地支持PROLOG数据库的操作及管理(子句的插入删除,以及空间分配与回收)。文中还介绍了一种简明有效的管理方法。     

空间光通信粗瞄系统的扰动估计与补偿

粗瞄系统以直流力矩电机驱动二维转台为执行机构,通过粗瞄控制器对其进行控制。对系统受到的扰动进行分析,应用了最速跟踪微分器提取速度信号;以二维转台的方位轴为控制对象,在其位置环、速度环采用级联线性自抗扰控制器,通过线性扩张状态观测器主动补偿扰动,达到内外环双重隔离扰动的目的,提高跟踪精度;之后进行了实验分析。分析结果表明:在加入同样的模拟扰动信号,输入2 Hz,5 Hz和8 Hz的正弦信号时,与比例、微分、积分控制器相比,跟踪误差的标准差约降低50%;验证了线性扩张状态观测器具有扰动补偿效果;在输入不同频率正弦信号时,自抗扰控制器对输入信号频率的变化不敏感,仍能保证较高的跟踪精度。     

基于导弹空间飞行的空间碎片筛选方法研究

随着空间活动的日益频繁,空间碎片的数量也与日俱增,给远程弹道导弹的空间飞行安全带来巨大威胁。针对空间碎片数目繁多,为了快速进行导弹空间飞行安全预警和发射窗口选择,根据远程弹道导弹空间飞行特点,提出了适用于导弹与空间碎片碰撞预警的空间碎片筛选方法,并通过仿真计算证明了该筛选方法的科学性和合理性,该筛选方法可提高导弹空间飞行安全预警效率并缩短预警时间。     

临近空间飞艇内部自然对流的流场特征仿真

针对临近空间飞艇,对其内部氦气的自然对流特征进行了数值模拟。采用计算流体力学方法,并利用自编的用户自定义函数将外部的温度边界条件导入壁面网格。在不同的稳态条件下,通过对内部氦气压力、温度、速度的分布等流场特征参数的研究,分析了临近空间飞艇内部气体自然对流的运动特性及其影响规律,并对自然对流非稳态变化过程进行了初步的探索。仿真结果表明,在临近空间环境下,飞艇内部氦气的自然对流,对于内部氦气自身的热交换具有一定程度的促进作用,而对蒙皮受力和结构安全性影响很小。     

当代战区观念的变化——《战区建设理论》系列研究之二

战区这一概念,在军事学术上是指武装力量的战略集团,为维护国家主权和领土完整而进行战略管辖或军事行动能够展开的范围和空间。国际法在论述国家领土的基本概念时指出,国家领土不单是地球表面的一种面积概念,而是一个体积的概念,是由处于国家主权之内的,包括陆地、水域、陆地及水域的底地、陆地及水域的上空等组成的一个立体空间。     

我院周海云教授在Mann迭代、Ishikawa迭代方向上的研究成果再度引起国际数学界关注

我院应用数学与力学研究所周海云教授于 2 0 0 2年 8月 2 0～ 2 8日参加了在北京召开的第 2 4届国际数学家大会 ,并做了 15分钟的大会发言 ,在此之前 ,周海云教授参加了在太原召开的第 2 4届国际数学家大会的卫星会议 ,在这两个会议上 ,周海云教授分别做了题为《非扩展映象与迭     

科技进步与作战理论发展的互动

历史和现实表明,科技进步与作战理论发展是一个互动的过程。一方面,科技进步促进作战理论发展并起着决定作用;另一方面,作战理论发展牵引科技特别是国防科技的进步,而且这种需求牵引现象随着现代作战理论的发展,越来越为明显。     

用空间分割算法计算雷达网探测概率分布图

本文提出了一种新的雷达网探测概率生成算法——空间分割算法。该算法减小了计算量,实现了控测空间的多层、多点计算,方便了对实地环境的描述,适应了对现代复杂战场环境的计算机模拟需要。     

非语言交际与大学英语教学

传统的大学英语教学多注重语言知识的传授,忽略对大学生非语言交际能力的培养。本文通过举例说明非语言交际在大学英语教学中主要作用。     

地球空间双星探测计划的科学应用目标和重大意义

科学背景 2000年11月,中国政府首次向国内外发布了《中国航天》白皮书。在白皮书中明确指出