Предварительная программа курса

Контроль управляющих систем. Предварительная программа..
1. Контактные схемы. Функционирование контактных схем. Схема Кардо. Схемы для
медианы.[6, c. 70-73]
2. Метод Шеннона для синтеза контактных схем. [5, с. 10-15]
3. Самокорректирующиеся контактные схемы. Нетривиальное дублирование. Схемы
для медианы (самокорректирующиеся по 9 и 8 контактов). Схема, корректирующая
одно размыкание для суммы по модулю два. [5, с. 143-153; 6, c. 74-82 ]
4. Тесты для таблиц. Тестирование контактных схем. Теорема о тривиальности
полного диагностического теста для схемы, реализующей сумму по модулю два. [6,
c. 132-134]
5. Тривиальные оценки длины теста для таблицы. [5, с. 172-174]
6. Длина диагностического теста для почти всех таблиц. [5, с. 178-180]
7. Задача тестирования и задача о покрытии. Градиентный метод решения задачи о
покрытии. Оценка длины покрытия.[7, c. 136-137]
8. Алгоритм построения всех тупиковых покрытий матрицы. [5, с. 176-178]
9. Задача о поиске двух радиоактивных шаров. Оценки длины теста.[4]
10. Задача о минимальном вершинном покрытии. «Жадный» и «тупой» приближенные
алгоритмы.
11. Теорема Перязева (формулировка). Оценки длины сертификата повторности в
базисе B_2.
12. Тестирование в базисе B_0. Классическая постановка.[1]
13. Тестирование в базисе B_0. Тестирование относительно бесповторной
альтернативы. Оценка функций Шеннона. [1]
14. Тестирование в базисе B_0. Тестирование оракулом-суммой при условии
существенности всех переменных.[2]
15. Тестирование в базисе B_0. Тестирование оракулом-суммой без условия
существенности всех переменных [3]
16. Тестирование в базисе, отличном от B_0 при условии существенности всех
переменных [2]
СПИСОК ЛИТЕРАТУРЫ
1. Вороненко А.А. О длине проверяющего теста для бесповторных функций в базисе
{0,1,&,v,-} //.Дискретная математика. Т.17. 2005, N 2, c.139-143.
2. Вороненко А.А, Чистиков Д.В. Расшифровка бесповторных функций оракулом –
счетчиком четности // Прикладная математика и информатика, М.:Макс Пресс. 2010. N34,
c.93-106.
3. Вороненко А.А., Кафтан Д.В. Расшифровка конъюнкции оракулом -- счетчиком
четности // Материалы 15-го Межвузовского научно-практического семинара
«Комбинаторные конфигурации и их приложения», 12-13.04.13. Кировоград.
Украина. с. 22-24.
4. Донец Г.П., Кузнецов С.Т. Графовый подход к решению задачи поиска радиоактивных
шаров (укр.) // Материалы 12-го Межвузовского научно-практического семинара
«Комбинаторные конфигурации и их приложения», 14-15.10.11. Кировоград.
Украина. с. 17-23.
5. Яблонский С.В. Элементы математической кибернетики. М. Высшая школа. 2007. 190 с.
6. Редькин Н.П. Надежность и диагностика схем. М. МГУ. 1992.
7. Дискретная математика и математические вопросы кибернетики. Под ред. Яблонского
С.В. и Лупанова О.Б. Часть I. М. Физматлит. 1974.