ГОСТ Р ИСО 10303-59—2012
IN TYPEOF(SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.AREA_MEASURE’
IN value_limit_type(SELF\shape_data_quality_criterion.
assessment_specificat>on.threshold)):
W R2:validate_measured_data_type(SELF,
’MEASURE_SCHEMA.AREA_MEASURE’);
W R3: validate_inspected_elements_type(SELF,
fGEOMETRY_SCHEMA.B_SPLINE_SURFACEl),
W R4:validate_k>cations_of_extreme_value_type(SELF.
pSHAPE_DATA_QUALlfv’JNSPECTION_RESULT_SCHEMA.’+
•B_SPLINE_SURFACE_PATCFT]);
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.AREA_MEASUREl);
END_ENTITY:
Г
Определение атрибута
SELRshape_data_quality_criterion.assossment_specification — объект shape_data_quality_assos-
sment_by_numerical_test, который задает проверку на сравнение измеренной площади с заданным пре
дельным значением.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_spocification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_value_limit. атрибут
value_component которогодолжен быть экземпляром данных типа area_measure (мера площади).
WR2: Атрибут representative_m easured_value объекта shapo_data_quality_inspection_
criterion_report. атрибут moasured_value объекта shape_data_quality_inspection_instance_report_item
и атрибуты measured_value всех объектов extrem ojnstance. на которые ссылается объект instance_
reportjtem_with_oxtreme_instancos. во всех экземплярах, связанных с настоящим объектом, должны
иметь значение типа area_moasure (мера площади).
WR3: Все объекты, играющие роль атрибута inspocted_elements во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_itom. связанных с настоящим объектом, должны быть
объектами типа b_spline_surface.
WR4: Во всех объектах instance_report_itom_with_extremo_instances. связанных с настоящим
объектом, во всех объектах типа oxtromejnstance. на которые ссылается объект instance_reportJtem_
with_extreme_instances. объекты, на которые ссылается атрибут locations_of_extremo_value. должны
быть объектами типа b_spline_surface_patch.
WR5: Если для данного измерения задана точность, то значение атрибута value_componontдолжно
быть значением типа arca_measure (мера площади).
7.4.57 Объект narrow_surfaco_patch
Объект narrow_surface_patch представляет утверждение, что b-сплайновая поверхность, представ
ленная объектом b_spline_surface, имеет слишком узкий размер для одного узлового интервала. Лоскут
поверхности является узким, если для любой точки лоскута существует точка на границе лоскута,
расстояние до которой не превышает половины допуска расстояния. Согласно требованию к измерению,
соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление
вышеописанного расстояниядля достаточного числа точек лоскута при вычислении, удовлетворяющем
заданной точности.
EXPRESS-специФикация:
’)
ENTITY narrow_surface_patch
SUBTYPE OF(geomotry_with_local_near_degeneracy);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_logical_test;
width_tolerance. Iength_measure;
WHERE
71