GB T 16656.509-2010 工业自动化系统与集成 产品数据表达与交换 第509部分：应用解释构造：流形曲面.pdf

《GB T 16656.509-2010 工业自动化系统与集成 产品数据表达与交换 第509部分：应用解释构造：流形曲面.pdf》由会员分享，可在线阅读，更多相关《GB T 16656.509-2010 工业自动化系统与集成 产品数据表达与交换 第509部分：应用解释构造：流形曲面.pdf（52页珍藏版）》请在麦多课文档分享上搜索。

1、ICS 25.040.40 L 67 GB 国家标准国不日11: ./、中华人民GB/T 16656.509-2010/180 10303-509: 200 1 工业自动化系统与集成产品数据表达与交换第509部分:应用解释构造:流形曲面Industrial automation systems and integration-Product data representation and exchange-Part 509: Application interpreted construct: Manifold surface CISO 10303-509: 2001 , IDT) 2011-

2、01-14发布数码防伪中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会2011-05-01实施发布GB/T 16656.509-201 O/ISO 10303-509: 200 1 目次前言.m 引言.v l 范围.2 规范性引用文件-3 术语、定义和缩略语.3. 1 ISO 10303-1中定义的术语 2 3.2 GB/T 16656.42中定义的术语23.3 GB/T 16656.202中定义的术语 3 3.4 在ISO10303-511中定义的术语33.5 其他术语和定义.3 3.6 缩略词.3 4 EXPRESS短表4. 1 基本概念和假设4. 2 aic_manifol

