ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикация:
*)
TYPE positive_plane_angle_measure = plane_angle_measure;
WHERE
WR1: SELF > 0.0;
END_TYPE;
(*
Формальное положение:
WR1. Значение должно быть положительным.
19.3.33 Тип данных positive_ratio_measure
Тип данных positive_ratio_measure основан на представляющем меру длины типе данных
length_measure с дополнительным ограничением, заключающимся в том, что значение настоящего
типа должно быть положительным.
EXPRESS-специФикаиия:
*)
TYPE positive_ratio_measure = ratio_measure;
WHERE
WR1: SELF > 0.0;
END_TYPE;
(*
Формальное положение:
WR1. Значение должно быть положительным.
19.3.34 Тип данных power_measure
Посредством значений типа power_measure представляется величина мощности, или скорости
выполнения работы.
EXPRESS-спеииФикация:
*)
TYPE power__measure = REAL;
END_TYPE;
(*
19.3.35 Тип данных pressure_measure
Посредством значений типа pressure_measure представляется величина давления.
EXPRESS-спеииФикация:
*)
TYPE pressure_measure = REAL;
END_TYPE;
(*
19.3.36 Тип данных radioactivity_measure
Посредством значений типа radioactivity_measure представляется величина радиоактивного
распада.
EXPRESS-спеииФикация:
*)
TYPE radioactivity_measure = REAL;
END_TYPE;
(*
19.3.37 Тип данных ratio_measure
Посредством значений типа ratio_measure представляется величина отношения между двумя
физическими величинами одного вида.
141