语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

虚拟环境中视景的表示与生成

虚拟现实(Virtual Reality:VR)的飞速发展和PC机的广泛使用提出了基于PC的VR应用要求,视景的表示与生成是VR环境的基础与核心。文中介绍采用面向对象机制,在PC机上基于MFC和OpenGL实现的虚拟环境中视景表示与生成的方法。用该方法生成的视景具有良好的视觉效果。     

变窗长秩排序统计滤波器与噪声图象滤波

基于信号分解理论,在非线性秩排序统计滤波器基础上,提出一种新型的非线性滤波器结构——二值秩排序统计滤波器。主要工作包括:(1)提出了滤波器的定义和实现结构;(2)实现算法;(3)滤波特性分析;(4)噪声图象滤波的计算机仿真。理论分析和实验结果表明,本文提出的滤波器具有良好的脉冲干扰抑制能力和边缘保持特性,硬件实现简单。     

坦克稳像火控系统射击精度分析

从射击准备和射弹散布两个方面,对坦克稳像火控系统射击误差进行了较全面地分析,提出了射击误差的计算方法,并在此基础上对坦克使用稳像火控系统射击时的首发命中概率进行了计算     

一种基于显著性区域的图像分割算法

针对传统的显著区域的分割方法存在的频谱泄露、无法达到亚像素精度的问题,提出了一种新的基于显著性区域的图像分割算法。利用Lucas-Kanade图像配准算法对大量重复出现模式的最小周期进行估计,从而准确地重建出背景模型;在此基础上,提出了"广义邻域点"的方法,设计自适应尺度的中值滤波器完成前景分量的精确分割;并提出了快速中值滤波器的设计方法,显著降低了计算复杂度。实验证明了该算法能够准确、高效地分割图像,适用于大量重复背景中前景目标的提取。     

模糊群体决策的多方案评价方法

针对多方案评估中因素评价难于精确表示的问题,提出了一种基于模糊语言变量和OWA(OrderedWeightedAveraging)集结算子的群体评价模型与方法,给出各因素的方案两两对比偏好语言评价值,并通过对多决策者、子因素、主因素的三次集结和对模型中α值的恰当选取,可得到方案集的优序排列。该方法可行、有效,可为群体决策提供新的途径。     

Zernike矩的不变性分析及其改进

Zernike矩作为一种基于区域的形状描述子,具有良好的旋转不变性,能够很好地提取图像内部的形状信息。介绍了Zernike矩的定义,对其不变性进行了深入分析,并对Zernike矩算法进行了改进,使其在具有良好的旋转不变性的基础上,也具有较好的平移不变性和比例不变性。结果表明,改进后的Zernike矩具有更好的不变性,可更好地应用于图像识别中。     

基于内容的月球影像检索并行框架设计

基于内容的月球影像检索面向月球探测计划获取的大量遥感数据,根据影像视觉内容,提供一种方便而高效的检索方式。为提高其检索效率,在对基于内容的月球影像检索过程进行分析的基础上,运用Petri网完成过程建模与并行化分析。提出一种基于内容的月球影像检索并行框架,并据此部署实验系统,将嫦娥月球影像等实际数据集投入其中进行检索实验。结果表明,基于内容的月球影像检索并行框架能够有效提升查询检索效率。     

某型导弹目标跟踪技术的应用研究

在某型导弹制导过程中,制导系统对导弹弹标信号的自动识别与跟踪是影响射击精度的关键．论述了视频图像中运动目标识别与跟踪技术的概念以及主要方法分类,在详细分析某型号导弹目标跟踪技术的基础上提出了改进该型号导弹目标识别性能的几个要点．     

图像跟踪系统中机动目标预测的实现

针对装甲车上的图像跟踪系统,提出了一种机动目标预测方法.将目标的运动分解为两部分,即全局运动和局部运动,并根据各自的动态特性分别进行预测.以局部运动预测为重点,通过对机动目标跟踪技术的研究,建立起性能优良的跟踪滤波器,并将其扩展到预测滤波器中对目标的未来运动状态进行预测,从而提出了"交互式多模型预测算法".仿真结果表明,该算法具有预测精度高、自适应能力强的特点,同时给出了计算方法.