Составители:
114
каются, то есть
{}
{
}
∅
=
∩
TD
AA
σ
σ
, размерности матриц
DT
, LB
согласованы в силу соотношения
DT
dimdim LB
=
. □
Доказательство утверждения строится на представлении матрицы
T
A
в форме
TTTT
NBAA
+
=
, (1.141)
где матрица
T
N допускает представление
1-
DT
MLN =
. (1.142)
Выражение (1.142) допускает эквивалентное представление
MNL
TD
~
= . (1.143)
Подстановка (1.143) в (1.140) с учетом (1.141) приводит к (1.139). ■
Утверждение (
У1.27) является основой следующего алгоритма
синтеза ДДС в логике
T- триггеров.
Алгоритм 1.5 (А1.5)
конструирования двоичных динамических систем
в логике произвольных линейных триггеров
10. Выполнить А1.2, получив представление линейной ДДС в форме
(1.138).
11.
Назначить произвольные матрицы
DTT
, LBA и , удовлетворяю-
щие условиям
У1.30.
12.
Решить матричное уравнение Сильвестра (1.140) относительно
матрицы подобия
M
и вычислить матрицу
1−
M
.
13.
Сконструировать матричные компоненты T-триггерной реали-
зации линейной ДДС (1.138) с помощью соотношений (1.136) и
(1.137). ■
Следует отметить, что так как нелинейные ДДС, именуемые ко-
нечными автоматами, имеют линейные аналоги, то, как представляется
авторам, концепция подобия может быть распространена и на этот
класс ДДС.
Пример 1.7 (Пр1.7)
Построить для декодирующего устройства циклического кода с
образующим многочленом
(
)
1
3
++= xxxg модельное представление
ДДС в логике линейных
T-триггеров.
1.
Выполнение п.1 А1.5 формирует модельное «вход-
состояние-выход» представление декодирующего устройства
с матричными компонентами
Страницы
- « первая
- ‹ предыдущая
- …
- 59
- 60
- 61
- 62
- 63
- …
- следующая ›
- последняя »
