Электронный каталог НБ БНТУ

rus

Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

Личный кабинет :

Электронный каталог: Коротков, И.А. - Параллельная генерация пространства состояний дискретных детерминированных моделей

Коротков, И.А. - Параллельная генерация пространства состояний дискретных детерминированных моделей

Параллельная генерация пространства состояний дискретных детерминированных моделей

Статья
Автор: Коротков, И.А.
Программные продукты и системы: Параллельная генерация пространства состояний дискретных детерминированных моделей
б.г.
ISBN отсутствует

На полку

Статья

Коротков, И.А.
Параллельная генерация пространства состояний дискретных детерминированных моделей / И.А. Коротков // Программные продукты и системы: международное научно-практическое приложение к международному журналу "Проблемы теории и практики управления" / гл. ред. С.В. Емельянов; учредитель Главная редакция международного журнала "Проблемы теории и практики управления", НИИ "Центрпрограммсистем". – 2010. – N4. – С.8-12.

Основной проблемой проверки конечных моделей является комбинаторный взрыв числа состояний

004.021

общий = БД Техника
общий = ВЕРИФИКАЦИЯ
общий = ДИСКРЕТНЫЕ СИСТЕМЫ
общий = ПАРАЛЛЕЛЬНАЯ ОБРАБОТКА ИНФОРМАЦИИ