论文部分内容阅读
在现今的几何产品设计中,装配公差类型基本上都是由设计者在图纸上或CAD系统中手工指定,不同的设计者有可能指定不同的装配公差类型。这就增加了产品设计的不确定性,最终影响到产品质量。此外,复杂产品协同设计需求的增长,对产品公差设计的协同环境和语义互操作提出了更高的要求。为进一步减少产品设计的不确定性,解决公差信息在异构系统之间难以有效共享和顺畅传递的问题,本文汲取人工智能领域的最新研究成果,将本体技术引入到对装配公差类型的自动生成方法的研究中,构建一种基于空间关系的装配公差信息表示模型,基于所构建模型研究装配公差类型的自动生成。具体来说,本文完成的工作如下: 提出了基于空间关系的装配公差信息表示模型。基于对称群理论和刚体运动学,研究七个恒定类的划分。从划分出的七个恒定类出发,基于变动几何约束理论,研究各个恒定类对应的几何要素之间因几何变动产生的空间关系。为进一步减少生成的可选装配公差类型的数目,在已有装配公差信息表示模型的基础上引入空间关系层,设计出基于空间关系的装配公差信息表示模型的基本结构。在此基础上,采用邻接矩阵的方式定义表示模型的零件层、装配特征表面层、空间关系层及装配公差类型层中的约束关系,从而构建出基于空间关系的装配公差信息表示模型,为采用本体技术研究装配公差类型的自动生成奠定理论基础。 提出了基于描述逻辑ALC(DATT)的装配公差类型的生成方法。基于表示模型的空间关系层中的空间关系,定义装配公差类型表示的具体域DATT。采用ALC(DATT)定义表示模型的零件层、装配特征表面层和空间关系层中的约束关系。基于具体域DATT及空间关系与装配公差类型之间的映射关系,给出装配公差类型的ALC(DATT)表示。根据定义的约束关系构成的 ABox、给出的 ALC(DATT)表示构成的 TBox及ALC(D)的Tableau判定算法,设计基于ALC(DATT)的装配公差类型的生成算法,通过工程实例验证生成算法的可行性。 构建了装配公差类型自动生成知识库系统。基于ALC(DATT)方法,采用Web本体语言(Web Ontology Language,OWL)断言定义表示模型的零件层、装配特征表面层和空间关系层中的约束关系。通过将ALC(DATT)概念和特征映射为OWL类,将ALC(DATT)角色映射为OWL属性,采用七步法构建装配公差表示的元本体模型。在此基础上,采用 Protégé实现该元本体模型。根据装配公差类型的 ALC(DATT)表示,给出装配公差类型的语义Web规则语言(Semantic Web Rule Language,SWRL)表示。通过将OWL结构化知识转换成Jess事实,将SWRL约束化知识转换成Jess规则,在定义的约束关系和Jess推理引擎的基础上,构建装配公差类型自动生成知识库系统,通过工程实例研究基于所构建系统的装配公差类型的自动生成。 本文得到了国家自然科学基金“面向产品几何规范的知识表示与测量认证研究”(No.61163041)及广西可信软件重点实验室基金“产品几何规范的操作算子技术研究”(No. kx201120)的资助。