Контрольная работа: Расчет задач вычислительных систем
S3
11
0
1
S4
10v01
0
0
S5
00
0
0
Система уравнений:
Граф переходов имеет вид:
Исключим выходящие стрелки из отказных состояний и получим граф переходов для задачи Шерра II рода:
Система уравнений:
Задали 
и 
. Решили данные системы уравнений в математическом пакете MathCad:
Полученные вектор-матрицы – решения сформулированных систем уравнений, задающих вероятности состояний вычислительной системы.