3、d_surface模式实体定义:manifold_surface_representation 4. 3 aic_manifold_surface函数定义4.3.1 函数msf_curve_check.4.3.2 函数msf_surface_check15附录A(规范性附录)实体短名四附录B(规范性附录)信息对象注册附录c(资料性附录)EXPRESS-G图20附录D(资料性附录)计算机可解释的列表.43 I GB/T 16656.509-2010/180 10303-509: 200 1 目。吕GB/T 16656(工业自动化系统与集成产品数据表达与交换是一项由多个部分组成的标准，各部分单独出

4、版。GB/T16656的所属各部分又组成多个子系列，即:一一第l部分至第19部分规定了描述方法;一一第20部分至第29部分规定了实现方法;第30部分至第39部分规定了一致性测试方法与框架;一一第40部分至第59部分规定了集成通用资源;一一第100部分至第199部分规定了集成应用资源;一一第200部分至第299部分规定了应用协议;一一第300部分至第399部分规定了抽象测试套件;一一第400部分至第499部分规定了应用模块;第500部分至第599部分规定了应用解释构造;一一第1000部分至第1999部分规定了应用模块。GB/T 16656(工业自动化系统与集成产品数据表达与交换现已发布和即将发布

5、的包括以下部分:一一第1部分:概述与基本原理;第11部分:描述方法:EXPRESS语言参考手册;一一第21部分:实现方法:交换文件结构的纯正文编码;一一第28部分:实现方法:EXPRESS模式与数据的XML表达(使用XML模式); 一一第31部分:一致性测试方法论与框架:基本概念;一一第32部分:一致性测试方法论与框架:对测试实验室与客户的要求;第34部分:一致性测试方法论与框架:应用协议实现的抽象测试方法;一一第41部分:集成通用资源:产品描述与支持原理;一一第42部分:集成通用资源:几何与拓扑表达;一一第43部分:集成通用资源:表达结构;一一第44部分:集成通用资源:产品结构配置;第45部

6、分z集成通用资源z材料;一一第46部分:集成通用资源:可视化显示;一一第47部分:集成通用资源:形状变化公差5一一第49部分z集成通用资源:工艺过程结构和特性;一一第51部分:集成通用资源z数学表达;一一第54部分:集成通用资源:分类和集合论;一一第55部分:集成通用资源:过程与混合表达;一一第56部分:集成通用资源:状态;一一第101部分z集成应用资源:绘图;一一第105部分z集成应用资源:运动学;一一第201部分:应用协议:显式绘图;一一第202部分:应用协议:相关绘图;第203部分:应用协议z配置控制设计;一一第238部分z应用协议:计算机数值控制器用的应用解释模型;皿GB/T 1665

7、6.509-201 O/ISO 10303-509: 200 1 一一第501部分:应用解释构造:基于边的线框;一一第502部分:应用解释构造:基于壳的线框;一一第503部分:应用解释构造z几何有界二维线框;-一一第504部分:应用解择构造:绘图注释;第505部分:应用解释构造:图样结构与管理;一一第506部分:应用解释构造:绘图元素;一一第507部分:应用解释构造:几何有界曲面;一一第508部分:应用解释构造z非流形曲面;-一一第509部分:应用解释构造:流形曲面;一一第513部分:应用解释构造:基本边界表达;一一第520部分:应用解释构造:相关绘图元素;一一第1001部分:应用模块z夕阳赋

8、值;一一第1002部分:应用模块:颜色;第1003部分:应用模块:曲线外观;第1004部分:应用模块:基本几何形状;一一第1005部分:应用模块:基本拓扑;第1006部分:应用模块:基础表达;第1007部分:应用模块:通用曲面外观;第1008部分:应用模块:层赋值;第1009部分:应用模块:形状外观和层。本部分为GB/T16656的第509部分。本部分等同采用国际标准IS010303-509: 2001 (工业自动化系统与集成产品数据表达与交换第509部分:应用解释构造:流形曲面，其技术内容和结构与IS010303-509: 2001保持一致，为便于使用，做了如下编辑性修改zN a) 删去了I

9、S0前言;b) 对于带下划线的用于EXPRESS语言描述的各黑体英文实体名、属性名和函数名等，为了维护其英文原意，在本部分中，都使用其英文原名，仅当其作为标题时，我们在该英文名前增加了其归属的类型说明。本部分的附录A、附录B为规范性附录;附录C、附录D为资料性附录。本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。本部分主要起草单位:中国标准化研究院。本部分主要起草人:洪岩、刘守华、蒲霜、唐良富、王志强、杨青海、李文武。GB/T 16656.509-2010/ISO 10303-509:2001 sl GB/T 16656 (1S0 103

10、03)是一个计算机可解释的用于产品信息表达和产品数据交换的技术标准。其目的是对产品全生命周期提供一种独立于任何特定系统、能够描述产品数据的中性机制。其描述功能不仅适合于中性文件的交换，而且也是实现和共享产品数据库及存档的基础。GB/T 16656由一系列部分组成，每个部分单独发布。GB/T16656的各个部分都分属以下系列之一:描述方法、集成资源、应用解释构造、应用协议、抽象测试套件、实现方法及一致性测试。在IS0 10303-1中对上述类别进行了说明。本部分(即第509部分)属于应用解释构造类。应用解释构造(A1C)规定了解释构造的逻辑组合，这些应用解释构造支持跨越多个应用环境使用产品数据的

11、特定功能。应用解释构造是集成资源的公共性解释，它支持不同应用协议中共享信息的需求。GB/T 16656的本部分借助流形曲面模型的方法规定了描述几何形状的应用解释构造。它包括定义二维流形的解析曲线、雕塑曲线和雕塑曲面的几何与拓扑资源。V GB/T 16656.509-201 O/ISO 10303-509: 200 1 工业自动化系统与集成产品数据表达与交换第509部分:应用解释构造:流形曲面1 范围GB/T 16656的本部分规定了集成资惊的解释以满足借助流形曲面模型描述几何形状的需求。本部分适用于:一一三维点;一一在曲线或曲面参数空间中定义的点;三维曲线;在曲面参数空间中定义的曲线;注:这些

12、曲线也称作只取参数曲线和曲面上的曲线首字母的缩写词pcurve或cono一一解析曲线:直线、圆、椭圆、抛物线与双曲线;相交曲线;至少由三个点构成的折线;解析曲面:平面、圆柱面、圆锥面、圆环面、球面;一一通过旋转或线性拉伸曲线扫略成的曲面;一一雕塑曲线或曲面;一一用拓扑实体剪裁曲线或曲面;一一用拓扑实体组成曲线或曲面;一一复制曲线、曲面和曲面模型;三维偏置曲线与曲面;一二维流形。本部分不适用于:一一无界几何;一自相交几何;一一在二维笛卡儿坐标空间中的几何;一一点的复制;一一不与对应几何域相关联的拓扑;一一一非流形。2 规范性引用文件下列文件中的条款通过GB/T16656的本部分的引用而成为本部分

13、的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。GB/T 16262. 1 信息技术抽象语法记法一CASN.l)第1部分:基本记法规范CGB/T16262.1-2006 ,ISO/IEC 8824.1:2002 ,IDT) GB/T 16656.41-1999 工业自动化系统与集成产品数据表达与交换第41部分:集成通用资GB/T 16656.509-2010/ISO 10303-509 :2001 源:产品描述与支持原理(idtISO

14、 10303-41: 1994) GB/T 16656.42-1998 工业自动化系统与集成产品数据表达与交换第42部分:集成通用资源:几何与拓扑表达(idtISO 10303-42: 1998) GB/T 16656.43-1999 工业自动化系统与集成产品数据表达与交换第43部分:集成通用资源:表达结构(idtISO 10303-43: 1994) GB/T 16656.202-2000工业自动化系统与集成产品数据表达与交换第202部分z应用协议:相关绘图(eqvISO 10303-202: 1996) 注:GB/T 16656.202只用于术语AIC定义的规范性参考。ISO 10303-

