7.1.3.2 IfcDoorPanelProperties（门扇属性）
7.1.3.2.1 语义定义（Semantic definition）
门扇通常是指门叶，用于允许人员或货物通过。门扇的参数定义了门扇在几何上的相关参数。
IfcDoorPanelProperties 的参数定义了一个标准的门扇，包括（如果给定）一个比例宽度，用于定义非均匀的双向摆动（或滑动、或折叠）门。门扇的外边界由分配给 IfcDoor 的“轮廓”形状表示确定，该轮廓由 IfcDoorType 插入。它还必须考虑门套参数。
IfcDoorType 可以定义包含多个门扇的门。在这种情况下，必须为每个门扇包含一个 IfcDoorPanelProperties 实例。PanelPosition 特性与 IfcDoorType.OperationType 特性结合使用，决定了 IfcDoorPanelProperties 应用于哪个门扇。IfcDoorPanelProperties 包含在 IfcDoorType 的 HasPropertySets 属性列表中。有关门扇的更多信息，可以使用 IfcPropertySet 在 IfcDoorType 的同一列表中进行动态扩展。
IfcDoorPanelProperties 的参数定义了一个标准的门扇，包括（如果给定）一个比例宽度，用于定义非均匀的双向摆动（或滑动、或折叠）门。门扇的外边界由分配给 IfcDoor 的“轮廓”形状表示确定，该轮廓由 IfcDoorType 插入。它还必须考虑门套参数。
IfcDoorPanelProperties 的参数定义了一个标准的门扇，包括（如果给定）一个比例宽度，用于定义非均匀的双向摆动（或滑动、或折叠）门。门扇的外边界由分配给 IfcDoor 的“轮廓”形状表示确定，该轮廓由 IfcDoorType 插入。它还必须考虑门套参数。
| 图示 | 特性 | 描述 |
|---|---|---|
 |
PanelDepth（门扇深度） | 门扇（摆动、双向摆动和滑动门扇）的深度由 PanelDepth 参数定义。 |
 |
PanelWidth（门扇宽度） | 对于包含多个门扇的门操作类型，一个门扇的宽度由一个归一化比例度量给出。它定义了该门扇的宽度，该宽度是相对于门总净开口宽度的比例。 |
7.1.3.2.2 实体继承（Entity inheritance）
7.1.3.2.3 特性（Attributes）
| # | 特性（Attributes） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| IfcRoot (4) | |||
| 1 | GlobalId | IfcGloballyUniqueId |
在整个软件世界中分配全局唯一标识符。 |
| 2 | OwnerHistory | OPTIONAL IfcOwnerHistory |
分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。 |
| 3 | Name | OPTIONAL IfcLabel |
供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。 |
| 4 | Description | OPTIONAL IfcText |
可选的描述，用于提供信息性注释。 |
| IfcPropertyDefinition (2) | |||
| HasContext | SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions |
引用 IfcRelDeclares 关系，从而引用 IfcProject 或 IfcProjectLibrary。 |
|
| HasAssociations | SET [0:?] OF IfcRelAssociates FOR RelatedObjects |
引用 IfcRelAssociates 关系，从而引用那些外部定义的概念，如分类、文档或库信息，这些概念与属性定义相关联。 |
|
| IfcPropertySetDefinition (3) | |||
| DefinesType | SET [0:?] OF IfcTypeObject FOR HasPropertySets |
属性集分配到的类型对象。该属性集充当类型对象的所有实例的共享属性集。 {} |
|
| IsDefinedBy | SET [0:?] OF IfcRelDefinesByTemplate FOR RelatedPropertySets |
通过对象化关系 IfcRelDefinesByTemplate 与属性集模板的关系，如果给定，则为属性集或工程量集及其属性提供定义模板。 {} |
|
| DefinesOccurrence | SET [0:?] OF IfcRelDefinesByProperties FOR RelatingPropertyDefinition |
引用与一个或多个对象实例的关系，这些对象实例的特征由属性集定义定义。可以使用对象化关系 IfcRelDefinesByProperties 将单个属性集分配给多个对象实例。 {} |
|
| 点击显示 9 个隐藏的继承特性 点击隐藏 9 个继承特性 | |||
| IfcDoorPanelProperties (5) | |||
| 5 | PanelDepth | OPTIONAL IfcPositiveLengthMeasure |
门扇的深度，垂直于门叶平面测量。 |
| 6 | PanelOperation | IfcDoorPanelOperationEnum |
PanelOperation 定义了该门扇的操作方式。门扇的 PanelOperation 必须与它引用的 IfcDoorType 的 OperationType 相对应。 |
| 7 | PanelWidth | OPTIONAL IfcNormalisedRatioMeasure |
此门扇的宽度，表示为相对于门总净开口宽度的比例。如果省略，则默认为 1。对于 IfcDoorType 中 OperationType 定义了多个门扇的门，必须提供一个值。 |
| 8 | PanelPosition | IfcDoorPanelPositionEnum |
此门扇在门内的位置。门扇的 PanelPosition 必须与它引用的 IfcDoorType 的 OperationType 相对应。 |
| 9 | ShapeAspectStyle | OPTIONAL IfcShapeAspect |
指向形状方面（shape aspect）的指针，如果给定。形状方面反映了门形状中代表门扇的部分。
|
7.1.3.2.4 形式化命题（Formal propositions）
| 名称（Name） | 描述（Description） |
|---|---|
| ApplicableToType |
IfcDoorPanelProperties 的参数定义了一个标准的门扇，包括（如果给定）一个比例宽度，用于定义非均匀的双向摆动（或滑动、或折叠）门。门扇的外边界由分配给 IfcDoor 的“轮廓”形状表示确定，该轮廓由 IfcDoorType 插入。它还必须考虑门套参数。 |
|
|
7.1.3.2.5 概念用法（Concept usage）
| 概念（Concept） | 用法（Usage） | 描述（Description） | |
|---|---|---|---|
| IfcRoot (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| 点击显示 2 个隐藏的继承概念 点击隐藏 2 个继承概念 | |||
7.1.3.2.6 形式化表示（Formal representation）
ENTITY IfcDoorPanelProperties
SUBTYPE OF (IfcPreDefinedPropertySet);
PanelDepth : OPTIONAL IfcPositiveLengthMeasure;
PanelOperation : IfcDoorPanelOperationEnum;
PanelWidth : OPTIONAL IfcNormalisedRatioMeasure;
PanelPosition : IfcDoorPanelPositionEnum;
ShapeAspectStyle : OPTIONAL IfcShapeAspect;
WHERE
ApplicableToType : (EXISTS(SELF\IfcPropertySetDefinition.DefinesType[1]))
AND
('IFC4X3_DEV_62887e3f.IFCDOORTYPE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]));
END_ENTITY;