ГОСТ Р ИСО 10303-41—2022
electric_current_exponent — показатель степени силы электрического тока, являющейся одной
из основных физических величин;
thermodynamic_temperature_exponent — показатель степени термодинамической температуры,
являющейся одной из основных физических величин;
amount_of_substance_exponent — показатель степени количества вещества, являющегося од
ной из основных физических величин;
luminous_intensity_exponent — показатель степени силы света, являющейся одной из основных
физических величин.
19.4.19 Объект dose_equivalent_measure_with_unit
Объект dose_equivalent_measure_with_unit является таким подтипом объекта measure_with_
unit, в котором физической величиной является эквивалент дозы радиации, как это определено в стан
дартах серии ИСО 80000.
EXPRESS-специсЬикация:
*)
ENTITY dose_equivalent_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.DOSE_EQUIVALENT_UNIT’IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа dose_equivalent_
unit.
19.4.20 Объект dose_equivalent_unit
Объект dose_equivalent_unit является таким подтипом представляющего производную единицу
измерения объекта derived_unit, посредством которого выражается доза радиации.
EXPRESS-спеиисЬикация:
*)
ENTITY dose_equivalent_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit_name.sievert);
END_ENTITY;
(*
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы зиверт в стандартах серии ИСО 80000.
19.4.21 Объект electric_charge_measure_with_unit
Объект electric_charge_measure_with_unit является таким подтипом объекта measure_with_
unit, в котором физической величиной является электрический заряд, как это определено в стандартах
серии ИСО 80000.
EXPRESS-специсЬикация:
*)
ENTITY electric_charge_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.ELECTRIC_CHARGE_UNIT’IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
153