ГОСТ Р ИСО 10303-41—2022
WHERE
WR1:SELF\si_unit.name = si_unit_name.tesla;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
tesla (тесла);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.78 Объект si_magnetic_flux_unit
Объект si_magnetic_flux_unit является таким подтипом объекта magnetic_ flux_unit и объекта
si_unit, посредством которого магнитный поток выражается в единицах СИ.
EXPRESS-специФикация:
*)
ENTITY si_magnetic_flux_unit
SUBTYPE OF (magnetic_flux_unit, si_unit);
WHERE
WR1: SELF\si_unit.name = si_unit_name.weber;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
weber (вебер);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.79 Объект si_power_unit
Объект si_power_unit является таким подтипом объекта power_unit и объекта si_unit, посред
ством которого мощность выражается в единицах СИ.
EXPRESS-специФикация:
*)
ENTITY si_power_unit
SUBTYPE OF (power_unit, si_unit);
WHERE
WR1:SELF\si_unit.name = si_unit_name.watt;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение watt
(ватт);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.80 Объект si_pressure_unit
Объект si_pressure_unit является таким подтипом объекта pressure_unit и объекта si_unit, по
средством которого давление выражается в единицах СИ.
EXPRESS-специФикация:
*)
ENTITY si_pressure_unit
SUBTYPE OF (pressure_unit, si_unit);
WHERE
WR1:SELF\si_unit.name = si_unit_name.pascal;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
173