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

Інформація × Реєстраційний номер 2124U009205, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи АЛГОРИТМІЧНІ ВІДМІННОСТІ ПОВНОГО І ЧАСТКОВОГО АЛГЕБРАЇЧНОГО СИНТЕЗУ МІКРОПРОГРАМНОГО АВТОМАТА З ОПЕРАЦІЙНИМ АВТОМАТОМ ПЕРЕХОДІВ Автор Бабаков Р. М.Баркалов О. О.Тітаренко Л. О.Войтенко М.О.Babakov R. M.Barkalov A. A.Titarenko L. A.Voitenko M. O. Дата публікації 26-12-2024 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/316215 Видання National University "Zaporizhzhia Polytechnic" Опис Актуальність. Розглянуто задачу алгоритмізації пошуку формальних розв’язків задачі алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів. Запропоновано поняття повного та часткового розв’язків цієї задачі. Об’єктом дослідження є автоматизований синтез автомата в частині функції переходів без урахування функції виходів. В основі алгебраїчної реалізації функції переходів знаходиться авторський підхід до перетворення кодів станів за допомогою множини арифметикологічних операцій. Пошук формальних розв’язків задачі алгебраїчного синтезу є складним процесом, що потребує використання відповідних методів і алгоритмів, спрямованих на спеціальне кодування станів та зіставлення операцій переходів окремим автоматним переходам. Використання часткових розв’язків задачі алгебраїчного синтезу може сприяти зменшенню часу роботи таких алгоритмів та зменшенню загального часу проектування цифрових пристроїв керування на базі мікропрограмного автомата з операційним автоматом переходів. Мета. Розробка і дослідження алгоритмів пошуку повного і часткового розв’язків задачі алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів. Метод. В основу дослідження покладено структуру мікропрограмного автомата з операційним автоматом переходів. Синтез схеми автомата передбачає попереднє розв’язання задачі алгебраїчного синтезу. Результатом є так званий формальний розв’язок цієї задачі, який містить в собі дві складових. Першою складовою є визначені коди станів, другою складовою – арифметико-логічні операції, зіставлені окремим автоматним переходам. Автомат може бути синтезований в тому випадку, якщо при заданих кодах станів їх перетворення в процесі виконання переходів можливе за допомогою заданої множини операцій. Перевірка цієї можливості здійснюється за допомогою відомого матричного підходу. Від передбачає формування і поелементне зіставлення двох матриць – матриці переходів і об’єднаної матриці операцій. В результаті формується матриця покриття, яка відображає можливість реалізації (покриття) автоматних переходів за допомогою заданих арифметико-логічних операцій. Зміна способу кодування станів або набір операцій може давати інші розв’язки задачі алгебраїчного синтезу з більшою чи меншою кількістю покритих автоматних переходів. Результати. На прикладі абстрактної граф-схеми алгоритму керування продемонстровано, що розв’язком задачі алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів може вважатись ситуація, коли один або більше автоматних переходів не можуть бути реалізовані за допомогою заданого набору операцій. Таку ситуацію запропоновано називати частковим розв’язком задачі алгебраїчного синтезу. Реалізація усіх без винятку переходів за допомогою заданих операцій дає повний розв’зок цієї задачі, однак кількість повних розв’язків завжди є значно меншою за кількість часткових розв’язків. Отже, в загальному випадку пошук повних розв’язків займає набагато більше часу і до того ж є не завжди можливим. Висновки. Проєктування логічної схеми мікропрограмного автомата з операційним автоматом переходів можливе у випадку наявності повного або часткового розв’язку задачі алгебраїчного синтезу. У випадку часткового розв’язку ті переходи, які не можуть бути реалізовані жодною з наявних операцій, реалізуються в канонічний спосіб за допомогою системи булевих рівнянь. Пошук повних розв’язків в загальному випадку потребує більше часу, ніж пошук часткових розв’язків. Це робить актуальним розробку алгоритмів і методів синтезу даного класу автоматів, основаних на пошуку часткових розв’язків задачі алгебраїчного синтезу. Додано в НРАТ 2026-02-15 Закрити