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

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

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

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

GB/T16656.54一2010/ISO10303-54:2005第第238部分：應(yīng)用協(xié)議：計算機數(shù)值控制器用的應(yīng)用解釋模型：第第501部分：應(yīng)用解釋構(gòu)造：基于邊的線框；第502部分：應(yīng)用解釋構(gòu)造：基于殼的線框；第503部分：應(yīng)用解釋構(gòu)造：幾何有界二維線框；第504部分：應(yīng)用解釋構(gòu)造：繪圖注釋；第505部分：應(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)造：基本邊界表達;-第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ǔ)表達;-第1007部分：應(yīng)用模塊：通用曲面外觀;第第1008部分：應(yīng)用模塊：層賦值：第1009部分：應(yīng)用模塊：形狀外觀和層本部分是GB/T16656的第54部分本部分等同采用國際標(biāo)準(zhǔn)ISO10303-54:2005《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第54部分：集成通用資源：分類和集合論》.其技術(shù)內(nèi)容和結(jié)構(gòu)與ISO10303-54:2005保持一致，在編寫規(guī)則上符合GB/T1.1-2000.為便于使用.做了如下編輯性修改：“）刪去了ISO前言；對于帶下劃線的用于EXPRESS語言描述的各黑體英文實體名、屬性名和函數(shù)名等,為了維護其英文原意,在本部分中.都使用其英文原名.僅當(dāng)其作為標(biāo)題時.我們在該英文名前增加了其歸屬的類型說明。本部分的附錄A和附錄B為規(guī)范性附錄，附錄C和附錄D為資料性附錄本部分由中國機械工業(yè)聯(lián)合會提出。本部分由全國自動化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(SAC/TC159)歸口本部分主要起草單位：中國標(biāo)準(zhǔn)化研究院本部分主要起草人：劉守華、洪巖、王志強、李文武、周款華

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

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