8.8.3.43 IfcSweptDiskSolid（扫掠圆盘实体）
8.8.3.43.1 语义定义（Semantic definition）
IfcSweptDiskSolid 通过扫掠表示法表示三维形状，允许二维圆形边界平面沿着三维 Directrix（准线）在空间中扫掠。
StartParam（起始参数）和 EndParam（终止参数）为可选参数，若未提供则默认使用 Directrix 的起点和终点。仅当 Directrix 为有界曲线或闭合曲线时，才允许省略 StartParam 和 EndParam 的值。
若 Directrix 相邻段之间的过渡非切向连续，则生成的实体将在两段之间的半角处创建斜接。非正式命题限制了两个非切向连续段之间的允许角度。
图1展示了一个示例：
- Directrix 以 IfcIndexedPolyCurve 形式给出，包含直线段和圆弧段，各段之间切向连续
- Directrix 为有界开放曲线
- 未提供 StartParam 和 EndParam，起始和终止默认使用 Directrix 有界曲线的起点和终点
注意 尽管示例显示 Directrix 为平面参考面上的多段曲线，但 IfcSweptDiskSolid 的定义并不限于基于平面曲线。然而视图定义或实现者协议可能提供相关限制。
注意 与 IfcCompositeCurve 相比，几何项 IfcIndexedPolyCurve 提供了更紧凑的表示形式，因此是 Directrix 的首选曲线表示方法。
注意 根据ISO/CD 10303-42:1992的定义 扫掠圆盘实体是通过将圆形圆盘沿着三维曲线扫掠而产生的实体。在扫掠操作过程中，圆形圆盘平面的法线方向与准线曲线的切线方向一致，且圆盘中心位于准线上。圆形圆盘可选择性地具有中心孔，在这种情况下，当准线形成闭合曲线时，生成的实体将具有通孔或内部空腔。
注意 实体改编自ISO 10303-42中定义的 swept_disk_solid。
IFC4变更 属性 StartParam 和 EndParam 已设为可选。
非正式命题
- 若 Directrix 曲线定义非切向连续，则各段之间的过渡必须在可接受的切向不连续限度内。非常尖锐的边缘可能导致几乎无法实现的斜接。实现者协议可定义切向不连续的可接受限度。
- Directrix 的各段应足够长以应用 Radius。若 Directrix 包含圆弧段，其半径应大于圆盘 Radius
- Directrix 不应基于相交曲线。
8.8.3.43.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.43.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。 |
| 点击显示 3 个隐藏的继承特性 点击隐藏 3 个继承特性 | |||
| IfcSweptDiskSolid (5) | |||
| 1 | Directrix | IfcCurve |
用于定义扫掠操作的曲线。实体通过将圆形圆盘沿着 Directrix 扫掠生成。 |
| 2 | Radius | IfcPositiveLengthMeasure |
要沿着 Directrix 扫掠的圆形圆盘的 Radius。若应用了 InnerRadius，则表示外半径。 |
| 3 | InnerRadius | OPTIONAL IfcPositiveLengthMeasure |
此属性为可选，若存在则定义圆盘中心圆孔的半径。 |
| 4 | StartParam | OPTIONAL IfcParameterValue |
Directrix 上扫掠操作开始的参数值。若未提供值，则扫掠操作从 Directrix 的起点开始。
|
| 5 | EndParam | OPTIONAL IfcParameterValue |
Directrix 上扫掠操作结束的参数值。若未提供值，则扫掠操作在 Directrix 的终点结束。
|
8.8.3.43.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| DirectrixBounded |
若省略 StartParam 或 EndParam 的值，则 Directrix 必须为有界曲线或闭合曲线。
|
|
|
| DirectrixDim |
Directrix 应为三维空间中的曲线。 |
|
|
| InnerRadiusSize |
若存在 InnerRadius，则表示外半径的 Radius 应大于 InnerRadius。 |
|
|
8.8.3.43.5 形式化表示（Formal representation）
ENTITY IfcSweptDiskSolid
SUPERTYPE OF (ONEOF
(IfcSweptDiskSolidPolygonal))
SUBTYPE OF (IfcSolidModel);
Directrix : IfcCurve;
Radius : IfcPositiveLengthMeasure;
InnerRadius : OPTIONAL IfcPositiveLengthMeasure;
StartParam : OPTIONAL IfcParameterValue;
EndParam : OPTIONAL IfcParameterValue;
WHERE
DirectrixBounded : (EXISTS(StartParam) AND EXISTS(EndParam)) OR
(SIZEOF(['IFC4X3_DEV_62887e3f.IFCCONIC', 'IFC4X3_DEV_62887e3f.IFCBOUNDEDCURVE'] * TYPEOF(Directrix)) = 1);
DirectrixDim : Directrix.Dim = 3;
InnerRadiusSize : (NOT EXISTS(InnerRadius)) OR (Radius > InnerRadius);
END_ENTITY;