ГОСТ Р ИСО 10303-59—2012
WR1: validate_measured_datajype(SELF,
’SHAPE_DATA_QUALITY INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE’):
W R2:validateJnspected_elementsJype(SELF,
rGEOMETRY_SCHEMA.B_SPLINE_SURFACE1);
W R3:validateJocations_of_extreme_valueJype(SELF.
rSHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA>
•B_SPLINE_SURFACE_PATCH1);
W R4: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASURE1):
END_ENTITY;
r
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification — объект shape_data_quality_asses-
sment_by_logical_tost. задающий проверку, существует ли некоторый лоскут, имеющий ширину менее
заданного допуска, что соответствует значению TRUE’ (истина), или не существует;
widthJolerance — значение допуска, используемое для оценки, является или не является лоскут
узким.
Формальные положения
WR1:Атрибут representative_measured_valuo объекта shape_data_quality_inspection_criterion_
report, атрибут moasurod_value объекта shape_data_quality_inspoctionJnstanco_roport_item и атри
буты measured_value всех объектов extrem ejnstance. на которые ссылается объект instance_roport_
itom_with_extremo_instances. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspectod_elemonts во всех экземплярах объекта
shape_data_quality_inspcction_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа b_spline_surface.
WR3; Во всех объектах instanco_report_item_with_extromo_instances, связанных с настоящим
объектом, во всех объектах типа extremejnstance. на которые ссылается объект instance_report_item_
with_extremejnstances. объекты, на которые ссылается атрибут locations_of_extromo_value. должны
быть объектами типа b_splino_surface_patch.
WR4: Если для данного измерения задана точность, то значение атрибута value_componont должно
быть значением типа length_moasure (мера длины).
7.4.58 Объект indistinct_curve_knots
Объект indistinct_curvo_knots представляет утверждение, чтодля b-сплайноеой кривой с явно за
данным вектором узлов, представленной объектом b_spline_curvo_with_knots. есть участок, где значе
ния смежных узлов слишким близки. Согласно требованию к измерению, соответствующему настоящему
объекту, необходимо выполнитьизмерение, включающее вычислениенаименьшей разности значений смеж
ных узлов b-сплайноеой кривой с явно заданным вектором узлов, представленной объектом b_splino_curve_
with_knots. Полученное значение должно при оценке сравниваться с заданным предельным значением.
EXPRESS-специФикация:
•>
ENTITY indistinct_curve_knots
SUBTYPE OF(geometry_withJocal_near_degeneracy);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numericaljest,
WHERE
WR1; (’SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.’+
•SHAPE_DATA_QUALITY_UPPER_VALUE_LIMir
INTYPEOF(SELF\shape_data_quality_criterion.
assessment_specifieation.threshold))
AND(’MEASURE_SCHEMA.PARAMETER_VALUE’
IN valueJimitjype(SELF\shape_data_quality_criterion.
assessment_specificatJon.threshold));
WR2 validate_measured_datajype(SELF,
72