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

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

未来战场的视频成像弹

位于俄亥拉荷马州福特斯尔的野战炮兵学校与国家陆军实验室一起正在开展一项服务于师、旅级部队的实时山后目标定位、识别以及战争毁伤评估（ＢＤＡ）能力的研究工作。这项技术利用视频成像技术和全球定位技术,取得了初步的进展,研制出了两个弹基系统,能够提供高度可靠的、精确的目标信息。     

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

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

基于任务的舰船质量监督组织结构熵评价模型

为了科学评价、选择与优化组织结构,分析了常见组织结构对舰船质量监督的影响。首先,综合运用熵和二元语义的基本原理与算法,提出了基于任务的舰船质量监督的时效、质量与柔性度及其权重的计算步骤与方法;然后,构建了舰船质量监督组织结构熵评价模型;最后,进行了算例分析,结果验证了该模型的实用性。     

精确制导前沿成像探测技术

回顾了精确制导技术的发展历程,分析了精确制导成像探测技术发展过程中面临的挑战与未来的主要发展方向。结合太赫兹、量子和超材料等前沿技术的发展动态,分别梳理了太赫兹雷达、量子雷达以及超材料雷达三种典型的精确制导前沿成像探测技术的技术背景、发展脉络、基本原理、技术优势。这三种成像探测技术有望为精确制导技术应对未来新型战争形态带来的挑战提供可行的技术途径。研究成果可为未来精确制导技术的深入可持续发展提供参考,并对提升精确制导武器的打击与拦截作战效力具有重大意义。     

试论我军政治工作语义网建设

为了使因特网重要接口之一的万维网能够更好地实现信息知识的共享和解决实际的问题,人们提出了构建自动化、智能化程度较高的语义网.建设我军政治工作语义网,可以考虑运用XML技术构建结构化政治工作文档、运用RDF技术构建政治工作元数据方案以及运用SKOS技术构建政治工作领域本体.     

一种基于语义推理的多智能体协同功能设计框架

在功能设计知识本体表示模型的基础上,提出了一种基于语义推理的多智能体协同功能设计框架。该框架分为两个部分,其中,基于Multi-agent的通信协作平台将OWL本体嵌入到FIPAACL中以实现产品设计Agent之间的设计知识通信;基于本体的功能建模方法则将本体表示与本体推理结合以支持功能设计本体的存储与检索。最后,对该框架所包含的协同功能设计本体语义推理模型进行了分析与实现,以证明所建议框架的有效性。     

一种基于不变特征的视频拼接方法

视频拼接是空中监视的一个关键部分,它有助于人们从全局的角度理解监控场景.视频拼接包括图像的配准和融合两部分.提出了一种基于不变特征的视频拼接方法,它通过相邻两帧的拼接来实现全景图的拼接.该算法配准部分首先采用梯度方向直方图确定相邻两帧的旋转角度;其次检测两幅图像的角点,特征描述采用SIFT,并结合旋转角度对特征点进行粗匹配;然后对粗匹配的结果采用RANSAc算法剔除错误匹配点.融合部分采用灰度加权的方法.实验结果表明,该算法能够有效地进行视频拼接,甚至存在运动目标的干扰下也能够完成拼接,具有鲁棒性好和速度较快的特点.