Доказано, что для любого натурального k любую булеву функцию можно реализовать двухполюсной контактной схемой, k-неизбыточной и допускающей k-проверяющий тест длины не более 3 относительно произвольных связных неисправностей контактов в группах, где каждая группа состоит из одного замыкающего и одного размыкающего контакта. Установлено, что если булева функция не является самодвойственной, то оценку можно понизить до 2.
Скачать электронную версию публикации
Загружен, раз: 6
- Title Короткие проверяющие тесты для контактных схем при произвольных слабо связных неисправностях контактов
- Headline Короткие проверяющие тесты для контактных схем при произвольных слабо связных неисправностях контактов
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 62
- Date:
- DOI 10.17223/20710410/62/6
Ключевые слова
булева функция, проверяющий тест, связные неисправности контактов, контактная схемаАвторы
Ссылки
Редькин Н. П. Об одной математической модели неисправностей контактных схем // Вестник Московского университета. Серия 1. Математика. Механика. 1993. У1. С. 42-49.
Редькин Н. П. Единичные тесты для связных неисправностей контактных схем // Вестник Московского университета. Серия 1. Математика. Механика. 1993. У 2. С. 20-27.
Попков К. А. Оценки функций Шеннона длин тестов замыкания для контактных схем // Дискретная математика. 2020. Т. 32. Вып.З. С. 49-67.
Попков К. А. Короткие тесты замыкания для контактных схем // Математические заметки. 2020. Т. 107. Вып. 4. С. 591-603.
Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Изв. вузов. Поволжский регион. Физико-математические науки. 2019. УЗ (51). С.3-24.
Попков К. А. О диагностических тестах размыкания для контактных схем // Дискретная математика. 2019. Т. 31. Вып. 2. С. 124-143.
Попков К. А. Короткие единичные проверяющие тесты для контактных схем при обрывах и замыканиях контактов // Интеллектуальные системы. Теория и приложения. 2019. Т. 23. Вып. 3. С. 97-130.
Редькин Н. П. О диагностических тестах для контактных схем // Вестник Московского университета. Серия 1. Математика. Механика. 2019. У 2. С. 35-37.
Редькин Н. П. О проверяющих тестах замыкания и размыкания // Методы дискретного анализа в оптимизации управляющих систем. Вып. 40. Новосибирск: ИМ СО АН СССР, 1983. С. 87-99.
Романов Д. С., Романова Е. Ю. О единичных проверяющих тестах константной длины для обобщённых итеративных контактных схем // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2015. УЗ. С.42-50.
Попков К. А. О проверяющих тестах размыкания для контактных схем // Дискретная математика. 2017. Т. 29. Вып. 4. С. 66-86.
Редькин Н. П. Надёжность и диагностика схем. М.: Изд-во МГУ, 1992. 192 с.
Мадатян X. А. Полный тест для бесповторных контактных схем // Проблемы кибернетики. Вып. 23. М.: Наука, 1970. С. 103-118.
Редькин Н. П. О полных проверяющих тестах для контактных схем // Методы дискретного анализа в исследовании экстремальных структур. Вып. 39. Новосибирск: ИМ СО АН СССР, 1983. С. 80-87.
Яблонский С. В. Некоторые вопросы надёжности и контроля управляющих систем // Математические вопросы кибернетики. 1988. Вып. 1. С. 5-25.
Яблонский С. В. Надёжность и контроль управляющих систем // Материалы Всесоюзного семинара по дискретной математике и её приложениям (Москва, 31 января-2 февраля 1984 г.). М.: Изд-во МГУ, 1986. С. 7-12.
Лупанов О.Б. Асимптотические оценки сложности управляющих систем. М.: Изд-во МГУ, 1984. 138 с.
Чегис И.А., Яблонский С. В. Логические способы контроля работы электрических схем // Труды МИАН. 1958. Т. 51. С. 270-360.
Короткие проверяющие тесты для контактных схем при произвольных слабо связных неисправностях контактов | Прикладная дискретная математика. 2023. № 62. DOI: 10.17223/20710410/62/6
Скачать полнотекстовую версию
Загружен, раз: 91