状态转移矩阵的性质与计算