Пошук академічних текстів

Інформація × Реєстраційний номер 0217U007465, 0117U004098 , Науково-дослідна робота Назва роботи Методологічні аспекти синтезу мікропрограмного автомата з операційним автоматом переходів Назва етапу роботи Керівник роботи Бабаков Роман Маркович, Дата реєстрації 15-01-2018 Організація виконавець Донецький національний університет імені Василя Стуса Опис етапу Звіт з НДР: 97 с., 25 рис., 6 табл., 48 посилань. Об'єкт дослідження: методологія синтезу мікропрограмного автомата з операційним автоматом переходів (МПА з ОАП). Мета роботи: визначення поняття методології синтезу МПА з ОАП; визначення основних етапів структурного синтезу; постанова задачі алгебраїчного синтезу МПА з ОАП; структурне представлення процесу алгебраїчного синтезу; розробка підходів, що можуть бути використані в процесі алгебраїчного синтезу МПА з ОАП; розробка метода алгебраїчного синтезу МПА з ОАП. Отримані результати: запропоновано розділити процес структурного синтезу МПА з ОАП на два етапи: алгебраїчний синтез і синтез логічної схеми автомата відповідно до результатів алгебраїчного синтезу. Сформульовано задачу алгебраїчного синтезу МПА з ОАП, яка полягає у вирішенні системи ізоморфізмів абстрактних, структурних та проміжних алгебр автомата. Зазначено, що у загальному випадку для заданого автомата можливе формування безлічі різних систем ізоморфізмів, кожна з яких являє собою формальний розв'язок задачі алгебраїчного синтезу. Уведено поняття множини ефективних розв'язків задачі алгебраїчного синтезу, яка є підмножиною множини формальних розв'язків, і містить лише ті розв'язки, які дозволяють одержати логічну схему МПА з ОАП, більш ефективну за апаратурними витратами, ніж схема еквівалентного МПА з канонічною структурою. Уведене поняття методу алгебраїчного синтезу МПА з ОАП, під яким розуміється певна послідовність етапів, що дозволяє отримати формальний розв'язок задачі алгебраїчного синтезу. Запропоновано представляти процес алгебраїчного синтезу МПА з ОАП у вигляді структури, що відбиває причинно-наслідкові зв'язки між елементами системи ізоморфізмів алгебр автомата. Відповідно до цього розроблено ряд структур, що характеризують даний процес із погляду вхідних даних і результатів. Відзначено, що у загальному випадку одна структура може характеризувати множину методів синтезу, що мають загальні риси, властиві даної структурі. Під методологією алгебраїчного синтезу МПА з ОАП пропонується розуміти окрему наукову область, що містить сукупність теоретичних і практичних питань, пов'язаних із алгебраїчним синтезом МПА з ОАП. В рамках даної методології розроблено ряд підходів, що можуть бути використані у складі методів алгебраїчного синтезу МПА з ОАП: скорочений перебір варіантів кодування станів та операцій переходів; використання транзитних станів; примусове збільшення розрядності коду стану автомата; урахування частоти автоматних переходів. Розроблений та проілюстрований на прикладі метод алгебраїчного синтезу МПА з ОАП, що базується на запропонованих підходах. Ключові слова: МІКРОПРОГРАМНИЙ АВТОМАТ З ОПЕРАЦІЙНИМ АВТОМАТОМ ПЕРЕХОДІВ, МЕТОД СТРУКТУРНОГО СИНТЕЗУ, ЗАДАЧА АЛГЕБРАЇЧНОГО СИНТЕЗУ, ФОРМАЛЬНЕ РІШЕННЯ, МЕТОДОЛОГІЯ АЛГЕБРАЇЧНОГО СИНТЕЗУ, СТРУКТУРНЕ ПРЕДСТАВЛЕННЯ ПРОЦЕСУ СИНТЕЗУ, ТРАНЗИТНІ СТАНИ, КОДУВАННЯ СТАНІВ, ОПЕРАЦІЇ ПЕРЕХОДІВ Опис продукції Метод алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів дозволяє сформувати систему ізоморфізмів абстрактних, структурних та проміжних алгебр, отримавиши, таким чином, формальне рішення задачі алгебраїчного синтезу даного класу мікропрограмних автоматів. Даний метод може бути виористаний у складі спеціалізованих САПР синтезу цифрових пристроїв керування, орієнтованих на використання елементного базису мікросхем програмувальної логіки. Автори роботи Вєтров Олег Станіславович Додано в НРАТ 2020-04-02 Закрити