Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2012, выпуск 2, страницы 66–74 (Mi vspui73)  

Информатика

Представление дискретных случайных величин с применением многокорневых диаграмм решений

Д. Ю. Бугайченко, И. П. Соловьев

Санкт-Петербургский государственный университет, математико-механический факультет

Аннотация: В работе предлагается новый метод представления дискретных случайных величин в памяти ЭВМ на основе многокорневых бинарных диаграмм решений (MRBDD). Такая необходимость возникает, например, в задаче вероятностной верификации, где в настоящее время активно используется другой тип диаграмм решений – многотерминальные бинарные диаграммы решений (MTBDD). Многокорневые диаграммы обладают рядом значимых преимуществ по сравнению с многотерминальными. За счет более эффективного повторного использования общих структурных блоков многокорневые диаграммы оказываются более компактной формой представления, что обеспечивает меньший объем потребляемой памяти и во многих случаях лучшее время работы. Приведенные экспериментальные результаты показывают, что многокорневые диаграммы являются перспективной заменой многотерминальных диаграмм, в том числе и в таких задачах как моделирование случайных величин и вероятностная верификация. Библиогр. 17 назв.

Ключевые слова: бинарные диаграммы решений, вероятностная верификация.

Полный текст: PDF файл (320 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 519.683.8+004.424

Принята к печати: 28 февраля 2012 г.

Образец цитирования: Д. Ю. Бугайченко, И. П. Соловьев, “Представление дискретных случайных величин с применением многокорневых диаграмм решений”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2012, № 2, 66–74

Цитирование в формате AMSBIB
\RBibitem{BugSol12}
\by Д.~Ю.~Бугайченко, И.~П.~Соловьев
\paper Представление дискретных случайных величин с применением многокорневых диаграмм решений
\jour Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр.
\yr 2012
\issue 2
\pages 66--74
\mathnet{http://mi.mathnet.ru/vspui73}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vspui73
  • http://mi.mathnet.ru/rus/vspui/y2012/i2/p66

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления
    Просмотров:
    Эта страница:177
    Полный текст:30
    Литература:16
    Первая стр.:5
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021