автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.05, диссертация на тему:Методика, специализированные устройства и способ диагностирования аппаратных средств вычислительной техники

СОДЕРЖАНИЕ.

СПИСОК СОКРАЩЕНИЙ.

ВВЕДЕНИЕ.

1. АНАЛИЗ ПРОБЛЕМ КОНТРОЛЯ ТЕХНИЧЕСКОГО СОСТОЯНИЯ

И ДИАГНОСТИРОВАНИЯ СРЕДСТВ ЭЛЕКТРОННО-ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ.

1.1. Характеристика источников нарушений вычислительного процесса в средствах электронно-вычислительной техники.

1.2. Анализ моделей диагностирования средств электронно-вычислительной техники.

1.3. Анализ методов диагностирования средств электронно-вычислительной техники.

1.4. Выводы.

2. МОДЕЛИ КОНТРОЛЯ ТЕХНИЧЕСКОГО СОСТОЯНИЯ И ДИАГНОСТИРОВАНИЯ СРЕДСТВ ЭЛЕКТРОННО-ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ.

2.1. Агрегированные модели контроля технического состояния и диагностирования средств электронно-вычислительной техники.

2.2 Структурно-функциональная модель пространства состояний средств электронно-вычислительной техники.

2.3 Характеристика технико-технологической структуры оборудования средств электронно-вычислительной техники с позиции теории множеств.

2.4. Математические модели пространства состояний средств электронно-вычислительной техники.

2.5. Выводы

3. МЕТОДИКА КОНТРОЛЯ ТЕХНИЧЕСКОГО СОСТОЯНИЯ И ДИАГНОСТИРОВАНИЯ СРЕДСТВ ЭЛЕКТРОННО-ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ.

3.1. Определение последовательности выполнения операций диагностирования средств электронно-вычислительной техники.

3.2. Контроль технического состояния и диагностирования средств электронно-вычислительной техники как задача распознавания образов. Обучение распознаванию технических состояний и отказов.

3.3. Выбор контролируемых признаков. Основные этапы методики контроля технического состояния и диагностирования средств электронно-вычислительной техники.

3.4. Выводы.

4. СПЕЦИАЛИЗИРОВАННЫЕ УСТРОЙСТВА И СПОСОБ ДИАГНОСТИРОВАНИЯ АППАРАТНЫХ СРЕДСТВ ЭЛЕКТРОННО-ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ

4.1. Способ и устройство контроля качества соединений цифровых

КМОП-устройств.

4.2. Управляемый делитель частоты импульсов.

4.3. Оценка эффективности разработанных методики, специализированных устройств и способа диагностирования средств электронно-вычислительной техники.

4.4. Выводы.

1. Надежность и эффективность в технике: Справочник. В 10 Т./ Ред. Совет: B.C. Авдуевский и др. -М.: Машиностроение, 1988. - Т. 5.: Проектный анализ надежности. - 316 с.

2. Шубинский И. Б. и др. Активная защита от отказов управляющих модульных вычислительных систем. СПб: Наука, 1993. -284с.

3. Шураков В. В. Надежность программного обеспечения систем обработки данных: Учебник для вузов / М.: Финансы и статистика, 1987. -272с.

4. Липаев В. В. Надежность программного обеспечения АСУ. М.: Энергоиздат, 1989. -240с.

5. Miyamoto J. Toward an Effective Software Relibility Evalution. Proc. 3-d Intern. Conf. On Software Engineering, New York, 1978, p. 46-55.

6. Надежность и эффективность в технике: Справочник. В Ют. / Ред. совет: B.C. Авдуевский (пред.) и др. -М.: Машиностроение, 1987. Т.9. Техническая диагностика. Под ред. В.В. Клюева, П.П. Пархоменко. - 352 с.

7. Калявин В.П., Мозгалевский А.В., Галка В.Л. Надежность и техническая диагностика судового электрооборудования и автоматика: Учебник. СПб.: Элмор, 1996. - 296 с.

8. Мозгалевский А.В., Гаскаров Д.В. Техническая диагностика (непрерывные объекты). Учеб. пособие для вузов. М.: Высшая школа, 1975. -208 с.

