ГОСТ Р ИСО 10303-59—2012
W R3.validateJocations_of_extreme_value_type(SELF.
[TOPOLOGY_SCHEMA.FACE_BOUND’]);
W R4:validate_accuracy_types(SELF,
FMEASURE_SCHEMA.LENGTH_MEASURE’]);
END_ENTITY;
(*
Определение атрибута
SELF\shapo_data_quality_criterion.assossment_specification — объект shape_ data_ quality_
assessment_by_logical_test. который задает проверку, существуетли внутренний контур, расположенный
за внешним контуром или внутридругого внутреннего контура, чтосоответствует результату проверки TRUE’
(истина), или не существует.
Формальные положения
WR1:Атрибут representative_measured_value объекта shape_data_quality_inspoction_criterion_
report, атрибут moasured_value объекта shape_data_quality_inspoctionjnstance_roport_item и атри
буты measured_value всех объектов extremeJnstance. на которые ссылается объект instanco_report_
item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа face.
WR3: Во всех объектах instance_report_itom_with_extromo_instances, связанных с настоящим
объектом, во всех объектах типа extremejnstance. на которые ссылается объект instance_ report_ item_
with_extremeJnstancos. объекты, на которые ссылается атрибут locations_of_extreme_value. должны
быть двумя объектами face_bound. представляющими границы граней, расположение которых
неверно.
WR4: Если для данного измерения задана точность, то значение атрибута range должно быть значе
нием типа length_measure (мера длины).
7.4.30 Объект orronoous_manifold_solid_brep
Объект erronoous_manifold_solid_brep — это такой подтип объекта erronoous_data. который
является супертилом критериев для обнаружения математически неверных манифодд-твердых тел с гра
ничным представлением, представленных объектами manifold_solid_brep.
EXPRESS-cneundwKauHH:
•)
ENTITYerroneous_manifold_solkl_brep
ABSTRACT SUPERTYPE OF (ONEOF(
intersecting_shells_in_solid,
wrongly_p!aced _void,
wrongly_oriented_void.
solid_with_wrong_number_of_voids))
SUBTYPE OF(erronoous_data);
END_ENTITY;
(*
7.4.31 Объект intersecting_shells_in_solid
Объект intersecting_shells_in_solid представляет утверждение, что существует одно или более пе
ресечений между замкнутыми оболочками, представленными объектами closed_shells. входящими в гра
ничное твердое тело с пустотами, представленное объектом brep_with_voids. Согласно требованию к из
мерению. соответствующему настоящему объекту, необходима проверка наличия пересечений входящих в
граничное твердое тело с пустотами пар замкнутых оболочек, представленных объектами closed_shell.
Если расстояние между точкой на одной оболочке и точкой на другой оболочке меньше, чем значение
атрибута interforence_tolerance, то такой случай должен распознаваться как пересечение.
П р и м е ч а н и е — На рисунке 13 показан случай, когда пустота пересекает внешнюю замкнутую оболочку.
Это типичный случай, который обнаруживается в соответствии с данным критерием.
46