8.19.3.20 IfcSurfaceReinforcementArea（表面配筋面积）

8.19.3.20.1 语义定义（Semantic definition）

描述表面构件所需或提供的配筋面积。

8.19.3.20.2 实体继承（Entity inheritance）

8.19.3.20.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcStructuralLoad (1)
1	Name	OPTIONAL IfcLabel	可选定义此结构荷载的名称。
点击显示 1 个隐藏的继承特性点击隐藏 1 个继承特性
IfcSurfaceReinforcementArea (3)
2	SurfaceReinforcement1	OPTIONAL LIST [2:3] OF IfcLengthMeasure	位于表面构件局部 z 轴正方向侧面的配筋。按单位长度面积指定，例如平方米/米（即长度度量，如米）。可为两个或三个方向的钢筋指定配筋面积。
3	SurfaceReinforcement2	OPTIONAL LIST [2:3] OF IfcLengthMeasure	位于表面构件局部 z 轴负方向侧面的配筋。按单位长度面积指定，例如平方米/米（即长度度量，如米）。可为两个或三个方向的钢筋指定配筋面积。
4	ShearReinforcement	OPTIONAL IfcRatioMeasure	抗剪配筋。按单位面积指定，例如平方米/平方米（即比率度量，无量纲）。

表 8.19.3.20.A

8.19.3.20.4 形式化命题（Formal propositions）

名称	描述
NonnegativeArea1	表面配筋面积不得小于 0。
`(NOT EXISTS(SurfaceReinforcement1)) OR ( (SurfaceReinforcement1[1] >= 0.) AND (SurfaceReinforcement1[2] >= 0.) AND ((SIZEOF(SurfaceReinforcement1) = 1) OR (SurfaceReinforcement1[1] >= 0.)) )`
NonnegativeArea2	表面配筋面积不得小于 0。
`(NOT EXISTS(SurfaceReinforcement2)) OR ( (SurfaceReinforcement2[1] >= 0.) AND (SurfaceReinforcement2[2] >= 0.) AND ((SIZEOF(SurfaceReinforcement2) = 1) OR (SurfaceReinforcement2[1] >= 0.)) )`
NonnegativeArea3	抗剪配筋面积不得小于 0。
`(NOT EXISTS(ShearReinforcement)) OR (ShearReinforcement >= 0.)`
SurfaceAndOrShearAreaSpecified	必须至少指定一个配筋面积属性。
`EXISTS(SurfaceReinforcement1) OR EXISTS(SurfaceReinforcement2) OR EXISTS(ShearReinforcement)`

表 8.19.3.20.B

8.19.3.20.5 形式化表示（Formal representation）

ENTITY IfcSurfaceReinforcementArea
 SUBTYPE OF (IfcStructuralLoadOrResult);
	SurfaceReinforcement1 : OPTIONAL LIST [2:3] OF IfcLengthMeasure;
	SurfaceReinforcement2 : OPTIONAL LIST [2:3] OF IfcLengthMeasure;
	ShearReinforcement : OPTIONAL IfcRatioMeasure;
 WHERE
	NonnegativeArea1 : (NOT EXISTS(SurfaceReinforcement1)) OR (
    (SurfaceReinforcement1[1] >= 0.) AND
    (SurfaceReinforcement1[2] >= 0.) AND
    ((SIZEOF(SurfaceReinforcement1) = 1) OR (SurfaceReinforcement1[1] >= 0.))
);
	NonnegativeArea2 : (NOT EXISTS(SurfaceReinforcement2)) OR (
    (SurfaceReinforcement2[1] >= 0.) AND
    (SurfaceReinforcement2[2] >= 0.) AND
    ((SIZEOF(SurfaceReinforcement2) = 1) OR (SurfaceReinforcement2[1] >= 0.))
);
	NonnegativeArea3 : (NOT EXISTS(ShearReinforcement)) OR (ShearReinforcement >= 0.);
	SurfaceAndOrShearAreaSpecified : EXISTS(SurfaceReinforcement1) OR EXISTS(SurfaceReinforcement2) OR EXISTS(ShearReinforcement);
END_ENTITY;

8.19.3.20.6 参考文献

IfcStructuralLoadOrResult