Запропоновано поняття базової групи; класифікацію структурних кодів на основі базових груп; альтернативні структурні коди; характеристики для оцінки властивостей структурних кодів; поняття підмножини пріоритетів; показники оцінки потужності підмножин пріоритетів, класифікацію альтернативних форм представлення логічних функцій на основі підмножин пріоритетів. Розроблено матрично-аналітичний метод синтезу структурних кодів; математичний апарат розрахунку характеристичних оцінок структурних кодів та визначення систем обчислення; метод перетворення, контролю та корекції інформації в альтернативних структурних кодах; алгоритм виявлення та виправлення помилок під час реконфігурації інформації; метод мінімізації логічних функцій у формі поліномів Ріда - Мюллера; розв'язання класичної задачі мінімізації логічних функцій у формі поліномів Жегалкіна шляхом зведення її до задачі лінійного програмування; метод синтезу цифрових пристроїв за умовами надійності; функціональну схему арифметико-логічного пристрою мікропроцесорної системи, як практичну реалізацію запропонованого методу. Центральними процедурами методу синтезу цифрових пристроїв за умовами надійності є: вибір базової групи та синтез структурних кодів на її основі та вибір форм представлення логічних функцій. Відзначено, що реалізація методу дає змогу розширити кількість форм представлення інформації для створення гнучкої відмовостійкої системи керування, яка має реконфігуровану інформаційну структуру, здатність адаптації до розв'язуваних задач і моделі помилок. Ефективність запропонованого методу синтезу цифрових пристроїв обгрунтовано результатами теоретичних розрахунків, що показали можливість підвищення ймовірності безвідмовної роботи схемолітичної реалізації до 25 %.

  Завантажити