GBT 16656.51-2010 工業(yè)自動化系統(tǒng)與集成 產(chǎn)品數(shù)據(jù)表達(dá)與交換 第51部分：集成通用資源：數(shù)學(xué)表達(dá)

ICS25．040．40L67a亙中華人民共和國國家標(biāo)準(zhǔn)GB／T16656．51—2010／iso10303-51：2005工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第51部分：集成通用資源數(shù)學(xué)表達(dá)Industrialautomationsystemsandintegration--Productdatarepresentationandexchange---Part51：Integratedgenericresource：Mathematicalrepresentation(IS010303—51：2005，IDT)20”-01-14發(fā)布 2011-05-01實施標(biāo)委19GB／16656．51—2010／IS10303-51：200前言?????????????????????·??????????????????～引言基本概念和假設(shè)?????????????????????????????????5分布模式的數(shù)學(xué)描述?????????????·??????????????????．．mathematical—context—schema實體定義???????····??????????????”4_mathematicalcontext—schema的類型定義??????????????????????4．4．2基本概念和假設(shè)?????????????????·····??．．???????????--10303—1定義的術(shù)語····??????????????????．．．．??．???．??··4．1概述?-----·-··?----·-?-----·??????·???·············?．----．．?---．-．．．．-．．．．附錄D(資料性附錄)EXPRESS-G圖?????????······??．．．?．?????????··14數(shù)學(xué)相關(guān)環(huán)境模式····????·?·????????????????．．．．．??．??????3．3縮略語??????????????·???··??????????????????．．．3．2其他術(shù)語和定義???????·??????????????????????．．．．．．?．．IS3．3術(shù)語、定義和縮略語?????????????????????????????????2規(guī)范性引用文件??????????????????··??．?????????????附錄C(資料性附錄)計算機(jī)可解釋的列表????????·??????????????一1附錄B(規(guī)范性附錄)信息對象注冊?????????????????．??．．．?????··1附錄A(規(guī)范性附錄)實體短名?????????????????．?．?????????·1mathematical—description_of_distribution_schema實體定義?·????????????-·15．mathematical—description_of_distribution_schema類型定義????·?????????一15．．1{既··?·----·· -．．．．．．．．．．?標(biāo)準(zhǔn)分享網(wǎng)免費下載．GB／T16656．51--2010／ISO10303—51：2005前 言GB／T16656{(T分單獨出版。GB／T16656的所屬各部分又組成多個子系列，即：——第1部分至第19部分規(guī)定了描述方法；——第20部分至第29部分規(guī)定了實現(xiàn)方法；——第30部分至第39部分規(guī)定了一致性測試方法與框架；——第40部分至第59部分規(guī)定了集成通用資源；——第i00部分至第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)造；——第i000部分至第1999部分規(guī)定了應(yīng)用模塊。GB／T16656<<工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》現(xiàn)已發(fā)布和即將發(fā)布的包括以下部分：——第i部分：概述與基本原理；——第11部分：描述方法：EXPRESS語言參考手冊；——第21部分：實現(xiàn)方法：交換文件結(jié)構(gòu)的純正文編碼；——第28部分：實現(xiàn)方法：EXPRESS模式與數(shù)據(jù)的XML表達(dá)(使用XML模式)；——第3l部分：一致性測試方法論與框架：基本概念；——第32部分：一致性測試方法論與框架：對測試實驗室與客戶的要求；——第34部分：一致性測試方法論與框架：應(yīng)用協(xié)議實現(xiàn)的抽象測試方法；——第41部分：集成通用資源：產(chǎn)品描述與支持原理；——第42部分：集成通用資源：幾何與拓?fù)浔磉_(dá)；——第43部分：集成通用資源：表達(dá)結(jié)構(gòu)；——第44部分：集成通用資源：產(chǎn)品結(jié)構(gòu)配置；——第45部分：集成通用資源：材料；——第46部分：集成通用資源：可視化顯示；——第47部分：集成通用資源：形狀變化公差；——第49部分：集成通用資源：工藝過程結(jié)構(gòu)和特性；——第51部分：集成通用資源：數(shù)學(xué)表達(dá)；——第54部分：集成通用資源：分類和集合論；——第55部分：集成通用資源：過程與混合表達(dá)；——第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／GB／16656．51—2010／IS10303-51：200——第238部分：應(yīng)用協(xié)議：計算機(jī)數(shù)值控制器用用解釋模型——第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)造：基本邊界表達(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)用模塊灣I礎(chǔ)表達(dá)——第1007部分：應(yīng)用模塊：通用曲面外觀——第1008部分：應(yīng)用模塊：層賦值——第1009部分：應(yīng)用模塊：形狀外觀和層本部分為GB／16656的第51部分本部分等同采用IS10303—51：2005(32業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第51部分集成通用資源：數(shù)學(xué)表達(dá)》(英文版)，其技術(shù)內(nèi)容和結(jié)構(gòu)與IS10303—51：2005保持一致，為便于使用做了如下編輯性修改a)刪去了ISO前言b)對于帶下劃線的用于EXPRESS語言描述的各黑體英文實體名、屬性名和函數(shù)名等，為了維A、附錄B為規(guī)范性附錄；附錄C、附錄D為資料性附錄159)歸口本部分主要起草單位：中國標(biāo)準(zhǔn)化研究院本部分主要起草人：洪巖、劉守華、壬志強(qiáng)、楊青海、李文武Ⅳ標(biāo)準(zhǔn)分享網(wǎng)免費下載GB／T16656．51--20lO／ISO10303-51：2005引 言GB／T16656(ISO10303)能不僅適合于中性文件的交換，而且也是實現(xiàn)和共享產(chǎn)品數(shù)據(jù)庫及存檔的基礎(chǔ)。GB／T16656由一系列部分組成，每個部分單獨發(fā)布。GB／T16656的各個部分都分屬以下系列之一：描述方法、集成資源、應(yīng)用解釋構(gòu)造、應(yīng)用協(xié)議、抽象測試套件、實現(xiàn)方法及一致性測試。在ISO10303—1中對上述類別進(jìn)行了說明。GB／T16656的本部分(即第51部分)屬于集成通用資源類。本部分由以下方面組成：——mathematical一contextschema；——mathematical—description—oLdistribution—schema。本部分規(guī)定的應(yīng)用資源用于表達(dá)描述或識別產(chǎn)品、狀態(tài)和活動的數(shù)值、空間和函數(shù)。數(shù)值可以標(biāo)識產(chǎn)品、產(chǎn)品特征、狀態(tài)和活動。示例1：測試裝置my_test_rig中P點的溫度傳感器用整數(shù)值27標(biāo)識。數(shù)值可以描述物理量值。示例2：測試裝置myrig在S狀態(tài)下，位于P點的溫度用實數(shù)45．3和攝氏標(biāo)量(℃)表示。數(shù)學(xué)空間可以為產(chǎn)品、產(chǎn)品特征、狀態(tài)和活動的集合或空間提供標(biāo)識模式或參數(shù)化。示例3：測試裝置my_test_rig中的溫度傳感器集合中的成員用區(qū)間[1，200]的整數(shù)標(biāo)識。數(shù)學(xué)空間可以為物理量空間提供一個標(biāo)識模式或參數(shù)化。示例4：在溫度物理量空間里的值由大于一273．17的集合中的實數(shù)集描述或標(biāo)識。數(shù)學(xué)函數(shù)可以描述產(chǎn)品、產(chǎn)品特征、狀態(tài)或活動集合中與位置有關(guān)的特性變化。示例5：在S狀態(tài)下，與測試裝置my_test_rlg中的傳感器對應(yīng)的溫度變化由整數(shù)區(qū)間[1，zoo]到大于一273．17的實數(shù)集的離散函數(shù)描述。這個函數(shù)理解成與溫度傳感器的特定參數(shù)和攝氏標(biāo)尺有關(guān)。本部分定義的模式與GB／T16656集成資源定義的模式間的關(guān)系如圖1所示，圖l采用ISO10303一ii中定義的EXPRESS-G表示法進(jìn)行描述。圖1圖示了引用模式包含的實體。圖1使用EXPRESS-G標(biāo)記表示了本部分的模式與集成資源定義的模式間的關(guān)系。EXPRESS-G在IsO10303-11：1994的附錄D中定義。圖l中的下列模式不在本部分中定義：——IS010303—41定義的action_schema；——GB／T17645．20定義的is013584一genericexpressions_schema；——IsO10303—50定義的mathematicaLfunctions—schema；——ISO10303—41定義的measure_schema；——GB／T16656．49定義的process_property_schema；——IS010303—4l定義的product—definition_schema；——IS010303—41定義的product—property_definition_schema；——GB／T16656．43定義的representation—schema；——IS010303-41定義的support—resource_schema。VGB／GB／16656．51—2010／[s10303-51：200supporLresource_schemproductjM'opcrtyefinitio圖1本部分中的模式與GB／16656集成架構(gòu)之間的關(guān)系標(biāo)準(zhǔn)分享網(wǎng)免費下載GB／T16656．51—2010／IsO10303-51：2005工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第51部分：集成通用資源：數(shù)學(xué)表達(dá)1范圍GB／T16656的本部分規(guī)定了數(shù)學(xué)表達(dá)的集成資源構(gòu)造。本部分適用于：——使用數(shù)值標(biāo)識或描述產(chǎn)品、特征、狀態(tài)、活動和特性；——使用數(shù)學(xué)空間作為產(chǎn)品、特征、狀態(tài)、活動、特性集合或空間的標(biāo)識模式；——使用數(shù)學(xué)函數(shù)描述產(chǎn)品、特征、狀態(tài)和活動中的特征變化；——在產(chǎn)品體內(nèi)的點集合的標(biāo)識模式或參數(shù)化；示例1：XYZ類型的物體內(nèi)點的集合可由實三維空間內(nèi)單位立方體參數(shù)化，單位立方體的各頂點坐標(biāo)為(o，0，o)、(1，0，o)、(O，1，0)、(1，1，0)、(0，0，1)、(1，0，1)、(O，1，1)、(1，1，1)。——xYz類型的物體具有一個便于映射的簡單形狀。更復(fù)雜的物體可分成幾個部分以使每個部分映射到一個單位立方體或某個其他簡單的數(shù)學(xué)空間?！a(chǎn)品體內(nèi)特征集合的標(biāo)識模式或參數(shù)化；示例2：在“myduct”方向正交。每個平面都可認(rèn)為具有體積的特征。體積中的每個平面都有特性，例如平均壓力，平均速度和平均溫度。因此與平面集有關(guān)的平均壓力(上述的)會有變化?！跔顟B(tài)空間或活動中對狀態(tài)的標(biāo)識模式或參數(shù)化；示例3：“myduct”的遞增序列中的狀態(tài)集合是由單位實數(shù)區(qū)間[o．0，1．03參數(shù)化的?！a(chǎn)品本身的特征集合或者狀態(tài)空間或活動中的狀態(tài)集合的標(biāo)識模式或參數(shù)化；示例4：管道中空間平面集合的參數(shù)化由示例2定義。遞增序列中空間狀態(tài)集合的參數(shù)化由示例3定義。正方形的各頂點坐標(biāo)是(0．0，0．o)、(1．0，0．0)、(1．0，1．o)、(0．0，1．o)?！锢砹靠臻g中，與度量單元或度量單位、坐標(biāo)系和編碼方法有關(guān)的值的標(biāo)識或值的描述；示例5：開氏溫度標(biāo)量的每個溫度值由實數(shù)值表示或描述。水的三相點溫度值用開氏溫度273．16標(biāo)識或描述?！褂脭?shù)學(xué)函數(shù)對特性分布進(jìn)行描述；注1：特性分布的描述依賴于：1)2)物理量空間的標(biāo)量使用數(shù)學(xué)空間中與度量單位、坐標(biāo)系或編碼方法相關(guān)的值的描述?！靡粋€數(shù)學(xué)函數(shù)描述兩個參數(shù)間的關(guān)系；示例6：零件XYZ123的頂面可由各頂點坐標(biāo)為(o．o)、(1，O)、(o．1)、(1，1)面形狀的B—spline描述。零件XYZ_123的頂面還可用“有限元網(wǎng)格”方式參數(shù)化。“有限元網(wǎng)格”方式可描述曲面壓力的變化。定義在有限元網(wǎng)格上的數(shù)學(xué)函數(shù)給出了與單位正方形對應(yīng)的每個點。——用一個數(shù)學(xué)函數(shù)描述兩個標(biāo)量間的關(guān)系。示例7：華氏和攝氏是兩種不同的溫標(biāo)，其數(shù)值由如下數(shù)學(xué)函數(shù)進(jìn)行換算：，o)一西而■1五uu二可萬本部分不適用于：——域的定義和特性分布范圍；GB／T16656．51—20IO／ISO10303-51：2005注2：域的定義和特性分布范圍給出了定義和范圍的內(nèi)容。本部分只涉及數(shù)字表達(dá)?！獢?shù)學(xué)函數(shù)的定義。2規(guī)范性引用文件下列文件中的條款通過GB／T16656的本部分的引用而成為本部分的條款。凡是注日期的引用文部分。GB／T16262．1一z006信息技術(shù)抽象語法表示法一(AsN．1)第1部分：基本記法規(guī)范(iso／IEC8824—1：2002，IDT)GB／T16656．43 2008工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第43源：表達(dá)結(jié)構(gòu)(IS010303—43：2000，IDT)GB／T16656．49：2003工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第49部分：集成通用資源：工藝過程結(jié)構(gòu)和特性(ISO10303—49：1998，IDT)GB／T17645．20一2002工業(yè)自動化系統(tǒng)與集成零件庫第20部分：邏輯資源：表達(dá)式的邏輯模型(idtISO13584—20：1998)ISO10303-1：1994工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第1部分：概述與基本原理ISO10303—11：1994工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第11部分：概述方法：EX—PRESS語言參考手冊ISO10303—41：2000產(chǎn)品描述與支持原理ISO幾何與拓?fù)浔磉_(dá)ISO數(shù)學(xué)結(jié)構(gòu)3

工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第41部分：集成通用資源工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第42部分：集成通用資源工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第50部分：綜合利用資源3．1 Iso10303-1定義的術(shù)語ISO10303—1中定義的下列術(shù)語適用于本部分：——集成資源integrated3．2其他術(shù)語和定義下列術(shù)語和定義適用于本部分。3．2．1物理■空間physicalquantityspace特性空間propertyspace特性類型propertytype物理現(xiàn)象的值或數(shù)量的集合。于觀測的物理現(xiàn)象的本質(zhì)或度量方法。3．2．2物理量值physicalquantityvaJue特性值propertyvalue獨立特性定義independentpropertydefinition可觀測或度量的或者通過觀察或度量推斷的物理事物某方面的數(shù)量。注：物理量值是物理事物為其成員的類。一個物理事物是否屬于這個類取決于觀察或度量方法。2GB／T16656．51—20IO／ISO10303-51：20053．2．3特性property特征characteristic從一個物理對象集到一個物理量空間進(jìn)行換算的函數(shù)。注：特性分布是從一個特定物理對象集的映射，物理對象可以在空間、時間或時空上分布。3．3縮略語下列縮略語適用于本部分：URL：統(tǒng)一資源定位符(UniformResourceD：維(一維，二維，三維)(Dimension(1D，2D，3D))FEA：有限元分析(FiniteElementAnalysis)4數(shù)學(xué)相關(guān)環(huán)境模式mathematical—context—schema以下列EXPRESSEXPRESS描述：*)SCHEMAmathematical．．context—．schema；REFERENCEFROMaction_schema——IS010303-．41(action，action_method)；REFERENCEFROMmathematical—functions—schema—ISO10303-50(maths—space，maths—value)；REFERENCEFROMmeasure_schema——ISO10303--41(unit)；REFERENCEFROMproduct—definition_schema —IS010303—41(product—definition)；REFERENCEFROMproduct—property_definition_schema——ISO10303-41(general—property，shape—aspect)；REFERENCEFROMrepresentation_schema——GB／T16656．43(representation_context，representation_item)；REFERENCEFROMsupport—resource—schema --IS010303—41(identifier，label，text)；REFERENCEFROMIS013584一generic—expressions—schema—GB／T17645．20(generic—expression)；(*注1：以上引用的模式可查閱如下部分：action—schema ISO10303—41mathematical—functions—schema IS010303—50measure—schema 1S010303-41product—definition_schema ISO10303—41product—property_definition_schema ISO10303—41representation_schema GB／T16656．43support—resource—schema ISO10303—41ISO13584—．generic．．expressions．．schemaGB／T17645．20注2：模式的圖形表示見附錄D。4．1概述mathematicaLcontext_schema規(guī)定了物理集合或空間與數(shù)學(xué)空間的映射。3GB／T16656．51—2010／tso10303-51：2005物理集合包括：——產(chǎn)品族；——在一個產(chǎn)品中的位置；——活動或狀態(tài)空間內(nèi)的狀態(tài)；——物理量空間中的物理量值。映射定義了物理集合成員的標(biāo)識模式。物理集合的成員由數(shù)學(xué)空間中的數(shù)值標(biāo)識。示例1：沿著光束“XB_1234”穿過的截面集合由[-1．0，+1．o]范圍內(nèi)的實數(shù)集合標(biāo)識。示例2：活動“normalupofenginetypeXYZ_123”中的狀態(tài)集由[o．0，1．o]示例3：溫度集由大于--273．15的實數(shù)集合標(biāo)識。4．2基本概念和假設(shè)如果物理集合屬于如下范圍，物理集合與數(shù)學(xué)空間之間的映射被稱作參數(shù)化。——產(chǎn)品族；——在一個產(chǎn)品中的位置；或——活動狀態(tài)或狀態(tài)空間。參數(shù)化可以給出名稱。如下兩種方式提供了參數(shù)化的更多信息：——數(shù)值可以被指定給物理集(只要這個物理集有限)的每個成員；或——一個特性分布可進(jìn)行相應(yīng)的參數(shù)化描述，就如同分布模式的數(shù)學(xué)描述中描述的一樣。示例1：為橫梁“XB_1234”內(nèi)的橫截面集合定義參數(shù)化。原始未變形狀態(tài)橫梁內(nèi)橫截面的位置描述提供該參數(shù)化本質(zhì)的信息。示例2：參數(shù)化定義的活動內(nèi)的狀態(tài)集為“normalofenginetypeXYZ_123”。啟動活動內(nèi)狀態(tài)時間的描述提供了關(guān)于這個參數(shù)化本質(zhì)的信息。一個物理量空間和一個數(shù)學(xué)空間間的映射稱作一個標(biāo)量。一個標(biāo)量可能是：——由ISO或其他標(biāo)準(zhǔn)化組織定義的標(biāo)準(zhǔn)標(biāo)量，如度量單位；或——通過變換其他標(biāo)量定義的，比如一個三維的坐標(biāo)變換。注：本部分引用GB／T16656．43定義的標(biāo)量。示例3：國際實用溫標(biāo)1968(IPTS-68)是溫度空間與大于一273．15的實數(shù)集合問的一個映射。定點都分配了一個實數(shù)值。4．3 mathematical_context_schema4．3．1類型space_contextselectspace—context—select類型是替代數(shù)據(jù)類型的可擴(kuò)展列表。它給出了引用數(shù)據(jù)類型實例的機(jī)制，這種數(shù)據(jù)類型包括在space—context—select類型及其擴(kuò)展中。注：實體數(shù)據(jù)類型列表將被擴(kuò)展到使用資源構(gòu)造的應(yīng)用資源。EXPRESS描述：*)TYPEspace—context_select；EXTENSIBLESELECT(action，action_method，general—property，product—definition，representation_item，shape—aspect)；END_TYPE；(*GB／T16656．51--2010／[so10303—51：20054．3．2 類型valuecontext_selectvalue—context—select類型是替代數(shù)據(jù)類型的可擴(kuò)展列表。它給出了引用數(shù)據(jù)類型實例的機(jī)制，這種數(shù)據(jù)類型包括在value—context—select類型及其擴(kuò)展中。注：實體數(shù)據(jù)類型列表將被擴(kuò)展到使用資源構(gòu)造的應(yīng)用資源。EXPRESS描述：*)TYPEvalue_context_select=EXTENSIBLESELECT(action，action_method，general_property，product—definition，representation_item，shape_aspect)；END_TYPE；(*4．4 mathematical_context_schema實體定義4．4．1 實體compound_mathsspace_contextcompound—maths—space—context是由maths—space—context其他實例列表定義的一種。被引用的math—space是一個多元組空間。多元組中每一項的maths—space—context在列表中都有相應(yīng)的位置。示例：考慮maths_space—context的兩個不同實例，如下：P，：“myproduct”P：：“myactivity”中一維狀態(tài)集與R間的關(guān)系。以下關(guān)系是由P1XP2定義的compoundmaths—space—context：——“myproduct”表面上的點集對“myactivity”中的狀態(tài)集的三維集合；和——R3。EXPRESS描述：*)ENTITYcompound_maths——space——contextSUBTYPEOF(maths—space_context)；components：LZSTE2：?JOFmaths—space_context‘END_ENTITY；(*屬性定義：components：maths—space—context的實例是compound—maths—space—context狀態(tài)的maths—space_context源自于產(chǎn)品的maths—space—context有一個compound—maths—space—context，compound—maths—space—contextmaths—space—context的元件列表。4．4．2 實體defined_maths_space_contextdefinedmaths—space_context是由引用representation—context、unit或兩者都引用而定義的一種maths．．space．．context。注：defined_maths—space_context可以被實例為representation_context—defined—math—space—context，unit_defined—maths_space_context或它們兩者的實例。5GB／T16656．51--2010／1S010303—51：2005ExPREss描述：*)咖ITYdefined_maths—space—contextSUBTYPEOF(maths—space_context)；END_ENTITY；(*4．4．3實體explicitly_enumerated_maths_space_contextexplicitly_enumerated—maths—space—context是一種maths—space—context，它通過規(guī)定maths—value—context實例進(jìn)行定義，maths—value_context是maths—spacecontext的成員。注：expl{citlyenumerated_maths—spacecontext只能被指定為一個具有有限成員的離散maths_space。ExPREss描述：*)ENTITYexplicitiy_enumerated_maths—space_contextSUBTYPEOF(maths—space—context)；members：SET[1：?]OFmaths_value_context；END_ENTITY；(*屬性定義：members：maths—value—context的實例是maths—space_context4．4．4實體maths_space_contextmaths—space—context是物理空間與指出maths—space含義的maths—space間的一對一映射。EXPRESS描述：*)ENTITYmaths—space_contextSUPERTYPEOF(ONEOF(compound_maths—space_context，defined_maths—space—context，explicitly_enumerated_maths—space—context))；id：identifier；name：label；description：OPTIONALtext；abstractspace：maths—space；physical—space：space_context_select；END_ENTITY；(*屬性定義：id：maths—space—context的；可查到maths—space—context的tabledescription：描述maths—space_conlext的text。這個屬性值可不規(guī)定。abstract—space：maths—space的每個成員與physical—space的一個成員對應(yīng)。注1：這個模式引用IS010303—50中的ABSTRACT實體類型maths—space，但不能作為SUBTYPE實體類型。一個使用本部分的應(yīng)用模塊應(yīng)引用或定義至少一個SUBTYPE。注3：定義在ISO10303—50中的maths_function的每個子類要求maths—space是tuple_space。physical—space：物理空間的每個成員與abstract—space的一個成員相對應(yīng)。6GB／T16656．51—2010／ISO10303—51：20054．4．5實體maths_value_contextmaths_value_context表示物理值與maths—space的相關(guān)性。通過這種相關(guān)性給maths—value予含義，這個含義能夠從具有maths—value—context成員的maths—space—context推導(dǎo)出來。EXPRESS描述：*)EIgflTYmaths—value_context；id：identifier；na口le：label；description：OPTIONALtext；abstractvalue：maths_value；physical—value：value_context—select；END_ENTITY；(*屬性定義：id：maths—value—context的：可查到maths—value—context的labledescription：描述maths—value—context的textabstract_value：maths_value與physicaLvalue對應(yīng)。physical—value：physical_value與maths—value對應(yīng)。4．4．6實體membership_of_maths_space_contextmembership_of_maths—space_context把maths—value—context與maths—space—context相關(guān)聯(lián)。membership—of—maths—space—context表明maths—space—context是maths—value—context的一個成員。EXPRESS描述：9(-)ENTITYmemberahip_of_maths—space_context；space—context：maths—space_context；value_context：maths—value_context；END_ENTITY；(*屬性定義：space—context：具有maths—value_context成員的maths_space_context。valuecontext：是maths—space_context成員的maths—value—context。4．4．7實體normalizedmaths_spacecontextnormalized-maths—space—context是由一個參考物理值定義的一種defined_maths—space—context。假設(shè)：P是一個物理值；Pv是數(shù)值。normalizedmaths—spacecontext的實例為：P—Po-VEXPRESS描述：*)GB／T16656．51--2010／IS010303-51：2005ENTITYnormalized_maths—space_contextSUBTYPEOF(definedmaths—space—context)；normalization_basis：value_context_select；END_ENTITY；(*屬性定義：normalization—basis：定義maths—space～context的參考物理值。4．4．8實體representation_eontext_defined_mathsspacerepresentation_context～defined_maths—space_context是一種規(guī)定坐標(biāo)系的defined—maths—space—context'通過引用representation_context對representation—context—defined—maths～space～cOntext行定義。ExPREss描述：*)ENTITYrepresentationcontext——defined_maths——space_contextSUBTYPEOF(defined_maths—space_context)；representation_basis：representation_context；END—ENTITY；(*屬性定義：representation—basis：定義maths_space_context的representation_context4．4．9實體unit_defined_maths_spacecontextunit_defined—maths—space_context是一種由單一度量單位定義的defined_math!；_space—context。EXPRESS描述：K-)ENTITYunit—defined_maths—space_contextSUBTYPEOF(defined_maths_space_context)；unit—basis：unit；END_ENTITY；(*屬性定義：unit—basis：定義maths—space—context的unit注：這個模式引用ISO10303—41中的SELECT類型unit，但實體類型不是由unit選擇的。使用本部分的應(yīng)用模塊應(yīng)該至少引用這些實體類型中的一個。*)END_SCHEMA；一mathematical—context_schemaf*5分布模式的數(shù)學(xué)描述mathematical_description_of_distribution_schema以下列EXPRESS引用。EXPRESS描述：*)SCHEMAmathematical—description_of—distribution_schwa；8GB／T16656．51—2010／Iso10303—51：2005REFERENCEFROMmathematical—context—schema—GB／T16656．51(maths—space_context)；REFERENCEFROMmathematical—functions—schema——ISO10303—50(maths_function)；REFERENCEFROMprocess_property_schema—GB／T16656．49(action_property，resource_property)；REFERENCEFROMproductproperty_definition_schema——ISO10303—41(property_definition，general—property_relationship)；REFERENCEFROMsupport_resource_schema—ISO10303—41(identifier，label，text)；(*注1：以上引用的模式可查閱如下部分：Mathematical．．context．．schema GB／TMathematical—functions_schema IS010303—50process—property_schema GB／T16656．49product_property_definition_schema ISO10303—41support—resource—schema ISO10303—41注2：模式的圖示見附錄D。5．1概述mathematical—description_of_distribution_schema射給出了數(shù)學(xué)函數(shù)的語義，所以數(shù)學(xué)函數(shù)描述或標(biāo)識了特性分布。特性分布涉及如下方面：——產(chǎn)品族中的產(chǎn)品；——在一個產(chǎn)品中的位置；——活動或狀態(tài)空間內(nèi)的狀態(tài)；——其他特性；或——以上方面的組合(笛卡爾乘積)。示例1：功率輸出變化涉及如下方面：——“XYZ1”族中發(fā)動機(jī)的排氣口直徑；和——單位為赫茲的發(fā)動機(jī)轉(zhuǎn)速。功率輸出變化是一個特性分布。示例2：溫度變化涉及如下方面：——產(chǎn)品內(nèi)的位置，這個產(chǎn)品是發(fā)動機(jī)型號為“XYZ-123”的壓縮機(jī)圓盤；和——活動“normalofenginetypeXYz_123”內(nèi)的狀態(tài)。溫度變化是一個特性分布。5．2基本概念和假設(shè)特性分布是一個物理函數(shù)，特性分布函數(shù)的值域是：——產(chǎn)品集合；——產(chǎn)品內(nèi)的位置集合；——活動或狀態(tài)空間內(nèi)的狀態(tài)集合。特性分布函數(shù)的范圍是一個物理量空間。當(dāng)：X是定義域集；和P9GB／T16656．51—2010／ISO10303—51：2005特性分布D：X->P可以由一個數(shù)學(xué)函數(shù)F：A_)B描述或標(biāo)識，這里A和B描述或標(biāo)識依賴于：一個一對一的映射U：X-)A；和一個一對一的映射V：p-)B。當(dāng)且僅當(dāng)V(D(x))一F(U(x))對所有屬于x的x都成立時，特性分布D由數(shù)學(xué)函數(shù)F標(biāo)識。5．3 mathematical_description_ofdistributionschema5．3．1類型property_distribution_selectproperty_distribution—select類型是替代數(shù)據(jù)類型的擴(kuò)展列表。它提供了引用這些數(shù)據(jù)類型實例的機(jī)制，這些數(shù)據(jù)類型包括在property_distribution_select類型或其擴(kuò)展中。注：實體數(shù)據(jù)類型列表在使用資源構(gòu)造的應(yīng)用資源中進(jìn)行擴(kuò)展。EXPRESS描述：*)TYPEproperty_distribution_select=EXTENSIBLESELECT(actionproperty，generalproperty_relationship，property_definition，resource_property)；END_TYPE；(*5．4mathematical_description_of_distribution_schema實體定義5．4．1 實體maths_space．_context_relationshipmaths—space_context—relationship是兩個maths—space_contextEXPRESS描述：*)ENTITYmaths—space_context—relationship；id：identifier；name：label}description：OPTIONALtext；relating_context：mates—space_context；related_context：maths—space_context；END_ENTITY；(*屬性定義：id：maths_spaee_context—relationship的：可查到maths—space_contextrelationship的labledescription：描述maths—space—context—relationship的textrelating_context；maths—space—context實例，它與related_context有關(guān)。related—context：maths—space—context實例，它與relating_context有關(guān)。5．4．2實體maths_space_eontext_relationship_deseriptionmaths—space—context—relationship—description是由maths—function定義的兩個maths—space—context實例間關(guān)系的技術(shù)規(guī)范。假設(shè)：GB／T16656．51—2010／ISO10303-51：2005關(guān)聯(lián)maths—space—context是A：P->S1；被關(guān)聯(lián)maths—space_context是B：P一P是一個物理空間；s1和sz是maths_space的兩個實例；maths—space—context實例間關(guān)系的描述是T：S1一)S2(一個maths—function)。一個maths—space_context—relationship—description實例規(guī)定：對P中每一個P，B(p)一T(A(p))。EXPRESS描述：*)ENTITYmaths—space_context—relationship—description；id：identifier；name：label；descriptioo：OPTIONALtext；described_relationship：maths—space_context_relationship；describing_relationship：maths—function；END_ENTITY；(*屬性定義：id：maths—space_context—relationship—description的：可查到maths—space_context—relationship—description的labledescription：描述maths—space—context—relationship_description的text。這個屬性值可不規(guī)定。described—relationship：由這個敘述描述的maths—space_contextrelationship—description。describingrelationship：由這個敘述描述的maths—space_context_relationship。5．4．3實體normalizedproperty_distribution_descriptionnormalized_property_distribution—description規(guī)范maths_function的特性分布。假設(shè)：P(product—definition，action，action_method，resource或general—property)；特性分布的范圍是c(作為物理量空間的general—property)；特性分布是D：P毪pc(property—definition，action—property，general—property—relationship或re—source_property)；引用特性分布是DO：P一)C(property_definition，action—property，general—property_-relationship或resource_property)；特性分布域的參數(shù)化是A：P->S1(maths—space_context)；特性分布的描述是F：S1一)s2(maths—function)；數(shù)學(xué)函數(shù)的值域和范圍是數(shù)學(xué)空間s-和sz。一個normalized—property—distribution—description的實例規(guī)定：對P中每一個P，D(p)=F(A(p))．DO(p)。EXPRESS描述：*)ENTITYnormalized_property_distribution_description；id：identifier；name：label；GB／T16656．51--2010／Iso10303—51：2005description：OPTIONALtext；abstract—function：maths—function；domain—context：maths_space_context；normalization_basis：property_distribution_select；physical—function：property_distribution_select；ENDENTITY；(*屬性定義：id：normalized—property_distribution_description的：可引用到normalized—property_distribution_description的labledescription：描述normalized—property—distribution_description的textabstract—function：描述physical—function的maths—function。domain_context：用來解釋abstract一[unction域的maths—space—context。normalizationbasis：引用特性分布，它是physical—function描述的基礎(chǔ)。注：當(dāng)abstract_function的值為1時，physical—function等于normalization_basisphysical—function：由physical—function描述的特性分布。5．4．4實體property_distribution_descriptionproperty—distributiondescription規(guī)范maths—function怎樣描述特性分布。假設(shè)：P(product—definition，action，action_method，resource或general—property)；特性分布的范圍是C(作為一個物理量空間的general—property)；特性分布是D：P一)C(property—definition，action—property，general—property—relationship或resource—property)5特性分布域的參數(shù)化是A：P->Sl(maths—spacecontext)；特性分布的范圍標(biāo)量是U：C->S2(maths—space—context)；特性分布的描述是F：Si-)S2(maths—function)；數(shù)學(xué)函數(shù)的值域和范圍是數(shù)學(xué)空間s。和sz。一個property_distribution—description實例規(guī)定：對P中每一個P，D(p)一U。(F(A(p)))。注：u-1已經(jīng)定義，因為u是一個1—1映射。ExPREss描述：*)ENTITYproperty_distribution_description；id：identifier；name：label；description：OPTIONALtext；abstract—function：maths—function；domain—context：maths_space_context；physical—function：property_distribution_select；range_context：maths—space_context；END一腫ITY；(*屬性定義：】2GB／T16656．51—201011S010303—51：2005id：property—distribution—description的：可查到property_distributiondescription的Iable。description：描述property_distribution_description的textabstract—function：描述physical—function的maths—function。domaincontext：用來解釋abstract_function域的maths—space_context。physical—function：由abstract—function描述的特性分布。range—context：用來解釋abstract—function范圍的maths—space—context*)一mathematical—description_of_dlstribution_schema(*13GB／T16656．51—2010／1S010303-51：2005附錄A(規(guī)范性附錄)表A．1給出了GB／T16656的本部分MIM中定義的實體短名。使用短名的要求見GB／T16656的實現(xiàn)方法。注：EXPRESS實體名可查URL：http：／／www．tcl84一s04．org／Short_Names／。表A．1實體短名實體名 短 名compound-maths—spaceCMSCdefined-maths—space_context DMSCExplicitlyenumer