ГОСТ Р ИСО 10303-59—2012
W R2:validate_measured_data_type(SELF,
‘MEASURE_SCHEMA.LENGTH_MEASURE’);
W R3:validate_inspected_elements_type(SELF,
fGEOMETRY_SCHEMA.CURVE’]);
W R4.validate_k>cations_of_extreme_value_type(SELF.
0
);
W R5: validate_accuracy_types(SELF,
[MEASURE SCHEMA.LENGTH_MEASURED:
END_ENTITY:
r
Определение атрибута
SELRshape_data_quallty_criterlon.assossmont_specification — объект shape_data_quality_
assessmont_by_numerical_test. который задает проверку длины дуги кривой и сравнение с заданным
предельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_value_limit. атрибут
value_component которогодолжен быть экземпляром данных типа longth_moasure (мера длины).
WR2: Атрибут representative_measured_value объекта shapo_data_ quality_ inspection_criterion_
report и атрибут measurod_value объекта shape_data_quality_inspoction_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера
длины).
WR3: Все объекты, играющие рольатрибута inspected_elements во всех экземплярах объекта shape_
data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть объек
тами типа curve.
WR4: Объект shape_data_quality_inspection_instance_report_item. связанный с настоящим объек
том. недолжен быть объектом типа instance_reportjtem_with_oxtrome_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно
быть значением типа length_moasure (мера длины).
7.4.52 Объект small_area_surface
Объект small_aroa_surface представляет утверждение, что площадь поверхности слишком мала.
Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить изме
рение, при котором должна быть вычислена площадь поверхности. Полученное значение площади при
оценке должно сравниваться с заданным предельным значением. Поверхности с бесконечной площадью
при вычислении площади игнорируются.
EXPRESS-специФикация:
*)
ENTITY small_area_surface
SUBTYPE OF(nearty_degenerate_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(SELRshape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.AREA_MEASURE’
INvalue_limit_type(SELF\shape_data_quality_cnterion.
assessment_specification.threshold));
WR2 validate_measured_data_type(SELF,
’MEASURE_SCHEMA.AREA_MEASURE’);
W R3:validateJnspected_elements_type(SELF.
[GEOMETRY_SCHEMA.SURFACE’]);
W R4.validate_k>cations_of_extreme_value_type(SELF.
П):
67