GB/T 16656.54-2010工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第54部分：集成通用資源：分類(lèi)和集合論

ICS25.040.40L67中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)GB/T16656.54-2010/ISO10303-54:2005工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第54部分:集成通用資源：分類(lèi)和集合論Industrialautomationsystemsandintegration-ProductdatarepresentationandexchangePart54：Integratedgenericresource：Classificationandsettheory（ISO10303-54:2005,IDT)2011-01-14發(fā)布2011-05-01實(shí)施中華人民共和國(guó)國(guó)家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局發(fā)布中國(guó)國(guó)家標(biāo)準(zhǔn)化管理委員會(huì)

GB/T16656.54-2010/IS010303-54:2005次二前言引言范用2規(guī)范性引用文件術(shù)語(yǔ)、定義和縮略語(yǔ)·3.1ISO10303-1中定義的術(shù)語(yǔ)3.2其他術(shù)語(yǔ)和定義3.3縮路語(yǔ)：：···：·········：：：：：：：4分類(lèi)模式·……4.2基本概念和假設(shè)4.3classification_schema類(lèi)型定義·4.4elassification_schema實(shí)體定義4.5classification_schema子類(lèi)約柬定義5集合論模式…….5.1褲述··············5.2基本概念和假設(shè)…….5.3set_theory_schema實(shí)體定義5.4set_theory_schema函數(shù)定義附錄A（規(guī)范性附錄）實(shí)體短名……附錄B（規(guī)范性附錄）信息對(duì)象注冊(cè)附錄C（資料性附錄）葉算機(jī)可解釋列表附錄D（資料性附錄）EXPRESS-G圖參考文獻(xiàn)

GB/T16656.54一2010/ISO10303-54:2005前GB/T16656《工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》是一項(xiàng)由多個(gè)部分組成的標(biāo)準(zhǔn),各部分單獨(dú)出版。GB/T16656的所屬各部分又組成多個(gè)子系列.即：第1部分至第19部分規(guī)定了描述方法；第20部分至第29部分規(guī)定了實(shí)現(xiàn)方法：第30部分至第39部分規(guī)定了一致性測(cè)試方法與框架；第40部分至第59部分規(guī)定了集成通用資源：第100部分至第199部分規(guī)定了集成應(yīng)用資源;第200部分至第299部分規(guī)定了應(yīng)用協(xié)議；第300部分至第399部分規(guī)定了抽象測(cè)試套件：第400部分至第499部分規(guī)定了應(yīng)用模塊：-第500部分至第599部分規(guī)定了應(yīng)用解釋構(gòu)造：第1000部分至第1999部分規(guī)定了應(yīng)用模塊GB/T16656《工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》現(xiàn)已發(fā)布和即將發(fā)布的包括以下部分：第1部分：概述與基本原理；第11部分：描述方法：EXPRESS語(yǔ)言參考手冊(cè)：第第21部分：實(shí)現(xiàn)方法：交換文件結(jié)構(gòu)的純正文編碼；第28部分：實(shí)現(xiàn)方法：EXPRESS模式與數(shù)據(jù)的XML表達(dá)（使用XML模式)-第31部分：一致性測(cè)試方法論與框架：基本概念；-第32部分：一致性測(cè)試方法論與框架：對(duì)測(cè)試實(shí)驗(yàn)室與客戶的要求；-第34部分：一致性測(cè)試方法論與框架：應(yīng)用協(xié)議實(shí)現(xiàn)的抽象測(cè)試方法；第41部分：集成通用資源：產(chǎn)品描述與支持原理：第42部分：集成通用資源：幾何與拓?fù)浔磉_(dá)：第43部分：集成通用資源：表達(dá)結(jié)構(gòu)：第第44部分：集成通用資源：產(chǎn)品結(jié)構(gòu)配置；第45部分：集成通用資源：材料；第46部分：集成通用資源：可視化顯示；-第47部分：集成通用資源：形狀變化公差；第49部分：集成通用資源：工藝過(guò)程結(jié)構(gòu)和特性：第51部分：集成通用資源：數(shù)學(xué)表達(dá)：第54部分：集成通用資源：分類(lèi)和集合論：第55部分：集成通用資源：過(guò)程與混合表達(dá)；第第56部分：集成通用資源：狀態(tài)；-第101部分：集成應(yīng)用資源;繪圖；-第105部分：集成應(yīng)用資源：運(yùn)動(dòng)學(xué);-第201部分：應(yīng)用協(xié)議：顯式繪圖；第第202部分：應(yīng)用協(xié)議：相關(guān)繪圖；-第203部分：應(yīng)用協(xié)議：配置控制設(shè)計(jì)；

