В дисертаційній роботі вирішена важлива науково-технічна задача підвищення швидкодії арифметичних пристроїв шляхом розробки нового методу додавання на основі взаємокомпенсації переносів. Даний метод дозволив забезпечити високу швидкодію і надійність функціонування цифрових пристроїв за рахунок введення інформаційної та апаратної надлишковості. 1. Проведений аналіз сучасного стану та тенденцій розвитку елементної бази, методів та засобів забезпечення швидкодії та відмовостійкості цифрових пристроїв й елементів показав, що одним з найбільш перспективних шляхів вирішення поставленої задачі є введення інформаційної надлишковості на основі природно-надійних структурно-блочних кодів, які дозволяють розробляти принципово нові методи і алгоритми виконання арифметичних операцій. 2. Для вирішення протиріч між надлишковістю, складністю й надійністю, швидкодією й контролем інформації доведено аналітичні залежності для оцінки характеристик структурно-блочних кодів та пристроїв на їх основі, які забезпечили можливість вдосконалити матрично-аналітичний метод синтезу кодів за рахунок розширення можливості синтезу та аналізу кодів із основою більше двох. 3. На основі результатів використання запропонованих методів синтезу правил додавання та їх реалізації було вибрано трійковий структурно-блочний код мінімальної інформаційної надлишковості, тому що лише він дозволив розробити метод додавання на основі взаємокомпенсації переносів. Суть запропонованого методу полягає в тому, що переноси з парних і непарних розрядів, які взаємокомпенсуються, в сукупності з мікроконвеєрним виконанням операції значно підвищують швидкодію арифметичних пристроїв. 4. Аналіз побудованих математичних моделей пристроїв додавання та нормалізації із взаємокомпенсацією переносів для різних варіантів перекодування дозволив вибрати системи числення найбільш придатні для практичної реалізації. За результатами оцінки складності математичних моделей встановлено, що варіант перекодування по критерію «швидкодія-складність» та варіант перекодування {001, 010, 100} по критерію «швидкодія-складність-достовірність» можна вважати найбільш ефективними. 5. Для комплексного використання інформаційної надлишковості перекодованих систем числення побудовано математичні моделі пристроїв контролю, які розширяють контролюючі можливості пристроїв за рахунок найбільш повного використання інформаційної надлишковості й особливостей отриманих кодів. 6. Впровадження результатів дисертаційної роботи на підприємствах машинобудівної галузі підтвердило достовірність отриманих методів та методик. | 