书目详细信息 : 有限元分析的数学建模、校核与验证