ГлавнаяАрхивКороткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе

Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе | Прикладная дискретная математика. 2022. № 56. DOI: 10.17223/20710410/56/6

Доказано, что любую монотонную (антимонотонную) булеву функцию от n переменных можно смоделировать схемой из функциональных элементов с одним дополнительным входом в базисе «конъюнкция, дизъюнкция, отрицание», допускающей полный диагностический тест длины не более n + 2 (соответственно не более n + 1) относительно константных неисправностей типа 1 на выходах элементов.
  • Title Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе
  • Headline Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 56
  • Date:
  • DOI 10.17223/20710410/56/6
Ключевые слова
схема из функциональных элементов, константная неисправность, полный диагностический тест, булева функция
Авторы
Ссылки
Яблонский С. В. Надёжность и контроль управляющих систем // Материалы Всесоюзного семинара по дискретной математике и её приложениям (Москва, 31 января-2 февраля 1984 г.). М.: Изд-во МГУ, 1986. С. 7-12.
Яблонский С. В. Некоторые вопросы надёжности и контроля управляющих систем // Математические вопросы кибернетики. Вып. 1. М.: Наука, 1988. С. 5-25.
Редькин Н. П. Надёжность и диагностика схем. М.: Изд-во МГУ, 1992. 192 с.
Попков К. А. Нижние оценки длин полных диагностических тестов для схем и входов схем // Прикладная дискретная математика. 2016. №4(34). С. 65-73.
Редькин Н. П. К вопросу о длине диагностических тестов для схем // Математические заметки. 2017. Т. 102. Вып. 4. С. 624-627.
Ложкин С. А. Лекции по основам кибернетики (учебное пособие для студентов). М.: Издательский отдел ф-та ВМиК МГУ, 2004. 251 с.
Яблонский С. В. Введение в дискретную математику. М.: Наука, 1986. 384 с.
Попков К. А. О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов: дис.. д-ра физ.-мат. наук. М., 2021. 377 с.
Коршунов А. Д. О числе монотонных булевых функций // Проблемы кибернетики. Вып. 38. М.: Наука, 1981. С. 5-108.
Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе | Прикладная дискретная математика. 2022. № 56. DOI: 10.17223/20710410/56/6
Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе | Прикладная дискретная математика. 2022. № 56. DOI: 10.17223/20710410/56/6