ГОСТ Р ИСО 10303-59—2012
EXPRESS-спецификация:
*)
ENTITY r>earty_degenorate_surface_patch
SUBTYPE OF(geomotry_with_local_near_degeneracy);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numerical_test,
WHERE
WR1: (’SHAPEJ5ATA_QUAUTY_CRITERIA_SCHEMA.’ ♦
•SHAPE_DATA_QUALITY_VALUE_RANGE’
INTYPEOF(SELRshape_data_quality_criterion.
assessment_speciftcation.threshold))
AND (’MEASURE_SCHEMA.LENGTH_MEASURE’
IN value_limit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshold));
WR2: validate_measured_data_type(SELF,
’MEASURE_SCHEMA.LENGTH_MEASURE’).
W R3:validate_inspected_elements_type(SELF,
fGEOMETRY_SCHEMA.B_SPLINE_SURFACED,
W R4.validate_locations_of_
0
xtreme_value_type(SELF.
fSHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.’+
•B_SPLINE_SURFACE_PATCH]);
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl):
END_ENTITY;
r
Определение атрибута
SELRshape_data_quality_criterion.assessmont_specification — объект shape_data_quality_
assessmont_by_numerical_test. который задает проверку на сравнение значения измеренной длины с
заданным предельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_value_range. атрибут
value_component которогодолжен быть экземпляром данных типа longth_measure (мера длины).
WR2: Атрибут representative_measured_valuo объекта shapo_data_ quality_inspection_criterion_
report, атрибут measured_value объекта shape_data_qualityjnspoctionjnstance_report_item и атри
буты measured_value всех объектов extremeJnstance. на которые ссылается объект instance_roport_
item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа length_measure (мера длины).
WR3: Все объекты, играющие роль атрибута inspocted_elements во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа b_spline_surface.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим
объектом, во всех объектах типа extremejnstance, на которые ссылается объект instance_report_item_
with_oxtremo„instances, объекты, на которые ссылается атрибут locations_of_extreme_value. должны
быть объектами типа b_splino_surface_patch.
WR5: Если для данного измерения задана точность, то значение атрибута valuo_componentдолжно
быть значением типа length_measure (мера длины).
7.4.64 Объект goomotry_withjocal_irrogularity
Объект geometry_with_local_lrregularity является таким подтипом объекта inapt_goometry. кото
рый является супертипом для критериев, используемых для обнаружения геометрическихданных, имею
щих локальные несоответствующие характеристики.
EXPRESS-спецификация:
*)
ENTITY geometry_withJocalJrregularity
ABSTRACT SUPERTYPE OF (ONEOF(
extreme_patch_width_variation.
79