Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

船体曲面的数学表达

本文利用计算几何的曲面理论,选择均匀双三次B-Spline曲面,对船体曲面进行了数学表达。根据曲面顶点反求研究的最新算法,文中推导出了已知型值点与均匀双三次B-Spline曲面控制网格顶点之间的数学关系式。只要已知船体曲面上的一些特定型值点,应用这一关系式,便可求出数学表达所需的曲面控制网格顶点的数值。这种方法简单易行,计算有效。     

点目标检测中候选轨迹确定算法

对低信噪比条件下缓动点目标检测技术中候选轨迹的确定算法进行了讨论。首先,给出了计数积累和线性预测的一般方法,然后,提出了一种基于计数积累,线性预测和轨迹约束的候选轨迹确定以及实现检测的算法,最后是算法性能分析。     

反潜直升机转移探测点飞行过程的模拟

模拟训练的真实性取决于数学模型对现实的仿真程度。本文介绍了一种反潜直升机在转移探测点飞行时的数学模型,经使用与海上实际情况相近。     

再入机动弹头滚动回路鲁棒姿态控制系统设计

根据经典控制理论,引入姿态角加速度反馈,采用零、极点相消,变增益补偿等设计方法,所设计的再入机动弹头滚动回路姿态控制系统具有良好的快速性、稳定性和很强的鲁棒性。     

前置点比例导引制导律对抗拖曳诱饵研究北大核心

以典型拖曳式诱饵干扰模式为设计对象,结合导引头跟踪诱饵的工作模式和前置点比例导引制导律的设计,对末制导抗拖曳干扰导引方法进行了理论推导与分析,为导引头抗拖曳诱饵干扰措施的设计与验证提供了理论依据。     

基于贝叶斯理论的多雷达点迹自适应融合方法

雷达组网进行数据融合是复杂电磁环境下提高预警探测精度和容错能力的有效方法,研究人员需研究适应干扰、信噪比降低等复杂情形的数据融合方法。基于贝叶斯统计理论提出一种多雷达点迹融合方法,将贝叶斯多源数据融合方法与卡尔曼滤波结合,以卡尔曼滤波输出的航迹预测及其协方差作为贝叶斯理论的先验知识,以多雷达量测结果作为贝叶斯理论的观测值进行融合,并提出一种基于回波信噪比的点迹标准差实时估计方法,构建标准差自适应估计的点迹融合与滤波框架。仿真结果表明,多雷达点迹自适应融合方法,滤波精度优于单雷达滤波结果、优于航迹融合结果,能够适应目标距离、RCS起伏引起的标准差变化,具有较强的工程应用价值。     

一种可伸缩拓展的指挥训练考核系统体系架构

针对当前考核系统存在的与指挥信息系统脱离,难以开展远程组训等问题,提出可伸缩拓展的指挥训练考核系统体系架构,为集成调用指挥信息系统相关组件、开展大规模组训提供技术支撑。首先,提出多系统融合的组件集成框架以及一体化考核课目评判模式,用以实现包括指挥技能在内的各课目的考核;接着,设计多层级服务端考核结构,在此基础上,通过虚拟化集群等技术的应用,实现多样化条件下的系统快速部署以及远程异地的大规模组训应用。     

对象边框标注数据的弱监督图像语义分割

针对图像语义分割应用中像素级标注数据费时昂贵的问题,主要研究以对象边框标注数据为代表的弱监督模型下的图像语义分割方法。使用基于金字塔的密集采样全卷积网络提取图像的像素级特征,并用GrabCut算法转化对弱监督数据进行数据标记,通过将图像特征和标记数据进行联合训练,构建了基于金字塔密集采样全卷积网络的对象边框标注弱监督图像语义分割模型,并在公开数据集上进行了验证。实验结果表明,所构建的弱监督模型与DET3-Proposed模型、全矩形转化模型以及Bbox-Seg模型相比,达到了更好的分割效果。