Passa ai contenuti principali

Feasibility pump

Voglio segnalarvi una tesi di laurea interessante dal punto di vista tecnologico.
di Davide Baracco, relatore Matteo Fischetti.

Dico interessante dal punto di vista tecnologico, perché in un unico testo possiamo imparare come funziona una delle più famose euristiche per trovare soluzioni a problemi lineari a variabili intere; come funziona CPLEX; come funziona Xpres-MP e come funziona GLPK.

Per meglio specificare i contenuti della tesi ne riporto l'indice:
1 The Feasibility Pump
1.1 Introduction
1.2 Computational experiments
1.3 FP variants
1.3.1 Reducing the computing time
1.3.2 Improving the solution quality
1.3.3 Computational results
2 ILOG CPLEX
2.1 Introduction
2.2 ILOG CPLEX Technologies
2.3 CPLEX Algorithms
2.3.1 CPLEX Simplex Optimizers
2.3.2 CPLEX Barrier Optimizers
2.3.3 CPLEX Mixed Integer Optimizer
3 Xpress-MP by Dash Optimization
3.1 Xpress-MP overview
4 GLPK by Andrew Makhorin
4.1 GLPK overview
4.2 Problem (LP-MIP) formulation
4.3 API Routines
4.4 LPX: The Problem Object
5 The interfaces
5.1 Description of the interfaces
5.2 Step-by-step interfaces development
5.3 The functions
5.3.1 Creating problems
5.3.2 Optimizing problems
5.3.3 Accessing LP/MIP results
5.3.4 Problem modi¯cation
5.3.5 Accessing problem data
5.3.6 File reading/writing
5.3.7 Parameters setting and querying routines
5.3.8 General utilities
6 Test
6.1 Testbed
6.2 Test description
6.3 Computational Results
7 Conclusions
A Interface for GLPK (code)
A.1 interface.h
A.2 ifc imp.c
B Interface for Xpress (code)
B.1 interface.h
B.2 ifc imp.c
Bibliography 

Commenti

Post popolari in questo blog

Digital Twin – Il caso Hyperloop

  Con il termine  hyperloop  si identificano una serie di tecnologie che promettono di rivoluzionare il trasporto di persone e cose. L’idea di base è molto semplice: far viaggiare all’interno di tubi, dove viene creato il vuoto, delle capsule ad alta velocità con binari a levitazione magnetica.   Credits: Virgin Hyperloop on instagram.com/p/CRHEB9ctQ6u/   Qualche tempo fa, mi è capitato di leggere un interessante articolo su come la progettazione della soluzione guidata dal gruppo Virgin, sia stata affiancata da analisi svolte mediante un sistema di ottimizzazione matematica. Come meglio descritto nel seguito, un digital twin, completamente basato su un modello matematico di ottimizzazione, permette di valutare le migliori scelte progettuali tenendo in considerazione i vari obiettivi di progetto.   La necessità di avere un digital twin nasce probabilmente dal fatto che le tecnologie  hyperloop  non hanno una base di partenza già esistente. No...

La programmazione dichiarativa come sistema di intelligenza artificiale

Sull'intelligenza artificiale si è creato un grosso equivoco, che vale la pena risolvere. https://www.instagram.com/p/BwyfskdnV7a/ Senza voler essere formali, l’accezione comune di intelligenza artificiale è usata per identificare un sistema informatico basato su reti neurali usato per risolvere problemi di  difficile formalizzazione . Ad esempio, le auto a guida autonoma, i sistemi di traduzione in tempo reale, la previsione dei prezzi dell’energia. Per  difficile formalizzazione  intendo un concetto molto sottile. Scrivere un algoritmo che sia in grado di riconoscere l’immagine di un gattino è molto difficile se non impossibile. Mentre, in maniera paradossale, è più semplice scrivere un algoritmo che  impari  a riconoscere gattini perché è stato addestrato con le immagini di mille diversi gattini. Cablare ed addestrare una rete neurale che riconosca gattini è un esempio di  meta-programmazione , proprio perché non si scrive un algoritmo che ca...

Offerta di lavoro - Supply Chain Manger – Lidl

Non sono proprio sicuro che possa essere pertinente con la ricerca operativa, ma nel dubbio vi rigiro la seguente offerta di lavoro: In questa posizione dinamica e stimolante lavorerai all’interno di una delle nostre Direzioni Regionali e dovrai garantire l'ottimizzazione del flusso delle merci all’interno del magazzino, l’approvvigionamento e il monitoraggio dei prodotti in vendita e dei livelli di stock. Le candidature sono accettate al seguente link: http://lavoro.lidl.it/cps/rde/SID-59F0BF78-A59B5EA5/career_lidl_it/hs.xsl/jobsearch.htm?hitsperchunk=10&chunk=0&chnksim=0&action=showJobDetails&id=1372 # Buona fortuna... :-)