经济全球化已成为世界经济发展的总趋势,国际贸易中的关税壁垒日趋降低,技术法规、行业标准、评测程序已经产生了举足轻重的作用和影响。新一代GPS(Geometrical Product Specification and Verification)是适应经济全球化要求的,面向数字化设计、制造与检验的标准体系。操作及操作算子技术是实现新一代GPS标准中几何产品功能规范、设计规范及认证规范数字化统一的基础。本文针对产品规范过程中的二义性等问题,对操作及操作算子进行了研究,主要包括以下几个方面:　　提出了基于谓词逻辑的几何要素操作模型。采用谓词逻辑,刻画了产品几何规范与认证过程中的输入/输出参数、规范操作算子和认证操作算子执行的前提条件和结果,消除了产品功能规范表达的二义性。通过演算,简化了规范结果。以垂直度规范过程为实例,说明了该方法的可行性和有效性。　　基于W elty的本体谱理论、ISO17450及其术语集,建立了以操作为核心的GPS语义网络非形式化元模型,给出了描述逻辑ALC(D)的形式化知识表达。这使术语集具备了推理能力,成为ISO17450的一个有益补充。同时该方法,可以推广到其它ISO的术语研究。　　利用Pmt6g6开发了 G P S操作为核心的知识模型本体。依据G P S语义网络元模型和 ALC(D)知识模型,建立了 LiteGPS本体的几何要素类、几何要素的对象属性和数据属性。并用实例验证了模型的推理能力,最后将本体导入MySQL数据库,方便了知识的管理。