A linear forest is a forest whose components are paths. The linear arboricity la （G） of a graph G is the minimum number of linear forests which partition the edge set E（G） of G. The Cartesian product G□H of two g...A linear forest is a forest whose components are paths. The linear arboricity la （G） of a graph G is the minimum number of linear forests which partition the edge set E（G） of G. The Cartesian product G□H of two graphs G and H is defined as the graph with vertex set V（G□H） = {（u, v）｜ u ∈V（G）, v∈V（H） } and edge set E（G□H） = { （ u, x） （ v, Y）｜u=v and xy∈E（H）, or uv∈E（G） and x=y}. Let Pm and Cm,, respectively, denote the path and cycle on m vertices and K, denote the complete graph on n vertices. It is proved that （Km□Pm）=[n＋1/2]for m≥2,la（Km□Cm）=[n＋2/2],and la（Km□Km）=[n＋m-1/2]. The methods to decompose these graphs into linear forests are given in the proofs. Furthermore, the linear arboricity conjecture is true for these classes of graphs.展开更多
An ensemble adjustment Kalman filter system is developed to assimilate Argo profiles into the Northwest Pacific MASNUM wave-circulation coupled model, which is based on the Princeton Ocean Model (POM). This model was ...An ensemble adjustment Kalman filter system is developed to assimilate Argo profiles into the Northwest Pacific MASNUM wave-circulation coupled model, which is based on the Princeton Ocean Model (POM). This model was recoded in FORTRAN-90 style, and some new data types were defined to improve the efficiency of system design and execution. This system is arranged for parallel computing by using UNIX shell scripts: it is easier with single models running separately with the required information exchanged through input/output files. Tests are carried out to check the performance of the system: one for checking the ensemble spread and another for the performance of assimilation of the Argo data in 2005. The first experiment shows that the assimilation system performs well. The comparison with the Satellite derived sea surface temperature (SST) shows that modeled SST errors are reduced after assimilation; at the same time, the spatial correlation between the simulated SST anomalies and the satellite data is improved because of Argo assimilation. Furthermore, the temporal evolution/trend of SST becomes much better than those results without data assimilation. The comparison against GTSPP profiles shows that the improvement is not only in the upper layers of ocean, but also in the deeper layers. All these results suggest that this system is potentially capable of reconstructing oceanic data sets that are of high quality and are temporally and spatially continuous.展开更多
基金The National Natural Science Foundation of China(No.10971025)
文摘A linear forest is a forest whose components are paths. The linear arboricity la （G） of a graph G is the minimum number of linear forests which partition the edge set E（G） of G. The Cartesian product G□H of two graphs G and H is defined as the graph with vertex set V（G□H） = {（u, v）｜ u ∈V（G）, v∈V（H） } and edge set E（G□H） = { （ u, x） （ v, Y）｜u=v and xy∈E（H）, or uv∈E（G） and x=y}. Let Pm and Cm,, respectively, denote the path and cycle on m vertices and K, denote the complete graph on n vertices. It is proved that （Km□Pm）=[n＋1/2]for m≥2,la（Km□Cm）=[n＋2/2],and la（Km□Km）=[n＋m-1/2]. The methods to decompose these graphs into linear forests are given in the proofs. Furthermore, the linear arboricity conjecture is true for these classes of graphs.
基金Supported by the Project of National Basic Research Program of China (No. 2007CB816002)Special Fund for Fundamental Scientific Research (No. 2008G08)
文摘An ensemble adjustment Kalman filter system is developed to assimilate Argo profiles into the Northwest Pacific MASNUM wave-circulation coupled model, which is based on the Princeton Ocean Model (POM). This model was recoded in FORTRAN-90 style, and some new data types were defined to improve the efficiency of system design and execution. This system is arranged for parallel computing by using UNIX shell scripts: it is easier with single models running separately with the required information exchanged through input/output files. Tests are carried out to check the performance of the system: one for checking the ensemble spread and another for the performance of assimilation of the Argo data in 2005. The first experiment shows that the assimilation system performs well. The comparison with the Satellite derived sea surface temperature (SST) shows that modeled SST errors are reduced after assimilation; at the same time, the spatial correlation between the simulated SST anomalies and the satellite data is improved because of Argo assimilation. Furthermore, the temporal evolution/trend of SST becomes much better than those results without data assimilation. The comparison against GTSPP profiles shows that the improvement is not only in the upper layers of ocean, but also in the deeper layers. All these results suggest that this system is potentially capable of reconstructing oceanic data sets that are of high quality and are temporally and spatially continuous.
