ГОСТ Р ИСО 10303-41—2022
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
pascal (паскаль);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.81 Объект si_radioactivity_unit
Объект si_radioactivity_unit является таким подтипом объекта radioactivity_unit и объекта
si_unit, посредством которого радиоактивность выражается в единицах СИ.
EXPRESS-спеиисЬикаиия:
*)
ENTITY si_radioactivity_unit
SUBTYPE OF (radioactivity_unit, si_unit);
WHERE
WR1:SELF\si_unit.name = si_unit_name.becquerel;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
"
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
becquerel (беккерель);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.82 Объект si_resistance_unit
Объект si_resistance_unit является таким подтипом объекта resistance_unit и объекта si_unit,
посредством которого электрическое сопротивление выражается в единицах СИ.
EXPRESS-спеиисЬикаиия:
*)
ENTITY si_resistance_unit
SUBTYPE OF (resistance_unit, si_unit);
WHERE
WR1: SELF\si_unit.name = si_unit_name.ohm;
WR2: NOT EXISTS(SELF\derived_unit.name);
END_ENTITY;
(*
"
Формальные положения:
WR1. Наследуемый от объекта si_unit атрибут name (наименование) должен иметь значение
ohm (ом);
WR2. Никаких других наименований настоящему объекту присваиваться не должно.
19.4.83 Объект si_unit
Объект si_unit является таким подтипом объекта named_unit, посредством которого осущест
вляется определение единицы измерения, относящейся к системе единиц измерения, определение
которых содержится в стандартах серии ИСО 80000.
EXPRESS-спеиисЬикаиия:
*)
ENTITY si_unit
SUBTYPE OF (named_unit);
prefix :OPTIONAL si_prefix;
name :si_unit_name;
DERIVE
SELF\named_unit.dimensions :dimensional_exponents :=
dimensions_for_si_unit(name);
WHERE
WR1:NOT((’MEASURE_SCHEMA.MASS_UNIT’ IN TYPEOF(SELF))AND
(SIZEOF(USEDIN(SELF,’MEASURE_SCHEMA.DERIVED_UNIT_ELEMENT.UNIT’)) > 0))
OR (prefix = si_prefix.kilo);
END_ENTITY;
(*
174