8.9.3.55 IfcRectangularTrimmedSurface（矩形裁剪曲面）
8.9.3.55.1 语义定义（Semantic definition）
IfcRectangularTrimmedSurface 是通过在其参考曲面的参数空间内沿着两对平行曲线界定其 BasisSurface 而创建的曲面。
非正式命题
- 裁剪曲面的域应位于被裁剪曲面的域内。
8.9.3.55.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.55.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 的空间维度。它始终是三维几何表示项。 |
| 点击显示 3 个隐藏的继承特性 点击隐藏 3 个继承特性 | |||
| IfcRectangularTrimmedSurface (7) | |||
| 1 | BasisSurface | IfcSurface |
被裁剪的曲面。 |
| 2 | U1 | IfcParameterValue |
第一个 u 参数值。 |
| 3 | V1 | IfcParameterValue |
第一个 v 参数值。 |
| 4 | U2 | IfcParameterValue |
第二个 u 参数值。 |
| 5 | V2 | IfcParameterValue |
第二个 v 参数值。 |
| 6 | Usense | IfcBoolean |
指示裁剪曲面的第一个参数方向是否与基础曲面中 u 的方向一致或相反的标志。 |
| 7 | Vsense | IfcBoolean |
指示裁剪曲面的第二个参数方向是否与基础曲面中 v 的方向一致或相反的标志。 |
8.9.3.55.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| U1AndU2Different |
U1 和 U2 应具有不同的值。 |
|
|
| UsenseCompatible |
除了在 U 参数上闭合的曲面外，方向 Usense 应与 U 的有序参数值兼容。 |
|
|
| V1AndV2Different |
V1 和 V2 应具有不同的值。 |
|
|
| VsenseCompatible |
Vsense 应与 V 的有序参数值兼容。 |
|
|
8.9.3.55.5 形式化表示（Formal representation）
ENTITY IfcRectangularTrimmedSurface
SUBTYPE OF (IfcBoundedSurface);
BasisSurface : IfcSurface;
U1 : IfcParameterValue;
V1 : IfcParameterValue;
U2 : IfcParameterValue;
V2 : IfcParameterValue;
Usense : IfcBoolean;
Vsense : IfcBoolean;
WHERE
U1AndU2Different : U1 <> U2;
UsenseCompatible : (('IFC4X3_DEV_62887e3f.IFCELEMENTARYSURFACE' IN TYPEOF(BasisSurface)) AND
(NOT ('IFC4X3_DEV_62887e3f.IFCPLANE' IN TYPEOF(BasisSurface)))) OR
('IFC4X3_DEV_62887e3f.IFCSURFACEOFREVOLUTION' IN TYPEOF(BasisSurface)) OR
(Usense = (U2 > U1));
V1AndV2Different : V1 <> V2;
VsenseCompatible : Vsense = (V2 > V1);
END_ENTITY;