8.19.3.10 IfcStructuralLoadConfiguration（结构荷载配置）

8.19.3.10.1 语义定义（Semantic definition）

此类在一维或二维配置中组合一个或多个荷载或结果值。

非正式命题

Values 中的所有项应为相同类型。
如果荷载或结果包含曲线活动，应给出沿曲线局部测量的一维位置。位置不应超出曲线活动的边界。荷载样本和相应位置应按位置升序给出。
如果荷载或结果包含表面活动，应给出在表面活动局部 x 和 y 方向测量的二维位置。位置不应超出表面活动的边界。

8.19.3.10.2 实体继承（Entity inheritance）

8.19.3.10.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcStructuralLoad (1)
1	Name	OPTIONAL IfcLabel	可选定义此结构荷载的名称。
点击显示 1 个隐藏的继承特性点击隐藏 1 个继承特性
IfcStructuralLoadConfiguration (2)
2	Values	LIST [1:?] OF IfcStructuralLoadOrResult	荷载或结果值的列表。
3	Locations	OPTIONAL LIST [1:?] OF UNIQUE LIST [1:2] OF IfcLengthMeasure	荷载样本或结果样本的位置，在使用此资源对象的实例定义的局部坐标系内给出。位置列表中的每个项对应于相同列表索引处的值列表项。对于从更高级别定义隐式已知位置的配置，此属性为可选。

表 8.19.3.10.A

8.19.3.10.4 形式化命题（Formal propositions）

名称	描述
ValidListSize	如果提供了位置，则位置项的数量应与值项的数量相同。
`NOT EXISTS(Locations) OR (SIZEOF(Locations) = SIZEOF(Values))`

表 8.19.3.10.B

8.19.3.10.5 形式化表示（Formal representation）

ENTITY IfcStructuralLoadConfiguration
 SUBTYPE OF (IfcStructuralLoad);
	Values : LIST [1:?] OF IfcStructuralLoadOrResult;
	Locations : OPTIONAL LIST [1:?] OF UNIQUE LIST [1:2] OF IfcLengthMeasure;
 WHERE
	ValidListSize : NOT EXISTS(Locations) OR (SIZEOF(Locations) = SIZEOF(Values));
END_ENTITY;

8.19.3.10.6 参考文献

IfcStructuralLoad