ГОСТ РИС010303-507—2009
Формальные утверждения
WR1 — элементы item из geomotrically_bounded_surface_shape_reprosentation должны быть объек
тами geometric_set, mappedjtem или axis2_placemont_3d.
П р и м е ч а н и е — Объект axis2_placement_3d является допустимым объектом mappedjtem.map-
ping_target. Чтобы добавить еще один объект representation в список элементов item объекта geomet-
rically_bounded_surface_shape_representation (см. утверждение WR3 по поводу допустимых объектов
mapped_item). объект mapped_item.mapping_source.mapping_origin может быть любым объектом, который гео
метрически определен в объекте geometric_representation_context объекта mapped_representation. Если этот
объект является объектом axis2_placement_3d. то оператор, отображающий объект mapped_representation на
объект geometrically_bounded_surface_shape_representation. соответствует матрице преобразования, в кото
рой разрешены только перемещение и вращение. Если объект cartesian_transformation_operator_3d использу
ется в качестве объекта mapping_origin. то возможны операции масштабирования и зеркалирования.
WR2 — по крайней мере, один из элементов item в объекте goometrically_bounded_surfa-
ce_shape_ropresentation должен бытьобъектом goometric_setлибообъектом mappedjtem.
WR3 — если объект geometrically_bounded_surface_shape_representation содержит объект
mappedjtem. то объект mapped_representation из объекта mapping_source должен быть объектом
geometrically_bounded_surface_shape_representation. который должен содержать, по крайней мере,
один объект geometric_set.
WR4 — каждый объект point из объектов element объекта geometric_set. являющегося одним из
элементов item объекта geometricallyJ>ounded_surface_shape_representation. должен бытьдопусти
мым объектом point.
WR5 — каждый объект curve из объектов element объекта geometric_set, являющегося одним из
элементов item объекта geometrically_bounded_surface_shape_representation. должен быть допусти
мым объектом curve.
WR6— каждый объектsurface изобъектов element объекта geometric_sot. являющегосяодним из
элементов item объекта geometrically_bounded_surface_shape_representation, должен бытьдопусти
мым объектом surface.
WR7 — по крайней мере, один из объектов element хотя бы одного объекта geometric_set, суще
ствующего среди элементов item объекта geometrically_bounded_surface_shape_representation. дол
женбытьобъектом surface.
Неформальные утверждения
IP1 — объект b_spline_curve недолжен содержать самопересечений.
IP2— объект composite_curve недолженсодержать самопересечений.
IP3— объект offset_curve_3d недолжен содержать самопересечений.
IP4 — объект b_spline_surface недолжен содержатьсамопересечений.
IP5 — объект offset_surface недолжен содержать самопересечений.
IP6 — геометрические объекты, которые используются исключительнодля определениядругих гео
метрических объектов, сами не должны содержаться в множествах элементов element объект geomet-
ric_set
4.3 Определения функций схемы aic_geometrically_bounded_surface
Ниже приведено описание функций, необходимых для формулировки ограничений для схемы
aic_geo-metrically_bounded_surface. Данные функции используются в спецификации объекта geomotri-
cally_bounded_surface_shape_representation.
4.3.1 Функция gbsf_check_point
Функция gbsf_check_point проверяет экземпляробъекта point на допустимостьв контекстеобъекта
geometrically_bounded_surface_shape_representation. Также проверяются все геометрические объек
ты. на которые ссылается данный экземпляр объекта point, например, объекты curve и surface. Если
существуют ссылки на объекты curve или surface, то вызываются функции gbsf_check_curve или
gbsf_check_surface соответственно. Рекурсивный процесс вызова этих функций заканчивается, когдатипы
объектов не ссылаются налюбые объекты point, curve или surface.
7