15、1: 1994工业自动化系统与集成产品数据表达与交换第l部分:概述与基本原理ISO 10303-11:1994工业自动化系统与集成产品数据表达与交换第11部分:描述方法:EXPRESS语言参考手册ISO 10303-511 : 2001 工业自动化系统与集成产品数据表达与交换第511部分:应用解释构造z拓扑界定的曲面3 术语、定义和缩略语3. 1 ISO 10303-1中定义的术语本部分使用ISO10303-1中定义的下列术语:一一-抽象测试套件abstract test suite (ATS); 一一一应用application; 一一应用相关环境application context; 一

16、一应用协议application protocol (AP) ; 一一数据data; 一一数据交换data exchange; 一一通用资源genenc resource; 一一实现方法implementation method; 信息informa tion; 一一集成资源integrated resource; 一一一解释interpretation; 一一模型model; 产品product; 一一产品数据product data; 一一结构structure。3. 2 GB/T 16656. 42中定义的术语2 本部分使用GB/T16656.42中定义的下列术语:一一边界boundar

17、y; 一一边界表达固体模型boundary representation solid model; 一一相连connected; 一一坐标空间coordinate space; 一一-曲线curve; 维度dimensionali ty; 一一域domain; 一一参数空间parameter space; 自相交self-in tersect; GB/T 16656.509-201 O/ISO 10303-509: 200 1 一曲面surface。3.3 GB/T 16656.202中定义的术语本部分使用GB/T16656.202中定义的下列术语。3.3. 1 应用解释构造(AIC)appl

18、ication interpreted construct(AIC) 应用解释构造CAIC)是一种逻辑组合，它支持横跨多种应用环境的产品数据使用特定功能。GB/T 16656.202-2000,3.7. 1J 3.4 在ISO10303-511中定义的术语本部分使用ISO10303-511中定义的下列术语:高级曲面advanced face; 一一雕塑曲面sculptured surface; 一一扫略曲面swept surface。3.5 其他术语和定义以下术语和定义适用于本部分。3.5. 1 二维流形2-manifold 形状边界上的任一点都能创建一个足够小的球体，以使球的内部被这个边界分

19、成两个确定的区域。边界由边和面构成。注:该定义不考虑曲面的自相交、不沿边的曲面相交以及连接三个面以上的边。3.5.2 非流形non-manifold 使用拓扑构造定义边界和连通的曲面模型，该模型要么至少包括两个共享一个face的connected_face_set，要么包括两个以上的face共享一个edge。3.6 缩略词AIC:应用解释构造(ApplicationInterpreted Construct) AP:应用协议CApplicationProtocol) ATS:抽象测试套件CAbstractTest Suite) 4 EXPRESS短表GB/T 16656的本章规定了EXPRES

20、S模式，所采用的元素取自集成资源，包含类、实体专门化和本部分规定的函数。注1:集成资源所规定的一些子类和选择列表项没有输入到A1C中。通过使用15010303-11隐式接口规则，某些构造从子类树或选择列表中被删除。引用被删除的构造超出了本A1C的范围。因为A1C要在应用协议相关环境内实现，因此选择列表项在应用协议中定义。本应用解释构造为由解析或雕塑曲线和曲面组成的流形曲面表达的定义提供了一致的几何与拓扑实体集合。在本部分中的最高层实体是manifold_surface_shape_representationomanifold_surface_ shape_representation是有界的

