Алгебраический синтез контрольных наборов. Корнилов А.Г. - 2 стр.

              Цель и содержание практического занятая

     Целью занятия является:
     - закрепление знаний по использованию функционально-
        логической модели (ФЛМ) для описания технического уст-
        ройства непрерывного типа и приобретение практического
        навыка её анализа;
     - практическое освоение алгоритмов построения контроль-
        ных наборов алгебраическим методом (для предложенной
        ФЛМ).
     Занятие включает в себя детальное изучение ФЛМ и освоение
трех разновидностей алгоритма рассматриваемого метода.
     Результаты, полученные в процессе выполнения занятия,
оформляются указанным ниже образом.

     Оформление результатов и отчет по практическому занятию.
     Для сдачи работы полученные результаты должны быть пред-
ставлены в следующем виде:
     1. Графовое изображение исследований функционально-
        логической модели.
     2. Построенные в процессе работы матрицы:
            - непосредственных связей,
            - путей,
            - неисправностей,
            - различимости пар состояний.
     3. Вид логических функций для получения контрольных на-
        боров (fO.P., fD, fn)
     4. Множество полученных контрольных наборов.
     5. Проверочные матрицы для оценки правильности получен-
        ных наборов.
     В процессе отчета необходимо объяснить полученные резуль-
таты и ответить на вопросы преподавателя.