GBT 16656.509-2010 工業(yè)自動化系統(tǒng)與集成 產(chǎn)品數(shù)據(jù)表達與交換 第509部分：應(yīng)用解釋構(gòu)造：流形曲面

a亙ICS25．040．40L67a亙中華人民共和國國家標準GB／T16656．509—201O／ISO10303—509：2001工業(yè)自動化系統(tǒng)與集成 產(chǎn)品數(shù)據(jù)表與交換 第509部分：應(yīng)用解釋構(gòu)造：流形曲面Industrialautomationsystemsandintegration--Productdatarepresentationandexchange--Part509：Applicationinterpretedconstruct：Manifoldsurface(ISO10303-509：2001，IDT)201I-0I-14發(fā)布

2011—05—01實施標委?GB／GB／16656．509—2010／IS10303-509：200前言言···?????·····?··??·??????????·?·??-····?-··?··-------·-----·---?·-??1范圍·-------?·????---?????------?····???????··?????????????2規(guī)范性引用文件?????????···???·????????????????????一3術(shù)語、定義和縮略語?????????????????????????????????3．IS10303—1中定義的術(shù)語????????????????????????????3．GB／16656．42中定義的術(shù)語???????????????????????????3．GB／16656．202中定義的術(shù)語??????????·???????????????一3．4在IS10303—511中定義的術(shù)語??????????????????????????3．5其他術(shù)語和定義??······??????????????????????????·??一3．6縮略詞??????????????????????????????···?????···EXPRESS短表??????????????????????????????????4．1基本概念和假設(shè)??··?···??????????????????????·??????4．a(chǎn)ic—manifold—surface模式實體定義：manifold—surface_representation??????????4．a(chǎn)ic_manifold—surface函數(shù)定義?···???????????????????????·一14．3．1函數(shù)msf_curve_check?????????????????????????????14．3．2函數(shù)msf_surface_check???????????···????????????????1附錄A(規(guī)范性附錄)實體短名??????·?????????????????????一1附錄B(規(guī)范性附錄)信息對象注冊???···??????·???????????????一1附錄C(資料性附錄)EXPRESS-G圖??????????????????? ??·??2附錄D(資料性附錄)計算機可解釋的列表???????????????????????43標準分享網(wǎng)免費下載GB／T16656．509—2010／ISO10303-50912001前 言GB／T16656(T業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換》是一項由多個部分組成的標準，各部分單獨出版。GB／T16656的所屬各部分又組成多個子系列，即：——第1部分至第19部分規(guī)定了描述方法；——第20部分至第29部分規(guī)定了實現(xiàn)方法；——第30部分至第39部分規(guī)定了一致性測試方法與框架；——第40部分至第59部分規(guī)定了集成通用資源；——第i00部分至第199部分規(guī)定了集成應(yīng)用資源；——第Z00部分至第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部分：集成通用資源：幾何與拓撲表達；——第43部分：集成通用資源：表達結(jié)構(gòu)；——第44部分：集成通用資源：產(chǎn)品結(jié)構(gòu)配置；——第45部分：集成通用資源：材料；——第46部分：集成通用資源：可視化顯示；——第47部分：集成通用資源：形狀變化公差；——第49部分：集成通用資源：工藝過程結(jié)構(gòu)和特性}——第51部分：集成通用資源：數(shù)學表達；——第54部分：集成通用資源：分類和集合論；——第55部分：集成通用資源：過程與混合表達；——第56部分：集成通用資源：狀態(tài)；——第101部分：集成應(yīng)用資源：繪圖；——第105部分：集成應(yīng)用資源：運動學；——第201部分：應(yīng)用協(xié)議；顯式繪圖；——第202部分：應(yīng)用協(xié)議；相關(guān)繪圖；——第203部分：應(yīng)用協(xié)議：配置控制設(shè)計；——第238部分：應(yīng)用協(xié)議；計算機數(shù)值控制器用的應(yīng)用解釋模型；ⅢGB／GB／16656．509—2010／IS10303-509：200——第501部分：應(yīng)用解釋構(gòu)造：基于邊的線框——第分：應(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)用模塊：基本拓撲——第1006部分：應(yīng)用模塊：基礎(chǔ)表達——第1007部分：應(yīng)用模塊：通用曲面外觀——第1008部分：應(yīng)用模塊：層賦值——第1009部分：應(yīng)用模塊：形狀外觀和層本部分為GB／16656的第509部分本部分等同采用國際標準IS10303—509：2001《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與換第509部分：應(yīng)用解釋構(gòu)造：流形曲面》，其技術(shù)內(nèi)容和結(jié)構(gòu)與IS10303—509：200l保持一致，為于使用，做了如下編輯性修改a)刪去了IsO前言b對于帶下劃線的用于EXPRESS語言描述的各黑體英文實體名、屬性名和函數(shù)名等，為了維其英文原意，在本部分中，都使用其英文原名，僅當其作為標題時，我們在該英文名前增加其歸屬的類型說明A、附錄B為規(guī)范性附錄；附錄C、附錄D為資料性附錄本部分由全國自動化系統(tǒng)與集成標準化技術(shù)委員會(sAc／T159)歸口本部分主要起草單位：中國標準化研究院Ⅳ標準分享網(wǎng)免費下載GB／T16656．509—2010／LSO10303-509：2001引 言GB／T16656(ISO10303)是一個計算機可解釋的用于產(chǎn)品信息表達和產(chǎn)品數(shù)據(jù)交換的技術(shù)標準。能不僅適合于中性文件的交換，而且也是實現(xiàn)和共享產(chǎn)品數(shù)據(jù)庫及存檔的基礎(chǔ)。GB／T16656由一系列部分組成，每個部分單獨發(fā)布。GB／T16656的各個部分都分屬以下系列之一：描述方法、集成資源、應(yīng)用解釋構(gòu)造、應(yīng)用協(xié)議、抽象測試套件、實現(xiàn)方法及一致性測試。在IsO10303—1中對上述類別進行了說明。本部分(即第509部分)屬于應(yīng)用解釋構(gòu)造類。應(yīng)用解釋構(gòu)造(AIc)需求。GB／T16656義二維流形的解析曲線、雕塑瞌線和雕塑曲面的幾何與拓撲資源。V1范1范GB／16656．509—2010／m10303-609：200工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表第509部分：應(yīng)用解釋構(gòu)造流形曲GB／16656的本部分規(guī)定了集成資源的解釋以滿足借助流形曲面模型描述幾何形狀的需求本部分適用于——三維點——在益線或曲面參數(shù)空間中定義的點——三維曲線——在曲面參數(shù)空間中定義的曲線注：這些曲線也稱作只取參數(shù)曲線和曲面上的曲線首字母的縮寫詞pcurve或cOll——解析曲線：直線、圓、橢圓、拋物線與雙瞌線——相交藍線——至少由三個點構(gòu)成的折線——解析曲面：平面、圓柱面、圓錐面、圓環(huán)面、球面——通過旋轉(zhuǎn)或線性拉伸瞳線掃略成的曲面——雕塑曲線或曲面——用拓撲實體剪裁曲線或曲面——用拓撲實體組成曲線或曲面——復(fù)制曲線、曲面和曲面模型——三維偏置曲線與曲面——二維流形本部分不適用于——無界幾何——自相交幾何——在二維笛卡兒坐標空間中的幾何——點的復(fù)制——不與對應(yīng)幾何域相關(guān)聯(lián)的拓撲——非流形2規(guī)范性引用文下列文件中的條款通過GB／16656的本部分的引用而成為本部分的條款。凡是注日期的引用件，其隨后所有的修改單(不包括勘誤的內(nèi)容)或修訂版均不適用于本部分，然而，鼓勵根據(jù)本部分達部分GB／16262．1信息技術(shù)抽象語法記法一(ASN．1)第1部分：基本記法規(guī)范(GB／16262．i-2006，ISO／IE8824．1：2002，IDTGB／16656．41—1999工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第41部分：集成通用標準分享網(wǎng)免費下載GB／T16656．509--2010／1S010303-509：2001源：產(chǎn)品描述與支持原理(idtISO10303—41：1994)GB／T16656．42一1998工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第42源：幾何與拓撲表達(idtISO10303—42：1998)GB／T16656．43—1999工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第43部分：集成通用資源：表達結(jié)構(gòu)(idtISO10303—43：1994)GB／T16656．202--2000工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第202部分：應(yīng)用協(xié)議：相關(guān)繪圖(eqvISO10303—202：1996)注：GB／T16656．202只用于術(shù)語AIC定義的規(guī)范性參考。ISO10303—1：1994工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第1部分：概述與基本原理ISO10303—11：1994工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第11部分：描述方法：EX—PRESS語言參考手冊ISO10303—511：2001工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第511部分：應(yīng)用解釋構(gòu)造：拓撲界定的曲面3ISO10303-1中定義的術(shù)語本部分使用ISO10303—1中定義的下列術(shù)語：——抽象測試套件abstracttestsuite(ATS)i——應(yīng)用application；——應(yīng)用相關(guān)環(huán)境applicationcontext；——應(yīng)用協(xié)議applicationprotocol(AP)；——數(shù)據(jù)data；——數(shù)據(jù)交換dataexchange；——通用資源generic——實現(xiàn)方法implementationmethod；——信息information；——集成資源integrated——解釋interpretation；——模型model；——產(chǎn)品product；——產(chǎn)品數(shù)據(jù)productdata；——結(jié)構(gòu)structure。GB／T16656．42中定義的術(shù)語本部分使用GB／T16656．42中定義的下列術(shù)語：——邊界boundary；——邊界表達固體模型boundaryrepresentationsolidmodel——相連connected；——坐標空間coordinatespace；——藍線curve；——維度dimensionality；——域domain；——參數(shù)空間parameterspace；——自相交self_intersect；GB／T16656．509--2010／IS010303-509：2001——曲面surface。3．3 GB／T16656．202中定義的術(shù)語本部分使用GB／T16656．202中定義的下列術(shù)語。3．3．1應(yīng)用解釋構(gòu)造(AIC)applicationinterpretedconstruct(AIC)應(yīng)用解釋構(gòu)造(AIC)[GB／T16656．202--2000，3．7．1]3．4在ISO10303-511中定義的術(shù)語本部分使用ISO10303—511中定義的下列術(shù)語：——高級曲面advancedface；——雕塑曲面sculpturedsurface；——掃略曲面sweptsurface。3．5其他術(shù)語和定義以下術(shù)語和定義適用于本部分。3．5．I二維流形2-manifold形狀邊界上的任一點都能創(chuàng)建一個足夠小的球體，以使球的內(nèi)部被這個邊界分成兩個確定的區(qū)域。邊界由邊和面構(gòu)成。注：該定義不考慮曲面的自相交、不沿邊的曲面相交以及連接三個面以上的邊。3．5．2非流形non-manifold使用拓撲構(gòu)造定義邊界和連通的曲面模型，該模型要么至少包括兩個共享一個face的connected_face_set，要么包括兩個以上的face共享一個edge。3．6縮略詞AIC：應(yīng)用解釋構(gòu)造(ApplicationInterpretedConstruct)AP：應(yīng)用協(xié)議(ApplicationProtoc01)ATS：抽象測試套件(AbstractTestSuite)4 EXPRESS短裹GB／T16656的本章規(guī)定了EXPRESS本部分規(guī)定的函數(shù)。注1：集成資源所規(guī)定的一些子類和選擇列表項沒有輸入到AIC中。通過使用ISO10303—11隱式接口規(guī)則，某些構(gòu)造從子類樹或選擇列表中被刪除。引用被刪除的構(gòu)造超出了本AIC的范圍。因為AIC關(guān)環(huán)境內(nèi)實現(xiàn)．因此選擇列表項在應(yīng)用協(xié)議中定義。本應(yīng)用解釋構(gòu)造為由解析或雕塑曲線和曲面組成的流形曲面表達的定義提供了一致的幾何與拓撲實體集合。在本部分中的最高層實體是manifold—surface—shape—representation。manifold—surface—shape_representation是有界的。幾何的邊界將通過拓撲實體(例如vertex、edge與face)獲得。拓撲實體都與相應(yīng)的幾何域關(guān)聯(lián)。注2：本部分使用的所有實體與類型均來自ISO10303—511的aic_topologically_bounded_surface。EXPRESS描述：*)SCHEMAaicGB／T16656．509—2010／ISO10303-509：2001USEFROMaic_topologically_boundedUSEFROMgeometric_model—schema(shell—based_surface_model)；USEFROMgeometry_schema(b_spline_curve，b_spline_surface，bounded_pcurve，bounded_surface—curve，cartesian_transformation_operator_3dcUrVe·curve_replica，degenerate_pcurve，evaluated_degeneratepcurve，intersection_curve，offsetcurve_3d，offset-surface，point_on_curve，poiIlt-on_surface，seam_ctlrve，surface，surface_replica)；

