ГОСТ Р ИСО 10303-59—2012
EXPRESS-спецификация:
•)
ENTITY multiply_defmed_surfaces
SUBTYPE OF(multiply_defmed_geometry);
SELF\shape_data_qua!ity_criterion.assessment_specification:
shape_data_quality_assessment_by_numehcal_test,
WHERE
WR1: fSHAPE_DATA_QUALITY_CRITERIA SCHEMA.’ ♦
■SHAPE_DATA_QUAUTY_UPPER_VALUE_LIMIT
INTYPEOF(SELRshape_data_quality_criterion.
assessment_specification.threshokl)) AND
(’MEASURE_SCHEMA.LENGTH_MEASURE’
IN value_limit_type(SELRshape_data_quality_criterion.
assessment_speciftcatk>n.threshold)):
WR2: validate_measured data_type(SELF,
’MEASURE_SCHEMA.LENGTH_MEASURE’);
W R3:validate inspected_elements_type(SELF,
fGEOMETRY_SCHEMA.SURFACE’.’GEOMETRY_SCHEMA.SURFACE’]);
W R4:validate_k>cations_of_extreme_value_type(SELF.
0
);
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl):
END_ENTITY;
c
Определение атрибута
SELRshape_data_quality_criterion.asscssment_spocification— объект shape_data_quality_asses-
smont_by_numerical_test. который задает сравнение значения измеренного расстояния с заданным пре
дельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shapo_data_quality_uppcr_value_limit. атрибут
value_component которогодолжен быть экземпляром данных типа length_moasure (мера длины).
WR2: Атрибут ropresentative_measured_value объекта shape_data_quality_inspoction_criterion_
report и атрибут moasurcd_value объекта shape_data_quality_inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа longth_moasuro (мера
длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_
data_qualityJnspection_instance_report_item. связанных с настоящим объектом, должны быть двумя
экземплярами объекта типа surface.
WR4: Объект shapo_data_quality_inspection_instance_report_item. связанный с настоящим объек
том, недолжен быть объектом типа instance_report_item_with_extremeJnstancos.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно
бытьзначением типа length_moasure (мера длины).
7.4.74 Объект ovorlapping_geometry
Объект overlapping_goometry является таким подтипом объекта inapt_geometry, который является
супертипом для критериев, используемых для обнаружения частично перекрывающихся геометрических
объектов.
EXPRESS-спецификация:
•)
ENTITYover1apping_goometry
ABSTRACT SUPERTYPE OF (ONEOF(
partly_over1apping_curves,partty_overlapping_surfac8s))
SUBTYPE OF(inapt_geometry);
END_ENTITY.
r
89