IfcPolygonalBoundedHalfSpace

多边形有界半空间是半空间实体的一种特殊子类型，其中布尔表达式中使用的半空间的材质由多边形边界进行边界。半空间的底面通过其相对于对象坐标系的法线定位（如在超类型IfcHalfSpaceSolid中定义的），其多边形（带或不带弧段）边界在由位置属性建立的位置坐标系的XY平面中定义，减法体将垂直于位置坐标系的XY平面拉伸，即，拉伸到由“位置”属性定义的正Z轴的方向。

边界由位置坐标系XY平面内的二维多段线（或由直线段和圆弧段组成的二维复合曲线）定义。半空间中曲面的边由曲面法线和一致标志确定。如果agreement标志为TRUE，则子集是法线指向的子集。如果agreement标志为FALSE，则该子集就是法线指向的子集。

注：多边形有界半空间不是IfcSolidModel的子类型，半空间实体仅用作布尔表达式中的操作数。

下图说明了多边形有界半空间。

●黑色坐标表示对象坐标系（通常由IfcLocalPlacement提供）。

●绿色坐标表示位置坐标系；多边形边界在该坐标系内给出。它由IfcPolyg提供有边界的半空间。位置. 此坐标系相对于对象坐标系。减法体的挤出方向为正Z轴。

●红色坐标表示平面的法线。由基面提供(IFC表面位置). 此法线也是相对于对象坐标系的。

在布尔差分表达式中，用多边形有界半空间来限制半空间的体积。只有由半空间实体和拉伸区域实体（通过拉伸多边形边界定义）之间的理论交点定义的零件用于布尔表达式。

多边形边界定义了二维多段线，它限制了布尔表达式中半空间的有效性。基面由一个平面定义，平面的法线与AgreementFlag一起定义了半空间材质的边。

IFC2x中增加的新实体。

非正式提议：

①提供多边形边界的ifc多边形或ifc复合曲线应关闭。

②如果多边形边界由IfcCompositeCurve给出，则它只能具有IfcPolyline类型的IfcCompositeCurveSegment，或ifcTimmedCurve（具有IfcLine或IfcCircle类型的基本曲线）

③超类型IfcHalfSpaceSolid中定义的基面应为IfcPlane类型

④作为基面的平面法线不得垂直于位置坐标系的z轴

Formal Propositions

Rule	Description
BoundaryDim	The bounding polyline should have the dimensionality of 2.
BoundaryType	Only bounded curves of type IfcCompositeCurve, or IfcPolyline are valid boundaries.

 

#	Attribute	Type	Cardinality	Description	C
IfcRepresentationItem
	LayerAssignment	IfcPresentationLayerAssignment @AssignedItems	S[0:1]	Assignment of the representation item to a single or multiple layer(s). The LayerAssignments can override a LayerAssignments of the IfcRepresentation it is used within the list of Items.	X
	StyledByItem	IfcStyledItem @Item	S[0:1]	Reference to the IfcStyledItem that provides presentation information to the representation, e.g. a curve style, including colour and thickness to a geometric curve.	X
IfcGeometricRepresentationItem
IfcHalfSpaceSolid
1	BaseSurface	IfcSurface	[1:1]	Surface defining side of half space.	X
2	AgreementFlag	IfcBoolean	[1:1]	The agreement flag is TRUE if the normal to the BaseSurface points away from the material of the IfcHalfSpaceSolid. Otherwise it is FALSE.	X
	Dim :=3	IfcDimensionCount	[1:1]	The space dimensionality of this class, it is always 3	X
IfcPolygonalBoundedHalfSpace
3	Position	IfcAxis2Placement3D	[1:1]	Definition of the position coordinate system for the bounding polyline and the base surface.	X
4	PolygonalBoundary	IfcBoundedCurve	[1:1]	Two-dimensional polyline bounded curve, defined in the xy plane of the position coordinate system.	X

EXPRESS Specification

ENTITY IfcPolygonalBoundedHalfSpace
 SUBTYPE OF (IfcHalfSpaceSolid);
  Position : IfcAxis2Placement3D;
  PolygonalBoundary : IfcBoundedCurve;
 WHERE
  BoundaryDim : PolygonalBoundary.Dim = 2;
  BoundaryType : SIZEOF(TYPEOF(PolygonalBoundary) * [ 'IFCGEOMETRYRESOURCE.IFCPOLYLINE', 'IFCGEOMETRYRESOURCE.IFCCOMPOSITECURVE'] ) = 1;
END_ENTITY;