可装配特征的结构化描述与匹配推理研究

针对复杂产品装配设计过程中零部件间匹配关系描述不清晰,装配设计过程中零件配对精度不高等问题,提出了可装配特征的结构化描述与匹配推理研究方法。在分析影响零件获取、匹配、调整以及装配的工艺关联、匹配型面特征,以及装配设计意图的基础上,给出了包括工程语义、装配约束、装配端口、装配空间关系的装配关键结的定义和结构化描述。基于装配关键结的复杂产品零部件进行了可装配性分析,确定了装配关键结中各因素权重,并通过模糊理想解法完成了对复杂零部件装配属性邻接图的求解,最终通过复杂产品装配从定性输入到定量求解,再到定性输出的映射变换实现了零部件间的精准匹配,给出了推理匹配过程。最后,通过应用算例验证了方法的有效性。

含传递角色和存在限制描述逻辑系统的匹配推理

分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。

描述逻辑中概念的匹配推理研究现状和存在的问题

描述逻辑除了知识表示外,在众多领域均有使用。描述逻辑有着强大的表达能力,是知识形式化表现的重要方式。今年来描述逻辑受到了人们的极大关注,关于描述逻辑中概念的匹配推理的研究逐渐增多及深入。该文对描述逻辑中概念的匹配推理研究现状进行分析,探讨现存的问题并提出一些解决办法。

一种基于几何推理的匹配抗箔条质心干扰新方法

为降低箔条干扰对末制导雷达导引头跟踪和打击目标的影响,提出一种基于几何推理的匹配抗箔条质心干扰新算法。依据由大量箔条偶极子组成的箔条云其RCS、散布方程、空间分布及运动速度的时变性在高分辨距离像上表现为散射点数目、回波幅度及相对位置的不稳定性,而目标的各个散射点相对位置在一定视角范围内基本不变。该算法从相邻两幅经运动补偿后的距离像中分别提取出所有可能的散射中心,把它们当作点模式,利用一种适用于Euclid变换下不完全匹配情形并可求得最多一致对应点对的几何推理算法,得到最佳匹配团,其中所含的点模式即为提取到的目标散射点,进而获取目标几何中心的真实位置。此外,通过目标几何中心在两幅距离像间的平动距离,实时估计出目标速度,用于对下一幅距离像的运动补偿并预测目标下一时刻的位置。在测速方面,该算法克服了传统相关法在箔条干扰情况下失效的局限性。最后通过Monte Carlo仿真实验,验证了算法的有效性。

装配主线引导的典型部件智能化装配方法

针对产品装配智能化提升需求及人机交互操作引起的装配效率问题,提出一种装配主线引导的典型部件智能化装配方法。依据部件装配结构和特征配合等属性,通过提取装配特征对及装配特征序列化配合关联信息,对装配特征匹配关系进行等效简化,构建装配特征配合关系图。引入装配主线概念,以部件装配主路线及关联装配配合等完成装配主线的分类及装配主线内各级主线的智能装配;以装配主线间配合寻位、特征配合自由度规约及装配序列规划等为引导,通过主线端口匹配,完成各级装配主线间的装配配合序列和关系构建。基于特征配合约束映射、装配特征对匹配推理算法及装配建模智能算法等环节,实现典型部件的动态智能装配。以典型部件为实例验证了所提方法的可行性和有效性。

基于P2P的Web服务发现机制研究

在P2P系统中融入Web服务的相关技术,将传统的P2P系统转变为一种面向服务的架构是分布式计算发展的方向,而Web服务的自动发现是面向服务的架构要解决的关键问题之一。提出了一种基于P2P技术和语义Web的服务发现机制,将P2P系统作为服务的提供者整体接入Web服务,通过P2P网络实现服务描述信息的自动交换,并采用分段搜索机制处理用户查询,从而提高了用户查询的效率和准确性。

产品设计中的模糊信息处理方法

产品设计信息中存在着许多模糊因素。为了在这种情况下获得合理的设计解,本文完成了如下两项工作:(1)为了正确选择产品的结构类型,首先采用数理统计的方法从已有的产品实例中提取带有模糊性质的领域知识,然后基于模糊识别原理解决该问题;(2)为了在基于实例的推理中处理产品设计要求中的模糊信息,完成实例的模糊匹配,实例的各特征值都被表达为模糊数。作为一种知识处理方法,本文方法可应用在ICAD系统中,实现产品设计的智能化。

空间约束地址模型及推理匹配方法研究

复杂多变的中文地址结构使得在进行地址匹配时存在一定的局限性,影响地址匹配效率。针对该问题,研究了适合空间推理的空间约束地址模型。在分析中文地址的结构特点以及地址描述中存在的问题的基础上,以地址要素间的空间关系为切入点,构建该模型。进行推理匹配时,首先借助空间约束关系进行推理识别;然后,采用深度优先、集合查找的策略,同时正向推理所在城市作为集合查找左边界;最后,逆向推理最小目标地址要素直到获取最优目标地址。以中文地址作为实验数据进行推理匹配的可行性验证。试验结果表明,顾及空间关系的推理匹配方法可以有效解决地址描述的多样性和空间约束不一致性等问题,极大地提高了检索效率和匹配成功率。

权算子Fuzzy逻辑的一些性质及其应用

本文基于Fuzzy逻辑(含多值逻辑)中命题真值'Max,Min'选取与实际的不贴切性拟提出一种权算子Fuzzy逻辑,在该逻辑中给出了与经典逻辑不同的一些简单性质以及析取和合取范式真度更为实际的描述与刻划,使之更适用于人工智能(知识工程)中对Fuzzy推理(含不完全推理)更具实用性。