8.9.3.70 IfcSurfaceOfRevolution（旋转曲面）
8.9.3.70.1 语义定义（Semantic definition）
IfcSurfaceOfRevolution 是通过绕轴旋转曲线而导出的曲面。
参数化如下，其中曲线具有参数化 λ(u)：
C = AxisPosition.Location V = AxisPosition.Z
为了生成具有完整旋转的单值曲面，曲线应满足在以 C 为中心、以 V 为轴的柱坐标系 (r,φ ,z) 中表示时，曲线上没有两个不同的参数点具有相同的 (r, z) 值。对于旋转曲面，参数范围为 0 < u < 360 度。v 的参数化范围由参考曲线定义。
Figure 8.9.3.70.A
非正式命题
- 曲面不得自相交
- 扫掠曲线在其长度的任何有限部分不得与轴线重合。
8.9.3.70.2 实体继承（Entity inheritance）
-
- IfcSurface
- IfcAnnotationFillArea
- IfcBooleanResult
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcFillAreaStyleHatching
- IfcFillAreaStyleTiles
- IfcGeometricSet
- IfcHalfSpaceSolid
- IfcLightSource
- IfcPlacement
- IfcPlanarExtent
- IfcPoint
- IfcSectionedSpine
- IfcSegment
- IfcShellBasedSurfaceModel
- IfcSolidModel
- IfcTessellatedItem
- IfcTextLiteral
- IfcVector
8.9.3.70.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，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| IfcSurface (1) | |||
| * | Dim | IfcDimensionCount |
此属性是形式化派生的 IfcSurface 的空间维度。它始终是三维几何表示项。 |
| IfcSweptSurface (2) | |||
| 1 | SweptCurve | IfcProfileDef |
在定义曲面时要扫掠的曲线。该曲线在位置坐标系中定义为轮廓。 |
| 2 | Position | OPTIONAL IfcAxis2Placement3D |
扫掠曲面的位置坐标系，由 Position 坐标的 XY 平面内的轮廓定义提供。如果未提供，被扫掠轮廓的位置由对象坐标系确定。在这种情况下，扫掠曲面不会被重新定位。 |
| 点击显示 5 个隐藏的继承特性 点击隐藏 5 个继承特性 | |||
| IfcSurfaceOfRevolution (2) | |||
| 3 | AxisPosition | IfcAxis1Placement |
旋转轴上的一个点和旋转轴的方向。 |
| * | AxisLine | IfcLine |
此属性是形式化派生的 与旋转轴重合的直线。 |
8.9.3.70.4 形式化表示（Formal representation）
ENTITY IfcSurfaceOfRevolution
SUBTYPE OF (IfcSweptSurface);
AxisPosition : IfcAxis1Placement;
DERIVE
AxisLine : IfcLine := IfcRepresentationItem() || IfcGeometricRepresentationItem () || IfcCurve() || IfcLine(AxisPosition.Location,
IfcRepresentationItem() || IfcGeometricRepresentationItem () || IfcVector(AxisPosition.Z,1.0));
END_ENTITY;