ГОСТ Р ИСО 10303-41—2022
Примечание — Настоящий тип данных используется для выражения других значений той же самой
физической величины.
EXPRESS-специФикация:
*)
TYPE unit = SELECT
(derived_unit,
named_unit);
END_TYPE;
(*
19.3.46 Тип данных velocity_measure
Посредством значений типа velocity_measure представляется величина скорости.
EXPRESS-специФикация:
*)
TYPE velocity_measure = REAL;
END_TYPE;
(*
19.3.47 Тип данных volume_measure
Посредством значений типа volume_measure представляется величина объема.
EXPRESS-спецификация:
*)
TYPE volume_measure = REAL;
END_TYPE;
(*
19.4Определения объектов схемы measure_schema
19.4.1 Объект absorbed_dose_measure_with_unit
Объект absorbed_dose_measure_with_unit является таким подтипом объекта measure_with_
unit, в котором физической величиной является поглощенная доза радиации, как это определено в
стандартах серии ИСО 80000.
EXPRESS-спецификация:
*)
ENTITY absorbed_dose_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.ABSORBED_DOSE_UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа absorbed_dose_
unit.
19.4.2 Объект absorbed_dose_unit
Объект absorbed_dose_unit является таким подтипом представляющего производную единицу
измерения объекта derived_unit, который представляет единицу поглощенной дозы радиации.
EXPRESS-специФикация:
*)
ENTITY absorbed_dose_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit_name.gray);
END_ENTITY;
(*
145