The English News of CRI possesses many advantages such as abundance of information and being easily accessible for English learners within the mainland of China. Unfortunately, it has been ignored by most teachers of ...The English News of CRI possesses many advantages such as abundance of information and being easily accessible for English learners within the mainland of China. Unfortunately, it has been ignored by most teachers of English and students. Based on the input hypothesis, affective filter hypothesis and schemata theory, this paper probes the mode of CRI English assisting English teaching in college.展开更多
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.展开更多
By analyzing theoretical scheme of quantum controlling through photon addition,we propose a new optical field whose density operator asρ=λ(1-λ)l:Ll(-λ2aa/1-λ)e-λaa:(here::denotes normal ordering symbol),which is...By analyzing theoretical scheme of quantum controlling through photon addition,we propose a new optical field whose density operator asρ=λ(1-λ)l:Ll(-λ2aa/1-λ)e-λaa:(here::denotes normal ordering symbol),which is named Laguerre-polynomialweighted chaotic state.We show that such state is the solution to the master equation d/dtρ=-κ(aaρ+ρaa-aρa-aρa),describing a diffusion channel,with the initial number state|l l|,andλ=1/(1+κt).This new state is characteristic of possessing photon number l+κt at time t,so the photon number by adjusting the diffusion parameterκcan be controlled.This master equation is solved using the summation method within ordered product of operators and the entangled state representation.The physical difference between the diffusion and the amplitude damping is noted.展开更多
In this paper, a model of Beddington-DeAngelies chemostat involving two species of micro-organism competing for two perfectly complementary growth-limiting nutrients and pulsed input of toxicant in the polluted enviro...In this paper, a model of Beddington-DeAngelies chemostat involving two species of micro-organism competing for two perfectly complementary growth-limiting nutrients and pulsed input of toxicant in the polluted environment was studied. Using Floquet theory and small amplitude perturbation method, a conclusion was that there exists twomicro-organism eradication periodic solution and which is global asymptotical stability. At the same time, the condition of the permanence for system was obtained. From the biological point of view, the method for protecting species is to improve the amount of impulsive period, and control the amount of toxicant input to the chemostat. Finally, our results are illustrated by numerical simulations.展开更多
文摘The English News of CRI possesses many advantages such as abundance of information and being easily accessible for English learners within the mainland of China. Unfortunately, it has been ignored by most teachers of English and students. Based on the input hypothesis, affective filter hypothesis and schemata theory, this paper probes the mode of CRI English assisting English teaching in college.
基金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 the National Natural Science Foundation of China(Grant Nos.11175113 and 11264018)the Natural Science Foundation of Jiangxi Province of China(Grant No 20132BAB212006)
文摘By analyzing theoretical scheme of quantum controlling through photon addition,we propose a new optical field whose density operator asρ=λ(1-λ)l:Ll(-λ2aa/1-λ)e-λaa:(here::denotes normal ordering symbol),which is named Laguerre-polynomialweighted chaotic state.We show that such state is the solution to the master equation d/dtρ=-κ(aaρ+ρaa-aρa-aρa),describing a diffusion channel,with the initial number state|l l|,andλ=1/(1+κt).This new state is characteristic of possessing photon number l+κt at time t,so the photon number by adjusting the diffusion parameterκcan be controlled.This master equation is solved using the summation method within ordered product of operators and the entangled state representation.The physical difference between the diffusion and the amplitude damping is noted.
基金Acknowledgment This work is supported by Natural Science Foundation of Shanxi Province （2013011002-2）.
文摘In this paper, a model of Beddington-DeAngelies chemostat involving two species of micro-organism competing for two perfectly complementary growth-limiting nutrients and pulsed input of toxicant in the polluted environment was studied. Using Floquet theory and small amplitude perturbation method, a conclusion was that there exists twomicro-organism eradication periodic solution and which is global asymptotical stability. At the same time, the condition of the permanence for system was obtained. From the biological point of view, the method for protecting species is to improve the amount of impulsive period, and control the amount of toxicant input to the chemostat. Finally, our results are illustrated by numerical simulations.
