ГОСТ Р ИСО 10303-41—2022
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа electric_charge_
unit.
19.4.22 Объект electric_charge_unit
Объект electric_charge_unit является таким подтипом представляющего производную единицу
измерения объекта derived_unit, посредством которого выражается электрический заряд.
EXPRESS-спеиисЬикаиия:
*)
ENTITY electric_charge_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit_name.coulomb);
END_ENTITY;
(*
"
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы кулон в стандартах серии ИСО 80000.
19.4.23 Объект electric_current_measure_with_unit
Объект electric_current_measure_with_unit является таким подтипом объекта measure_with_
unit, в котором физической величиной является сила электрического тока, как это определено в стан
дартах серии ИСО 80000.
EXPRESS-спеиисЬикаиия:
*)
ENTITY electric_current_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.ELECTRIC_CURRENT_UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Единица измерения должна быть представлена объектом electric_current_unit, играющим
роль наследуемого атрибута unit_component.
19.4.24 Объект electric_current_unit
Объект electric_current_unit является таким подтипом объекта named_unit, посредством которо
го выражается движение электрически заряженных частиц.
Примечание — Данная единица измерения соответствует одной из семи основополагающих единиц,
определение которых содержится в стандартах серии ИСО 80000.
EXPRESS-спеиисЬикаиия:
*)
ENTITY electric_current_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 = 1.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;
(*
154