ГОСТ Р ИСО/ТС 10303-1051—2009
parallolism_tolerance.pcrpondicularitytoloranco.position_tolerance.roundness_tolerance,
straightness_tolerance. surface_profile_tolerance, symmetry_tolerance nnMtotal_runout_tolerance.
5.2.3.2 Правило subtype_mandatory_geometric_tolerance
Правило subtypo_mandatory_geometric_tolerance гарантирует, что каждый экземпляр объекта
geometric_toleranceпринадлежиткодномуизследующихобъектныхтиповданных:
angularity_tolerance, circular_runout_tolerance. concentricity_tolerance. cylindricity_tolerance,
flatness_tolerance, line_profile_tolerance,parallelism_tolerancc. pcrpendicularity_toloranco,
position_tolerance. roundness_tolerance. straightncss_tolerancc. surface_profile_tolerance,
symmetry_toleranco или total_runout_tolerance.
EXPRESS-спецификаиия:
T
.
*)
RULE subtype_mandatory_geometric_tolerance FOR
(geometric_tolerance);
WHERE
WR1: SIZEOF(QUERY (gt <* geometric_tolerance |NOT
(type check_function(gt,
[•
g
e
o m
e
tr c
_
to l
e
r
a
n c
e
_
m im
a
n g u l
a
r ity
_
to l
e
r
a
n c
e
\
’GEOMETRIC_TOLERANCE_MIM.CIRCULAR_RUNOUT_TOLERANCE\
•GEOMETRIC TOLERANCE_MIM.COAXIALITY_TOLERANCE\
GEOMETRIC_TOLERANCE_MIM.CONCENTRICITY_TOLERANCE\
•GEOMETRIC_TOLERANCE_MIM.CYLINDRICITY_TOLERANCE’.
’GEOMETRIC_TOLERANCE_MIM.FLATNESS TOLERANCE’,
’GEOMETRIC_TOLERANCE_MIM.LINE_PROFILE_TOLERANCE‘.
’GEOMETRIC_TOLERANCE_MIM.PARALLELISM_TOLERANCE’.
GEOMETRIC_TOLERANCE_MIM.PERPENDICULARITY_TOLERANCE’,
’GEOMETRIC_TOLERANCE_MIM.POSITION_TOLERANCE’.
GEOMETRIC_TOLERANCE_MIM.ROUNDNESS_TOLERANCE\
’GEOMETRIC_TOLERANCE_MIM.STRAIGHTNESS_TOLERANCE’.
’GEOMETRIC TOLERANCE_MIM.SURFACE_PROFILE_TOLERANCE",
GEOMETRIC_TOLERANCE_MIM.SYMMETRY_TOLERANCE\
’GEOMETRIC_TOLERANCE_MIM.TOTAL_RUNOUT_TOLERANCE’].0)))) =0;
END_RULE;
C
Определение аргумента
geomotric_tolerance: множество всех экземпляров объекта geomotrlc_tolerance.
Формальное утверждение:
WR1: Каждыйэкземпляр объекта goometric_tolerance долженбытьэкземпляром одного из следующих
объектныхтипов:angularity_tolerance.circular_runout_tolerance.concentricity_tolerance,
cylindricity_tolerance. flatness_tolerance, line_profile_tolerance, parallolismtolorance,
pcrpondicularitytoloranco.position_tolerance,roundness_tolorance, straightness_tolerance,
surface_profile_tolerance, symmetry_tolerance или total_runout_tolerance.
*)
END_SCHEMA; - - Geometric_tolerance_mim
C
39