An operating schedule of the parallel electric arc furnaces(EAFs)considering both productivity and energy related criteria is investigated.A mathematical model is established to minimize the total completion time and ...An operating schedule of the parallel electric arc furnaces(EAFs)considering both productivity and energy related criteria is investigated.A mathematical model is established to minimize the total completion time and the total electricity cost.This problem is proved to be an NP-hard problem,and an effective solution algorithm,longest processing time-genetic(LPT-gene)algorithm,is proposed.The impacts of varied processing energy consumption and electricity price on the optimal schedules are analyzed.The integrated influence of the different weight values and the variation between the peak price and the trough price on the optimal solution is studied.Computational experiments illustrate that considering the energy consumption costs in production has little influence on makespan;the computational performance of the proposed longest processing time-genetic algorithm is better than the genetic algorithm(GA)in the issue to be studied;considerable reductions in the energy consumption costs can be achieved by avoiding producing during high-energy price periods and reducing the machining energy consumption difference.The results can be a guidance for managers to improve productivity and to save energy costs under the time-of-use tariffs.展开更多
Software testing coverage criteria play an important role in the whole testing process.The current coverage criteria for web applications are based on program or URL.They are not suitable for black-box test or intuiti...Software testing coverage criteria play an important role in the whole testing process.The current coverage criteria for web applications are based on program or URL.They are not suitable for black-box test or intuitional to use.This paper defines a kind of test criteria based on page coverage sequences only navigated by web application,including Page_Single,Page_Post,Page_Pre,Page_Seq2,Page_SeqK.The test criteria based on page coverage sequences made by interactions between web application and browser are being under consideration after that.In order to avoid ambiguity of natural language,these coverage criteria are depicted using Z formal language.The empirical result shows that the criteria complement traditional coverage and fault detection capability criteria.展开更多
基金The National Natural Science Foundation of China(No.71271054,71571042,71501046)the Fundamental Research Funds for the Central Universities(No.2242015S32023)the Scientific Research Innovation Project for College Graduates in Jiangsu Province(No.CXZZ12_0133)
文摘An operating schedule of the parallel electric arc furnaces(EAFs)considering both productivity and energy related criteria is investigated.A mathematical model is established to minimize the total completion time and the total electricity cost.This problem is proved to be an NP-hard problem,and an effective solution algorithm,longest processing time-genetic(LPT-gene)algorithm,is proposed.The impacts of varied processing energy consumption and electricity price on the optimal schedules are analyzed.The integrated influence of the different weight values and the variation between the peak price and the trough price on the optimal solution is studied.Computational experiments illustrate that considering the energy consumption costs in production has little influence on makespan;the computational performance of the proposed longest processing time-genetic algorithm is better than the genetic algorithm(GA)in the issue to be studied;considerable reductions in the energy consumption costs can be achieved by avoiding producing during high-energy price periods and reducing the machining energy consumption difference.The results can be a guidance for managers to improve productivity and to save energy costs under the time-of-use tariffs.
基金Natural Science Foundation of China(No.60573109)State Torch Projects of China(No.2005EB220009)
文摘Software testing coverage criteria play an important role in the whole testing process.The current coverage criteria for web applications are based on program or URL.They are not suitable for black-box test or intuitional to use.This paper defines a kind of test criteria based on page coverage sequences only navigated by web application,including Page_Single,Page_Post,Page_Pre,Page_Seq2,Page_SeqK.The test criteria based on page coverage sequences made by interactions between web application and browser are being under consideration after that.In order to avoid ambiguity of natural language,these coverage criteria are depicted using Z formal language.The empirical result shows that the criteria complement traditional coverage and fault detection capability criteria.
