冰層動力學的數學模型、分析與計算的新發展-數學學門重點計畫之總計畫及子計畫4:有關冰層動力學的非線性Stokes模型的數學分析與資料同化演算法研究(1/2)