8.20.3.2 IfcClosedShell（闭合壳）
RV ⓘ
AbV ⓘ
8.20.3.2.1 语义定义（Semantic definition）
壳由一组面表示。如果存在壳的域，则该域包含所有这些面及其边界。与壳中的每个面相关联的是一个逻辑值，指示面法向是与壳法向一致（TRUE）还是相反（FALSE）。该逻辑值可以直接作为定向面的 BOOLEAN 属性应用，或者如果壳边界属性成员是没有方向属性的面，则默认为 TRUE。
对闭合壳的组合限制及其域的几何限制旨在确保与闭合壳关联的任何域都是闭合的、可定向的流形。闭合壳的域（如果存在）是一个连通的、闭合的、定向的二维流形。它在拓扑上总是等价于某个 H ≥ 0 的 H 重环面。数字 H 称为壳的曲面亏格。如果亏格为 H 的壳在坐标空间 R^3^ 内有一个域，则其内部的有限空间区域在拓扑上等价于一个钻有 H 个隧道的实心球。
欧拉方程适用于 B=0，因为在这种情况下没有孔洞。与开壳的情况一样，曲面亏格 H 可能无法先验得知，但应为 ≥ 0 的整数。因此，一个结构良好的闭合壳的必要（但不充分）条件如下：
Figure 8.20.3.2.A
非形式化命题
- 每条边应恰好被面的环引用两次。
- 每条定向边应是唯一的。
- 任何边不应被超过两个面引用。
- 壳中不同的面不相交，但可以共享边或顶点。
- 不同的边不相交，但可以共享顶点。
- 每个面引用应是唯一的。
- 壳的环不应是折线环和其他环类型的混合。注：这是给定的，因为只有折线环被定义为面边界定义。
- 闭合壳应是一个定向的、弧连通的二维流形。
- 应满足欧拉方程。注：请参阅 ISO 10303-42 了解该方程。
8.20.3.2.2 实体继承（Entity inheritance）
8.20.3.2.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，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| 点击显示 2 个隐藏的继承特性 点击隐藏 2 个继承特性 | |||
| IfcConnectedFaceSet (1) | |||
| 1 | CfsFaces | SET [1:?] OF IfcFace |
沿公共边或顶点弧连通的面集合。 |
8.20.3.2.4 形式化表示（Formal representation）
ENTITY IfcClosedShell
SUBTYPE OF (IfcConnectedFaceSet);
END_ENTITY;