Abstract: To make tolerance information understand by computer better,the description logic was introduced into the research of functional tolerance analysis.A Functional Tolerance Analysis Description Logic FTADL(Dta) was constructed through extending the geometric tolerance description logic,and the satisfiable decision algorithm for FTADL(Dta) was designed.With the knowledge representation mechanism of FTADL(Dta),a representation model of functional tolerance anal Euclid Math TworCp Euclid Math TwosCp,,lerance analysis was presented with FTADL(Dta) satisfiable decision algorithm.The presented algorithm was verified by performing functional tolerance analysis on an open gear box,which could provide the effective idea and method for the intelligentization of functional tolerance analysis in CAD systems.

Key words: functional tolerance, tolerance analysis, representation model, small displacement torsor, description logic

摘要： 为了使公差信息更好地被计算机理解,将描述逻辑引入对功能公差分析的研究中。通过对几何公差描述逻辑进行扩展,构建功能公差分析描述逻辑FTADL(Dta),并设计该逻辑的可满足性判定算法。基于FTADL(Dta)的知识表示机制,构建功能公差分析表示模型,在此基础上借助FTADL(Dta)的可满足性判定算法设计功能公差分析算法。以开齿轮箱的功能公差分析为例,验证了所设计算法可为计算机辅助设计系统中功能公差分析智能化的研究提供有效的思路和方法。

关键词: 功能公差, 公差分析, 表示模型, 小位移矢量簇, 描述逻辑