ГОСТ Р ИСО 10303-511-2006; Страница 11

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ 12292-2000 Консервы рыбные с растительными гарнирами. Технические условия Canned garnished fish with vegetables. Specifications (Настоящий стандарт распространяется на консервы, изготовленные из сырой или термически обработанной рыбы с добавлением гарнира из овощей, бобовых, круп и макаронных изделий) ГОСТ Р 51849-2001 Продукция комбикормовая. Информация для потребителя. Общие требования Compound feed production. Information for consumer. General requirements (Настоящий стандарт распространяется на комбикормовую продукцию, реализуемую в оптовой и розничной торговле или изготовленную по заказу, и устанавливает общие требования к информации для потребителя. Настоящий стандарт разработан в соответствии с Законом Российской Федерации «О защите прав потребителей») ГОСТ Р 41.59-2001 Единообразные предписания, касающиеся официального утверждения сменных систем глушителей Uniform provisions concerning the approval of remplacement silencing systems (Настоящие Правила содержат положения об официальном утверждении систем глушителей или их элементов, устанавливаемых в качестве сменных деталей на один или несколько определенных типов транспортных средств)

Страница 11

Страница 1

Untitled document

ГОСТ Р ИСО 10303-511—2006

WR10: ((NOT (,AIC_TOPOLOGICALLY_BOUNDED_SURFACE.SWEPT_SURFACE’ IN

TYPEOF(face_geometry)))OR

((NOT (’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.POLYLINE’ IN

TYPEOF(face_geometry\swept_surface.swept_curve)))OR

(SIZEOF(face_geometry\swept_surface.swept_curve\poly1ine.points)

>= 3)))AND

(SIZEOF (QUERY (elp_fbnds <* QUERY (bnds <* bounds |

’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.EDGE_LOOP’ IN

TYPEOF(bnds.bound)) |

NOT(SIZEOF (QUERY (oe <* elp_fbnds.bound\path.edge_list |

(’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.POLYLINE’ IN

TYPEOF(oe\oriented_edge.edge_element\edge_curve.edge_geometry))

AND (NOT (SIZEOF (oe\oriented_edge.edge_elemont\

edge curve.edge_geometry\polyline.points) >= 3)))) =0))) =0);

END_ENTITY;

Формальные утверждения

WR1 — геометрия, используемая при определенииграни, должна бытьограниченной. Тип геомет

рии гранидолжен 6biTbelementary_surface. swept_surfaco или b_splino_surface.

WR2 — геометриявсехграничныхребергранидолжнабытьполностьюопределеначерезобъекты

edge_curve.

WR3 — типы линий, используемых для определения геометрии ребер, должны быть ограничены

типами line, conic, polyline. surface_curve или b_splines_curve.

WR4 — вершины, используемыепри определенииграни, должны иметь типvertex_pointс геомет

рией, определенной объектом cartesian_point.

WR5 — запрещено использование ориентированных путей при определении объектов edgejoop

объекта advanced_face.

WR6 — еслигеометрияграниимееттипswept_surfaco.тоиспользуемыйвееопределенииобъект

swept_curve должен бытьтипа line, conic, polyline или b_splines_curve.

WR7 — для любого объекта vertexJoop. используемого для ограничения грани, объект

loop_vortexдолжен иметь типvertex_point, агеометриядолжнабытьопределенапосредством объекта

cartesian_point.

WR8 — границы грани должны быть определены посредством объектов либо edgejoop. либо

vertexjoop.

WR9 — если объект surfaco_curve используется как часть границы грани, то атрибут объекта

associatod_geometry долженссылаться наобъекты pcurve. но нена объекты surface.

WR10 — если объект polyline используется либо для определения объекта swept_surface. либо

какчасть границы грани, то он должен содержать, покрайней мере, три точки.

Неформальное утверждение

IP1 — любой экземпляр объекта advanced_face. который имеет геометрию полной сферической

поверхности (объект spherical_surface). должен быть ограничен посредством объекта vertexjoop,

расположенногов точке, гдеосьZ системы координат выходитза пределы поверхностисферы (тоестьв

точке «Северный Полюс» сферы).

EXPRESS-специФикаиия

END_SCHEMA; - конец схемы AIC_TOPOLOGICALLY_BOUNDED_SURFACE