ГОСТ Р ИСО/ТС 10303-1004—2016
WR2. Количество координат, используемых для задания оси х. должно быть равно количеству
координат у точки, задающей начало представленной объектом Axis_placomont системы координат.
WR3. Координат, используемых для задания оси у. должно быть равно количеству координат у
точки, задающей начало представленной объектом Axis_placement системы координат.
Неформальные утверждения:
IP1. Векторным произведением объектов x_axis и y_axis не может быть нулевой вектор.
4.3.2 Прикладной объект Axis_placement_2d
Прикладной объект Axis_placement_2d является типом Axis_placoment.
EXPRESS-спеииФикаиия:
А)
ENTITY Axis_placement_2d
SUBTYPE OF (Axis_placement);
ENDJuNTITY;
<*
4.3.3 Прикладной объект Axis_placemont_3d
Прикладной объект Axis_placomont_3d является типом Axis_placoment.
EXPRESS-спеииФикаиия:
*J
ENTITY Axis_placement_3d
SUBTYPE OF (Axis_placeraent);
END_ENTITY;
<*
4.3.4 Прикладной объект Axis_placement_mapping
Объект Axls_placoment_mapping представляет преобразование геометрических координат, за
даваемое исходной системой координат, представленной объектом Axis_placemont. и получаемой в
результате преобразования конечной системы координат, представленной другим объектом Axis_
placement.
Обе системы координат, представляемые объектами Axis_placement. должны иметь одинаковую
размерность.
Преобразование должно вычисляться как изометрическое преобразование, отображающее:
- начало исходной системы координат в начало конечной системы координат:
- ось х исходной системы координат в ось х конечной системы координат;
- ось у исходной системы координат в ось у конечной системы координат.
П р и м е ч а н и е — По построению, определитель матрицы преобразования равен единице.
EXPRESS-спеииФикаиия:
*)
EN1ITY Axi8_placerr.enc_mappir.g;
source : Axis_place:nent;
target : Axis_placement;
WHERE
WR1: source\Axis_placement.dim - target\Axis_placemer.t .dim;
END_ENTITY;
( ’
Определения атрибутов:
source — объект Axis_placement. представляющий исходную систему координат при преобра
зовании:
target — объект Axis_placement. представляющий конечную систему координат при преобразо
вании.
Формальное утверждение:
WR1. Системы координат, представленные объектами Axis_placement. играющими роль атрибу
тов source и target, должны иметь одинаковую размерность.
4.3.5 Прикладной объект Cartesian_point
Объект Cartesian_point является таким подтипом объекта Dotailed_geometric_model_element,
посредством которого определяется точка, описываемая списком, содержащим до трех декартовых
координат.
5