In this study,the authors introduce a new bogus data assimilation method based on the dimension-reduced projection 4-DVar,which can resolve the cost function directly in low-dimensional space.The authors also try a ne...In this study,the authors introduce a new bogus data assimilation method based on the dimension-reduced projection 4-DVar,which can resolve the cost function directly in low-dimensional space.The authors also try a new method to improve the quality of samples,which are the base of dimension-reduced space projection bogus data assimilation (DRP-BDA).By running a number of numerical weather models with different model parameterization combinations on the typhoon Sinlaku,the authors obtained two groups of samples with different spreads and similarities.After DRP-BDA,the results show that,compared with the control runs,the simulated typhoon center pressure can be deepened by more than 20 hPa to 30 hPa and that the intensity can last as long as 60 hours.The mean track error is improved after DRP-BDA,and the structure of the typhoon is also improved.The wind near the typhoon center is enhanced dramatically,while the warm core is moderate.展开更多
Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review t...Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.展开更多
基金the Ministry of Finance of China and the China Meteorological Administration for the Special Project of Meteorological Sector (Grant No. GYHY(QX)200906009)the National Natural Science Foundation of China for the innovation group project (Grant No.40821092)
文摘In this study,the authors introduce a new bogus data assimilation method based on the dimension-reduced projection 4-DVar,which can resolve the cost function directly in low-dimensional space.The authors also try a new method to improve the quality of samples,which are the base of dimension-reduced space projection bogus data assimilation (DRP-BDA).By running a number of numerical weather models with different model parameterization combinations on the typhoon Sinlaku,the authors obtained two groups of samples with different spreads and similarities.After DRP-BDA,the results show that,compared with the control runs,the simulated typhoon center pressure can be deepened by more than 20 hPa to 30 hPa and that the intensity can last as long as 60 hours.The mean track error is improved after DRP-BDA,and the structure of the typhoon is also improved.The wind near the typhoon center is enhanced dramatically,while the warm core is moderate.
基金supported by the National Natural Science Foundation of China(Grant Nos.61133001,61272117,61202038,61322202,61420106004 and 91418201)
文摘Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.
