RV ⓘ
AbV ⓘ
8.11.3.4.1 语义定义（Semantic definition）
派生单位是通过其他单位的表达式构成的单位。
图 8.11.3.4.A — 如何将英里每小时分配为派生单位的示例
8.11.3.4.2 实体继承（Entity inheritance）
-
8.11.3.4.3 特性（Attributes）
表 8.11.3.4.B
8.11.3.4.4 形式化命题（Formal propositions）
| 名称 |
描述 |
| WR1 |
单位本身不应重新定义为派生单位。
|
(SIZEOF (Elements) > 1) OR ((SIZEOF (Elements) = 1) AND (Elements[1].Exponent <> 1 ))
|
| WR2 |
当属性 UnitType 的枚举值为 USERDEFINED 时，属性 UserDefinedType 也应具有值。
|
(UnitType <> IfcDerivedUnitEnum.USERDEFINED) OR
((UnitType = IfcDerivedUnitEnum.USERDEFINED) AND
(EXISTS(SELF.UserDefinedType)))
|
表 8.11.3.4.C
8.11.3.4.5 形式化表示（Formal representation）
ENTITY IfcDerivedUnit;
Elements : SET [1:?] OF IfcDerivedUnitElement;
UnitType : IfcDerivedUnitEnum;
UserDefinedType : OPTIONAL IfcLabel;
Name : OPTIONAL IfcLabel;
DERIVE
Dimensions : IfcDimensionalExponents := IfcDeriveDimensionalExponents(Elements);
WHERE
WR1 : (SIZEOF (Elements) > 1) OR ((SIZEOF (Elements) = 1) AND (Elements[1].Exponent <> 1 ));
WR2 : (UnitType <> IfcDerivedUnitEnum.USERDEFINED) OR
((UnitType = IfcDerivedUnitEnum.USERDEFINED) AND
(EXISTS(SELF.UserDefinedType)));
END_ENTITY;
8.11.3.4.6 参考文献