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

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

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

ГОСТ 9382-78 Одеяла чистошерстяные и полушерстяные. Общие технические условия Woollen and half-woollen blankets. General requirements (Настоящий стандарт распространяется на чистошерстяные и полушерстяные одеяла бытового назначения. Стандарт не распространяется на одеяла военного ассортимента) ГОСТ 23259-78 Мрамор. Правила приемки. Методы отбора и подготовки проб для испытаний Marble. Reception rules. Methods of sampling and sample preparation for laboratory testing (Настоящий стандарт распространяется на естественный мрамор в виде порошка, крошки, кусков и устанавливает правила его приемки и методы отбора и подготовки проб для химического анализа и физических испытаний) ГОСТ 23212-78 Блоки универсальных штампов для обрезки. Технические условия Units of versatile press tools for clipping. Specifications (Настоящий стандарт распространяется на блоки универсальных штампов для обрезки облоя и пробивки отверстий на однокривошипных закрытых прессах простого действия с номинальными усилиями от 1600 до 4000 кН (от 160 до 400 т с) с основными параметрами и размерами по ГОСТ 10026-75)

Страница 14

Страница 1

Untitled document

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

EXPRESS-спсцификация

‘ )

ENTITY draughting_subfigure_representalion

SUBTYPE OF (symbol_representation);

WHERE

WR1: SIZEOF (QUERY (item <* SELFVrepresentation.items J

NOT (SIZEOF ([’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_OCCURRENCE\

AIC_DRAUGHTING_ANNOTATION.DRAUGHTING_CALLOUT’,

’GEOMETRY_SCHEMA.AXIS2_PLACEMENT]

‘ TYPEOF (item)) = 1») = 0;

WR2: SIZEOF (QUERY (item <* SELRrepresentation.items |

SIZEOF ([’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_OCCURRENCE\

AIC_DRAUGHTING_ANNOTATION.DRAUGHTING_CALLOUT’] *

TYPEOF (item)) = 1)) >= 1;

WR3: SIZEOF (QUERY (srm <* QUERY (rm <*

USEDIN (SELF, ’REPRESENTATION_SCHEMA.’ ♦

•REPRESENTATION_MAP.MAPPED_REPRESENTATION’)|

(,AIC_DRAUGHTING_ANNOTATION.SYMBOL_REPRESENTATION_MAP‘

IN TYPEOF(rm))) |

NOT (SIZEOF (QUERY (a_s <* QUERY (mi <* srm.map_usage |

fAIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL’ IN TYPEOF(mi)))

| NOT (SIZEOF (QUERY (aso <*

USEDIN (a_s, ’PRESENTATION_APPEARANCE_SCHEMA.’ +

’STYLED_ITEM.ITEM’) |

NOT (’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SUBFIGURE_OCCURRENCE’

IN TYPEOF(aso)))) = 0))) = 0))) > 0;

WR4: NOT (acyclic_mappedjtem_usage (SELF));

WR5: SIZEOF (SELF.context_of_items.representations_in_context) = 1;

END_ENTITY;

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

WR1 — элементами items объекта draughting_subfigure_ropresentation должны быть объекты

annotation_occurrence. draughting_callout или axis2_placemont.

WR2 — покрайнеймереоднимизэлементовitemsобъектаdraughting_-

subfigure_representation должен быть объект annotation_occurrence или draughting_callout.

WR3 — объект draughting_subfigure_representation должен быть определением, по крайней

мере, одного объекта annotation_subfigure_occurrence.

WR4 — объект draughting_subfigure_representation не должен быть источником какого-либо

объекта mappedjtem. который задействован в его определении.

WR5 — объект representation_context объекта draughting_subfigure_representation не должен

быть контекстом какого-либо другого объекта representation.

4.2.4 Объект draughting_symbol_reprcsentation относится к типу symbol_representation. Внем

собираются объекты annotation_curve_occurence, annotation_symbol_occurrence. annotation_-

text_occurrence и annotation_fill_area_occurrence для формирования определения символа.

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

ENTITY draughting_symbol_representation

SUBTYPE of (symbol_representation);

UNIQUE

UR1: SELF\representation.name;

WHERE