Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Представление дискретных случайных величин с применением многокорневых диаграмм решений. / Бугайченко, Д. Ю.; Соловьев, И. П.
в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ, № 2, 2012, стр. 66-74.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Представление дискретных случайных величин с применением многокорневых диаграмм решений
AU - Бугайченко, Д. Ю.
AU - Соловьев, И. П.
PY - 2012
Y1 - 2012
N2 - В работе предлагается новый метод представления дискретных случайных величин в памяти ЭВМ на основе многокорневых бинарных диаграмм решений (MRBDD). Такая необходимость возникает, например, в задаче вероятностной верификации, где в настоящее время активно используется другой тип диаграмм решений – многотерминальные бинарные диаграммы решений (MTBDD). Многокорневые диаграммы обладают рядом значимых преимуществ по сравнению с многотерминальными. За счет более эффективного повторного использования общих структурных блоков многокорневые диаграммы оказываются более компактной формой представления, что обеспечивает меньший объем потребляемой памяти и во многих случаях лучшее время работы. Приведенные экспериментальные результаты показывают, что многокорневые диаграммы являются перспективной заменой многотерминальных диаграмм, в том числе и в таких задачах как моделирование случайных величин и вероятностная верификация.
AB - В работе предлагается новый метод представления дискретных случайных величин в памяти ЭВМ на основе многокорневых бинарных диаграмм решений (MRBDD). Такая необходимость возникает, например, в задаче вероятностной верификации, где в настоящее время активно используется другой тип диаграмм решений – многотерминальные бинарные диаграммы решений (MTBDD). Многокорневые диаграммы обладают рядом значимых преимуществ по сравнению с многотерминальными. За счет более эффективного повторного использования общих структурных блоков многокорневые диаграммы оказываются более компактной формой представления, что обеспечивает меньший объем потребляемой памяти и во многих случаях лучшее время работы. Приведенные экспериментальные результаты показывают, что многокорневые диаграммы являются перспективной заменой многотерминальных диаграмм, в том числе и в таких задачах как моделирование случайных величин и вероятностная верификация.
KW - Бинарные диаграммы решений
KW - вероятностная верификация.
M3 - статья
SP - 66
EP - 74
JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ
JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ
SN - 1811-9905
IS - 2
ER -
ID: 5346444