Библиотека диссертаций Украины Полная информационная поддержка
по диссертациям Украины
  Подробная информация Каталог диссертаций Авторам Отзывы
Служба поддержки




Я ищу:
Головна / Технічні науки / Елементи та пристрої обчислювальної техніки та систем керування


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



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

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

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

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

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

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

  1. Дрозд О.В. Контроль за модулем обчислювальних пристроїв. Навч. посібн. для студ. спеціальності 7.091501 – «Комп’ютерні та інтелектуальні системи та мережі» / Одеськ. нац. політехн. ун-т. – Одеса: АО Бахва, 2002. – 144 с. – ISBN 966-7079-69-4.

  2. Drozd A. V., Lobachev M. V. Efficient On-line Testing Method for Floating-Point Adder // Proc. Design, Automation and Test in Europe Conf. – Munich (Germany). – 2001. – P. 307 – 311.

  3. Дрозд А.В., Аль-Аззех Р. Функциональное диагностирование сбоенечувствительных вычислительных устройств // Тр. Одес. политехн. ун-та. – Одесса, 1996. – Вып. 2. – С. 18 – 20.

  4. Дрозд А.В., Лобачев М.В., Хассонах У. Функциональное диагностирование арифметических устройств с сокращенным выполнением операций // Тр. Одес. политехн. ун-та. – Одесса, 1996. – Вып. 2. – С. 20 – 22.

  5. Дрозд А.В., Лобачев М.В. Функциональное диагностирование параллельного арифметического сдвигателя // Тр. Одес. политехн. ун-та. – Одесса, 1997. – Вып. 2. – С. 27 – 29.

  6. Дрозд А.В. Функциональное диагностирование сбоенечувствительных вычислительных устройств с неявной идентификацией неисправностей // Сб. «Обработка информации и обеспечение надежности СУ». – Харьков: НАНУ, ХВУ. – 1997. – С. 27 – 29.

  7. Дрозд А.В. Сканирующий контроль вычислительных устройств // Тр. Одес. политехн. ун-та. – Одесса, 1998. – Вып. 2. – С. 34 – 35.

  1. Дрозд А.В. Контроль по модулю операции сокращенного деления // Тр. Одес. политехн. ун-та. – Одесса, 1998. – Вып. 2. – С. 36 – 38.

  2. Дрозд А.В. Контроль вычислительных устройств по неравенствам // Ученые записки Симферопольс. гос. ун-та. – Винница-Симферополь, 1998. – Спецвып. – С. 237 – 240.

  3. Дрозд А.В., Лобачев М.В. Контроль по модулю операции сложения чисел с плавающей точкой // Придніпровський науковий вісник. – Дніпропетровськ. – Червень 1998. № 55 (122) . – С. 76 – 83.

  4. Дрозд А.В. Использование логарифмического контроля для обнаружения отказов арифметических устройств // Вісн. НТУУ «КПІ». Інф., упр. та обчисл. техніка. – К., 1998. – Вип. 31. – С. 224 – 231.

  5. Дрозд А.В. Контроль по модулю операции сокращенного деления без восстановления остатка // Вісн. НТУУ «КПІ». Інф., упр. та обчисл. техніка. – К., 1998. – Вип. 31. – С. 232 – 237.

  6. Дрозд А.В. Контроль по модулю однотактного умножителя с сокращенным выполнением операции // Электронное моделирование. Том 20. – 1998. – № 3. – С. 90 – 98.

  7. Дрозд А.В. Особенности контроля приближенных вычислений // Тр. Одес. политехн. ун-та. – Одесса, 1999. – Вып. 1(7). – С. 209 – 211.

  8. Дрозд А.В., Лобачев М.В. Контроль по модулю конвейерного умножителя с сокращением вычислений // Тр. Одес. политехн. ун-та. – Одесса, 1999. – Вып. 2(8). – С. 157 – 158.

  9. Дрозд А.В., Аль-Аззех Р., Лобачев М.В. Контроль квадратора с использованием естественной информационной избыточности // Тр. Одес. политехн. ун-та. – Одесса, 1999. – Вып. 3 (9). – С. 123 – 125.

  10. Drozd A.V. Control in modulus of the single-cycle multiplier with abridged mode of operation // Engineering Simulation. – V. 16. – 1999. – P. 377 – 385.

  11. Дрозд А.В., Лобачев М.В., Р. Аль-Аззех Функциональное диагностирование сумматора по неравенствам // Тр. Одес. политехн. ун-та. – Одесса, 2000. – Вып. 1 (10). – С. 100 – 102.

  12. Дрозд А.В., Зуда М., Дрозд Ю.В. Повышение быстродействия логарифмического контроля вычислительных устройств // Тр. Одес. политехн. ун-та. – Одесса, 2000. – Вып. 3(12). – С. 92 – 94.

  13. Дрозд А.В., Зуда М., Лобачев М.В. Использование логарифмических оценок в функциональном диагностировании вычислительных устройств с плавающей точкой // Тр. Одес. политехн. ун-та. – Одесса, 2001. – Вып. 1 (13). – С. 93 – 96.

  14. Бадр Я., Дрозд А.В. Организация сканирования в поэлементном контроле вычислительных устройств // Тр. Одес. политехн. ун-та. – Одесса, 2001. – Вып. 2 (14). – С. 90 – 92.

  15. Дрозд А.В. Сокращенные операции и контроль в многооперандной обработке чисел // Тр. Одес. политехн. ун-та. – Одесса, 2001. – Вып. 4 (16). – С. 97 – 100.

  16. Дрозд А.В., Огинская Е.В., Николенко И.Н. Возможности повышения обнаруживающей способности контроля по неравенствам // Тр. Одес. политехн. ун-та. – Одесса, 2002. – Вып. 1 (17). – С. 107 – 110.

  17. Дрозд А.В. Естественные ресурсы контроля приближенных вычислений в функциональном диагностировании вычислительных устройств // Тр. Одес. политехн. ун-та. – Одесса, 2002. – Вып. 2 (18). – С. 90 – 93.

  18. Дрозд А.В., Зуда М., Николенко И.Н. Логарифмический контроль сумматора с плавающей точкой // Тр. Одес. политехн. ун-та. – Одесса, 2002. – Вып. 2 (18). – С. 93 – 96.

  19. Дрозд А.В., Бадр Я. Поэлементный контроль сумматора с плавающей точкой // Радіоелектроніка та інформатика. 2002. N 2. – С. 59 – 63.

  20. Дрозд А. В., Зуда М. Логарифмический контроль деления мантисс чисел в вычислительных устройствах с плавающей точкой // Радіоелектроніка та інформатика. – 2002. – № 3. – С. 75 – 78.

  21. Дрозд А. В. Достоверность рабочего диагностирования вычислительных устройств для обработки приближенных данных // Зб. наукових праць Харківського військового ун-ту НАНУ. Системи обробки інформації. – Харків, 2002. – Вип. 4 (20). – С. 8 – 13.

  22. Дрозд А.В., Огинская Е.В., Контроль по неравенствам умножителя мантисс чисел с плавающей точкой // Вісн. НТУУ «КПІ». Інф., упр. та обчисл. техніка. – К., 2002. – Вип. 38. – С. 34 – 40.

  23. Дрозд А.В. Базовые концепции функционального диагностирования вычислительных устройств для приближенной обработки данных // Электронное моделирование. Том 25. – 2003. – № 1. – С. 73 – 79.

  24. Дрозд А.В., Зуда М., Яароб Б., Огинская Е.В. Контроль приближенных вычислений // Материалы международ. конференции “Автоматика – 2001”. – Одесса, 2001. – С. 85 – 86.

  25. Дрозд А.В., Огинская Е.В., Лобачев М.В. Использование неравенств для контроля вычислительных устройств // Тр. второй международ. научно-практической конференции «Современные информ. и электрон. технологии. – Одесса, 2001. – С. 80.

  26. Дрозд А. В., Яароб Б., Зуда М. Огинская Е.В. Функциональное диагностирование вычислительных устройств для приближенной обработки данных // Інформаційно-керуючі системи на залізничному транспорті. 2002. № 4, 5 (37). – С. 25.

  27. Drozd A. V., Lobachev M. V., Hassonah W. Hardware Check of Arithmetic Devices with Abridged Execution of Operations // Proc. The European Design & Test Conf. – Paris (France). – 1996. – P. 611.

  28. Drozd A. V. Efficient Method of Failure Detection in Iterative Array Multiplier // Proc. Design, Automation and Test in Europe Conf. – Paris (France). – 2000. – P. 764.

  29. Drozd A. V., Lobachev M. V., Drozd J. V. Efficient On-line Testing Method for a Floating-Point Iterative Array Divider. – Proc. Design, Automation and Test in Europe Conf. – Paris (France). – 2002. – P. 1127.

  30. Устройство для вычисления модуля комплексного числа. А. c. 1001085 СССР, МКИ G 06 F 7/38 / А.В. Дрозд, Е.Л. Полин, И.Ф. Муравинец, А.Н. Романов, В.А. Соколов (СССР). – № 3343240/18–21; Заявлено 12.10.81; Опубл. 28.02.83, Бюл. № 8. – 4 c.

  31. Устройство для вычисления модуля комплексного числа. А. c. 1104505 СССР, МКИ G 06 F 7/38 / А.В. Дрозд, Е.Л. Полин, Л.А. Волощук, А.Н. Романов, И.Ф. Муравинец (СССР). – № 3495086/18–24; Заявлено 27.09.82; Опубл. 23.07.84, Бюл. № 27. – 4 c.

  32. Запоминающее устройство с самоконтролем. А. с. 1105944 СССР, МКИ G 11 C 29/00 / Е.Л. Полин, А.В. Дрозд, А.Г. Шипита, В.П. Карпенко, В.А. Минченко, В.Ф. Стручев (СССР). – № 3594228/18–24; Заявлено 23.05.83; Опубл. 30.07.84, Бюл. № 28. – 3 c.

  33. Устройство для сдвига информации. А. с. 1109807 СССР, МКИ G 11 C 19/00 / А.В. Дрозд, Е.Л. Полин, А.М. Романкевич, В.Н. Валуйский, И.Ф. Муравинец, А.Н. Романов (СССР). – № 3570735/18–24; Заявлено 02.04.83; Опубл. 23.08.84, Бюл. № 31. – 4 c.

  34. Устройство для сдвига информации. А. с. 1173447 СССР, МКИ G 11 C 19/00 / А.В. Дрозд, Е.Л. Полин, В.Л. Панченко, А.Е. Малярчук, В.Ф. Стручев (СССР). – № 3713982/24–24; Заявлено 27.03.84; Опубл. 15.08.85, Бюл. № 30. – 4 c.

  35. Устройство для сдвига числа. А. c. 1177808 СССР, МКИ G 06 F 7/38 / Е.Л. Полин, В.А. Минченко, Ю.Г. Клименко, А.В. Дрозд, В.Л. Панченко, В.Ф. Стручев (СССР). – № 3713983/24–24; Заявлено 27.03.84; Опубл. 07.09.85, Бюл. № 33. – 2 c.

  36. Устройство для контроля умножения чисел по модулю m. А. c. 1177814 СССР, МКИ G 06 F 11/08 / А.В. Дрозд, Е.Л. Полин, В.Л. Панченко, В.А. Минченко, Ю.Г. Клименко (СССР). – № 3716973/24–24; Заявлено 27.03.84; Опубл. 07.09.85, Бюл. № 33. – 3 c.

  37. Запоминающее устройство с самоконтролем. А. с. 1188789 СССР, МКИ G 11 C 29/00 / А.В. Дрозд, Е.Л. Полин, В.Л. Панченко, В.В. Лебедь, О.П. Гусева (СССР). – № 3738865/24–24; Заявлено 27.03.84; Опубл. 30.10.85, Бюл. № 40. – 2 c.

  38. Устройство для программируемой задержки информации. А. С. 1193653 СССР, МКИ G 06 F 1/04 / Е.Л. Полин, Е.Б. Великая, А.В. Дрозд, Л.А. Волощук, В.А. Кравцов, В.Ф. Стручев (СССР). – № 3739648/24–24; Заявлено 11.05.84; Опубл. 23.11.85, Бюл. № 43. – 3 c.

  39. Устройство для вычисления модуля комплексного числа. А. c. 1193662 СССР, МКИ G 06 F 7/38 / А.В. Дрозд, Е.Л. Полин, В.Л. Панченко, В.А. Соколов, В.Ф. Стручев (СССР). – № 3756907/24–24; Заявлено 11.05.84; Опубл. 23.11.85, Бюл. № 43. – 3 c.

  40. Устройство для синхронизации импульсных последовательностей. А. c. 1221727 СССР, МКИ H 03 K 5/13 / Е.Л. Полин, С.А. Нестеренко, А.В. Дрозд, В.П. Карпенко, В.А. Соколов (СССР). – № 3792916/24–21; Заявлено 21.09.84; Опубл. 30.03.86, Бюл. № 12. – 3 c.

  41. Запоминающее устройство. А. с. 1233212 СССР, МКИ G 11 B 21/00 / Е.Л. Полин, Е.Б. Великая, А.В. Дрозд, Ю.Г. Клименко, В.С. Волощук (СССР). – № 3793037/24–24; Заявлено 21.09.84; Опубл. 23.05.86, Бюл. № 19. – 4 c.

  42. Устройство задержки импульсов. А. c. 1246352 СССР, МКИ H 03 K 5/13 / Е.Л. Полин, В.П. Карпенко, А.В. Дрозд, В.А. Кравцов, А.Е. Малярчук (СССР). – № 3841117/24–21; Заявлено 09.01.85; Опубл. 23.07.86, Бюл. № 27. – 4 c.

  43. Устройство для контроля умножения чисел по модулю. А. c. 1259269 СССР, МКИ G 06 F 11/08 / А.В. Дрозд, Е.Л. Полин, В.П. Карпенко, А.Г. Шипита, В.А. Соколов (СССР). – № 3873966/24–24; Заявлено 22.03.85; Опубл. 23.09.86, Бюл. № 35. – 5 c.

  44. Оперативное запоминающее устройство. А. c. 1264240 СССР, МКИ G 11 C 11/00 / Е.Л. Полин, В.А. Минченко, А.В. Дрозд, В.В. Лебедь, В.В. Шабадаш (СССР). – № 3896413/24–24; Заявлено 16.05.85; Опубл. 15.10.86, Бюл. № 38. – 5 c.

  45. Устройство для сдвига числа с контролем. А. c. 1277116 СССР, МКИ G 06 F 11/10 / А.В. Дрозд, Е.Л. Полин, В.Л. Панченко, В.В. Лебедь, В.П. Карпенко (СССР). – № 3873952/24–24; Заявлено 22.03.85; Опубл. 15.12.86, Бюл. № 46. – 6 c.

  46. Устройство для сдвига информации с контролем. А. c. 1282135 СССР, МКИ G 06 F 11/10 / А.В. Дрозд, Е.Л. Полин, В.Л. Панченко, Ан.В. Дрозд, В.А. Минченко (СССР). – № 3884664/24–24; Заявлено 09.01.85; Опубл. 07.01.87, Бюл. № 1. – 4 c.

  47. Устройство для задержки информации. А. c. 1287137 СССР, МКИ G 06 F 1/04 / А.В. Дрозд, Е.Л. Полин, А.Е. Малярчук, В.Н. Лацин (СССР). – № 3873967/24–24; Заявлено 22.03.85; Опубл. 30.01.87, Бюл. № 4. – 4 c.

  48. Устройство для сложения операндов с плавающей точкой с контролем. А. c. 1310826 СССР, МКИ G 06 F 11/10, 7/50 / А.В. Дрозд, Е.Л. Полин, В.А. Кравцов, В.С. Волощук, А.Г. Шипита (СССР). – № 4030818/24–24; Заявлено 31.01.86; Опубл. 15.05.87, Бюл. № 18. – 6 c.

  49. Запоминающее устройство. А. c. 1319077 СССР, МКИ G 11 C 7/00 / А.В. Дрозд, В.П. Карпенко, В.В. Лебедь, А.Е. Малярчук, В.А. Минченко, В.В. Шабадаш (СССР). – № 4015799/24; Заявлено 31.01.86; Опубл. 23.06.87, Бюл. № 23. – 3 c.

  50. Устройство для контроля по модулю m=2l–1 умножения матриц чисел. А. c. 1339565 СССР, МКИ G 06 F 11/08/ А.В. Дрозд, Е.Л. Полин, В.В. Шабадаш, В.А. Минченко и Е.В. Годелевич (СССР). – № 3975516/24–24; Заявлено 14.11.85; Опубл. 23.09.87, Бюл. № 35. – 5 c.

  1. Устройство цифрового интегрирования. А. c. 1345192 СССР, МКИ G 06 F 7/64 / Е.Л. Полин, А.В. Дрозд, В.В. Лебедь, В.А. Соколов, В.С. Волощук (СССР). – № 4015960/24–24; Заявлено 31.01.86; Опубл. 15.10.87, Бюл. № 38. – 6 c.

  2. Устройство для суммирования чисел с плавающей точкой. А. c. 1348825 СССР, МКИ G 06 F 7/50 / А.В. Дрозд, О.Н. Паулин, Е.Л. Полин, Н.И. Синегуб (СССР). – № 4047238/24–24; Заявлено 08.01.86; Опубл. 30.10.87, Бюл. № 40. – 4 c.

  3. Запоминающее устройство с самоконтролем. А. с. 1368921 СССР, МКИ G 11 C 29/00/ А.В. Дрозд, Е.Л. Полин, В.А. Соколов, В.А. Минченко, В.П. Карпенко (СССР). – № 3975474/24–10; Заявлено 14.11.85; Опубл. 23.01.88, Бюл. № 3. – 5 c.

  4. Матричное устройство для возведения в квадрат. А. c. 1439583 СССР, МКИ G 06 F 7/552 / А.В. Дрозд, Е.Л. Полин, В.Н. Лацин, В.А. Соколов, В.Л. Панченко (СССР). – № 3992917/24–24; Заявлено 14.11.85; Опубл. 23.11.88, Бюл. № 43. – 2 c.

  5. Матричное устройство для возведения в квадрат. А. с. 1520512 СССР, МКИ G 06 F 7/552 / А.В. Дрозд, Е.Л. Полин, А.М. Романкевич, В.Н. Валуйский, С.А. Нестеренко (СССР). – № 4401437/24–24; Заявлено 31.03.88; Опубл. 07.11.89, Бюл. № 41. – 3 c.

  6. Устройство для возведения в квадрат. А. c. 1534458 СССР, МКИ G 06 F 7/552 / А.В. Дрозд, Е.Л. Полин, Г.П. Баранникова, Ю.В. Дрозд (СССР). – № 4413555/24–24; Заявлено 21.04.88; Опубл. 07.01.90, Бюл. № 1. – 5 c.

  7. Матричное устройство для возведения в квадрат. А. с. 1608653 СССР, МКИ G 06 F 7/552 / А.В. Дрозд, Е.Л. Полин, А.С. Попов, Ю.В. Дрозд (СССР). – № 4610062/24–24; Заявлено 22.11.88; Опубл. 23.11.90, Бюл. № 43. – 7 c.

  8. Устройство для контроля умножения двоичных чисел по модулю три. А. c. 1651288 СССР, МКИ G 06 F 11/08 / А.В. Дрозд, Е.Л. Полин, А.С. Попов, О.Н. Паулин, Ю.В. Дрозд (СССР). – № 4433718/24; Заявлено 30.05.88; Опубл. 23.05.91, Бюл. № 19. – 4 c.

  9. Устройство для контроля умножения двоичных чисел по модулю три. А. c. 1774337 СССР, МКИ G 06 F 11/08 / А.В. Дрозд, Е.Л. Полин, А.С. Попов, Ю.В. Дрозд (СССР). – № 4495390/24; Заявлено 17.10.88; Опубл. 07.11.92, Бюл. № 41. – 4 c.
Мистецтвознавство
Геолого-мінералогічні
Сільськогосподарські 		Економічні
Історичні
Філософські 		Юридичні
Філологічні
Географічні 		Педагогічні
Медичні
Фармацевтичні 		Математичні
Ветеринарні
Архітектура		 Психологічні
Військові
Соціологічні 		Технічні
Політичні
Право 		Фізика
Хімічні
Біологічні 		Фізичне виховання
Державне управління
Національна безпека
Договор публичной оферты. © Электронная библиотека диссертаций. Скачать диссертацию. 2007-2018.