GBT16656.507-2010工业自动化系统与集成产品数据表达与交换应用解释构造几何有界曲面.pdf 45页

'ICS25．040．40L67园亘中华人民共和国国家标准GB／T16656．507—201O／ISO10303-507：2001工业自动化系统与集成产品数据表达与交换第507部分：应用解释构造：几何有界曲面Industrialautomationsystemsandintegration--ProductdatarepresentatiOnandexchange---Part507：Applicationinterpretedconstruct：Geometricallyboundedsurface2011-01—14发布(ISO10303—507：2001，IDT)2011-05—01实施中华人民共；fⅡ国国家质量监督检验检疫总局告布中国国家标准化管理委员会厘111 标准分享网www.bzfxw.com免费下载GB／T16656．507—2010／ISO10303-507：2001目次前言⋯⋯⋯⋯⋯⋯⋯⋯·⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯····⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯”I弓l言---·--⋯⋯⋯⋯⋯⋯-----·---⋯⋯⋯⋯⋯⋯---------·⋯⋯⋯⋯⋯⋯··⋯-··⋯⋯⋯--···⋯⋯⋯··-·⋯···Ⅱ1范围⋯⋯···------⋯⋯⋯⋯⋯⋯···⋯---··⋯⋯⋯⋯·⋯·⋯⋯⋯·····-·-⋯⋯⋯⋯⋯···⋯⋯-⋯·-⋯⋯⋯12规范性引用文件⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一13术语、定义和缩略语⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯23．1ISO10303—1中定义的术语⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯23．216656．42中定义的术语⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯···⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·23．316656．202中定义的术语⋯⋯⋯⋯····⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·23．4其他术语和定义⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯--33．5缩略语⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·····⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯34EXPRESS短表⋯⋯⋯⋯··········⋯⋯--⋯⋯··⋯⋯·⋯··-···⋯⋯-·-⋯⋯---·⋯⋯··⋯····⋯-----⋯⋯3附录A(规范性附录)实体短名⋯⋯⋯······⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯19附录B(规范性附录)信息对象注册⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯20附录C(资料性附录)EXPRESS-G图⋯⋯⋯⋯⋯⋯⋯⋯·⋯·····⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·····⋯⋯-21附录D(资料性附录)计算机可解释的列表⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯·⋯⋯⋯⋯⋯⋯⋯⋯··40 GB／T16656．507—2010／ISO10303-507：200I刖昌16656((工业自动化系统与集成产品数据表达与交换》是一项由多个部分组成的标准，各部分单独出版。GB／T16656的所属各部分又组成多个子系列，即：——第1部分至第19部分规定了描述方法；——第20部分至第29部分规定了实现方法；——第30部分至第39部分规定了一致性测试方法与框架；——第40部分至第59部分规定了集成通用资源；——第100部分至第199部分规定了集成应用资源；——第200部分至第299部分规定了应用协议；——第300部分至第399部分规定了抽象测试套件；——第400部分至第499部分规定了应用模块；——第500部分至第599部分规定了应用解释构造；——第i000部分至第1999部分规定了应用模块。16656((工业自动化系统与集成产品数据表达与交换》现已发布和即将发布的包括以下部分：——第1部分：概述与基本原理；——第11部分：描述方法：EXPRESS语言参考手册；——第21部分：实现方法：交换文件结构的纯正文编码；——第28部分：实现方法：EXPRESS模式与数据的XML表达(使用XML模式)；——第31部分：一致性测试方法论与框架：基本概念；——第32部分：一致性测试方法论与框架：对测试实验室与客户的要求；——第34部分：一致性测试方法论与框架：应用协议实现的抽象测试方法；——第41部分：集成通用资源：产品描述与支持原理；——第42部分：集成通用资源：几何与拓扑表达；——第43部分：集成通用资源：表达结构；——第44部分：集成通用资源：产品结构配置；——第45部分：集成通用资源：材料；——第46部分：集成通用资源：可视化显示；——第47部分：集成通用资源：形状变化公差i——第49部分：集成通用资源：工艺过程结构和特性}——第51部分：集成通用资源：数学表达；——第54部分：集成通用资源：分类和集合论；——第55部分：集成通用资源：过程与混合表达；——第56部分：集成通用资源：状态；——第101部分：集成应用资源：绘图；——第105部分：集成应用资源：运动学；——第201部分：应用协议：显式绘图；——第202部分：应用协议：相关绘图；——第203部分：应用协议：配置控制设计；I 标准分享网www.bzfxw.com免费下载GB／T16656．507—2010／ISO10303-507：2001——第238部分：应用协议：计算机数值控制器用的应用解释模型；——第601部分：应用解释构造：基于边的线框；——第502部分：应用解释构造：基于壳的线框；——第503部分：应用解释构造：几何有界二维线框；——第504部分：应用解释构造：绘图注释i——第505部分：应用解释构造：图样结构与管理；——第506部分：应用解释构造：绘图元素；——第507部分：应用解释构造：几何有界曲面；——第508部分：应用解释构造：非流形曲面；——第509部分：应用解释构造：流形曲面；——第513部分：应用解释构造：基本边界表达i——第520部分：应用解释构造：相关绘图元素；——第1001部分：应用模块：外观赋值；——第1002部分：应用模块：颜色；——第1003部分：应用模块：曲线外观；——第1004部分：应用模块：基本几何形状；——第1005部分：应用模块：基本拓扑；——第1006部分：应用模块：基础表达；——第1007部分：应用模块：通用曲面外观；——第1008部分：应用模块：层赋值；——第1009部分：应用模块：形状外观和层。本部分是GB／T16656的第507部分。本部分等同采用国际标准ISO10303—507：2001((2K业自动化系统与集成产品数据表达与交换第507部分：应用解释构造：几何有界曲面》(英文版)，其技术内容和结构与ISO10303—507：200l保持一致，为便于使用，做了如下编辑性修改：a)删去了ISO前言、索引；b)对于带下划线的用于EXPRESS语言描述的各黑体英文实体名、属性名和函数名等，为了维护其英文原意，在本部分中，都使用其英文原名，仅当其作为标题时，我们在该英文名前增加了其归属的类型说明。本部分的附录A、附录B为规范性附录，附录C、附录D为资料性附录。本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会(SAC／TC159)归口。本部分主要起草单位：中国标准化研究院。本部分主要起草人：周歆华、王志强、李文武、洪岩、杨青海、刘守华。Ⅱ GB／T16656．507—2010／ISO10303—50712001引言16656是计算机可解释的用于产品数据表达和交换的技术标准。其目的是提供贯穿产品整个生命周期的、独立于任何特定系统的描述产品数据的中性机制。其描述功能不仅适合中性文件的交换，而且也是实现和共享产品数据库及存档的基础。16656由多个部分组成，每个部分单独发表。各个部分都分属以下系列之一：描述方法、集成资源、应用解释构造、应用协议、抽象测试套件、实现方法和一致性测试。本部分属于应用解释构造系列。应用解释构造(AIC)给出了解释构造的逻辑组合以支持在多个应用相关环境中使用产品数据的特定功能。解释构造是集成资源的公共解释以支持应用协议中共享信息的需求。本部分通过几何有界曲面模型为几何形状的描述规定了应用解释构造。它包括定义纯几何有界模型的几何资源，几何有界模型由基本与雕塑曲线和曲面组成。Ⅲ 标准分享网www.bzfxw.com免费下载GB／T16656．507--2010／IS010303-507：2001工业自动化系统与集成产品数据表达与交换第507部分：应用解释构造：几何有界曲面1范围16656的本部分规定了集成资源的解释，通过几何有界曲面模型来满足对几何形状的表达的需求。以下内容属于本部分的范围：——3D点；——定义在曲线或曲面参数空间中的点；——3D曲线；——定义在曲面参数空间中的曲线。注：这样的曲线也称为pcurves或COnS，这是参数化曲线和曲面上的曲线的简称。——基本曲线：圆，椭圆，抛物线和双曲线；——相交曲线；——至少由三点组成的折线；——曲面；——基本曲面：平面、柱面、锥面、圆环面和球面；——通过曲线的旋转或线性拉伸而产生的扫描面；——雕塑曲线和曲面；——曲线和曲面的剪裁；——曲线和曲面的复合；——曲线、曲面和曲面模型的复制；——曲线和曲面的三维偏置。以下内容不适用于本部分的范围：——无界几何；——自交几何；——二维笛卡尔坐标空间内的几何；——点的复制；——拓扑实体。2规范性引用文件下列文件中的条款通过GB／T16656的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。16262．1信息技术抽象语法记法一(AsN．1)第1部分：基本记法规范(GB／T16262．I--2006，ISO／iEC8824—1：2002，IDT)1 GB／T16656．507—20]0／1so10303—507：200116656．41—1999工业自动化系统与集成产品数据表达与交换第41部分：集成通用资源：产品描述与支持原理(idtIS010303—41：1994)16656．42—1998工业自动化系统与集成产品数据表达与交换第42部分；集成通用资源：几何与拓扑表达(idtIS010303—42：1994)16656．43—1999工业自动化系统与集成产品数据表达与交换第43部分：集成通用资源：表达结构(idtIS010303—43：1994)16656．202--2000工业自动化系统与集成产品数据表达与交换第202部分：应用协议：相关绘图(eqvISO10303—202：1996)ISO10303—1：1994工业自动化系统与集成产品数据表达与交换第1部分：概述与基本原理ISO10303—11：1994工业自动化系统与集成产品数据表达与交换第11部分：描述方法：EX—PRESS语言参考手册注：GWT16656．202被术语AIC的定义规范完全的引用。3术语、定义和缩略语3．1ISO10303—1中定义的术语ISO10303—1所定义的下列术语适用于本部分：——抽象测试套件abstracttestsuite(ATS)；——应用application；——应用相关环境applicationcontext；——应用协议applicationprotocol(AP)；——数据data；——数据交换dataexchange；——通用资源genericresource；——实现方法implementationmethod；——信息information；——集成资源integrate6reeoⅥce；——解释interpretation；——模型model；——产品product；——产品数据productdata；——结构structure。3．216656．42中定义的术语16656．42所定义的下列术语适用于本部分：——边界boundary；——坐标空间coordinatespace；——曲线curve；——维数dimensionality；——域domain；——参数空间parameterspacer——自交self-intersect；——曲面surface。3．316656．202中定义的术语16656．202所定义的下列术语适用于本部分。2 GB／T16656．507—2010／ISO10303—507：20013．3．1应用解释构造ApplicationInterpretedConstruct：AIC解释结构的一种逻辑组，它支持横跨多种应用相关环境的使用产品数据的规定功能。3．4其他术语和定义下列术语和定义适用于本部分。3．4．1几何有界geometricallybounded仅用坐标空间中的值来定义它的边界和连通性的几何形状的描述，不用拓扑构造定义。3．5缩略语下列缩略语适用本部分。AIC：应用解释构造(ApplicationInterpretedConstruct)AP：应用协议(applicationprotoc01)ATS：抽象测试套件(abstracttestsuite)4EXPRESS短表本章规定了EXPRESS模式，所采用的元素取自集成资源，包含GB／T16656本部分规定的类型、实体描述和函数。洼1；本AIC中有很多未引人的集成资源所规定的子类和选择列表项。通过使用ISO10303—11臆式接口规则，某些构造从子类树或选择列表中被排除。在一些情况下，删除了所有的选择列表项。因为AIC将在应用协议相关环境内实现，因此选择列表项在应用协议中定义。这个应用解释构造为曲面模型的定义提供几何实体的一致集，这个曲面模型由点，基本或雕塑的曲线和曲面组成。几何应该是有界的；拓扑实体不用于边界限制。EXPRESS描述：*)SCHEMAaic—geometrically_boundedsurface；REFERENCEFROMsupport—resource—schema(一GB／T16656．41bag_toset)；USEFROMgeometric—model—schema(--GB／T16656．42geometric—set)；USEFROMgeometry_schema(axisl—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．42 GB／T16656．507—2010／ISO10303-507：20014hounded_pcurve，boundedsurface—curve，cartesianpoint，cartesian—transformationoperator3d，circle，composite_curve，composite_curveonsurface，composite_curve_segment，conical—surface，curve，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．．segmentseam_curve，spherical—surface，surface，surface_curve， surfaceof——linear，．extrusionof—revolution，surface—patch，replica，swept—surface，toroidal—surface，trimmed_curve，uniform_curve，uniform～surface，vector)；GB／T16656．507—2010／ESO10303-507：2001USEFROMproduct—property_representation_schema(shape_representation)：一GB／T16656．41USEFROMrepresentation_schema(～GB／T16656．43definitional—representation，mapped_item，parametric—representation_context，representation，representation_item，representation_map)；(’注2：以上引用的模式可以在下列部分中查到：geometricmodel—schemaGB／T1665642geometry_schemaGB／T1665642product_propertyrepresentation_schemaGB／T1665641representation_schemaGB／T16656．43support_resource_schemaGB／T16656414．1基本概念和假设在应用协议模式中使用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规则compatible—di—mension中定义的维数一样。geometrically_boundensurface—shape_representation应该包括至少一个surface。专门用于支持其他几何实体定义的几何实体本身不会存在于geometric—set的elements中。所有的几何实体的维数都是三，除了用于定义pcurve目的的二维几何。一维cartesian—point的使用被5 GB／T16656．507--2010／15010303-507：2001排除在外。所有无界曲线和曲面应该显式地剪裁。曲线的边界应该或者由曲线上的点和这些点和曲线间的显式地关联定义，或者由参数值定义。曲面的边界应该或者由曲面上的曲线和这些曲线和曲面间显式地关联定义，或者由参数值定义。geometrically—bounded_surface—shape—representation的items也可能是在GB／T16656．42中定义的mapped_item类型，或axis2一placement一3d类型。这些items用来把一个或几个geometrically—bounded—surface—shape—representations聚集成其他的geometrically—bounded—surface—shape—repre—sentation。实体的WHERE规则限制根据上面的声明引自GB／T16656．42和GB／T16656．43的实体数据类型的使用。大多数实体类型的有效性和约束都在以下三个函数中指定：——gbsf_check—point；——gbsf_check—curve；——gbsf—check—surface。这三个函数应该被应用到geometrically—bounded—surface—shape—representation中所有geometric_set的所有elements中。这三个函数自动评测这些elements引用的所有的point，curve和surface。因此这三个函数被递归地调用。示例：pcurve引用curve和surface。函数gbsLcheck．curve不仅验证pcurve，而且验证它的下层几何。因此，它将不仅调用它自己，还调用gbsf—cheek-surface。注2：使用IS010303本部分的应用协议应当明确地允许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一PLACEMET-3D’J9(-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_ITEMINTYPEOF(it))INOT((。A工C—GEOMETRICALLY—BOUNDEDSURFACE1+。GEOMETRICALLYBOUNDED_SURFACESHAPE_REPRESENTATIO”INTYPEOF(mi＼mapped—item．mapping_source．mapped—representation))6 GB／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；(*正式建议：WRl：geometrically—bounded—surface—shape—representation中的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，那么根据一个只能做平移和旋转操作的转换矩阵，把mapped—representation映射为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，它的7 GB／T16656．507—2010／iso10303-507：2001mapping—source的mapped—representation应该是geometrically—bounded—surface—shape—representa—tion。这个shaperepresentation应该包含至少一个geometric_set。WR4：在geometricset的elements中，每一个point都应该是一个有效的point，这个geometric—set是geometrically_bounded_surface_shape_representation的items之一。WR5：在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的elements集中。4．3aie_geometrically_bounded__surface的函数定义本条描述了aic_geometrically_bounded—surface模式中公式化约束所需的函数。这些函数用于规定geometrically_boundedsurface—shape_representation实体。4．3．1函数gbsf_eheck_pointgbsf-check—point函数检查point实例在geometrically—bounded—surface—shape—representation相关环境下的有效性。这个point实例引用的所有几何，比如curves和surfaces，也要进行有效性检查。当curve或surface被引用时，函数gbsf_check—curve和gbsfcheck—surface分别被调用。这些函数中的递归过程终止于不再引用任何point，curve或surface实体类型。以下类型和它们的子类型在geometrically_boundedsurface_shape_representation范围内，并且是这个函数的有效输入：——cartesian—point；--degenerate_pcurve；——point—on—curve；——point—on_surface。列表中的后三项引用了curve或surface，或者两者都引用。degenerate_pcurve的basis—surface可能是geometrically—bounded—surface—shape—representation中任何有效的surface。degeneratepcurve的reference_to_curve应该是下面类型之一：——b-spline—curve；--composite_curve(递归)；——conic：——curvLreplica(递归)；——1ine：——polyline；——trimmea—curve(递归)。注1：这个函数应用于以上一个递归过程的列表标记的实体类型，作为检查它们实体引用的有效性示例。8 GB／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的范围内，函数返回TRUE，否则函数返回FALSE。注2：这个函数并不检查关于GB／T16656．42引用的正确性。只有关于geometrically—bounded—surface—shape—representation范围的额外要求要检查。EXPREss描述：-R-)FUNCTIONghsf_check_point(pnt：point)：BOOLEAN；(*Thisfunctionvarifiesthevalidityofapointinthecontextofageometricallyboundedsurfacemodel．*)(*acartesian_pointisvalid*)IF’AIC_GEOMETRICALLY_BOUNDED_SURFACE．CARTESIAN_POINTINTYPEOF(pnt)THENRETURN(TRUE)：ELLSE(*apoint—on_curveshallreferenceavalidcurve*)IF’A工c_GEOMETRICALLY-BOUNDEDSURFACE．POINLON_CURVE。INTYPEOF(pnt)THENRETURN(gbsf～cheok-curve(pnt＼point—on_curvebasis—curve))EISE(*apoint—on—surfaceshallreferenceavalidsurface*)工F’AIC_GEOMETRICALLY-BOUNDED—SURFACE．POINT～oN_SURFACE。INTYPEOF(pnt)THENRETURN(gbsf_check—surface(pntkpoint—on_surface．basis—surface))；EI．SE(*adegenerate～pcurveshallreferenceavalidcurveandavalidsurface*)IF。AIC—GEOMETRICALLY-BOUNDEDSURFACE．DEGENERATE_PCURVE’工NTYPEOF(pnt)THENRETURN((gbsf—cbeck_curve(pnt＼degenerate—pcurve．reference_to_curvekrepresentation．items[1]))ABD(gbsf_check—surface9 GB／T16656．507—2010／ISO10303-507：2001(pnt＼degeneratepcurve．basis—surface)))；END_IF；END—IF；END_IF}RETURN(FALSE)；END_FUNCTION；(*参数定义：pnt(输入)：在geometrically_bounded_surface_shape_representation中point将被检查是否是有效的point。BOOLEAN(返回)：如果这个point是有效的point，返回TRUE，否则返回FALSE。4．3．2函数gbstcheck_curvegbsLcheck_curve函数在geometrically—bounded—surface—shape—representation相关环境下检查curve实例的有效性。其有效性的必要条件之一就是curve实例产生的几何是有界的。这个必要条件的实行由这个函数通过使这个curve实例引用的所有几何(比如其他curves和surfaces)实施有效检查。如果适合，实例就被递归地调用。即如果curve引用另一个curve作为基本曲线或父类曲线，gbsfcheek-curve函数就又被调用。如果surface被引用，gbs￡_check—surface函数被调用。这个递归过程终止于实体类型不再引用任何curve或surface。除了为有效性应用界定其他标准的必要条件外；curve不应该被定义成自交。示例：这个函数检查约束的有效性之一看是否b—spline～curve实例的自交标志被设置为TRUE，FALSE或UN—KNOWN；只有FALSE和UNKNOWN是有效的。以下曲线类型和它们的子类型在geometrically—bounded—surface_shape_representation范围内，并且是这个函数的有效输入：——b-spline_curve；——composite—curve；——conic：——curve—replica；——line：——offseLcurve．3d；——pcurVe；——p01yline；——surface—curve；——trimmed—curve。注1：这个函数应用于以下递归过程列表标记的实体类型，以便作为检查他们实体引用的有效性示例。curve_replica的parent—curve都应该是下面类型之一：——b—spline_curve；——composite—curve(递归)；——conic；——curve-replica(递归)；——line；——offsn—curve_3d(递归)；——pcurve(递归)；1O GB／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引用为reference—to—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。函数gbsf—cheek—surface被这些surface的有效性调用。geometrically_houndedsurface_shape—representation要求对有效surface在GB／T16656．42中规定的pcurve和surface_curve的引用有同样的限制。一个有效的polyline应该包括至少三个cartesian—point。属性self_intersect因为B样条函数和偏置几何将被设置为FALsE或UNKNOWN。如果所有的引用几何的类型都在geometrically_bounded_surface_shape—representation范围内，并且所有的约束都满足，那么函数返回TRUE，否则函数返回FALSE。注2：这个函数并不检查关于GB／T16656．42引用的正确性。GB／T16656．42要求，例如。composite—curve的segments应该是composite_curve—segment，并且composite_curvesegment的parent_curve应该是bounded—curve。这个约柬不用这个函数检验。只有关于geometrically_bounded_surface_shape_representation范围的额外要求要检查。11 GB／T16656．507—20IO／LsO10303-507：200112EXPRESS描述：*)FUNCTIONghsf—check_curve(ev：representationitem)：BOOLEAN；(*Thisfunctionvarifiesthevalidityofacurveinthecontextof8geometricallyboundedsurfacemodel．Representation—itemsarevalidinput，however，theyaresupposedtobecuzl／esiotherwisethisfunctionwillreturnfalse．*)(*complexsubtypesofcurvethatarebothhounded-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；_IF(*circle，ellipse，andtrimmed_curvearevalidcurves；theyarehoundedperdefinition*)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—intersectandallofitssegmentsshallreferencevalidcurves*)IF((’AIc-GEOMETRICALLY_BOUNDED—SURFACE．COMPOSITE—CURVE" GB／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—replicashallreferenceavalidCUrVe*)IF’AIc_GEOMETRICALLY_BOUNDED_SURFACE．CURVE_REPLICAINTYPEOF(cv)THENRETURN(gbsf——check．．curve(cvlcurve—replicaparent—curve))；ELSE(*anoffset—curve_3dshallnotself-intersectandshallreferenceavalidcurve；apolylineisnotavalidbasis～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(*apeurveshallreferenceavalidcurveandavalidhasissurface*)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*)13 GB／T16656．507—2010IISO10303-507=200114IF’A工c_GEOMETRICALLY_BOUNDED—SURFACE．POLYLINE"INTYPEOF(cv)THENIF(SIZEOF(cv＼polyline．points)>=3)THENRETURN(TRUE)；END_IF；ELSE(*asurface_curvereferencesecurve一3dandoneortwopcurvesoroneortwosurfacesoroneofeach；allofthesereferencesshallbevalid*)IF"AIc_GEOMETRICALuLBOUNDED_SURFACE．SURFACE_CURVE"INTYPEOF(cv)THEN(*ifthecurvereferenceiscorrect，checkalsotherest*)IFgbsf—check_curve(cv＼surface_curve．curve_3d)THENREPEATi：=1TOSIZEOF(cv＼surface_curveassociated_geometry)；(*doforoneortwoassociated_geometrys：*)IF’AIc_GEOMETRICALLY-BOUNDED_SURFACE．SURFACEINTYPEOF(cv＼surface—curve．associated_geometry[i])THENIFNOTgbsf—check_surface(cv＼surface—curveassociated_geometry[i])THENRETURN(FALSE)；END—IF；ELSEIF’AICGE0加￡TR工CALLY-BOUNDED—SURFACE．PCURVEINTYPEOF(cv＼surface_curve．associated_geometry[i])T卸￡NIFNOTgbsf-check_curve(cv＼surface—Curve．associated_geometry[i])THENRETURN(FALSE)；END_IF；END_REPEAT；RETURN(TRUE)；END_IF； GB／T16656．507—2010／ISO10303-50712001END_IF；EliD—IF{END_IF；END—IF；END_IF；(*FKLSEisreturnediftheinputparametercvisnotavalidCllrve*)RETURN(FALSE)；END_FUNCTION；(*参数定义：ev：(输Yk．)representation_item，这个representation_item被认为是curve，curve在geometrically—bounded—surface—shaperepresentation相关环境下被检查是否有效。BoOLEAN(返回)：如果representation_item是有效的curve，返回TRUE，否则返回FALSE。4．3．3gbsf_check_surfacegbsf．_check-surface函数在geometrically—bounded—surface～shape—representation的环境中检查surface实例的有效性。有效性的一个必要条件就是surface实例所产生的几何是有界的。这个必要条件的实行由这个函数通过使这个surface实例引用的所有几何(比如其他curves和surfaces)有效检查。如果适合，实例会被递归地检查下去。这就意味着如果一个surface引用了另外一个surface，把它作为基本曲面或父曲面，gbsf-checksurface函数就又要被调用。如果curve被引用，gbsf—check—surface函数也要被调用。递归过程在实体类型不再引用任何的curve或surface的时候就终止了。对于有效性的应用，除了需要限制其他标准以外，surface不应该被定义成自交的。示例：被这个函数所验证的一个限制是：b—spline—surface类型的实例的自交属性设置成TRUE，FALSE或UN—KNOWN．只有设置成FALSE或UNKNOWN时才是有效的。下面的曲面类型和它们的子类型在geometrically—bounded—surface—shape—representation范围之内，是这个函数的有效输入。——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，函数gbsf—check—curve被调用来验证curve。geometrically—bounded_surface_shape—representati。n，在验证GB／T16656．42中规定的扫描曲线时，要求相同的限制。所有在geometrically—bounded—surface—shape～representation的范围之内的curves都是有效的swept_curve。15 GB／T16656．507—2010／IS010303-507：2001对于B样条曲线和偏移几何，自交属性应该被设置成FALSE或者UNKNOWN。如果所有被引用几何的类型在geometrically—bounded-surface_shape_representation的范围之内，并且所有的限制都被满足，这个函数返回TRUE，否则这个函数返回FLASE。注1：这个函数不检查关于GB／T16656．42的引用的正确性。例如，GB／T16656．42要求rectangular—composite—sudaee的segment应该是surface_patch，这些segment应该有boundedsurface作为它们的父曲面。这些限制不被这个函数所验证。只有根据geometrically—bounded～surface～shape—representation的范围而附加的要求才被校验。注2：这个函数应用一个递归的过程来检查实体对输人曲面的引用。EXPRESS描述：16*)FUNCTIONgbsf—check_surface(sf：surface)：BOOLEAN(*Thisfunctionverifiesthevalidityofasurfaceinthecontextofageometricallyboundedsurfacemodel．*)(*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—surfacearevalid；alsocurve—bounded_surfaceandrectangular—triremed_surfaceareperdefinitionboundedand，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-intersectandshallreferenceavalidsurface GB／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_surfaceshallreferenceamatrixofvalidsurfaces*)IF值Ic咖IC眦卫甘口【Ⅱ咖&脚．照珊㈣O蛐∞ITES[腰跹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—replicashallhaveavalidparentsurface*)IF’AIC—GEOMETRICALLY_BOUNDED—SURFACE．SURFACE—REPLICA。INTYPEOF(sf)THENRETURN(gbsf—check_surface(sf＼surface—replica．parent—surface))；ELSE(*asurface—of—revolutionshallhaveavalidsweepingcurve；surface—of一1inear_extrusionisnotvalid，asitisunboundedinthedirectionoftheextrusion；itmay，however，bevalidiftrimmed*)ⅡⅢC任n旺ⅡRI∞【IY∞[ⅡⅡD＆研A压．&碰’A压∞劂IⅡ10N17 GB／T16656．507—2010／ISO10303-507：2001INTYPEOF(sf)THENRETURN(gbsf-check_curve(sf＼swept—surface．swept—curve))END_IF；END—IF；ENDIF；RETURN(FAISE)；END—FUNCTION；(*参数定义：sf：(输Jk)在geometrically_bounded—surface_shape—representation中，surface被检查是否为有效的surface。18B00LEAN：(返回)如果surface是有效的surface，就返回TRUE，否则就返回FALSE。*)END_SCHEMA；一aic—geometrically_bounded—surface(* GB／T15655．507—2010／I$010303-507：2001附录A(规范性附录)实体短名表A．1给出了GB／T16656的本部分规定的实体短名。使用短名的要求见GB／T16656的实现方法。表A．1实体短名实体名短名|GEOMETRICALLYBOUNDEDSURFACE_SHAPEREPRESENTATIONGBSSR GB／T16656．507—2010／ISO10303-507：2001附录B(规范性附录)信息对象注册B．1文档标识在开放系统中，为确定信息对象的无二义性标识，规定本部分的对象标识符为：{isostandard10303part(507)version(1))本标识符的含义在GB／T16262．1中进行了定义，并且在ISO10303—1中进行了描述。B．2模式标识在开放系统中，为确定aic—geometrically—bounded-surface的无二义性标识，规定对象标识符：{isostandard10303part(507)version(I)object(1)aic—geometrically-bounded-surface(1))分配给aic_geometr：cally—bounded—surface模式(见第4章)，本标识符的含义在GB／T16262．1中进行了定义，并且在ISO10303—1中进行了描述。 GB／T16656．507—2010／LsO10303—507：2001附录c(资料性附录)ExPREss-G圈本附录中的图C．1～图C．18对应于GB／T16656本部分第4章中的EXPRESS短表。图中使用了EXPRESS语言的EXPRESS-G图解形式。EXPRESS-G在ISO10303—11：1994的附录D中定义。注：以下选择类型与符合ISO10303—11隐式接口规则的AIC扩展列表相连接。ISO10303本部分的其他实体不使用这些选择类型。——curve—orLsurface；——foundeditem—select；——measure—value；——transformation；——vectoror_direction。21 GB／T16656．507—2010／LSO10303-507：2001图C．1EXPRESS-G图18-1 GB／T16656．507—2010／ISO10303·507：2001图C．2EXPRESS-G图18-223 GB／T16656．507—2010／ISO10303—507：200124围C．3EXPRESS-G图18-3 GB／T16656．507—2010／ISO10303—50712001图C．4EXPRESS-G图18-4 GB／T16656．507--2010／1S010303-507：2001图C．5EXPRESS-G图18-5 GB／T16656．507—2010／iso10303-507：2001图C．6EXPRESS-G图18-6 GB／T16656．507—2010／Is010303-507：200128图c．7EXPRESS-G图18-7 GB／T16656．507—2010／iso10303—507：2001图C．8EXPRESS-G图18-8 GB／T16656．507—2010／[SO10303-507：200130图C．9EXPRESS-G图18-9 GB／T16656．507—20lO／ISO10303-507：2001星一!一图c．10EXPRESS-G图18—1031 GB／T16656．507—2010／ISO10303-507：200132二二rI一：positive_length_mⅧvalue图c．11EXPRESS-G图18-11 GB／T16656．507—2010／Lso10303-507：2001图c．12EXPRESS-G图18-1233 GB／T16656．507—2010／ISO10303—507：200134图C．13EXPRESS-G图18-13 GB／T16656．507—2010／]so10303-50712001冒c．14EXPRES争G图18-14dmension㈣t GB／T16656．507—2010／ISO10303-507：200136图C．15EXPRESS-G圉18-15 GB／T16656．507—2010／[so10303·507：2001图c．16EXPRESS-G图18-1637 GB／T16656．507—2010／ISO10303-507：200138图C．17EXPRESs-G图18—17 GB／T16656．507—2010／[SO10303-507二2001图C．18EXPRESS-G图18-1839 GR／T16656．507—2010／IS010303—507：2001附录D(资料性附录)计算机可解释的列表本附录引用了GB／T16656本部分规定的EXPRESS实体名和对应短名的列表，也提供了本部分规定的没有注解或其他说明文本的每一个EXPRESS模式的列表。这些剐表以计算机可解释的格式给出，并可从以下URL查到：短名：http：／／www．reel．nist．gov／div826／subject／apde／snrEXPRESS：http：／／www．reel．nist．gov／step／parts／pan507／IS／如果不能访问以上网址，请联系／SO中央秘书处或ISOTCl84／SC4秘书处：sc4sec@cme．nist．gov。注：从上述网址得到的计算机可解释格式的信息是资料性的，包含在本部分主体部分的信息是规范性的。'