8.11.2.66 IfcPHMeasure(pH值度量)
8.11.2.66.1 语义定义
IfcPHMeasure 是液体中氢离子摩尔浓度的度量值(通常定义为酸度度量),其取值范围为0至14。
沿革 在 IFC2x2 中的新类型。
8.11.2.66.2 形式化命题
8.11.2.66.3 形式化表示
TYPE IfcPHMeasure = REAL;
WHERE
WR21 : {0.0 <= SELF <= 14.0};
END_TYPE;
IFC 4.3.2.20260714 (IFC4X3_ADD2) under development
IfcPHMeasure 是液体中氢离子摩尔浓度的度量值(通常定义为酸度度量),其取值范围为0至14。
沿革 在 IFC2x2 中的新类型。
TYPE IfcPHMeasure = REAL;
WHERE
WR21 : {0.0 <= SELF <= 14.0};
END_TYPE;