8.8.3.16 IfcExtrudedAreaSolidTapered（锥形拉伸面积实体）
8.8.3.16.1 语义定义（Semantic definition）
IfcExtrudedAreaSolidTapered 通过沿线性脊线扫掠横截面来定义。横截面在扫掠过程中可能从起始横截面的形状逐渐变化为末端横截面的形状。生成的实体由三个或更多面界定：一个起始面、一个终止面（分别由起始和终止平面及截面定义）以及一个或多个侧面。每个侧面是由起始和末端截面的一对对应边定义的直纹曲面。
注意 由于起始和末端截面由多边形提供，起始和末端横截面的对应顶点相互连接，在每对对应顶点之间形成四边形多边形。由边界四边形多边形定义的曲面是直纹曲面，可通过三角剖分进行近似。
线性脊线由以下要素定义：
- 起始点：SELF\IfcSweptAreaSolid.Position.Location
- 方向：SELF\IfcExtrudedAreaSolid.ExtrudedDirection
- 距离：SELF\IfcExtrudedAreaSolid.Depth
起始横截面由 SELF\IfcSweptAreaSolid.SweptArea 定义：
- 位于由 SELF\IfcSweptAreaSolid.Position.P[1] 和 SELF\IfcSweptAreaSolid.Position.P[2] 定义的位置坐标系 XY 平面内的有界平面
- 线性脊线起始于起始横截面的平面。脊线不一定垂直于该平面。
末端横截面由 EndSweptArea 定义：
- 位于通过将 SELF\IfcSweptAreaSolid.Position 提供的起始位置坐标沿脊线方向平移脊线距离而生成的位置坐标系 XY 平面内的有界平面。末端横截面的平面与起始横截面的平面共面。 *
- 末端横截面在拓扑上与起始横截面相似（即具有相同数量的顶点和边）。
- 末端横截面可以通过使用不同参数值的相同参数化轮廓定义，也可以通过起始轮廓在末端横截面平面内的二维笛卡尔变换定义。
对于两个参数化轮廓的情况，形状构建如下：
- 通过基于与起始轮廓相同轮廓参数化的横截面定义的末端轮廓，沿脊线方向平移脊线距离。
- 它可以在末端位置坐标系的 XY 平面内平移，并可以使用旋转参数进行扭转。
- 平移和旋转参数由类型为 IfcParameterizedProfileDef 的末端横截面提供，其中：
- 平移是 EndSweptArea\IfcParameterizedProfileDef.Position.Location
- 旋转是 EndSweptArea\IfcParameterizedProfileDef.Position.RefDirection
- 起始和末端横截面的对应顶点相互连接。侧面构建为起始和末端横截面对应边之间的直纹曲面。
对于起始横截面的笛卡尔变换情况，形状构建如下：
- 起始作为位置坐标系 XY 平面内曲线的横截面曲线，首先绕原点按比例参数缩放。然后沿脊线方向平移脊线距离。可以使用旋转参数进行扭转。
- 比例和旋转参数由类型为 IfcDerivedProfileDef 的末端横截面提供，其中：
- 比例是 EndSweptArea\IfcDerivedProfileDef.Operator.Scale
- 旋转是 EndSweptArea\IfcDerivedProfileDef.Operator.Axis1
- 起始和末端横截面的对应顶点相互连接。侧面构建为起始和末端横截面对应边之间的直纹曲面。
非正式命题
- IfcDerivedProfileDef.Operator 中不得使用镜像变换
8.8.3.16.2 实体继承（Entity inheritance）
-
- IfcSolidModel
- IfcAnnotationFillArea
- IfcBooleanResult
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcFillAreaStyleHatching
- IfcFillAreaStyleTiles
- IfcGeometricSet
- IfcHalfSpaceSolid
- IfcLightSource
- IfcPlacement
- IfcPlanarExtent
- IfcPoint
- IfcSectionedSpine
- IfcSegment
- IfcShellBasedSurfaceModel
- IfcSurface
- IfcTessellatedItem
- IfcTextLiteral
- IfcVector
8.8.3.16.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，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| IfcSolidModel (1) | |||
| * | Dim | IfcDimensionCount |
此属性是形式化派生的 本类的空间维度，恒为3。 |
| IfcSweptAreaSolid (2) | |||
| 1 | SweptArea | IfcProfileDef |
定义要扫掠的面积的面。它在位置坐标系的 xy 平面内作为轮廓定义给出。 |
| 2 | Position | OPTIONAL IfcAxis2Placement3D |
扫掠操作生成的扫掠实体的位置坐标系。位置坐标系允许重新定位扫掠实体。如果未提供，扫掠实体将保持在由横截面或用于扫掠操作的准线确定的位置内。 |
| IfcExtrudedAreaSolid (2) | |||
| 3 | ExtrudedDirection | IfcDirection |
由 SweptArea 提供的曲面要沿此方向扫掠。 |
| 4 | Depth | IfcPositiveLengthMeasure |
曲面要沿 ExtrudedDirection 扫掠的距离。 |
| 点击显示 7 个隐藏的继承特性 点击隐藏 7 个继承特性 | |||
| IfcExtrudedAreaSolidTapered (1) | |||
| 5 | EndSweptArea | IfcProfileDef |
定义扫掠区域末端的面。它作为轮廓定义给出。EndSwptArea 的位置坐标系是通过将 SELF\IfcSweptAreaSolid.Position 沿 SELF\IfcExtrudedAreaSolid.ExtrudedDirection 平移 SELF\IfcExtrudedAreaSolid.Depth 的距离而生成的。 |
8.8.3.16.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| CorrectProfileAssignment |
作为起始轮廓的 SweptArea 和作为末端轮廓的 EndSweptArea 应当兼容。 |
|
|
8.8.3.16.5 形式化表示（Formal representation）
ENTITY IfcExtrudedAreaSolidTapered
SUBTYPE OF (IfcExtrudedAreaSolid);
EndSweptArea : IfcProfileDef;
WHERE
CorrectProfileAssignment : IfcTaperedSweptAreaProfiles(SELF\IfcSweptAreaSolid.SweptArea, SELF.EndSweptArea);
END_ENTITY;