ГОСТ Р ИСО/ТС 10303-1004—2016
EXPRESS-слециФикация:
*}
ENTITY C a rte sia n_p oir.t
SUBTYPE OF <D etailed_geom etric_m odel_elem ent);
coordinates : LIST[L:3] OF length_m easure;
ENU_ENT1TY;
(* ’
Определение атрибута:
coordinates — список, содержащий до трех значений мер длины (экземпляры данных типа
length_measure). задающих декартовы координаты точки.
4.3.6 Прикладной объект Cartosian_transformation_2d
Объект Cartesian_transformation_2d является подтипом объекта Detailed_geometric_modol_el-
ement. Посредством настоящего объекта с использованием матрицы поворота 2*2 и декартовой точки
задается определение 2-мерного пространства.
Пусть:
М — матрица поворота 2*2 декартового преобразования;
А — точка начала декартового преобразования.
Р — точка в геометрическом пространстве:
Q — результат применения преобразования к точке Р. тогда координаты точки Q могут быть полу
чены по формуле: Q = М*Р ♦ А.
EXPRESS-слециФикация:
*>
ENTITY C a rtesian_trar.sform ation_2d
SUBTYPE OF (D etailed_geom etric_m odel_elem er.t) ;
m u ltip Iic a tio n _ m a trix : ARRAY[1 :2 ] OF d ire c tio n ;
tra n s la tio n : C a rte sia n _ p o ir.t;
WHERE
WR1: S I2E O F < .*nultiplication_niatrix (1) \D ire c tio n . coo rdinates) -2 ;
WR2: SI2EOF < .n u ltip lic a tio n _ m a trix [2] \D ire c tio n . coo rdinates) -2 ;
WR3: S I2 E O F < tra n sla tio n .co o rd in a te s)-2 ;
END_EMTITY;
<*
Определения атрибутов:
multiplication_matrix — массив, состоящий из двух представляющих единичные векторы объек
тов Direction, которые задают матрицу поворота при преобразовании:
translation — представляющий декартову точку объект Cartesian_point. задающий положенно в
пространстве результата применения матрицы поворота к исходному геометрическому пространству.
Формальные утверждения:
WR1. Первый элемент определяющего матрицу поворота массива должен ссылать на 2-мерный
вектор, представляемый объектом Direction.
WR2. Второй элемент определяющего матрицу поворота массива должен ссылать на 2-мерный
вектор, представляемый объектом Direction.
WR3. Точка, задающая смещение, должна иметь 2 координаты.
4.3.7 Прикладной объект Cartesian_transformation_3d
Cartesian_transformation_3d является таким подтипом объекта Detailed_goometric_model_ele-
ment. который представляет геометрическое преобразование, заданное в 3-мерном пространстве по
средством матрицы 3*3 и декартовой точки.
Пусть:
М — матрица поворота 3*3 декартового преобразования;
А — точка начала декартового преобразования.
Р — точка геометрического пространства.
Q — результат применения преобразования к точке Р.
тогда координаты точки Q могут быть получены по формуле: Q = М*Р + А.
EXPRESS-слециФикация:
*>
ENTITY C artesian_transform ation_3d
6