ГОСТ Р ИСО 10303-59—2012
EXPRESS-спецификация:
•)
ENTITY geometric_gap_in_topology
ABSTRACT SUPERTYPE OF (ONEOF(
gap_between_adjacent_edges_inJoop.
gap_between_vertex_and_base_surface.
gap_between_vertex_and_edge,
gap_botween_edge_and_base_surface,
gap_between_pcurves_related_to_an_odge,
gap_between_faces_related_to_an_edge))
SUBTYPE OF(inapt_topotogy_and_geometry__relationship);
END_ENTITY:
r
7.4.96 Объект gap_between_vertex_and_edge
Объект gap_b©tween_vertex_and_edge представляет утверждение, что геометрически вершинная
точка, представленная объектом vortex_point. но лежит на связанной с ней реберной кривой, представлен
ной объектом edge_curve. в пределах заданного предельного значения. Согласно требованию к измере
нию, соответствующему настоящему объекту, необходимо вычислить расстояние между геометрической
формой вершинной точки, представленной объектом vertox_point. и геометрической формой реберной
кривой, представленной объектом edgo_curve.
EXPRESS-спецификация:
*)
ENTITY gap_between_vertex_and_edge
1
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.’ ♦
’
s h
ape
_
d
a
t
a
_
q u
a
lity
_
lo w
e
r
_
v
a
lu
e
_
l m it
’
INTYPEOF{SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.LENGTH_MEASURE’
IN value_limit_type(SELF\shapo_data_quality_criterion.
assessment_specification.threshold));
W R2:validate_measured_data_type(SELF.
’MEASURE_SCHEMA.LENGTH_MEASURE’).
W R3:validate_inspected_elements_type(SELF,
|TOPOLOGY_SCHEMA.EDGE_CURVE1);
WR4: validate_locations_of_extreme_value_type(SELF.
[TOPOLOGY_SCHEMA.VERTEX_POINT,~
■SHAPE_DATA_QUALITYJNSPECTION_RESULT_SCHEMA.4
•POINT_ON_EDGE_CURVE1);
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl);
END_ENTITY;
r
Определение атрибута
SELRshape_data_quality_criterion.assessment_specification — объект shape_data_quality_
assossment_by_numerical_test, который задает сравнение значения измеренного зазора между геометри
ческими формами вершинной точки, представленной объектом vertox_point, и реберной кривой, представ
ленной объектом edge_curve. с заданным предельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_valueJim it. атрибут
value_component которогодолжен быть экземпляром данных типа longth_moasure (мера длины).
108