——IS010303—511——GB／T16656．42——GB／T16656．42USEFROMproduct_property_representation_schema(—————GB／T16656．41shape_representation)；USEFROMrepresentation_shema(mapped_item，representation，representation_item，representation_map)；USEFROMtopology_schema(closed_shell，connected_face_set，face，open_shell，oriented_closed_shell)；(*注3：以上引用的模式可在以下部分中查到aic_topologically_bounded—surfacegenmetric_modeLschemagenmetricschema

—————GB／T16656．43——GB／T16656．42ISO10303+511GB／T16666．42GB／T16656．424GB／T16656．509—2010／[SO10303-509：2001product_propertyrepresentationschemarepresentation．schematopology_schema4．1基本概念和假設(shè)

GB／TGB／TGB／T使用本AIC使以下實體在應(yīng)用協(xié)議模式中被單獨列舉：——maIlifold_surface_shape—representation。4．2 aic_manifold_surface模式實體定義：manifold_surfacerepresentationmanifold—surface—representation使用帶邊界的二維流形描述product的形狀或product形狀。注1：對二維流形進行拓撲約束以便于將它們包含到固體表達中。例如，在一個二維流形里，只能最多允許兩個face共用同一個edge。注2：本部分中不包括實體product。manifold—surface_shape—representation是由GB／T16656．41定義的組成一個或多個shell—basedsurface_model的shape—representation。每一個shell—based—surface—model都是由faceopen_shell和closed-shell建成的。connected-face—set是open—shell和closed—shell可實例化的。face使用edge和vertex，edge和vertex引用幾何實體，比如point、curve與surface撲和幾何的連接即可以使用face—surface建立又可以使用ISO10303—511定義的advanced—surface立。這兩種選擇既不同于有效的point、curve和surface子類選擇，也不同于引用基礎(chǔ)幾何中的約束。注3：在流形曲面模型中建議把face_surface表達為advanced_face以便與邊界表達實體模型一起使用；這樣把流形曲面模型與ISO10303—514定義的高級邊界曲面模型進行集成將更加容易。除去用于定義pcurve的二維幾何，所有幾何實體都應(yīng)是三維的。不能使用一維cartesian_poInt。使用拓撲構(gòu)造對所有無界幾何進行剪裁。manifold-surface—shape—representation的items可以是在GB／T16656．43中定義的mapped—item類型或者是axis2一placement一3d類型。通常把一個或多個manifold—surface—shape—representation組裝到一個其他的manifold_surface_shaperepresentation。根據(jù)以上聲明，這個實體的WHERE—rule限定使用從GB／T16656．42和GB／T16656．43輸入的實體數(shù)據(jù)類型。實體類型的檢驗和約束主要是通過以下兩個函數(shù)實現(xiàn)：——msf_curvecheck；——msf—surface_check。在WR6和WRl0中，除了那些屬于advanced—face的引用樹，這些函數(shù)檢驗manifold—surface—shape—representation范圍內(nèi)的curve以及所有edge上的surface和face，advanced_face的幾何由不同的規(guī)則集來檢驗。這些函數(shù)自動讀取所有基礎(chǔ)幾何的曲線和曲面，這種方式也稱遞歸。示例：一個pcurve既可以引用curve又可以引用surface。函數(shù)msLcurve_check檢查的不僅是peurve，查該基礎(chǔ)幾何。為此，它將不僅調(diào)用它自身，同樣也調(diào)用msLcurvecheck。注4：本部分中不包括用于檢驗point及其基礎(chǔ)curve和surface的函數(shù)。這是因為在一個manifold—surface—shape_representation中所有的curve和surface都被edge和face引用，因此這兩個函數(shù)包含了驗證point及其基礎(chǔ)cuiwe和surface的功能。注5：本部分使用的應(yīng)用協(xié)議顯式地允許shape_representation實體實例化為manifold—surface—shape_representa—tion。EXPRESS描述：*)ENTITYmanifold-surface_shape_representationSUBTYPEOF(shape_representation)；WHERE5GB／T16656．509—2010／Is010303-509：2001wRl：SIEEOF(QUERY(it<*SELF．items{NOT(SIZEOF(['AIC_MANIFOLD—SURFACE．sHⅡ．I|BAsED-sURFAcE-MODEL'，’AIc-MANIFOLD-SURFACE．MAPPED_ITEM。，’AIC_MANIFOLD_SURFACE．AXIS2一PLACE姍_3D’]*TYPEOF(it))=1)))=0WR2：SIZEOF(QUERY(it<*SELF．itemsSIZEOF([’AIC_MANIFOLD_SURFACE．SHEIL_BASED_SURFACE_MODEL’，’AIC_MANIFOLD_SURFACE．MAPpED_ITEm]*TYPEOF(it))=1))>0；弧3：SIZEOF(QUERY(mi<*QUERY(it<*SELF．items1AIC_MANIFOLD_SIPRFACEMAgPED一工TEMINTYPEOF(it))1NOT((’AIc_MANIFOLD_SURFACE．MAN工F0【D—S【砸A咀SHAgE_REPRESENTATIONINTYPEOF(mi＼mappecLitem．mapping_source．mapped_representation))AND(SZZEOF(0UERY(mr_it<*mi＼mapped-item．mapping_source．mapped_representation．items('AIC_MA田IFOLD_SURFACE．SHF／L_BASⅡ)-SURFACE_MODEL'INTYPEOF(mr_it))))>0))))=0；WR4：SIZEOF(QUERY(sbsm<*0UERY(it<*SELF．items'AIC_MANIFOLD—SURFACE．s恥【-LBAsED-suRFA咀MODE【|。工NNOT(SIZEOF(QUERY(sh<*。AIC_MANIFOLD_SURFACE．ORIF姍_CLOSED_SHELL'，sbsm＼shell—basecLsurface_model．sbsm_boundaryNOT(SIZEOF(['AIC_MANIFOL49_SUP2ACE．OPEN_SHELL'，。AIC_MANIFOLD_SURFACE．ORIF姍_CLOSED_SHELL'，’AIC_MANIFOLD_SURFACECLOSED_S髓ZL'3*TYPEOF(sh))=1)))=0)))=0；WR5：SIZEOF(QUERY(sbsm<*QUERY(it<*SELF．items’AIC_MANIF0【lILSURFACE．SHELLBASED_SURFACE_MODEL'工NNOT(SIZEOF(QUERy(cfs<*sbsm＼shell—based_surface_model．sbsm_boundaryNOT(SIZEOF(QUERY(fa<*cfs＼connected-face_set．cfs—facesNOT('AIC_MANIFOLD_SURFACE．FACE_SbqIFACE'INTYPEOF(fa))))=O)))=0)))=0；WR6：SIZEOF(QUERY(sbsm<*QUERY(it<*SELF．items。AIC_MANIFOLD-SURFACE．SHEIL_BASED-SURFACEMODEL'INTYPEOF(it))lNOT(SIZEOF(QUERY(cfs<*sbsm＼shell—basecLsumface_modal．sbsm_boundaryNOT(SIEEOF(QUERY(fa<*cfs＼connectedfaceset．cfs—facesNOT(('AIC_MANIFOLD_SURFACE．ADVANCED_FACE'INTYPEOF(fa))OR(msf—surface_check(f“face_surface．face_geometry)))))=0)))=0)))=0；WR7：SIZEOF(QUERY(sbsm<*QUERY(it<*SELF．items’AIC_MANIFOLD—SURFACE．SHE【_L_BASED-SURFACE_MODEL’INTYPEOF(it))lNOT(SIZEOF(QUERY(fa<*cfs＼connectsdfaceset．cfs—faces6GB／T16656．509—2010／]SO10303—509：2001NOT((’AIc-MANIFOLD_SURFACE．ADVANCED_FACE'INTYPEOF(fa))OR(SIZEOF(QUERY(bnds<*fa．boundsNOT(SIZEOF(1AIc_MANIFOLD_SURFACE．EDGE_LOOF，·AICMANIFOLDSURFACEVERTEXLooP]*TYPEOF(bnds．bound))=1)))=O))))=0)))=0)))=0；WR8：SIZEOF(QUERY(sbsm<*QUERY(it<*SELF．itemsl'AIc_MANIFOLD_SURFACE．SHELL_BASED_SURFACE_MODEL'INTYPEOF(it))NOT(SIEEOF(QUERY(cfs<*sbsm＼shell—based_surface—model．sbsm_boundaryNOT(SIZEOF(QUERY(fa<*cfs＼connected_face_set．cfs—facesNOT(('AIC_MANIFOLD_sURFACE．ADVANCEDFACE'INTYPEOF(fa))OR(SIZEOF(QUERY(elp_fbnds<*QUERY(bnds<*fa．bounds’AIC_MANIFOLD_SURFACE．EDGE_LOOFINTYPEOF(bnds．bound))INOT(SIZEOF(QUERY(oe<*elp_fbnds＼path．edge_listNOT('AIC_MANIFOLD_SURFACE．EDGE_CURVEINTYPEOF(oe．edg『e_element))))=0)))=0))))=0)))=0)))=0；WR9：SIZEOF(QUERY(sbsm<*QUERY(it<*SELF．items。AIC_MANIFOLD_SURFACE．SHELL_BASED_SURFACE-MODEL'INTYPEOF(it))NOT(SIZEOF(QUERY(cfs<*sbsm＼shell—based_surface_model．sbsm_boundaryNOT(SIEEOF(QUERY(fa<*cfs＼connected_face—set．cfs—facesNOT(('AIC_MANIFOLD_SURFACE．ADVANCED_FACE’INTYPEOF(fa))0R(SIZEOF(QUERY(elp_fbns<*QUERY(bnds<*fa．bounds'AIc_MANIFOLD-SURFACE．EDGE_LOOP'工NTYPEOF(hnds．bound))lNOT(SIZEOF(QUERY(oe—cv<*QUERY(oe<*elp_fbnds＼path．edge_list’AIC_MANIFOLD—SURFACE．EDGE-CURVE’工NTYPEOF(oe．edge_element))JNOT(SIZEOF([’AIc_MANIFOLD_SURFACE．B_SPLINE_CURVE'，’AIC_MANIFOLD—SURFACE．CONIC，’AIC_MANIF0【lD—SURFACE．CURVE_REPLICA'，’AIc-MANIFOLD_SURFACE．LINE。，’AIC—MANIFOLD_SURFACE．OFFSET-CURVE一3Dl，’AIc-MANIFOLD_SURFACE．PCURVE’，’AIC_MANIFOLD—SURFACE．POLYLINE’，’AIC_MANIFOLD_SURFACE．SURFACE_CURVE']*TYPEOF(oe_cv．edge_element＼e由e_curve．edge_geometry))=1)))=0)))=0))))=0)))=0)))=0；WRl0：SIZEOF(QUERY(sbsm<*QUERY(北<*SELF．items’AIc_MANIFOLD—SURFACE．SHELL_BASE【)_SURFACE_MODEL’工NTYPEOF(it))NOT(SIZEOF(QUERY(cfs<*7GB／T16656．509—2010／1S010303—509：2001sbsm＼shell—basecLsurface_model．sbsm_boundaryNOT(SIZEOF(QUERY(fa<*cfs＼connected_face_set．cfs—facesNOT((’AIc-MANIFOLLSURFACE．ADVANCED_FACElINTYPEOF(fa))OR(SIZEOF(QUERY(elp_fhnds<*QUERY(bnds<*fa．bounds'AIC_MANIFOLD_SURFACE．EDGE_L00[’INTYPEOF(bnds．bounds))lNOT(SIZEOF(QUERY(oa<*alp—fbnds＼path．edge_listNOT(msf—curve—check(oe．edge_element＼edgecurve．edge_geometry))))=0)))=0))))=0)))=0)))=0；WRll：SIZEOF(QUERY(sbsm<*QUERY(it<*SELF．items。AIC_MANIFOLD_SURFACE．SHELL_BASED_SURFACE-MODEL。INTYPEOF(it))INOT(SlZEOF(QUERY(cfs<*sbsm＼shell_based_surface_model．sbsm_boundaryNOT(SIZEOF(OuEDY(fa<*cfs＼connected_face_set．cfs—facesNOT(('AIC_MANIFOLDSURFACE．ADVANCED_FACE’工NTYPEOF(fa))OR(SIZEOF(QUERY(elp_fbnds<*QUERy(bnds<*fa．bounds’AIC_MANIFOLD_SURFACE．EDGE_LOOFINTYPEOF(bnds．bound))INOT(SIZEOF(ocEaY(oe<*elp_fbnds＼path．edge_listNOT((’AIc_MANIFOLD—SURFACE．VERTEX_POINTINTYPEOF(oe．edge_element．edge_start))AND(值IC—MANIFOLD—SURFACE．VERTEX_POINTINTYPEOF(oe．edge_element．edge_end)))))=0)))=0))))=0)))=0)))=0；WRl2：SIZEOF(QUERY(sbsm<*0UERY(it<*SELF．items’AIC_MANIFOLDSURFACE．SHELLBASED_SURFACE_MODEL'INTYPEOF(it))lNOT(SIZEOF(QUERY(cfs<*sbsm＼shell—based_surface_model．sbsm_boundaryNOT(SIZEOF(QUERY(fa<*cfs＼connected_faceNOT(('AIC_MANIFOLDSURFACE．ADVANCED—FACE'INTYPEOF(fa))OR(SIZEOF(QUERY(elpfbnds<*0UERY(bnds<*fa．bounds’AIC_MANIFOLD_SURFACE．EDGE_LOOP’INTYPEOF(bnds．bound))INOT(SIEEOF(QUERY(oe<*elp_fbnds＼path．edge_listNOT((SIZEOF([。AICMANIFOLD_SURFACE．CARTESIAN_POINT，’AIc_MANIFOLD_SURFACE．DEGENERATE_PCURVE’，’AIc-MANIFOLD_SURFACE．POINT_0N_CURVE'，’A工CMANIFOLD_SURFACE．POINT二ON_suRFAcEl]*TYPEOF(oe．edge_element．edge_start＼vertex_point．vertex_geometry))=1)AND(SIZEOF([咀Ic-MANIFOLD_SURFACE．CARTESIAN-POINT，’AIC_MANIFOLD_SURFACE．DEGENERATE—PCURVE'，8GB／T16656．509—2010／mo10303-509：2001’AIC_MANIFOLD_SURFECK．POINT—ON—CURVE'，’AIc-MANIFOLD_SURFACE．POINT—ON—SURFACE‘j*TYPEOF(oe．edge_element．edge_end＼vertex_point．vertex_geometry))=1))))=0)))z0))))=0)))=0)))=0；WRl3：SIEEOF(QUERY(sbsm<*QUERY(it<*SELF．items’AIc—MANIFO【lILSURFACE．SHELL_BASED_SURFACE_MODEL'INTYPEOF(it))NOT(SIZEOF(QUERY(cfs<*sbsm＼shell—based-surface—model．sbsm—boundaryNOT(SIEEOF(QUERY(fa<*cfs＼connected—face—set．cfs—facesNOT((’AIC—MANIFOLDSURFACE．ADVANCED—FACE'INTYPEOF(fa))OR(SIEEOF(QUERY(wlp_fbnds<*QUERY(bnds<*fa．bounds'AIC_MANIFOLD_SURFACE．VERTEX_L00F工NTYPEOF(bndds．bound))INOT('AIC_MANIFOLD_SURFACE．VERTEX_POINTINTYPEOF(vlp_fbnds＼vertex_loop．100p_vertex))))=o))))=0)))；0)))=0；WRl4：SIZEOF(QUERY(sbsm<*ovHEY(it<*SELF．items’AIC_MANIFOLD—sURFACE，SHELL_BASED—sURFACE_MODEL'工NNOT(SIEEOF(QUERY(cfs<*Sbsm＼shell—based_surface_model．sbsm_boundaryNOT(SIZEOF(QUERY(fa<*cfs＼connected—face—set．cfs—facesNOT(('AIC_HANIFOLD—SURFACE．ADVANCED_FACE。INTYPEOF(fa))OR(SIZEOF(QUERY(vlpfbnds<*QUERY(bnds<*fa．boundsf’AIC_MANIFOLD_SURFACE．VERTEX_LOOFINTYPEOF(bnds．bound))fNOT(SIZEOF([’AIC_MANIFOLD_SURFACE．CARTESIAN—POINT，’AIc-MANIFOLD_SURFACEDEGENERATE_PCURVE'，’AIc-MANIFOLD_SURFACE．POINT0N_CURVE'，'AICMANIFOLDSURFACE．POINTONSURFACE。]*TYPEOF(vlp_fbnds＼vertex_loop．100p_vertex＼vertex_point．vertex_geometry))=1)))=0))))=0)))=0)))=0；EliD—ENTITY；(*形式限制：WRI：在一個manifold—surface—shape—representation中的各item可以是shell—based—surface—modeI、mapped—item或axis2一placement_3d。注6：axis2一placement一3d是合法的mapped—item．mapping—target。manifold—surface—shape—representation的item列表中包括其他的representation，mapped—item．mapping_source．mapping_origin可以是mapped—rep—resentation的geometric—representation中的任何實體。如果這個實體是axis2一placement一3d，算子把mapped—representation映射威相應(yīng)的只進行平移和旋轉(zhuǎn)變換矩陣的manifold—sur(ace—shape—representation。如果把cartesian_transformation_operator_3d用于mapping_origin，還可以進行比例縮放和鏡像。GB／T16656．509—2010／tso10303—509：2001WR2：在一個manifold—surface—shape—representation中，至少有一個item既是shell—based—surface—model又是mapped_item。WR3：如果manifold_surface_shape_representation中存在mapped—item，那么其mapping—source的mapped_representation還可以是manifold-surface—shape_representation。WR4：shel]．_based—surface—model的邊界，也就是它的屬性sbsm—boundary，僅使用open—shell、closed_shell或oriented_closed_shell進行定義；使用oriented_open_shell是非法的。WR5：face可以實例化成face—surface，這可能包括advanced—surface子類。oriented—faceface的合法實例。WR6：surface引用的所有基礎(chǔ)幾何既可以在advanced—face引用樹內(nèi)又可以是合法的curvesurface。offset—surface的basis—surface既可以是elementary—surface、b—spline—surface、offset—surfaceswept_surfaee，又可以是surfacereplica。surface_replica的parentsurface既可以是elementary—surface、b—spline—surface、offset—surfaceswept—surface，又可以是surface_replica。swept_surface的swept一&urve既可以是line、conic、pcurve、surface—curve、offset—curve一3d、b—spline_curve、polyline，又可以是curve_replica。b—spline_surface和offset—surface的self-intersect的屬性可設(shè)為FALSE或UNKNOwN。注7：通過函數(shù)msCsurface_check的約束驗證一個surface。WR7：從face引用face—bound的bound既可以在advanced—face引用樹內(nèi)，又可以是edge—loop或vertexloop。WR8：界定邊界的edge的幾何，即orientd_edged的edge—element，既可以在advanced—face用樹內(nèi)，又可以是edge_curve。WR9：用于定義edge幾何的curve，即edge的edgecurve的edge_geometry，既可以是b—spline—curve、conic、curve_replica、line、offset—curve一3d、pcurve、polyline、surface—curve，又可以是advanced—face引用樹內(nèi)的curve。WRl0：curve引用的所有基礎(chǔ)幾何既可以在advanced—face引用樹內(nèi)，又可以是合法的curve和surface。curve—replica的parent—curve既可以是line、conic、pcurve、surface—curve、offset—curve一3d、spline—curve、polylin，又可以是curvereplica。offset_curve3d的basis—curve既可以是line、conic、pcurve、surface—curve、offset—curve一3d、spline—curve、polylin，又可以是curve—replica。surface—curve的eurve_3d既可以是b—spline_curve、elementary—surface、offset—surface、surface—replica，又可以是swept—surface。polyline至少包含三個cartesian_point。b—spline_curve和offset—eurve_3d的屬性self_intersect可設(shè)置為FALSE或UNKNOWN注8；通過函數(shù)rasCcurve_check的約束檢驗curve的合法性。WRll：一條edge的edge—start和edge_end既可以在advanced．．face引用樹內(nèi)，又可以是vertex_point。WRl2：vertex的vertex_geometry是edge_loop的～部分，它既可以在advanced—face又可以是cartesianpoint、point_on_curve、point_onsurface或degenerate_peurve。WRl3：vertex_loop的loop_vertex既可以在advanced—face引用樹內(nèi)，又可以是vertex_poInt。WRl4：vertex的vertex_geometry是vertex—loop的一部分，它既可以在advanced—face引用樹內(nèi)，又可以是cartesian_point、point—oncurve、point_on_surface或degenerate—pcurve。10GB／T16656．509--20]0／IS010303-509：2001非形式限制：IPl：在manifold_surface_shape_representation拓撲域內(nèi)的b—spline—curve不能自相交。IP2：在manifold_surface_shape—representation拓撲域內(nèi)的b—spline_surfaceIP3：在manifold_surface_shape—representation拓撲域內(nèi)的offset_curve_3d不能自相交。IP4：在manifold—surface_shape_representation拓撲域內(nèi)的offset_surface不能自相交。IP5：如果face僅有一個連接的外邊界，相應(yīng)的loop應(yīng)該表達成face_outer_bound接的，不能使用face—outer—bound。4．3 ale_manifold_surface函數(shù)定義本條描述了闡明aic—manifold-surface模式約束所需的函數(shù)。這些函數(shù)被用于規(guī)范manifold_sur—faceshape_representation實體。4．3．1 函數(shù)msf_eurve_checkmsf_curve—check用于檢查在manifold_surface_shape_representation相關(guān)環(huán)境中curve法性。curve實例引用的所有幾何也將被檢查，例如其他curve和surface。示例：這個函數(shù)檢查的一個約束條件是：是否一個b—spline—curve實例的白相交標記設(shè)置為TRUE、FALSE或UNKNOWN；只有設(shè)置為FALSE或UNKNOWN是合法的。對一個實例進行遞歸性調(diào)查意味著如果一條curve引用其他curve重新調(diào)用函數(shù)msLcurve_check進行檢查。如果實例引用了surface，調(diào)用函數(shù)msLsurface—check行檢查。當實體類型不引用任何curve和surface時，這種遞歸調(diào)用過程結(jié)束。以下曲線類型及其子類都在manifold．surface—shaperepresentation范圍內(nèi)，因此可合法地輸入到這個函數(shù)：——b—spline—curve；——conic：——curve—replica；——llne：——offseLcurve-3d；——pcurVe；——p01yline；——surface—curve。這些curve類型中的四種類型引用基礎(chǔ)curve或父curve。下面列出了合法的引用。注1：這個函數(shù)適用于在遞歸過程的列表中標記的那些實體類型，以檢查合法實例化的實體引用。curve_replica的parent—curve與offset_curve_3d的basis—curve是以下類型中的一種：——b—spline_curve；——conic：——curve—replica(遞歸)；——1ine；——offseLcurve-3d(遞歸)；——pcurve(遞歸)；——p01yline；——surface—curve(遞歸)。由pcurve引用為reference_to_curve的definitional—representation的items集合中的一個實例是以下一種類型：——b—spline—curve；11GB／T16656．509--2010／IS010303—509：2001——ConH：；——curve-replica(遞歸)；——line：——p01yline。surfacecurve的curvc_3d是以下一種類型：——b—spline_curve；——conic：——curve-r印lica(遞歸)；——line；——o玨set—curve_3d(遞歸)；——polyline；——surface—curve(遞歸)。pcurve和surface_curve都引用surface，因此調(diào)用函數(shù)msfsurface—check檢查這些surface的合法性。manifld_surface-shape_representation要求pcurve和Sul{acecurve引用的合法surface滿足GB／T16656．42中規(guī)定的surface的約束條件。一條合法的polyline將至少包括三個cartesian_point。B樣條和偏置幾何的self_intersect屬性可設(shè)置為FALSE或UNKNOWN如果所有引用幾何的類型都在manifold—surface—shape—representation條件，函數(shù)返回為TRUE，否則函數(shù)返回FALSE。注2：該函數(shù)不檢查涉及引用GB／T16656．42內(nèi)容的正確性。只有屬于manifold—surface—shape—representation范圍的附加要求才會被檢查。EXPRESS描述：*)FUNCTIONmsf～curve_check((cv：representation_item)：BOOLEAM；(*Thisfunctionverifiesthevalidityofinthecontextofmanifoldsurfacemodel．Representation_itemsvalidinput，however，theyaresupposedtobecurves；otherwisethisfunctionwillreturnfalse．*)(*complexsubtypesofthatbothbounded_curveoneofconic，curve_replica，line，Oroffset—curve_3dnotvalid*)IFSIZEOF(['AIC_MANIFOLD_SURFACE．BOUIqDED_CURVE’，1AIC_MANIFOLD—SURFACE．CONIC，。AIC_MANIFOLD_SURFACE．CURVE_REPLICA'，咀IC_MANIFOLD～SURFACE．LINE',’AIC_MANIFOLD_SURFACE．0FFSET_CURVE_3口]*TYPEOF(cv))>1THENRETURN(FALSE)；END—IF{(*b-splineshellnotself’intersect*)IF((’AICMANIFOLD_SURFACE．B_SPLIIqE_COIRVE'工NTYPEOF(cv))AND12GB／T16656．509—2010／Is0i0303-509：2001(cv＼b_spline—curveself—intersect=FALSE)OR(cv＼b-spline—curve．self—intersect=UNKNOWN))THENRETURN(TRUE)；ElSE(*conicsendlinesvalidtypes*)IFSIZEOF(['AIC_MANIFOLDSURFACE．CONIC．'AIC_MANIFOLD_SURFACE．LINE']*TYPEOF(cv))=1THENRETURN(TRUE)；ELSE(*acurve_replicashallreferencevalid*)IF’AIc-MANIFOLD_SURFACE．CURVEREPLICWINTYPEOF(cv)THENRETURN(msf_curve_check(cv＼curve—replica．parent_curve))Ⅱ，SE(*enoffset-curve一3dshallnotself-intersectendshallreferencevalidpolylineisnotvalidbasis—curve*)IF((’A工C—MANIFOLD_SURFACE．OFFSET_CURVE_3VINTYPEOF(cv))AND((cv＼offset_curve_3d．self—intersect=FALSE)OR(cv＼offset-curve_3d．self—intersect=UNKNOWN))AliD(NOT('AIC_MANIF0加一SURFACE．POLYLINEINTYPEOF(cv＼offset-curve_3d．basis—curve))))THENRETURN(msf—curve—check(cv＼offset—curve_3d．basis—curve))；ELSE(*apcurveshallreferencevalidendvalidbasis—surface*)IF'AIc—MANIFOLD_SURFACE．PCURVEINTYPEOF(cv)THENRETURN((msf—curve_check(cv＼pcurve．referencetocurve＼representation．items[1])))AND(msf—surface_check(cV＼pcurve．basis—surface)))；ELSE(*asurface_curvereferencescurve_3dandtwopcurvetwosurfaceof13GB／T16656．509--2010／IS010303"-509：2001each；allofthesereferencesshallbevalid*)工F’AIC_MANIFOLD_SURFACE．SURFACE_CURVE'INTYeEOF(cv)THEN(*ifthereferenceiscorrect，checkalsotherest*)IFmsf_curve—check(cv＼surface_curve．curve_3d)THENREPEATi：=1TOSIZEOF(cv＼surface—Curve．a(chǎn)ssociated_geometry)；(*dofortwoassociated_geometrys：*)工F'AIC_MANIFOLD—SURFACE．SURFACE'INTYPEOF(cv＼surface_curve．a(chǎn)ssociated_geometry[i])THENIFNOTmsf-surface—check(cv＼surfacecurve．a(chǎn)ssociated_geometry[i])THENRETURN(FALSE)}END—IF；ELSEIF，AICMANIFOLDSUIiFA江．PCURVE。INTYPEOF(cV、Lsurface_curve．a(chǎn)ssociated_geometry[i])THENIFNOTmsfcheck(cv＼surfacecurve．a(chǎn)ssociated_geometry[i])THENRFTURN(FALSE)；END_IF；END_IF；END_IF；END_REPFATRETURN(TRUE)；ENDIF；ELSE(*apolylineshallhaveatleast3points*)IF'AIC_MANIFOLD—SURFACE．POLYLINE'INTYPEOF(cv)THENIF(SIZNDF(cv＼polyline．points)>=3)THENRETURN(TRUE)END—IF；END—IF；END—IF}END_IF；END_IF；ENDIF；END_IF；14GB／T16656．509—2010／Iso10303—509：2001END_IF；(*FALSEisreturnediftheinputparameterisnotvalid*)RETURN(FALSE)；END_FUNCTION；(*變量定義：cv(輸入)：假設(shè)輸入的representation_item是在manifold—surface_shape—representation被進行合法性檢查的curve。BOOLEAN：如果輸入的representation_item是合法的curve，輸出為TRUE，否則輸出為FALSE4．3．2函數(shù)msf．_surfacecheckmsf—surface—check用于檢查在manifold—surface—shape—representation相關(guān)環(huán)境中surface實例的合法性。surface實例引用的所有幾何也將被檢查，例如其他的curve和surface。示例：這個函數(shù)檢查的一個約束條件是：是否一個bspline_curve實例的自相交標記設(shè)置為TRUE、FALSE或UNKNOWN；只有設(shè)置為FALSE或UNKNOWN是合法的。對一個實例進行遞歸性檢查意味著如果一個surface引用其他surface作為基礎(chǔ)曲面或父曲面，需要重新調(diào)用函數(shù)msf_surface_check進行檢查。如果引用了curve，調(diào)用函數(shù)msf_curve—check查。當實體類型不引用任何curve和surface時，這種遞歸調(diào)用過程結(jié)束。以下曲面類型及其子類都在manifoldsurface_shaperepresentation這個函數(shù)：——b—spline_surface；--elementary_surface；——offset—surface；——surface—relica；——swepLsur±ace。這些surface類型中的兩種類型引用基礎(chǔ)surface和父surface和offset_surface的basis—surface是以下一種類型：——b—spline_surface；——elementary—surface；——offseLsurface(遞歸)；——surfaee_reliea(遞歸)；——swept—surface。注1：這個函數(shù)適用于在遞歸過程的列表中標記的那些實體類型，以檢查合法實例化的實體引用。swept—surface引用curve。調(diào)用函數(shù)msf—curve—check檢查這些curve的合法性。manifold—surface_shape_representation要求合法的掃略曲面采用GB／T16656．42中規(guī)定的約束條件。—surface—shape_representation范圍內(nèi)的所有curve都是合法的swept_surface．sweptB樣條和偏置幾何的self-intersect屬性可設(shè)置為FALSE或UNKNOWN。如果所有引用幾何的類型都在manifold—surface_shape—representation范圍內(nèi)并滿足所有約束條件，函數(shù)返回為TRUE，否則函數(shù)返回FALSE。注2：該函數(shù)不檢查涉及引用GB／T16656．42內(nèi)容的正確性。只有屬于manifold—surface—shape_representation范圍的附加要求才會被檢查。EXPRESS描述：GB／T16656．509--2010／IS010303-509：2001*)FUNCTIONmsf—surface—check(surf：surface)：BOOLEAN(*Thisfunctionverifiesthevalidityofsurfaceinthecontextofmanifoldsurfacemodel．*)*)ELSE

(*elementary_surfacesvalidsurfacetypesIF'AIC_HANIFOLD_SURFACE．ELEMENTARY—SURFACE'INTYPEOF(surf)THENRETURN(TRUE)；(*aswept_surfaceshallhavevalidsweepingcurve*)IF強IC_MANIFOLD_SURFACESWEPT_SURFACE'INTYPEOF(surf)THENRETURN(msf_curve_check(surf＼swept_surface．swept_curve))；ELSE(*anoffset_surfaceshallnotself-intersectandshellreferencevalidsurface*)IF((AIC—MANIFOLOSURFACE．OFFSET—SURFACE'INTYPEOF(surf))AND(surf＼offset-surface．self_intersect=FALSE)OR(surf＼offset-surface．self—intersect=㈣硼))THEN(surf＼offset-surface．self_intersect=FALSE)ORRETURN(msf-surface—check(surf＼offset-surface．basis—surface))；ELSE(*asurface_replicashallhavevalidparentsurface*)IF‘AIC_MANIFOLD_SURFACE．SURFACE_REPLICⅣINTYPEOF(surf)THENRETURN(msf—surfacecheck(surf＼surface_replica．parent—surface))；ELSE(*abspline_surfaceshallnotself-intersect*)IF((’AIC—MANIFOLD_SURFACE．B—SPLINE—SURFACE'工NTYPEOF(surf))AND

(surf＼b-spline—surface．self—intersect=FALSE)OR(surf＼b-spline—surface．self—intersect=UNKNOWN))THENRETURN(TRUE)；E14D—IF；END—IF}END—IF；END_IF；END_IF；RETURN(FALSE)；16GB／T16656．509—2010／tso10303-509：2001ENDFUNCTION；變量定義：surf：檢查輸入的surface是否是manifold_surface_shape—representation中規(guī)定的合法surfaceBOOLEAN：如果輸入的surface是合法的surface，輸出TRUE；否則輸出FALSE。*)END_SCHEMA；一aic—manfoldsurface(*17GB／T16656．509—2010／ISO10303-509：2001附錄A實體短名表A．1給出了GB／T16656的本部分規(guī)