ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикация:
*)
ENTITY magnetic_flux_density_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.MAGNETIC_FLUX_DENSITY_UNIT’IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа magnetic_flux_
density_unit.
19.4.45Объект magnetic_flux_density_unit
Объект magnetic_flux_density_unit является таким подтипом представляющего производную
единицу измерения объекта derived_unit, посредством которого выражается плотность магнитного по
тока.
EXPRESS-спеииФикация:
*)
ENTITY magnetic_flux_density_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit_name.tesla);
END_ENTITY;
(*
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы тесла в стандартах серии ИСО 80000.
19.4.46 Объект magnetic_flux_measure_with_unit
Объект magnetic_flux_measure_with_unit является таким подтипом объекта measure_with_unit,
в котором физической величиной является магнитный поток, как это определено в стандартах серии
ИСО 80000.
EXPRESS-специФикация:
*)
ENTITY magnetic_flux_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.MAGNETIC_FLUX_UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа magnetic_flux_
unit.
19.4.47 Объект magnetic_flux_unit
Объект magnetic_flux_unit является таким подтипом представляющего производную единицу из
мерения объекта derived_unit, посредством которого выражается магнитный поток.
EXPRESS-специФикация:
*)
ENTITY magnetic_flux_unit
SUBTYPE OF (derived_unit);
WHERE
161