基于邏輯系統(tǒng)的新一代GPS知識(shí)模型.pdf

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

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