Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки

16+

Название статьи

О ТЕСТАХ ОТНОСИТЕЛЬНО ЛОКАЛЬНЫХ ЛИНЕЙНЫХ СЛИПАНИЙ ПЕРЕМЕННЫХ В БУЛЕВЫХ ФУНКЦИЯХ

Номер журнала	5
Дата выпуска	2012

Тип статьи	научная статья	Коды УДК	519.718
Страницы	153-158	Ключевые слова	булева функция, слипание переменных, проверяющий тест, диагностический тест, функция Шеннона длины теста

Авторы

Морозов Евгений ВалерьевичРоманов Дмитрий Сергеевич

Место работы

Морозов Евгений Валерьевич Московский госуниверситет им. М.В. Ломоносова
Романов Дмитрий Сергеевич Московский госуниверситет им. М.В. Ломоносова

Аннотация

Доказываются нетривиальные оценки функций Шеннона длины проверяющего теста (на уровне порядка роста) и длины диагностического теста (на уровне асимптотики при соблюдении ряда условий) относительно локальных k -кратных линейных слипаний переменных в булевых функциях.

Загрузить статью

Библиографический список

1 . Редькин Н.П. Надежность и диагностика схем. М.: Изд-во МГУ, 1992. 192 с.
2 . Соловьев Н.А. Тесты (теория, построение, применение). Новосибирск: Наука, СО, 1978. 192 с.
3 . Носков В.Н. Диагностические тесты для входов логических устройств // Дискретный анализ. Новосибирск: ИМ СО АН СССР, 1974. № 26. С. 72–83.
4 . Носков В.Н. О сложности тестов, контролирующих работу входов логических схем // Дискретный анализ. Новосибирск: ИМ СО АН СССР, 1975. № 27. С. 23–51.
5 . Носков В.Н. О длинах минимальных единичных диагностических тестов, контролирующих работу входов логических схем // Методы дискретного анализа в синтезе управляющих систем. Новосибирск: ИМ СО АН СССР, 1978. № 32. С. 40–51.
6 . Носков В.Н. Об универсальных тестах для диагностики одного класса неисправностей комбинационных схем // Методы дискретного анализа в решении экстремальных задач. Новосибирск: ИМ СО АН СССР, 1979. № 33. С. 41–52.
7 . Нурмеев Н.Н. Об универсальных диагностических тестах для одного класса неисправностей комбинационных схем // Вероятностные методы и кибер-нетика. Вып. 18. Казань: КазГУ, 1982. С. 73–76.
8 . Погосян Г.Р. О проверяющих тестах для логических схем // М.: Изд-во ВЦ АН СССР, 1982. 57 с.
9 . Кузнецов И.А., Романов Д.С. О полных проверяющих тестах относительно локальных слипаний переменных в булевых функциях // Уч. зап. Казан. гос. ун-та. Сер. Физико-математические науки. 2009. Т. 151, кн. 2. С. 90–97.
10 . Романов Д.С. О диагностических тестах относительно локальных слипаний переменных в булевых функциях // Прикладная математика и информатика. Тр. факультета Вычислительной математики и кибернетики МГУ им. М.В. Ломоносова. Вып. 36. М.: МАКС Пресс, 2010. С. 91–98.