ГОСТ Р ИСО 10303-59—2012
Определение атрибута
SELRshapo_data_quality_criterion.assessment_specification — объект shape_data_quality_
assessment_by_numerical_test. который задает сравнение значения измереннойдлины д у т с заданным
предельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assossmcnt_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_value_limit, атрибут
value_component которогодолжен быть экземпляром данных типа longth_moasure (мера длины).
WR2: Атрибут reprosontative_moasurod_value объекта shapo_data_quality_inspcction_criterion_
report и атрибут measured_value объекта shape_data_quality_inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера
длины).
WR3: Все объекты, играющие роль атрибута inspocted_elements во всех экземплярах объекта
shape_data_quality_inspectionJnstance_report_item. связанных с настоящим объектом, должны быть
объектами типа edge_curve.
WR4: Объект shape_data_qualityJnspection_instance_report_item, связанный с настоящим объек
том. недолжен быть объектом типа instance_roport_itom_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componontдолжно
быть значением типа length_measure (мера длины).
7.4.89 Объект small_area_face
Объект small_area_face представляет утверждение, что площадь поверхностной грани, представ
ленной объектом face_surface. слишком мала. Согласно требованию к измерению, соответствующему
настоящему объекту, необходимо вычислить площадь поверхностной грани, представленной объектом
face_surface.
EXPRESS-слециФикация:
*)
ENTITY small_area_face
SUBTYPE OF(topology_relatod_to_near1y_degenerate_geometry):
SELF\shape_data_quality_criterion.assessment_specification:
shapejjata_quality_assessment_by_numerica! test;
WHERE
WR1: (’SHAPE_DATA_QUALITY_CRITERIA_SCHEMA>
■SHAPE_DATA_QUALITY_UPPER_VALUE_LIMir
INTYPEOF(SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND(’MEASURE_SCHEMA.AREA_MEASURE’
IN value_limit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshold));
WR2: validate_measured_data_type(SELF,
*MEASURE_SCHEMA.AREA_MEASURE’);
W R3; validate_inspected_elements_type(SELF,
[TOPOLOGY_SCHEMA.FACE_SURFACE]);
WR4; validateJocations_of_extreme_value_type(SELF.
П):
W R5; validate_accuracy_types(SELF,
rMEASURE_SCHEMA.AREA_MEASURE1);
END_ENTITY.
r
Определение атрибута
SELRshape_data_quallty_criterion.assessment_specification — объект shape_data_quality_
assessment_by_numerical_tost. который задает сравнение измеренной площади с заданным предельным
значением.
Формальные положения
WR1;Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shapo_data_quality_uppor_valueJim it. атрибут
value_component которогодолжен быть экземпляром данных типа area_measure (мера площади).
102