8.8.3.26 IfcManifoldSolidBrep（流形实体边界表示）

RV ⓘ

AbV ⓘ

抽象该定义可能不会被直接实例化。

8.8.3.26.1 语义定义（Semantic definition）

IfcManifoldSolidBrep 是一种通过相连曲面集合表示的实体，这些曲面将实体与周围的非实体区域分隔开来。

IfcManifoldSolidBrep 类型的实例应为 IfcFacetedBrep 类型（仅使用 IfcPolyLoop 作为 IfcFaceBound 的边界），或为 IfcAdvancedBrep 类型（仅使用 IfcAdvancedFace 作为面几何，IfcEdgeCurve 作为边几何）。

流形实体的边界表示（B-rep）利用嵌入在连通的、有向的、有限的、闭合的二维流形曲面中的边和顶点图。该嵌入图将曲面划分为弧连通的区域，称为面。因此，边和顶点构成了面的边界，而面的定义域不包括其边界。嵌入图可以是非连通的，也可以是伪图。该图是带标签的，即图中的每个实体都有唯一的标识。用于指定面几何的几何曲面定义必须是二维流形，可在该面的定义域内嵌入平面。换句话说，它必须是连通的、有向的、有限的、不自交的，且曲面亏格为0。

面之间除了沿其边界外不相交。面边界上的每条边在装配中最多与另一个面共享。边界表示中的边集合除了在其边界（即顶点）处外不相交。用于指定边几何的几何曲线定义必须是弧连通的，且在边的定义域内不得自交或重叠。边的几何必须与其构成部分边界的面的几何一致。用于定义顶点的几何必须与其构成部分边界的面和边的几何一致。

用于定义顶点的几何必须与其构成部分边界的面和边的几何一致。

边界表示由一个或多个互不相交的闭合壳表示。一个壳（外层壳）必须完全包围所有其他壳，且其他壳不得包围任何壳。通过子类型提供了定义一个或多个内部空腔的边界表示的能力。必须满足以下欧拉公式版本：

其中 V、E、F、L~l~ 和 S 分别是模型中唯一顶点、边、面、环使用和壳的数量，G^s^ 是壳的亏格之和。
Figure 8.8.3.26.A

非正式命题：

流形实体边界表示的维数必须为3。
流形实体边界表示的范围必须有限且非零。
流形实体边界表示的所有元素必须具有定义的关联几何。
壳法线必须与边界表示的法线一致，并指向边界表示所表示的实体外部。
每个面在流形实体边界表示的壳中只能被引用一次。
边界表示必须满足欧拉方程，其中亏格项"壳项"是边界表示壳的亏格值之和。

8.8.3.26.2 实体继承（Entity inheritance）

8.8.3.26.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcRepresentationItem (2)
IfcSolidModel (1)
点击显示 3 个隐藏的继承特性点击隐藏 3 个继承特性
IfcManifoldSolidBrep (1)

表 8.8.3.26.B

8.8.3.26.4 形式化表示（Formal representation）

ENTITY IfcManifoldSolidBrep
 ABSTRACT SUPERTYPE OF (ONEOF
	(IfcAdvancedBrep
	,IfcFacetedBrep))
 SUBTYPE OF (IfcSolidModel);
	Outer : IfcClosedShell;
END_ENTITY;