Contract Allocation

Story

In this model we have a set of contracts, where every contract represents an amount of commodity that has to be supplied. The objective is to determine which of the producers will take care of which contract such that the total costs are minimal, under the following conditions:

The demand for every contract is met.
The amount supplied by each producer does not exceed the total amount available for supply.
If a producer supplies a part of a contract then this contribution has a given minimal size.
There is a minimal number of suppliers for every contract.
The total cost associated with all the deliveries is minimal.

Mathematical Model

This AIMMS project illustrates the use of a semi-continuous variable. A semi-continuous variable is either zero or within a certain range. This type of variables can be used in conditions like, whenever there is a transport this transport has a minimum size.

Contract Allocation Problem
Sets and indices:
Sets and indices:
	\(P\), \(p \in P\)	Producers
	\(P\), \(p \in P\)	Producers
	\(C\), \(c \in C\)	Contracts
	\(C\), \(c \in C\)	Contracts
Parameters:
	\(M_{p} \in \mathbb{R_{+}}\)	minimal delivery
	\(A_{p} \in \mathbb{R_{+}}\)	available capacity
	\(S_{c} \in \mathbb{R_{+}}\)	contract size
	\(N_{c} \in \mathbb{R_{+}}\)	minimal number of contributors
	\(T_{p,c} \in \mathbb{R_{+}}\)	delivery cost by p for c
Variables:
	\(X_{p,c} \in \{0\} \cup \{M_{p}..10000\}\)	amount of commodity delivered by p to c
	\(Y_{p,c} \in \{0..1\}\)	p produce to c
Constraints:
1	\(\forall p: \sum_c X_{p,c} \leq A_{p}\)	production capacity for p
2	\(\forall c: \sum_p X_{p,c} \geq S_{c}\)	demand fulfillment for c
3	\(\forall c: \sum_p X_{p,c} \geq N_{c}\)	minimal number of contributors to c
4	\(\forall p, c: X_{p,c} \geq M_{p} * Y_{p,c}\)	if p delivers to c
Minimize:
	\(\sum_{p,c} T_{p,c} * X_{p,c}\)	The number of matches

Language

In this example, there are two main ways to import data: by a custom Excel file, and by a pre-defined Excel which is currently on the project’s main directory. You can choose which one to use on the inputs page through the import dialog page.

For the default data import, you will be importing 10 northwestern states for the contracts and 5 cities from that region for the producers. You can add more data freely without changing the sheets structure.

Procedure pr_importExcelData

This procedure will add and read the xml mapping available. Take a look at Mappings/inputs.xml.

dex::AddMapping(
   mappingName :  "inputs",
   mappingFile :  "Mappings/inputs.xml");

dex::ReadFromFile(
   dataFile         :  "DefaultData.xlsx",
   mappingName      :  "inputs",
   emptyIdentifiers :  1,
   emptySets        :  1,
   resetCounters    :  1);

ep_actualContract := first(i_contract);
ep_actualProducer := first(i_producer);

For the custom Excel file import, you can either copy the structure from the default data Excel or download the template file. Add your data, and then, use the upload button to select the Excel to import.

Procedure pr_uploadFile

This procedure will make you select a Excel file on your computer to import.

block ! import a custom Excel file
   ! we store the location of the file in string parameter UploadLocation
   UploadLocation := webui::GetIOFilePath(FileLocation);

   dex::AddMapping("inputs", "Mappings/inputs.xml");

   if dex::ReadFromFile(
      dataFile         :  UploadLocation,
      mappingName      :  "inputs",
      emptyIdentifiers :  1,
      emptySets        :  1,
      resetCounters    :  1)
   then
      ! if successful, statusCode is set to 'OK' which will trigger the WebUI to show the message below in a grey box
      StatusCode := webui::ReturnStatusCode('OK');

      ! displaying the status message, and logging it in the WebUI messages
      StatusDescription := "File was uploaded and read successfully";

      FileDelete(UploadLocation);
   endif;

onerror ep_err do
   ! setting the statusCode to 'ERROR'
   statusCode := webui::ReturnStatusCode('ERROR');

   !displaying a custom error message
   statusDescription := "Error when reading file " + errh::Message( ep_err );
   errh::MarkAsHandled(ep_err) ;

   FileDelete(UploadLocation);
endblock;

We also use create a page action and a dialog for users to export the results to several different DEX supported formats (Excel, JSON, CSV, etc.). You can add more identifiers to be exported by using the DEX annotations.

Procedure pr_openExportPage

This procedure will generate all the possible mappings in DEX based on current identifier DEX annotations. Details on how to setup annotations can be found here. It will also initialize identifiers used in our dialog and open that dialog page.

!Generating all possible mappings
dex::GenerateDatasetMappings();

!Selecting the Excel mapping as initial value
if not ep_selectedMapping then
   ep_selectedMapping
   :=  First(i_generatedMappings | FindString(
            SearchString  :  i_generatedMappings,
            Key           :  "excel",
            CaseSensitive :  0,
            WordOnly      :  0,
            IgnoreWhite   :  0));
endif;

!Defining Dialog and actions - Only done required
s_actions:= data { Done };
ep_pageId := 'export_page';

!Opening dialog page - no action on done - webui::NoOp1 does nothing
webui::OpenDialogPage(
   pageId  :  ep_pageId,
   title   :  "Export Data",
   actions :  s_actions,
   onDone  :  'webui::NoOp1');

Procedure pr_exportExcelData

This procedure will write the file and provide it for download using the download widget.

! we want to download a file
sp_out_fileLocation := sp_FileName;

! we store the location of the file in string parameter FinalLocation
sp_loc_FinalLocation := webui::GetIOFilePath(sp_out_fileLocation);

! writing the output file locally
dex::WriteToFile(
   dataFile    :  sp_loc_FinalLocation,
   mappingName :  ep_selectedMapping,
   pretty      :  1);

! checking if the previous write statement was successful or not
if FileExists(sp_loc_FinalLocation) then

   ! if successful, statusCode is set to 'CREATED' which will trigger the download widget to show the Get button
   p_out_statusCode := webui::ReturnStatusCode('CREATED');
   ! displaying the status message as Ready to download exported data! instead of the default "File ready to download"
   sp_out_statusDescription := "Ready to download exported data!";

else    !if previous write statement was not successful

   ! setting the statusCode to 'ERROR' and the download widget will not show the Get button anymore
   p_out_statusCode := webui::ReturnStatusCode('ERROR');
   !displaying a custom error message
   sp_out_statusDescription := "Something went wrong when creating the file.";

endif;

WebUI Features

On input page, if you click around the graphs, a highlighted cell will appear identifying the last clicked element. The results are displayed in a combination chart (stacked bar chart).

The following WebUI features are used:

Minimal Requirements

AIMMS Community license is sufficient for working with this example.

Release Notes

v1.3 (09/08/2023): Correcting download procedure, adding new options when importing data.
v1.2 (15/06/2023): Updated to 4.95 and added dependent styling using annotation on Results page.
v1.1 (15/05/2023): Updated to 4.94 and improved Input page for better UX flow.
v1.0 (17/03/2023): First logged version with the new workflow structure and colors.

Contract Allocation

Story

Mathematical Model

Language

WebUI Features

UI Styling

Minimal Requirements

Release Notes

Docs

Product

Support

Was this helpful?