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

на группы несовместимых событий, что позволяет построить
распределенные системы параллельной обработки. Рассматриваются также
методы одноуровневой и двухуровневой структурной реализации систем
управления для унитарного способа кодирования частных событий.
      Шестая глава посвящена вопросам формализации алгоритмов
управления     взаимодействующими      процессами     для    организации
параллельной обработки информации. В главе в начале представлена
методика формализации простейших базовых структур управления
взаимодействующими процессами с использованием стандартного языка НД
СКУ. На основе базовых структур управления показана методика
формализации главной функции управления взаимодействующими
процессами – взаимоисключение критических интервалов (участков),
обеспечивающих доступ к общим разделяемым данным (общему ресурсу)
для 2-х и n процессов. В последующих разделах главы рассмотрены методы
формализации алгоритмов управления взаимодействующими параллельными
процессами, связанные с решением задач синхронизации процессов и
обменом сообщений. Методы формализации алгоритмов управления
процессами     иллюстрируются     на   примерах    решения     известных
«классических» задач: обращение к общему ресурсу для n процессов,
производители-потребители, читатели-писатели, обедающие философы. По
каждой задаче представлены все основные уравнения, определяющие
реализуемые в алгоритме частные события, которые могут быть взяты за
основу для практической структурной реализации системы управления.
      В седьмой главе рассматриваются вопросы проектирования алгоритмов
для решения задач идентификации языков. Представлена формулировка
различных задач распознавания цепочек-образов и методика разработки
алгоритмов для решения этих задач для однопроцессорной и
многопроцессорной реализации. Разработка параллельных алгоритмов
идентификации языков сопровождается соответствующим примером.
      В разделе «Заключение» приведены наиболее важные достоинства
способа формализации алгоритмов логического управления на разных
уровнях преобразования информации в вычислительных системах на основе
использования модели НДА и ее аналитического представления на языке НД
СКУ в виде систем канонических уравнений, описывающих все реализуемые
в алгоритме управления частные события.
      При создании учебного пособия предполагалось, что читателю
известны основные положения булевой алгебры, теории множеств, а также
методы минимизации булевых функций и основные понятия конечных
цифровых автоматов и синтеза комбинационных схем. Работа имеет
прикладной характер, поэтому в ней отсутствуют какие-либо теоремы,
связанные с теорией эквивалентных преобразований. В связи с этим все
основные     положения,    излагаемые    в   пособии,    иллюстрируются
соответствующими примерами.


                                                                       5