ГОСТ Р ИСОП-С 10303-1004—2010
EXPRESS-спеиификаиия:
•)
ENTITY Axis_placement
SUPERTYPE OF (ONEOF (Axis_placement_2d.
Axis_placement_3d))
SUBTYPE OF (Detailed_geonretric_model_element):
origin : Cartesian_point;
x_axis : Direction:
y_axis : Direction;
DERIVE
dim : INTEGER := SIZEOF(origin.coordinates):
WHERE
WR1: dim >1;
WR2: dim = SIZEOF(x_axis.coordinates);
WR3: dim = SIZEOF(y_axis.coordinates):
END_ENTITY;
(*
Опооаепония атрибутов
origin — объект Cartesian_point, определяющий положение объекта Axis_placement в геометри
ческом пространстве;
x_axis — объект Direction, определяющий первую ось объекта Axis_placement;
y_axis — объект Direction, определяющий вторую ось объекта Axis_placement;
dim — размерность объекта Axis_placement. равная числу координат координатной системы.
Формальные утверждения
WR1 — размерность объекта Axis_placement должна быть больше 1.
WR2 — число координат оси хдолжнобыть равночислу координат координатной системы объекта
Axis_placement.
WR3 — число координат оси у должно быть равночислу координат координатной системы объекта
Axis_placement.
Неформальное утверждение
IP1 — результатом векторного произведения x_axis и y_axis не может быть нулевой вектор.
4.3.2 Объект Axis_placement_2d
Объект Axis_placement_2d является подтипом объекта Axis_placement.
EXPRESS-спеииФикаиия:
*)
ENTITY Axis_placement_2d
SUBTYPE OF (Axis_placement);
END_ENTITY;
C
4.3.3 Объект Axis_placement_3d
Объект Axis_placement_3d является подтипом объекта Axis_placement.
EXPRESS-спеииФикаиия:
’)
ENTITY Axis_placement_3d
SUBTYPE OF (Axis_placement);
END_ENTITY;
Г
5