On February 12,the Anhui ProvincialPeople’s Government made a decisionon the speeding up of the use of foreigncapital.The decision involved the followingseven aspects: 1.To seize the opportunity to reviseideology and...On February 12,the Anhui ProvincialPeople’s Government made a decisionon the speeding up of the use of foreigncapital.The decision involved the followingseven aspects: 1.To seize the opportunity to reviseideology and to open up a new situation formaking use of foreign capital.The decisionurges the various localities to seize the righttime to shift their focus to making good useof their own advantages,and improving thelocal investment climate and the quality ofservice in the light of their actual conditionsso as to absorb more foreign funds.Meanwhile,enterprises must be led to face the marketand to join equal competition so as to pushforward the use of foreign funds to a展开更多
Recently the State Council decided to extend the period ofduty exemption for imports of equipment and raw materials by foreign-invested enterprises below US$30 million.In order to administrate import and export activi...Recently the State Council decided to extend the period ofduty exemption for imports of equipment and raw materials by foreign-invested enterprises below US$30 million.In order to administrate import and export activities in light ofinternational practice and apply a unified, fair and standardizedpolicy toward import duties, the State Council, on December28,1995, decided to reform and adjust the policies of import duties by fairly significant reduction of the overall import tariff leveland elimination of preferences of import-duty exemption for mostimport items, which was also applicable to imports of equipmentand raw materials by foreign-invested enterprises set up since April1st, 1996. At the same time, with a view to maintaining the policycontinuity and relative stability, those enterprises established before March 31, 1996 were allowed an extended duty-exemptionperiod of one to two years for importation of equipment and rawmaterials(referring to construction materials, etc.) if such importswere below the value of their total investments, and for展开更多
The Lenzing Group, world market leader in cellulose fibers, will continue to expand production capacity in 2010 by investing a scheduled EUR 120 million in its European and Asian sites.The projects will be realized ov...The Lenzing Group, world market leader in cellulose fibers, will continue to expand production capacity in 2010 by investing a scheduled EUR 120 million in its European and Asian sites.The projects will be realized over the next two years. The key elements are the展开更多
Dusky blue, verdant green, romantic pink, bright yellow…various color fulfill the normal life of human being everyday. Sometimes, maybe, color also could help you making a decision.
After careful consideration,with the consent of Editor-inChief Weiyan Zhang(张维岩)and Editor-in-Chief Ho-kwang Mao(毛河光),I have decided to step down as the Executive Editor-inChief of MRE to focus on my health and ...After careful consideration,with the consent of Editor-inChief Weiyan Zhang(张维岩)and Editor-in-Chief Ho-kwang Mao(毛河光),I have decided to step down as the Executive Editor-inChief of MRE to focus on my health and research.I will be succeeded by the next Executive Editor-in-Chief,Professor Jinren Sun(孙今人)of the Shanghai Institute of Laser Plasma,China Academy of Engineering Physics,and Professor Hongbo Cai(蔡洪波)of the Institute of Applied Physics and Computational Mathematics in Beijing.With the help of both of these excellent and experienced physicists,I believe that MRE and its community can be raised to a higher level.展开更多
主题语境:励志故事篇幅:322词建议用时:6分钟。1 A grandfather named Paul Hocheder has decided to keep his mind moving with a full college experience at 90 years old.2 Paul already earned one degree in 1960,when he gradua...主题语境:励志故事篇幅:322词建议用时:6分钟。1 A grandfather named Paul Hocheder has decided to keep his mind moving with a full college experience at 90 years old.2 Paul already earned one degree in 1960,when he graduated from the University of Maryland after serving seven years in the service.But he decided it would help keep him awake and alive if he went back for another round.展开更多
Eating healthy is my good habit.I used to having lots of bad eating habits.For example,I had no breakfast,but ate junk food or drank cola,so I often got sick.To keep fit,I decided to change my bad eating habits.Now,I ...Eating healthy is my good habit.I used to having lots of bad eating habits.For example,I had no breakfast,but ate junk food or drank cola,so I often got sick.To keep fit,I decided to change my bad eating habits.Now,I always have my three meals regularly.I try my best to eat more fresh fruit and green vegetables instead of junk food.I also drink more milk and water.Gradually,I find my body is geting more and more strong.展开更多
By means of dimension-decreasing method and cell-decomposition,a practical algorithm is proposed to decide the positivity of a certain class of symmetric polynomials,the numbers of whose elements are variable.This is ...By means of dimension-decreasing method and cell-decomposition,a practical algorithm is proposed to decide the positivity of a certain class of symmetric polynomials,the numbers of whose elements are variable.This is a class of mechanically decidable problems beyond Tarski model.To implement the algorithm,a program nprove written in maple is developed which can decide the positivity of these polynomials rapidly.展开更多
Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical ...Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical approach of OL remain to be explored. In this paper, the typical proof theoretical problems for OL are described and the concept of open proof is defined. Two major conclusions are as follows： （i） For the consistent OL systems, the open proof problem is semi-decidable （a decision algorithm is presented）. （ii） For general （normal, not necessarily consistent） OL systems, the open proof problem is not semi-decidable.展开更多
Mean Value Calculus ( MVC) is a real-time logic which can be used to specify and verify real-time systems . As a conservative extension of Duration Calculus (DC) , MVC increases the expressive power but keeps the prop...Mean Value Calculus ( MVC) is a real-time logic which can be used to specify and verify real-time systems . As a conservative extension of Duration Calculus (DC) , MVC increases the expressive power but keeps the properties of DC . ln this paper we present decidability results of MVC . An interesting result is that propositional MVC with chop star operator is still decidable, which develops the results or and .展开更多
A semantic interpretation of a first order extension of Hennessy-Milner logic for value-passing processes, named HML(FO), is presented. The semantics is based on symbolic transition graphs with assignment. It is shown...A semantic interpretation of a first order extension of Hennessy-Milner logic for value-passing processes, named HML(FO), is presented. The semantics is based on symbolic transition graphs with assignment. It is shown that the satisfiability of the two-variable sub-logic HML(FO2) of HML(FO) is decidable, and the complexity discussed. Finally, a decision procedure for model checking the value-passing processes with respect to HML(FO2) is obtained.展开更多
文摘On February 12,the Anhui ProvincialPeople’s Government made a decisionon the speeding up of the use of foreigncapital.The decision involved the followingseven aspects: 1.To seize the opportunity to reviseideology and to open up a new situation formaking use of foreign capital.The decisionurges the various localities to seize the righttime to shift their focus to making good useof their own advantages,and improving thelocal investment climate and the quality ofservice in the light of their actual conditionsso as to absorb more foreign funds.Meanwhile,enterprises must be led to face the marketand to join equal competition so as to pushforward the use of foreign funds to a
文摘Recently the State Council decided to extend the period ofduty exemption for imports of equipment and raw materials by foreign-invested enterprises below US$30 million.In order to administrate import and export activities in light ofinternational practice and apply a unified, fair and standardizedpolicy toward import duties, the State Council, on December28,1995, decided to reform and adjust the policies of import duties by fairly significant reduction of the overall import tariff leveland elimination of preferences of import-duty exemption for mostimport items, which was also applicable to imports of equipmentand raw materials by foreign-invested enterprises set up since April1st, 1996. At the same time, with a view to maintaining the policycontinuity and relative stability, those enterprises established before March 31, 1996 were allowed an extended duty-exemptionperiod of one to two years for importation of equipment and rawmaterials(referring to construction materials, etc.) if such importswere below the value of their total investments, and for
文摘The Lenzing Group, world market leader in cellulose fibers, will continue to expand production capacity in 2010 by investing a scheduled EUR 120 million in its European and Asian sites.The projects will be realized over the next two years. The key elements are the
文摘Dusky blue, verdant green, romantic pink, bright yellow…various color fulfill the normal life of human being everyday. Sometimes, maybe, color also could help you making a decision.
基金supported by the National Natural Science Foundation of China(Grant No.12035002).
文摘After careful consideration,with the consent of Editor-inChief Weiyan Zhang(张维岩)and Editor-in-Chief Ho-kwang Mao(毛河光),I have decided to step down as the Executive Editor-inChief of MRE to focus on my health and research.I will be succeeded by the next Executive Editor-in-Chief,Professor Jinren Sun(孙今人)of the Shanghai Institute of Laser Plasma,China Academy of Engineering Physics,and Professor Hongbo Cai(蔡洪波)of the Institute of Applied Physics and Computational Mathematics in Beijing.With the help of both of these excellent and experienced physicists,I believe that MRE and its community can be raised to a higher level.
文摘主题语境:励志故事篇幅:322词建议用时:6分钟。1 A grandfather named Paul Hocheder has decided to keep his mind moving with a full college experience at 90 years old.2 Paul already earned one degree in 1960,when he graduated from the University of Maryland after serving seven years in the service.But he decided it would help keep him awake and alive if he went back for another round.
文摘Eating healthy is my good habit.I used to having lots of bad eating habits.For example,I had no breakfast,but ate junk food or drank cola,so I often got sick.To keep fit,I decided to change my bad eating habits.Now,I always have my three meals regularly.I try my best to eat more fresh fruit and green vegetables instead of junk food.I also drink more milk and water.Gradually,I find my body is geting more and more strong.
基金This work was partially supported by China 973 Project NKBRPC (Grant No.2004CB318003)the Knowledge Innovation Program of the Chinese Academy of Sciences (Grant No.KJCX2-YW-S02)
文摘By means of dimension-decreasing method and cell-decomposition,a practical algorithm is proposed to decide the positivity of a certain class of symmetric polynomials,the numbers of whose elements are variable.This is a class of mechanically decidable problems beyond Tarski model.To implement the algorithm,a program nprove written in maple is developed which can decide the positivity of these polynomials rapidly.
文摘Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical approach of OL remain to be explored. In this paper, the typical proof theoretical problems for OL are described and the concept of open proof is defined. Two major conclusions are as follows： （i） For the consistent OL systems, the open proof problem is semi-decidable （a decision algorithm is presented）. （ii） For general （normal, not necessarily consistent） OL systems, the open proof problem is not semi-decidable.
文摘Mean Value Calculus ( MVC) is a real-time logic which can be used to specify and verify real-time systems . As a conservative extension of Duration Calculus (DC) , MVC increases the expressive power but keeps the properties of DC . ln this paper we present decidability results of MVC . An interesting result is that propositional MVC with chop star operator is still decidable, which develops the results or and .
基金This work was partially supported by the National Natural Science Foundationof China (Grant No. 69833020) the National High Technology Development Program of China (Grant No. 2002AA144050)the National Grand Fundamental Research 973 Program of China
文摘A semantic interpretation of a first order extension of Hennessy-Milner logic for value-passing processes, named HML(FO), is presented. The semantics is based on symbolic transition graphs with assignment. It is shown that the satisfiability of the two-variable sub-logic HML(FO2) of HML(FO) is decidable, and the complexity discussed. Finally, a decision procedure for model checking the value-passing processes with respect to HML(FO2) is obtained.
