ГОСТ Р ИСО 10303-59-2012 Системы автоматизации производства их интеграция. Представление данных об изделии и обмен этими данными. Часть 59. Интегрированный обобщенный ресурс. Качество данных о форме изделия стр. 26

EXPRESS-спецификация:

*)

ENTITY multiply_defined_geometry

ABSTRACT SUPERTYPE OF (ONEOF(

multiply_defined_curves,

multiply_defined_surfaces,

multiply_defined_cartesian_points,

multiply_defined_directions,

multiply_defined_placements))

SUBTYPE OF(inapt_geometry);

END_ENTITY;

(*

7.4.69 Объект multiply_defined_cartesian_points

Объект multiply_defined_cartesian_points представляет утверждение, что две точки совпадают. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы при измерении обнаруживался случай, когда значение расстояния между двумя проверяемыми точками меньше предельного значения.

EXPRESS-спецификация:

*)

ENTITY multiply_defined_cartesian_points

SUBTYPE OF(multiply_defined_geometry);

SELF\shape_data_quality_criterion.assessment_specification:

shape_data_quality_assessment_by_numerical_test;

WHERE

WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.'+

'SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT'

IN TYPEOF(SELF\shape_data_quality_criterion.

assessment_specification.threshold))

AND ('MEASURE_SCHEMA.LENGTH_MEASURE'

IN value_limit_type(SELF\shape_data_quality_criterion.

assessment_specification.threshold));

WR2 : validate_measured_data_type(SELF,

'MEASURE_SCHEMA.LENGTH_MEASURE');

WR3 : validate_inspected_elements_type(SELF,

['GEOMETRY_SCHEMA.CARTESIAN_POINT',

'GEOMETRY_SCHEMA.CARTESIAN_POINT']);

WR4: validate_locations_of_extreme_value_type(SELF,

[]);

WR5 : validate_accuracy_types(SELF,

['MEASURE_SCHEMA.LENGTH_MEASURE']);

END_ENTITY;

(*

Определение атрибута

SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного расстояния с предельным значением.

Формальные положения

WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа length_measure (мера длины).

WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).

WR3: Объекты, играющие роль атрибута inspected_elements в экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя объектами типа cartesian_point.

WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.

WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).

7.4.70 Объект multiply_defined_directions

Объект multiply_defined_directions представляет утверждение, что два направления совпадают. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы при измерении обнаруживался случай, когда значение угла между двумя проверяемыми направлениями меньше предельного значения.

EXPRESS-спецификация:

*)

ENTITY multiply_defined_directions

SUBTYPE OF(multiply_defined_geometry);

SELF\shape_data_quality_criterion.assessment_specification:

shape_data_quality_assessment_by_numerical_test;

WHERE

WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.' +

'SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT'

IN TYPEOF(SELF\shape_data_quality_criterion.

assessment_specification.threshold))

AND ('MEASURE_SCHEMA.PLANE_ANGLE_MEASURE'

IN value_limit_type(SELF\shape_data_quality_criterion.

assessment_specification.threshold));

WR2 : validate_measured_data_type(SELF,

'MEASURE_SCHEMA.PLANE_ANGLE_MEASURE');

WR3 : validate_inspected_elements_type(SELF,

['GEOMETRY_SCHEMA.DIRECTION','GEOMETRY_SCHEMA.DIRECTION']);

WR4: validate_locations_of_extreme_value_type(SELF,

[]);

WR5 : validate_accuracy_types(SELF,

[]);

END_ENTITY;

(*

Определение атрибута

SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного угла с предельным значением.

Формальные положения

WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть элементом данных типа plane_angle_measure (мера плоского угла).

WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа plane_angle_measure (мера плоского угла).

WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя экземплярами объекта типа direction.

WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.

WR5: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.

7.4.71 Объект multiply_defined_placements

Объект multiply_defined_placements представляет утверждение, что две привязочные системы координат совпадают. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, обнаруживающее случаи, когда расстояние между началами проверяемых привязочных систем координат меньше, чем предельное значение, заданное атрибутом assessment_specification, а угол между осями систем координат меньше, чем предельное значение, заданное атрибутомassessment_specification_2.

Примечание - Если проверяемые системы координат представлены объектамиaxis2_placement_2d или axis2_placement_3d, то значение угла между осями, играющими роль атрибута ref_direction, также должно сравниваться с предельным значением, задаваемым атрибутом assessment_specification_2.

EXPRESS-спецификация:

*)

