Анотація до роботи:

Тарасенко-Клятченко О.В. Автокоригуючі властивості та достовірність роботи логічних функціональних перетворювачів інформації. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 “Елементи та пристрої обчислювальної техніки та систем керування”. – Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, Київ, 2004.

Дисертація присвячена дослідженню латентного явища автокорекції значень перемикальних функцій, що описують роботу логічних функціональних перетворювачів інформації, яке полягає в правильному формуванні їх значень при наявності детермінованих спотворень їх аргументів. Створена система показників і методів оцінки рівня розвитку автокоригуючих властивостей перемикальних функцій, запропоновані методи підвищення достовірності роботи логічних функціональних перетворювачів інформації та критерії ефективності врахування явища автокорекції. Розроблені програмні засоби, що дозволяють автоматизувати найбільш складні етапи проектування логічних функціональних перетворювачів з врахуванням явища автокорекції.

Зміст розділів роботи свідчить про те, що в роботі поставлена і розв’язана задача дослідження автокоригуючих властивостей двозначних та багатозначних перемикальних функцій і створення методів оцінки та підвищення достовірності роботи ЛФП з врахуванням автокоригуючих властивостей перемикальних функцій. При цьому отримані наступні наукові результати.

1. Показана суть латентного явища автокорекції значень перемикальних функцій, яке полягає в правильному формуванні значень цих функцій при наявності детермінованих спотворень їх аргументів. Запропонована методика розрахунку ймовірності безпомилкової роботи ЛФП та критерії ефективності врахування явища автокорекції, що поліпшує показники достовірності функціонування ЛФП.

2. Вперше запропоновані чисельні показники автокоригуючих здатностей двозначних та багатозначних перемикальних функцій. Розроблені методи оцінки повної абсолютної та відносної автокоригуючої здатності перемикальних функцій з врахуванням ймовірностей однократних та багатократних детермінованих спотворень аргументів, що дозволяє проводити порівняння рівнів розвитку автокоригуючих властивостей перемикальних функцій при наявності в ЛФП вхідних спотворень.

3. Для класів ЛФП, які реалізують порозрядні та комутативні функції, а також для функцій переходів елементарних автоматів вперше запропоновано методи значного скорочення перебору варіантів ймовірностей реалізації систем логічних функцій з врахуванням явища автокорекції, що в кінцевому підсумку зменшує ймовірність отримання помилкового результату в декілька разів.

4. Запропонований метод підвищення достовірності роботи ЛФП, що реалізують неповністю визначені двозначні логічні функції, за рахунок такого довизначення функцій, яке максимізує їх показники автокоригуючої здатності і, як наслідок, мінімізує ймовірність помилкового результату.

5. Вперше показано, що при додаванні послідовностей неточних операндів автокорекція проявляється як автокомпенсація трансформованих помилок, причому врахування цього явища дозволяє збільшити як мінімум вдвічі довжину допустимої послідовності операндів.

6. Розроблені програмні засоби для оцінки автокоригуючих здатностей двозначних перемикальних функцій довільного числа аргументів, а також для найкращого, відносно мінімума ймовірності помилкового результату, довизначення неповністю визначених перемикальних функцій, що дає можливість автоматизувати проектування ЛФП з врахуванням автокорекції, де висока достовірність роботи досягається без введення інформаційної надмірності.

Публікації автора:

1. Тарасенко В.П., Тарасенко-Клятченко О.В. Метод оценки автокорректирующих свойств поразрядных логических операцій // Радиоэлектроника и информатика. – 2001. - № 1 (14). – С. 83-86.

2. Тарасенко В.П., Тарасенко-Клятченко О.В. Автокомпенсация трансформированных ошибок при суммировании неточных операндов // Электронное моделирование. – 2001. -Т. 23, № 4. - С. 75-79.

3. Михайлюк А.Ю., Тарасенко-Клятченко О.В. Автокоригуючі властивості логічних операцій // Вимірювальна та обчислювальна техніка в технологічних процесах. - 2000. - № 7. - С. 196-198.

4. Тарасенко-Клятченко О.В. Сравнительный анализ корректирующих свойств переключательных функций // Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні. – 2002. - № 5. - С. 189-194.

5. Тарасенко В.П., Тарасенко-Клятченко О.В. Автокоригуючі властивості k-значних логічних операцій // Вимірювальна та обчислювальна техніка в технологічних процесах. - 2001. - № 8. - С. 334-337.

6. Tarasenko-Klyatchenko O.V. The Comparative Analysis of Correcting Properties of Switching Functions // Proceedings of the 7-th International Conference “The experience of designing and application of CAD Systems in Microelectronics”. – 2003. - Р. 232-234.

7. Тарасенко В.П., Тарасенко-Клятченко О.В. Підвищення достовірності реалізації неповністю визначених логічних функцій // Наукові вісті НТУУ ”КПІ”. – 2003. - № 4. - С. 59-63.