Кодировщик. Таким образом, предположим, что q был введен и вызвал переход

A → D в кодере. Это означает, что инвертор будет получен

На этом шаге D прямо из кодера (поскольку кодер находится в D),

И a от задерживающего устройства (поскольку кодировщик находился в A на шаге раньше).

На входе (a, D) инвертор переходит в состояние Q, которое является состоянием

Мы предполагали. То же самое и с другими возможными состояниями.

Таким образом, если преобразователь не теряет различий,

Автоматический инвертор всегда можно построить. Важность

Демонстрация заключается в том, что в нем не упоминается датчик

Фактический материало- это не имеет значения, является ли это механическое или

Электронная, или нейронная, или гидравлическая - возможность инверсии

Существуют. Что необходимо, так это определенность кодировщика.

действия, и его содержание всех различий.

Бывший. 1: Почему нельзя использовать кодировщик S.8 / 5 в качестве примера?

Бывший. 2: Завершите спецификацию только что данного инвертора.

Бывший. 3: Задайте двухступенчатый задержек в табличной форме.

а

а

б

c

d

Q

б

а

б

c

d

c

а

б

c

d

р

d

а

б

c

d

S

А

B

C

D

А инвертор имеет вид:

↓

Этот раздел можно пропустить при первом чтении.) Теперь, когда

Конструкция инвертора была определена в самом общем

Формы, мы можем изучить его конструкцию, когда преобразователь меньше

Вообщем и больше нравятся машины быта. Следующий

Шаг состоит в том, чтобы изучить конструкцию инвертора, когда транс-

Конструкции преобразователя и инвертора приведены не в

Абстрактная форма таблицы, но с помощью некоторой математической функции.

Вначале рассмотрите возможность создания инвертора для транс-

ducer с входом a, переменной n и преобразованием n '= n + a. А

Подходящим устройством для задержки будет преобразователь с параметром

n, переменная p и преобразование p '= n. Теперь это легко проверить

Что, учитывая вход a, как показано, n (если началось с 3) и p (если началось

В 1) изменится как:

А:

N:

П:

4 - 2 - 1

3 7 5

1 3 7

0

4

5

2 - 1 - 1

4 6 5

4 4 6

3

4

5

(а, А) SSS

(а, Б) RRR

(a, C) (не произойдет)

(а, D) QQQ

(б, А) QQQ

И т. д. и т. д.

К которому входом является вектор

(состояние задержки, состояние кодера).

148

Теперь очевидно, что если инвертор с переменной m должен

Принимать n и p в качестве входных данных, как вектор (n, p), и возвращать a в качестве выходных данных,

то M как преобразование должно включать такие переходы, как:

М: ↓

(7, 3) (5, 7) (4, 5) (4, 4)

4- 2 -10

149

…

…

ANINTROD UC TIONTOCYBER NE TICS

Т РА Н СМИССИ ОНОФ ВА Р И Е ТЫ

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

Из операнда, показывает, что во всех случаях

m '= n - p

Легко проверить, что теперь вся система будет выдавать значения

Что исходный ввод имел два шага раньше.

(У читателя может возникнуть соблазн сказать, что поскольку n '= n + a, следовательно,

a = n '- n, и код решен. Это утверждение верно, но оно

Не соответствует нашей цели - построить машину (см.

Из S.8 / 7). Это позволяет нам расшифровать сообщение, но это не

Спецификация машины. Здание или спецификация требует

Усложнения предыдущего абзаца, который заканчивается

m '= n - p, спецификация машины с вводом.)

Общее правило теперь ясно. Начнем с преобразователя

уравнение, n '= n + a, и решите его для параметра: a = n' - n. В

задерживающее устройство имеет преобразование p '= n. Преобразование

Для инвертора формируется по правилам, применяемым к уравнению

а = п '- п:

1: замените a символом нового преобразователя m ';

2: заменить n 'параметром c;

3: заменить n параметром d.

Затем, если этот инвертор присоединен к исходному преобразователю, поместив

d = n, а для задерживающего устройства c = p он будет иметь необходимые свойства.

Эртис.

Если исходный датчик имеет более одной переменной, процесс

Ess нужно только подходящее расширение. Пример без объяснения

Ции, будет достаточно. Предположим, что исходный преобразователь имеет

параметры a1 и a2, переменные x1 и x2 и преобразование

х1 '= 2х1 + а1х2

х2 '= 2х2 + а1а2

Решение для параметров дает

а1 = (х1 '- 2х1) / х2

а2 = х2 (х2 '- 2x2) / (х1' - 2x1)

Задержка для x1 - p1 '= x1, а для x2 - p2' = x2. Уравнения

Инвертора формируются из таковых для a1 и a2 путем применения

Правила:

1: заменить каждый ai новым символом a1 = m1 ', a2 = m2';

2: заменить каждый xi 'параметром ci: x1' = c1, x2 '= c2;

3: заменить каждый xi параметром di: x1 = d1, x2 = d2;

150