Satellite Component Layout Optimization(SCLO) is crucial in satellite system design.This paper proposes a novel Satellite Three-Dimensional Component Assignment and Layout Optimization(3D-SCALO) problem tailored to en...Satellite Component Layout Optimization(SCLO) is crucial in satellite system design.This paper proposes a novel Satellite Three-Dimensional Component Assignment and Layout Optimization(3D-SCALO) problem tailored to engineering requirements, aiming to optimize satellite heat dissipation while considering constraints on static stability, 3D geometric relationships between components, and special component positions. The 3D-SCALO problem is a challenging bilevel combinatorial optimization task, involving the optimization of discrete component assignment variables in the outer layer and continuous component position variables in the inner layer,with both influencing each other. To address this issue, first, a Mixed Integer Programming(MIP) model is proposed, which reformulates the original bilevel problem into a single-level optimization problem, enabling the exploration of a more comprehensive optimization space while avoiding iterative nested optimization. Then, to model the 3D geometric relationships between components within the MIP framework, a linearized 3D Phi-function method is proposed, which handles non-overlapping and safety distance constraints between cuboid components in an explicit and effective way. Subsequently, the Finite-Rectangle Method(FRM) is proposed to manage 3D geometric constraints for complex-shaped components by approximating them with a finite set of cuboids, extending the applicability of the geometric modeling approach. Finally, the feasibility and effectiveness of the proposed MIP model are demonstrated through two numerical examples"and a real-world engineering case, which confirms its suitability for complex-shaped components and real engineering applications.展开更多
In the traditional environment, the factors for considering the location of the waste transfer station and the landfill are relatively fixed, and the scale of the problem is small. But in Internet of Things(IoT) envir...In the traditional environment, the factors for considering the location of the waste transfer station and the landfill are relatively fixed, and the scale of the problem is small. But in Internet of Things(IoT) environment, the waste storage in the household waste can be monitored in real time, the environmental data can be collected by means of emerging information technology, and the residents are more sensitive to the environmental pollution of the waste. Under such conditions, the method for location of traditional waste disposal facilities needs to be redeveloped to obtain a waste transfer station and landfill site that are suitable for the IoT environment. For this reason, a two-objective integer programming model is designed. The two objectives are lowest cost and minimum impact of waste on residents. The expectations of city managers and residents are considered into the modeling. Through the simulation experiments on different scale problems, the integration method for integer programming model and simulation system is verified to solve the location of waste transfer stations in IoT environment.展开更多
Production scheduling has a major impact on the productivity of the manufacturing process. Recently, scheduling problems with deteriorating jobs have attracted increasing attentions from researchers. In many practical...Production scheduling has a major impact on the productivity of the manufacturing process. Recently, scheduling problems with deteriorating jobs have attracted increasing attentions from researchers. In many practical situations,it is found that some jobs fail to be processed prior to the pre-specified thresholds,and they often consume extra deteriorating time for successful accomplishment. Their processing times can be characterized by a step-wise function. Such kinds of jobs are called step-deteriorating jobs. In this paper,parallel machine scheduling problem with stepdeteriorating jobs( PMSD) is considered. Due to its intractability,four different mixed integer programming( MIP) models are formulated for solving the problem under consideration. The study aims to investigate the performance of these models and find promising optimization formulation to solve the largest possible problem instances. The proposed four models are solved by commercial software CPLEX. Moreover,the near-optimal solutions can be obtained by black-box local-search solver LocalS olver with the fourth one. The computational results show that the efficiencies of different MIP models depend on the distribution intervals of deteriorating thresholds, and the performance of LocalS olver is clearly better than that of CPLEX in terms of the quality of the solutions and the computational time.展开更多
Approaches based on integer linear programming have been recently proposed for topology optimization in wireless sensor networks. They are, however, based on over-theoretical, unrealistic models. Our aim is to show th...Approaches based on integer linear programming have been recently proposed for topology optimization in wireless sensor networks. They are, however, based on over-theoretical, unrealistic models. Our aim is to show that it is possible to accommodate realistic models for energy consumption and communication protocols into integer linear programming. We analyze the maximum lifetime broadcasting topology problem and we present realistic models that are also shown to provide efficient and practical solving tools. We present a strategy to substantially speed up the convergence of the solving process of our algorithm. This strategy introduces a practical drawback, however, in the characteristics of the optimal solutions retrieved. A method to overcome this drawback is discussed. Computational experiments are reported.展开更多
This paper gives integer linear programming (ILP) models for scheduling the League Phase of one of the most popular professional club competitions in the world, UEFA Champion’s League. There are 36 teams in the compe...This paper gives integer linear programming (ILP) models for scheduling the League Phase of one of the most popular professional club competitions in the world, UEFA Champion’s League. There are 36 teams in the competition, but each team plays only 8 other teams in the League Phase. Thus, the difficulty or ease of a team’s opponents, known as strength of schedule (SOS), compared to other teams will be different. Our main ILP model aims to minimize the maximum difference between SOS of any two teams, thus making the schedule as fair as possible. We also give a model for creating a timetable of all the matchups obtained by the first model. The models were implemented and tested using optimization software AMPL. Our main model obtained a schedule with a difference 0.4 between the highest and the lowest SOS, while that difference is 19 for the actual 2024-2025 competition. Thus, our model returns a schedule that is significantly fairer compared to the actual competition.展开更多
Ensuring the safe evacuation of miners during fire emergencies in the shortest possible time is one of the most critical aspects of underground mining operations.Despite advances in mining evacuation methods,little re...Ensuring the safe evacuation of miners during fire emergencies in the shortest possible time is one of the most critical aspects of underground mining operations.Despite advances in mining evacuation methods,little research has been conducted on mine vehicles in this context.This study proposed a vehicle-augmented evacuation integer programming(VEIP)model to minimize the total evacuation cost as a function of the required evacuation time during fire emergencies.This approach aims to minimize the risk of miners being exposed to dangerous fire conditions by strategically integrating mine vehicles into the evacuation procedure.The approach determines the optimal evacuation path for each miner,considering factors such as available mine vehicles,miners’locations,refuge chambers,and fresh-air bases.To validate the effectiveness of the developed VEIP model,a case study was conducted using the mine layout of the Turquoise Ridge Underground Mine in the United States.Furthermore,a statistical comparison was conducted between the VEIP model and the evacuation integer programming(EIP)model,tailored to evacuation on foot,to emphasize vehicles’influence on the evacuation process.The results showed that integrating mine vehicles into evacuation procedures significantly reduces the total evacuation time.A cost savings analysis in the VEIP model revealed that the evacuation time savings increase exponentially as the number of miners present during evacuation increases.The potential benefits of using mine vehicles to improve the efficiency of evacuation from underground mine fires were highlighted in this study.展开更多
Enhancing traffic efficiency and alleviating(even circumventing)traffic congestion with advanced traffic signal control(TSC)strategies are always the main issues to be addressed in urban transportation systems.Since m...Enhancing traffic efficiency and alleviating(even circumventing)traffic congestion with advanced traffic signal control(TSC)strategies are always the main issues to be addressed in urban transportation systems.Since model predictive control(MPC)has a lot of advantages in modeling complex dynamic systems,it has been widely studied in traffic signal control over the past 20 years.There is a need for an in-depth understanding of MPC-based TSC methods for traffic networks.Therefore,this paper presents the motivation of using MPC for TSC and how MPC-based TSC approaches are implemented to manage and control the dynamics of traffic flows both in urban road networks and freeway networks.Meanwhile,typical performance evaluation metrics,solution methods,examples of simulations,and applications related to MPC-based TSC approaches are reported.More importantly,this paper summarizes the recent developments and the research trends in coordination and control of traffic networks with MPC-based TSC approaches.Remaining challenges and open issues are discussed towards the end of this paper to discover potential future research directions.展开更多
The circle geometric constraint model （CGCM） was put forward for resolving the open-pit mine ore-matching problems （OMOMP）. By adopting the approaches of graph theory, block model of blasted piles was abstracted i...The circle geometric constraint model （CGCM） was put forward for resolving the open-pit mine ore-matching problems （OMOMP）. By adopting the approaches of graph theory, block model of blasted piles was abstracted into a set of nodes and directed edges, which were connected together with other nodes in the range of circle constraints, to describe the mining sequence. Also, the constructing method of CGCM was introduced in detail. The algorithm of CGCM has been realized in the DIM1NE system, and applied to a short-term （5 d） program calculation for ore-matching of a cement limestone mine in Hebei Province, China. The applications show that CGCM can well describe the mining sequence of ore blocks and its mining geometric constraints in the process of mining blasted piles. This model, which is applicable for resolving OMOMP under complicated geometric constraints with accurate results, provides effective ways to solve the problems of open-pit ore-matching.展开更多
With the rapid development of highway construction and formation of the highway network in China,the man- agement of pavement maintenance and rehabilitation （MR） activities has become important.In this paper,four di...With the rapid development of highway construction and formation of the highway network in China,the man- agement of pavement maintenance and rehabilitation （MR） activities has become important.In this paper,four discrete optimization models are proposed for different parties involved in the management system： government,highway agent,con- tractor and the common users.These four optimal decision models are formulated as linear integer programming problems with binary decision variables.The objective function and constraints are based on the pavement performance and prediction model using the pavement condition index （PCI）.Numerical experiments are carried out with the data from a highway system in Sichuan Province which show the feasibility and effectiveness of the proposed models.展开更多
A 0-1 integer programming model for weekly fleet assignment was put forward based on linear network and weekly flight scheduling in China. In this model, the objective function is to maximize the total profit of fleet...A 0-1 integer programming model for weekly fleet assignment was put forward based on linear network and weekly flight scheduling in China. In this model, the objective function is to maximize the total profit of fleet assignment, subject to the constraints of coverage, aircraft flow balance, fleet size, aircraft availability, aircraft usage, flight restriction, aircraft seat capacity, and stopover. Then the branch-and-bound algorithm based on special ordered set was applied to solve the model. At last, a real- wofld case study on an airline with 5 fleets, 48 aircrafts and 1 786 flight legs indicated that the profit increase was ￥ 1 591276 one week and the running time was no more than 4 rain, which shows that the model and algorithm are fairly good for domestic airline.展开更多
In this paper we develop modeling techniques for a social partitioning problem. Different social interaction regulations are imposed during pandemics to prevent the spread of diseases. We suggest partitioning a set of...In this paper we develop modeling techniques for a social partitioning problem. Different social interaction regulations are imposed during pandemics to prevent the spread of diseases. We suggest partitioning a set of company employees as an effective way to curb the spread, and use integer programming techniques to model it. The goal of the model is to maximize the number of direct interactions between employees who are essential for company’s work subject to the constraint that all employees should be partitioned into components of no more than a certain size implied by the regulations. Then we further develop the basic model to take into account different restrictions and provisions. We also give heuristics for solving the problem. Our computational results include sensitivity analysis on some of the models and analysis of the heuristic performance.展开更多
We propose an approach for automatic generation of building models by assembling a set of boxes using a Manhattan-world assumption.The method first aligns the point cloud with a per-building local coordinate system,an...We propose an approach for automatic generation of building models by assembling a set of boxes using a Manhattan-world assumption.The method first aligns the point cloud with a per-building local coordinate system,and then fits axis-aligned planes to the point cloud through an iterative regularization process.The refined planes partition the space of the data into a series of compact cubic cells(candidate boxes)spanning the entire 3D space of the input data.We then choose to approximate the target building by the assembly of a subset of these candidate boxes using a binary linear programming formulation.The objective function is designed to maximize the point cloud coverage and the compactness of the final model.Finally,all selected boxes are merged into a lightweight polygonal mesh model,which is suitable for interactive visualization of large scale urban scenes.Experimental results and a comparison with state-of-the-art methods demonstrate the effectiveness of the proposed framework.展开更多
基金supported by the National Natural Science Foundation of China(No.92371206)the Postgraduate Scientific Research Innovation Project of Hunan Province,China(No.CX2023063).
文摘Satellite Component Layout Optimization(SCLO) is crucial in satellite system design.This paper proposes a novel Satellite Three-Dimensional Component Assignment and Layout Optimization(3D-SCALO) problem tailored to engineering requirements, aiming to optimize satellite heat dissipation while considering constraints on static stability, 3D geometric relationships between components, and special component positions. The 3D-SCALO problem is a challenging bilevel combinatorial optimization task, involving the optimization of discrete component assignment variables in the outer layer and continuous component position variables in the inner layer,with both influencing each other. To address this issue, first, a Mixed Integer Programming(MIP) model is proposed, which reformulates the original bilevel problem into a single-level optimization problem, enabling the exploration of a more comprehensive optimization space while avoiding iterative nested optimization. Then, to model the 3D geometric relationships between components within the MIP framework, a linearized 3D Phi-function method is proposed, which handles non-overlapping and safety distance constraints between cuboid components in an explicit and effective way. Subsequently, the Finite-Rectangle Method(FRM) is proposed to manage 3D geometric constraints for complex-shaped components by approximating them with a finite set of cuboids, extending the applicability of the geometric modeling approach. Finally, the feasibility and effectiveness of the proposed MIP model are demonstrated through two numerical examples"and a real-world engineering case, which confirms its suitability for complex-shaped components and real engineering applications.
基金Supported by the National Natural Science Foundation of China(71531009).
文摘In the traditional environment, the factors for considering the location of the waste transfer station and the landfill are relatively fixed, and the scale of the problem is small. But in Internet of Things(IoT) environment, the waste storage in the household waste can be monitored in real time, the environmental data can be collected by means of emerging information technology, and the residents are more sensitive to the environmental pollution of the waste. Under such conditions, the method for location of traditional waste disposal facilities needs to be redeveloped to obtain a waste transfer station and landfill site that are suitable for the IoT environment. For this reason, a two-objective integer programming model is designed. The two objectives are lowest cost and minimum impact of waste on residents. The expectations of city managers and residents are considered into the modeling. Through the simulation experiments on different scale problems, the integration method for integer programming model and simulation system is verified to solve the location of waste transfer stations in IoT environment.
基金National Natural Science Foundation of China(No.51405403)the Fundamental Research Funds for the Central Universities,China(No.2682014BR019)the Scientific Research Program of Education Bureau of Sichuan Province,China(No.12ZB322)
文摘Production scheduling has a major impact on the productivity of the manufacturing process. Recently, scheduling problems with deteriorating jobs have attracted increasing attentions from researchers. In many practical situations,it is found that some jobs fail to be processed prior to the pre-specified thresholds,and they often consume extra deteriorating time for successful accomplishment. Their processing times can be characterized by a step-wise function. Such kinds of jobs are called step-deteriorating jobs. In this paper,parallel machine scheduling problem with stepdeteriorating jobs( PMSD) is considered. Due to its intractability,four different mixed integer programming( MIP) models are formulated for solving the problem under consideration. The study aims to investigate the performance of these models and find promising optimization formulation to solve the largest possible problem instances. The proposed four models are solved by commercial software CPLEX. Moreover,the near-optimal solutions can be obtained by black-box local-search solver LocalS olver with the fourth one. The computational results show that the efficiencies of different MIP models depend on the distribution intervals of deteriorating thresholds, and the performance of LocalS olver is clearly better than that of CPLEX in terms of the quality of the solutions and the computational time.
文摘Approaches based on integer linear programming have been recently proposed for topology optimization in wireless sensor networks. They are, however, based on over-theoretical, unrealistic models. Our aim is to show that it is possible to accommodate realistic models for energy consumption and communication protocols into integer linear programming. We analyze the maximum lifetime broadcasting topology problem and we present realistic models that are also shown to provide efficient and practical solving tools. We present a strategy to substantially speed up the convergence of the solving process of our algorithm. This strategy introduces a practical drawback, however, in the characteristics of the optimal solutions retrieved. A method to overcome this drawback is discussed. Computational experiments are reported.
文摘This paper gives integer linear programming (ILP) models for scheduling the League Phase of one of the most popular professional club competitions in the world, UEFA Champion’s League. There are 36 teams in the competition, but each team plays only 8 other teams in the League Phase. Thus, the difficulty or ease of a team’s opponents, known as strength of schedule (SOS), compared to other teams will be different. Our main ILP model aims to minimize the maximum difference between SOS of any two teams, thus making the schedule as fair as possible. We also give a model for creating a timetable of all the matchups obtained by the first model. The models were implemented and tested using optimization software AMPL. Our main model obtained a schedule with a difference 0.4 between the highest and the lowest SOS, while that difference is 19 for the actual 2024-2025 competition. Thus, our model returns a schedule that is significantly fairer compared to the actual competition.
基金funded by the National Institute for Occupational Health and Safety under grant U60OH012351an Artificially Intelligent Mining Systems(AIMS)Capacity Building Project under contract number 75D30119C06044 for safer and healthier automated operations.
文摘Ensuring the safe evacuation of miners during fire emergencies in the shortest possible time is one of the most critical aspects of underground mining operations.Despite advances in mining evacuation methods,little research has been conducted on mine vehicles in this context.This study proposed a vehicle-augmented evacuation integer programming(VEIP)model to minimize the total evacuation cost as a function of the required evacuation time during fire emergencies.This approach aims to minimize the risk of miners being exposed to dangerous fire conditions by strategically integrating mine vehicles into the evacuation procedure.The approach determines the optimal evacuation path for each miner,considering factors such as available mine vehicles,miners’locations,refuge chambers,and fresh-air bases.To validate the effectiveness of the developed VEIP model,a case study was conducted using the mine layout of the Turquoise Ridge Underground Mine in the United States.Furthermore,a statistical comparison was conducted between the VEIP model and the evacuation integer programming(EIP)model,tailored to evacuation on foot,to emphasize vehicles’influence on the evacuation process.The results showed that integrating mine vehicles into evacuation procedures significantly reduces the total evacuation time.A cost savings analysis in the VEIP model revealed that the evacuation time savings increase exponentially as the number of miners present during evacuation increases.The potential benefits of using mine vehicles to improve the efficiency of evacuation from underground mine fires were highlighted in this study.
基金supported in part by the National Natural Science Foundation of China(61603154,61773343,61621002,61703217)the Natural Science Foundation of Zhejiang Province(LY15F030021,LY19F030014)Open Research Project of the State Key Laboratory of Industrial Control Technology,Zhejiang University,China(ICT1800407)
文摘Enhancing traffic efficiency and alleviating(even circumventing)traffic congestion with advanced traffic signal control(TSC)strategies are always the main issues to be addressed in urban transportation systems.Since model predictive control(MPC)has a lot of advantages in modeling complex dynamic systems,it has been widely studied in traffic signal control over the past 20 years.There is a need for an in-depth understanding of MPC-based TSC methods for traffic networks.Therefore,this paper presents the motivation of using MPC for TSC and how MPC-based TSC approaches are implemented to manage and control the dynamics of traffic flows both in urban road networks and freeway networks.Meanwhile,typical performance evaluation metrics,solution methods,examples of simulations,and applications related to MPC-based TSC approaches are reported.More importantly,this paper summarizes the recent developments and the research trends in coordination and control of traffic networks with MPC-based TSC approaches.Remaining challenges and open issues are discussed towards the end of this paper to discover potential future research directions.
基金Project(2011AA060407) supported by the National High Technology Research and Development Program of ChinaProject(51074073) supported by the National Natural Science Foundation of China
文摘The circle geometric constraint model （CGCM） was put forward for resolving the open-pit mine ore-matching problems （OMOMP）. By adopting the approaches of graph theory, block model of blasted piles was abstracted into a set of nodes and directed edges, which were connected together with other nodes in the range of circle constraints, to describe the mining sequence. Also, the constructing method of CGCM was introduced in detail. The algorithm of CGCM has been realized in the DIM1NE system, and applied to a short-term （5 d） program calculation for ore-matching of a cement limestone mine in Hebei Province, China. The applications show that CGCM can well describe the mining sequence of ore blocks and its mining geometric constraints in the process of mining blasted piles. This model, which is applicable for resolving OMOMP under complicated geometric constraints with accurate results, provides effective ways to solve the problems of open-pit ore-matching.
基金Project supported by the National Natural Science Foundation of China (Grant No.70671064)
文摘With the rapid development of highway construction and formation of the highway network in China,the man- agement of pavement maintenance and rehabilitation （MR） activities has become important.In this paper,four discrete optimization models are proposed for different parties involved in the management system： government,highway agent,con- tractor and the common users.These four optimal decision models are formulated as linear integer programming problems with binary decision variables.The objective function and constraints are based on the pavement performance and prediction model using the pavement condition index （PCI）.Numerical experiments are carried out with the data from a highway system in Sichuan Province which show the feasibility and effectiveness of the proposed models.
基金The National Natural Science Foundationof China (70473037)
文摘A 0-1 integer programming model for weekly fleet assignment was put forward based on linear network and weekly flight scheduling in China. In this model, the objective function is to maximize the total profit of fleet assignment, subject to the constraints of coverage, aircraft flow balance, fleet size, aircraft availability, aircraft usage, flight restriction, aircraft seat capacity, and stopover. Then the branch-and-bound algorithm based on special ordered set was applied to solve the model. At last, a real- wofld case study on an airline with 5 fleets, 48 aircrafts and 1 786 flight legs indicated that the profit increase was ￥ 1 591276 one week and the running time was no more than 4 rain, which shows that the model and algorithm are fairly good for domestic airline.
文摘In this paper we develop modeling techniques for a social partitioning problem. Different social interaction regulations are imposed during pandemics to prevent the spread of diseases. We suggest partitioning a set of company employees as an effective way to curb the spread, and use integer programming techniques to model it. The goal of the model is to maximize the number of direct interactions between employees who are essential for company’s work subject to the constraint that all employees should be partitioned into components of no more than a certain size implied by the regulations. Then we further develop the basic model to take into account different restrictions and provisions. We also give heuristics for solving the problem. Our computational results include sensitivity analysis on some of the models and analysis of the heuristic performance.
文摘We propose an approach for automatic generation of building models by assembling a set of boxes using a Manhattan-world assumption.The method first aligns the point cloud with a per-building local coordinate system,and then fits axis-aligned planes to the point cloud through an iterative regularization process.The refined planes partition the space of the data into a series of compact cubic cells(candidate boxes)spanning the entire 3D space of the input data.We then choose to approximate the target building by the assembly of a subset of these candidate boxes using a binary linear programming formulation.The objective function is designed to maximize the point cloud coverage and the compactness of the final model.Finally,all selected boxes are merged into a lightweight polygonal mesh model,which is suitable for interactive visualization of large scale urban scenes.Experimental results and a comparison with state-of-the-art methods demonstrate the effectiveness of the proposed framework.
