
Industrial automation systems and integration—Product data representation and exchange—Part 54:Integrated generic resource:Classification and set theory
標準號:GB/T 16656.54-2010
基本信息
標準號:GB/T 16656.54-2010
發布時間:2011-01-14
實施時間:2011-05-01
首發日期:2011-01-14
出版單位:中國標準出版社查看詳情>
起草人:劉守華、洪巖、王志強、李文武、周歆華
出版機構:中國標準出版社
標準分類: 計算機應用
ICS分類:工業過程的測量與控制
提出單位:中國機械工業聯合會
起草單位:中國標準化研究院
歸口單位:全國自動化系統與集成標準化技術委員會(SAC/TC 159)
發布部門:中華人民共和國國家質量監督檢驗檢疫總局 中國國家標準化管理委員會
主管部門:全國自動化系統與集成標準化技術委員會(SAC/TC 159)
標準簡介
GB/T 16656的本部分規定了分類和集合論的集成資源構造。本部分適用于:——類或集合的存在;——由抽象準則定義的類或集合之間的區別,以及由枚舉類或集合的成員而定義類和集合之間的區別;——類或集合與成員之間的分類關系;——類或集合成員的全部枚舉;——類或集合間集合論關系的表達;——下列集合論關系:·補集;·等集;·交集;·冪集;·真子集;·子集;·并集。本部分不適用于:——集合或類之間的映射;——不是分類或集合論關系的關系;——特定連續集合的實體和關系。
推薦檢測機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~
推薦認證機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~
推薦培訓機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~