1、經(jīng)濟全球化已成為世界經(jīng)濟發(fā)展的總趨勢,國際貿(mào)易中的關(guān)稅壁壘日趨降低,技術(shù)法規(guī)、行業(yè)標準、評測程序已經(jīng)產(chǎn)生了舉足輕重的作用和影響。新一代GPS(Geometrical Product Specification and Verification)是適應經(jīng)濟全球化要求的,面向數(shù)字化設(shè)計、制造與檢驗的標準體系。操作及操作算子技術(shù)是實現(xiàn)新一代GPS標準中幾何產(chǎn)品功能規(guī)范、設(shè)計規(guī)范及認證規(guī)范數(shù)字化統(tǒng)一的基礎(chǔ)。本文針對產(chǎn)品規(guī)范過程中的二義性等問題,

2、對操作及操作算子進行了研究,主要包括以下幾個方面:
　　提出了基于謂詞邏輯的幾何要素操作模型。采用謂詞邏輯,刻畫了產(chǎn)品幾何規(guī)范與認證過程中的輸入/輸出參數(shù)、規(guī)范操作算子和認證操作算子執(zhí)行的前提條件和結(jié)果,消除了產(chǎn)品功能規(guī)范表達的二義性。通過演算,簡化了規(guī)范結(jié)果。以垂直度規(guī)范過程為實例,說明了該方法的可行性和有效性。
　　基于W elty的本體譜理論、ISO17450及其術(shù)語集,建立了以操作為核心的GPS語義網(wǎng)絡(luò)非形式化元模型