9. Терентьев В.М. Автоматизированные системы управления сетями многоканальной радиосвязи / Под ред. А.П. Родимова. -JL: ВАС, 1986. 48 с.

10. Мироновский JI.A. Функциональное диагностирование динамических систем (обзор) //Автоматика и телемеханика. 1980, № 8. С. 96-121.

11. Курносов В.И., Лихачев A.M. Методология проектных исследований и управление качеством сложных технических систем электросвязи. СПб.: ТИРЕКС, 1998.-496 с.

12. Ван Трис Г. Теория обнаружения, оценок и модуляции. Т. 1. Теория обнаружения, оценок и линейной модуляции /Под ред. В.И. Тихонова. М.: Сов. Радио, 1972.-744 с.

13. Райншке К., Ушаков И.А. Оценка надёжности систем с использованием графов. -М.: Радио и связь, 1988.

14. Техническая диагностика и ремонтопригодность средств и комплексов связи / Под. ред. С.П. Ксенза. Л.: ВАС, 1982.-216 с.

15. Эксплуатация и ремонт средств связи./ Под ред. А.Я. Маслова. -СПб.: ВИККА, 1996. -531 с.

16. Зеленцов В.А., Еагин А.А. Надежность, живучесть и техническое обслуживание сетей связи. Л.: МО СССР, 1991. -234 с.

17. Давыдов Г.Б., Рогинский В.Н., Толчан А.Я. Сети электросвязи. -М.: Связь, 1977.-359 с.

18. Справочник по цифровой вычислительной технике: (процессоры и память)/ Под ред. Б.Н. Малиновского. Киев: Техника, 1979. -366 с.

19. Технические средства диагностирования: Справочник/ В.В.Клюев, П.П.Пархоменко, В.Е.Абрамчук и др.; Под общ. ред. В.В. Клюева. М.: Машиностроение, 1989. - 672 с.

20. Биргер И.А. Техническая диагностика. М.: Машиностроение, 1976.

21. Игнатьев М.Б., Мироновский Л.А., Юдович B.C. Контроль и диагностика робототехнических систем. Л.: Ленинградский ин-т авиационного приборостроения, 1986.

22. Fault diagnosis in dynamic systems. Theory and applications/ Edited by Patton R., Clark R. Prentice Hall Inc., Englewood Gliffs, NJ, 1989.

23. Willsky A.S. A Survey of design methods for failure detection in dynamic systems//Automatica. 1976. V.12. P.601-611.

24. Basseville M. Detecting changes in signal and systems a survey// Automatica. 1988. V.24. №3. P.309-326.

25. Frank P.M. Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy a survey and some new results// Automatica. 1990. V.26. №3. P.459-474.

26. Дмитриев A.K., Мальцев П.А. Основы теории построения и контроля сложных систем. JI.: Энергоиздат, 1988.

27. Химмельблау Д. Обнаружение и диагностика неполадок в химических и нефтехимических процессах. Л.: Химия, 1983.

28. Обнаружение изменений свойств сигналов и динамических систем/ Под ред. Бассвиль М., Банвениста А. М.: Мир, 1989.

29. Жизлявский А.А., Красковский А.Е. Обнаружение разладки случайных процессов в задачах радиотехники. Л.: Ленинградский гос. ун-т, 1988.

30. Корноушенко Е.К. Восстановление скалярного сигнала на входе дискретной линейной стационарной системы// АиТ, 1991. №6, с.84-94.

31. Ding X., Frank P.M. Fault detection via factorization approach// Systems & Control Letters. 1990. №14. P.431-436.

32. Саяпин Ю.Л. Устройство поиска дефектов пониженной размерности// АиТ, 1992. №2. С.200-203.

33. Представление и использование знаний: Пер. с японск./ Под ред. С.Осуги, Ю.Сазки,- М.: Мир, 1990. 304 с.

34. Экспертные системы. Принципы работы и примеры/ Под ред. Р.Форсайта. Пер. с англ.- М.: Радио и связь, 1987. -223 с.

