IFC 4.3.2.20260714 (IFC4X3_ADD2) under development

8.11.2.64 IfcNormalisedRatioMeasure(归一化比率度量)

8.11.2.64.1 语义定义

IfcNormalisedRatioMeasure 是一种无量纲度量,用于表示从 0.0 到 1.0 的比率值。

类型:REAL

沿革 在 IFC2x 中新增的类型。

8.11.2.64.2 形式化命题

名称 描述
WR1<html><body><p>归一化比率应为小于或等于 1.0 的非负值</p></body></html>
{0.0 <= SELF <= 1.0}
表 8.11.2.64.A

8.11.2.64.3 形式化表示

TYPE IfcNormalisedRatioMeasure = IfcRatioMeasure;
 WHERE
	 WR1 : {0.0 <= SELF <= 1.0};
END_TYPE;

8.11.2.64.4 参考