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

28.01.2017 17:58

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

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

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

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

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

» Последнее в разделе:
31.01.2018 12:08 Доступна электронная версия сборника статей МНТК НИТиС-2017
20.01.2018 19:32 Скончался Николай Петрович Вашкевич.
28.12.2017 11:52 Защитился еще один аспирант кафедры Вт
07.11.2017 12:25 Аспирант Дмитрий Дроздов выступил с докладом на международной конференции в Пекине
02.08.2017 13:00 Магистрант гр. 16ВВМ1 Артем Войнов принял участие в международной конференции, проходившей в Германии
22.06.2017 12:19 Аспирант Андрей Калачев поедет учится за границу.
16.06.2017 21:31 Сотрудниками кафедры получен очередной патент
15.06.2017 08:22 Начались защиты ВКР выпускников кафедры ВТ
08.06.2017 11:35 Число УМНИКОВ на кафедре ВТ может вырасти
02.06.2017 10:36 Новые учебно-методические издания преподавателей кафедры ВТ