Showing 1–4 of 4 results for author: Mak-Hau, V

A Rapid Algorithm for Beam Illumination Patterns and Hopping Time Plan

Authors: Angus Gaudry, Vicky Mak-Hau

Abstract: Beam hopping (BH) is a satellite communications technique in which sets of beams are sequentially illuminated over a defined time interval. Geographically varying the duty cycle of satellite transmission allows for reduced resource wastage as satellite capacity is matched to non-uniform user demands. Total feasible active beam combinations is given by $2^n$ for $n$ beams. With in service satellite… ▽ More Beam hopping (BH) is a satellite communications technique in which sets of beams are sequentially illuminated over a defined time interval. Geographically varying the duty cycle of satellite transmission allows for reduced resource wastage as satellite capacity is matched to non-uniform user demands. Total feasible active beam combinations is given by $2^n$ for $n$ beams. With in service satellite systems operating in excess of 100 beams, complete enumeration of optimum illumination patterns is not tractable. Developing efficient optimization methods which minimize resource wastage is essential to realising the benefits of modern BH systems. We present a computationally efficient pattern generation method which uses the binary logarithm to decompose beam demands into common powers of two. This method is shown to produce feasible patterns within 0.047 and 0.31 seconds for systems using 49 and 132 beams respectively and within 19.109 seconds for a 1085 beam system. When averaged across all testing configurations, this method reduced capacity error by 94% compared to a conventional even data distribution. To facilitate algorithm comparison, two integer linear programming formulations are developed. Even though they can only solve problems of modest sizes to proven optimality, they provide valuable insights in the optimality gap for our proposed heuristic approach. △ Less

Submitted 16 August, 2024; originally announced August 2024.

Synthesizing mixed-integer linear programming models from natural language descriptions

Authors: Qingyang Li, Lele Zhang, Vicky Mak-Hau

Abstract: Numerous real-world decision-making problems can be formulated and solved using Mixed-Integer Linear Programming (MILP) models. However, the transformation of these problems into MILP models heavily relies on expertise in operations research and mathematical optimization, which restricts non-experts' accessibility to MILP. To address this challenge, we propose a framework for automatically formula… ▽ More Numerous real-world decision-making problems can be formulated and solved using Mixed-Integer Linear Programming (MILP) models. However, the transformation of these problems into MILP models heavily relies on expertise in operations research and mathematical optimization, which restricts non-experts' accessibility to MILP. To address this challenge, we propose a framework for automatically formulating MILP models from unstructured natural language descriptions of decision problems, which integrates Large Language Models (LLMs) and mathematical modeling techniques. This framework consists of three phases: i) identification of decision variables, ii) classification of objective and constraints, and iii) finally, generation of MILP models. In this study, we present a constraint classification scheme and a set of constraint templates that can guide the LLMs in synthesizing a complete MILP model. After fine-tuning LLMs, our approach can identify and synthesize logic constraints in addition to classic demand and resource constraints. The logic constraints have not been studied in existing work. To evaluate the performance of the proposed framework, we extend the NL4Opt dataset with more problem descriptions and constraint types, and with the new dataset, we compare our framework with one-step model generation methods offered by LLMs. The experimental results reveal that with respect to the accuracies of generating the correct model, objective, and constraints, our method which integrates constraint classification and templates with LLMs significantly outperforms the others. The prototype system that we developed has a great potential to capture more constraints for more complex MILPs. It opens up opportunities for developing training tools for operations research practitioners and has the potential to be a powerful tool for automatic decision problem modeling and solving in practice. △ Less

Submitted 26 November, 2023; originally announced November 2023.

Knowledge engineering mixed-integer linear programming: constraint typology

Authors: Vicky Mak-Hau, John Yearwood, William Moran

Abstract: In this paper, we investigate the constraint typology of mixed-integer linear programming MILP formulations. MILP is a commonly used mathematical programming technique for modelling and solving real-life scheduling, routing, planning, resource allocation, timetabling optimization problems, providing optimized business solutions for industry sectors such as: manufacturing, agriculture, defence, hea… ▽ More In this paper, we investigate the constraint typology of mixed-integer linear programming MILP formulations. MILP is a commonly used mathematical programming technique for modelling and solving real-life scheduling, routing, planning, resource allocation, timetabling optimization problems, providing optimized business solutions for industry sectors such as: manufacturing, agriculture, defence, healthcare, medicine, energy, finance, and transportation. Despite the numerous real-life Combinatorial Optimization Problems found and solved, and millions yet to be discovered and formulated, the number of types of constraints, the building blocks of a MILP, is relatively much smaller. In the search of a suitable machine readable knowledge representation for MILPs, we propose an optimization modelling tree built based upon an MILP ontology that can be used as a guidance for automated systems to elicit an MILP model from end-users on their combinatorial business optimization problems. △ Less

Submitted 20 February, 2021; originally announced February 2021.

Comments: 6 pages, 3 figures. arXiv admin note: substantial text overlap with arXiv:2011.06300

A mixed-integer linear programming approach for soft graph clustering

Authors: Vicky Mak-Hau, John Yearwood

Abstract: This paper proposes a Mixed-Integer Linear Programming approach for the Soft Graph Clustering Problem. This is the first method that simultaneously allocates membership proportion for vertices that lie in multiple clusters, and that enforces an equal balance of the cluster memberships. Compared to ([Palla et al., 2005], [Derenyi et al., 2005], [Adamcsek et al., 2006]), the clusters found in our me… ▽ More This paper proposes a Mixed-Integer Linear Programming approach for the Soft Graph Clustering Problem. This is the first method that simultaneously allocates membership proportion for vertices that lie in multiple clusters, and that enforces an equal balance of the cluster memberships. Compared to ([Palla et al., 2005], [Derenyi et al., 2005], [Adamcsek et al., 2006]), the clusters found in our method are not limited to k-clique neighbourhoods. Compared to ([Hope and Keller, 2013]), our method can produce non-trivial clusters even for a connected unweighted graph. △ Less

Submitted 11 June, 2019; originally announced June 2019.