ГОСТ Р ИСО 10303-41—2022
Примечание — Данная единица измерения одной из семи основных физических величин, определение
которых содержится в стандартах серии ИСО 80000.
EXPRESS-спеииФикаиия:
*)
ENTITY time_unit
SUBTYPE OF (named_unit);
WHERE
WR1: (SELF\named_unit.dimensions.length_exponent = 0.0) AND
(SELF\named_unit.dimensions.mass_exponent = 0.0) AND
(SELF\named_unit.dimensions.time_exponent = 1.0) AND
(SELF\named_unit.dimensions.electric_current_exponent = 0.0) AND
(SELF\named_unit.dimensions.thermodynamic_temperature_exponent = 0.0)
AND (SELF\named_unit.dimensions.amount_of_substance_exponent = 0.0)
AND (SELF\named_unit.dimensions.luminous_intensity_exponent = 0.0);
END_ENTITY;
(*
Формальное положение:
WR1. Показатель степени времени должен быть равен единице, а все остальные показатели сте
пени основных физических величин СИ должны быть равны нулю.
19.4.90 Объект velocity_measure_with_unit
Объект velocity_measure_with_unit является таким подтипом объекта measure_with_unit, в ко
тором измеряемой физической величиной является скорость.
EXPRESS-спеииФикаиия:
*)
ENTITY velocity_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.VELOCITY_UNIT’IN TYPEOF
(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа velocity_unit.
19.4.91 Объект velocity_unit
Объект velocity_unit является таким подтипом представляющего производную единицу измере
ния объекта derived_unit, посредством которого выражается скорость.
EXPRESS-спеииФикаиия:
*)
ENTITY velocity_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensional_exponents
( 1.0, 0.0, -1.0, 0.0, 0.0, 0.0, 0.0 );
END_ENTITY;
(*
Формальное положение:
WR1. Показатель степени длины должен быть равен единице, показатель степени времени дол
жен быть равен минус единице, а все остальные показатели степени основных физических величин СИ
должны быть равны нулю.
19.4.92 Объект volume_measure_with_unit
Объект volume_measure_with_unit является таким подтипом объекта measure_with_unit, в кото
ром физической величиной является объем, как это определено в стандартах серии ИСО 80000.
177