За результатами теоретичних і експериментальних досліджень запропоновано нові структури та формальні методи синтезу керувальних автоматів з "жорсткою" логікою (АЖЛ). Показано, що оптимізація апаратурних витрат у схемах формування змінних може бути одержана у разі використання методу кодування наборів фрагмента змінних. Запропоновано застосовувати метод кодування наборів фрагмента змінних у структурах керуючого автомату Мілі з кодуванням наборів мікрооперацій та кодуванням рядків прямої структурної таблиці, а також у структурах керуючого автомата Мура з кодуванням наборів мікрооперацій та з кодуванням класів псевдоеквівалентних станів. Розроблено нові структури та методи синтезу для структур автоматів Мілі та Мура з кодуванням наборів фрагмента змінних. Використання запропонованих методів дозволяє зменшити апаратурні витрати у схемах автомата Мілі до 20 % та у схемах автомата Мура до 10 % у порівнянні з відомими структурами. Одержано результати аналітичного оцінювання ефективності запропонованих структур АЖЛ у аспекті апаратурних витрат як функції від параметрів граф-схеми алгоритму. За результатами дослідження визначено область ефективного використання запропонованих структур мікропрограмних автоматів.

  Скачати повний текст

За результатами теоретичних і експериментальних досліджень створено нові структури та формальні методи синтезу композиційних мікропрограмних пристроїв керування. Показано, що можна одержати оптимізацію апаратурних витрат у схемі формування адреси мікрокоманди за умов використання методів багаторівневої реалізації автоматів з "жорсткою" логікою, яких необхідно адаптувати до особливостей композиційних мікропрограмних пристроїв керування. Запропоновано використовувати методи кодування логічних умов, перетворення номерів переходів, кодів станів, кодів операторних лінійних ланцюгів та їх класів, а також адреси мікрокоманд. Розроблено нові структури та методи синтезу для всіх відомих композиційних мікропрограмних пристроїв керування. Показано, що використання запропонованих методів дає змогу зменшити апаратурні витрати в схемі автомата адресації на 12 - 42 % у порівнянні з відомими методами синтезу. Одержано аналітичні оцінки складності апаратурних витрат у схемах пристроїв керування як функції від параметрів граф-схеми алгоритму. На підставі результатів дослідження визначено область ефективного використання запропонованих структур композиційних мікропрограмних пристроїв керування.

  Скачати повний текст

Запропоновано моделі та виділено класи безпечних автоматів. Визначено табличні та графічні методи завдання безпечних автоматів. Висвітлено методи синтезу безпечних автоматів з функціональною деградацією. Досліджено мову та технологію програмування безпечних програмованих логічних інтегральних схем (ПЛІС)-контролерів. Надано формальний опис алфавіту та синтаксису даної мови THDL. Встановлено процедуру й інструментальні засоби програмування безпечних ПЛІС-контролерів. Розроблено та впроваджено мікроелектронну систему централізації на базі безпечних ПЛІС-контролерів з паралельною архітектурою для залізниць та метрополітенів.

  Скачати повний текст