On the basis of introducing clean power generation technologies, the author calculated and analyzed the investment, economy and environmental protection of these technologies, posed his views of giving the priorities ...On the basis of introducing clean power generation technologies, the author calculated and analyzed the investment, economy and environmental protection of these technologies, posed his views of giving the priorities to the development of supercritical and ultra-supercritical pressure coal-fired power generation technologies and taking vigorous action to nuclear power generation technology within the following 5-10 years, exploiting wind power within the following 10-15 years, and suggested that the installed capacity of nuclear power reach 80-100 GW and that of wind power reach 50-80 GW by 2020.展开更多
A model comparison based software testing method （MCST） is proposed. In this method, the requirements aria programs or software under test are transformed into the ones in the same form, and described by the same mo...A model comparison based software testing method （MCST） is proposed. In this method, the requirements aria programs or software under test are transformed into the ones in the same form, and described by the same model describe language （MDL）. Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine （EFSM） model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the pathcoverage testing method, the object state diagram testing method, etc.展开更多
文摘On the basis of introducing clean power generation technologies, the author calculated and analyzed the investment, economy and environmental protection of these technologies, posed his views of giving the priorities to the development of supercritical and ultra-supercritical pressure coal-fired power generation technologies and taking vigorous action to nuclear power generation technology within the following 5-10 years, exploiting wind power within the following 10-15 years, and suggested that the installed capacity of nuclear power reach 80-100 GW and that of wind power reach 50-80 GW by 2020.
基金The National Natural Science Foundationof Hubei Province (No.2005ABA266)
文摘A model comparison based software testing method （MCST） is proposed. In this method, the requirements aria programs or software under test are transformed into the ones in the same form, and described by the same model describe language （MDL）. Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine （EFSM） model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the pathcoverage testing method, the object state diagram testing method, etc.
