xiongfuli
![]() |
- Associate Professor
- Supervisor of Master's Candidates
- Name (Pinyin):xiongfuli
- School/Department:信息与控制工程学院
- Education Level:With Certificate of Graduation for Doctorate Study
- Degree:Doctoral Degree in Engineering
- Professional Title:Associate Professor
- Status:Employed
- Academic Titles:西安建筑科技大学信息与控制工程学院副教授
- Alma Mater:东南大学
- Teacher College:信息与控制工程学院
- Discipline:Control Science and Engineering
Control Theory and Control Engineering
Systems Engineering

- Email:
- Paper Publications
Logic-based Benders decomposition approaches for the distributed heterogeneous precast production scheduling problem with eligibility constraints and controllable processing times
Release time:2025-09-16 Hits:
- Impact Factor:7.5
- DOI number:10.1016/j.eswa.2025.129234
- Journal:Expert Systems with Applications
- Abstract:The PDF file can be downloaded from the link: https://authors.elsevier.com/a/1lbPK3PiGTXKMR before October 02, 2025. Precast production scheduling is a critical component in the industrialized construction sector. This study addresses the Distributed Heterogeneous Precast Production Scheduling Problem with Eligibility Constraints and Controllable Processing Times (DHPPSP_ECCPT). The problem involves allocating production orders across multiple factories, adjusting processing times, and sequencing operations with the dual objectives of minimizing the makespan and the cost associated with processing time adjustments. To tackle this complex problem, we first present two Mixed-Integer Nonlinear Programming (MINLP) models. These models are subsequently linearized into Mixed-Integer Linear Programming (MILP) formulations to enhance tractability. In addition, a Constraint Programming (CP) model is proposed as an alternative modeling approach. Due to the complexity of the problem, particularly for large-scale instances, we develop a novel Logic-Based Benders Decomposition (LBBD) framework based on Manne-based models and problem structure. This framework integrates MINLP and CP to address the Assignment and Adjustment Master Problem (AAMP), and the Scheduling Subproblems (SSPs). To improve computational efficiency, we incorporate strong SSP relaxation-based inequalities into the AAMP within the LBBD framework. Furthermore, valid Benders optimality cuts are generated by solving the SSPs, thereby further strengthening the AAMP. We also propose a variant of the LBBD framework, termed Branch-and-Check (BCH), to address the DHPPSP_ECCPT. Moreover, the integration of the proposed position-based MINLP model with the LBBD framework enhances the robustness of the overall solution approach. Comprehensive computational experiments are conducted to evaluate the performance of the proposed LBBD methods. The results demonstrate their effectiveness and efficiency in solving the DHPPSP_ECCPT, offering valuable insights for prefabricated production scheduling as well as other production scheduling applications.
- Co-author:平安,吴木铭,向成飞
- First Author:xiongfuli
- Indexed by:Journal paper
- Discipline:Engineering
- First-Level Discipline:Computer Science and Technology
- Document Type:J
- Volume:297
- Translation or Not:no
- Date of Publication:2025-01-01
- Included Journals:SCI