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

UptoLike

Составители: 

зашифрованы следующим образом: 0 и 1 - обязательные состояния; u - услов-
ные и
енных а1, а2, а3 и а4 согласно 16-ти возможным
(0,0,1,1)]} a1 a2 a3 a4. (1.38)
z - запрещенные состояния. Если есть программная модель КДА, то, вво-
дя значения входных перем
комбинациям и запуская каждый раз программу на счет, будем получать значе-
ния выходных переменных Х1,Х2,-,Х12.
Условия работы КДА (единичные и условные значения), например для
выходной переменной Х1 , запишутся:
Х1 ={(1,0,0,0), (0,1,0,0), (1,1,0,0), (0,0,1,0),
[(1,0,1,0), (0,1,1,0), (0,0,0,1), (1,0,0,1),
Таблица 1.7 - Таблица истинности КДА
Состояние Но-
Входов Выходов
мер
ком-
бина-
ции
a1
a2
a3
a4
1
2
3
4
5
6
7
8
9
10
11
12
Х
Х
Х
Х
Х
Х
Х
Х
Х
Х
Х
Х
0
0 0 0 0
0 1
1
3
5
6
13
1 0 0 0
1 1 0 0
1 0 1 0
1 u 1 z 0 u z 1 1 0
1 1 1 0 1 u 1 1 0 0 0 1
1 1 0 1 0 u z
u u u 1 u u u u u u 0 0
0 0 1
u u u 1 1 1 0 0 0 z z z
u u u 1 1 1 1 1 u u u u
2
0 1 0 0
1 0 1 1 1
4
0 0 1 0
1 0 0 1 0 1 1 0 1
7
8
9
10
11
12
0 1 1 0
1 1 1 0
0 0 0 1
1 0 0 1
0 1 0 1
1 1 0 1
0 0 1 1
u u u u z z z z 1 1 1 1
0 z z z u u u u 0 0 0 0
1 0 1 1 1 1 0 0 1 1 1 1
u u u u 1 1 1 1 1 0 0 0
z u u z z z z 1 1 1 1 1
z z z 0 0 0 0 0 z z z z
37
14
15
1 0 1 1
0 1 1 1
1 1 1 1
0 z z u u u u u 1 1 1 1
z z z z z z z z z z 1 1
z 1 1 1 1 1 1 1 1 1 1 1
При таком задании условий работы КДА индекс при фигурных скобках
a1 a2 a3 a4 называется базисом и указывает на то, что в круглых скобках 1-ая
зашифрованы следующим образом: 0 и 1 - обязательные состояния; u - услов-
ные и z - запрещенные состояния. Если есть программная модель КДА, то, вво-
дя значения входных переменных а1, а2, а3 и а4 согласно 16-ти возможным
комбинациям и запуская каждый раз программу на счет, будем получать значе-
ния выходных переменных Х1,Х2,-,Х12.
      Условия работы КДА (единичные и условные значения), например для
выходной переменной Х1 , запишутся:

       Х1 ={(1,0,0,0), (0,1,0,0), (1,1,0,0), (0,0,1,0),
           [(1,0,1,0), (0,1,1,0), (0,0,0,1), (1,0,0,1),
                       (0,0,1,1)]} a1 a2 a3 a4.                                        (1.38)

Таблица 1.7 - Таблица истинности КДА

 Но-                                         Состояние
 мер          Входов                                   Выходов
ком-
бина-
 ции



                                                                           Х10

                                                                                 Х11

                                                                                       Х12
                              Х1
                                   Х2

                                        Х3

                                             Х4

                                                  Х5

                                                       Х6

                                                            Х7

                                                                 Х8

                                                                      Х9
          a1
               a2
                    a3
                         a4




  0       0    0    0    0    0    1    1    u    1 z 0          u    z    1 1         0
  1       1    0    0    0    1    1    1    0    1 u 1          1    0    0  0        1
  2       0    1    0    0    1    0    1    1    1 1 1          0    1    0  u        z
  3       1    1    0    0    u    u    u    1    u u u          u    u    u  0        0
  4       0    0    1    0    1    0    0    1    0 1 1          0    1    0  0        1
  5       1    0    1    0    u    u    u    1    1 1 0          0    0    z   z       z
  6       0    1    1    0    u    u    u    u    z z  z          z   1    1   1       1
  7       1    1    1    0    0    z    z    z    u u  u          u   0    0   0       0
  8       0    0    0    1    1    0    1     1    1 1 0         0    1    1   1        1
  9       1    0    0    1    u    u    u     u    1 1 1         1    1    0   0        0
  10      0    1    0    1    z    u    u    z    z z  z         1    1    1   1        1
  11      1    1    0    1    z    z    z    0    0 0  0          0   z    z   z         z
  12      0    0    1    1    u    u    u    1     1 1 1         1    u    u   u         u
  13      1    0    1    1    0    z    z    u    u u u          u    1    1   1          1
  14      0    1    1    1    z    z    z    z     z z z         z    z     z   1         1
  15      1    1    1    1    z    1    1    1     1 1 1         1     1    1   1         1

      При таком задании условий работы КДА индекс при фигурных скобках
a1 a2 a3 a4 называется базисом и указывает на то, что в круглых скобках 1-ая
                                                                                              37