Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 2 стр.

УДК 519.713
     В23
                                  Рецензенты:
                 Кафедра «Вычислительные машины и системы»
              Пензенской государственной технологической академии

                        Кандидат технических наук, доцент,
          начальник кафедры «Артиллерийское вооружение и информатика»
                Пензенского артиллерийского инженерного института
                                 П.И.Тобольченко

      Н.П.Вашкевич Недетерминированные автоматы в проектировании
систем параллельной обработки [Текст]/Н.П.Вашкевич: учебное пособие. –
Пенза: Изд-во Пенз.гос.ун-та, 2004. – 280 с.: 50 ил., 24 табл., библиогр. 84
назв.
      Представлен основной математический аппарат, связанный с
формальным представлением параллельных управляющих алгоритмов в виде
модели недетерминированных автоматов (НДА) и эквивалентные
преобразования этой модели. В качестве основной модели НДА принята
система рекуррентных канонических уравнений, описывающих все
реализуемые в системе управления частные события и язык граф-схем
алгоритмов с параллельными ветвями. Эквивалентные преобразования
модели НДА базируются на использовании операций детерминизации,
минимизации, кодирования и композиции НДА. Рассмотрены методы
формального описания алгоритмов взаимодействия параллельных процессов,
связанных с их синхронизацией и обменом информацией. Формальные
представления алгоритмов взаимодействия процессами иллюстрируются на
базе решения «классических» задач управления процессами: обращение к
общему ресурсу для n процессов, производители-потребители, читатели-
писатели, обедающие философы, а также задач идентификации языков.
Рассмотрены также методы структурной реализации параллельных
алгоритмов.
      Пособие подготовлено на кафедре «Вычислительная техника»,
предназначено для студентов специальности 220100 при изучении ими
дисциплин «Теория автоматов» и «Недетерминированные автоматы в
системах логического управления», а также может быть использовано
студентами    всех специальностей       направления      «Информатика      и
вычислительная техника» при изучении ими родственных дисциплин.
      Учебное пособие подготовлено при выполнении фундаментальной
НИР по заказу Минобразования и науки РФ, шифр Т02-03,3-2476.
                                                                УДК 519.713
                                  Издательство    Пензенского   государственного
                                  университета, 2004
                                  Вашкевич Н.П., 2004

                                                                               2