ГОСТ Р HCO/HL7 27951— 2016
М и р о в а я серия
Команда
Рисунок В.14 — Пример гистограммы
Этот пример иллюстрирует вероятность выигрыша Мировой серии избранными бейсбольными командами
основной лиги (до старта сезона). Команды взаимно исключительны, и если бы на диаграмме были показаны все
команды, то сумма вероятностей была бы равна 1 (то есть определенно какая-нибудь команда выиграет).
П ри м ечание — Хотя семантически в типе данных NPPD вероятности присвоены всем возможным зна
чениям. не все значения должны быть представлены явно. Вероятности тех значений, которые не были упомяну ты,
будут равны равномерному распределению остатка вероятности. Например, если множество значений имеет
элементы (А; В; С: D}. но в описании типа данных NPPD указаны только значения {(В; 0.5); (С; 0.25)}. то остаток
вероятности составит 1 - 0.75 = 0.25 и будет распределен равномерно по элементам дополняющего множества:
{(А; 0,125); (D; 0.125)}. Семантически тип данных NPPD представляет собой объединение объявленного распреде
ления вероятности и необъявленного дополнения с равномерным распределением остатка вероятности.
template<ANY т>
type NonParameLrieProbabilityDiatributiorKT* alias NPPDcT-»
specializes SET<L*VP<T>> <
5ET<CVP<’T » most.L*fcely П NT n> ;
) ;
Как и в случае типа данных UVP. на тип данных Т не накладываются формальные ограничения, несмотря на
то что не все типы данных разумно использовать. Обычно тип данных NPPD используется для неупорядоченных
базовых типов Т. если только «небольшому» множеству его значений явно приписаны вероятности или если рас
пределение вероятности не может (или не должно) описываться параметрическим методами. В других случаях
предпочтительнее использовать тип данных PPD.
В.4.4.1 Свойство mostLikely: UVP (наиболее вероятное значение)
invariant<NPPD<T> к;
where x.nonNull 1
х.notEmpt у;
x.contains(x.mostLikely(n));
x.mostLikely(n).
forall (UVP<T> d, e; 5ЕТ<1Л’Р<Т» in; INT nj
where x.co n ta in s(a ).a n d (m .e q u a l(x.m o stL ike ly(n )>>
.and(m.contains(e)> (
e.greaterOrEqual(d*,.or(m.contains(a)>;
ч
1;
401