基于几何公差描述逻辑的公差类型的自动生成

摘要

为了使公差信息更好地被计算机理解,将描述逻辑引入到对公差设计的研究中。从几何要素之间的基本空间关系出发,提出几何公差描述逻辑GTDL(Df),并给出该逻辑的Tableau判定算法。应用GTDL(Df)的刻画能力,构建几何公差的GTDL(Df)表示模型;在此基础上,借助GTDL(Df)的Tableau判定算法,设计公差类型的自动生成算法。通过工程实例验证了生成算法的有效性。

关键词