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

Краткое описание

Дрозд Олександр Валентинович. Теоретичні основи, методи та засоби функціонального діагностування вузлів обчислювальних пристроїв з використанням природної надмірності при виконанні приблизних обчислень: дисертація д-ра техн. наук: 05.13.05 / Одеський національний політехнічний ун-т. - О., 2003

Дрозд Олександр Валентинович. Теоретичні основи, методи та засоби функціонального діагностування вузлів обчислювальних пристроїв з використанням природної надмірності при виконанні приблизних обчислень. рукопис. Дисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.13.05 Елементи і пристрої обчислювальної техніки та систем керування. Одеський національний політехнічний університет, Одеса, 2003.
Дисертація присвячена створенню теоретичних основ, методів та засобів функціонального діагностування (ФД) сучасних обчислювальних пристроїв (ОП) для підвищення достовірності контролю результатів при виконанні приблизних обчислень. Одержано оцінки, які свідчать про суттєве зниження достовірності контролю результатів для сучасних методів ФД, що демонструють нову властивість відбраковувати достовірні результати приблизних обчислень. Запропоновано пороговий та імовірнісний підходи для підвищення достовірності контролю результатів. Сформульована концепція використання природних ресурсів контролю (ПРК). Виділено клас скорочених арифметичних операцій та розроблено поширений на них узагальнений метод контролю за модулем з підвищенням достовірності контролю результатів. Запропоновано методи ФД, що використовують ПРК для спрощення засобів контролю та підвищення достовірності контролю результатів.

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