8.8.3.31 IfcRevolvedAreaSolidTapered（锥形旋转面积实体）
8.8.3.31.1 语义定义（Semantic definition）
IfcRevolvedAreaSolidTapered 通过沿着圆弧旋转横截面来定义。横截面可以沿着旋转扫描从起始横截面的形状变化为末端横截面的形状。起始和末端横截面的对应顶点随后被连接。有界表面可能包含孔洞，这些孔洞将扫描成实体中的孔洞。
旋转轴由以下定义：
- 起点：SELF\IfcSweptAreaSolid.Position.Location
- 方向：SELF\IfcRevolvedAreaSolid.Axis
- 旋转轴：SELF\IfcRevolvedAreaSolid.AxisLine，通过起点和方向应用1个单位长度创建
- 方向：当沿着旋转轴正方向观察时，正角度按顺时针方向应用
起始横截面由 SELF\IfcSweptAreaSolid.SweptArea 定义：
- 位于位置坐标系XY平面上的有界平面表面，该坐标系由 SELF\IfcSweptAreaSolid.Position.P[1] 和 SELF\IfcSweptAreaSolid.Position.P[2] 定义
- 旋转轴位于起始横截面平面内，但不应与起始横截面的内部相交
末端横截面由 EndSweptArea 定义：
- 位于位置坐标系XY平面上的有界平面表面，该坐标系通过将 SELF\IfcSweptAreaSolid.Position 提供的起始位置坐标绕旋转轴旋转 SELF\IfcRevolvedAreaSolid.Angle 给定的角度得到 *
- 末端横截面在拓扑上与起始横截面相似（具有相同数量的顶点和边）
- 末端横截面可以通过使用不同参数值的相同参数化轮廓定义，或者通过起始轮廓在末端横截面平面内的2D笛卡尔变换定义
实体通过将起始横截面变换为末端横截面生成。包括一个起始面、一个末端面（分别由起始和末端横截面定义）以及一个或多个侧面。每个侧面是由起始和末端截面的一对对应边定义的直纹曲面。这些直纹曲面在超类型 IfcRevolvedAreaSolid 定义的圆柱坐标系空间中构建。
非正式命题
- IfcDerivedProfileDef.Operator 中的镜像不应使用
8.8.3.31.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.31.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 |
扫掠操作生成的扫掠实体的位置坐标系。位置坐标系允许重新定位扫掠实体。如果未提供，扫掠实体将保持在由横截面或用于扫掠操作的准线确定的位置内。 |
| IfcRevolvedAreaSolid (3) | |||
| 3 | Axis | IfcAxis1Placement |
将围绕其进行旋转的轴。 |
| 4 | Angle | IfcPlaneAngleMeasure |
将进行扫描的角度。该角度从位置坐标系的 XY 平面提供的扫描区域平面开始测量。 |
| * | AxisLine | IfcLine |
此属性是形式化派生的 旋转轴的直线。 |
| 点击显示 8 个隐藏的继承特性 点击隐藏 8 个继承特性 | |||
| IfcRevolvedAreaSolidTapered (1) | |||
| 5 | EndSweptArea | IfcProfileDef |
无可用描述 |
8.8.3.31.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| CorrectProfileAssignment |
作为起始轮廓的 SweptArea 和作为末端轮廓的 EndSweptArea 应当兼容。 |
|
|
8.8.3.31.5 形式化表示（Formal representation）
ENTITY IfcRevolvedAreaSolidTapered
SUBTYPE OF (IfcRevolvedAreaSolid);
EndSweptArea : IfcProfileDef;
WHERE
CorrectProfileAssignment : IfcTaperedSweptAreaProfiles(SELF\IfcSweptAreaSolid.SweptArea, SELF.EndSweptArea);
END_ENTITY;