the emphasis of nation and society on the ideological education in colleges and universities, has made the education workers continue to deeply explore the psychological development of college students, and the colleg...the emphasis of nation and society on the ideological education in colleges and universities, has made the education workers continue to deeply explore the psychological development of college students, and the college students＇ characteristics of consciousness is the key for ideological education. This paper takes the college students＇ psychological health education as the main line, to deeply study the formation and characteristics of college students＇ consciousness, in order to provide theoretical basis for developing college students＇ ideological education.展开更多
It is an important task for university ideological and political workers to research Chinese dream integrating into ideological and political education, which has poured new theoretical discourse system into ideologic...It is an important task for university ideological and political workers to research Chinese dream integrating into ideological and political education, which has poured new theoretical discourse system into ideological and political education. And it is conducive to firm ideals and beliefs of university students and establish the socialist core values. Based on this, scientific connotation and basic feature of Chinese dream is expounded, Then basic principles of Chinese dream integrating into college students＇ ideological and political education is analyzed. Finally, effective realizing measures of Chinese dream integrating into ideological and political education is researched under the guidance of these principles.展开更多
This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the author...This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.展开更多
This paper looks at forecasting daily exchange rates for the United Kingdom, European Union, and China. Here, the authors evaluate the forecasting performance of neural networks （NN）, vector singular spectrum analys...This paper looks at forecasting daily exchange rates for the United Kingdom, European Union, and China. Here, the authors evaluate the forecasting performance of neural networks （NN）, vector singular spectrum analysis （VSSA）, and recurrent singular spectrum analysis （RSSA） for fore casting exchange rates in these countries. The authors find statistically significant evidence based on the RMSE, that both VSSA and RSSA models outperform NN at forecasting the highly unpredictable exchange rates for China. However, the authors find no evidence to suggest any difference between the forecasting accuracy of the three models for UK and EU exchange rates.展开更多
文摘the emphasis of nation and society on the ideological education in colleges and universities, has made the education workers continue to deeply explore the psychological development of college students, and the college students＇ characteristics of consciousness is the key for ideological education. This paper takes the college students＇ psychological health education as the main line, to deeply study the formation and characteristics of college students＇ consciousness, in order to provide theoretical basis for developing college students＇ ideological education.
文摘It is an important task for university ideological and political workers to research Chinese dream integrating into ideological and political education, which has poured new theoretical discourse system into ideological and political education. And it is conducive to firm ideals and beliefs of university students and establish the socialist core values. Based on this, scientific connotation and basic feature of Chinese dream is expounded, Then basic principles of Chinese dream integrating into college students＇ ideological and political education is analyzed. Finally, effective realizing measures of Chinese dream integrating into ideological and political education is researched under the guidance of these principles.
基金supported by the National Basic Research Program of China under Grant No.2014CB340700the National Science and Technology Major Project of China under Grant No.2012ZX01039-004+3 种基金the National Natural Science Foundation of China under Grant Nos.91118007,11071273,61202131,11401218,cstc2012ggB40004,cstc2013jjys40001SRFDP under Grant No.20130076120010the Open Project of Shanghai Key Laboratory of Trustworthy Computing under Grant No.07dz22304201307West Light Foundation of Chinese Academy of Sciences
文摘This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.
基金supported by a grant from Payame Noor University,Tehran-Iran
文摘This paper looks at forecasting daily exchange rates for the United Kingdom, European Union, and China. Here, the authors evaluate the forecasting performance of neural networks （NN）, vector singular spectrum analysis （VSSA）, and recurrent singular spectrum analysis （RSSA） for fore casting exchange rates in these countries. The authors find statistically significant evidence based on the RMSE, that both VSSA and RSSA models outperform NN at forecasting the highly unpredictable exchange rates for China. However, the authors find no evidence to suggest any difference between the forecasting accuracy of the three models for UK and EU exchange rates.
