In this paper, a new bias estimation method is proposed and applied in a regional ensemble Kalman filter (EnKF) based on the Weather Research and Forecasting (WRF) Model. The method is based on a homogeneous linea...In this paper, a new bias estimation method is proposed and applied in a regional ensemble Kalman filter (EnKF) based on the Weather Research and Forecasting (WRF) Model. The method is based on a homogeneous linear bias model, and the model bias is estimated using statistics at each assimilation cycle, which is different from the state augmentation methods proposed in pre- vious literatures. The new method provides a good estimation for the model bias of some specific variables, such as sea level pres- sure (SLP). A series of numerical experiments with EnKF are performed to examine the new method under a severe weather condi- tion. Results show the positive effect of the method on the forecasting of circulation pattern and meso-scale systems, and the reduc- tion of analysis errors. The background error covarianee structures of surface variables and the effects of model system bias on EnKF are also studied under the error covariance structures and a new concept 'correlation scale' is introduced. However, the new method needs further evaluation with more cases of assimilation.展开更多
This study estimates the environmental and socioeconomic impacts of coffee production in the agroforestry system in the settlements of farmers located in the West of the state of Silo Paulo, Brazil, in the region know...This study estimates the environmental and socioeconomic impacts of coffee production in the agroforestry system in the settlements of farmers located in the West of the state of Silo Paulo, Brazil, in the region known as Pontal of Paranapanema, aiming at the development of programs to support the growth of production sustainable coffee and programs to protect the coffee activity before the possible global climate change. The settlements are located in areas with sandy soils and highly degraded by human action Moreover, the region is considered marginal for the production of coffee, because it is subject to periods of high temperatures, prolonged drought and frost risk, which hinders the sustainability of farms. The environmental and socioeconomic impacts of agroforestry are analyzed through Ambitec-agro system, consisting of a set of indicators aimed at ex-post evaluation of the contribution of technological innovation to environmental, social and economic development of an agricultural activity. The system Ambitec involves: (1) general data collection about the technology; (2) application of questionnaires with adopters selected and insertion of data on impact indicators spreadsheets via platform MS-Excel and to obtain quantitative results and impacts partial indexes and aggregates the impact of technology selected; (3) analysis and interpretation of indices obtained, which vary between -15 and 15. The results indicate that agroforestry management can contribute to: (1) maintaining or increasing the sustainability of traditional coffee-growing regions in the case of sudden climate change; (2) the expansion of the coffee regions now considered unsuitable for the cultivation of coffee; (3) for sustainable regional development.展开更多
For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reac...For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reachability operation which means that reachable states from states expressed by this structure can be presented by it too. Secondly, the operation of finding reachable states with this structure should take as less computation as possible. To this end, a constraint system called rectangular zone is formalized, which is a conjunction of fixed amount of inequalities that compare fixed types of linear expressions with two variables to rational numbers. It is proved that the rectangular zone is closed to those reachability operations-intersection, elapsing of time and edge transition. Since the number of inequalities and the linear expression of each inequality is fixed in rectangular zones, so to obtain reachable rectangular zones, it just needs to change the rational numbers to which these linear expressions need to compare. To represent rectangular zones and unions of rectangular zones, a data structure called three dimensional constraint matrix(TDCM) and a BDD-like structure rectangular hybrid diagram(RHD) are introduced.展开更多
We obtain new complete minimal surfaces in the hyperbolic space H3, by using Ribaucour transformations. Starting with the family of spherical catenoids in H^3 found by Mori(1981), we obtain 2-and 3-parameter families ...We obtain new complete minimal surfaces in the hyperbolic space H3, by using Ribaucour transformations. Starting with the family of spherical catenoids in H^3 found by Mori(1981), we obtain 2-and 3-parameter families of new minimal surfaces in the hyperbolic space, by solving a non trivial integro-differential system. Special choices of the parameters provide minimal surfaces whose parametrizations are defined on connected regions of R^2 minus a disjoint union of Jordan curves. Any connected region bounded by such a Jordan curve, generates a complete minimal surface, whose boundary at infinity of H^3 is a closed curve. The geometric properties of the surfaces regarding the ends, completeness and symmetries are discussed.展开更多
基金supported by the Provincial Science and Technology Development Program of Shandong under Grant No.2008GG10008001Key Technology Integration and Application Program of China Meteorological Administration,under Grant No.CMAGJ2011M32+1 种基金Forecaster Research Program of China Meteorological Administration,under Grant No.CMAYBY2012-031Science and Technology Research Programs of Shandong Provincial Meteorological Bureau,under Grant Nos.2012sdqxz03,2012sdqxz01,2010sdqxz01
文摘In this paper, a new bias estimation method is proposed and applied in a regional ensemble Kalman filter (EnKF) based on the Weather Research and Forecasting (WRF) Model. The method is based on a homogeneous linear bias model, and the model bias is estimated using statistics at each assimilation cycle, which is different from the state augmentation methods proposed in pre- vious literatures. The new method provides a good estimation for the model bias of some specific variables, such as sea level pres- sure (SLP). A series of numerical experiments with EnKF are performed to examine the new method under a severe weather condi- tion. Results show the positive effect of the method on the forecasting of circulation pattern and meso-scale systems, and the reduc- tion of analysis errors. The background error covarianee structures of surface variables and the effects of model system bias on EnKF are also studied under the error covariance structures and a new concept 'correlation scale' is introduced. However, the new method needs further evaluation with more cases of assimilation.
文摘This study estimates the environmental and socioeconomic impacts of coffee production in the agroforestry system in the settlements of farmers located in the West of the state of Silo Paulo, Brazil, in the region known as Pontal of Paranapanema, aiming at the development of programs to support the growth of production sustainable coffee and programs to protect the coffee activity before the possible global climate change. The settlements are located in areas with sandy soils and highly degraded by human action Moreover, the region is considered marginal for the production of coffee, because it is subject to periods of high temperatures, prolonged drought and frost risk, which hinders the sustainability of farms. The environmental and socioeconomic impacts of agroforestry are analyzed through Ambitec-agro system, consisting of a set of indicators aimed at ex-post evaluation of the contribution of technological innovation to environmental, social and economic development of an agricultural activity. The system Ambitec involves: (1) general data collection about the technology; (2) application of questionnaires with adopters selected and insertion of data on impact indicators spreadsheets via platform MS-Excel and to obtain quantitative results and impacts partial indexes and aggregates the impact of technology selected; (3) analysis and interpretation of indices obtained, which vary between -15 and 15. The results indicate that agroforestry management can contribute to: (1) maintaining or increasing the sustainability of traditional coffee-growing regions in the case of sudden climate change; (2) the expansion of the coffee regions now considered unsuitable for the cultivation of coffee; (3) for sustainable regional development.
基金supported by the National Natural Science Foundation of China(Grant Nos.61373043&61003079)the Fundamental Research Funds for the Central Universities(Grant No.JB140316)
文摘For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reachability operation which means that reachable states from states expressed by this structure can be presented by it too. Secondly, the operation of finding reachable states with this structure should take as less computation as possible. To this end, a constraint system called rectangular zone is formalized, which is a conjunction of fixed amount of inequalities that compare fixed types of linear expressions with two variables to rational numbers. It is proved that the rectangular zone is closed to those reachability operations-intersection, elapsing of time and edge transition. Since the number of inequalities and the linear expression of each inequality is fixed in rectangular zones, so to obtain reachable rectangular zones, it just needs to change the rational numbers to which these linear expressions need to compare. To represent rectangular zones and unions of rectangular zones, a data structure called three dimensional constraint matrix(TDCM) and a BDD-like structure rectangular hybrid diagram(RHD) are introduced.
基金supported by a Post-Doctoral Fellowship offered by CNPqpartially supported by CNPq, Ministry of Science and Technology, Brazil (Grant No. 312462/2014-0)
文摘We obtain new complete minimal surfaces in the hyperbolic space H3, by using Ribaucour transformations. Starting with the family of spherical catenoids in H^3 found by Mori(1981), we obtain 2-and 3-parameter families of new minimal surfaces in the hyperbolic space, by solving a non trivial integro-differential system. Special choices of the parameters provide minimal surfaces whose parametrizations are defined on connected regions of R^2 minus a disjoint union of Jordan curves. Any connected region bounded by such a Jordan curve, generates a complete minimal surface, whose boundary at infinity of H^3 is a closed curve. The geometric properties of the surfaces regarding the ends, completeness and symmetries are discussed.