《基于变分原理的差分格式》被认为是中国独立系统地创始有限元法的标志，其论文作者是（）