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

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

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

Страница 12

Страница 1

Untitled document

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

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

WR16:~ стиль кривой имеет ширину:

SIZEOF (QUERY (cs <* QUERY (sty <* SELF.styies |

(’AIC_DRAUGHTING_ANNOTATION.CURVE_STYLE’ IN TYPEOF (sty.styles(1])))

| NOT ((’AIC_DRAUGHTING_ANNOTATION.LENGTH_MEASURE_WITH_UNIT’

IN TYPEOF (cs.styles(1]\curve_style.curve_width)) AND

(•MEASURE_SCHEMA.POSITIVE_LENGTH_MEASURP

IN TYPEOF (cs.styles[1]\curve_style.

curve_width\measure_with_unit.value_component))))) = 0;

WR17:- ограничения на ячейку заливки:

SIZEOF (QUERY (fas <* QUERY (sty <* SELF.styies |

(’AIC_DRAUGHTING_ANNOTATION.FILL_AREA_STYLE’

IN TYPEOF (sty.styles[1)))) |

NOT ((SIZEOF (QUERY (fs <* fas.styles[1J\fill_area_style.fill_styles

| (’AIC_DRAUGHTING_ANNOTATION.FILL_AREA_STYLE_TILES‘

IN TYPEOF (fs)))) <= 1)

AND (SIZEOF (QUERY (fst <* QUERY (fs <*

fas.styles[1]\fill_area_style.fill_styles |

CAIC_DRAUGHTING_ANNOTATION.FILL_AREA_STYLE_TILES’

IN TYPEOF (fs))) |

NOT (SIZEOF (fstVfill_area_style_tiles.tiles) = 1)

)) =

))

)) =

WR18:- ограничения на штриховку:

SIZEOF (QUERY (fas <* QUERY (sty <* SELF.styies |

fAIC_DRAUGHTING_ANNOTATION.FILL_AREA_STYLE’

IN TYPEOF (sty.styles[1)))) |

NOT (SIZEOF (QUERY (fsh <* QUERY (fs <*

fas.styles[1 )\fill_aroa_style.fill_styles |

CAIC_DRAUGHTING_ANNOTATION.FILL_AREA_STYLE_HATCHING’

IN TYPEOF (fs))) |

NOT (fsh\fill_area_style_hatching.point_of_reference_hatch_line :=:

fsh\fill_area_style_hatching.pattern_start))) = 0))) = 0;

- ограничение на стиль текста:

- характеристики стиля текста:

VVR19:

SIZEOF (QUERY (ts <‘ QUERY (sty <* SELF.styies |

(’AIC_DRAUGHTING_ANNOTATION.TEXT_STYLE’

IN TYPEOF(sty.styles[1 ]))) |

NOT (•AIC.DRAUGHTING.ANNOTATION.1+

’TEXT_STYLE_WITH_BOX_CHARACTERISTICS’

IN TYPEOF (ts.styles[1 ])))) = 0:

WR20:

SIZEOF (QUERY (ts <* QUERY (sty <* SELF.styies |

(’AIC_DRAUGHTING_ANNOTATION.TEXT_STYLE_WITH_BOX_CHARACTERISTICS’

IN TYPEOF (sty.styles[1]))) |

NOT (SIZEOF (ts.styles[1]\text_style_with_box_characteristics.

characteristics) = 4))) = 0;

END_ENTITY;

(‘

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

WR1 — каждыйобъект draughtingannotationoccurronce,которыйотноситсяктипу

annotation_curve_occurrence. должен иметь точно один стиль, которым является curve_style.

WR2 — каждыйобъект draughting_annotation_occurronce,которыйотноситсяктипу

annotation_fill_area_occurrence, должен иметь точно один стиль, которым является fill_area_style.