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

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

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

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

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