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

28.01.2017 17:58

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

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

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

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

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

» Последнее в разделе:
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 Новые учебно-методические издания преподавателей кафедры ВТ
27.05.2017 14:16 Учебная и производственная практика
07.05.2017 19:12 Выпускные квалификационные работы выпускников кафедры ВТ 2016 г. стали победителями !
14.04.2017 06:11 Награды в День Космонавтики!
06.04.2017 07:12 Стажировка магистранта в Швеции