Анализ и синтез дискретных систем управления технологическими потоками: алгоритмы и программы. Владов Ю.Р. - 31 стр.

     Z(t+1) = F( X(t), Z(t)), (1.24) Y(t) = G(Z(t)),                   (1.25)

      5 ДА Мура. Функция G зависит от состояния Z(t+1), соотношения (1.18,
1.19) имеют вид

     Z(t+1) = F( X(t), Z(t)), (1.26) Y(t) = G(Z(t+1)).                 (1.27)

      Функции перехода F и выхода G задаются таблицами, которые называют-
ся таблицами переходов и выходов, а также графами.

     1.6.2.1 Алгоритм построения комбинационных моделей

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

     1.6.2.2 Составление таблицы истинности для управления процессом
                      сортировки деталей на три группы

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