8.9.3.54 IfcRationalBSplineSurfaceWithKnots（带节点有理B样条曲面）
8.9.3.54.1 语义定义（Semantic definition）
带节点有理B样条曲面是一种基于控制点及相关权重值描述的分段参数有理曲面。
该曲面的数学表达式如下：
σ Figure 8.9.3.54.A
8.9.3.54.2 实体继承（Entity inheritance）
-
- IfcSurface
- IfcAnnotationFillArea
- IfcBooleanResult
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcFillAreaStyleHatching
- IfcFillAreaStyleTiles
- IfcGeometricSet
- IfcHalfSpaceSolid
- IfcLightSource
- IfcPlacement
- IfcPlanarExtent
- IfcPoint
- IfcSectionedSpine
- IfcSegment
- IfcShellBasedSurfaceModel
- IfcSolidModel
- IfcTessellatedItem
- IfcTextLiteral
- IfcVector
8.9.3.54.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcRepresentationItem (2) | |||
| LayerAssignment | SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems |
将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentation 的 Items 列表中的 LayerAssignments。 |
|
| StyledByItem | SET [0:1] OF IfcStyledItem FOR Item |
引用为表示提供表现信息的 IfcStyledItem，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| IfcSurface (1) | |||
| * | Dim | IfcDimensionCount |
此属性是形式化派生的 IfcSurface 的空间维度。它始终是三维几何表示项。 |
| IfcBSplineSurface (10) | |||
| 1 | UDegree | IfcInteger |
u 方向基函数的代数次数。 |
| 2 | VDegree | IfcInteger |
v 方向基函数的代数次数。 |
| 3 | ControlPointsList | LIST [2:?] OF LIST [2:?] OF IfcCartesianPoint |
这是控制点的列表的列表。 |
| 4 | SurfaceForm | IfcBSplineSurfaceForm |
特殊曲面类型的指示符。 |
| 5 | UClosed | IfcLogical |
指示曲面在 u 方向是否闭合；此信息仅供参考。 |
| 6 | VClosed | IfcLogical |
指示曲面在 v 方向是否闭合；此信息仅供参考。 |
| 7 | SelfIntersect | IfcLogical |
指示曲面是否自相交的标志；此信息仅供参考。 |
| * | UUpper | IfcInteger |
此属性是形式化派生的 u 方向控制点的上标。 |
| * | VUpper | IfcInteger |
此属性是形式化派生的 v 方向控制点的上标。 |
| * | ControlPoints | ARRAY [0:UUpper] OF ARRAY [0:VUpper] OF IfcCartesianPoint |
此属性是形式化派生的 定义曲面几何形状的控制点的二维数组。该数组由控制点列表构造而成。 |
| IfcBSplineSurfaceWithKnots (7) | |||
| 8 | UMultiplicities | LIST [2:?] OF IfcInteger |
u 参数方向上的节点重数。 |
| 9 | VMultiplicities | LIST [2:?] OF IfcInteger |
v 参数方向上的节点重数。 |
| 10 | UKnots | LIST [2:?] OF IfcParameterValue |
u 参数方向上不同节点的列表。 |
| 11 | VKnots | LIST [2:?] OF IfcParameterValue |
v 参数方向上不同节点的列表。 |
| 12 | KnotSpec | IfcKnotType |
节点类型的描述。 |
| * | KnotVUpper | IfcInteger |
此属性是形式化派生的 v 参数方向上不同节点的数量。 |
| * | KnotUUpper | IfcInteger |
此属性是形式化派生的 u 参数方向上不同节点的数量。 |
| 点击显示 20 个隐藏的继承特性 点击隐藏 20 个继承特性 | |||
| IfcRationalBSplineSurfaceWithKnots (2) | |||
| 13 | WeightsData | LIST [2:?] OF LIST [2:?] OF IfcReal |
有理情况下与控制点关联的权重值。 |
| * | Weights | ARRAY [0:UUpper] OF ARRAY [0:VUpper] OF IfcReal |
此属性是形式化派生的 由 WeightsData 构建的二维权重值数组。 |
8.9.3.54.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| CorrespondingWeightsDataLists |
权重数组的维度应与控制点数据保持一致。 |
|
|
| WeightValuesGreaterZero |
每个控制点关联的权重值必须大于零。 |
|
|
8.9.3.54.5 形式化表示（Formal representation）
ENTITY IfcRationalBSplineSurfaceWithKnots
SUBTYPE OF (IfcBSplineSurfaceWithKnots);
WeightsData : LIST [2:?] OF LIST [2:?] OF IfcReal;
DERIVE
Weights : ARRAY [0:UUpper] OF ARRAY [0:VUpper] OF IfcReal := IfcMakeArrayOfArray(WeightsData,0,UUpper,0,VUpper);
WHERE
CorrespondingWeightsDataLists : (SIZEOF(WeightsData) = SIZEOF(SELF\IfcBSplineSurface.ControlPointsList))
AND
(SIZEOF(WeightsData[1]) = SIZEOF(SELF\IfcBSplineSurface.ControlPointsList[1]));
WeightValuesGreaterZero : IfcSurfaceWeightsPositive(SELF);
END_ENTITY;