This paper creates an analytical framework for ongoing China's economic slowdown and reveals the major.factors affecting potential growth rate. First, proceeding from the factors that led to a decline in China 's po...This paper creates an analytical framework for ongoing China's economic slowdown and reveals the major.factors affecting potential growth rate. First, proceeding from the factors that led to a decline in China 's potential growth rate, this paper demonstrates that the slowdown since 2012 is not caused by demand-side shock.s' but is a natural result of the demographic transition and the change of economic development stage that stemmed from supply-side factors. It is therefore suggested that the demand- side perspective for cyclical analysis must be abandoned and the supply-side perspective for growth analysis ought to be followed Secondly, this paper argues that it is theoretically unjounded and empirically unconvincing for existing literature based on the growth perspective to simply apply the statistical pattern of "regression towards the mean" to forecast China 's growth outlook and thus arrive at pessimistic conclusions. On this basis, this paper identifies a host of initiatives that can significantly increase potential growth rates and proposes policy recommendations for deriving reform dividends foom supply-side structural reform.展开更多
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.展开更多
This paper addresses the scheduling problem involving batch processing machines, which is Mso known as parallel batching in the literature. The presented mixed integer programming formulation first provides an elegant...This paper addresses the scheduling problem involving batch processing machines, which is Mso known as parallel batching in the literature. The presented mixed integer programming formulation first provides an elegant model for the problem under study. Fhrthermore, it enables solutions to the problem instances beyond the capability of exact methods developed so far. In order to alleviate computational burden, the authors propose MIP-based heuristic approaches which balance solution quality and computing time.展开更多
文摘This paper creates an analytical framework for ongoing China's economic slowdown and reveals the major.factors affecting potential growth rate. First, proceeding from the factors that led to a decline in China 's potential growth rate, this paper demonstrates that the slowdown since 2012 is not caused by demand-side shock.s' but is a natural result of the demographic transition and the change of economic development stage that stemmed from supply-side factors. It is therefore suggested that the demand- side perspective for cyclical analysis must be abandoned and the supply-side perspective for growth analysis ought to be followed Secondly, this paper argues that it is theoretically unjounded and empirically unconvincing for existing literature based on the growth perspective to simply apply the statistical pattern of "regression towards the mean" to forecast China 's growth outlook and thus arrive at pessimistic conclusions. On this basis, this paper identifies a host of initiatives that can significantly increase potential growth rates and proposes policy recommendations for deriving reform dividends foom supply-side structural reform.
基金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.
文摘This paper addresses the scheduling problem involving batch processing machines, which is Mso known as parallel batching in the literature. The presented mixed integer programming formulation first provides an elegant model for the problem under study. Fhrthermore, it enables solutions to the problem instances beyond the capability of exact methods developed so far. In order to alleviate computational burden, the authors propose MIP-based heuristic approaches which balance solution quality and computing time.