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

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

战场赛博空间电子战应用研究

首先阐述和分析了赛博空间和电子战的概念和特点,给出了电子战在赛博空间中的定位。然后探讨了电子战在赛博空间中的应用,给出了电子战在赛博空间中可能应用的几大方面。最后总结了赛博空间电子战面临的关键技术与挑战。     

γ射线暴对卫星探测空间核爆的影响

简介γ-射线暴现象。指出了γ-暴可能是卫星探测空间核爆的重要背景辐射干扰源;通过适当选择对各种辐射强度的探测阈值,有可能基本消除γ-暴的影响。     

脱胎换骨新陆军

随着信息时代的到来和新军事革命的兴起,陆战不再是“地面战”、“火力战”、“机动战”的代名词,“信息战”、“指挥控制战”、“精确打击战”等已加入到陆战系列之中。放眼21世纪,信息技术、纳米技术、新材料技术、新能源技术等高新科技的广     

基于改进多维粒子群的多无人机任务分配方法

针对复杂战场环境下的多无人机任务规划解空间维度不确定、任务需求随时间变化等问题,提出了一种基于改进多维粒子群算法的多无人机任务分配方法。该方法构建了适应度函数集,应用多个适应度函数来限制种群趋向,同时采用基于时变目标价值的映射变量,建立目标价值随时间变化的多无人机目标决策模型;而后引入整数编码机制,构建面向任务序列的多维粒子,利用改进的自适应多维粒子群算法,得到最优维度下多无人机的任务分配优化方案。仿真实验结果表明：基于改进多维粒子群算法的多无人机任务规划方法可在最优解空间下,获得更好的任务动态分配效果,收敛速度更快,具有良好的推广应用前景。     

反“低慢小”无人机红外检测方法研究

针对“低慢小”无人机的空中威胁,各国均大力投入反无人机技术研究,提出了一种基于密度-距离空间的红外单帧检测新方法。利用红外小目标在有限的区域内拥有比邻近区域更高的灰度值特点,提出密度与距离概念,建立密度距离空间。通过等效目标的定位方法将不规则的目标区域转换成规则的几何图形来获得准确的目标位置。实验结果表明：密度-距离检测算法在复杂背景下具有更好的检测性能和鲁棒性,当目标明显且存在连续背景杂波时AUC值接近于1;平均每帧的检测时间为0.021 2 s,同时兼顾了检测精度和检测速度。该算法不受无人机自身尺寸和形状变化的影响,具有较强的适应能力,适合多种背景下的单帧红外小目标检测。     

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

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

基于PG图的空间信息服务链建模方法

空间数据的异构、分布与海量的固有特点导致了空间信息应用的分布与难于集成的现状,成为制约空间数据大规模应用的主要因素。根据服务链的思想,提出了基于PG(优先图)构造服务链图进行空间数据应用集成建模的方法,并定义了一组变换实现对模型的逐步精化和向现实模型转化。该方法在面向资源环境的空间信息应用服务中进行了初步应用。     

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

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

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

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