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

Інформація × Реєстраційний номер 0416U002898, Кандидатська дисертація На здобуття к.т.н. Дата захисту 16-06-2016 Статус Запланована Назва роботи Синтез дискретних пристроїв на основі використання булевих функцій в ортогональній формі представлення Здобувач Бурмістров Сергій Владиславович, Керівник Півень Олег Борисович Опонент Семенов Сергій Геннадійович Опонент Корченко Анна Олександрівна Опис В дисертації вирішено важливу науково-технічну задачу підвищення якості дискретних пристроїв на основі розробки методу мінімізації булевих функцій з великим числом аргументів в ортогональній формі представлення: 1. Вперше побудовано модель булевої функції в ортогональній формі представлення шляхом встановлення генетичних фрактальних взаємозв'язків між материнськими та дочірніми булевими функціями на основі розробленої класифікації підмножин всередині повної множини булевих функцій. 2. Вперше розроблено метод мінімізації булевих функцій в ортогональній формі представлення, що забезпечило зменшення часу мінімізації. На основі реалізації методу побудовано апаратно-програмний комплекс для мінімізації повністю- або часткововизначених булевих функцій та систем булевих функцій в ортогональній формі представлення 3. Отримала подальший розвиток найбільш трудомістка частина методів синтезу дискретних пристроїв - напрям мінімізації булевих функцій, побудований на основі використання паралельної декомпозиції булевих функцій в ортогональній формі представлення шляхом обробки стовпчиків та рядків таблиці істинності булевих функцій як основного об'єкту під час мінімізації з використанням введеного критерію мінімізації - базисного коефіцієнта. 4. На підставі проведених досліджень одержано такі практичні результати: -запропоновано структурну модель булевих функцій в ОРФП, яка в порівнянні з іншими формами представлення дає можливість при збереженні значень коефіцієнтів складності реалізації SL, SAD, покращити значення коефіцієнта SS в 2 рази; -розроблено метод мінімізації булевих функцій в ОРФП - матричний метод паралельної декомпозиції, що дає можливість прискорити в 4,7 рази процес мінімізації булевих функцій з великим числом аргументів порівняно з попередніми модифікаціями методів паралельної декомпозиції шляхом збільшення або зменшення значення базисного коефіцієнта К; -на основі методу мінімізації булевих функцій побудовано програмний комплекс, який дає можливість автоматично отримувати схеми дискретних пристроїв, що описуються повністю- або часткововизначеними булевими функціями та повністю- або часткововизначеними системами булевих функцій. При розробці комплексу застосовано розпаралелювання процесу мінімізації, що на порядки прискорює час мінімізації; -розроблено схему пристрою криптографічного захисту інформації із застосуванням структурної моделі булевих функцій, класифікації підмножин всередині повної множини булевих функцій, програмного комплексу мінімізації. Результати досліджень впроваджені на підприємствах та організаціях Міністерства освіти і науки України. Дата реєстрації 2016-06-16 Додано в НРАТ 2020-04-03 Закрити