Проектирование параллельных алгоритмов в задачах идентификации. Вашкевич Н.П - 40 стр.

использованием кнопки "S0" задается начальное множество состояний ( переводом из ок-
на "пассивные" в окно "активные" ). С этого момента производится моделирование алго-
ритма для всей сформированной входной последовательности, после чего можно моди-
фицировать входную последовательность добавлением, удалением или вставкой входных
сигналов. Входную последовательность можно сохранить в файле ( расширение .sgn ) для
последующей работы ( кнопка "сохранить сигналы" ) и загрузить из файла ( кнопка "за-
грузить сигналы" ). Результаты моделирования можно сохранить в файле ( кнопка "отчет
о моделировании" ). По умолчанию результаты моделирования представляются верти-
кальной таблицей, но возможна и горизонтальная таблица ( кнопка "горизонтальная таб-
лица" ). С помощью кнопки "закрыть" окно моделирования закрывается.
      При выборе пункта "Моделирование" и подпункта "по шагам" открывается окно в
котором можно с использованием соответствующих кнопок установить входной сигнал
на шаге алгоритма, задать множество начальных состояний, выполнить шаг моделирова-
ния, вернуться назад на шаг, сохранить историю переходов и выйти из окна моделирова-
ния.
      При выборе пункта "Преобразования" и подпункта "детерминизация" открывается
окно содержащее три вкладки. Вкладка "общее" дает общую информацию по алгоритму.
Вкладка "алфавит" позволяет просмотреть алфавиты состояний и входных сигналов.
Вкладка "главная" позволяет выполнить детерминизацию алгоритма. Для этого вначале с
использованием кнопки S0 ( "установить исходное событие" ) необходимо установить,
перенеся из правого окна в левое все события, которые в начальный момент времени рав-
ны единице. Затем нажать кнопку "детерминизация". При обнаружении ошибок выдается
сообщение, в соответствие с которым нужно внести исправления в алгоритм. Если детер-
минизация прошла успешно, о чем выдается сообщение, то нажав кнопку "сформировать
таблицу" получаем детерминированный алгоритм на языке ТПиВ. Если предварительно
установить checkbox "разрешить преобразование имен", а в текстовом поле справа задать
шаблон имени, то в таблице детерминированного алгоритма будет произведена подста-
новка вместо сочетаний событий параллельного алгоритма соответствующего события
последовательного алгоритма. С использованием радиокнопок можно установить тип
триггера с учетом которого производится детерминизация.
   Как и в любом приложении под OC WINDOWS в главном окне ниже основного меню
располагается контекстно - зависимая панель инструментов, позволяющая получить бы-
стрый доступ к пунктам меню. Поддерживается также вызов контекстного меню при на-
жатии правой кнопки мышки.
                                  5 ЛИТЕРАТУРА
1.    Вашкевич Н. П. Синтез микропрограммных управляющих автоматов: Учеб. посо-
бие. - Пенза: Пенз. политехн. ун-т, 1990. - 115 с.
2.    Вашкевич Н. П., Вашкевич С. Н. Недетерминированные автоматы и их использова-
ние для синтеза систем управления: Учеб. пособие. - Пенза: Пенз. государст. техн. ун-т,
1996. - 88 с.
3.    Глушков В. М. Синтез цифровых автоматов. - М.: Физматгиз, 1962. - 476 с.
4.    Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алго-
ритмов. - М.: Мир, 1979. - 535 с.
5.    Foster Ian "Designing and Building Parallel Programs": Конспект лекций. Электронный
адрес - www.mcs.anl.gov.




                                           40