ГОСТ Р ИСО 10303-59—2012
Формальные положения
WR1:Атрибут reprosentativG_measured_valuo объекта shape_data_quality_inspection_criterion_
report, атрибут measured_valuo объекта shape_data_quality_lnspection_instancG_reportJtem и атри
буты measured_value всех объектов extrom ejnstance. на которые ссылается объект instance_report_
item_with_extremeJnstances. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_valuG (булево значение).
WR2: Все объекты, играющие роль атрибута
inspected_elemonts
во всех экземплярах объекта
shapG_data_quality_inspGction_instance_report_item.
связанных с настоящим объектом, должны быть
объектами типа
connocted_face_set.
WR3: Во всех объектах lnstance_report_itom_with_extremo_instances. связанных с настоящим
объектом, во всех объектах типа extromejnstance. на которые ссылается объект instance_report_item_
with_extremoJnstancos. объекты, на которые ссылается атрибут locations_of_extreme_value. должны
быть объектами типа edge_curve. Это означает, что на реберную кривую, представленную объектом
edge_curve. существуют ссылки из трех или более граней, представленных объектом face.
WR4: Настоящий объект недолжен быть связан посредством объектов shape_data_quality_criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_
quality_inspection_rosult. соответствующий настоящему объекту, также не должен быть связан посред
ством объекта shapoJnspection_rosult_accuracy_association с какими-либо элементами данных, задаю
щими точность.
7.4.39 Объект over_used_vertex
Объект over_used_vertex представляет утверждение, что с вершиной, представленной объектом
vertex, соединено слишком много ребер, представленных объектами edge. Согласно требованию к изме
рению. соответствующему настоящему объекту, необходимо, чтобы для каждой вершины, представлен
ной объектом vertex, было подсчитано число соединенных с вершиной ребер, представленных объектами
edge, и полученное значение было сравнено с предельным значением, заданным для оценки.
EXPRESS-специФикация:
•)
ENTITY over_used_vertex
SUBTYPE OF(inaptJopotogy);
SELF\shapo_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numericaljest,
WHERE
WR1: (’SHAPEJWA_QUALITY_CRITERIA_SCHEMA.’ +
’SHAPEJDATA_QUALITYJ-OWER_VALUEJJMIT
INTYPEOF(SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.COUNT_MEASURE’
IN valueJimitjype(SELF\shape_data_quality_criterion.
assessment_specification.threshold)):
W R2:validate_measured_datajype(SELF,
’MEASURE_SCHEMA.COUNT_MEASURE’);
W R3:validateJnspected_elementsJype(SELF,
[TOPOLOGY_SCHEMA_VERTEXJ^OINT’]);
WR4: validateJocations_of_extreme_valueJype(SELF.
П):
W R5: validate_accuracyJypes(SELF,
D);
END_ENTITY;
Г
Определение атрибута
SELRshapo_data_quality_criterion.assossmont_specification — объект shape_data_quality_
assessment_by_numericalJest, который задает проверку максимального значения с заданным предель
ным значением.
54