ГОСТ Р ИСО 10303-59—2012
W R4: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl):
END_ENTITY;
Г
Определения атрибутов
SELRshapo_data_quality_criterion.assossmont_specification — объект shape_data_quality_
assessment_by_logical_test. который задает проверку, является ли поверхность полностью узкой, что
соответствует значению TRUE’ (истина), или не является;
width_tolerance — значение допуска, используемого для проверки, является или не является по
верхность узкой.
Формальные положения
WR1:Атрибут representative_measured_value объекта shapo_data_quality_inspcction_criterion_
report и атрибут measured_value объекта shape_data_quality_inspection_lnstance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа booloan_value (булево
значение).
WR2: Все объекты, играющие роль атрибута inspocted_elements во всех экземплярах объекта
shape_data_quality_inspection_instance_reportJtem. соответствующих настоящему объекту,должны быть
объектами типа bounded_surface.
WR3; Объект shape_data_qualityjnspection_instance_roport_item, связанный с настоящим объек
том. недолжен быть объектом типа instance_roport_item_with_extreme_instances.
WR4: Если для данного измерения задана точность, то значение атрибута value_componontдолжно
быть значением типа length_measure (мера длины).
7.4.54 Объект geometry_with_local_near_degeneracy
Объект geometry_with_local_near_dogeneracy является таким подтипом объекта inapt_geometry,
который является супертипом для критериев, используемых для обнаружения геометрических данных,
имеющихлокальные бесконечно малые характеристики.
EXPRESS-спеаификация:
*)
ENTITY geometry_with local_near_degoneracy
ABSTRACT SUPERTYPE OF (ONEOF(
curve_with_small_curvature_radius.
short_length_ajrve_segment
surface_with_small_curvature_radius.
small_area_surface_patch.
narrow_surface_patch.
indtsti nct_surface_knots.
indistinct_curve_knots,
nearly_degenerate_surface_boundary,
nearly_degenerate_surface_patch))
SUBTYPE OF(inapt_geometry);
END_ENTITY;
r
7.4.55 Объект short_length_curve_sogment
Объект short_length_curve_segment представляет утверждение, что b-сплайновая кривая, представ
ленная объектом b_spline_curve. имеет узловой интервал, длина дуги которого слишком коротка. Соглас но
требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение,
включающее вычисление наименьшей из длин дуг узловых интервалов b-сплайновой кривой, представ
ленной объектом b_spline_curvo. Полученное значение при оценке должно сравниваться с заданным пре
дельным значением.
EXPRESS-специФикация:
•)
ENTITY shortJength_curve_segment
SUBTYPE OF(geometry_withJocal_near_degeneracy);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numerical_test,
WHERE
69