Достоинство формального языка, основанного на концепции недетерминизма, при структурной реализации параллельных систем логического управления процессами и ресурсами

недетерминированные автоматы алгоритмы логического управления параллельная декомпозиция управляющие алгоритмы

Модель развития фреттинг-коррозии в поверхностном слое листа рессоры, Определение полных динамических характеристик средств измерений с применением рекуррентных процедур, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт