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

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

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

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

一类广义L-统计量的极限分布

假定(X1,Y1),(X2,Y2),…,(Xn,Yn)是取自二维随机向量(X,Y)的独立同分布样本.记X(1)≤X(2)≤…≤X(n)是X1,X2,…,Xn产生的次序统计量,Y[1],Y[2],…,Y[n]是诱导的次序统计量.讨论广义L-统计量Tn=n-1 n∑i=1 J(i/n+1)Y[i]的极限分布,式中J(x)是由实际问题的需要而选取的权函数.在较弱的条件下,证明了Tn的渐近正态性,同时给出了Tn的期望和方差的渐近公式.     

三参数威布尔分布在寿命分析中的参数估计

威布尔分布在可靠性工程中已得到了广泛的应用.在对己给定的寿命试验数据进行可靠性分析与评估中,因简单易解多采用二参数威布尔分布,但参数估计会带来较大误差.对具有以损耗失效为特征的某些机械零部件,采用三参数威布尔分布进行拟合及参数估计,可以得到更高的精度,因而较二参数威布尔分布,更能反映产品可靠性的实际情况.     

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

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

脱胎换骨新陆军

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

管道热边界层理论的研究

研究了高粘性液体管道流动的热边界层理论。利用圆柱坐标粘性流运动基本微分方程,提出了管道热边界层方程,推导出边界层中的温度分布以及层流和紊流时热边界层厚度的常微分方程和解析解计算表达式,并通过Matlab编程实例,给出了热边界层厚度解析解与数值解的比较。计算结果表明:1)粘性的影响将使得热边界层的发展加快,随着粘性和流量的增大,其影响将更加显著;2)紊流时热边界层的发展比层流时要慢。     

油水两相分层流层流流速分布计算分析

利用剪切力比模型,进一步讨论了油水两相分层流层流流动的速度分布规律,将水相流速假设为抛物线形式分布与实验结果有较大偏差,将水相分为拖曳和返流两段更接近实际情况,模型所得水相计算结果更接近实验数据。指出剪切力比模型能否适合于油水两相分层流动计算理论需要更多实验结果验证。     

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

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

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

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