Аналіз структурної організації систем автоматизованого проектування. Ефективність використання та розробка інформаційної технології керування цифровими пристроями з жорсткою логікою, продуктивність їх апаратної реалізації, кодування внутрішніх сигналів.
Аннотация к работе
ОДЕСЬКИЙ НАЦІОНАЛЬНИЙ ПОЛІТЕХНІЧНИЙ УНІВЕРСИТЕТ Автореферат дисертації на здобуття наукового ступеня кандидата технічних наук 05.13.12 - Системи автоматизації проектувальних робіт АВТОМАТИЗОВАНЕ ПРОЕКТУВАННЯ ЦИФРОВИХ КЕРУЮЧИХ ПРИСТРОЇВ Виконав Защелкін Костянтин Вячеславович Одеса - 2007 АНОТАЦІЯ автоматизований цифровий апаратний сигнал Защолкін К.В. Автоматизоване проектування цифрових керуючих пристроїв. Дисертаційна робота присвячена вирішенню науково-практичної задачі, що полягає в розробці ефективних моделей та методів, призначених для використання в САПР цифрових керуючих пристроїв (ЦКП). Визначено місце традиційних моделей керування ЦОС в цій класифікації. Запропоновані нові моделі низького та високого рівнів для ЦКП, позбавлені відзначених недоліків традиційних моделей. Запропонована інформаційна технологія втілена в САПР ЦКП. В більшості випадків існуючі інструментальні засоби автоматизованого проектування ЦКП у якості математичного апарату використовують моделі низького рівня - автомати Мілі, Мура, С-автомати, та моделі високого рівня - описи ЦКП основані на граф-схемах алгоритмів (ГСА). Наукова новизна отриманих результатів полягає в наступному: – вперше розроблені моделі низького рівня для ЦКП - абстрактні композиційні автомати, які сполучають властивості автоматів Мілі та Мура в часі (СT-автомат) та в часі й просторі виходів (СST-автомат); – дістав подальшого розвитку канонічний метод структурного синтезу цифрових автоматів шляхом його поширення на клас CST-автоматів з довільною кількістю виходів; – дістали подальшого розвитку графові моделі високого рівня для ЦКП, а саме, запропоновані моделі ПГСА (паралельна граф-схема алгоритму) та модифікована ПГСА (яка в роботі отримала назву “ГВ-ГСА”), які відрізняються від традиційних моделей видом відношення суміжності вершин, правилами визначення позицій змінної стану, способами формування значень змінної стану та вихідних сигналів ЦКП; – вперше розроблено методи синтезу ЦКП за його описом у вигляді ПГСА та модифікованої ПГСА, які засновані на переході до векторного композиційного СST-автомата з подальшим застосуванням до нього метода структурного синтезу; – дістали подальшого розвитку методи оптимального кодування внутрішніх станів цифрового автомата, а саме, запропоновано модифікації методу квадратичного кодування, засновані на використанні методів Монте-Карло, обмеженого пошуку в ширину та на введенні штучної надмірності в розмірність кодових комбінацій. Теоретичні положення та програмне забезпечення, отримані в рамках дисертаційних досліджень, впроваджені в навчальний процес кафедри “Компютерні інтелектуальні системи та мережі” Одеського національного політехнічного університету.