ГОСТ Р ИСО 10303-59—2012
EXPRESS-спеаификация:
•)
ENTITY selfJntersecting_loop
SUBTYPE OF(topok>gy_relatodjo_selfJntersecting_geometry):
SELF\shape_data_quality_criterion.assessment_specification:
shapG_data_quality_assessment_by_logical_test;
arc_length_distance_factor: REAL;
interferenceJolerance:length_measure;
WHERE
WR1: validate_measured_data_type(SELF,
■SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE‘);
W R2:validateJnspected_elements_typG(SELF,
(TOPOLOGY_SCHEMA.EDGE_LOOP’]);
W R3:validate k>cations_of_extreme_valuejype(SELF.
fSHAPE_DATA_QUALITY INSPECTIONJ*ESULT_SCHEMA>
•POINT_ON_EDGE_CURVE\
’SHAPE_DATA Q U ^ITY INSPECTIONJRESULT SCHEMA.’*
’POINT_ON_EDGE_CURVE’]);
W R4: validate_accuracy_types(SELF.
fMEASURE_SCHEMA.LENGTH_MEASUREl):
END_ENTITY.
(*
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_spocification — объект, который задает проверку
существования пересечения, что соответствует значению TRUE’ (истина), или отсутствия пересечения;
arc_length_separation_factor — вещественное число, используемое при обосновании самопере
сечения. Две совпадающие точки должны рассматриваться как точка самопересечения, если значение
расстояния между точками, измеренное по дуге, принадлежащей контуру ребер, представленному
объектом edgejoop. больше, чем значение, получаемое по следующей формуле; (intorference_
tolerance)(arc_length_separation_factor);
intorforence_tolorance — допуск, используемый при проверке точек на совпадение.
Формальные положения
WR1:Атрибут representative_measured_value объекта shape_data_quality_inspoction_criterlon_
report, атрибут measured_value объекта shape_data_qualityjnspoctionjnstance_reportjtem и атри
буты measurod_value всех объектов extreme„instance, на которые ссылается объект instance_report_
item_with_extrome_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2; Все объекты, играющие роль атрибута inspectod_elemonts во всех экземплярах объекта
shape_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа edgejoop.
WR3; Во всех объектах instance_reportJtem_with_extremoJnstances, связанных с настоящим
объектом, во всех объектах типа extremeJnstance. на которые ссылается объект instanco_reportJtem_
with_extremejnstances, оба объекта, на которые ссылается атрибут locations_of_extreme_value,
должны быть объектами типа point_on_edge_curve.
П р и м е ч а н и е — Эти две точки на реберных кривых, представленные объектами point_on_edge_curve.
расположены друг от друга на расстоянии, не превышающем значения атрибута interferencejolerance. но соеди
няющая эти точки длина дуги реберного контура, представленного объектом edgejoop, достаточно велика.
WR4; Если для данного измерения задана точность, то значение атрибута value_componentдолжно
быть значением типа length_measure (мера длины).
7.4.93 Объект selfJntersecting_shell
Объект selfJntorsecting_shell представляет утверждение, что связный набор граней, представлен
ный объектом connocted_face_set. имеющий форму открытой или замкнутой оболочки, является самопе-
ресекающимся. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо
выполнить измерение, при которомдолжны обнаружиться точки на представленном объектом connected_
face_set связном наборе граней, которые находятся друг отдруга на расстоянии, не превышающем значе-
105