5.4.3.59 IfcRelSpaceBoundary（关系空间边界）

5.4.3.59.1 语义定义（Semantic definition）

空间边界通过 IfcRelSpaceBoundary 与周围元素的关系来定义空间的物理或虚拟分隔。

对于物理空间边界，可以给出边界的放置和形状，并引用提供边界的建筑元素，
对于虚拟空间边界，可以给出边界的放置和形状，并引用一个虚拟元素。

IfcRelSpaceBoundary 被定义为一个对象化关系，通过对象化元素与它所界定的空间之间的关系来处理元素到空间的关联。它是一对一的关系，但允许每个元素（包括虚拟元素和开口）定义多个此类关系，并且每个空间由多个此类关系定义。

空间边界总是从空间内部定义的。通常区分两种基本类型的空间边界：

1 级空间边界：定义为空间的边界，不考虑另一侧的建筑元素或空间的变化。
2 级空间边界：定义为考虑另一侧的建筑元素或空间变化的边界。它可以进一步区分：
- 2 级 A 型：另一侧有一个空间。
- 2 级 B 型：另一侧有一个建筑元素。

空间边界如何分解的确切定义取决于视图定义，更详细的空间边界分解约定只能在域或应用程序类型级别给出。

在建筑或 FM 相关视图中，空间边界完全从空间内部定义。这是 1 级空间边界。
在热工视图中，空间边界的分解取决于提供边界的建筑元素的材料以及后面的相邻空间。这是 2 级空间边界。

1st level — 图 5.4.3.59.E.4.3.59.A — 1 级空间边界

2nd level — 图 5.4.3.59.E.4.3.59.B — 2 级空间边界

2nd level type a — 图 5.4.3.59.E.4.3.59.C — 2 级 A 型空间边界

2nd level type b — 图 5.4.3.59.E.4.3.59.D — 2 级 B 型空间边界

1 级和 2 级空间边界之间的区别通过以下方式识别：

1 级：IfcRoot.Name = "1stLevel" IfcRoot.Description = NIL
2 级：IfcRoot.Name = "2ndLevel" IfcRoot.Description = "2a" 或 "2b"

物理空间边界和虚拟空间边界之间的区分如图 5.4.3.59.E 和图 5.4.3.59.F 所示。

如图 5.4.3.59.E 所示，如果 IfcRelSpaceBoundary 用于表达虚拟边界，则 PhysicalOrVirtualBoundary 属性必须设置为 VIRTUAL。RelatedBuildingElement 属性应指向 IfcVirtualElement 的实例。如果关心正确的位置，则需要 ConnectionGeometry 属性。

IfcRelSpaceBoundary_virtual (35K) — 图 5.4.3.59.E — 虚拟元素的空间边界

如图 5.4.3.59.F 所示，如果 IfcRelSpaceBoundary 用于表达两个空间之间的物理边界，则 PhysicalOrVirtualBoundary 属性必须设置为 PHYSICAL。RelatedBuildingElement 属性必须给出并指向提供空间边界的元素。ConnectionGeometry 属性可以插入，在这种情况下，它在几何上描述了物理空间边界，或者可以省略；在这种情况下，它在逻辑上描述了物理空间边界。

IfcRelSpaceBoundary_physical (35K) — 图 5.4.3.59.F — 物理元素的空间边界

IfcRelSpaceBoundary 可以附加几何体。如果未附加几何体，则空间与建筑元素之间的关系仅在逻辑级别处理。如果附加了几何体，则它位于空间内的局部坐标系中。

几何表示（通过 ConnectionGeometry 属性）使用 2D 曲线几何体或 3D 曲面几何体来定义空间边界。

1 级空间边界：
- 只能为相关空间提供连接几何体
- 只能提供曲面连接几何体
- 仅支持以下曲面表示：
2 级空间边界：
- 只能为相关空间提供连接几何体
- 只能提供曲面连接几何体
- 仅支持以下曲面表示：
  - IfcCurveBoundedPlane，限制为仅具有多边形边界
  - IfcFaceBasedSurfaceModel

曲面连接几何体

以下约束适用于曲面连接几何体表示：

平面边界：
- 由 SweptCurve 定义的 IfcSurfaceOfLinearExtrusion，其中 SweptCurve 是 IfcArbitraryOpenProfileDef 且包含直线段，或
- IfcCurveBoundedPlane
曲面边界
- 由 SweptCurve 定义的 IfcSurfaceOfLinearExtrusion，其中 SweptCurve 是 IfcArbitraryOpenProfileDef 且包含曲线段，或
- IfcCurveBoundedSurface，其 BasisSurface 是非平面曲面，例如 IfcCylindricalSurface，或
- IfcFaceBasedSurfaceModel（如果已分面）。

曲线连接几何体

以下约束适用于 2D 曲线表示：

曲线：IfcPolyline、IfcTrimmedCurve 或 IfcCompositeCurve

5.4.3.59.2 实体继承（Entity inheritance）

5.4.3.59.3 特性（Attributes）

