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