ENTITY multiply_defined_placements

SUBTYPE OF(multiply_defined_geometry);

SELF\shape_data_quality_criterion.assessment_specification:

shape_data_quality_assessment_by_numerical_test;

assessment_specification_2:

shape_data_quality_assessment_by_numerical_test;

WHERE

WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.'+

'SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT'

IN TYPEOF(SELF\shape_data_quality_criterion.

assessment_specification.threshold))

AND ('MEASURE_SCHEMA.LENGTH_MEASURE'

IN value_limit_type(SELF\shape_data_quality_criterion.

assessment_specification.threshold));

WR2 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.'+

'SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT'

IN TYPEOF(SELF.assessment_specification 2.threshold))

AND('MEASURE_SCHEMA.PLANE_ANGLE_MEASURE'

IN value_limit_type(SELF.assessment_specification_2.threshold));

WR3 : validate_measured_data_type(SELF,

'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+

'PLANE_ANGLE_AND_LENGTH_PAIR');

WR4 : validate_inspected_elements_type(SELF,

['GEOMETRY_SCHEMA.PLACEMENT','GEOMETRY_SCHEMA.PLACEMENT']);

WR5: validate_locations_of_extreme_value_type(SELF,

[]);

WR6 : validate_accuracy_types(SELF,

[]);

WR7 : SIZEOF(QUERY(sdqr <* bag_to_set(USEDIN(SELF,

'PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+

'DATA_QUALITY_INSPECTION_RESULT.'+

'CRITERION_INSPECTED"))|

('SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+

'SHAPE_DATA_QUALITY_INSPECTION_RESULT'

IN TYPEOF(sdqr))AND

(SIZEOF(QUERY(sdqiir <* bag_to_set(USEDIN(sdqr,

'PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+

'DATA_QUALITY_INSPECTION_REPORT.'+

'INSPECTION_RESULT))|

('SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+

'SHAPE_DATA_QUALITY_INSPECTION_INSTANCE_REPORT'

IN TYPEOF(sdqiir)) AND

(SIZEOF(QUERY(sdqiri <* sdqiir.inspected_instances|

(TYPEOF(sdqiri.inspected_elements[1])

<>TYPEOF(sdqiri.inspected_elements[2])))) = 0)

)) = 0)

)) = 0;

END_ENTITY;

(*

Определения атрибутов

SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного расстояния с предельным значением;

assessment_specification_2 - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного угла с предельным значением.

Формальные положения

WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа length_measure (мера длины).

WR2: Атрибут threshold объекта, играющего роль атрибута assessment_specification_2настоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа plane_angle_measure (мера плоского угла).

WR3: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа plane_angle_and_length_pair (пара из плоского угла и длины).

WR4: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя экземплярами объекта типа placement.

WR5: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.

WR6: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.

WR7: Во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, два экземпляра объектов placement, играющие роль атрибута inspected_elements, должны быть экземплярами одного и того же подтипа объектаplacement.

7.4.72 Объект multiply_defined_curves

Объект multiply_defined_curves представляет утверждение, что две кривые полностью перекрывают друг друга. Две кривые полностью перекрывают друг друга, если значение наибольшего расстояния между кривыми меньше заданного предельного значения. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя кривыми, чтобы при оценке можно было проверить, меньше ли это расстояние, чем заданное предельное значение.

EXPRESS-спецификация:

*)

ENTITY multiply_defined_curves

SUBTYPE OF(multiply_defined_geometry);

SELF\shape_data_quality_criterion.assessment_specification:

shape_data_quality_assessment_by_numerical_test;

WHERE

WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.'+

'SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT'

INTYPEOF(SELF\shape_data_quality_criterion.

assessment_specification.threshold))

AND('MEASURE_SCHEMA.LENGTH_MEASURE'

IN value_limit_type(SELF\shape_data_quality_criterion.

assessment_specification.threshold));

WR2 : validate_measured_data_type(SELF,

MEASURE_SCHEMA.LENGTH_MEASURE);

WR3 : validate_inspected_elements_type(SELF,

['GEOMETRY_SCHEMA.CURVE','GEOMETRY_SCHEMA.CURVE']);

WR4 : validate_locations_of_extreme_value_type(SELF,

[]);

WR5 : validate_accuracy_types(SELF,

['MEASURE_SCHEMA.LENGTH_MEASURE']);

END_ENTITY;

(*

Определение атрибута

SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного расстояния с предельным значением.

Формальные положения

WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа length_measure (мера длины).