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

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

Ещё ГОСТы из 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)

Страница 15

Страница 1

Untitled document

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

WR1:

SIZEOF (QUERY (item <* SELRrepresentation.items |

NOT (SIZEOF (TYPEOF (item) *

FAIC_DRAUGHTING_ANNOTATION.ANNOTATION_CURVE_OCCURRENCE’,

■AIC_DRAUGHTING_ANNOTATlON.ANNOTATION_SYMBOL_OCCURRENCE\

’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_FILL_AREA_OCCURRENCE’,

•AIC_DRAUGHTING_ANNOTATION.ANNOTATION_TEXT_OCCURRENCE’.

•GEOMETRY_SCHEMA.AXIS2_PLACEMENT)) = 1)

)) = 0;

WR2:

SIZEOF (QUERY (item <* SELRrepresentation.items |

(SIZEOF (TYPEOF (item) *

[’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_CURVE_OCCURRENCE’,

’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL_OCCURRENCE\

’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_FILL_AREA_OCCURRENCE\

’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_TEXT_OCCURRENCE’]) = 1)

)) >= 1;

WR3:

SIZEOF (QUERY (item <* SELRrepresentation.items |

’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SUBFIGURE_OCCURRENCE’

IN TYPEOF (item))) = 0;

WR4:

SIZEOF (QUERY (srm <* QUERY (rm <*

USEDIN (SELF. ’REPRESENTATION_SCHEMA.’ +

’REPRESENTATION_MAP.MAPPED_REPRESENTATION’)|

(’REPRESENTATION_SCHEMA.SYMBOL_REPRESENTATION_MAP’

IN TYPEOF(rm))) |

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

(’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL’ IN TYPEOF(mi))) |

NOT (SIZEOF (QUERY(aso <*

USEDIN(a_s. ’PRESENTATION_APPEARANCE_SCHEMA.’ ♦

’STYLEDJTEM.ITEM’) |

NOT (’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL_OCCURRENCE’

IN TYPEOF(aso))

)) = 0 ))) = 0))) > 0;

WR5:

NOT (acyclic_mapped_item_usage (SELF));

WR6:

SIZEOF (SELF.context_of_items.representations_in_context) = 1;

END_ENTITY;

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

UR1 — наименование объекта draughting_symbol_representatlon должно быть уникальным.

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

annotation_curve_occurrence. annotation_toxt_occurrence. annotation_symbol_occurrence, annota-

tion_fill_area_occurrenco или axis2_placemont.

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

должен быть объектом annotation_curve_occurrence. annotation_text_occurrence. annotation_-

symbol_occurrence или annotation_fill_area_occurrence.

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

annotation_subfigure_occurrence.

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

одного объекта annotation_symbol_occurrence.