ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикация:
*)
ENTITY resistance_measure_with__unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.RESISTANCE_UNIT’ IN TYPEOF(SELF\measure_with_unit.unit_
component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа resistance_unit.
19.4.65 Объект resistance_unit
Объект resistance_unit является таким подтипом представляющего производную единицу изме
рения объекта derived_unit, посредством которого выражается электрическое сопротивление.
EXPRESS-спеииФикация:
*)
ENTITY resistance_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit (si_unit_
name.ohm);
END_ENTITY;
(*
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы ом в стандартах серии ИСО 80000.
19.4.66 Объект si_absorbed_dose_unit
Объект si_absorbed_dose_unit является таким подтипом объекта absorbed_dose_unit и объекта
si_unit, посредством которого поглощенная доза радиации выражается в единицах СИ.
EXPRESS-спеииФикация:
*)
ENTITY si_absorbed_dose_unit
SUBTYPE OF (absorbed_dose_unit, si_unit);
WHERE
WR1:SELF\si_unit.name = si_unit_name.gray;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
gray (грей);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.67 Объект si_capacitance_unit
Объект si_capacitance_unit является таким подтипом объекта capacitance_unit и объекта
si_unit, посредством которого электрическая емкость выражается в единицах СИ.
EXPRESS-спеииФикация:
*)
ENTITY si_capacitance_unit
SUBTYPE OF (capacitance_unit, si_unit);
WHERE
WR1:SELF\si_unit.name = si_unit_name.farad;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
169