Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений

Скорочена інформація про документ
dc.contributor.authorБагрій, Руслан Олександрович
dc.date.accessioned2014-11-04T12:59:17Z
dc.date.available2014-11-04T12:59:17Z
dc.date.issued2004
dc.description.abstractПод реактивной системой понимается система, состоящая из нескольких компонент-объектов, взаимодействующих между собой и с окружающей их средой. Класс реактивных систем включает операционные системы, мультипрограммные среды, параллельные и распределенные дискретные системы, дискретные системы реального времени, вычислительные сети и т. д. В данной работе описываются алгоритмы представления конечных транзиционных систем с помощью упорядоченных бинарных таблиц решений (так называемых УБДР или OBDD – ordered binary decision diagrams) и некоторые экспериментальные данные, полученные с помощью этих алгоритмов.uk_UA
dc.identifier.citationБагрій Р. О. Об алгоритмах представления транзиционных систем с помощью бинарных диаграм решений / Р. О. Багрій // Проблеми програмування. – 2004. - № 2,3.uk_UA
dc.identifier.urihttps://elar.khmnu.edu.ua/handle/123456789/1788
dc.language.isoruuk_UA
dc.subjectOBDDuk_UA
dc.subjectконечные автоматиuk_UA
dc.subject.udc51.681.3uk_UA
dc.titleОб алгоритмах представления транзиционных систем с помощью бинарных диаграмм решенийuk_UA
dc.typeСтаттяuk_UA
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
12%20-%20Bagriy.pdf
Розмір:
152.81 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Назва:
license.txt
Розмір:
4.26 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Кафедра комп’ютерних наук