Разработка моделей и алгоритмов инженерного синтеза самотестирующихся логических преобразователей с перестраиваемым элементным базисом
Диссертация
Известен также оригинальный, но малоизученный (как с теоретической так и с практической точек зрения), вариант технической реализации самотестирующихся логических преобразователей с перестраиваемым элементным базисом, ориентированным на решение всех трёх основных задач технической диагностики, и базирующийся на использовании специальных программируемых логических матриц с перестраиваемым… Читать ещё >
Список литературы
- Байда Н.П. Микропроцессорные системы поэлементного диагностирования РЭА / Байда Н. П., Кузьмин И. В., Шпилевой В. Т. М.: Радио и связь, 1987. 256 с.
- Байда Н.П. Самообучающиеся анализаторы производственных дефектов РЭА / Байда Н. П., Месюра В. И., Роик A.M. M.: Радио и связь, 1991. 256 с.
- Горлов М.И., Королёв С. Ю. Физические основы надежности интегральных микросхем. Воронеж: Издательство Воронежского университета, 1995.-200 с.
- Надёжность и эффективность в технике: Справочник. В ЮТ. / Ред. совет: B.C. Авдуевский (пред.) и др. М.: Машиностроение, 1987. Т. 9. Техническая диагностика / Под общ. ред. В. В. Клюева, П. П. Пархоменко. — 352 с.
- Гуляев В.А. Автоматизация наладки и диагностирования микроУВК / Гуляев В. А., Кудряшов В. И. М.: Энергоатомиздат. 1992. 256 с.
- Williams T.W., Parker K.P. Design for testability a survey / IEEE Trans, on Comput. 1982. Vol. C-31. № 1. P 2−5.
- Mc Clusskey E.J. Built-in self-test techniques / IEEE Design and Test of Computers. Aprl. 1985. V. 2(2). P.21−28.
- Agarwal V.K. Easily testable PLAS // VISI Testing. Amsterdam: Norsh Holland, 1986. P. 65−94.
- Паршина H.A. Синтез легкодиагностируемых комбинационных схем методом факторизации тупиковых ДНФ // Автоматика и вычислительная техника. 1980. — № 4.С.69−74.
- Матросова А.Ю., Байда В. Д., Сафронов В. В. Синтез легкодиагностируемых автоматов // Методы и системы технической диагностики. 1980. — Вып. 1, С. 17−26.
- Гессель M., Согомонян Е. С. Построение самотестируемых и самопроверяемых комбинационных устройств со слабонезависимыми выходами// АиТ,№ 8, 1992. С. 150−159.
- Литиков И.П. Синтез самопроверяемых схем компактного диагностирования // АиТ, № 3, 1991. С. 153−160.
- Романкевич A.M., Стукач Н. Д. Об одном способе обеспечения лекготестируемости логических схем // АиТ, № 3, 1991. С. 160−167.
- Долинский М. Тенденция развития методов и средств автоматизации проектирования встроенных цифровых систем по материалам DATE'2003 // Компоненты и технологии, № 4. 2003. С. 166−171.
- Лобанов В. Заметки о проектировании современных цифровых систем управления на отечественной элементной базе // CHIP NEWS, № 3, 2003. С.36−43.
- Горяшко А.П. Синтез легкодиагностируемых схем вычислительных устройств. М.: Наука. -1987. — 288 с.
- Баранов С.И., Скляров В. А. Цифровые устройства на программируемых БИС с матричной структурой / Баранов С. И., Скляров В.А. М. Радио и связь, 1986. 272 с.
- Угрюмов Е.П. Цифровая схемотехника: Учеб. пособие для вузов. СПб.: БХВ-Петербург, 2004. 800 с.
- Глушков В.М. Синтез цифровых автоматов. М.: Физматгиз, 1962.-467с.
- Кудрявцев В.Б., Алешин C.B., Подколзин A.C. Введение в теорию автоматов. М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320с.
- Беннеттс Р. Дж. Проектирование тестопригодных логических схем. М.: Радио и связь, 1990. — 176 с.
- Курейчик В.М., Родзин С. И. Контролепригодное проектирование и самотестирование СБИС: проблемы и перспективы. М., Радио и связь, 1994. 176 с.
- Литиков И.П. Кольцевое тестирование устройств. М.: Энергоатомиздат, 1990. 160 с.
- Волынский М.Б. Классы проверяемых неисправностей программируемых логических матриц / Волынский М. Б., Новоселов В. Г. // Респ. межвед. научн.-техн. сб. М.: Приборостроение, 1983. Вып. 35.С.37- 41.
- Волынский М.Б., Новоселов В. Г. Обнаружение и поиск неисправностей программируемых логических матриц / Волынский М. Б., Новоселов В. Г. // Микроэлектроника. 1983. Т.12. № 4. С.306−312.
- Бутаков Е.А. Диагностика программируемых логических матриц / Бутаков Е. А., Волынский М. Б., Новоселов В. Г. М.: Радио и связь. 1991. 160 с.
- Закревский А.Д. К построению проверяющих тестов ПЛМ// Автоматика и вычислительная техника. 1982. № 2. С. 73−76.
- Люлькин А.Е. Синтез тестов для программируемых логических матриц / Люлькин А. Е., Павлова Т.Г.//Микроэлектроника. 1983. Т.12.№ 4.С. 299 305.
- Соменци Ф. Обнаружение неисправностей в программируемых логических матрицах / Соменци Ф., Гай С. // ТИИЭР. 1986. Т. 74. № 5. С. 41−57.
- Уткин A.A. Построение проверяющих тестов для программируемых логических матриц // Алгоритмы логического проектирования. Минск. 1983. С. 83 -96.
- Киносита К. Логическое проектирование СБИС / Киносита К., Асада К., Карацу О. М.: Мир. 1988. 309 с.
- Fujiwara Н. A design of programmable logic arrays with universal tests / Fujiv/ara H., Kinoshita K. // IEEE Trans, on Comput. 1981. Vol. № 11. P. 823 -828.
- Fujiwara H. A new PLA design for universal testability // IEEE Trans, on Comput. 1984. Vol. № 8. P. 745 750.
- Усатенко C.T. Выполнение электрических схем по ЕСКД: Справочник / Усатенко С. Т., Коченюк Т. К., Терехова M.B. М.: Издательство стандартов, 1992. 316 с.
- Логическое проектирование БИС / Под ред. В. А. Мищенко. М.: Радио и связь, 1984. 312 с.
- Гольдман P.C. Техническая диагностика цифровых устройств / Гольдман P.C., Чипулис В. П. М.: Энергия, 1976. 224 с.
- Карпов Ю. Г. Теория автоматов. СПб.: Питер, 2002. 224 с.
- Акинина Ю.С. Анализ принципов построения и формализация модели легкодиагностируемых ПЛМ с перестраиваемым логическим базисом // Электроника 2003: Тез докл. 2-я Всероссийская н/т дистанционная конф.-Москва, МИЭТ, 2003.
- Гаврилюк Д. Внутрисхемное программирование // Компоненты и технологии. 2003. № 8. С. 114−117.
- Бохманн Д., Постхоф X «Двоичные динамические системы». М.: Энергоатомиздат, 1986.-400с.
- Акинина Ю.С., Тюрин C.B. Тютин М. В. Программный модуль «Преобразователь булевых полиномов» // ФАП ВНТИЦ № 50 200 400 714 от 06.07.2004
- Акинина Ю.С. Оптимистическая оценка сложности алгоритма восстановления совершенной дизъюнктивной нормальной формы // Техника машиностроения, № 5, 2002. С.74−75.
- Ахмед Н., Pao К. Р. Ортогональные преобразования при обработке цифровых сигналов. М.: Радио и связь, 1980. — 248 с.
- Садыхов Р.Х., Чеголин П. М., Шмерко В. П. Методы и средства обработки сигналов в дискретных базисах. Минск: Наука и техника, 1987. -296 с.
- Тоценко В.Г. Алгоритмы технического диагностирования дискретных устройств. М.: Радио и связь, 1985. — 240 с.
- Дискретная математика и математические вопросы кибернетики, т. 1 / Под ред. С. В. Яблонского и О. Б. Лупанова- М.: Наука, 1974. 312 с.
- Баранов С. И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979. — 232 с.
- Лысиков Б. Н. Арифметические и логические основы цифровых автоматов. Минск: Высшая школа, 1980. — 230 с.
- Автоматизация проектирования БИС. В 6 кн.: Практ. пособие. Кн. 2. П. В. Савельев, В. В. Коняхин Функционально-логическое проектирование БИС // Под ред. Г. Г. Казанова- М.: Высшая школа., 1990. 156 с.
- Новожилов О.П. Основы цифровой техники / Учебное пособие. М.: ИП РадиоСофт, 2004. — 528 с.
- Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.-416 с.
- Закревский А. Д. Комбинаторика логического проектирования. // Автоматика и вычислительная техника. 1990. № 2. — с. 68 — 79.
- Уткин А. А. Экспериментальное исследование алгоритмов «выполнимость» // Автоматика и вычислительная техника. 1990. — № 6. — с. 66−74.
- Петрович Т.Н., Размахнин М. К. Системы связи с шумоподобными сигналами. М.: Сов. радио, 1969 — 232 с.
- Лезин Ю.С. Оптимальные фильтры и накопители импульсных сигналов, М.: Сов. радио, 1963 — 319 с.
- Корн Г. А. Моделирование случайных процессов на аналоговых и аналогово-цифровых машинах. М.: Мир 1968 — 315 с.
- Алексеев А.И., Шереметьев А. Г., Тузов Г. И., Глазов Б. И. Теория и применение псевдослучайных сигналов. М.: Наука, 1969 — 368 с.
- Ярмолик В.Н., Демиденко С. Н. Генерирование и применение псевдослучайных сигналов в системах испытаний и контроля/ Под ред. П. М. Чеголина. Мн.: Наука и техника, 1986. — 200 с.
- Тюрин C.B. Многоканальный генератор коррелированных М-последовательностей // Техника машиностроения, N4(38), 2002. — с. 77−78.
- Акинина Ю.С., Тюрин C.B. Об одном подходе к формализации понятий «необходимость» и «достаточность» функциональных тестов ОЗУ // Вестник ВГТУ, Вып. 8.1, Воронеж, 2001. С.50−52.
- Акинина Ю.С., Панявин В. В., Тюрин C.B. Об одном подходе к сравнительной оценке эффективности контрольно-диагностических тестов для цифровых модулей ОЗУ // Вестник ВГТУ, Вып. 8.2, Воронеж, 2002.
- Владимирский М.М. Тестирование ОЗУ с помощью псевдослучайной двоичной последовательности // Микропроцессорные средства и системы, № 4, 1990.-С.91−92
- Свердлик М.Б. Оптимальные дискретные сигналы. М.: Сов. радио, 1975−200 с.
- Самсонов Б.Б., Плохов Е. М., Филоненков A.M. Компьютерная математика (основания информатики). Ростов-на-Дону: «Феникс», 2002.-512 с.
- Бобнев М.П. Генерирование случайных сигналов. Изд. 2-е перераб. и доп. М.: Энергия, 1971.- 240 с .
- Тюрин C.B. Многоканальный генератор коррелированных М-последовательностей // Техника машиностроения, N4(38), 2002. с. 77−78
- Богданов В.В., Лупиков B.C. Устройство контроля генератора М-последовательностей. А.С. № 1 278 850, кл. G06, F11/00 // Б. И. 1988. № 47.
- Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат, 1988.
- Акинина Ю.С., Тюрин C.B. Тютин М. В. Программный модуль «Преобразователь булевых полиномов» // ФАП ВНТИЦ № 50 200 400 714 от 06.07.2004
- Акинина Ю.С., Моргунов Ю. М., Тюрин C.B. Программный модуль «Расчет и генерация эталонных последовательностей для диагностирования неисправностей специализированных ПЛМ» // ФАП ВНТИЦ № 50 200 400 701 от 06.07.2004
- Акинина Ю.С., Тюрин C.B. Тютин М. В. Программа «Эмулятор программируемой логической матрицы» // ФАП ВНТИЦ № 50 200 400 711 от от 06.07.2004
- Микропроцессоры: системы программирования и отладки / В. А. Мясников, М. Б. Игнатьев, А. А. Кочкин, ЮЕ. Шейнин- Под ред. В. А. Мясникова, М. Б. Игнатьева. М.: Энергоатомиздат, 1985. — 272 с.
- Корячко В.П. Конструирование микропроцессорных систем контроля радиоэлектронной аппаратуры. -М.: Радио и связь, 1987. 160 с.
- Уильяме Г. Б. Отладка микропроцессорных систем. М.: Энергоатомиздат, 1988.-253 с.
- Разевинг В.Д. Применение программ P-CAD и Pspice для схемотехнического моделирования на ПЭВМ: В 4 выпусках. М.: Высш. школа, 1989.
- Разевинг В.Д. Система схемотехнического моделирования и проектирования печатных плат Design Center (PSpice). M.: CK Пресс, 1996.
- Разевинг В.Д. Система схемотехнического моделирования Micro-Cap V. M.: «СОЛОН», 1997. — 280 с.
- Разевинг В.Д. Универсальная программа проектирования электронных устройств APLAC // PC Week / Re, 1997, № 26. С. 45−46.
- Панфилов Д.И., Иванов B.C., Чепурин И. Н. Элетротехника и электроника в экспериментах и упражнениях: Практикум по Electronics Workbench: в 2 т./ Под общей ред. Д. И. Панфилова. М.: ДО ДЕКА, 1999.
- Карлащук В.И. Электронная лаборатория на IBM PC. Лабораторный практикум на базе Electronics Workbench и MATLAB. Издание 5-е. М.: СОЛОН-Пресс, 2004. — 800с.
- Кардашов Г. А. Цифровая электроника на персональном компьютере. Electronics Workbench и Micro-Cap.-M.: Горячая линия-Телеком, 2003.-311 с. 1. УТВЕРЖДАЮ"1. АКТоб использовании результатов кандидатской диссертации Акининой Ю.С.
- Разработка моделей и метода инженерного синтеза самотестирующихсялогических преобразователей с перестраиваемым элементным базисом"
- Указанные результаты включены в учебный процесс на основании решения кафедры ABC, протокол № 5 от «24 «января 2006 г. 1. Зав. кафедрой ABC1. Начальник УМУ
- C.JI. Подвальный А. И. Болдырев1. ИКАП501. Su? oy7839 Тип ЭВМ7902 Тип и версия ОС5715 Инструментальное ПО7848 Оперативная память1. M PC/AT1. MS Win 9х/2000/ХР1. MS VC7.155 007 965 Разновидность ПС Программный модуль46
- Программа 64 Пакет программ 19 Комплект программ7884 Объем программы
- Международный институт компьютерных технологий2358 Сокращенное наименование организации 2655 Адрес организации1. МИКТ
- Сведения об организации-разработчике2988 Телефон 3087 Телефакс 2781 Город2187 Наименование организации6183 Авторы (разработчики ПС)
- Акинина Ю.С., Моргунов Ю. В., Тюрин С.В.9045 Наименование программы
- Программный модуль ««Расчет и генерация эталонных последовательностей для диагностирования неисправностей специализированных ПЛМ"9117 Реферат
- В результате разработки создан программный модуль, обеспечивающий реализацию требований, поставленных перед авторами.5436в
- Фамилия, инициалы Должность Учсгегкнь, зг^Е^ ^^доЩ^Ш?^
- Руководит, организац. 6111 Кравец О. Я. 6311 Проректор 6210 д.т.ь щт «Р ^ЩШшЩ^. у
- Библиотека программ 82 Программная система 91 Программный комплекс 28 Информационная структура 37 Прочее5679 Код программы по ЕСПД26 499 161.001421288