用Mathcad进行有限元法的理论验证与计算