Reasoning about Depth and Motion from an Observer's Viewpoint

ABSTRACT

The goal of this paper is to present a logic-based formalism for representing knowledge about objects in space and their movements, and show how this knowledge could be built up from the viewpoint of an observer immersed in a dynamic world. In this paper space is represented using functions that extract attributes of depth, size and distance from snapshots of the world. These attributes compose a novel spatial reasoning system named Depth Profile Calculus (DPC). Transitions between qualitative relations involving these attributes are represented by an extension of this calculus called Dynamic Depth Profile Calculus (DDPC). We argue that knowledge about objects in the world could be built up via a process of abduction on DDPC relations.     

基于CBR的民用飞机维修决策系统研究

基于CBR的智能维修决策技术,可以为新型国产飞机维修大纲制订人员提供有用的决策信息,提高制定飞机维修大纲的智能化水平和效率。研究的核心问题就是基于CBR的维修任务和维修间隔制订方法,它们为维修决策支持系统提供理论指导与核心算法。最后开发了基于CBR、以SQL Server作为后台数据库管理系统的民用飞机维修决策系统,并以新舟600（MA600）飞机ATA32起落架系统组件为实例进行验证,效果良好。     

Mereological inheritance

In recent investigations of Spatial Reasoning, SpatialKnowledge Representation, and Geographic Information Systems, asignificant effort has been spent by many scholars of the areaabout the problem of representing properties of spatial objects bymeans of logical theories.An analogous effort has been the problem of analyzingthe qualitative relations which can be established between twospace regions. These investigations have led to a generalframework of the field known by the term ``mereo-topology'.Though both the above mentioned approaches have proved to besuccessful in the investigation of formal and practically relevantaspects of spatial objects, no attempt has been carried out in the direction of integrating the approaches and looking at the relationshipbetween a general logical theory of space and mereo-topology from an analytical point of view, in particular for exploiting thecombinatorial behaviour of such an integrated model.This paper intends to fill the gap and analyze the behaviour ofspatial formulae of a logical theory of space as objects which canbe classified based on the behaviour they exhibit with respect tothe parts and supertparts of the regions where they are true. Wename these categories of behaviourinheritance modalities.     

一种基于多重互相关的相位差测量新方法

本文研究了一种新的相位差测量原理,利用正弦信号的特性,直接对两路同频的正弦信号进行互相关运算,得到两路信号的互相关函数,同时保存两路信号的相位差信息,并多次对两路互相关函数进行互相关运算得到多重互相关函数,再利用相关原理对两路信号的多重互相关函数进行求解相位差信息。同时讨论了AD量化位数,信噪比,采样点数,谐波含量对本文算法的影响,实验结果表明本文算法能有效的提取两路同频正弦信号的相位差信息,算法简单,物理意义明确,具有一定的应用价值。特别适合与低信噪比或负信噪比下高精度的测量,并有很高的测量精度。     

基于SAR图像匹配结果可信度评价的INS/SAR自适应Kalman滤波算法

在惯性导航系统（INS）/合成孔径雷达（SAR）组合导航系统中,SAR图像易受斑点噪声的影响,图像匹配的精度对整个导航系统精度的影响十分明显,能够准确地分析SAR图像匹配过程中的误差特性,利用有效的图像匹配信息辅助INS进行组合定位尤为重要。针对上述问题,在加权Hausdorff距离匹配算法的基础上,对影响SAR图像匹配精度的因素进行了分析,提出了一种基于模糊推理的匹配结果可信度评价准则,经过可信度筛选,将有效的匹配信息与INS进行组合;对合理范围内的匹配误差变化引起量测噪声统计特性发生变化,进而导致Kalman滤波精度下降的问题,研究采用改进的Sage-Husa自适应滤波算法对量测噪声方差阵进行动态调整,使其更加接近系统的当前状态。搭建仿真验证平台对所提算法进行了验证,结果表明,该算法能够在合理的匹配误差范围内,有效地筛选出可信的图像匹配结果,相比常规Kalman滤波算法,显著地提升了INS/SAR组合导航系统水平方向的定位精度。     

卫星天线振动信息融合试验研究

讨论了D -S证据推理理论 ,给出了传感器特征信息融合算法。结合卫星天线振动频率分配控制问题 ,进行相应的实验研究 ,对传感器的特征信息进行融合 ,给出了振动响应频率特征信息提取方法 ,剔除边界条件对测试结果置信度的影响     

基于RBR与CBR的维修大纲专家系统

根据飞机维修大纲研制的需要,依据最新的维修指导小组思想和类似机型的维修大纲经验,提出了基于规则推理(RBR)和案例推理(CBR)相结合的民机维修大纲制订方法.构建了民机维修大纲专家系统的总体框架,并对该系统中的关键技术问题——案例的表示和组织、案例的检索、集成推理技术和案例的修正与存储进行了详细分析和研究.案例的检索分两步进行:首先从案例库中找出与新机型尽可能相似的机型,然后,从类似机型中进一步匹配出最相似的项目.集成推理采用RBR和CBR分开推理,再比较结果做出决策.最后,采用面向对象的程序设计方法对该专家系统编程,并以某航空公司飞机验证了RBR和CBR相结合的维修大纲制订方法的有效性.      

基于遗传算法和 Vague集的液压位置控制系统自适应 PID控制

在被控对象模型精度不高的情况下,设计了一种自适应PID控制方法,提高其鲁棒性,以确保系统的响应具有最优的动态性能和稳态性能。该方法在常规PID控制的基础上,引入智能技术,在线实时调整PID控制器的3个参数。该控制器主要由3部分构成:一是采用遗传算法优化模糊推理规则;二是精确的Vague集推理规则表;三是基于Vague集相似度量的自适应PID控制。仿真结果表明,该控制方法响应速度快,稳态精度高。     

基于桶消元的数控机床故障模糊贝叶斯网络推理方法

用模糊数描述节点的多种故障状态,用模糊子集描述根节点的故障概率,用贝叶斯网络的条件概率表描述节点间的不确定关系,构建数控机床故障的模糊贝叶斯网络;采用桶消元算法,对数控机床故障的模糊贝叶斯网络进行推理和计算,获得根节点的后验概率,为数控机床故障诊断与分析提供依据;最后,以数控机床刀架系统故障的贝叶斯网络推理过程为例,验证所提理论和方法的有效性。     

信息融合图像识别算法及其在三维飞机图像识别中的应用研究

将D S证据推理与不变矩理论相结合,提出了信息融合图像识别算法,并应用于三维飞机图像的识别。构造了基本置信指派函数,建立了分类规则,针对Dempster组合规则只适用于高置信度、低冲突性的情况,应用可解决证据冲突的加权分配冲突法及吸收法,完成了三维飞机图像识别的仿真,比较了3种组合规则的识别效果,结果表明吸收法识别率最高。