Метасистемный подход в управлении: Монография. Миронов С.В - 303 стр.

примере переменная 4 будет запоминаться в подсистеме 234 и рассматри-
ваться как входная переменная подсистемы 13Г.
     Из принятых решений относительно ролей переменных 3 и 4 реконструк-
тивной гипотезы 134/234 будет получена схема, изображенная на рис. Г.32б. На
этой схеме также приведены маски, соответствующие отдельным подсистемам,
причем указаны порождаемые, порождающие и входные переменные.
     Окончательные схемы остальных элементов множества решений - гипотез
14/234 и 14/24/34 - приведены соответственно на рисунках Г.32в и г. В обо-
их случаях роли выборочных переменных, как это показано на схемах, оп-
ределяются единственным образом.
     Важно понимать, что для зависящих от памяти систем осмысленными яв-
ляются далеко не все реконструктивные гипотезы, о самом деле, понятно,
что гипотеза не имеет смысла, если порождающая переменная не входит по
крайней мере в одну подсистему этой гипотезы, содержащую соответствующую
порождаемую или входную переменную или другую порождающую перемен-
ную (определенную на той же базовой переменной), по которой она может
быть определена с помощью запоминания. Такая порождающая переменная
может быть оставлена неопределенной, поскольку она не может быть ни по-
рождена (так как она порождающая), ни определена с помощью запоминания
другой переменной, которая сама определяется некоторым особым образом.
Так, например, если обобщенная система описывается маской, изображенной
на рисунке Г.32,а, то все гипотезы, для которых переменные 3 и 4 не входят
по крайней мере в одну общую подсистему, являются бессмысленными. Из
этого следует, что в данном случае ровно половина реконструктивных гипо-
тез, базирующихся на С-структурах, являются бессмысленными; это те гипо-
тезы, графы которых не содержат ребра (3, 4), то есть гипотезы 123/124;
14/24/23, 123/4, 13/24 и т. д. Несмотря на то, что множество решений в при-
мере Г.21 не содержит бессмысленных гипотез, сам процесс решения может
быть упрощен за счет того, что оценивались бы только осмысленные гипоте-
зы (не нужно было оценивать 8 из 20 оцененных гипотез).
     Если предположить, что используемое параметрическое множество пол-
ностью упорядочено, то можно следующим образом определить содержа-
тельную реконструктивную гипотезу для зависящей от памяти обобщенной
системы с поведением. Реконструктивная гипотеза h является содержатель-




303