Метод построения легко диагностируемых схем из функциональ ных элементов относительно единичных неисправностей | Прикладная дискретная математика. 2019. № 46. DOI: 10.17223/20710410/46/4

Предложен метод синтеза схем из функциональных элементов в произвольном функционально полном базисе, реализующих заданные булевы функции и допускающих единичные диагностические тесты малой длины относительно константных и/или инверсных неисправностей на входах и/или выходах элементов при выполнении определённых начальных условий, связанных с существованием коротких единичных проверяющих тестов для схем в том же базисе при таких же неисправностях. На основании этого метода получены новые верхние оценки длин минимальных единичных диагностических тестов для схем из функциональных элементов в некоторых базисах при некоторых неисправностях элементов.
  • Title Метод построения легко диагностируемых схем из функциональ ных элементов относительно единичных неисправностей
  • Headline Метод построения легко диагностируемых схем из функциональ ных элементов относительно единичных неисправностей
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 46
  • Date:
  • DOI 10.17223/20710410/46/4
Ключевые слова
схема из функциональных элементов, булева функция, константная неисправность, инверсная неисправность, единичный проверяющий тест, единичный диагностический тест, logic network, Boolean function, stuck-at fault, inverse fault, single fault detection test, single diagnostic test
Авторы
Ссылки
Чегис И. А., Яблонский С. В. Логические способы контроля работы электрических схем // Труды МИАН. 1958. Т. 51. С. 270-360
Яблонский С. В. Надёжность и контроль управляющих систем // Материалы Всесоюзного семинара по дискретной математике и её приложениям (Москва, 31 января-2 февраля 1984г.). М.: Изд-во МГУ, 1986. С. 7-12
Яблонский С. В. Некоторые вопросы надёжности и контроля управляющих систем // Математические вопросы кибернетики. Вып. 1. М.: Наука, 1988. С. 5-25
Редькин Н.П. Надёжность и диагностика схем. М.: Изд-во МГУ, 1992. 192 с
Редькин Н. П. О единичных диагностических тестах для однотипных константных неисправностей на выходах функциональных элементов // Вестник Московского университета. Сер. 1. Математика. Механика. 1992. № 5. С. 43-46
Попков К. А. О точном значении длины минимального единичного диагностического теста для одного класса схем // Дискретный анализ и исследование операций. 2017. Т. 24. №3. С. 80-103
Попков К. А. О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2016. №3. С. 3-18
Попков К. А. Нижние оценки длин единичных тестов для схем из функциональных элементов // Дискретная математика. 2017. Т. 29. Вып.2. С. 53-69
Романов Д. С., Романова Е. Ю. Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов // Известия высших учебных заведений. Поволжский регион. Физикоматематические науки. 2016. №. 2. С. 87-102
Попков К. А. Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов // Дискретная математика. 2018. Т. 30. Вып. 3. С. 99-116
Коваценко С.В. Синтез легкотестируемых схем в базисе Жегалкина для инверсных неисправностей // Вестник Московского университета. Сер. 15. Вычислительная математика и кибернетика. 2000. № 2. С. 45-47
Романов Д. С. Метод синтеза неизбыточных схем в стандартном базисе, допускающих единичные диагностические тесты длины два // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2016. № 3. С. 56-72
Романов Д. С. Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2015. № 4. С. 38-54
Любич И. Г., Романов Д. С. О единичных диагностических тестах относительно инверсных неисправностей элементов в схемах над некоторыми базисами // Прикладная математика и информатика. Вып. 58. М.: МАКС Пресс, 2018. С. 47-61
Редькин Н. П. О схемах, допускающих короткие единичные диагностические тесты // Дискретная математика. 1989. Т. 1. Вып. 3. С. 71-76
Попков К. А. Синтез легкотестируемых схем при однотипных константных неисправностях на входах и выходах элементов // Интеллектуальные системы. Теория и приложения. 2018. Т. 23. Вып. 3. С. 131-147
Попков К. А. Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов // Прикладная дискретная математика. 2019. № 43. С. 78-100
Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986. 384с
Бородина Ю. В. О схемах, допускающих единичные тесты длины 1 при константных неисправностях на выходах элементов // Вестник Московского университета. Сер. 1. Математика. Механика. 2008. № 5. С. 49-52
 Метод построения легко диагностируемых схем из функциональ ных элементов относительно единичных неисправностей | Прикладная дискретная математика. 2019. № 46. DOI: 10.17223/20710410/46/4
Метод построения легко диагностируемых схем из функциональ ных элементов относительно единичных неисправностей | Прикладная дискретная математика. 2019. № 46. DOI: 10.17223/20710410/46/4