To diagnose the feasibility of the solution of a job-shop scheduling problem（JSSP）,a test algorithm based on diagraph and heuristic search is developed and verified through a case study.Meanwhile,a new repair algori...To diagnose the feasibility of the solution of a job-shop scheduling problem（JSSP）,a test algorithm based on diagraph and heuristic search is developed and verified through a case study.Meanwhile,a new repair algorithm for modifying an infeasible solution of the JSSP to become a feasible solution is proposed for the general JSSP.The computational complexity of the test algorithm and the repair algorithm is both O（n） under the worst-case scenario,and O（2J＋M） for the repair algorithm under the best-case scenario.The repair algorithm is not limited to specific optimization methods,such as local tabu search,genetic algorithms and shifting bottleneck procedures for job shop scheduling,but applicable to generic infeasible solutions for the JSSP to achieve feasibility.展开更多
This paper presents the structure models founded in shallow seam, the roof asymmetry arch with three articulations in roof first weighting and the step voussoir beam in roof periodic weighting. These structure models ...This paper presents the structure models founded in shallow seam, the roof asymmetry arch with three articulations in roof first weighting and the step voussoir beam in roof periodic weighting. These structure models are differ from classic theory, it establishes the new roof control theory of instability structure roof, especially in shallow seam. Based on the new roof structure theory, the support working state of "given sliding load" is put forward, and the factor of load transmitting is introduced to determine the load on roof structure. Therefore, the proper and accurate calculating methods of support resistance are established. Based on this, the dynamic structure theory in shallow seam could be predicted.展开更多
基金The US National Science Foundation (No. CMMI-0408390, CMMI-0644552)the Research Fellowship for International Young Scientists (No. 51050110143)+2 种基金the Fok Ying-Tong Education Foundation(No. 114024)the Natural Science Foundation of Jiangsu Province (No.BK2009015)the Postdoctoral Science Foundation of Jiangsu Province (No.0901005C)
文摘To diagnose the feasibility of the solution of a job-shop scheduling problem（JSSP）,a test algorithm based on diagraph and heuristic search is developed and verified through a case study.Meanwhile,a new repair algorithm for modifying an infeasible solution of the JSSP to become a feasible solution is proposed for the general JSSP.The computational complexity of the test algorithm and the repair algorithm is both O（n） under the worst-case scenario,and O（2J＋M） for the repair algorithm under the best-case scenario.The repair algorithm is not limited to specific optimization methods,such as local tabu search,genetic algorithms and shifting bottleneck procedures for job shop scheduling,but applicable to generic infeasible solutions for the JSSP to achieve feasibility.
文摘This paper presents the structure models founded in shallow seam, the roof asymmetry arch with three articulations in roof first weighting and the step voussoir beam in roof periodic weighting. These structure models are differ from classic theory, it establishes the new roof control theory of instability structure roof, especially in shallow seam. Based on the new roof structure theory, the support working state of "given sliding load" is put forward, and the factor of load transmitting is introduced to determine the load on roof structure. Therefore, the proper and accurate calculating methods of support resistance are established. Based on this, the dynamic structure theory in shallow seam could be predicted.
