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

Автореферат дисертації на здобуття наукового ступеня доктора технічних наук Теоретичні основи, методи та засоби функціонального діагностування вузлів обчислювальних пристроїв з використанням природної надмірності при виконанні приблизних обчисленьНауковий консультант: доктор технічних наук, професор Романкевич Олексій Михайлович, Національний технічний університет “КПІ”, професор кафедри “Спеціалізовані компютерні системи”. Офіційні опоненти: доктор технічних наук, професор Власенко Віктор Олексійович, Університет Ополе, Польща, завідувач кафедри технології; доктор технічних наук, професор Тоценко Віталій Георгійович, Інститут проблем реєстрації інформації НАН України, завідувач відділом надійності та технічної діагностики; доктор технічних наук, професор Харченко Вячеслав Сергійович, Національний аерокосмічний університет ім. Провідна установа: Інститут проблем математичних машин та систем, відділ теорії надійності та ефективності засобів обчислювальної техніки, Національна академія наук України, м. Захист відбудеться 23 жовтня 2003 р. о 1330 годині на засіданні спеціалізованої вченої ради Д 41.052.01 Одеського національного політехнічного університету за адресою: 65044, м.Розвиток ФД цифрових схем ОП, зобовязано працям таких учених, як Гуляєв В.А., Діаз М., Зоріан Є., Картер В., Ніколаідіс М., Метц Ж, Романкевич О.М., Пархоменко П.П., Путинцев М.Д., Тоценко В.Г., Селлерс Ф., Согомонян Є.С., Харченко В.С., Шнейдер П., Щербаков М. С. та ін., що зробили значний внесок у теорію і практику технічної діагностики, розробку й оцінку методів і засобів контролю (ЗК) дискретних пристроїв, виявлення й використання природних форм надмірності для підвищення ефективності цих методів. Достовірність функціонування ОП перестає адекватно відбивати достовірність результатів, що при справному ОП може бути знижена через втрату точності при округленні даних і підвищується за рахунок одержання достовірних результатів при несправностях ОП. Метою дисертаційної роботи є розробка теоретичних основ, методів та засобів функціонального діагностування ОП для підвищення достовірності контролю результатів приблизних обчислень, що забезпечується за рахунок виявлення та використання особливостей організації та функціонування ОП, які складають природні ресурси контролю. розроблені методи контролю за забороненим значенням результатів арифметичних операцій, контролю на обмеженій множині вхідних слів, логарифмічного контролю, контролю по нерівностях та поелементного контролю, що використовують ПРК для спрощення ЗК і підвищення достовірності контролю результатів приблизних обчислень шляхом зниження ймовірності відбраковування достовірних результатів. Одержали подальший розвиток оцінки достовірності результатів приблизних обчислень та достовірності їх контролю, що вказують на нові умови ФД, при яких достовірність результатів відрізняється від достовірності функціонування ОП, а метод контролю виявляє нову властивість відбраковувати достовірні результати, що знижує ефективність традиційних методів контролю.У моделі точних обчислень достовірність функціонування ОП ототожнюється з достовірністю результатів обчислень, губиться першорядність достовірності результатів, що стає лише засобом оцінки достовірності функціонування ОП. Основний метод - контроль за модулем - у 50% випадків виявлення помилок (що відбувається у відкинутих розрядах) відбраковує правильний результат. Назріла необхідність розробки теоретичних основ і методів ФД ОП, спрямованих на вирішення задачі підвищення достовірності контролю результатів при виконанні приблизних обчислень, що містить: виведення аналітичних залежностей для оцінки достовірності контролю результатів приблизних обчислень методами ФД; визначення класу скорочених арифметичних операцій, що збільшують ймовірність KT та методу їх контролю для зниження ймовірності відбраковування достовірних результатів; розробку методів контролю, що забезпечують оцінку величини помилки і знижують ймовірність відбраковування достовірних результатів за рахунок різної ймовірності виявлення суттєвих і несуттєвих помилок.Обєктивний хід розвитку ОТ, що супроводжується природними процесами розпаралелювання обчислень і підвищення розмірності розвязуваних задач, веде до домінування нормальної форми представлення даних і обумовленої нею обробки приблизних даних.

2. Основний зміст роботи