＂Embedded＂ endowment is？another new pension model after？traditional family support, community home care and institutional care model,？the mode focused more advantage.＂Embedded＂ as China＇s future a new pension ...＂Embedded＂ endowment is？another new pension model after？traditional family support, community home care and institutional care model,？the mode focused more advantage.＂Embedded＂ as China＇s future a new pension model deal with aging, its development is not yet mature, only piloted in some regions of China, the article combined with ＂embedded＂ pension problems arise in practice, from the government , several aspects of the community, providing pension services companies, and social analysis of the countermeasures to promote the development of＂embedded＂ pension.展开更多
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.展开更多
Although convection embedded in stratiform cloud is often disordered, it is ordered under certain weather conditions. In particular, there are two forms of ordered convection: embedded convection with a ladder-like pa...Although convection embedded in stratiform cloud is often disordered, it is ordered under certain weather conditions. In particular, there are two forms of ordered convection: embedded convection with a ladder-like pattern and that with a parallel pattern. However, there is little literature regarding these patterns. Because stratiform clouds with embedded convection are major objects for weather-modification studies, it is important to explore the formation/development and characteristic precipitation of embedded convection from the perspective of cloud and precipitation physics. In this paper, using observation data, we simulate a large-scale precipitation event in China for July 19-21, 2007, employing the mesoscale Weather Research and Forecasting (WRF) model (V2.2). The rainfall-related clouds are analyzed through simulation, with particular focus being given to the genesis of embedded convection, the precipitation and microphysical properties. The results show that the WRF model can simulate features of this kind of nephsystem, indicating a close relationship between convection genesis and the 500 hPa trough and low-level convergence line. In such a favorable weather situation, there are two ordered patterns of embedded con- vection in the nephsystem, one being a group of convection centers arranged at different altitudes in a ladder-like manner and the other being a group of convection centers with a parallel pattern. In the first case, rainfall also has a ladder feature, with precipitation being highest for the top convection and reducing to the base convection. This implies that the higher the convection develops, the more active the microphysics in warmand cold-cloud processes is, leading to greater precipitation; i.e. rainfall in a ladder-like distribution. In the second case, rainfall decreases step by step from south to north, with the precipitation depending strongly on the cloud-water content therein. The two patterns of embedded convection and their precipitation features and microphysics are intensively studied from a new point of view.展开更多
文摘＂Embedded＂ endowment is？another new pension model after？traditional family support, community home care and institutional care model,？the mode focused more advantage.＂Embedded＂ as China＇s future a new pension model deal with aging, its development is not yet mature, only piloted in some regions of China, the article combined with ＂embedded＂ pension problems arise in practice, from the government , several aspects of the community, providing pension services companies, and social analysis of the countermeasures to promote the development of＂embedded＂ pension.
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
基金supported by National Natural Science Foundation of China (Grant Nos. 40975086 and 40537034)the National Research Project of the Scientific & Technical Support (Grant No. 2006BAC12B02)
文摘Although convection embedded in stratiform cloud is often disordered, it is ordered under certain weather conditions. In particular, there are two forms of ordered convection: embedded convection with a ladder-like pattern and that with a parallel pattern. However, there is little literature regarding these patterns. Because stratiform clouds with embedded convection are major objects for weather-modification studies, it is important to explore the formation/development and characteristic precipitation of embedded convection from the perspective of cloud and precipitation physics. In this paper, using observation data, we simulate a large-scale precipitation event in China for July 19-21, 2007, employing the mesoscale Weather Research and Forecasting (WRF) model (V2.2). The rainfall-related clouds are analyzed through simulation, with particular focus being given to the genesis of embedded convection, the precipitation and microphysical properties. The results show that the WRF model can simulate features of this kind of nephsystem, indicating a close relationship between convection genesis and the 500 hPa trough and low-level convergence line. In such a favorable weather situation, there are two ordered patterns of embedded con- vection in the nephsystem, one being a group of convection centers arranged at different altitudes in a ladder-like manner and the other being a group of convection centers with a parallel pattern. In the first case, rainfall also has a ladder feature, with precipitation being highest for the top convection and reducing to the base convection. This implies that the higher the convection develops, the more active the microphysics in warmand cold-cloud processes is, leading to greater precipitation; i.e. rainfall in a ladder-like distribution. In the second case, rainfall decreases step by step from south to north, with the precipitation depending strongly on the cloud-water content therein. The two patterns of embedded convection and their precipitation features and microphysics are intensively studied from a new point of view.