#	特性（Attributes）	类型（Type）	描述（Description）
IfcRoot (4)
1	GlobalId	IfcGloballyUniqueId	在整个软件世界中分配全局唯一标识符。
2	OwnerHistory	OPTIONAL IfcOwnerHistory	分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。注释仅存储最后一次修改——无论是添加、删除还是修改。 IFC4 变更该特性已更改为 OPTIONAL。
3	Name	OPTIONAL IfcLabel	供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。
4	Description	OPTIONAL IfcText	可选的描述，用于提供信息性注释。
点击显示 4 个隐藏的继承特性点击隐藏 4 个继承特性
IfcRelSpaceBoundary (5)
5	RelatingSpace	IfcSpaceBoundarySelect	指向由该边界界定的一个空间的引用。
6	RelatedBuildingElement	IfcElement	指向定义空间边界的元素的引用。 IFC2x 变更数据类型已从 IfcBuildingElement 更改为 IfcElement，保持基于文件交换的向上兼容性。 IFC4 变更该属性已更改为必需属性。
7	ConnectionGeometry	OPTIONAL IfcConnectionGeometry	空间边界的物理表示。以空间局部坐标系中的曲线或曲面形式提供。 IFC2x 变更数据类型已从 IfcConnectionSurfaceGeometry 更改为 IfcConnectionGeometry，保持基于文件交换的向上兼容性。
8	PhysicalOrVirtualBoundary	IfcPhysicalOrVirtualEnum	定义空间边界是 PHYSICAL 还是 VIRTUAL。
9	InternalOrExternalBoundary	IfcInternalOrExternalEnum	定义空间边界是内部的还是外部的，即邻近开放空间，该空间可以是部分封闭的空间，例如露台。

表 5.4.3.59.E.4.3.59.G

5.4.3.59.4 形式化命题（Formal propositions）

名称（Name）描述（Description）

CorrectPhysOrVirt

名称（Name）	描述（Description）
CorrectPhysOrVirt	如果空间边界是物理的，则必须由一个元素提供（即排除虚拟元素）。如果空间边界是虚拟的，则它必须有一个虚拟元素或一个开口提供空间边界。如果未定义空间边界 PhysicalOrVirtualBoundary 属性，则不施加限制。 IFC4 变更修正了WHERE规则，现在允许为虚拟空间边界接受 IfcOpeningElement。
`((PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.Physical) AND (NOT('IFC4X3_DEV_62887e3f.IFCVIRTUALELEMENT' IN TYPEOF(RelatedBuildingElement)))) OR ((PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.Virtual) AND (('IFC4X3_DEV_62887e3f.IFCVIRTUALELEMENT' IN TYPEOF(RelatedBuildingElement)) OR ('IFC4X3_DEV_62887e3f.IFCOPENINGELEMENT' IN TYPEOF(RelatedBuildingElement)))) OR (PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.NotDefined)`

如果空间边界是物理的，则必须由一个元素提供（即排除虚拟元素）。如果空间边界是虚拟的，则它必须有一个虚拟元素或一个开口提供空间边界。如果未定义空间边界 PhysicalOrVirtualBoundary 属性，则不施加限制。

((PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.Physical) 
  AND (NOT('IFC4X3_DEV_62887e3f.IFCVIRTUALELEMENT' IN TYPEOF(RelatedBuildingElement)))) 
OR 
((PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.Virtual) 
  AND (('IFC4X3_DEV_62887e3f.IFCVIRTUALELEMENT' IN TYPEOF(RelatedBuildingElement)) 
  OR   ('IFC4X3_DEV_62887e3f.IFCOPENINGELEMENT' IN TYPEOF(RelatedBuildingElement)))) 
OR 
(PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.NotDefined)

表 5.4.3.59.E.4.3.59.H

5.4.3.59.5 概念用法（Concept usage）

概念（Concept）	用法（Usage）	描述（Description）
IfcRoot (2)
Revision Control	General	使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。
Software Identity	General	IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。
点击显示 2 个隐藏的继承概念点击隐藏 2 个继承概念

表 5.4.3.59.E.4.3.59.I

5.4.3.59.6 形式化表示（Formal representation）

ENTITY IfcRelSpaceBoundary
 SUPERTYPE OF (ONEOF
	(IfcRelSpaceBoundary1stLevel))
 SUBTYPE OF (IfcRelConnects);
	RelatingSpace : IfcSpaceBoundarySelect;
	RelatedBuildingElement : IfcElement;
	ConnectionGeometry : OPTIONAL IfcConnectionGeometry;
	PhysicalOrVirtualBoundary : IfcPhysicalOrVirtualEnum;
	InternalOrExternalBoundary : IfcInternalOrExternalEnum;
 WHERE
	CorrectPhysOrVirt : ((PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.Physical) 
  AND (NOT('IFC4X3_DEV_62887e3f.IFCVIRTUALELEMENT' IN TYPEOF(RelatedBuildingElement)))) 
OR 
((PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.Virtual) 
  AND (('IFC4X3_DEV_62887e3f.IFCVIRTUALELEMENT' IN TYPEOF(RelatedBuildingElement)) 
  OR   ('IFC4X3_DEV_62887e3f.IFCOPENINGELEMENT' IN TYPEOF(RelatedBuildingElement)))) 
OR 
(PhysicalOrVirtualBoundary = IfcPhysicalOrVirtualEnum.NotDefined);
END_ENTITY;