IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.11.2.64 IfcNormalisedRatioMeasure(归一化比率度量)

8.11.2.64.1 语义定义(Semantic definition)

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

类型:REAL

8.11.2.64.2 形式化命题(Formal propositions)

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

8.11.2.64.3 形式化表示(Formal representation)

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

8.11.2.64.4 参考文献