Общая схема оптимального алгоритма контроля (безусловного)

• Формирования таблицы покрытий. Когда таблица сформулирована, производится её анализ, удаление клонов по столбцам и строкам, упрощение.

• По функции предпочтения минимальный столбец выбираются строки ядра, которые включаются в алгоритм. Выбранные строки ядра из таблицы покрытий исключаются. И выбрасываются столбцы, которые этими строками укрываются.

• Использую одну из функции предпочтения – формируем квазиоптимальный алгоритм контроля.

Квазиоптимальность появляется тогда и постольку, когда постольку есть точки ветвление (точки выбора).

Аналитический алгоритм нахождения всех полных алгоритмов контроля (избыточных, не избыточных, оптимальных).

Для каждого столбца таблицы покрытий строится элементарная контрольная столбцовая дизъюнкция вставка 3. Элементарная контрольная столбцовая дизъюнкция будет представлять из себя дизъюнкцию символов проверок dh, которые накрывают рассматриваемый столбец гамма.

Функционал F называют контрольной конъюнктивной формой.

Вставка 4

Методом построение таблицы истинности, можно показать, что функционал контрольной конъюнктивной формы по законам булевой алгебры преобразуется функционал контрольной дизъюнктивной формы.

Вставка5

Всё это может быть проверено по таблице истинности. Каждый произведение КДФ отображающие полный алгоритм контроля. Достоинством метода является то, что этот метод даёт регулярное решение, а недостатки – сложность преобразования булевой алгебры.

Вся прелесть этого метода, зачёркивается сложностями логический преобразований. На практики используют квазиоптимальные алгоритмы, и одним из них является алгоритм построение одно квазиоптимального алгоритма.

практическое значение имеют инженерные алгоритмы построение субоптимальных и оптимальных алгоритмов.

21,11,12

Анальтический метод построение одного квазиотимального или оптимального алгоритма по количеству выполняемых проверок.