ГОСТ Р ИСО 10303-41—2022
EXPRESS-специФикаиия:
*)
ENTITY luminous_flux_unit
SUBTYPE OF (named_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit_name.lumen);
END_ENTITY;
(*
"
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы люмен в стандартах серии ИСО 80000.
19.4.42 Объект luminous_intensity_measure_with_unit
Объект luminous_intensity_measure_with_unit является таким подтипом объекта measure_
with_unit, в котором физической величиной является сила света, как это определено в стандартах
серии ИСО 80000.
EXPRESS-спеиисЬикаиия:
*)
ENTITY luminous_intensity_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.LUMINOUS_INTENSITY_UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
"
Формальное положение:
WR1. Единица измерения должна быть представлена объектом luminous_intensity_unit, играю
щим роль наследуемого атрибута unit_component.
19.4.43 Объект luminous_intensity_unit
Объект luminous_intensity_unit является таким подтипом объекта named_unit, посредством ко
торого выражается яркость предмета.
EXPRESS-спеиисЬикаиия:
*)
ENTITY luminous_intensity_unit
SUBTYPE OF (named_unit);
WHERE
WR1: (SELF\named_unit.dimensions.length_exponent = 0.0) AND
(SELF\named_unit.dimensions.mass_exponent = 0.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 = 1.0);
END_ENTITY;
(*
Формальное положение:
WR1. Показатель степени силы света должен быть равен единице, а другие показатели степени
основных физических величин СИ должны быть равны нулю.
19.4.44Объект magnetic_flux_density_measure_with_unit
Объект magnetic_flux_density_measure_with_unit является таким подтипом объекта measure_
with_unit, в котором физической величиной является плотность магнитного потока, как это определено в
стандартах серии ИСО 80000.
160