Monsky-Washnitzer上同调上Frobenius矩阵的计算