Основы теории вопросников при построении алгоритмов контроля

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

Если не налагается никаких ограничений, то множество вопросов бесконечно. Среди множества вопросов, выделим подмножество. При проведении каждой проверки мы получаем определённый ответ. Дальше мы уточняем возможное техническое состояние. В результате у нас множество E разбивается на кластеры. Кластеров состояний, которые выделены по результатам первого вопроса, к ним можно предъявить свои вопросы. Процесс разбиения кластеров проводится до тех пор, пока в каждом кластере не идентифицируется единичное состояние системы. Если множество Е конечное, то можно доказать, что количество разбиения конечно, то разбиения тоже конечны. На каждом разбиении, кластеры получаемых состояний должны быть не пересекающимися. Кластеры должны быть полными.

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

Если есть база вопроса, и стоимость и вес вопроса, то можно методом обхода получить цену и стоимость алгоритма.

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