ВУЗ:
Составители:
295
Таблица Г.13 - Возможностные функции поведения для обобщенной
системы и некоторых несмещенных реконструкций из примера Г.19
ЦП К1 К2 К3 f f
1
=f
4
=f
6
f
2
f
3
f
5
f
7
=f
8
=f
9
f
10
Н Н Н Н 1 1 1 1 1 1 1
Н Н Н в 1 1 1 1 0 1 1
Н Н в Н 0 0 1 0 0 0 0
Н Н в в 0 0 1 1 1 0 1
Н в Н Н 0 0 0 1 0 0 0
Н в Н в 0 0 0 0 1 0 0
Н в в Н 0 0 0 0 0 1 0
Н в в в 1 1 1 1 1 1 1
в Н Н Н 0 0 1 1 1 0 1
в Н Н в 0 0 1 0 1 0 0
в Н в Н 1 1 1 1 1 1 1
в Н в в 1 1 1 1 1 1 1
в в Н Н 1 1 1 1 1 1 1
в в Н в 0 0 0 0 0 1 0
в в в Н 0 0 0 0 1 0 0
в в в в 0 0 А 1 0 0 0
Из каждой подсистемы, изображенной на рисунке Г.26,а, за исклю-
чением успешных подсистем, представленных переменными ЦП, К1 и К2
(на рисунке они заштрихованы), выбираются две подсистемы с двумя пере-
менными. Однако мы знаем, что эти пары подсистем являются неподходящи-
ми и что подсистемы из двух переменных информации не добавляют. Следо-
вательно, реконструктивные гипотезы из класса изоморфизма
G
4
могут быть
отброшены без вычисления несмещенных реконструкций и расстояний.
Остается только рассмотреть реконструктивные гипотезы, основанные
на G-структурах из класса изоморфизма G
3
. Поскольку подсистемы, пред-
ставленные переменными ЦП, К1 и К2, снова должны быть исключены из
рассмотрения, то остается только одна гипотеза. Она показана на ри-
сунке Г.26,а, а ее функция поведения f
10
приведена в таблице Г.13. Мы ви-
дим, что и эта гипотеза не подходит: ее расстояние равно 0.105, и, следова-
тельно, она должна быть отвергнута.
Поскольку укрупнением успешных реконструктивных гипотез является
только гипотеза, основанная на G
2
, ее также не следует рассматривать.
Таким образом, можно" прийти к заключению, что множество решений со-
стоит из изображенных на рисунке Г.26,а реконструктивных гипотез 1, 4 и 6.
Данный результат подтверждает предположение пользователя о том,
что следует обратить внимание на критическую подсистему, базирующую-
ся на переменных ЦП, К1 и К2. В соответствии с этим загрузка ЦП может
поддерживаться на высоком уровне при любой организации вычислитель-
Таблица Г.13 - Возможностные функции поведения для обобщенной системы и некоторых несмещенных реконструкций из примера Г.19 ЦП К1 К2 К3 f f1=f4=f6 f2 f3 f5 f7=f8=f9 f10 Н Н Н Н 1 1 1 1 1 1 1 Н Н Н в 1 1 1 1 0 1 1 Н Н в Н 0 0 1 0 0 0 0 Н Н в в 0 0 1 1 1 0 1 Н в Н Н 0 0 0 1 0 0 0 Н в Н в 0 0 0 0 1 0 0 Н в в Н 0 0 0 0 0 1 0 Н в в в 1 1 1 1 1 1 1 в Н Н Н 0 0 1 1 1 0 1 в Н Н в 0 0 1 0 1 0 0 в Н в Н 1 1 1 1 1 1 1 в Н в в 1 1 1 1 1 1 1 в в Н Н 1 1 1 1 1 1 1 в в Н в 0 0 0 0 0 1 0 в в в Н 0 0 0 0 1 0 0 в в в в 0 0 А 1 0 0 0 Из каждой подсистемы, изображенной на рисунке Г.26,а, за исклю- чением успешных подсистем, представленных переменными ЦП, К1 и К2 (на рисунке они заштрихованы), выбираются две подсистемы с двумя пере- менными. Однако мы знаем, что эти пары подсистем являются неподходящи- ми и что подсистемы из двух переменных информации не добавляют. Следо- вательно, реконструктивные гипотезы из класса изоморфизма G4 могут быть отброшены без вычисления несмещенных реконструкций и расстояний. Остается только рассмотреть реконструктивные гипотезы, основанные на G-структурах из класса изоморфизма G3. Поскольку подсистемы, пред- ставленные переменными ЦП, К1 и К2, снова должны быть исключены из рассмотрения, то остается только одна гипотеза. Она показана на ри- сунке Г.26,а, а ее функция поведения f 10 приведена в таблице Г.13. Мы ви- дим, что и эта гипотеза не подходит: ее расстояние равно 0.105, и, следова- тельно, она должна быть отвергнута. Поскольку укрупнением успешных реконструктивных гипотез является только гипотеза, основанная на G2, ее также не следует рассматривать. Таким образом, можно" прийти к заключению, что множество решений со- стоит из изображенных на рисунке Г.26,а реконструктивных гипотез 1, 4 и 6. Данный результат подтверждает предположение пользователя о том, что следует обратить внимание на критическую подсистему, базирующую- ся на переменных ЦП, К1 и К2. В соответствии с этим загрузка ЦП может поддерживаться на высоком уровне при любой организации вычислитель- 295
Страницы
- « первая
- ‹ предыдущая
- …
- 293
- 294
- 295
- 296
- 297
- …
- следующая ›
- последняя »