ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикаиия:
*)
ENTITY volume_measure_with__unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.VOLUME_UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
"
Формальное положение:
WR1. Единица измерения должна быть представлена объектом volume_unit, играющим роль на
следуемого атрибута unit_component.
19.4.93Объект volume_unit
Объект volume_unit является таким подтипом представляющего производную единицу изме
рения объекта derived_unit, посредством которого выражается мера протяженности заполненной
области пространства.
EXPRESS-спеииФикаиия:
*)
ENTITY volume_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensional_exponents
(3.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 );
END_ENTITY;
(*
"
Формальное положение:
WR1. Показатель степени длины должен быть равен трем, а все остальные показатели степени
основных физических величин СИ должны быть равны нулю.
19.5 Определения функций схемы measure_schema
19.5.1 Функция derive_dimensional_exponents
Функция derive_dimensional_exponents определяет показатели степени основных физических
величин единицы измерения. Для представленных объектами named_unit именованных единиц из
мерения функция возвращает объект dimensional_exponents, играющий роль атрибута dimensions.
Для представленных объектами derived_unit производных единиц измерения показатели степени вы
числяются исходя из состава агрегатного атрибута elements (элементы).
EXPRESS-спеииФикаиия:
*)
FUNCTION derive_dimensional_exponents (х :unit) :dimensional_exponents;
LOCAL
result :dimensional_exponents := dimensional_exponents(0.0, 0.0, 0.0,
0.0, 0.0, 0.0, 0.0);
END_LOCAL;
IF ’MEASURE_SCHEMA.DERIVED_UNIT’ IN TYPEOF(x) THEN
REPEAT i := LOINDEX(x\derived_unit.elements) TO
HIINDEX(x\derived_unit.elements);
result.length_exponent := result.length_exponent +
(x\derived_unit.elements[i]\derived_unit_element.exponent *
x\derived_unit.elements[i]\derived_unit_element.unit\named_unit.dimensions.
length_exponent);
result.mass_exponent := result.mass_exponent +
(x\derived_unit.elements[i]\derived_unit_element.exponent *
x\derived_unit.elements[i]\derived_unit_element.unit\named_unit.dimensions.mass_
178