Разработка многокорневых разрешающих диаграмм для целочисленных функций

Standard

Разработка многокорневых разрешающих диаграмм для целочисленных функций. / Бугайченко, Д.Ю.; Соловьев, И.П.

In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ, No. 2, 2010, p. 90-97.

Research output: Contribution to journal › Article › peer-review

Author

Бугайченко, Д.Ю. ; Соловьев, И.П. / Разработка многокорневых разрешающих диаграмм для целочисленных функций. In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 2010 ; No. 2. pp. 90-97.

BibTeX

@article{d8a024cc501a4125addd06d0291c24aa,

title = "Разработка многокорневых разрешающих диаграмм для целочисленных функций",

abstract = "В работе предлагаются новые структуры данных для представления целочисленных функций и матриц: многокорневые бинарные разрешающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых стандартных операций над целочисленными функциями и матрицами в таком представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные разрешающие диаграммы оказываются более компактной формой представления по сравнению с широко распространенными многотерминальными бинарными разрешающими диаграммами (MTBDD). Приведенные в работе экспериментальные результаты показывают, что многокорневые бинарные разрешающие диаграммы являются перспективной заменой многотерминальных бинарных разрешающих диаграмм, в том числе и в таких задачах, как вероятностная верификация, манипуляция распределениями вероятности, анализ сетей Петри и других моделей вычислительных систем.",

keywords = "бинарные диаграммы решений, binary decision diagrams",

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

year = "2010",

language = "русский",

pages = "90--97",

journal = "ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ",

issn = "1025-3106",

publisher = "Издательство Санкт-Петербургского университета",

number = "2",

}

RIS

TY - JOUR

T1 - Разработка многокорневых разрешающих диаграмм для целочисленных функций

AU - Бугайченко, Д.Ю.

AU - Соловьев, И.П.

PY - 2010

Y1 - 2010

N2 - В работе предлагаются новые структуры данных для представления целочисленных функций и матриц: многокорневые бинарные разрешающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых стандартных операций над целочисленными функциями и матрицами в таком представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные разрешающие диаграммы оказываются более компактной формой представления по сравнению с широко распространенными многотерминальными бинарными разрешающими диаграммами (MTBDD). Приведенные в работе экспериментальные результаты показывают, что многокорневые бинарные разрешающие диаграммы являются перспективной заменой многотерминальных бинарных разрешающих диаграмм, в том числе и в таких задачах, как вероятностная верификация, манипуляция распределениями вероятности, анализ сетей Петри и других моделей вычислительных систем.

AB - В работе предлагаются новые структуры данных для представления целочисленных функций и матриц: многокорневые бинарные разрешающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых стандартных операций над целочисленными функциями и матрицами в таком представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные разрешающие диаграммы оказываются более компактной формой представления по сравнению с широко распространенными многотерминальными бинарными разрешающими диаграммами (MTBDD). Приведенные в работе экспериментальные результаты показывают, что многокорневые бинарные разрешающие диаграммы являются перспективной заменой многотерминальных бинарных разрешающих диаграмм, в том числе и в таких задачах, как вероятностная верификация, манипуляция распределениями вероятности, анализ сетей Петри и других моделей вычислительных систем.

KW - бинарные диаграммы решений

KW - binary decision diagrams

M3 - статья

SP - 90

EP - 97

JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

SN - 1025-3106

IS - 2

ER -

ID: 5157519