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

園亙ICS25．040．40L67園亙中華人民共和國國家標(biāo)準(zhǔn)GB／T16656．507—201O／ISO10303-507：2001工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第507部分：應(yīng)用解釋構(gòu)造：幾何有界曲面Industrialautomationsystemsandintegration--ProductdatarepresentatiOnandexchange---Part507：Applicationinterpretedconstruct：Geometricallysurface(ISO10303—507：2001，IDT)2011-01—14發(fā)布 2011-05—01實(shí)施中華人民共；fⅡ國國家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局告布中國國家標(biāo)準(zhǔn)化管理委員會(huì)厘111GB／GB／16656．507—2010／IS10303-507：200前言l言---·--??????-----·---??????---------·??????··?-··???--···???··-·?···1范圍??···------??????···?---··????·?·???·····-·-?????···??-?·-???2規(guī)范性引用文件??????·???????????????????????????一3術(shù)語、定義和縮略語???????????···?????????????????????3．IS10303—1中定義的術(shù)語??????????··??·???????????????3．GB／16656．42中定義的術(shù)語????·???????···??·????????????·3．GB／16656．202中定義的術(shù)語????····?????????·???????????·3．4其他術(shù)語和定義????·???????????·?·??????????·?????--3．5縮略語????·????????···????????????·····??????????EXPRESS短表????··········??--??··??·?··-···??-·-??---·??··?····?-----??附錄A(規(guī)范性附錄)實(shí)體短名???······???????????···???????????1附錄B(規(guī)范性附錄)信息對(duì)象注冊(cè)??????????????????????????2附錄C(資料性附錄)EXPRESS-G圖????????·?·····?????????? ??-2附錄D(資料性附錄)計(jì)算機(jī)可解釋的列表???·?????????··?·????????··40標(biāo)準(zhǔn)分享網(wǎng)免費(fèi)下載GB／T16656．507—2010／ISO10303-507：200I刖 昌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)造；——第i000部分至第1999部分規(guī)定了應(yīng)用模塊。GB／T16656((工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》現(xiàn)已發(fā)布和即將發(fā)布的包括以下部分：——第1部分：概述與基本原理；——第11部分：描述方法：EXPRESS語言參考手冊(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部分：集成通用資源：形狀變化公差i——第49部分：集成通用資源：工藝過程結(jié)構(gòu)和特性}——第51部分：集成通用資源：數(shù)學(xué)表達(dá)；——第54部分：集成通用資源：分類和集合論；——第55部分：集成通用資源：過程與混合表達(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ì)；IGB／GB／16656．507—2010／IS10303-507：200——第238用解釋模型——第601部分：應(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)用模塊：基礎(chǔ)表達(dá)——第1007部分：應(yīng)用模塊：通用曲面外觀——第1008部分：應(yīng)用模塊：層賦值——第1009部分：應(yīng)用模塊：形狀外觀和層本部分是GB／16656的第507部分本部分等同采用國際標(biāo)準(zhǔn)IS10303—507：2001((2K業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交第507部分：應(yīng)用解釋構(gòu)造：幾何有界曲面》(英文版)，其技術(shù)內(nèi)容和結(jié)構(gòu)與IS10303—507：200l保一致，為便于使用，做了如下編輯性修改a)刪去了ISO前言、索引b)對(duì)于帶下劃線的用于EXPRESS語言描述的各黑體英文實(shí)體名、屬性名和函數(shù)名等，為了維A、附錄B為規(guī)范性附錄，附錄C、附錄D為資料性附錄159)歸口本部分主要起草單位：中國標(biāo)準(zhǔn)化研究院本部分主要起草人：周歆華、王志強(qiáng)、李文武、洪巖、楊青海、劉守華Ⅱ標(biāo)準(zhǔn)分享網(wǎng)免費(fèi)下載GB／T16656．507—2010／ISO10303—50712001引 言GB／T16656換，而且也是實(shí)現(xiàn)和共享產(chǎn)品數(shù)據(jù)庫及存檔的基礎(chǔ)。GB／T16656系列。應(yīng)用解釋構(gòu)造(AIC)給出了解釋構(gòu)造的邏輯組合以支持在多個(gè)應(yīng)用相關(guān)環(huán)境中使用產(chǎn)品數(shù)據(jù)的特定功能。解釋構(gòu)造是集成資源的公共解釋以支持應(yīng)用協(xié)議中共享信息的需求。本部分通過幾何有界曲面模型為幾何形狀的描述規(guī)定了應(yīng)用解釋構(gòu)造。它包括定義純幾何有界模型的幾何資源，幾何有界模型由基本與雕塑曲線和曲面組成。ⅢGB／GB／16656．507--2010／IS10303-507：200工業(yè)自動(dòng)化系統(tǒng)與集產(chǎn)品數(shù)據(jù)表達(dá)與交第分：應(yīng)用解釋構(gòu)造：幾有界曲1范GB／16656的本部分規(guī)定了集成資源的解釋，通過幾何有界曲面模型來滿足對(duì)幾何形狀的表的需求以下內(nèi)容屬于本部分的范圍——3D點(diǎn)——定義在曲線或曲面參數(shù)空間中的點(diǎn)——3D曲線——定義在曲面參數(shù)空間中的曲線注：這樣的曲線也稱為pcurves或COnS，這是參數(shù)化曲線和曲面上的曲線的簡稱——基本曲線：圓，橢圓，拋物線和雙曲線——相交曲線——至少由三點(diǎn)組成的折線——曲面——基本曲面：平面、柱面、錐面、圓環(huán)面和球面——通過曲線的旋轉(zhuǎn)或線性拉伸而產(chǎn)生的掃描面——雕塑曲線和曲面——曲線和曲面的剪裁——曲線和曲面的復(fù)合——曲線、曲面和曲面模型的復(fù)制——曲線和曲面的三維偏置以下內(nèi)容不適用于本部分的范圍——無界幾何——自交幾何——二維笛卡爾坐標(biāo)空間內(nèi)的幾何——點(diǎn)的復(fù)制——拓?fù)鋵?shí)體2規(guī)范性引用文下列文件中的條款通過GB／16656的本部分的引用而成為本部分的條款。凡是注日期的引用部分GB／16262．1信息技術(shù)抽象語法記法一(AsN．1)第1部分：基本記法規(guī)范(GB／16262．I-2006，ISO／iE8824—1：2002，IDT1標(biāo)準(zhǔn)分享網(wǎng)免費(fèi)下載GB／T16656．507—20]0／1so10303—507：2001GB／T16656．41—1999工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第41源：產(chǎn)品描述與支持原理(idtIS010303—41：1994)GB／T16656．42—1998工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第42部分；集成通用資源：幾何與拓?fù)浔磉_(dá)(idtIS010303—42：1994)GB／T16656．43—1999工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第43部分：集成通用資源：表達(dá)結(jié)構(gòu)(idtIS010303—43：1994)GB／T16656．202--2000工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第202議：相關(guān)繪圖(eqvISO10303—202：1996)ISO10303—1：1994工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第1部分：概述與基本原理ISO10303—11：1994工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第11部分：描述方法：EX—PRESS語言參考手冊(cè)注：GWT16656．202被術(shù)語AIC的定義規(guī)范完全的引用。3術(shù)語、定義和縮略語3．1 ISO10303—1中定義的術(shù)語ISO10303—1所定義的下列術(shù)語適用于本部分：——抽象測(cè)試套件abstracttestsuite(ATS)；——應(yīng)用application；——應(yīng)用相關(guān)環(huán)境applicationcontext；——應(yīng)用協(xié)議applicationprotocol(AP)；——數(shù)據(jù)data；——數(shù)據(jù)交換dataexchange；——通用資源generic——實(shí)現(xiàn)方法implementationmethod；——信息information；——集成資源integrate6reeoⅥce；——解釋interpretation；——模型model；——產(chǎn)品product；——產(chǎn)品數(shù)據(jù)productdata；——結(jié)構(gòu)structure。3．2 GB／T16656．42中定義的術(shù)語GB／T16656．42所定義的下列術(shù)語適用于本部分：——邊界boundary；——坐標(biāo)空間coordinatespace；——曲線curve；——維數(shù)dimensionality；——域domain；——參數(shù)空間parameterspace——自交self-intersect；——曲面surface。3．3GB／T16656．202中定義的術(shù)語GB／T16656．202所定義的下列術(shù)語適用于本部分。2GB／T16656．507—2010／ISO10303—507：20013．3．1應(yīng)用解釋構(gòu)造ApplicationInterpretedConstruct：AIC解釋結(jié)構(gòu)的一種邏輯組，它支持橫跨多種應(yīng)用相關(guān)環(huán)境的使用產(chǎn)品數(shù)據(jù)的規(guī)定功能。3．4其他術(shù)語和定義下列術(shù)語和定義適用于本部分。3．4．1幾何有界geometricallybounded僅用坐標(biāo)空間中的值來定義它的邊界和連通性的幾何形狀的描述，不用拓?fù)錁?gòu)造定義。3．5縮略語下列縮略語適用本部分。AIC：應(yīng)用解釋構(gòu)造(ApplicationInterpretedConstruct)AP：應(yīng)用協(xié)議(applicationprotoc01)ATS：抽象測(cè)試套件(abstractsuite)4 EXPRESS短表本章規(guī)定了EXPRESS模式，所采用的元素取自集成資源，包含GB／T16656本部分規(guī)定的類型、實(shí)體描述和函數(shù)。洼1；本AIC中有很多未引人的集成資源所規(guī)定的子類和選擇列表項(xiàng)。通過使用ISO10303—11些構(gòu)造從子類樹或選擇列表中被排除。在一些情況下，刪除了所有的選擇列表項(xiàng)。因?yàn)锳IC將在應(yīng)用協(xié)議相關(guān)環(huán)境內(nèi)實(shí)現(xiàn)，因此選擇列表項(xiàng)在應(yīng)用協(xié)議中定義。這個(gè)應(yīng)用解釋構(gòu)造為曲面模型的定義提供幾何實(shí)體的一致集，這個(gè)曲面模型由點(diǎn)，基本或雕塑的曲線和曲面組成。幾何應(yīng)該是有界的；拓?fù)鋵?shí)體不用于邊界限制。EXPRESS描述：*)SCHEMAaic—geometrically_boundedsurface；REFERENCEFROMsupport—resource—schema( 一GB／Tbag_toset)；USEFROMgeometric—model—schema(geometric—set)；--GB／T16656．42USEFROMgeometry_schema(--GB／T16656．42axisl—placement，axis2一placement一2d，axis2_placement一3d，b_spline—Cill-ve，b_spline—curve—with_knots，b_spline_surface，b_spline_surface—with_knotsbezier_curve，bezlersurface，boundary_curve，GB／T16656．507—2010／ISO10303-507：2001hounded_pcurve，boundedsurface—curve，cartesianpoint，cartesian—transformationoperatorcircle，composite_curve，composite_curvesurface，composite_curve_segment，conical—surface，curve—bounded_surface，curve—replica，cylindrical—surface，degenerate_pcurve，degenerate_toroidal—surface，direction，ellipse，evaluated_degeneratepcurve，geometric—representation—context，hyperbola，intersection_curve，1ine，offset—curve_3d，offset-surface，outer—boundary_curve，parabola，pcurve，plane，point，point—on_curve，point—on_surface，polyline，quasi—uniform_curve，quasi—uniform_surface，rational—b_spline—curve，rational—b—spline—surface，rectangular—composite_surface，rectangular—trimmed_surface，reparametrised_composite—．curve．．segmentspherical—surface，surface，surface_curve，4GB／T16656．507—2010／ESO10303-507：2001surfaceof——linear，．extrusionsurfaceof—revolution，surface—patch，surfacereplica，swept—surface，toroidal—surface，trimmed_curve，uniform_curve，uniform～surface，vector)；USEFROMproduct—property_representation_schema(shape_representation)： 一GB／TUSEFROMrepresentation_schema( ～GB／T16656．43definitional—representation，mapped_item，parametric—representation_context，representation，representation_item，representation_map)；(’注2：以上引用的模式可以在下列部分中查到：geometricmodel—schema GB／TGB／Tproduct_propertyrepresentation_schema GB／T16656representation_schema GB／T16656．43support_resource_schema GB／T166564．1基本概念和假設(shè)在應(yīng)用協(xié)議模式中使用AIC時(shí)，以下實(shí)體將被獨(dú)立實(shí)例化：——geometrically—bounded_surface—shape—representation(Jh何有界曲面形狀表達(dá))。4．2aic_geometrically_bounded_surface模式實(shí)體定義：geometrically—bounded_surface_shape_represe-ntationgeometrically_bounded—surface—shape—representation應(yīng)用不帶拓?fù)浣Y(jié)構(gòu)的曲面模型描述了product形狀或形狀的部分。注1：本部分不包括實(shí)體product。geometrically_bounded_surface—shape—representation。它是shape_rep—resentation，這個(gè)shape—representation和包括geometric—set的GB／T16656．41中定義的～樣。Point，curve和surface可能包括在geometric_set中，只要它們和GB／T16656．42規(guī)則compatible—di—mension中定義的維數(shù)一樣。geometrically_boundensurface—shape_representation應(yīng)該包括至少一個(gè)surface。專門用于支持其他幾何實(shí)體定義的幾何實(shí)體本身不會(huì)存在于geometric—set的elements中。所有的幾何實(shí)體的維數(shù)都是三，除了用于定義pcurve目的的二維幾何。一維cartesian—point的使用被5GB／T16656．507--2010／15010303-507：2001排除在外。所有無界曲線和曲面應(yīng)該顯式地剪裁。曲線的邊界應(yīng)該或者由曲線上的點(diǎn)和這些點(diǎn)和曲線間的顯式地關(guān)聯(lián)定義，或者由參數(shù)值定義。曲面的邊界應(yīng)該或者由曲面上的曲線和這些曲線和曲面間顯式地關(guān)聯(lián)定義，或者由參數(shù)值定義。geometrically—bounded_surface—shape—representation的items也可能是在GB／T16656．42中定類型，或axis2一placement一3d類型。這些items用來把一個(gè)或幾個(gè)geometrically—bounded—surface—shape—representations聚集成其他的geometrically—bounded—surface—shape—repre—sentation。實(shí)體的WHERE規(guī)則限制根據(jù)上面的聲明引自GB／T16656．42和GB／T16656．43型的使用。大多數(shù)實(shí)體類型的有效性和約束都在以下三個(gè)函數(shù)中指定：——gbsf_check—point；——gbsf_check—curve；——gbsf—check—surface。這三個(gè)函數(shù)應(yīng)該被應(yīng)用到geometrically—bounded—surface—shape—representation中所有g(shù)eometric_set的所有elements中。這三個(gè)函數(shù)自動(dòng)評(píng)測(cè)這些elements引用的所有的point，curve和surface。因此這三個(gè)函數(shù)被遞歸地調(diào)用。示例：pcurve引用curve和surface。函數(shù)gbsLcheck．curve不僅驗(yàn)證pcurve，而且驗(yàn)證它的下層幾何。因此，它將不僅調(diào)用它自己，還調(diào)用gbsf—cheek-surface。注2：使用IS010303本部分的應(yīng)用協(xié)議應(yīng)當(dāng)明確地允許shape_representation實(shí)體可能被實(shí)例化成geometrically_boundedsurface_shape_representation。ExPREss描述：*)ENTITYgeometrically_bounded—surface_shape_representationSUBTYPEOF(shape_representatlon)；WⅡBREWRI：SIZEOF(QUERY(扯<*SELF．itemsNOT(SIZEOF(L’AIc_GEOMETRICALLY_BOUNDED_SURFACE．GEOMETRIc-SET，’AIc-GEOMETRICALLY_BOUNDED_SURFACE．MAPPED_ITEM’，’A工c_GEOMETRICALLY-BOUNDED_SURFACEAXIS2一PLACEME9(-TYPEOF(it))=1)))=0；WR2：SIZEOF(QUERY(it<*SELF．itemsSIZEOF(-AIC—GEOMETRICALLY—BOUNDED_SURFACEGEOMETRIc_SET，’AIc_GEOMETRICALLY_BOUNDED—SURFACEMAPPED—ITEM‘J*TYPEOF(it))=1))>0；WR3：SIZEOF(QUERY(mi<*QUERY(it<*SELF．items。AIc-GEOMETRICALLY-BOUND皿一SURFACE．MAPPED_ITEMINNOT((。A工C—GEOMETRICALLY—BOUNDEDSURFACE。GEOMETRICALLYBOUNDED_SURFACESHAPE_REPRESENTATIO”INTYPEOF(mi＼mapped—item．mapping_source．mapped—representation))6GB／T16656．507—2010／ISO10303-507：2001AND(SIZEOF(QUERY(mr-it<*mi＼mapped_item．mapping—SOUrCe．mappedrepresentation．items(’AIc_GEOMETRICALLY-BOUNDED_SURFACE．GEOMETRIc-SETINTYPEOF(mr_it))))>0))))=0；WE4：SIZEOF(QUERY(qs<*QUERY(it<*SELF．items'AIc_GEOMETRICALLY_BOUNDED_SURFACE．GEOMETRICSET工NTYPEOF(it))NOT(SIZEOF(QUERY(pnt<*QUERY(gsel<*gs＼geometric—set．elements’A工c_GEOMETRICALLY_BOUNDED—SURFACEPOINTINTYPEOF(gsel))lNOT(gbsf_check_point(pnt))))=0)))=0；WR5：SIZEOF(QUERY(gs<*QUERY(it<*SELF．items’AIc_GEOMETRICALLY_BOUNDED_SURFACE．GEOMETRIcSETINTYPEOF(it))NOT(SIZEOF(QUERY(ev<*QUERY(gsel<*gs＼geometric—set．elements’AIc—GEOMETRICALLY—BOUNDED_SUNFACE．CURVE'INTYPEOF(gsel))INOT(ghsf_check_curve(nv))))=0)))=0；WE6：SIZEOF(QUERY(gs<*QUERY(it<*SELF．items’AICGEOMETRICA【lLY—BOUNDED—SURFACE．GEOMETRIc-SETINTYPEOF(it))NOT(SIZEOF(QUERY(sf<*QUERY(gsel<*gs＼geometric—set．elements'AIC—GEOMETRICALLY-BOUNDED_SURFACE．SURFACE’INTYPEOF(gsel))INOT(gbsf—check—surface(sf))))=0)))=0；WR7：SIZEOF(QUERY(gs<*QUERY(it<*SELFitems值工c_GEOMETRICALLY_BOUNDED_SURFACEUEOMETRIc_SET工NTYPEOF(it))SIZEOF(QUERY(gsel<’gs＼geometric—set．elements’AIc_GEOMETRICALLY_BOUNDED—SURFACESURFACE'INTYPEOF(gsel)))>0))>0；END_ENTITY；(*正式建議：中的items應(yīng)該是geometric—set，mapped—item或者axis2一placement一3d。注3：axis2一placement一3d是一個(gè)有效的mapped—item．mapping_target。為了包含另一個(gè)representation在geomet—rieally_bounded—surfaee_shaperepresentaton(有效mapped—items見WR3)的items列表之內(nèi)，mapped_item．mapping_source．mapping．origin可以是在mapped～representation的geometric—representation—context中可以找到的任何一個(gè)實(shí)體。如果這個(gè)實(shí)體是axis2一placement3d，那么根據(jù)一個(gè)只能做平移和旋轉(zhuǎn)操作的轉(zhuǎn)換映射為geometrically_bounded—surface～shape—representation。如果cartesian—transformation_operator_3d被用作mapping_origin，縮放和鏡像就是可能的。WR2：geometrically—bounded～surface—shape—representation中至少有一個(gè)items應(yīng)該是geometric—set或者mapped_item。WR3：如果geometrically—bounded—surface—shape—representation中有mapped—item，它的7GB／T16656．507—2010／iso10303-507：2001的mapped—representation應(yīng)該是geometrically—bounded—surface—shape—representa—tion。這個(gè)shaperepresentation應(yīng)該包含至少一個(gè)geometric_set。WR4：在geometricset的elements中，每一個(gè)point都應(yīng)該是一個(gè)有效的point，這個(gè)geometric—set是geometrically_bounded_surface_shape_representation的items之一。geometric_set的elements中，每一個(gè)Curve都應(yīng)該是一個(gè)有效的curve，這個(gè)geometric—set是geometrically_bounded_surface_shaperepresentation的items之一。WR6：在geometric—set的elements中，每一個(gè)surface都應(yīng)該是一個(gè)有效的surface，這個(gè)geometric_set是geometrically—bounded_surface_shape—representation的items之一。WR7：至少一個(gè)geometric_set的elements的至少一個(gè)應(yīng)該是surface，這個(gè)geometric—set在geo—metrically_bounded—surface_shape—representation的items中。非正式建議：IPl：b—spline—curve不應(yīng)該自交。IP2：composite_curve不應(yīng)該自交。IP3：offset_curve_3d不應(yīng)該自交。IP4：b—spline_surface不應(yīng)該自交。IP5：offsetsurface不應(yīng)該自交。IP6：專門用于支持其他幾何實(shí)體的定義的幾何實(shí)體本身不應(yīng)該存在于geometric—set的集中。4．3aie_geometrically_boundedsurface的函數(shù)定義本條描述了aic_geometrically_bounded—surface定geometrically_boundedsurface—shape_representation實(shí)體。4．3．1 函數(shù)gbsf_eheck_pointgbsf-check—point函數(shù)檢查point實(shí)例在geometrically—bounded—surface—shape—representation關(guān)環(huán)境下的有效性。這個(gè)point實(shí)例引用的所有幾何，比如curves和surfaces，當(dāng)curve或surface被引用時(shí)，函數(shù)gbsf_check—curve和gbsfcheck—surface分別被調(diào)用。這些函數(shù)中的遞歸過程終止于不再引用任何point，curve或surface實(shí)體類型。以下類型和它們的子類型在geometrically_boundedsurface_shape_representation這個(gè)函數(shù)的有效輸入：——cartesian—point；--degenerate_pcurve；——point—on—curve；——point—on_surface。列表中的后三項(xiàng)引用了curve或surface，或者兩者都引用。的basis—surface可能是geometrically—bounded—surface—shape—representation中任何有效的surface。degeneratepcurve的reference_to_curve應(yīng)該是下面類型之一：——b-spline—curve；--composite_curve(遞歸)；——conic：——curvLreplica(遞歸)；——1ine：——polyline；——trimmea—curve(遞歸)。注1：這個(gè)函數(shù)應(yīng)用于以上一個(gè)遞歸過程的列表標(biāo)記的實(shí)體類型，作為檢查它們實(shí)體引用的有效性示例。8GB／T16656．507—2010／iso10303—507：2001point_on_curve的basis—curve可以是geometrically—bounded—surface—shape—representation中任何有效的curve。pointon—surface的basis—surface可以是geometrically_bounded—surface_shape_representation中任何有效的surface。如果所有的被引用幾何的類型都在geometrically—bounded—surface—shape—representation內(nèi)，函數(shù)返回TRUE，否則函數(shù)返回FALSE。注2：這個(gè)函數(shù)并不檢查關(guān)于GB／T16656．42引用的正確性。只有關(guān)于geometrically—bounded—surface—shape—representation范圍的額外要求要檢查。EXPREss描述：-R-)FUNCTIONghsf_check_point(pnt：point)：BOOLEAN；(*Thisfunctionvarifiesthevalidityofpointinthecontextofgeometricallyboundedsurfacemodel．*)(*acartesian_pointisvalid*)IF’AIC_GEOMETRICALLY_BOUNDED_SURFACE．CARTESIAN_POINTINTYPEOF(pnt)THENRETURN(TRUE)：ELLSE(*apoint—on_curveshallreferencevalid*)IF’A工c_GEOMETRICALLY-BOUNDEDSURFACE．POINLON_CURVE。INTYPEOF(pnt)THENRETURN(gbsf～cheok-curve(pnt＼point—on_curvebasis—curve))EISE(*apoint—on—surfaceshallreferencevalidsurface*)工F’AIC_GEOMETRICALLY-BOUNDED—SURFACE．POINT～oN_SURFACE。INTYPEOF(pnt)THENRETURN(gbsf_check—surface(pntkpoint—on_surface．basis—surface))；EI．SE(*adegenerate～pcurveshallreferencevalidandvalidsurface*)IF。AIC—GEOMETRICALLY-BOUNDEDSURFACE．DEGENERATE_PCURVE’工NTYPEOF(pnt)THENRETURN((gbsf—cbeck_curve(pnt＼degenerate—pcurve．reference_to_curvekrepresentation．items[1]))ABD(gbsf_check—surface9GB／T16656．507—2010／ISO10303-507：2001(pnt＼degeneratepcurve．basis—surface)))；END_IF；END_IF；END—IF；END_IF}RETURN(FALSE)；END_FUNCTION；(*參數(shù)定義：pnt(輸入)：在geometrically_bounded_surface_shape_representation中point的point。BOOLEAN(返回)：如果這個(gè)point是有效的point，返回TRUE，否則返回FALSE。4．3．2函數(shù)gbstcheck_curvegbsLcheck_curve函數(shù)在geometrically—bounded—surface—shape—representation相關(guān)環(huán)境下檢查curve實(shí)例的有效性。其有效性的必要條件之一就是curve的實(shí)行由這個(gè)函數(shù)通過使這個(gè)curve實(shí)例引用的所有幾何(比如其他curves和surfaces)實(shí)施有效檢查。如果適合，實(shí)例就被遞歸地調(diào)用。即如果curve引用另一個(gè)curve作為基本曲線或父類曲線，gbsfcheek-curve函數(shù)就又被調(diào)用。如果surface被引用，gbs￡_check—surface函數(shù)被調(diào)用。這個(gè)遞歸過程終止于實(shí)體類型不再引用任何curve或surface。除了為有效性應(yīng)用界定其他標(biāo)準(zhǔn)的必要條件外；curve不應(yīng)該被定義成自交。示例：這個(gè)函數(shù)檢查約束的有效性之一看是否b—spline～curve實(shí)例的自交標(biāo)志被設(shè)置為TRUE，F(xiàn)ALSE或UN—KNOWN；只有FALSE和UNKNOWN是有效的。以下曲線類型和它們的子類型在geometrically—bounded—surface_shape_representation且是這個(gè)函數(shù)的有效輸入：——b-spline_curve；——composite—curve；——conic：——curve—replica；——line：——offseLcurve．3d；——pcurVe；——p01yline；——surface—curve；——trimmed—curve。注1：這個(gè)函數(shù)應(yīng)用于以下遞歸過程列表標(biāo)記的實(shí)體類型，以便作為檢查他們實(shí)體引用的有效性示例。curve_replica的parent—curve都應(yīng)該是下面類型之一：——b—spline_curve；——composite—curve(遞歸)；——conic；——curve-replica(遞歸)；——line；——offsn—curve_3d(遞歸)；——pcurve(遞歸)；1GB／T16656．507—2010／lSO10303-507：2001——p01ylin。；——surfacLcurve(遞歸)；——trimmed—curve(遞歸)。offset_curve一3d的basis—curve都應(yīng)該是下面類型之一：——b—spline_curve；——c。mposite—curve(遞歸)；——conic：——curve_replica(遞歸)；——line：——offseLcurve一3d(遞歸)；——pcurve(遞歸)；——surface-curve(遞歸)；——trimmed—curve(遞歸)。definitionalrepresentation的items集合中的一個(gè)實(shí)例，這個(gè)實(shí)例被pcurve引用為curve，應(yīng)該是下面類型之一：——b—spline—curve；——-composite_curve(遞歸)；——conic：——curve_replica(遞歸)}——line；——polyline；——trimmed—curve(遞歸)。surface—curve的curve一3d應(yīng)該是下面類型之一：——b—spline—curve；--composite_curve(遞歸)；——conic：——curve—replica(遞歸)；——line：——offsH—curve一3d(遞歸)；——polyline；——surface—curve(遞歸)；——trimmedcurve(遞歸)。Pcurve和surface_curve引用surface。函數(shù)gbsf—cheek—surface被這些surface的有效性調(diào)用。geometrically_houndedsurface_shape—representation要求對(duì)有效surface在GB／T16656．42pcurve和surface_curve的引用有同樣的限制。一個(gè)有效的polyline應(yīng)該包括至少三個(gè)cartesian—point。屬性self_intersect因?yàn)锽樣條函數(shù)和偏置幾何將被設(shè)置為FALsE或UNKNOWN。如果所有的引用幾何的類型都在geometrically_bounded_surface_shape—representation且所有的約束都滿足，那么函數(shù)返回TRUE，否則函數(shù)返回FALSE。注2：這個(gè)函數(shù)并不檢查關(guān)于GB／T16656．42引用的正確性。GB／T16656．42要求，例如。composite—curve的segments應(yīng)該是composite_curve—segment，并且composite_curvesegment的parent_curve應(yīng)該是curve。這個(gè)約柬不用這個(gè)函數(shù)檢驗(yàn)。只有關(guān)于geometrically_bounded_surface_shape_representation額外要求要檢查。GB／T16656．507—20IO／LsO10303-507：2001EXPRESS描述：*)FUNCTIONghsf—check_curve(ev：representationitem)：BOOLEAN；(*Thisfunctionvarifiesthevalidityofinthecontextofgeometricallysurfacemodel．Representation—itemsvalidinput，however，theysupposedtobeotherwisethisfunctionwillreturnfalse．*)(*complexsubtypesofthatbothhounded-curveandoneofconic，curve_replica，1ine，oroffset—curve一3darenotvalid*)IFSIZEOF(1AIc_GEOMETRICALLY-BOUNDED_SURFACE．BOUNDED_CURVE'，’AIC_CEOMETRICⅢLLYBOUNDED_SURFACE．CONIC’，’AIC—GEOMETRICALLY—BOUNDED—SURFACE．CURVEREPLICA。，。A工C—GEOMETRICALLY—BOUNDED_SURFACE．LINE’，’AIC-GEOMETRICALLY_BOUNDED_SURFACEOFFSET_CURVE_3D。]*TYPEOF(cv))>1THENRETURN(FALSE)：END(*circle，ellipse，andtrimmed_curvevalidcurves；theyhoundedperdefinition*)IFSIZEOF([’AIc_GEOMETRICALLY_BOUNDED_SURFACE．CIRCLP，’AIC_GEOMETRICALLY—BOUNDEDSURFACE．ELLIPSE’，’AIC—GEOMETRICALLY_BOUNDEDSURFACE．TRIMMED_CURVE']*TYPEOF(cv)、=1THENRETURN(TRUE)；ELSE(*b_spline—curvesshallnotself-intersect*)IF((’AIc_GEOMETRICALLY_BOUNDED_SURFACE．B—SPLINE_CURVE'INTYPEOF(cv))AND(cv＼b-spline_curve．self—intersect=FALSE)OR(cv＼b_spline_curve．self—intersect=UNKNOWN))THENRETURN(TRUE)；ELSE(*acomposite_curveshallnotself—intersectandallitssegmentsshallreferencevalid*)IF((’AIc-GEOMETRICALLY_BOUNDED—SURFACE．COMPOSITE—CURVE'12GB／T16656．507—2010nso10303-50712001INTYPEOF(cv))AND(cv＼composite_curveself—intersect=FALSE)OR(cv＼composite_curve．self—intersect=UNKNOWN))THENRETURN(SIZEOF(QUERY(seg<*cv＼composite_curve．segmentsNOT(gbsf—check-curve(seg．parent_curve))))=0)；ELSE(*acurve—replicashallreferencevalidCUrVe*)IF’AIc_GEOMETRICALLY_BOUNDED_SURFACE．CURVE_REPLICAINTYPEOF(cv)THENRETURN(gbsf——check．．curve(cvlcurve—replicaparent—curve))；ELSE(*anoffset—curve_3dshallnotself-intersectandshallreferencevalidpolylineisnotbasis～curve*)IF((值Ic_GEOMETRICALLy’BOL珊OED_SURFACE．0FFSET_CURVE_3D’INTYPEOF(cv))AND((cv＼offset-curve一3d．self—intersect=FALSE)OR(cv＼offset_curve一3d．self—intersect=UNKNOWN))AND(NOT('AIC—GEOMETRICALLY_BOUNDED-SURFACEPOLYLINE。INTYPEOF(cV＼offset～cul～e一3d．basis—curve))))THENRETURN(gbsf—check—Curve(cv＼offset—curve_3d．basis—curve))；ELSE(*apeurveshallreferencevalidandhasissurface*)IF’AIC—GEOMETRICALLY—BOUNDED—SURFACE．PCURVE‘INTYPEOF(cv)THENRETURN((qbsf—check_curve(cv＼pcurve．reference_to_curve＼representationitems[1]))AND(gbsf_check_surface(cv＼pcurve．basis—surface)))；ELSE(*apolylineshallhaveatleast3points*)13GB／T16656．507—2010IISO10303-507=2001IF’A工c_GEOMETRICALLY_BOUNDED—SURFACE．POLYLINE'INTYPEOF(cv)THENIF(SIZEOF(cv＼polyline．points)>=3)THENRETURN(TRUE)；END_IF；ELSE(*asurface_curvereferencescurve一3dandpcurvestwosurfacesofeach；allofthesereferencesshallbevalid*)IF'AIc_GEOMETRICALuLBOUNDED_SURFACE．SURFACE_CURVE'INTYPEOF(cv)THEN(*ifthereferenceiscorrect，checkalsotherest*)IFgbsf—check_curve(cv＼surface_curve．curve_3d)THENREPEATi：=1TOSIZEOF(cv＼surface_curveassociated_geometry)；(*dofortwoassociated_geometrys：*)IF’AIc_GEOMETRICALLY-BOUNDED_SURFACE．SURFACEINTYPEOF(cv＼surface—curve．a(chǎn)ssociated_geometry[i])THENIFNOTgbsf—check_surface(cv＼surface—curveassociated_geometry[i])THENRETURN(FALSE)；END—IF；ELSEIF’AICGE0加￡TR工CALLY-BOUNDED—SURFACE．PCURVEINTYPEOF(cv＼surface_curve．a(chǎn)ssociated_geometry[i])T卸￡NIFNOTgbsf-check_curve(cv＼surface—Curve．a(chǎn)ssociated_geometry[i])THENRETURN(FALSE)；END_IF；END_IF；END_IF；END_REPEAT；RETURN(TRUE)；END_IF；14GB／T16656．507—2010／ISO10303-50712001END_IF；EliD—IF{END_IF；END—IF；END_IF；END_IF；END_IF；END_IF；(*FKLSEisreturnediftheinputparameterisnotvalid*)RETURN(FALSE)；END_FUNCTION；(*參數(shù)定義：這個(gè)representation_item被認(rèn)為是curve，curve在geometrically—bounded—surface—shaperepresentation相關(guān)環(huán)境下被檢查是否有效。BoOLEAN(返回)：如果representation_item是有效的curve，返回TRUE，否則返回FALSE。4．3．3gbsf_check_surfacegbsf．_check-surface函數(shù)在geometrically—bounded—surface～shape—representation的環(huán)境中檢查surface實(shí)例的有效性。有效性的一個(gè)必要條件就是surface件的實(shí)行由這個(gè)函數(shù)通過使這個(gè)surface實(shí)例引用的所有幾何(比如其他curves和surfaces)有效檢查。如果適合，實(shí)例會(huì)被遞歸地檢查下去。這就意味著如果一個(gè)surface引用了另外一個(gè)surface，把它作為基本曲面或父曲面，gbsf-checksurface函數(shù)就又要被調(diào)用。如果curve被引用，gbsf—check—surface函數(shù)也要被調(diào)用。遞歸過程在實(shí)體類型不再引用任何的curve或surface對(duì)于有效性的應(yīng)用，除了需要限制其他標(biāo)準(zhǔn)以外，surface不應(yīng)該被定義成自交的。示例：被這個(gè)函數(shù)所驗(yàn)證的一個(gè)限制是：b—spline—surface類型的實(shí)例的自交屬性設(shè)置成TRUE，F(xiàn)ALSE或UN—KNOWN．只有設(shè)置成FALSE或UNKNOWN時(shí)才是有效的。下面的曲面類型和它們的子類型在geometrically—bounded—surface—shape—representation內(nèi)，是這個(gè)函數(shù)的有效輸入?！猙—spline—surface；——curve—bounded—surface；——elementary—surface；——offsec-surface；——rectangular—composite—surface；——rectangular—trimmed—surface；——surface—replica；——8urface—of_revolution。offset_surface的basissurface和surface～replica的parentsurface都應(yīng)該是上面所列surface型中的一個(gè)。surface_oLrevolution引用了curve，函數(shù)gbsf—check—curve被調(diào)用來驗(yàn)證curve。geometrically—bounded_surface_shape—representati。n，在驗(yàn)證GB／T16656．42制。所有在geometrically—bounded—surface—shape～representation的范圍之內(nèi)的curves都是有效的swept_curve。15GB／T16656．507—2010／IS010303-507：2001對(duì)于B樣條曲線和偏移幾何，自交屬性應(yīng)該被設(shè)置成FALSE或者UNKNOWN。如果所有被引用幾何的類型在geometrically—bounded-surface_shape_representation并且所有的限制都被滿足，這個(gè)函數(shù)返回TRUE，否則這個(gè)函數(shù)返回FLASE。注1：這個(gè)函數(shù)不檢查關(guān)于GB／T16656．42的引用的正確性。例如，GB／T16656．42要求rectangular—composite—sudaee的segment應(yīng)該是surface_patch，這些segment應(yīng)該有boundedsurface制不被這個(gè)函數(shù)所驗(yàn)證。只有根據(jù)geometrically—bounded～surface～shape—representation的范圍而附加的要求才被校驗(yàn)。注2：這個(gè)函數(shù)應(yīng)用一個(gè)遞歸的過程來檢查實(shí)體對(duì)輸人曲面的引用。EXPRESS描述：*)FUNCTIONgbsf—check_surface(sf：surface)：BOOLEAN(*Thisfunctionverifiesthevalidityofsurfaceinthecontextofboundedsurfacemodel．*)(*ab-spline—surfaceshallnotself—intersect*)IF((’AIC-GEOMETRICALLY_BOUNDED—SURFACE．B-SPLIliE—SURFACE’INTYPEOF(sf))AND(sf＼b_spline—surface．self—intersect=FALSE)OR(sf＼b-spline—surface．self—intersect=UNKNOWN))THENRETURN(TRUE)；ELSE(*spherical—surfaceandtoroidal—surfacevalid；alsocurve—bounded_surfaceandrectangular—triremed_surfaceperdefinitionboundedand，thus，valid*)IFSI盔OF(CAIc讎嘣mIcA【工YB?！灸_s【刪礎(chǔ)．SPHERICALSL珉FACE，。AIc_GEOMETRIC心一BOUNDED_SURFACE．TOROIDAL—SURFACE’，‘AIc_GEOMETRICALLY_BOUNDED_SURFACE．CURVE_BOUNDED_SURFACE，’AIc任強(qiáng)匝RIcA【IY即【ⅡⅡ如s口碰衄．砸cIⅫ蚴TR蛐S[刪ⅪJ*TYPEOF(sf))=1THENRETURN(TRUE)；ELSE(*anoffset—surfaceshallnotself-intersectandreferencevalidsurface16GB／T16656．507—2010／LSO10303-507：2001*)IF(('AIC—GEOMETRICALLY—BOUNDED_SURFACE．OFFSET_SURFACEINTYPEOF(sf))AND(sf＼offset_surface．self—intersect=FALSE)OR(sf＼offset—surface．self—intersect=UNKNOWN))THENRETURN(gbsf—check_surerace(sf＼offsetsurface．basis—surface))ELSE(*arectangularcomposite_surfaceshallreferencematrixofvalidsurfaces*)IF值Ic咖IC眥衛(wèi)甘口【Ⅱ咖&腳．照珊㈣O蛐∞ITE*)S[腰躚INTYPEOF(sf)THENREPEATi：=iTOSIZEOF(sf＼rectanguler_compositesurfacesegments)；REPEATJ：=1TOSIZEOF(sf＼rectangular_composite—surface．segments[i])；IFNOT(gbsf—checksurface(sf＼rectangularcomposite—surface．segments[i][j]．parent—surface))THENRETURN(FALSE)；END—IF}END_REPEAT；END—REPEAT；RETURN(TRUE)；ELSE(*asurface—replicashallhavevalidparentsurface*)IF’AIC—GEOMETRICALLY_BOUNDED—SURFACE．SURFACE—REPLICA。INTYPEOF(sf)THENRETURN(gbsf—check_surface(sf＼surface—replica．parent—surface))；ELSE(*asurface—of—revolutionshallhavevalidsweepingcurve；surface—of一1inear_extrusionisnotitisunboundedinthedirectionoftheextrusion；itmay，however，bevalidiftrimmed*)ⅡⅢC任n旺ⅡRI∞【IY∞[ⅡⅡD＆研A壓．&碰’A壓∞劂IⅡ10N17GB／T16656．507—2010／ISO10303-507：2001INTYPEOF(sf)THENRETURN(gbsf-check_curve(sf＼swept—surface．swept—curve))END_IF；END_IF；END_IF；END—IF；END—IF；ENDIF；