ВУЗ:
Составители:
305
Рисунок Г.32. Подробное изображение элементов множества решений
из примера Г.21
ной тогда и только тогда, когда любая порождающая переменная
s
k
,
определяемая уравнением
,vs
at,it,k +
=
входит по крайней мере в одну подсистему
h, содержащую переменную s
j
,
которая определяется уравнением
,vs
bt,it,j +
=
где
b > а, если переменные порождаются по возрастанию t (предсказание), и
b < а, если переменные порождаются по убыванию t (восстановление). Поня-
тие содержательной реконструктивной гипотезы может быть легко обобщено
на зависящие от памяти системы, базирующиеся на двух и более полностью
упорядоченных параметрических множествах (таких, как двух- и трехмерные
декартовы пространства), однако для таких систем формализация оказывает-
3
f
1
4
1
3
f
В
ходная переменная
П
орождаемая и выходная
пе
р
еменная
Задержка
2
f
4
3 2
4 3
2
2
f
П
орождающая переменная
П
орождаемые и вы-
х
одные переменные
в)
3
f
5
f
Задержка
4
f
4
1
4
1
3
f
В
ходная переменная
П
орождаемая и выходная
пе
р
еменная
2
4
2
3
f
В
ходная
переменная
П
оро
ж
даемая
и выходная
переме
н
ная
4
3
4
f
П
орождающая переменная
П
орождаемая и вы-
х
одная пе
р
еменная
г)
1
3f
Входная переменная
3f 4
1 Порождаемая и выходная
переменная
4
2f Порождающая переменная
Задержка
2
Порождаемые и вы-
2f 4 3 ходные переменные
3 2
в)
1 3f Входная переменная
3f 4 Порождаемая и выходная
1 переменная Входная
3f переменная
5f 2
4 4
2
4f Порождающая переменная
Порождаемая
и выходная
Задержка 4f Порождаемая и вы- г) переменная
4 3
ходная переменная
Рисунок Г.32. Подробное изображение элементов множества решений
из примера Г.21
ной тогда и только тогда, когда любая порождающая переменная sk,
определяемая уравнением
sk ,t = vi ,t + a ,
входит по крайней мере в одну подсистему h, содержащую переменную sj,
которая определяется уравнением
s j ,t = vi ,t +b ,
где b > а, если переменные порождаются по возрастанию t (предсказание), и
b < а, если переменные порождаются по убыванию t (восстановление). Поня-
тие содержательной реконструктивной гипотезы может быть легко обобщено
на зависящие от памяти системы, базирующиеся на двух и более полностью
упорядоченных параметрических множествах (таких, как двух- и трехмерные
декартовы пространства), однако для таких систем формализация оказывает-
305
Страницы
- « первая
- ‹ предыдущая
- …
- 303
- 304
- 305
- 306
- 307
- …
- следующая ›
- последняя »
