IFC 4.3.0.1 (IFC4X3) development

# 8.9.3.7 IfcBSplineSurface

ABSTRACT This definition may not be instantiated

## 8.9.3.7.1 Semantic definition

The IfcBSplineSurface is a general form of rational or polynomial parametric surface.

The symbology used here is:

The control points are ordered as: P00, P01, P02, ..., PK1(K2-1), PK1K2

The weights, in the case of the rational subtype, are ordered similarly.

For each parameter, s = u or v, if k is the upper index on the control points and d is the degree for s, the knot array is an array of (k + d + 2) real numbers [s-d, ...., sk+1], such that for all indices j in [-d, k]; sjsj+1. This array is obtained from the appropriate u_knots or v_knots list by repeating each multiple knot according to the multiplicity.

Nid, the ith normalised B-spline basis function of degree d, is defined on the subset [si-d, ...., si+1] of this array.

Let L denote the number of distinct values amongst the knots in the knot list; L will be referred to as the ‘upper index on knots’. Let mj denote the multiplicity (i.e., number of repetitions) of the jth distinct knot value. Then:

All knot multiplicities except the first and the last shall be in the range 1, ...., d; the first and last may have a maximum value of d+1. In evaluating the basis functions, a knot u of, e.g., multiplicity 3 is interpreted as a sequence u, u, u, in the knot array.

The surface form is used to identify specific quadric surface types (which shall have degree two), ruled surfaces and surfaces of revolution. As with the b-spline curve, the surface form is informational only and the spline data takes precedence.

The surface is to be interpreted as follows: In the polynomial case the surface is given by the equation:

In the rational case the surface equation is:

## 8.9.3.7.4 Formal representation

ENTITY IfcBSplineSurface
ABSTRACT SUPERTYPE OF (ONEOF
(IfcBSplineSurfaceWithKnots))
SUBTYPE OF (IfcBoundedSurface);
UDegree : IfcInteger;
VDegree : IfcInteger;
ControlPointsList : LIST [2:?] OF LIST [2:?] OF IfcCartesianPoint;
SurfaceForm : IfcBSplineSurfaceForm;
UClosed : IfcLogical;
VClosed : IfcLogical;
SelfIntersect : IfcLogical;
DERIVE
UUpper : IfcInteger := SIZEOF(ControlPointsList) - 1;
VUpper : IfcInteger := SIZEOF(ControlPointsList) - 1;
ControlPoints : ARRAY [0:UUpper] OF ARRAY [0:VUpper] OF IfcCartesianPoint := IfcMakeArrayOfArray(ControlPointsList,
0,UUpper,0,VUpper);
END_ENTITY;