ГОСТ Р ИСО 10303-59—2012
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_valueJim it. атрибут
value_componont которогодолжен быть элементом данных типа length_measure (мера длины).
WR2: Атрибут ropresentative_moasured_value объекта shape_data_ quality_inspection_criterion_
report, атрибут measured_value объекта shape_data_quality_inspectionJnstance_report_item и атри
буты measured_value всех объектов extreme.instance, на которые ссылается объект lnstance_ report_
item_with_extreme_lnstances. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута lnspected_elements во всех экземплярах объекта
shape_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа face_surface.
WR4: Во всех объектах lnstance_roport_itom_with_oxtreme_instances. связанных с настоящим
объектом, во всех объектах типа oxtremeJnstance. на которые ссылается объект instance_report_item_
with_extreme_instances. объекты, на которые ссылается атрибут locations_of_extromo_value. должны
бытьсоответственно объектами типа vertox_point и point_on_face_surfaco.
П р и м е ч а н и е — Точка на поверхностной грани, представленная объектом point_on_face_surface. — это
ближайшая от вершинной точки, представленной объектом vertex_point точка на поверхностной грани, пред
ставленной объектом face_surface.
WR5: Если для данного измерения задана точность, то значение атрибута value_componontдолжно
быть значением типа length_moasure (мера длины).
7.4.98 Объект gap_betweon_adjacent_odges_in_loop
Объект gap_between_adjacent_edges_inJoop представляет утверждение, что в контуре ребер, пред
ставленном объектом edgejoop. междусмежными ориентированными ребрами, представленными объек
тами oriented_edge. существует геометрический зазор, превышающий заданное продельное значение.
Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить для
каждого входящего в контур ребер ориентированного ребра точку на кривой, соответствующей начальной
вершине ребра, и соответствующей той же вершине точку на кривой, на которой лежит предшествующее
ориентированное ребро. После этого вычисляется расстояние между этими двумя точками, которое при
оценке может сравниваться с заданным предельным значением.
EXPRESS-специФикаиия:
’ )
ENTITYgap_between_adjacent_edgesJnJoop
SUBTYPE OF(geometric_gap_in_topology);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numerical_test;
WHERE
WR1 :(’SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.’ +
•SHAPE_DATA_QUALITY_LOWER_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_specificatk>n.threshold)):
W R2:validate_measured_data_type(SELF,
•MEASURE_SCHEMA.LENGTH_MEASURE’);
W R3:validate_inspected_elements type(SELF,
[TOPOLOGY_SCHEMA.EDGE_LOOP‘]):
WR4. validate_k>cations_of_extreme_value_type(SELF.
[TOPOLOGY_SCHEMA.ORIENTED_EDGE]);
W R5: validate_accuracy_types(SELF.
rM EASURE_SCHEMA.LENGTH_MEASUREl):
END_ENTITY.
г
110