21、。几何的边界将通过拓扑实体(例如vertex、edge与face)获得。拓扑实体都与相应的几何域关联。注2:本部分使用的所有实体与类型均来自15010303-511的aic_topologically _ bounded_surface 0 EXPRESS描述:铸)SCHEMA aic_manifold_surface; 3 GB/T 16656.509-2010/ISO 10303-509 :2001 USE FROM aic_topologically_bounded_surface; USE FROM geometric_model_schema( shell_based_surface

22、_model); USE FROM geometry_schema( b_spline_curve, b_spline_surface, bounded_pcurve, bounded_surface_curve, cartesian_transformation_operator_3d, curve, curve_replica, degenerate_pcurve, evaluated_degenerate_pcurve, intersection_curve, e ,Gc 可deea一CV手牛earr v手4uurrcs uu- csnn -一。ott- ee卡】Lssnn 右-fLE工

23、aLffoo 。PPseam_curve, surface, surface_replica); USE FROM product_property_representation_schema( shape_representation); ，、a 四巾1m飞JLep x+au-m 二，-，引nnn一0。剖iii到mttt到eaaauutttt 穴工nnn汩-eee叫dsss7eeee -P&rrr MPPPP oaeee Rmrrr E E CM HU USE FROM topology_sch四a(closed_shell, connected_face_set, face, open_s

24、hell , oriented_closed_shell); (祷注3:以上引用的模式可在以下部分中查到:aic_topologically_bounded_surface genmetric_model_schema genmetric_schema 4 一一-IS010303-511 GB/T 16656.42 一GB/T 16656.42 一GB/T 16656.41 一-GB/T 16656.43 一-GB/T 16656.42 IS0 10303-511 GB/T 16656.42 GB/T 16656.42 prod uct_property _represen ta tion_s

25、chema representation_schema topology _schema GB/T 16656.509-2010/ISO 10303-509:2001 GB/T 16656.41 GB/T 16656.43 GB/T 16656.42 4. 1 基本概念和假设使用本AIC使以下实体在应用协议模式中被单独列举z一一寸nanifold_surface_shape_representation.4.2 aic_manifold_surface模式实体定义:manifold_surface_representation manifold_surface_representation使用

26、带边界的二维流形描述product的形状或product的部分形状。注1:对二维流形进行拓扑约束以便于将它们包含到固体表达中。例如，在一个二维流形里，只能最多允许两个face共用同一个edge。注2:本部分中不包括实体product。manifold_surface_shape_representation是由GB/T.16656.41定义的组成一个或多个shell_based_surface_model的shape_representation。每一个shell_based_ surface_ model都是由face集合中的open_shell和closed_shell建成的。connec

27、ted_face_set是open_shell和closed_shell的子类，它是不可实例化的。face使用edge和vertex，edge和vertex引用几何实体，比如point、curve与surface。拓扑和几何的连接即可以使用face_surface建立又可以使用ISO10303-511定义的advanced_surface建立。这两种选择既不同于有效的point、curve和surface子类选择，也不同于引用基础几何中的约束。注3:在流形曲面模型中建议把face_surface表达为advanced_face以便与边界表达实体模型一起使用;这样把流形曲面模型与15010303

28、-514定义的高级边界曲面模型进行集成将更加容易。除去用于定义pcurve的二维几何，所有几何实体都应是三维的。不能使用一维cartesian_point. 使用拓扑构造对所有元界几何进行剪裁。manifold_surface_shape_representation的items可以是在GB/T16656. 43中定义的mapped_item类型或者是axis2_ placement _ 3d类型。通常把一个或多个manifold_ surface _ shape _ represen ta tion组装到一个其他的manifold_surface_shape_represen ta tion

29、. 根据以上声明，这个实体的WHERE_rule限定使用从GB/T16656.42和GB/T16656.43输入的实体数据类型。实体类型的检验和约束主要是通过以下两个函数实现:一一-msf_curve_check;一一-msf_surface_check。在WR6和WR10中，除了那些属于advanced_face的引用树，这些函数检验manifold_surface_ shape_representation范围内的curve以及所有edge上的surface和face，advanced_face的几何由不同的规则集来检验。这些函数自动读取所有基础几何的曲线和曲面，这种方式也称递归。示例:一

30、个pcurve既可以引用curve又可以引用surface。函数ms_curve_check检查的不仅是pcurve，同样也检查该基础几何。为此，它将不仅调用它自身，同样也调用msf_curve_check。注4:本部分中不包括用于检验pomt及其基础curve和surface的函数。这是因为在一个manifold_surface_ shape_representation中所有的curve和surface都被edge和face引用，因此这两个函数包含了验证point及其基础curve和surface的功能。注5:本部分使用的应用协议显式地允许shape_representation实体实例化

31、为manifold_surface_shape_representat lOn. EXPRESS描述:铃)ENTITY manifold_surface_shape_representation SUBTYFE OF (shape_representation); WHERE 5 G/T 16656.509-201 O/ISO 10303-509: 200 1 WR1 :SIZEOF (QUERY (it 0; WR3 : SIZEOF (QUERY (mi 0 ) = 0; WR4 : SIZEOF (Q田RY(sbsm 1 T皿N阻TURN(FSE);END_IF; (铃b_spline_

32、curveshall not self_intersect 铃)IF (且IC_M且NIFOLD_SURF且CE.B一SPLlNE_CURVE IN TYPEOF (cv) AND 12 GB/T 16656.509-2010/ISO 10303-509 :2001 (cvb_spline_curve.self_intersect = FALSE)OR (cvb_spline_curve.self_intersect =UNKNOWN) T阻NRETURN(TRUE) ; ElSE (关conicsand lines are valid curve types 祷)IF SIZEOF (AIC

33、_MANIFOLD_SURFACE. CONIC , 且IC_MANIFOLD_SURFACE.LI肥J头TYFEOF(cv) = 1 THEN RETURN(TRUE); ELSE (祷acurve_replica shall reference a valid curve 关)IF且IC_MANIFOLD_SURFACE.CURVE_REPLICAIN TYPEOF(cv) THEN RETURN (msf_curve_check(cvcurve_replica.parent_curve); ELSE (关anoffset_curve_3d shall not self-intersect

34、缸ldshall reference a valid curve; a polyline is not a valid basis curve 善)IF (且IC_MANIFOLD_SURFACE.OFFSET_CURVE_3DIN TYPEOF (cv) AND ELSE (cvoffset_curve_3d.self_intersect = FALSE) OR (cvoffset_curve_3d.self_intersect = UNKNOWN) AND (NOT (且IC_MANIFOLD_SURF且CE.POLYLINEIN TYFEOF (cvoffset_curve_3d.bas

35、is_curve) THEN RETURN (msf_curve_check(cvoffset_curve_3d.basis_curve); (祷apcurve shall reference a valid curve and a valid basis surface 铃)IF AIC_M且NIFOLD_SURF且CE.PCURVE IN TYFEOF (cv) THEN RETURN (msf_curve_check (cvpcurve.reference_to_curverepresentation. itemslJ) AND (msf_surface_check(cvpcurve.b

36、asis_surface); ELSE (祷asurface_curve references a curve_3d and one or two pcurve or one or two surface or one of 13 GB/T 16656.509-2010/ISO 10303-509 :2001 each; all of these references shall be valid 并)IF AIC_MANIFOLD_SURFACE.SURFACE_CURVE IN TYFEOF(cv) THEN (铃ifthe curve reference is correct, chec

37、k also the rest 祷)IF msf_curve_check(cvsurface_curve.curve_3d) T田NREPEAT i . = 1 TO SIZEOF (cvsurface_curve.associated_geometry); (祷dofor one or two associated_geometrys: 铃)IF且ICM且NIFOLDSURFACE.SURFACE IN TYFEOF (cvsurface_curve.associated_geometryi) T皿NIF NOT msf_5urface_check (cvsurface_curve.asso

38、ciated_geometryi)咀IENRETURN(FALSE) ; END_IF; ELSE IF AIC MAN工FOLDSURFACE.PCURVE IN TYFEOF (cvsurface_curve.associated_geometryi) THEN IF NOT msf curve check (cvsurface_curve.associated_geometryi) T皿NRETURN(FALSE); END_IF; END_IF; END_IF; END_REPEAT; RETURN(TRUE) ; END_IF; ELSE (铃apolyline shall have

39、 at least 3 points 势)IF AIC_MANIFOLD_SURFACE.POLYLINE IN TYPEOF(cv) THEN IF (SIZEOF (cvpolyline. points) = 3) THEN阻TURN(TRUE); END_IF; END_IF; END_IF; END_IF; END_IF; END_IF; END_IF; 14 G/T 16656.509-201 O/ISO 10303-509: 200 1 END_IF; (养FALSEis returned if the input par四etercv is not a valid curve.

40、势)RETURN (FALSE); END_FUNCTION; (祷变量定义:cv(输入):假设输入的representa tion_i tem是在manifold_surface_shape_representation相关环境中要被进行合法性检查的curveoBOOLEAN:如果输入的representation_i tem是合法的curve，输出为TRUE，否则输出为FALSE。4.3.2 函数D1sf_surface_checkmsf_ surface_check用于检查在manifold_surface_shape_representation相关环境中surface实例的合法性。s

41、urface实例引用的所有几何也将被检查，例如其他的curve和surfaceo示例:这个函数检查的一个约束条件是:是否一个b_spline_curve实例的自相交标记设置为TRUE、FALSE或UNKNOWN;只有设置为FALSE或UNKNOWN是合法的。对一个实例进行递归性检查意味着如果一个surface引用其他surface作为基础曲面或父曲面，需要重新调用函数msf_surface_check进行检查。如果引用了curve，调用函数msf_curve_check进行检查。当实体类型不引用任何curve和surface时，这种递归调用过程结束。以下曲面类型及其子类都在manifold_s

42、urface_shape_representation范围内，因此可合法地输入到这个函数:一一-b_spline_surface;elementary _surface; 一一一offset_surface;一一-surface_relica;一一-swept_surface。这些surfac巳类型中的两种类型引用基础surface和父surface 0 s urface_relica的parent_surface和offset_surface的basis_surface是以下一种类型:一一一b_spline_surface;一一-elementary_surface; 一一一offset_s

43、urface(递归); s urface_relica (递归); 一一-swept_surface。注1:这个函数适用于在递归过程的列表中标记的那些实体类型，以检查合法实例化的实体引用。swept_surface引用curveo调用函数msf_ curve_ check检查这些curve的合法性。manifoldsurface_shape_representation要求合法的扫略曲面采用GB/T16656.42中规定的约束条件。manifold_surface_shape_representation范围内的所有curve都是合法的swept_surface.swept_curve。B样条

44、和偏置几何的self_intersect属性可设置为FALSE或UNKNOWN。如果所有引用几何的类型都在manifold_surface_shape_representation范围内并满足所有约束条件，函数返回为TRUE，否则函数返回FALSE。注2:该函数不检查涉及引用GB/T16656.42内容的正确性。只有属于manifold_surface_shape_representation范围的附加要求才会被检查。EXPRESS描述:15 G/T 16656.509-2010/ISO 10303-509:2001 祷)FUNCTION msf_surface_check (surf: su

45、rface) : BOOLEAN (祷Thisfunction verifies the va1idity of a surface in the context of a manifo1d surface model. 祷)提)ELSE (铃e1四lentary_surfacesare va1id surface types IF AIC_MANIFOLD_SURFACE.ELEMENTARY_SURFACE IN TYPEOF(surf) THEN RETURN(TRUE) ; (安aswept_surface sha11 hav a va1id sweeping curve 祷)IF A

46、IC_MANIFOLD_SURF且CE.SWEPT_SURFACE IN TYFEOF (surf) THEN 阻TURN(msf_curve_check(surfswept_surface.swept_curve); ELSE (铃皿offset_surfacesha11 not se1f-intersect and shall reference a va1id surface 关)IF (AIC_MANIFOLD_SURFACE. OFFSET_SURFACE IN TYPEOF (surf)且ND(surfoffset_surface.se1f_intersect = FALSE) O

47、R (surfoffset_surface.se1f_intersect = UNKNOWN) THEN ELSE RETURN (msf_surface_check(surfoffset_surface.basis_surface)1 (器asurface_rep1ica sha11 have a va1id parent surface 苦)工F且IC_MANIFOLD_SURFACE.SURFACE_REPLICA IN TYFEOF(surf) TBEN RETURN(msf_surface_check(surfsurface_rep1ica.parent_surface); ELSE AND END_IF; 16 (关ab_sp1ine_surface sha11 not se1f-intersect 铃)IF (AIC_MANIFOLD_SU即ACE.B_SPLlNE_SURFACEIN TYPEOF(surf) (surfb_sp1ine_surface.se1f_intersect = FALSE) OR (surfb_sp1ine_surface.se1f_intersect = UNKNOWN) THEN RETURN(TRUE) ; END_IF; E