Новая монография преподавателей кафедры ВТ

28.01.2017 17:58

В издательстве ПГУ вышла  в свет новая монография профессора Н.П. Вашкевича  и доцента Р.А. Бикташева "Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации".

В монографии представлен математический аппарат  формального представления алгоритмов управления параллельной обработки информации с использованием модели недетерминированных автоматов (НДА) и даны эквивалентные преобразования такой модели.

В качестве основной базовой модели НДА принята система рекуррентных канонических уравнений (СКУ), описывающая все реализуемые в системе управления частные события и язык граф-схем алгоритмов с параллельными ветвями (ГСАП). Эквивалентные преобразования модели НДА базируются на использовании операций детерминизации, минимизации, кодирования и компиляции НДА. Рассмотрены некоторые начальные языки представления управляющих алгоритмов и их использования для формального описания алгор итмов и методы их преобразования на язык СКУ.

Формальное представление алгоритмов взаимодействия параллельными процессами иллюстрируются на базе решения классических задач управления процессами при обращении к общему ресурсу. Излагаются также методы структурной реализации и верификации алгоритмов управления процессами и ресурсами в многопроцессорных системах, представленных автоматными моделями.

Монография обобщает результаты  выполненных авторами исследований в области теории НДА и её использования для формального описания, структурной реализации и верификации алгоритмов управления процессами и ресурсами в параллельных системах обработки информации в вычислительных системах и системах промышленной автоматики и  будет полезна   научным работникам, занимающимся  разработкой распределенных и параллельных средств управления различными объектами и процессами,  а так же студентам и аспирантам направлений «Информатика и ВТ» и «Применение и эксплуатация автоматизированных систем специального назначения».