GB/T16656.54一2010/ISO10303-54:2005第第238部分：應(yīng)用協(xié)議：計(jì)算機(jī)數(shù)值控制器用的應(yīng)用解釋模型：第第501部分：應(yīng)用解釋構(gòu)造：基于邊的線框；第502部分：應(yīng)用解釋構(gòu)造：基于殼的線框；第503部分：應(yīng)用解釋構(gòu)造：幾何有界二維線框；第504部分：應(yīng)用解釋構(gòu)造：繪圖注釋?zhuān)坏?05部分：應(yīng)用解釋構(gòu)造：圖樣結(jié)構(gòu)與管理；-第506部分：應(yīng)用解釋構(gòu)造：繪圖元素；第507部分：應(yīng)用解釋構(gòu)造：幾何有界曲面;-第508部分：應(yīng)用解釋構(gòu)造：非流形曲面；第509部分：應(yīng)用解釋構(gòu)造：流形曲面；第513部分：應(yīng)用解釋構(gòu)造：基本邊界表達(dá);-第520部分：應(yīng)用解釋構(gòu)造：相關(guān)繪圖元素：第1001部分：應(yīng)用模塊：外觀賊值;第1002部分：應(yīng)用模塊：顏色；第1003部分：應(yīng)用模塊：曲線外觀;第1004部分：應(yīng)用模塊：基本幾何形狀；第1005部分：應(yīng)用模塊：基本拓?fù)洌坏?006部分：應(yīng)用模塊：基礎(chǔ)表達(dá);-第1007部分：應(yīng)用模塊：通用曲面外觀;第第1008部分：應(yīng)用模塊：層賦值：第1009部分：應(yīng)用模塊：形狀外觀和層本部分是GB/T16656的第54部分本部分等同采用國(guó)際標(biāo)準(zhǔn)ISO10303-54:2005《工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第54部分：集成通用資源：分類(lèi)和集合論》.其技術(shù)內(nèi)容和結(jié)構(gòu)與ISO10303-54:2005保持一致，在編寫(xiě)規(guī)則上符合GB/T1.1-2000.為便于使用.做了如下編輯性修改：“）刪去了ISO前言；對(duì)于帶下劃線的用于EXPRESS語(yǔ)言描述的各黑體英文實(shí)體名、屬性名和函數(shù)名等,為了維護(hù)其英文原意,在本部分中.都使用其英文原名.僅當(dāng)其作為標(biāo)題時(shí).我們?cè)谠撚⑽拿霸黾恿似錃w屬的類(lèi)型說(shuō)明。本部分的附錄A和附錄B為規(guī)范性附錄，附錄C和附錄D為資料性附錄本部分由中國(guó)機(jī)械工業(yè)聯(lián)合會(huì)提出。本部分由全國(guó)自動(dòng)化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(huì)(SAC/TC159)歸口本部分主要起草單位：中國(guó)標(biāo)準(zhǔn)化研究院本部分主要起草人：劉守華、洪巖、王志強(qiáng)、李文武、周款華

GB/T16656.54一2010/ISO10303-54:2005GB/T16656是一個(gè)計(jì)算機(jī)可解釋的用于產(chǎn)品信息表達(dá)和產(chǎn)品數(shù)據(jù)交換的技術(shù)標(biāo)準(zhǔn)。其目的是對(duì)產(chǎn)品全生命周期提供一種獨(dú)立于任何特定系統(tǒng)、能夠描述產(chǎn)品數(shù)據(jù)的中性機(jī)制。其描述功能不僅適合于中性文件的交換，而且也是實(shí)現(xiàn)和共享產(chǎn)品數(shù)據(jù)庫(kù)及存檔的基礎(chǔ)本部分屬于集成資源系列，本部分的主要內(nèi)容包括：-分類(lèi)模式；集集合論模式本部分規(guī)定了表達(dá)類(lèi)或集合的應(yīng)用資源以及分類(lèi)關(guān)系。本部分還支持下列集合論關(guān)系：二補(bǔ)集：交集：真子集：等集：手集：開(kāi)集使用EXPRESS-G符號(hào)描述本部分的模式與其他部分定義的模式的關(guān)系如圖1所示.ISO1030311附錄D中定義了EXPRESS-G符號(hào)。本部分不包括圖1中所示的以下模式：ISO10303-41中定義的group_schema(成組模式)ISO10303-41中定義的management_resources_schema(管理資源模式)ISO10303-41中定義的support_resource_schema(支持資源模式)。圖1中說(shuō)明的模式是集成資源的組成部分classification_assigmmentroup_schcmadentifeiabel圖1GB/T16656.54中模式之間的關(guān)系

GB/T16656.54一2010/ISO10303-54:2005工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換：第54部分：集成通用資源：分類(lèi)和集合論范圍GB/T16656的本部分規(guī)定了分類(lèi)和集合論的集成資源構(gòu)造本部分適用于：一類(lèi)或集合的存在；-由抽象準(zhǔn)則定義的類(lèi)或集合之間的區(qū)別,以及由枚舉類(lèi)或集合的成員而定義類(lèi)和集合之間的區(qū)別：-類(lèi)或集合與成員之間的分類(lèi)關(guān)系：類(lèi)或集合成員的全部枚舉；-類(lèi)或集合間集合論關(guān)系的表達(dá)：下列集合論關(guān)系：補(bǔ)集：交集：冪集：真子集；子集：并集。本部分不適用于：集合或類(lèi)之間的映射不是分類(lèi)或集合論關(guān)系的關(guān)系：特定連續(xù)集合的實(shí)體和關(guān)系。注1：屬于本部分的所有實(shí)體和關(guān)系對(duì)離散的和連續(xù)的集合都一樣有效。注2：連續(xù)集合的實(shí)體和關(guān)系可以在注解EXPRESS模式中創(chuàng)建：這些注解EXPRESS模式使用或?qū)ｉT(mén)指定了如下實(shí)體：discrete_class_by_intension和continuous_set可能是dlass_by_intension的不相交子集;open_set和closed_set可能是continuous_set的不相交子集；closure可能是一個(gè)0pen_set和closcd_set間的關(guān)系·closure是closcd_set的houndary規(guī)范性引用文件下列文件中的條款通過(guò)GB/T16656的本部分的引用而成為本部分的條款。凡是注日期的引用文件,其隨后所有的修改單(不包括勒誤的內(nèi)容)或修訂版均不適用