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