Информатика, вычислительная техника
ИНФОРМАТИКА,
ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
УДК 681.326; 681.32 <...> Н. П. Вашкевич
ПАРАЛЛЕЛЬНАЯ ДЕКОМПОЗИЦИЯ УПРАВЛЯЮЩИХ
АЛГОРИТМОВ С УЧЕТОМ ИХ НЕОПРЕДЕЛЕННОСТИ1
Аннотация. <...> Рассматривается методика эквивалентных преобразований управляющих алгоритмов с целью их разбиения на параллельные ветви. <...> Ключевые слова: управляющий алгоритм, параллельная декомпозиция, неполностью определенный алгоритм, матрица совместимости и включения. <...> Введение
Для многих практических управляющих алгоритмов функции переходов не всегда полностью определены, т.к. некоторые комбинации входных
сигналов на таких переходах никогда не возникают. <...> В связи с этим для таких
входных сигналов состояние перехода автомата может быть определено произвольно. <...> Это обстоятельство может быть использовано для разбиения
управляющего алгоритма на параллельные ветви при условии, что не надо
учитывать функции выходов автомата как не влияющих на функциональную
связность элементов памяти управляющего устройства, реализующего исходный алгоритм. <...> Вопросам параллельной декомпозиции управляющих алгоритмов посвящен ряд работ, которые базируются в основном на использовании методов
теории графов [1–3] и отличаются довольно значительной сложностью. <...> Данная работа базируется на использовании методики, рассмотренной в работах
автора [4, 5], в которых вопросы разбиения событий управляющего алгоритма на группы несовместимых событий решаются путем использования алгоритмического пошагового построения специальной матрицы включения. <...> Разбиение событий (состояний) на подмножества в рассматриваемой
работе, как будет показано в дальнейшем, приводит фактически к кодированию событий (состояний) исходного алгоритма управления. <...> Поволжский регион
код состояния одного из подавтоматов. <...> Задача заключается в том, чтобы
обеспечить однозначность кодирования, в соответствии с которым в каждый
момент времени работы алгоритма <...>