IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.9.3.17 IfcCartesianTransformationOperator3DnonUniform(三维非均匀笛卡尔变换算子)

RV ⓘ
AbV ⓘ

8.9.3.17.1 语义定义(Semantic definition)

三维非均匀笛卡尔变换算子定义了三维空间中的几何变换,该变换由平移、旋转、镜像和非均匀缩放组成。非均匀缩放由三个不同的缩放因子给出:

如果省略_Scale_因子(在超类型_IfcCartesianTransformationOperator_中),则默认为1.0。如果省略_Scale2_或_Scale3_因子,则默认为_Scale_的值(x轴缩放因子)。

8.9.3.17.2 实体继承(Entity inheritance)

8.9.3.17.3 特性(Attributes)

# 特性(Attributes) 类型 描述
IfcRepresentationItem (2)
LayerAssignment SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems

将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentationItems 列表中的 LayerAssignments

StyledByItem SET [0:1] OF IfcStyledItem FOR Item

引用为表示提供表现信息的 IfcStyledItem,例如,为几何曲线提供曲线样式,包括颜色和厚度。

IfcCartesianTransformationOperator (6)
1 Axis1 OPTIONAL IfcDirection

用于确定 U[1](派生 X 轴方向)的方向。

2 Axis2 OPTIONAL IfcDirection

用于确定 U[2](派生 Y 轴方向)的方向。

3 LocalOrigin IfcCartesianPoint

所需的平移,指定为笛卡尔点。变换中包含的实际平移是从几何原点到局部原点。

4 Scale OPTIONAL IfcReal

为变换指定的缩放值。

* Scl IfcReal

此属性是形式化派生的

NVL(Scale, 1.0)

变换的派生缩放 S,如果存在 scale 则等于 scale,否则为 1.0。

* Dim IfcDimensionCount

此属性是形式化派生的

LocalOrigin.Dim

此类的空间维度,由局部原点的空间维度确定。

IfcCartesianTransformationOperator3D (2)
5 Axis3 OPTIONAL IfcDirection

U[3] 的确切方向,即导出的 Z 轴方向。

* U LIST [3:3] OF IfcDirection

此属性是形式化派生的

IfcBaseAxis(3,SELF\IfcCartesianTransformationOperator.Axis1,
SELF\IfcCartesianTransformationOperator.Axis2,Axis3)

定义变换矩阵 T 的相互正交的归一化向量列表。它们按顺序从显式属性 Axis3、Axis1 和 Axis2 派生而来。

点击显示 10 个隐藏的继承特性 点击隐藏 10 个继承特性
IfcCartesianTransformationOperator3DnonUniform (4)
6 Scale2 OPTIONAL IfcReal

为沿轴2的变换指定的缩放值。这通常是y轴缩放因子。

7 Scale3 OPTIONAL IfcReal

为沿轴3的变换指定的缩放值。这通常是z轴缩放因子。

* Scl2 IfcReal

此属性是形式化派生的

NVL(Scale2, SELF\IfcCartesianTransformationOperator.Scl)

沿轴2(通常为y轴)变换的派生缩放S(2),如果存在Scale2则等于Scale2,否则等于派生的Scl1(通常为x轴缩放因子)。

* Scl3 IfcReal

此属性是形式化派生的

NVL(Scale3, SELF\IfcCartesianTransformationOperator.Scl)

沿轴3(通常为z轴)变换的派生缩放S(3),如果存在Scale3则等于Scale3,否则等于派生的Scl1(通常为x轴缩放因子)。

表 8.9.3.17.A

8.9.3.17.4 形式化命题(Formal propositions)

名称 描述
Scale2GreaterZero

派生缩放Scl2应大于零。

Scl2 > 0.0
Scale3GreaterZero

派生缩放Scl3应大于零。

Scl3 > 0.0
表 8.9.3.17.B

8.9.3.17.5 形式化表示(Formal representation)

ENTITY IfcCartesianTransformationOperator3DnonUniform
 SUBTYPE OF (IfcCartesianTransformationOperator3D);
	Scale2 : OPTIONAL IfcReal;
	Scale3 : OPTIONAL IfcReal;
 DERIVE
	 Scl2 : IfcReal := NVL(Scale2, SELF\IfcCartesianTransformationOperator.Scl);
	 Scl3 : IfcReal := NVL(Scale3, SELF\IfcCartesianTransformationOperator.Scl);
 WHERE
	Scale2GreaterZero : Scl2 > 0.0;
	Scale3GreaterZero : Scl3 > 0.0;
END_ENTITY;