ГОСТ Р ИСО 10303-41—2022
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа frequency_unit.
19.4.32 Объект frequency_unit
Объект frequency_unit является таким подтипом представляющего производную единицу изме
рения объекта derived_unit, посредством которого выражается частота.
EXPRESS-спеииФикаиия:
*)
ENTITY frequency_unit
SUBTYPE OF (derived_unit);
WHERE
WR1:derive_dimensional_exponents(SELF) = dimensions_for_si_unit
(si_unit__name.hertz);
END_ENTITY;
(*
Формальное положение:
WR1. Показатели степени основных физических величин СИ должны быть такие же, какие опре
делены для единицы герц в стандартах серии ИСО 80000.
19.4.33 Объект global_unit_assigned_context
Объект global_unit_assigned_context является таким подтипом объекта representation_context,
посредством которого задаются единицы измерения, применяемые к значениям типов, входящих в спи
сок выбора выбираемого SELECT типа данных measure_value.
Примечание — Пример применения данного объекта см. в F.4.6 (приложение F).
EXPRESS-специФикация:
*)
ENTITY global_unit_assigned_context
SUBTYPE OF (representation__context);
units :SET[1:?] OF unit;
END_ENTITY;
(*
Определение атрибута:
units — набор объектов unit, представляющих единицы измерения, применяемые в представлен
ном настоящим объектом контексте представления.
Неформальное положение:
IP1. Каждый экземпляр представляющего единицу измерения объекта unit должен представлять
единицы измерения разной природы.
Примечание — Пример применения данного объекта см. в F.4.6 (приложение F).
19.4.34 Объект illuminance_measure_with_unit
Объект illuminance_measure_with_unit является таким подтипом объекта measure_with_unit,
в котором физической величиной является освещенность, как это определено в стандартах серии
ИСО 80000.
EXPRESS-специФикация:
*)
ENTITY illuminance_measure_with_unit
SUBTYPE OF (measure_with_unit);
WHERE
WR1: ’MEASURE_SCHEMA.ILLUMINANCE_UNIT’ IN
TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*
Формальное положение:
WR1. Роль наследуемого атрибута unit_component должен играть объект типа illuminance_unit.
157