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

園亙ICS25．040．40L67園亙中華人民共和國國家標準GB／T16656．507—201O／ISO10303-507：2001工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第507部分：應用解釋構造：幾何有界曲面Industrialautomationsystemsandintegration--ProductdatarepresentatiOnandexchange---Part507：Applicationinterpretedconstruct：Geometricallysurface(ISO10303—507：2001，IDT)2011-01—14發(fā)布 2011-05—01實施中華人民共；fⅡ國國家質量監(jiān)督檢驗檢疫總局告布中國國家標準化管理委員會厘111GB／GB／16656．507—2010／IS10303-507：200前言l言---·--??????-----·---??????---------·??????··?-··???--···???··-·?···1范圍??···------??????···?---··????·?·???·····-·-?????···??-?·-???2規(guī)范性引用文件??????·???????????????????????????一3術語、定義和縮略語???????????···?????????????????????3．IS10303—1中定義的術語??????????··??·???????????????3．GB／16656．42中定義的術語????·???????···??·????????????·3．GB／16656．202中定義的術語????····?????????·???????????·3．4其他術語和定義????·???????????·?·??????????·?????--3．5縮略語????·????????···????????????·····??????????EXPRESS短表????··········??--??··??·?··-···??-·-??---·??··?····?-----??附錄A(規(guī)范性附錄)實體短名???······???????????···???????????1附錄B(規(guī)范性附錄)信息對象注冊??????????????????????????2附錄C(資料性附錄)EXPRESS-G圖????????·?·····?????????? ??-2附錄D(資料性附錄)計算機可解釋的列表???·?????????··?·????????··40標準分享網(wǎng)免費下載GB／T16656．507—2010／ISO10303-507：200I刖 昌GB／T16656((工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換》是一項由多個部分組成的標準，各部分單獨出版。GB／T16656的所屬各部分又組成多個子系列，即：——第1部分至第19部分規(guī)定了描述方法；——第20部分至第29部分規(guī)定了實現(xiàn)方法；——第30部分至第39部分規(guī)定了一致性測試方法與框架；——第40部分至第59部分規(guī)定了集成通用資源；——第100部分至第199部分規(guī)定了集成應用資源；——第200部分至第299部分規(guī)定了應用協(xié)議；——第300部分至第399部分規(guī)定了抽象測試套件；——第400部分至第499部分規(guī)定了應用模塊；——第500部分至第599部分規(guī)定了應用解釋構造；——第i000部分至第1999部分規(guī)定了應用模塊。GB／T16656((工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換》現(xiàn)已發(fā)布和即將發(fā)布的包括以下部分：——第1部分：概述與基本原理；——第11部分：描述方法：EXPRESS語言參考手冊；——第21部分：實現(xiàn)方法：交換文件結構的純正文編碼；——第28部分：實現(xiàn)方法：EXPRESS模式與數(shù)據(jù)的XML表達(使用XML模式)；——第31部分：一致性測試方法論與框架：基本概念；——第32部分：一致性測試方法論與框架：對測試實驗室與客戶的要求；——第34部分：一致性測試方法論與框架：應用協(xié)議實現(xiàn)的抽象測試方法；——第41部分：集成通用資源：產(chǎn)品描述與支持原理；——第42部分：集成通用資源：幾何與拓撲表達；——第43部分：集成通用資源：表達結構；——第44部分：集成通用資源：產(chǎn)品結構配置；——第45部分：集成通用資源：材料；——第46部分：集成通用資源：可視化顯示；——第47部分：集成通用資源：形狀變化公差i——第49部分：集成通用資源：工藝過程結構和特性}——第51部分：集成通用資源：數(shù)學表達；——第54部分：集成通用資源：分類和集合論；——第55部分：集成通用資源：過程與混合表達；——第56部分：集成通用資源：狀態(tài)；——第101部分：集成應用資源：繪圖；——第105部分：集成應用資源：運動學；——第201部分：應用協(xié)議：顯式繪圖；——第202部分：應用協(xié)議：相關繪圖；——第203部分：應用協(xié)議：配置控制設計；IGB／GB／16656．507—2010／IS10303-507：200——第238用解釋模型——第601部分：應用解釋構造：基于邊的線框——第502部分：應用解釋構造：基于殼的線框——第503部分：應用解釋構造：幾何有界二維線框——第504部分：應用解釋構造：繪圖注釋——第505部分：應用解釋構造：圖樣結構與管理——第506部分：應用解釋構造：繪圖元素——第507部分：應用解釋構造：幾何有界曲面——第508部分：應用解釋構造：非流形曲面——第509部分：應用解釋構造：流形曲面——第513部分：應用解釋構造：基本邊界表達——第520部分：應用解釋構造：相關繪圖元素——第1001部分：應用模塊：外觀賦值——第1002部分：應用模塊：顏色——第1003部分：應用模塊：曲線外觀——第1004部分：應用模塊：基本幾何形狀——第1005部分：應用模塊：基本拓撲——第1006部分：應用模塊：基礎表達——第1007部分：應用模塊：通用曲面外觀——第1008部分：應用模塊：層賦值——第1009部分：應用模塊：形狀外觀和層本部分是GB／16656的第507部分本部分等同采用國際標準IS10303—507：2001((2K業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交第507部分：應用解釋構造：幾何有界曲面》(英文版)，其技術內容和結構與IS10303—507：200l保一致，為便于使用，做了如下編輯性修改a)刪去了ISO前言、索引b)對于帶下劃線的用于EXPRESS語言描述的各黑體英文實體名、屬性名和函數(shù)名等，為了維A、附錄B為規(guī)范性附錄，附錄C、附錄D為資料性附錄159)歸口本部分主要起草單位：中國標準化研究院本部分主要起草人：周歆華、王志強、李文武、洪巖、楊青海、劉守華Ⅱ標準分享網(wǎng)免費下載GB／T16656．507—2010／ISO10303—50712001引 言GB／T16656換，而且也是實現(xiàn)和共享產(chǎn)品數(shù)據(jù)庫及存檔的基礎。GB／T16656系列。應用解釋構造(AIC)給出了解釋構造的邏輯組合以支持在多個應用相關環(huán)境中使用產(chǎn)品數(shù)據(jù)的特定功能。解釋構造是集成資源的公共解釋以支持應用協(xié)議中共享信息的需求。本部分通過幾何有界曲面模型為幾何形狀的描述規(guī)定了應用解釋構造。它包括定義純幾何有界模型的幾何資源，幾何有界模型由基本與雕塑曲線和曲面組成。ⅢGB／GB／16656．507--2010／IS10303-507：200工業(yè)自動化系統(tǒng)與集產(chǎn)品數(shù)據(jù)表達與交第分：應用解釋構造：幾有界曲1范GB／16656的本部分規(guī)定了集成資源的解釋，通過幾何有界曲面模型來滿足對幾何形狀的表的需求以下內容屬于本部分的范圍——3D點——定義在曲線或曲面參數(shù)空間中的點——3D曲線——定義在曲面參數(shù)空間中的曲線注：這樣的曲線也稱為pcurves或COnS，這是參數(shù)化曲線和曲面上的曲線的簡稱——基本曲線：圓，橢圓，拋物線和雙曲線——相交曲線——至少由三點組成的折線——曲面——基本曲面：平面、柱面、錐面、圓環(huán)面和球面——通過曲線的旋轉或線性拉伸而產(chǎn)生的掃描面——雕塑曲線和曲面——曲線和曲面的剪裁——曲線和曲面的復合——曲線、曲面和曲面模型的復制——曲線和曲面的三維偏置以下內容不適用于本部分的范圍——無界幾何——自交幾何——二維笛卡爾坐標空間內的幾何——點的復制——拓撲實體2規(guī)范性引用文下列文件中的條款通過GB／16656的本部分的引用而成為本部分的條款。凡是注日期的引用部分GB／16262．1信息技術抽象語法記法一(AsN．1)第1部分：基本記法規(guī)范(GB／16262．I-2006，ISO／iE8824—1：2002，IDT1標準分享網(wǎng)免費下載GB／T16656．507—20]0／1so10303—507：2001GB／T16656．41—1999工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第41源：產(chǎn)品描述與支持原理(idtIS010303—41：1994)GB／T16656．42—1998工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第42部分；集成通用資源：幾何與拓撲表達(idtIS010303—42：1994)GB／T16656．43—1999工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第43部分：集成通用資源：表達結構(idtIS010303—43：1994)GB／T16656．202--2000工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第202議：相關繪圖(eqvISO10303—202：1996)ISO10303—1：1994工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第1部分：概述與基本原理ISO10303—11：1994工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第11部分：描述方法：EX—PRESS語言參考手冊注：GWT16656．202被術語AIC的定義規(guī)范完全的引用。3術語、定義和縮略語3．1 ISO10303—1中定義的術語ISO10303—1所定義的下列術語適用于本部分：——抽象測試套件abstracttestsuite(ATS)；——應用application；——應用相關環(huán)境applicationcontext；——應用協(xié)議applicationprotocol(AP)；——數(shù)據(jù)data；——數(shù)據(jù)交換dataexchange；——通用資源generic——實現(xiàn)方法implementationmethod；——信息information；——集成資源integrate6reeoⅥce；——解釋interpretation；——模型model；——產(chǎn)品product；——產(chǎn)品數(shù)據(jù)productdata；——結構structure。3．2 GB／T16656．42中定義的術語GB／T16656．42所定義的下列術語適用于本部分：——邊界boundary；——坐標空間coordinatespace；——曲線curve；——維數(shù)dimensionality；——域domain；——參數(shù)空間parameterspace——自交self-intersect；——曲面surface。3．3GB／T16656．202中定義的術語GB／T16656．202所定義的下列術語適用于本部分。2GB／T16656．507—2010／ISO10303—507：20013．3．1應用解釋構造ApplicationInterpretedConstruct：AIC解釋結構的一種邏輯組，它支持橫跨多種應用相關環(huán)境的使用產(chǎn)品數(shù)據(jù)的規(guī)定功能。3．4其他術語和定義下列術語和定義適用于本部分。3．4．1幾何有界geometricallybounded僅用坐標空間中的值來定義它的邊界和連通性的幾何形狀的描述，不用拓撲構造定義。3．5縮略語下列縮略語適用本部分。AIC：應用解釋構造(ApplicationInterpretedConstruct)AP：應用協(xié)議(applicationprotoc01)ATS：抽象測試套件(abstractsuite)4 EXPRESS短表本章規(guī)定了EXPRESS模式，所采用的元素取自集成資源，包含GB／T16656本部分規(guī)定的類型、實體描述和函數(shù)。洼1；本AIC中有很多未引人的集成資源所規(guī)定的子類和選擇列表項。通過使用ISO10303—11些構造從子類樹或選擇列表中被排除。在一些情況下，刪除了所有的選擇列表項。因為AIC將在應用協(xié)議相關環(huán)境內實現(xiàn)，因此選擇列表項在應用協(xié)議中定義。這個應用解釋構造為曲面模型的定義提供幾何實體的一致集，這個曲面模型由點，基本或雕塑的曲線和曲面組成。幾何應該是有界的；拓撲實體不用于邊界限制。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基本概念和假設在應用協(xié)議模式中使用AIC時，以下實體將被獨立實例化：——geometrically—bounded_surface—shape—representation(Jh何有界曲面形狀表達)。4．2aic_geometrically_bounded_surface模式實體定義：geometrically—bounded_surface_shape_represe-ntationgeometrically_bounded—surface—shape—representation應用不帶拓撲結構的曲面模型描述了product形狀或形狀的部分。注1：本部分不包括實體product。geometrically_bounded_surface—shape—representation。它是shape_rep—resentation，這個shape—representation和包括geometric—set的GB／T16656．41中定義的～樣。Point，curve和surface可能包括在geometric_set中，只要它們和GB／T16656．42規(guī)則compatible—di—mension中定義的維數(shù)一樣。geometrically_boundensurface—shape_representation應該包括至少一個surface。專門用于支持其他幾何實體定義的幾何實體本身不會存在于geometric—set的elements中。所有的幾何實體的維數(shù)都是三，除了用于定義pcurve目的的二維幾何。一維cartesian—point的使用被5GB／T16656．507--2010／15010303-507：2001排除在外。所有無界曲線和曲面應該顯式地剪裁。曲線的邊界應該或者由曲線上的點和這些點和曲線間的顯式地關聯(lián)定義，或者由參數(shù)值定義。曲面的邊界應該或者由曲面上的曲線和這些曲線和曲面間顯式地關聯(lián)定義，或者由參數(shù)值定義。geometrically—bounded_surface—shape—representation的items也可能是在GB／T16656．42中定類型，或axis2一placement一3d類型。這些items用來把一個或幾個geometrically—bounded—surface—shape—representations聚集成其他的geometrically—bounded—surface—shape—repre—sentation。實體的WHERE規(guī)則限制根據(jù)上面的聲明引自GB／T16656．42和GB／T16656．43型的使用。大多數(shù)實體類型的有效性和約束都在以下三個函數(shù)中指定：——gbsf_check—point；——gbsf_check—curve；——gbsf—check—surface。這三個函數(shù)應該被應用到geometrically—bounded—surface—shape—representation中所有geometric_set的所有elements中。這三個函數(shù)自動評測這些elements引用的所有的point，curve和surface。因此這三個函數(shù)被遞歸地調用。示例：pcurve引用curve和surface。函數(shù)gbsLcheck．curve不僅驗證pcurve，而且驗證它的下層幾何。因此，它將不僅調用它自己，還調用gbsf—cheek-surface。注2：使用IS010303本部分的應用協(xié)議應當明確地允許shape_representation實體可能被實例化成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應該是geometric—set，mapped—item或者axis2一placement一3d。注3：axis2一placement一3d是一個有效的mapped—item．mapping_target。為了包含另一個representation在geomet—rieally_bounded—surfaee_shaperepresentaton(有效mapped—items見WR3)的items列表之內，mapped_item．mapping_source．mapping．origin可以是在mapped～representation的geometric—representation—context中可以找到的任何一個實體。如果這個實體是axis2一placement3d，那么根據(jù)一個只能做平移和旋轉操作的轉換映射為geometrically_bounded—surface～shape—representation。如果cartesian—transformation_operator_3d被用作mapping_origin，縮放和鏡像就是可能的。WR2：geometrically—bounded～surface—shape—representation中至少有一個items應該是geometric—set或者mapped_item。WR3：如果geometrically—bounded—surface—shape—representation中有mapped—item，它的7GB／T16656．507—2010／iso10303-507：2001的mapped—representation應該是geometrically—bounded—surface—shape—representa—tion。這個shaperepresentation應該包含至少一個geometric_set。WR4：在geometricset的elements中，每一個point都應該是一個有效的point，這個geometric—set是geometrically_bounded_surface_shape_representation的items之一。geometric_set的elements中，每一個Curve都應該是一個有效的curve，這個geometric—set是geometrically_bounded_surface_shaperepresentation的items之一。WR6：在geometric—set的elements中，每一個surface都應該是一個有效的surface，這個geometric_set是geometrically—bounded_surface_shape—representation的items之一。WR7：至少一個geometric_set的elements的至少一個應該是surface，這個geometric—set在geo—metrically_bounded—surface_shape—representation的items中。非正式建議：IPl：b—spline—curve不應該自交。IP2：composite_curve不應該自交。IP3：offset_curve_3d不應該自交。IP4：b—spline_surface不應該自交。IP5：offsetsurface不應該自交。IP6：專門用于支持其他幾何實體的定義的幾何實體本身不應該存在于geometric—set的集中。4．3aie_geometrically_boundedsurface的函數(shù)定義本條描述了aic_geometrically_bounded—surface定geometrically_boundedsurface—shape_representation實體。4．3．1 函數(shù)gbsf_eheck_pointgbsf-check—point函數(shù)檢查point實例在geometrically—bounded—surface—shape—representation關環(huán)境下的有效性。這個point實例引用的所有幾何，比如curves和surfaces，當curve或surface被引用時，函數(shù)gbsf_check—curve和gbsfcheck—surface分別被調用。這些函數(shù)中的遞歸過程終止于不再引用任何point，curve或surface實體類型。以下類型和它們的子類型在geometrically_boundedsurface_shape_representation這個函數(shù)的有效輸入：——cartesian—point；--degenerate_pcurve；——point—on—curve；——point—on_surface。列表中的后三項引用了curve或surface，或者兩者都引用。的basis—surface可能是geometrically—bounded—surface—shape—representation中任何有效的surface。degeneratepcurve的reference_to_curve應該是下面類型之一：——b-spline—curve；--composite_curve(遞歸)；——conic：——curvLreplica(遞歸)；——1ine：——polyline；——trimmea—curve(遞歸)。注1：這個函數(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內，函數(shù)返回TRUE，否則函數(shù)返回FALSE。注2：這個函數(shù)并不檢查關于GB／T16656．42引用的正確性。只有關于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(返回)：如果這個point是有效的point，返回TRUE，否則返回FALSE。4．3．2函數(shù)gbstcheck_curvegbsLcheck_curve函數(shù)在geometrically—bounded—surface—shape—representation相關環(huán)境下檢查curve實例的有效性。其有效性的必要條件之一就是curve的實行由這個函數(shù)通過使這個curve實例引用的所有幾何(比如其他curves和surfaces)實施有效檢查。如果適合，實例就被遞歸地調用。即如果curve引用另一個curve作為基本曲線或父類曲線，gbsfcheek-curve函數(shù)就又被調用。如果surface被引用，gbs￡_check—surface函數(shù)被調用。這個遞歸過程終止于實體類型不再引用任何curve或surface。除了為有效性應用界定其他標準的必要條件外；curve不應該被定義成自交。示例：這個函數(shù)檢查約束的有效性之一看是否b—spline～curve實例的自交標志被設置為TRUE，F(xiàn)ALSE或UN—KNOWN；只有FALSE和UNKNOWN是有效的。以下曲線類型和它們的子類型在geometrically—bounded—surface_shape_representation且是這個函數(shù)的有效輸入：——b-spline_curve；——composite—curve；——conic：——curve—replica；——line：——offseLcurve．3d；——pcurVe；——p01yline；——surface—curve；——trimmed—curve。注1：這個函數(shù)應用于以下遞歸過程列表標記的實體類型，以便作為檢查他們實體引用的有效性示例。curve_replica的parent—curve都應該是下面類型之一：——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都應該是下面類型之一：——b—spline_curve；——c。mposite—curve(遞歸)；——conic：——curve_replica(遞歸)；——line：——offseLcurve一3d(遞歸)；——pcurve(遞歸)；——surface-curve(遞歸)；——trimmed—curve(遞歸)。definitionalrepresentation的items集合中的一個實例，這個實例被pcurve引用為curve，應該是下面類型之一：——b—spline—curve；——-composite_curve(遞歸)；——conic：——curve_replica(遞歸)}——line；——polyline；——trimmed—curve(遞歸)。surface—curve的curve一3d應該是下面類型之一：——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的有效性調用。geometrically_houndedsurface_shape—representation要求對有效surface在GB／T16656．42pcurve和surface_curve的引用有同樣的限制。一個有效的polyline應該包括至少三個cartesian—point。屬性self_intersect因為B樣條函數(shù)和偏置幾何將被設置為FALsE或UNKNOWN。如果所有的引用幾何的類型都在geometrically_bounded_surface_shape—representation且所有的約束都滿足，那么函數(shù)返回TRUE，否則函數(shù)返回FALSE。注2：這個函數(shù)并不檢查關于GB／T16656．42引用的正確性。GB／T16656．42要求，例如。composite—curve的segments應該是composite_curve—segment，并且composite_curvesegment的parent_curve應該是curve。這個約柬不用這個函數(shù)檢驗。只有關于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ù)定義：這個representation_item被認為是curve，curve在geometrically—bounded—surface—shaperepresentation相關環(huán)境下被檢查是否有效。BoOLEAN(返回)：如果representation_item是有效的curve，返回TRUE，否則返回FALSE。4．3．3gbsf_check_surfacegbsf．_check-surface函數(shù)在geometrically—bounded—surface～shape—representation的環(huán)境中檢查surface實例的有效性。有效性的一個必要條件就是surface件的實行由這個函數(shù)通過使這個surface實例引用的所有幾何(比如其他curves和surfaces)有效檢查。如果適合，實例會被遞歸地檢查下去。這就意味著如果一個surface引用了另外一個surface，把它作為基本曲面或父曲面，gbsf-checksurface函數(shù)就又要被調用。如果curve被引用，gbsf—check—surface函數(shù)也要被調用。遞歸過程在實體類型不再引用任何的curve或surface對于有效性的應用，除了需要限制其他標準以外，surface不應該被定義成自交的。示例：被這個函數(shù)所驗證的一個限制是：b—spline—surface類型的實例的自交屬性設置成TRUE，F(xiàn)ALSE或UN—KNOWN．只有設置成FALSE或UNKNOWN時才是有效的。下面的曲面類型和它們的子類型在geometrically—bounded—surface—shape—representation內，是這個函數(shù)的有效輸入。——b—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都應該是上面所列surface型中的一個。surface_oLrevolution引用了curve，函數(shù)gbsf—check—curve被調用來驗證curve。geometrically—bounded_surface_shape—representati。n，在驗證GB／T16656．42制。所有在geometrically—bounded—surface—shape～representation的范圍之內的curves都是有效的swept_curve。15GB／T16656．507—2010／IS010303-507：2001對于B樣條曲線和偏移幾何，自交屬性應該被設置成FALSE或者UNKNOWN。如果所有被引用幾何的類型在geometrically—bounded-surface_shape_representation并且所有的限制都被滿足，這個函數(shù)返回TRUE，否則這個函數(shù)返回FLASE。注1：這個函數(shù)不檢查關于GB／T16656．42的引用的正確性。例如，GB／T16656．42要求rectangular—composite—sudaee的segment應該是surface_patch，這些segment應該有boundedsurface制不被這個函數(shù)所驗證。只有根據(jù)geometrically—bounded～surface～shape—representation的范圍而附加的要求才被校驗。注2：這個函數(shù)應用一個遞歸的過程來檢查實體對輸人曲面的引用。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【刪礎．SPHERICALSL珉FACE，。AIc_GEOMETRIC心一BOUNDED_SURFACE．TOROIDAL—SURFACE’，‘AIc_GEOMETRICALLY_BOUNDED_SURFACE．CURVE_BOUNDED_SURFACE，’AIc任強匝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；