ГОСТ Р ИСО 10303-59—2012
WR1: CSHAPE_DATA_QUALITY_CRITERIA_SCHEMA.’ +
■SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT
INTYPEOF(SELF’\shape_data_quality_criterion.
assessment_speciftcaiion.threshold))
AND (’MEASURE_SCHEMA.LENGTH_MEASURE’
IN value_limit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshokj));
WR2: validate_measured_data_type(SELF,
’MEASURE_SCHEMA.LENGTH_MEASURE’);
W R3: validate_inspected_elements_type(SELF,
fGEOMETRY_SCHEMA.B_SPLINE~CURVE’]):
WR4: validate_locations_of_extreme_value_type(SELF.
fSHAPE_DATA QUALITY_INSPECTION_RESULT_SCHEMA>
■B_SPLINE_CURVE_SEGMENT]):
W R5: validate_accuracy_types(SELF,
[’MEASURE_SCHEMA.LENGTH_MEASURE’]):
END_ENTITY;
г
Определение атрибута
SELF\shape_data_quality_criterion.assossment_specification — объект shape_data_quality_
assessment_by_numerical_test. который задает проверку на сравнение измеренной длины дуги с задан
ным продельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shapo_data_quality_upper_valuo_limit. атрибут
value_component которогодолжен быть экземпляром данных типа length_moasure (мера длины).
WR2: Атрибут reprosentative_moasured_value объекта shape_data_quality_inspoction_criterion_
report, атрибут measured_value объекта shape_data_quality_lnspectionJnstance_roport_item и атри
буты measured_value всех объектов extremeJnstance. на которые ссылается объект instance_report_
item_with_extrome_instances. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа longth_measure (мера длины).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта
shape_data_quality_inspection_instance_roport_item. связанных с настоящим объектом, должны быть
объектами типа b_spline_curve.
WR4: Во всех объектах lnstance_report_item_with_extremeJnstances. связанных с настоящим
объектом, во всех объектах типа extremejnstance, на которые ссылается объект instance_report_item_
with_extremeJnstancos. объекты, на которые ссылается атрибут locations_of_extreme_value, должны
быть объектами типа b_splino_curve_segment.
WR5: Если для данного измерения задана точность, то значение атрибута value_componontдолжно
быть значением типа length_measure (мера длины).
7.4.56 Объект small_area_surface_patch
Объект small_area_surface_patch представляет утверждение, что b-сплайновая поверхность, пред
ставленная объектом b_spline_surface, содержит лоскут слишком малой площади. Согласно требованию к
измерению, соответствующему настоящему объекту, необходимо вычислить наименьшую из площадей
лоскутов b-сплайновой поверхности, представленной объектом b_spline_surface. Полученная наимень
шая площадь при оценке должна сравниваться с заданным предельным значением.
EXPRESS-специФикация:
•)
ENTITY small_area_surface_patch
SUBTYPE OF(geometry_with_local_near_degeneracy);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment by_numencal_test;
WHERE
WR1 .(’SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.’ +■
’SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT
70