Том 22, номер 1, 2015 г., cтр. 51–63
УДК 519.718
Е. В. Морозов, Д. С. Романов
Проверяющие тесты для булевых функций при линейных локальных неисправностях входов схем
Аннотация:
Под линейным локальным k-кратным слипанием переменных понимается подстановка вместо данных переменных линейной булевой функции, зависящей от них. В настоящей работе изучаются проверяющие тесты относительно подобных неисправностей. Известные ранее результаты в двух случаях доводятся до асимптотики, в третьем случае находится порядковая оценка.
Библиогр. 5.
Ключевые слова: тест, булева функция, слипание.
DOI: 10.17377/daio.2015.22.457
Евгений Валерьевич Морозов 1
Дмитрий Сергеевич Романов 1
1. Московский гос. университет им. М. В. Ломоносова,
ул. Ленинские горы, 1, 119992 Москва, Россия
е-mail: morozov_msu@mail.ru, romanov@cs.msu.ru
Статья поступила 11 июля 2014 г.
Литература
[1] Романов Д. С. О полных проверяющих тестах относительно локальных слипаний переменных в булевых функциях // Уч. зап. Казан. гос. ун-та. Сер. Физ.-мат. науки. 2009. Т. 151, №2. С. 197–206.
[2] Морозов Е. В. О тестах относительно множественных линейных слипаний переменных в булевых функциях // Вестн. Москов. ун-та. Сер. 15. Вычисл. математика и кибернетика. 2014. №1. С. 22–25.
[3] Морозов Е. В., Романов Д. С. О тестах относительно локальных линейных слипаний переменных в булевых функциях // Вестн. Нижегород. ун-та им. Н. И. Лобачевского. Сер. Физ.-мат. науки. 2012. №5. С. 153–158.
[4] Погосян Г. Р. О проверяющих тестах для входов логических устройств. М: ВЦ АН СССР, 1982. 57 с.
[5] Романов Д. С. О диагностических тестах относительно локальных слипаний переменных в булевых функциях // Прикл. математика и информатика. 2010. Т. 36. С. 91-98.