35. Передача сигналов в зарубежных информационно-технических системах. Григорьев В.А. СПб.: ВАС, 1998. 440 с.

36. Боккер П. Передача данных (Техника связи в системах телеобработки данных). Том 1. Основы: Пер. с нем./ Под ред. Д.Д.Кловского. М.: Связь, 1980. - 264 с.

37. Gallager R.G.: Information Theory and Reliable Communication. New York: John Wiley 1968.

38. CCITT: Recommendation S.13: Use on radio circuits of 7-unit synchronous systems giving error correction by automatic repetition. Green Book Vol.VIII, Genf: ITU 1973.

39. Лихачев A.M., Куриосов В.И. Тенденции технического и технологического развития телекоммуникационных сетей. СПб.: «Абрис», 1997.-439с.

40. Бусленко В. Н. Автоматизация имитационного моделирования сложных систем. М.: Наука, 1977. с.

41. Скорняков Л. А. Элементы алгебры. М.: Наука, 1980. с.

42. Морозова В. Д. Введение в анализ: Учебн. для вузов / Под ред. В. С. Зарубина, А. П. Крищенко. М.: Нзд-во МГТУ им. Н. Э. Баумана, 1998. - 408 с.

43. Надежность и эффективность в технике: Справочник. В ЮТ. / Ред. совет: B.C. Авдуевский и др. -М.: Машиностроение, 1988. -Т. 2.: Математические методы в теории надежности и эффективности. 280 с.

44. Волков В.Н., Воронков В.А., Денисов А.А. и др. Теория систем и методы системного анализа в управлении и связи. М.: Радио и связь, 1983.280 с.

45. Горохов В.А., Полковский И.М., Стыцько В.П. Комплексная миниатюризация в электросвязи. М.: Радио и связь, 1987. - 280 с.

46. ГОСТ 26632-85. Уровни разукрупнения радиоэлектронных средств по функционально-конструктивной сложности. Термины и определения. М.: Издательство стандартов, 1985. 9 с.

47. Бердичевский М. Стандартные типоразмеры корпусов электронного оборудования. Ф.: Современные технологии автоматизации, 1997.

48. П.Кон. Универсальная алгебра. М.: Мир, 1968. -351с.

49. Надежность технических систем: Справочник / Под ред. И.А. Ушакова. М.: Радио и связь, 1985. - 608 с.

50. Прикладная математика: Курс лекций /Под ред. А.А. Колесникова. Л.: ВАС, 1987.-209с.

51. Ожегов С.И. Словарь русского языка. М.: Изд-во Русский язык, 1981. 815с.

52. Венцель Е.С. Исследование операций. М.: Советское радио, 1976. 552с.

53. Справочник по теории вероятностей и математической статистики. / B.C. Королюк, Н.И. Портенко, А.В. Скороход, и др. М.: Наука, 1985. - 640 с.

54. Севастьянов Б.А. Курс теории вероятностей и математической статистики. М.: Наука, 1982. 256 с.

55. Советов Б.Я., Яковлев С.А. Построение сетей интегрального обслуживания. Л.: Машиностроение, 1990. - 332 с.

56. Надежность и эффективность в технике: Справочник. В 10 Т./ Ред. совет. B.C. Авдуевский и др. -М.: Машиностроение. 1988. Т. 3. Эффективность технических систем. - 328 с.

57. ГОСТ 27518-87. Диагностирование изделий. Общие требования. -М.: Издательство стандартов, 1988. -8 с.

58. Ксенз С.П., Лихачев A.M., Климентов В.И. и др. Теоретические и прикладные задачи диагностирования средств связи и автоматизации. Л.: ВАС, 1990.-336 с.

59. Вальд А. Последовательный анализ.-Д.: Красный печатник, 1937.

60. Кузнецов П. И. , Пчелинцев Л. А., Гайденко В. С. Контроль и поиск неисправностей в сложных системах.-М.: Советское радио, 1969.

