By analyzing the configuration and operation plan of mining equipment, this paper establishes a linear programming model and converts it into the corresponding quadratic unconstrained binary optimization (QUBO) form. Based on this, the simulated annealing solver built-in in Kaiwu SDK and CIM simulator are used to study the configuration and operation plan of mining equipment. For work one: it is required to provide a procurement plan that maximizes profits within the budget range, that is, to determine the required excavator models and corresponding quantities. This problem is based on the premise of not considering the service life of excavators, with the maximum value of the product of the four excavator models and their corresponding long-term profits and quantities as the objective function, and with the constraints of start-up capital budget and excavator type, a 0-1 integer programming model is established. By using the decision variable of the model as a 0-1 variable and the constraint as an inequality constraint, the constraint is then transformed into the corresponding Hamiltonian operator, and the penalty term coefficient P is introduced and added to the objective function, thereby transforming it into QUBO form. Due to the low complexity and linearity of the model, the Kaiwu SDK's built-in simulated annealing solver and CIM simulator were used to solve the problem and obtain the final maximum profit and procurement plan. For work two: compared to work one, the condition of equipment lifespan of 5 years has been added, and it is required to plan the model and quantity of excavators that need to be purchased, while providing the matching relationship between excavators and mining trucks. This problem requires consideration of various cost conditions, with the difference between revenue and cost within five years as the objective function, and matching constraints, quantity constraints, and budget constraints as constraints, ultimately constructing a general linear programming model. By using inequality constraint relationships, the relaxation variable s in binary expression is introduced to express the constraint term, thereby transforming it into QUBO form. Afterwards, Kaiwu SDK was used to solve the procurement plan and obtain the matching relationship between excavators and mining trucks. For work three: Based on work two, the number of devices has been increased. For the constructed linear programming model, it can be transformed into a QUBO model or even a subQUBO model. Firstly, preprocess the data and use Spearman correlation analysis to determine the degree of correlation between the data, visualizing the data. For the constructed linear programming model, compared to problem two, only parameter variables were added, and the constraint conditions were consistent with problem two. A relaxation variable s was introduced to construct a constraint term, which was then transformed into a QUBO model. Combined with classical calculations, the subQUBO method was used. Finally, the procurement plan was obtained through Kaiwu SDK and a new matching relationship between excavators and mining trucks was provided. **************** ACKNOWLEDGEMENTS**************** This work is supported by ministry of education industry-university cooperative education project (Grant No.: 231106441092432), the research and practice of integrating "curriculum thought and politics" into the whole process of graduation design of Mechanical engineering major: (Grant. No.: 30120300100-23-yb-jgkt03), research on the integration mechanism of "course-training-competition-creation-production" for innovation and entrepreneurship of mechanical engineering majors in applied local universities (Grant. No.: CXKT202405), Mechanical manufacturing equipment design school-level "gold class" construction project (Grant. No.: 30120324001).
Read full abstract