ГОСТ Р ИСО 10303-41—2022
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit_name.weber);
END_ENTITY;
(*
"
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы вебер в стандартах серии ИСО 80000.
19.4.48 Объект mass_measure_with_unit
Объект mass_measure_with_unit является таким подтипом объекта measure_with_unit, в кото
ром физической величиной является масса, как это определено в стандартах серии ИСО 80000.
EXPRESS-спеииФикаиия:
*)
ENTITY mass_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.MASS_UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
"
Формальное положение:
WR1. Единица измерения должна быть представлена объектом mass_unit, играющим роль на
следуемого атрибута unit_component.
19.4.49 Объект mass_unit
Объект mass_unit является таким подтипом объекта named_unit, посредством которого выража
ется содержащееся в предмете количество вещества (масса).
Примечание — Данная единица измерения одной из семи основных физических величин, определение
которых приведено в стандартах серии ИСО 80000.
EXPRESS-спецификаиия:
*)
ENTITY mass_unit
SUBTYPE OF (named_unit);
WHERE
WR1: (SELF\named_unit.dimensions.length_exponent = 0.0) AND
(SELF\named_unit.dimensions.mass_exponent = 1.0) AND
(SELF\named_unit.dimensions.time_exponent = 0.0) AND
(SELF\named_unit.dimensions.electric_current_exponent = 0.0) AND
(SELF\named_unit.dimensions.thermodynamic_temperature_exponent = 0.0)
AND (SELF\named_unit.dimensions.amount_of_substance_exponent = 0.0)
AND (SELF\named_unit.dimensions.luminous_intensity_exponent = 0.0);
END_ENTITY;
(*
Формальное положение:
WR1. Показатель степени массы должен быть равен единице, а другие показатели степени основ
ных физических величин СИ должны быть равны нулю.
19.4.50 Объект measure_with_unit
Объект measure_with_unit представляет спецификацию физического свойства, определение ко
торого приведено в стандартах серии ИСО 80000. Экземпляр объекта measure_with_unit может быть
или экземпляром представляющего длину с единицей измерения объекта length_measure_with_unit,
или экземпляром представляющего массу с единицей измерения объекта mass_measure_with_unit,
или экземпляром представляющего время с единицей измерения объекта time_measure_with_unit, или
экземпляром представляющего силу электрического тока с единицей измерения объекта elec-
tric_current_measure_with_unit, или экземпляром представляющего термодинамическую температу ру
с единицей измерения объекта thermodynamic_temperature_measure_with_unit, или экземпляром
162