Личный кабинет
Подробное описание документа
Вашкевич Н. П.
Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации : монография / Вашкевич Н. П., Бикташев Р. А. ; Пензенский гос. ун-т (ПГУ). - Пенза : Изд-во Пензен. гос. ун-та, 2016. - 391 с. : ил. - Библиогр.:
Рассмотрен основной математический аппарат, связанный с формальным представлением алгоритмов управления параллельной обработки информации с использованием модели недетерминированных автоматов (НДА), и даны эквивалентныe преобразования такой модели. В качестве основной базовой модели НДА принята система рекуррентных канонических уравнений (СКУ), описывающая все реализуемые в системе управления частные события и язык граф-схем aлгoритмов с параллельными ветвями (ГСАП). Эквивалентные преобразования модели НДА базируются на использовании операций детерминизации, минимизации, кодирования и компиляции НДА.
Рассмотрены некоторые начальные языки представления управляющих алгоритмов и их использования для формального описания aлroритмов и методы их преобразования на язык СКУ. Формальное представление алгоритмов взаимодействия параллельными процессами иллюстрируется на базе решения классических задач управления процессами при обращении к общему ресурсу. Рассмотрены также методы структypной реализации и верификации алгоритмов управления процессами и ресурсами в многопроцессорных системах, представленных автоматными моделями НДА и ДА.
Книга предназначена для широкого круга специалистов, а также может быть использована студентами направления 09.03.01 «Информатика и ВТ» и направления 09.05.01 «Применение и эксплуатация автоматизированных систем специального назначения», студентами бакалавриата, магистрантами и аспирантами всех специальностей направления «Информатика и ВТ» при изучении ими родственных дисциплин и при выполнении выпускных и научных работ.
1 экз.
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.305л, УЛК, ауд. 305л
