ГОСТ Р ИСО 10303-59—2012
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shapo_data_quality_lower_value_limit. атрибут
value_componont которогодолжен быть экземпляром данных типа count_measure (счетная мора).
WR2: Атрибут ropresentative_measured_value объекта shape_data_ quality_inspection_criterion_
report и атрибут measured_value объекта shape_data_quality_inspoction_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа count_measure (счетная
мера).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта
shape_data_quality_inspectionJnstance_reportJtem. связанных с настоящим объектом, должны быть
объектами типа vertex_point.
WR4: Связанный с настоящим объектомобъект shape_data_quality_inspection_instance_report_item
не должен быть объектом типа instance_roport_item_with_extremejnstancos. поскольку указание в
отчете о проверке выходящих за пределы значений не имеет смысла.
WR5: Настоящий объект недолжен бытьсвязан посредством объектов shape_data_quality_criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_
quality_inspection_rosult. соответствующий настоящему объекту, также не должен быть связан посред
ством объекта shape_inspoction_rosult_accuracy_association с какими-либо элементами данных, задаю
щими точность.
7.4.40 Объект free_edge
Объект freo_edge представляет утверждение, что связный набор граней, представленный объектом
connocted_face_sot. содержит одно или более ребер, на которые существует только одна ссылка из
грани.
П р и м е ч а н и я
1 Если объект connected_face_set является объектом closed_shell. то нарушение этого критерия означает,
что форма ошибочна. Следовательно, такой случай должен обнаруживаться с помощью критерия, представлен
ного объектом open_closed_shell. который является подтипом объекта erroneous_topology
2 С помощью этого критерия обнаруживаются открытые оболочки, которые по замыслу должны быть
замкнутыми твердыми телами. Часто такие оболочки появляются в результате ошибок при трансляции замкнутых
твердых теп. С помощью критерия open_closed_shell не могут быть обнаружены оболочки, представленные
объектом, не являющимся объектом closed_shell.
3 Если настоящую проверку выполнить для открытой оболочки, представляющей лист, не имеющий
толщины, будут обнаружены ребра, представляющие внешнюю границу листа и ребра, представляющих внутрен
ние отверстия. Такие ребра не являются несоответствующими.
Согласно требованию к измерению, соответствующему настоящемуобъекту, необходимо, чтобы было
выполнено измерение всех ребер, представленных объектами edge, относящимися к представленным
объектами face граням связного набора граней, представленного объектом connectod_face_set. для того
чтобы установить, что на ребро, представленное объектом edge, есть только одна ссылка из грани, пред
ставленной объектом face.
EXPRESS-специФикация:
’ )
ENTITYfree_edge
SUBTYPE OF(inapt_topology);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_logical_test;
WHERE
WR1: validate_measured_data_type(SELF,
,SHAPE_DATA_QUALITYJNSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE’);
W R2:validate_inspected_elements type(SELF.
[TOPOLOGY_SCHEMA.CONNECTED_FACE_SEr]);
W R3.validate_k>cations_of_extreme_value_type(SELF.
[’TOPOLOGY_SCHEMA.EDGE_CURVE’]),
W R4: validate_accuracy_types(SELF,
П):
W R5: SIZEOF(QUERY(sdqr <* bag_to_set(USEDIN(SELF,
55