Система проектирования многоканальных сигнатурных анализаторов для диагностики многовыходных схем тема диссертации и автореферата по ВАК РФ 05.13.05, кандидат технических наук Али Абдалла Ибрагим
- Специальность ВАК РФ05.13.05
- Количество страниц 124
Оглавление диссертации кандидат технических наук Али Абдалла Ибрагим
Введение.
1. Существующие методы диагностики и логического моделирования цифровых схем
1.1. Существующие методы диагностики цифровых схем
1.2. Описание тестовой диагностики.
1.3. Методы компактного сжатия выходных реакций.
1.4. Моделирование логических схем ЭВМ.
1.5. Методы анализа.
2. Алгоритмы построения сигнатурных анализаторов
2.1. Одноканальный сигнатурный анализатор.
2.2. Многоканальные сигнатурные анализаторы.
2.2.1. Многоканальные сигнатурные анализаторы, использованный в работе.
2.2.2. Алгоритм построения многоканального сигнатурного анализатора.
2.2.3. Применение многоканальных сигнатурных анализаторов для диагностики неисправностей.
3. Методы оценки эффективности
3.1. Достоверность компактных методов тестирования
3.1.1. Достоверность сигнатурного анализа.
3.1.2. Достоверность многоканального сигнатурного анализатора,.
3.1.3. Достоверность метода счёта единиц.
3.2. Алгоритм определения Р^ вероятности возникновения ошибки кратности /л.
4. Описание программных моделей эмуляции работы цифровых схем, алгоритмов построения многоканальных сигнатурных анализаторов и оценки эффективности сигнатурных анализаторов
4.1. Возможности программ.
4.2. Основные принципы и правила работы с пакетом программ MicroLab.
5. Экспериментальная часть
5.1. Машинное проектирование многоканальных сигнатурных анализаторов при работе с реальными схемами. . . . . . :
5.2. Внесение и локализация ошибки, оценка достоверности работы МСА.
5.3. Примеры схем для оценки эффективности компактных методов тестирования.
5.3.1. Примеры цифровых схем, для диагностики которых рекомендуется применять метод сигнатурного анализа.
5.3.2. Примеры цифровых схем, для диагностики которых рекомендуется применять метод счёта единиц. Заключение. Литература. Приложение.
Рекомендованный список диссертаций по специальности «Элементы и устройства вычислительной техники и систем управления», 05.13.05 шифр ВАК
Разработка методов автономного тестирования линейных последовательностных машин и анализ их эффективности1984 год, кандидат технических наук Латыпов, Рустам Хафизович
Двоично-разностные и спектрально-сигнатурные методы технической диагностики микропроцессорных информационно-управляющих систем на железнодорожном транспорте2012 год, кандидат технических наук Калинин, Тимур Сергеевич
Методы и средства автоматизации тестопригодного проектирования смешанных интегральных схем2013 год, доктор технических наук Мосин, Сергей Геннадьевич
Разработка структуры самотестируемых цифровых вычислительных синтезаторов частоты2010 год, кандидат технических наук Рязанов, Алексей Владимирович
Развитие математического и программного обеспечения подсистемы тестирования для САПР аналогых и смешанных интегральных схем2000 год, кандидат технических наук Мосин, Сергей Геннадьевич
Введение диссертации (часть автореферата) на тему «Система проектирования многоканальных сигнатурных анализаторов для диагностики многовыходных схем»
Усложнение цифровых систем, сложность исследования больших интегральных схем, микропроцессоров и компьютеров привели к необходимости разработки методов диагностики и отладки аппаратуры, отличных от традиционных методов, применяемых в радиотехнике. Так в микропроцессорах, устанавливаемых в персональные компьютеры типа Pentium, введена новая по отношению к прежним моделям компьютеров система диагностики.
Неуклонный рост сложности цифровых узлов современной техники предопределяет повышенные требования к их надёжности. Достижение высокого уровня надёжности обеспечивается рядом технологических, эксплуатационных и организационных мероприятий. Среди большого их многообразия выделяют методы компактного диагностирования цифровых узлов и их блоков. Одной из разновидностей диагностирования является тестовое диагностирование. Его применение на этапе изготовления цифровых узлов позволяет определить правильность их функционирования и осуществить процедуру поиска неисправностей, что, в конечном счете, улучшает основные параметры надёжности (коэффициент готовности, вероятность безотказной работы и достоверность функционирования).
При разработке тестовой диагностики возникает сложность определения эталонных реакций при тестировании существующих схем, а также определения контрольных точек и их числа для снятия эталонных реакций на этапе разработки комбинационных схем. Поэтому, необходимо производить анализ поведения комбинационных схем при тех или иных возможных ошибках.
Актуальность темы. Рассмотрение процесса диагностирования цифровых устройств позволяет сделать вывод о том, что развитие цифровой техники идущее в направлении усложнения модулей, применение более плотной упаковки элементов интегральных микросхем приводит к увеличению числа ошибок при проектировании и эксплуатации и, соответственно, к усилению роли технической диагностики. В связи с этим необходимо развивать методы тестирования цифровых устройств, определения соответствия этих методов классам устройств с точки зрения эффективности.
Кроме того, в связи с необходимостью использования при тестировании большого количества информации (модели алгоритмов, модели схем, библиотеки тестовых воздействий, библиотеки эталонов и т.п.) возникла потребность в детальной проработке компактных методов тестирования.
Поэтому цель работы: является разработка системы автоматизации проектирования многоканальных сигнатурных анализаторов, как сложных цифровых устройств, позволяющих диагностировать многовыходные цифровые устройства вычислительной техники. Для построения такой системы необходимо решить следующие задачи: логическое моделирование цифровых схем; разработка моделирующего алгоритма построения генератора случайных чисел; разработка алгоритма, пошаговой методики проектирования и создание системы автоматизированного проектирования многоканальных сигнатурных анализаторов; разработка методики определения вероятностей необнаружения ошибки в зависимости от её кратности |! для оценки эффективности работы многоканального сигнатурного анализатора; разработка методики и алгоритма поиска неисправностей с применением МСА; разработка методики и алгоритма, позволяющих производить сравнительную оценку применимости методов компактного тестирования для различных типов элементов вычислительной техники.
Методы исследований. Использовались методы теории вероятностей, теории матриц, дискретной математики, технической диагностики, теории вероятностных автоматов, теории конечных полей и теории кодирования и методы компьютерного моделирования.
Научная новизна работы. Классическая стратегия тестирования цифровых схем основана на формировании тестовых последовательностей, позволяющих обнаруживать заданные множества их неисправностей. При этом для проведения процедуры тестирования, как правило, хранятся как сами тестовые последовательности так и эталонные реакции схем на их воздействие. В процессе самой процедуры тестирования на основании результатов сравнения реальных выходных реакций с эталонными принимается решение о состоянии проверяемой схемы. При соответствии полученных реакций схемы эталонным она считается исправной, в противном случае схема содержит неисправность и находится в неисправном состоянии.
Для ряда выпускаемых в настоящее время схем классический подход требует значительных временных затрат как на формирование тестовых последовательностей, так и на процедуру тестирования. Кроме того, большие объемы тестовой информации и эталонных выходных реакций предполагают наличие сложного оборудования для проведения тестового эксперимента. В связи с этим стоимость и время, необходимые для реализации классического подхода, растут быстрее, чем сложность цифровых схем, для которых он используется. Поэтому предполагаются новые решения, позволяющие значительно упростить как процедуру построения тестовых последовательностей, так и проведение тестового эксперимента. В общем случае реализация предложенных методов осуществляется с помощью алгоритмов сжатия информации. В результате их применения формируются компактные оценки сжимаемой информации.
Для того чтобы применять метод компактного тестирования, необходимо рационально выбрать алгоритм формирования тестовых последовательностей и метод сжатия информации, причем, построение сложных цифровых схем требует повышенного внимания к компактным методам тестирования для каждого конкретного применения. Поэтому возникает необходимость в оценке эффективности того или иного метода компактного тестирования.
В работы получелы следующие новые ризультаты:
1. Дана расширенная классификация методов диагностики сложных цифровых устройств вычислительной техники, на основании которой проанализирована возможность применения каждого из существу-щих методов.
2. Разработана система, позволящая автоматизировать процесс проеки-рования многоканальных сигнатурных анализаторов, с проазвольным числом входов.
3. Разработан моделирующий алгоритм, позволяющий реализовать процесс диагностики с использованием разработанной модели многоканального сигнатурного анализатора и оценить эффективность его работы.
4. Разработана методика и моделирующий алгоритм сравнения методов компактного тестирования для различных цифровых устройств. На основе этой методики построен и практически реализован алгоритм оценки эффективности сигнатурного анализа и метода счёта единиц, что позволяет давать рекомендации по применимости того или иного метода компактной диагностики для различных типов цифровых схем.
Намеченные исследования основываются на работах Ярмолика и исследованиях, проведенных на кафедре радиофизики Казанского университета преподавателями, аспирантами, магистрантами и дипломниками и являются их дальнейшим развитием.
Практическая значимость. Результаты диссертации в основном носят практический характер, они могут быть рекомендованы для проектирования комбинационных схем с последующей их диагностикой и для автоматизированных системах проектирования сложных цифровых схем. В процессе обучения студентам предлагается составить и реализовать программу, позволяющую проверить правильность функционирования портов при вводе и при выводе информации.
Достоверность результатов и выводов. Рассмотренные в работе методы не оставлены на уровне идей и методических рекомендаций, а доведены до расчётных формул. Правильность полученных формул для оценки вероятности необнаружения ошибки для различных методов и для различных тестируемых устройств была подтверждена путём моделирования на ЭВМ [47,48]
Диссертация состоит из введения пяти глав и заключения.
Похожие диссертационные работы по специальности «Элементы и устройства вычислительной техники и систем управления», 05.13.05 шифр ВАК
Разработка критериев и информационно-измерительных средств для оценки потерь достоверности многомерных сигналов в каналах связи телекоммуникационных систем2001 год, кандидат технических наук Фомичев, Сергей Миронович
Интеллектуальная система поддержки принятия решения на основе нечеткой логики для диагностики состояния сети передачи данных2007 год, кандидат технических наук Кучер, Алексей Викторович
Математическое и программное обеспечение подсистемы тестирования аналоговых и смешанных интегральных схем1999 год, кандидат технических наук Рудаков, Олег Владимирович
Методы и средства диагностирования при случайных отказах в системах числового программного управления1998 год, кандидат технических наук Андреев, Александр Николаевич
Интеллектуальные системы логического проектирования Ts - согласованных цифровых устройств1998 год, доктор технических наук Бажанов, Юрий Сергеевич
Заключение диссертации по теме «Элементы и устройства вычислительной техники и систем управления», Али Абдалла Ибрагим
8. Результаты работы внедрены в Татэнерго предприятия «Айтуар» для иагностирования устройства ФПМ01 и в учебный процесс кафедры радиофизики азанского государственного университета, по следующим дисциплинам: курс екций «Диагностика сложных цифровых устройств» (специальность <Радиофизика»), лабораторные работы «Аппаратно-программные методы иагностики микропоцессорных систем» (по направлению «ЭВМ и автоматизация аучных исследований» по программам «компьютерное моделирование»,
Информационные технологии»), что подтверждено соответствующими актами.
Заключении
Кратко итоги работы могут быть сформулированы следующим образом:
1. Предложена классификация методов диагностики сложных цифровых стройств вычислительной техники, на основании которой проанализирована озможность, применения каждого из существующих методов. Такой анализ озволил обосновать использование компактного тестирования для диагностики ложных цифровых устройств.
2. Разработана программная система,, для автоматизации процесса роектирования многоканальных сигнатурных анализаторов с произвольным количеством входов и независящим от него множеством элементов памяти, которое определяется только старшей степенью порождающего полинома.
3. Разработан алгоритм, позволяющий осуществлять поиск неисправностей в цифровых устройствах с помощью многоканальных сигнатурных анализаторов.
4. Проведены экспериментальные исследования на моделях, разработанных с помощью системы проектирования МСА, для сигнатурных анализаторов на 4, 6 и 8 каналов которые подтверждают возможность полной диагностики цифрового устройства.
5. На синтезированных моделях МСА экспериментальною доказано справедливость использования теоремы, позволяющей определять вероятность необнаружения ошибки по формулам для одноканального сигнатурного анализатора, если число входов n=2d, где d- целое положительное число.
6. Разработана и предложена методика сравнения методов компактного тестирования для различных цифровых устройств, позволяющая в максимальной степени учитывать свойства анализируемых последовательностей и определять области применения того или иного метода компактного тестирования. На основе этой методики разработан и практически реализован моделирующий алгоритм оценки эффективности сигнатурного анализа и метода счёта единиц. Результаты
116 роведённого эксперимента доказывают возможность выбора более эффективного етода компактной диагностики для конкретных цифровых устройств.
7. Предложенный и использованный в системе проектирования алгоритм озволяет наращивать элементную базу, вводить новые генераторы тестовых оследовательностей и методы сжатия информации, что даёт возможность величивать число задач и усложнять их.
Список литературы диссертационного исследования кандидат технических наук Али Абдалла Ибрагим, 2002 год
1. Вопросы технической диагностики: Минвуз, сб. (отв. ред. Фалькович М.А.) - Ростов на Дону РИСИ, 1986. - 176,13 с.
2. Глазунов Л.П., Смирнов А.Н. Проектирование технических систем диагностирования. Л. Энергоатомиздат. Лен. отд. 1982. - 168 с.
3. Гурно А.И. и др. Программные средства диагностирования ЕС ЭВМ. М. Финансы и статистика, 1983. - 214 с.
4. Логические методы в задачах диагноза: (Сб. статей). Отв. ред. В.П. Чипулис. Владивосток. ДВНЦ АН СССР, 1982 -133 с.
5. Мозгалевский А.В., Койда А.Н. Вопросы проектирования систем диагностирования. Энергоатомиздат. Ленингр. отд. 1985. - 112 с.
6. Пархоменко П.П. Сегомонян Е. С. Основы технической диагностики: (Оптимизация алгоритмов диагностирования, аппаратурные средства) Под. ред. П.П. Пархоменко. М.: Энергоиздат, 1981. 319 с.
7. Хэмминг Р. Теория кодирования и теория информации. М.: Радио и связь, 1983 174 с.
8. Бояринов И.М. Помехоустойчивое кодирование числовой информации,- М.: Наука, Москва, 1983. 196 с.9.0ришенко В.И. и др. Сжатие данных в системах сбора и обработки инфоромации. М.: Радио и связь, 1985. - 185 с.
9. Иоффе М.М. Оценка способности сигнатурного анализа обнаруживать ошибки заданной кратности в двоичной последовательности. Автоматика и телемеханика, 1984, № 12, с. 110-115.
10. Новик Г.Х. О достоверности сигнатурного анализа, Автоматика и телемеханика, 1982, № 5, с. 110-118.
11. Ярмолик В.Н. О достоверности контроля двоичных последовательностей данных методом сигнатурного анализа. Электронное моделирование. 1985, Т. 7, №6, с.51-54.
12. Латыпов Р.Х, Сравнение сигнатурного анализа с тривиальным способом сжатия при обнаружении отказов линейной комбинационной схемы. Автоматика и телемеханика, 1985, №2, с. 165-167.
13. Ярмолик В.Н. Применение сигнатурного анализа для контроля и диагностики сетевых дискретных структур. Автоматика и вычислительная техника, 1985. № 4, с. 73-79.
14. Ярмолик В.Н., Кацнельсон В.И. Достоверность анализа методом счета единиц и методом сигнатурного анализа при контроле и диагностике сетевых дискретных структур. Автоматика и вычислительная техника, 1968. № 3, с. 82-86.
15. Баран Б.Д. О достоверности контроля двоичных последовательностей методом счета состояний. Автоматика и вычислительная техника. 1982. № 6, с. 66-70.
16. Лидак В.Ю., Позуноев Г.А., Кожевников В.В. Шнайдер Ф.Ф. и др. Автоматизированная система контроля и диагностики логических узлов и блоков на этапе производства. Автоматика и вычислительная техника. 1983. №3, с. 57-63.
17. Литиков И.П. Кольцевое тестирование комбинационных устройств. Автоматика и телемеханика. 1983. № 7, с. 145-153.
18. Латыпов Р.Х. О достоверности кольцевого тестирования линейных последовательностных машин. Автоматика и вычислительная техника. 1984. № 4, с. 89-91.
19. Ярмолик В.Н. Встроенные аппаратные средства для самотестирования больших интегральных схем. Микроэлектроника. 1986, Т. 15, № 1, с.70-76.
20. Гуляев В.А. и др. Диагностика вычислительных машин. Киев: Texhika, 1981.-167 с.
21. Латыпов Р.Х. Тесты и диагностика отказов ЭВМ. Учебное пособие, издательство Казанского университета 1982, 64 с.
22. Малышенко Ю.В. и др. Автоматизация диагностирования электронных устройств-М.: Энергоатомиздат, 1986-216 с.
23. Селлерс Ф. Методы обнаружения ошибок в работе ЭЦВМ. Пер. с англ. И. А. Поповой.,« Мир» 1972. 310 с.
24. Сергеев Б.Т., Басов Б.Н. Контроль и диагностика ЭВМ. -М.: Знание, 1986.-64 с.
25. Убар Р. Тестовая диагностика цифровых устройств. Учебное пособие Таллин, 1981.-112 с.
26. Гольдман Р.С. Техническая диагностика цифровых устройств. М., Энергия, 1986.-224 с.
27. Горяшко А.П. Проектирование легко тестируемых цифровых устройств. Идеи, методы, реализация. Автоматика и телемехкника, 1981, № 7, с. 5 -33.
28. Казьмина С.К. Компактное тестирование. Автоматика и телемеханика. 1982. № 2, с. 137 -189.
29. Логинов В.Н. Функции Уолша и области их применения. "Зарубежная радиоэлектроника", 1973. Т. 27, № 4.
30. Питерсон У. Коды, исправляющие ошибки. М.: Мир, 1964.-264с.
31. Ярмолик В.Н., Демиденко С.Н. Генерирование и применение псевдослучайных сигналов в системах испытания и контроля.-Мн.: наука и техника, 1986.- 200 с.
32. Кикокиса и др. Логическое проектирование СБИС: пер. с яп. М.: Мир, 1988.-309, с.
33. Пятлин, О.А, Овсищер, П. И. И др. Проектирование микроэлектронных цифровых устройств. М.: Сов. Радио, 1977, -272 с.
34. Хармут Х.Ф. Передача информации ортогональными функциями. Пер. с англ. Дядюнова Н.Г. и Сенина А.И. М., "Связь", 1975.-272 с.
35. Испытания радиоэлектронной, электронно-вычислительной аппаратуры и испытательное оборудование: Учеб. пособ. Для вузов/ Под ред А.И. Коробова. М.: Радио и связь, 1987. - 272 с.
36. Байда Н.П. и др. Микропроцессорные системы поэлементного диагностирования РЭА/ Н.П. Байда, И.В. Кузьмин, В.Т. Шпилевой. М.: Радио и связь, 1987. - 256 с.
37. Дмитриев А.К., Мальцем П.А. Основы теории построения и контроля сложных систем.-JI.: Энергоатомиздат. Ленингр. Отд-ние, 1988. -192 с.
38. Глудкин О.П. Методы и устройства испытаний РЭС и ЭВС: Учеб для вузов. М.: Высш. шк., 1991. — 336 с.
39. Скурихин В.И. и др. Информационные технологии в испытаниях сложных объектов: методы и средства. Киев, Наук, думка, 1990. — 320 с.
40. Долгов В.А., Касаткин А.С., Сретенский В.Н. Радиоэлектронные автоматические системы контроля (системный анализ и методы реализации). М.: "Сов. радио", 1978. — 384 с.
41. Чжен Г. Метц Г. Диагностика отказов цифровых вычислительных систем / Пер. с англ. Под ред. И.Б. Михайлов. М., 1972. — 272 с.
42. Контроль функционирования больших систем. Под ред. Шибанова Г,П. М.: Машиностроение, 1977. — 360 с.
43. Формирование псевдослучайных последовательностей с равномерным распределением элементов. Аббаттиста, Марино, Плантамура, "Зарубежная радиоэлектроника", 1973, № 3, с. 43.
44. Романкевич А. М. Об одном способе построения нелинейных генераторов псеводослучайных последовательностей // Кибернетика. 1978. № 1 с 136.
45. Бутаков Е.А., Волынский М.Б., Новосёлов В.Г. Диагностика программируемых логических матриц. М.: Радио и связь, 1991.-160 е.
46. Ярмолик В. Н. Контроль и диагностика цифровых узлов ЭВМ Мн.: наука и техника, 1988. 240 с.
47. Беннеттс Р. Дж. Проекитование тестопригодных логических схем: Пер. с англ.-М.: Радио и связь, 1990.-176 с.
48. Вейцман И.Н., Жук В.Е. Вероятностная система синтеза контролирующих тестов на логические схемы // Вопросы радиоэлектроники. Сер. ЭВТ. 1971. Вып. 6. С. 22-26.
49. Ярмолик В. Н. Построение многоканальных сигнатурных анализаторов. Автоматика и телемеханика, 1985, №1,с. 127-132.
50. Калоша Е. П., Кацнельсон Е. И., Ярмолик В. Н. О достоверности методов компактного тестирования. Ярмолик В. Н. 1989, №9 с. 160-166.
51. Согомонян Е. С. Достоверность самотестирования с использованием средств функционального диагностирования, Автоматика и телемеханика, 1988 №10 с. 154-160.
52. Евтушенко Н. В. О вероятностном подходе к вычислению оценок управляемости и наблюдаемости узла дискретного устройства. Автоматика и телемеханика, 1993, №11 с. 152-160.
53. Ярмолик В. Н. Построение генераторов псевдослучайных последовательностей испытательных сигналов. Автоматика и телемеханика, 1983, №6 с. 155-162.
54. Сагалович Ю. Л., Ярмолик В. Н. Синтез сигнатурного анализатора для двухуровневой комбинационной схемы. Автоматика и телемеханика, 1990 №4 с. 155-160.
55. Калоша Е. П., Качан И. В., Ярмолик В. Н. Исследование универсального модуля для организации самотестирования СБИС. Автоматика и телемеханика, 1991 №1 с. 105-112.
56. Сагалович Ю. Л. Классы ошибок в диагностических ответах и подходящие сигнатурные анализаторы. Автоматика и телемеханика, 1991 №1 с. 113-121.
57. Латыпов P. X. Тестовый генератор на основе линейного регистра сдвига. Автоматика и телемеханика, 1991 №7 с. 148-151.
58. Столов Е. Л. Обнаружение ошибочных последовательностей нелинейным сигнатурным анализатором. Автоматика и телемеханика, 1991 №7 с. 151- 158.
59. Ярмолик В. Н. Анализ сигнатурной тестируемости цифровых схем. Автоматика и телемеханика, 1989 №10 с. 159-167.
60. Латыпов P. X. Воспроизведение тестовых наборов и сжатие данных нелинейными регистрами сдвига. Автоматика и телемеханика, 1989 №10 с. 167-173.
61. Мурашко И. А., Шмидман А. М., Ярмолик В. Н. Новый подход к пректированию цепи сканирования для встроеного самотестирования СБИС. Автоматика и телемеханика, 1998, №7 с. 157-167.
62. Закревский Л. А., Калоша Е. П., Ярмолик В. Н. Метод граничного сканирования и его использование для тестирования цифровых устройств. Автоматика и телемеханика, 1994 №1 с. 3-31.
63. Биргер А. Г., Гурвич Е. Т. Построение тестов для древовидных сетей автоматов. Автоматика и телемеханика, 1981 №9 с. 151-161.
64. Голыничев В. Н., Звягин В. Ф., Немолочнов О. Ф. Регулярный метод синтеза тестовых последовательностей. Установочная последовательность. Автоматика и телемеханика, 1981, №9 с. 162-172.
65. Столов Е. Л. Исчерпывающее тестирование программируемых логических матриц и сигнатурный анализ. Автоматика и телемеханика, 1993, №3 с. 160-164.
66. Гессель М., Согомонян Е. С. Функционально-тестовое диагностирование на основе сохраняющего четность сигнатурного анализатора. Автоматика и телемеханика, 1998, №5 с. 162-171.
67. Столов Е. Л. Проверка цифровых устройств парой последовательно соединенных сигнатурных анализаторов. Автоматика и телемеханика, 1998, №1 с. 164-168.
68. Ярмолик В. Н. Синтез генераторов псевдослучайных тестовых последовательностей. Автоматика и телемеханика, 1988, №9 с. 119-125.
69. Бурый А. С., Шляконов В. А. Метод функционального диагностирования программно-управляемых объектов. Автоматика и телемеханика, 1998, №4 с. 173-178.
70. Латыпов P. X. Применение кодов рида-маллера при самотестировании схем. Автоматика и телемеханика, 1986 №9 с. 145-151.
71. Кунут Д. Искусство программирования для ЭВМ. М 1977. Т. 2.
72. Столов Е. Л. Функциональное диагностирование комбинационных схем методами компактного тестирования. Автоматика и телемеханика, 1990 №4 с. 161-165.
73. Латыпов P. X. Тестовое диагностирование на основе метрических свойств схем. Автоматика и телемеханика, 1991, №2 с. 171-178.
74. Файзулаев Б. Н. Проблемы и прогноз развития сверхскоростных сверх-БИС ЭВМ. Микроэлектроника 1986 Том №15, вып. 2.
75. Гладкий B.C. Вероятностные вычислительные модели. М., 1973. -126. с.
76. Кирьянов Б. Ф., Песошин В. А., Гришкин С. Г. К проблеме формирования некоррелированных псевдослучайных чисел на основе м-последовательностей. Автоматика и вычислительная техника, 1984 № 4 с. 70-75.
77. Гробман Д. М. Локализация дефектов цифровых схем. Автоматика и вычислительная техника, 1983 № 2 с. 79-84.122
78. Зандере JI. Я. Синтез легко диагностируемых комбинационных схем относительно одного класса константных неисправностей. Автоматика и вычислительная техника, 1983 № 1 с. 36-40.
79. Даниленко Е. Л. Вероятностные модели оперативного контроля дискретной системы. Автоматика и вычислительная техника, 1983 № 1 с. 66-71.
80. Латыпов P. X. Сравнение сигнатурного анализа с тривиальным способом сжатия при обнаружении отказов линеной комбинационной схемы. Автоматика и телемеханика, 1985 № 2 с. 165-167.
81. Столов Е. Л. Достоверность обнаружения пакетов ошибок сигнатурным анализатором. Автоматика и телемеханика, 1987 № 10 с. 182184.
82. Пелипейко В. А., Анучин И. А., Жуляков В. К., Плокс В. О., Круминь Я. П. Тестовое диагностирование логических структур. Под-ред. В. А. Пелипейко. Рига: Зинатне, 1986.-262 с.
83. Рюттен Т., Франкен Г. Турбо Паскаль 7.0-К.: Торгово-издательское бюро BHV, 1996-448 с.
84. Основные результаты НИОКР: -Разработан и внедрен в ЭТЛ ЦСРЗА программно-аппаратный комплекс позволяющий автоматизировать процессы проверки, локализации неисправностей и поверки микропроцессорного устройства определения места повреждения ФПМО1.
85. Научное руководство НИОКРом осуществлялось доц.КГЭУ Хузяшевым Р.Г. При разработке методики диагностирования устройства ФПМ01 использовались результаты диссертационной работы аспиранта КГУ Али Абдалла Ибрагима.
86. Рекомендации по продолжению и (или) тир1ажированию НИОКР: Рекомендуется тиражировать НИОКР с соответствующими доработками для диагностики неисправностей микропроцессорных устройств используемых в релейной защите.
87. Договорная цена составила:283189 рублей (двести восемьдесят три тысячи сто восемьдесят девять рублей)1. АКТ
88. О внедрении результатов диссертационной работыаспиранта Али Абдалла Ибрагим в учебный процесс университета
89. Декан физического факультета, профессо Зав. Кафедрой радиофизики, доцент1. Шерстюков
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.