ГОСТ Р ИСО 21090—2016
7.11.2 Тип данных NPPD (непарамотрическое распределение вероятности)
7.11.2.1 Описание
Специализация типа данных ANY
Параметр: Т : ANY
Множество значений типа UVP с вероятностями (известное как гистограмма). Все элементы мно
жества рассматривают как альтернативные и ранжируют по своей вероятности, выражающей степень
веры (или частоту) каждого из этих значений.
Тип данных NPPD<T> может быть использован, если только одно значение типа Т может быть
истинным. Сумма вероятностей должна быть <= 1. но из-за приближенных вычислений и неточностей,
связанных с округлением, эта сумма может превысить 1.
7.11.2.2 Синтаксис ИСО/МЭК 11404
typ e NPPD (Т : ANY) - cla ss (
va lid lim e L o w : c h a ra c te rs trin g ,
validT im eH igh : c h a ra c te ra trin g ,
c o n tro l Inform ationR oot : c h a ra c te rs trin g ,
c o n tro lIn fo rm a tio n E x te n s io n : c h a ra c te rs trin g ,
r.u ilE la v o r
updateMode
: N u llF la v o r,
: UpdateWode,
flavor Id : Set (c h a ra c te rs trir.g ),
item : Set(UVP(Tj)
>
7.11.2.3 Атрибуты
7.11.2.3.1 item : Set(UVP(T)): список значений с вероятностями, представляемый гистограммой.
7.11.2.4 Равенство
Два непустых экземпляра типа данных NPPD равны, если они содержат одни и те же элементы.
Примечание — Определение содержания элемента основано на том же семантическом равенстве,
которое определено в настоящем стандарте, поэтому, к примеру, значение типа NPPD(CD) может быть равно зна
чению типа NPPD(CS).
7.11.2.5 Инварианты:
- должно присутствовать по меньшей мере одно значение.
Определение инвариантов на языке OCL:
lnv "должен иметь по меньшей мере один элемент": isfcull xor item->notLmpty
7.11.2.6 Примеры
«example xsi:type-’NPPD_ST’>
«item probabiIity-"0.1"»
«value value-"Yankees"/>
</item>
«item probabiIity-"0.04">
«value value-"Red Sox"/»
</item>
«item probability-"0.С5"»
«value value-"White Sox"/»
</item>
«item probability-"0.08">
«value value-"Indians"/»
</item>
«item probability-"!!.05"»
«value v a lu e -"T ig e rs "/>
«/item »
«item probability-"0.0*?"»
«value value-"Kariners"/>
147