ГОСТ Р ИСО 10303-59—2012
EXPRESS-спеаификация:
*)
ENTITY high_degree_axi_symmetric_surface
SUBTYPE OF(overcomptex_geometry);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numerical_test;
approximabon_tolerance: length_measure:
WHERE
WR1 :(’SHAPE_DATA_QUALITY_CRITERIA SCHEMA.’+
■SHAPE_DATA_QUALITY_LOWER_VALUE_LIMIT
INTYPEOF(SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.COUNT_MEASURE’
IN value_limit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshold));
WR2: validate_measured_data_type(SELF,
’MEASURE_SCHEMA.COUNT_MEASURE’);
W R3: validateJnspected_elements_type(SELF,
fGEOMETRY_SCHEMA.B_SPLINE_SURFACE^);
WR4. validateJocations_of_extreme_value_type(SELF.
П):
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASURE1);
END_ENTITY;
r
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification — объект shape_data_quality_
assessment_by_numerical_test. который задает сравнение полученной степени с заданным предельным
значением.
approximation_tolerance — допуск, используемый при проверке, может ли геометрическая форма
Ь-сплайновой поверхности, представленной объектом b_spline_surfaco. быть аппроксимирована осесим
метричной поверхностью.
Формальный положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_lower_valuojimit. атрибут
value_component которогодолжен быть экземпляром данных типа count_moasure {счетная мера).
WR2: Атрибут representative_measurcd_value объекта shape_data_quality_ inspoction_critorlon_
report и атрибут measurcd_value объекта shape_data_quality_inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа count_moasure (счетная
мера).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа b_spline_surface.
WR4: Объект shape_data_quality_inspection_instance_report_item. связанный с настоящим объек
том. недолжен быть объектом типа instance_roport_item_with_extremejnstancos.
WR5: Если для данного измерения задана точность, то значение атрибута valuo_componentдолжно
быть значением типа length_measure (мера длины).
7.4.86 Объект inapt_topology_and_geometry..relationship
Объект inapt_topology_and_geometry_relationship является таким подтипом объекта inapt_data.
который является супертипом для критериев, используемыхдля обнаружения несоответствующих отноше
ний между топологическими и геометрическими данными.
ЕХРRESS-специФикация:
*)
ENTITY inapt_topology_and_geometry_relationship
ABSTRACT SUPERTYPE OF (ONEOF(
topology_related_to_nearty_degenerate_geometry.
100