2008高教社杯全国大学生数学建模 论文 地面搜索数学模型