61. Д. Филлипс, А. Гарсиа-Диас. Методы анализа сетей. /Под ред. Б. Г. Сушкова-М. : Мир, 1984. -496с.

62. Клейнрок Л. Теория массового обслуживания. -М.: Машиностроение, 1979.

63. Клейнрок Л. Вычислительные системы с очередями./ Под ред. Б. С. Цыплакова -М.: Мир, 1979. 600с.

64. Иыуду К. А. Надежность, контроль и диагностика вычислительных машин и систем. Учеб. пособие для вузов. М.: Высшая школа, 1989. - 158с.

65. Горелик А. Л. Методы распознавания. М. : Высшая школа , 1989. 186 с.

66. Вапник В.Н., Червоненкис А.Я. Теория распознавания образов. М. : Наука, 1974. 416с.

67. Збиняков А. Н., Захаров И. С., Поминчук О. В. Диагностирование сложных объектов как задача распознавания образов. // Телекоммуникации. 2000. № 2. С.33-39.

68. Дмитриев А. К. Распознавание отказов в системах электроавтоматики. Л.: Энергоатомиздат, 1983.- с.

69. Збиняков А. Н., Лабунец А. М.,Полищук В. С. Модели диагностирования сложных систем // Тезисы докладов II Всероссийской научной конференции "Проблемы развития ИТКС специального назначения". Орел. 1999. С.25.

70. Кузнецов В.А., Ялунина Г.В. Метрология (теоретические, прикладные и законодательные основы): Учеб. пособие. М.: ИПК Изд. стандартов, 1998. -336 с.

71. Патент № 2162592 РФ от 09. 04. 1999. Устройство измерения физической величины / Збиняков А. Н., Титов В. С. и др.// Опубл. Бюл. № 3, 2001.

72. Патент № 2162205 РФ от 03. 12. 1999. Устройство для измерения физической величины/ Збиняков А. Н., Титиов В. С. и др.// Опубл. Бюл. № 2, 2001.

73. Феллер В. Введение в теорию вероятности и ее приложения. Том 1.— М.: Мир, 1984,—527с.

74. Патент РФ № 2120656 от 20.10.98. Способ определения состояния цифровых устройств./ A.M. Лихачев, А.Н. Рохмистров, В.Е. Кузнецов и др. // Опубл. Бюл. № 29, 1998.

75. Мальцев П. А., Москвин Б. В., Воробьев Г. Н. Модель иерархического резервирования элементов вычислительного комплекса с использованием нечетких множеств// Изв. вузов. Приборостроение, 1982. Т. XXV. №8. 90-93.

76. Воеводин В. В. Линейная алгебра. М.: Наука, 1980.161

77. Закревский А. Д. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971.

78. Соловьев В. А. Тесты (теория, построение, применение). -Новосибирск: Наука, 1978.

79. Збиняков А.Н., Лабунец A.M., и др. Разработка методики распознавания видов технического состояния и мест отказов в сетях и средствах связи. Отчет о НИР "Состояние", Орел: Академия ФАПСИ, 2001. -С. 177-280.

80. Кредендер Б. П., Жердев Н. К., Лучко Н.Н. Способ контроля логических схем. Авторское свидетельство СССР № 840770, кл. G 01 R 31/28, опубл. 23.06.81 г., бюллетень № 23.

81. Збиняков А. Н., Захаров И. С. и др. Способ контроля качества соединений цифровых КМОП-устройств. Положительное решение по заявке на патент № 2000126712/09 от 20. 08. 02 г.

82. Смирнов Ю. В. Управляемый делитель частоты импульсов. Авторское свидетельство СССР № 1403365, кл. Н 03 К 23/66, опубл. 15.06.88 г., бюллетень N 22.

83. Климов В. В. Управляемый делитель частоты. Авторское свидетельство СССР № 1262726, кл. Н 03 К 23/66, опубл. 07.10.86 г., бюллетень N 37.

84. Патент РФ № 2175167 от 20.10.01 Управляемый делитель частоты импульсов. / Збиняков А. Н., Захаров И. С. и др.// Опубл. Бюл. №29, 2001.