ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикаиия:
*)
ENTITY positive__length_measure_with_unit
SUBTYPE OF (length_measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.POSITIVE_LENGTH_MEASURE’ IN
TYPEOF(SELF\measure_with_unit.value_component);
END_ENTITY;
(*
"
Формальное положение:
WR1. Значение атрибута value_component (составляющая часть со значением) должно быть по
ложительным.
19.4.55 Объект positive_plane_angle_measure_with_unit
Объект positive_plane_angle_measure_with_unit является таким подтипом представляющего
плоский угол с единицей измерения объекта plane_angle_ measure_with_unit, в котором величина
должна быть положительной.
EXPRESS-спеииФикаиия:
*)
ENTITY positive_plane_angle__measure_with_unit
SUBTYPE OF (plane_angle_measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.POSITIVE_PLANE_ANGLE_MEASURE’IN
TYPEOF(SELF\measure_with_unit.value_component);
END_ENTITY;
(*
Формальное положение:
WR1. Значение атрибута value_component (составляющая часть со значением) должно быть по
ложительным.
19.4.56 Объект power_measure_with_unit
Объект power_measure_with_unit является таким подтипом объекта measure_with_unit, в кото
ром измеряемой величиной является мощность, как это определено в стандартах серии ИСО 80000.
EXPRESS-спеииФикаиия:
*)
ENTITY power_measure_with_unit
SUBTYPE OF (measure_with__unit);
WHERE
WR1: ’MEASURE_SCHEMA.POWER^UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа power_unit.
19.4.57 Объект power_unit
Объект power_unit является таким подтипом представляющего производную единицу измерения
объекта derived_unit, посредством которого выражается мощность.
EXPRESS-спеииФикаиия:
*)
ENTITY power_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions__for_si_unit
(si_unit_name.watt);
END_ENTITY;
(*
"
166