Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 241 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

241
языка РВАС . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.2. Построение СКУ по регулярному выражению
алгебры событий и ее детерминизация . . . . . . . . . . . . .
4.2. Язык исчисления предикатов первого порядка . . . . . . . . . . . .
4.2.1. Описание регулярных выражений алгебры событий
рекурсивными предикатами . . . . . . . . . . . . . . . . . . . . . .
4.2.2. Формализация словесных алгоритмов, определяю
щих реализуемые в цифровом автомате
события, на основе использования языка
исчисления предикатов первого порядка . . . . . . . . . . .
4.2.3. Построение СКУ по описанию алгоритма
обработки информации, представленным на языке исчисления
предикатов первого порядка . . . . . . . . . . .
4.2.4. Пример синтеза абстрактного цифрового автомата
с использованием языка исчисления предикатов
первого порядка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Язык граф-схем алгоритмов (ГСА) . . . . . . . . . . . . . . . . . . . . . .
4.3.1. Общие сведения о языке ГСА . . . . . . . . . . . . . . . . . . . . .
4.3.2. Построение таблиц переходов и СКУ по ГСА . . . . . . .
4.4. Логические схемы алгоритмов (ЛСА) . . . . . . . . . . . . . . . . . . .
4.4.1. Общие сведения о языке ЛСА
4.4.2. Построение таблиц переходов и СКУ по ЛСА . . . . . . .
4.5. Язык операторных схем алгоритмов
с параллельными ветвями (ОСАП) . . . . . . . . . . . . . . . . . . . . . .
4.5.1. Общие сведения о языке ОСАП . . . . . . . . . . . . . . . . . . .
4.5.2. Основные конструкции, вводимые
в языке ГСАП . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.3. Построение таблиц переходов и СКУ для цифро
вых автоматов, заданных на языке ГСАП . . . . . . . . . . .
Глава 5. Структурный синтез систем микропрограммного управления (МПУ),
заданных моделью НДА . . . . . . . . . . . . . . . . . . . . . .
5.1. Структурная реализация систем МПУ на основе
разбиения частных событий на группы
несовместимых событий . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.1. Преобразование структуры управляющего
алгоритма, представленного моделью НДА,
для построения распределенной системы МПУ
параллельной обработки . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.2. Методика разбиения частных событий на
группы несовместимых событий для управляющего
алгоритма, заданного моделью НДА . . . . . . . . . . . . . . . 
                 языка РВАС . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
          4.1.2. Построение СКУ по регулярному выражению
                 алгебры событий и ее детерминизация . . . . . . . . . . . . .
    4.2. Язык исчисления предикатов первого порядка . . . . . . . . . . . .
          4.2.1. Описание регулярных выражений алгебры событий
                 рекурсивными предикатами . . . . . . . . . . . . . . . . . . . . . .
          4.2.2. Формализация словесных алгоритмов, определяю
                 щих реализуемые в цифровом автомате
                 события, на основе использования языка
                 исчисления предикатов первого порядка . . . . . . . . . . .
          4.2.3. Построение СКУ по описанию алгоритма
                 обработки информации, представленным на языке исчисления
                 предикатов первого порядка . . . . . . . . . . .
          4.2.4. Пример синтеза абстрактного цифрового автомата
                 с использованием языка исчисления предикатов
                 первого порядка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
    4.3. Язык граф-схем алгоритмов (ГСА) . . . . . . . . . . . . . . . . . . . . . .
          4.3.1. Общие сведения о языке ГСА . . . . . . . . . . . . . . . . . . . . .
          4.3.2. Построение таблиц переходов и СКУ по ГСА . . . . . . .
    4.4. Логические схемы алгоритмов (ЛСА) . . . . . . . . . . . . . . . . . . .
          4.4.1. Общие сведения о языке ЛСА
          4.4.2. Построение таблиц переходов и СКУ по ЛСА . . . . . . .
    4.5. Язык операторных схем алгоритмов
         с параллельными ветвями (ОСАП) . . . . . . . . . . . . . . . . . . . . . .
          4.5.1. Общие сведения о языке ОСАП . . . . . . . . . . . . . . . . . . .
          4.5.2. Основные конструкции, вводимые
                  в языке ГСАП . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
          4.5.3. Построение таблиц переходов и СКУ для цифро
                 вых автоматов, заданных на языке ГСАП . . . . . . . . . . .
Глава 5. Структурный синтез систем микропрограммного управления (МПУ),
          заданных моделью НДА . . . . . . . . . . . . . . . . . . . . . .
   5.1. Структурная реализация систем МПУ на основе
         разбиения частных событий на группы
         несовместимых событий . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
         5.1.1. Преобразование структуры управляющего
                алгоритма, представленного моделью НДА,
                для построения распределенной системы МПУ
                параллельной обработки . . . . . . . . . . . . . . . . . . . . . . . . .
         5.1.2. Методика разбиения частных событий на
                группы несовместимых событий для управляющего
                алгоритма, заданного моделью НДА . . . . . . . . . . . . . . .

                                                                                              241

Страницы