ГОСТ Р ИСО 10303-41—2022
EXPRESS-специФикаиия:
*)
ENTITY energy_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit_name.joule);
END_ENTITY;
(*
"
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы джоуль в стандартах серии ИСО 80000.
19.4.29 Объект force_measure_with_unit
Объект force_measure_with_unit является таким подтипом объекта measure_with_unit, в кото
ром физической величиной является сила, как это определено в стандартах серии ИСО 80000.
EXPRESS-спеиисЬикаиия:
*)
ENTITY force_measure_with_unit
SUBTYPE OF (measure_with__unit);
WHERE
WR1: ’MEASURE_SCHEMA.FORCE_UNIT’IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
"
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа force_unit.
19.4.30 Объект force_unit
Объект force_unit является таким подтипом представляющего производную единицу измерения
объекта derived_unit, посредством которого выражается сила.
EXPRESS-специФикаиия:
*)
ENTITY force_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions__for_si_unit
(si_unit_name.newton);
END_ENTITY;
(*
"
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы ньютон в стандартах серии ИСО 80000.
19.4.31 Объект frequency_measure_with_unit
Объект frequency_measure_with_unit является таким подтипом объекта measure_with_unit, в
котором измеряемой величиной является частота, как это определено в стандартах серии ИСО 80000.
EXPRESS-спеииФикаиия:
*)
ENTITY frequency_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.FREQUENCY_UNIT’
IN TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
"
156