ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеиисЬикаиия:
*)
ENTITY si__frequency_unit
SUBTYPE OF (frequency_unit, si_unit);
WHERE
WR1: SELF\si_unit.name = si_unit_name.hertz;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
"
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
hertz (герц);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.75Объект si_illuminance_unit
Объект si_illuminance_unit является таким подтипом объекта illuminance_unit и объекта si_unit,
посредством которого сила света выражается в единицах СИ.
EXPRESS-спеиисЬикаиия:
*)
ENTITY si_illuminance_unit
SUBTYPE OF (illuminance_unit, si_unit);
WHERE
WR1: SELF\si_unit.name = si_unit_name.lux;
WR2: NOT EXISTS(SELF\derived__unit.name);
END_ENTITY;
(*
"
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение lux
(люкс);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.76Объект si_inductance_unit
Объект si_inductance_unit является таким подтипом объекта inductance_ unit и объекта si_unit,
посредством которого индуктивность выражается в единицах СИ.
EXPRESS-спеиисЬикаиия:
*)
ENTITY si_inductance_unit
SUBTYPE OF (inductance_unit, si_unit);
WHERE
WR1:SELF\si_unit.name = si_unit_name.henry;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
"
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
henry (генри);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.77Объект si_magnetic_flux_density_unit
Объект si_magnetic_flux_density_unit является таким подтипом объекта magnetic_flux_density_
unit и объекта si_unit, посредством которого плотность магнитного потока выражается в единицах СИ.
EXPRESS-спеиисЬикаиия:
*)
ENTITY si_magnetic_flux_density_unit
SUBTYPE OF (magnetic_flux_density_unit
,
si_unit);
172