ГОСТ Р ИСО/ТС 10303-1228—2016
EXPRESS-спеиификаиия:
*)
RULE consistent uncertainty FCR
(global uncertainty assigned context,qualified representation
item,uncertainty assigned representation);
WHERE
WR1: S1ZECF <QUERY (guac <* global uncertainty assigned context |
SIZEOF (QUERY {ul <* guac.uncertainty ISIZEOF (QUERY {u2 <*
guac.uncertainty |u2.name = ul.name ) ) >1 ) ) >0 ) ) = 0 ;
VIR2: SIZEOF <QUERY (uar <* uncertainty assigned representation ;
SIZEOF (QUERY {ul<* uar.uncertainty |SIZEOF (QUERY (u2 <*
uar.uncertainty Iu2.name = ul.name ) ) >1 ) ) >0 ) ) = 0;
WR3: SIZEOF (QUERY (qri <* qualified representation item |SIZEOF
(QUERY (ul
< *
qri.qualifiers |
’REPRESENTATION WITH UNCERTAINTY MIM’ + ’.UNCERTAINTY QUALIFIER’ IN
TYPEOF (ul ) > AND (SIZEOF (QUERY (u2 <* qri.qualifiers | (
’REPRESENTATION WITH UNCERTAINTY MIM’ + ’.UNCERTAINTY QUALIFIER’ IN
TYPEOF (u2 ) ) AND (u2\uncertainty qualifier.measure name =
ul\uncertainty qualifier.measure name ) ) ) >1 ) ) ) >6 ) ) = 0;
END RULE;
(*
Определения параметров:
global_uncortainty_assignod_context — набор всех экземпляров объектов g!obal_uncertainty_
assigned_context:
qualified_reprosentation_item — набор всех экземпляров объектов qualified_representation_
item:
uncertainty_assignod_representation — набор всех экземпляров объектов uncertainty_as-
signed_reprosentation
Формальные положения:
WR1. Любой экземпляр объекта global_uncertainty_assignod_context не должен содержать в
своих наборах неопределенностей двух экземпляров объекта uncertainty_measure_with_unit, имею
щих одинаковые значения атрибута пате.
WR2. Любой экземпляр объекта uncertainty_assigned_representation не должен содержать в
своих наборах неопределенностей двух экземпляров объекта uncertainty_measure_with_unit, имею
щих одинаковые значения атрибута name
WR3. Любой экземпляр объекта qualified_representation_item не должен содержать в своем
наборе объектов, задающих квалификаторы, каких-либо двух экземпляров объектов uncertainty_
qualifier, имеющих одинаковые значения атрибутов measure_name.
*)
END SCHEMA; — Representation with uncertainty mim
<*
9