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

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

Системотехник в зависимости от задач контроля и в зависимости от вида состояние, то или иное состояние может считать нерасщепляемым, а в других состояния расщепляемым. Пример: выхода из строя микросхемы. Состояние Е0 всегда расщепляемо.

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

Строго горя можно перебирать все пары возможных ситуаций, но реально когда рисуется таблица покрытий реальная V оказывается меньше, чем верхняя граница V. Каждая пара построенных состояний подвергается инженерной инспекции.

Вставка 1

Эти вопросы тесно связаны с расщепляемостью состояния.

Для наглядного представления алгоритмов контроля, возможных проверок в составе алгоритма контроля, последовательность проверок алгоритма проверок, используются ориентированные графы. (представляют из себя деревья, которые представляют из себя деревья решений, которые отображают все алгоритмы, которые могут быть построены на заданном решение).

Когда говорится об оптимальных алгоритмах, то показатель оптимальности может быть любой показатель ресурсного обеспечения алгоритма (количество проверок, стоимость, время, потребные ресурсы памяти, канала памяти). Обычно дерево решений строят начиная от корневой вершины. Корневую вершину всегда сравнивают с исправным состоянием системы. Из корневой вершины исходят ветви дерева, совокупность проверок, которые попадают в определённую ветвь дерева, отражают тот или иной алгоритм контроля (полный, не полный, избыточный).

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

Вставка 2

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

Под рангом вершины понимают количество дуг, соединяющие эту внутреннею вершину, с корневой вершиной.

Различают два вида графов решений:

• Графы решений безусловных алгоритмов контроля – всегда строятся на фиксированном множества проверок. В безусловных алгоритмах контроля содержание и количество проверок всегда фиксирована. Каждый без условных алгоритм контроля содержит определённые проверки.

• Графы решений условных алгоритмов контроля

Различают два вида проверок:

• Условные - предполагает что после выполнения каждой проверки алгоритм останавливает и предполагает действие оператора, который может продолжать алгоритм или остановить

• Безусловные - это алгоритм который выполняется до тупикового состояния.

Вставка3

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