Ricerca operativa

L'ottimizzazione applicata ai sistemi energetici è un tema che mi sta particolarmente a cuore, visto che è l'argomento principale del mio lavoro. E' per questo che mi fa piacere leggere che sarà anche l'oggetto del progetto di dottorato di Chiara Bordin: Lo scopo del progetto di ricerca proposto è quello di sfruttare le potenzialità offerte dalla ricerca operativa per studiare e modellizzare sistemi energetici complessi quali reti di teleriscaldamento, impianti solari termici e centrali di co / trigenerazione, nonché analizzare la possibilità di progettazioni ottimizzate di reti di fonti energetiche integrate. Per maggiori dettagli rimando al seguente pdf .

Scade il 7 dicembre 2011 il bando per assegno di ricerca, dalla seguente descrizione sintetica: Il programma di ricerca prevede lo svolgimento di attività di ricerca e sviluppo nell'ambito degli algoritmi esatti e di approssimazione per problemi di difficili di ottimizzazione combinatoria. Gran parte dei problemi di ottimizzazione combinatoria di rilevanza pratica sono per l'appunto NP-hard e per molti di questi problemi non sono noti o addirittura è fortemente improbabile che esistano algoritmi euristici per i quali sia possibile anche solo identificare un rapporto di approssimazione costante. In quest'ambito, verranno affrontati vari problemi per i quali verranno proposti algoritmi esatti ed approssimati che saranno analizzati in termini di complessità di caso peggiore (worst-case complexity analysis). Particolare attenzione verrà data all'analisi di complessità di caso peggiore di algoritmi approssimati di bassa complessità esponenziale per problemi non approssimab

Il 12 dicembre 2011 scade il bando per assegno di ricerca, dalla seguente descrizione sintetica: Obiettivo Definizione di modelli innovativi per l’ottimizzazione della Logistics e della Green Logistics. Oggetto Stima e integrazione di informazioni di tipo ambientale all'interno dei modelli di trasporto e logistica esistenti, al fine di permettere ai decisori (amministratori pubblici ed aziende) di esplicitare i vantaggi ambientali delle soluzioni proposte. Definizione di nuovi modelli di trasporto per filiere logistiche corte (trasporto agro-alimentare a km 0, filiere agro-alimentari di eccellenza), al fine di massimizzarne il vantaggio in termini di riduzione del traffico e di impatto ambientale della catena logistica urbana sulla quale tali filiere impattano. Per maggiori dettagli, rimando ai seguenti siti: http://bandi.miur.it/bandi.php/public/fellowship/id_fellow/8344 http://www.swas.polito.it/services/concorsi/assric.asp

Nemsys , che sta per Network Models and System Optimization , è una azienda fondata nel 1997 con sede a Cesena. Obiettivi principali dell'azienda sono lo sviluppo di software di ottimizzazione e consulenza nella logistica. Dal sito dell'azienda: Nemsys Srl è specializzata nella consulenza e nello sviluppo di Sistemi di Supporto alle Decisioni (D.S.S.) per la soluzione di complessi problemi logistici. In particolare Nemsys si è occupata di: Pianificazione della distribuzione e/o raccolta di merci Programmazione dei carichi Gestione ottimale delle risorse Analisi di reti di trasporto e localizzazione di depositi e ancora: Nemsys è proprietaria del marchio Routemate®, sistema software di supporto alle decisioni per il settore trasporti, ed è particolarmente attiva nei seguenti ambiti: Taglio bidimensionale di forme regolari (per l'industria del vetro e del legno) e irregolari (per l'industria tessile e di abbigliamento e arredamento in pelle). Pianificazione degl

Da un lavoro di Gionata Massi del 2003, segnalo questa implementazione del simplesso in PHP. Credo che questo semplice programma possa essere molto utile per insegnare il funzionamento dell'algoritmo del simplesso. Infatti, dalla pagina sopra citata, è possibile inserire manualmente un problema di programmazione lineare ed avere in output tutti i passi risolutivi. Dalla documentazione del software: Il programma è stato implementato allo scopo di fornire in output la risoluzione passo passo di un problema di programmazione lineare, in molto del tutto simile all'analisi eseguita manualmente. Si è scelto, anche per facilitare le operazioni di debugging e di riscontro della correttezza dell'algoritmo, di rappresentare tutti i passaggi: visualizzazione del problema immesso, del problema portato prima in forma standard e successivamente in forma canonica, rappresentazione del tableau anche nel caso eventuale di utilizzo del metodo delle due fasi con indicazione ad ogni passo

Nasce a Firenze, da una idea di Alessandro Lori, Mirko Maischberger e Fabio Schoen, KKT Unexpected Improvements . Dalla pagina del profilo aziendale è chiara la missione di KKT: KT srl nasce da un'idea consolidata, la Ricerca Operativa, la ricerca della miglior pianificazione delle operazioni con metodi scientifici e modelli matematici in grado di fornire utili indicazioni a Director of Operations, Manager, e decisori in genere. L'esperienza maturata dai tre soci paritari in campo internazionale ha fatto emergere il chiaro bisogno, sul mercato italiano, di un operatore in grado di spaziare dalla modellazione matematica dei processi produttivi e distributivi, alla creazione di algoritmi ad-hoc per la loro soluzione, con un forte background informatico.   Due le offerte principali pubblicizzate:  Assegnazione degli ordini per il settore moda  Pianificazione della produzione ottimizzata Credo che possa essere molto interessante visitare KKT presso lo SMAU2011 (M

L'IMT di Lucca, Institutions Markets Technologies , ha un bando aperto per un ricercatore universitario in   Dynamical Systems, Control, and Optimization . Di seguito un estratto del bando: MT Institute for Advanced Studies Lucca invites applications for an Assistant Professor position in the area of analysis, control and optimization of complex dynamical systems. Candidates with a sound knowledge of control and optimization methods and an interest in both theoretical research and applications to practical problems are desired. Research experience is expected in at least one of the following areas: model predictive control, dynamic optimization, stochastic optimization, control systems design based on optimization methods. Previous experience with applications of control/optimization to smart grids and energy markets is a plus, but candidates with experience in other application areas are welcome. Candidates with a Ph.D. in engineering or mathematics with a focus on control oropt

In oggetto trovate l'oggetto di un bando di concorso per un assegno di ricerca presso l'Università di Bologna. Le candidature devono essere presentate entro il 21/10. Per maggiori dettagli vi rimando a questo link: http://bandi.miur.it/bandi.php/public/fellowship/id_fellow/5157 Questa la descrizione sintetica del bando: Il progetto di ricerca si prefigge lo scopo di studiare e analizzare i metodi di Decomposizione e Riformulazione per Problemi di Programmazione Lineare Intera. In particolare lo studio avrà l'obiettivo di valutare l'efficacia di tale metodologia ed il potenziale impatto rispetto agli algoritmi classici di risoluzione. La ricerca partirà dai recenti risultati sul tema per poi sviluppare approcci e metodi innovativi. In particolare l'accento sarà posto sugli aspetti di Decomposizione e Riformulazione Automatica per problemi di Programmazione Lineare Intera generici. Punto cruciale sarà quindi la caratterizzazione di una buona decomposizione sia i

Oggi vi segnalo questa raccolta molto interessante di esercizi a cura del dott. Antonio Cuduli , del dipartimento di matematica dell'Università della Calabria. Dalla prefazione del libro: Il presente testo è una raccolta di tracce d'esame sottoposte agli studenti dei corsi di Laurea in Informatica (Università della Calabria), Ingegneria Gestionale, Ingegneria Informatica e Ingegneria Meccanica (Università di Lecce) nell'ambito dell'insegnamento di “Ricerca Operativa”, e agli studenti del corso di laurea in Ingegneria Informatica e Biomedica (Università “Magna Graecia”di Catanzaro) nell'ambito dell'insegnamento di “Analisi Probabilistica e Metodi Quantitativi”. Alcuni esercizi (quelli individuati dal simbolo ⋆) sono svolti per intero, per altri (quelli individuati dal simbolo ) è riportata la soluzione in appendice, mentre di altri ancora è riportata solo la traccia per dare l'opportunità agli studenti (e/o al docente) di risolverli interattivamente in au

Il controllo del traffico ferroviario in una rete metropolitana è un altro degli innumerevoli esempi di applicazioni della ricerca operativa. Nello specifico, stiamo parlando della metropolitana di Milano e delle linee 1 e 2: le due linee che presentano delle derivazione ad Y e che quindi necessitano di un maggior controllo sul traffico dei veicoli. Il progetto è stato commissionato dalla ATM e realizzato dalla Bombardier Transportation con la consulenza del prof. Carlo Mannino . Per maggiori informazioni: blogosfere.it informs.org

Segnalo un interessante lavoro del prof. Giovanni Righini dal titolo "Dodici tipiche sciocchezze sulla Ricerca Operativa". Dal sito del professore, riporto un piccolo estratto che ci permette di capire l'intento con cui sono state scritte queste riflessioni: Perché in Italia non si insegna la R.O. nella scuola Reduce da innumerevoli frustranti esperienze nei panni di ricercatore operativo e in particolare di responsabile AIRO per le scuole, ho pensato bene di mettere per iscritto una volta per tutte le "Dodici tipiche sciocchezze sulla Ricerca Operativa", nella speranza che il lettore acquisisca qualche informazione in più e si astenga dal diventare a sua volta un ennesimo acritico ripetitore delle sciocchezze medesime. Se mi sono fermato a dodici è soltanto perché mi ero riproposto di arrivare a dieci e ad un certo punto mi sono accorto di aver già sforato... Le dodici sciocchezze sono: La Ricerca Operativa non esiste La Ricerca Operativa non è ben defi

Si accettano adesioni per mettere su uno o più gruppi italiani per partecipare alla gara ROADEF/EURO Challenge 2012 . Il problema di quest'anno è il machine reassignment , ovvero spostare dei processi che risiedono su alcune macchine su altre, con lo scopo di migliorare l'uso dell'intero parco macchine, tenendo in conto i vincoli dati dall'uso delle risorse e dal fatto che migrare un processo ha un costo. Tutti i dettagli sono reperibili su questa pagina . Il partner industriale di questa gara è, guarda caso, Google che, a questo punto ovviamente, potrebbe avere un grosso vantaggio nella ottimizzazione dell'assegnamento dei processi nella sua grande nuvola. La registrazione dei gruppi è già partita. Le categorie a disposizioni sono tre: Junior, Senior, Open Source. Le adesioni possono arrivare come commento a questo articolo, oppure possono essere inviate per posta elettronica: poderico at gmail dot com.

Gli appunti che trovate a questo link , a cura del prof. Carlo Ciaponi , descrivono un problema molto semplice, ma allo stesso tempo interessante, sul dimensionamento di una rete idraulica risolto con la programmazione lineare: Posizione del problema Rete da progettare di cui è noto il tracciato e la struttura topologica. E’ prefissata l'erogazione che si vuole garantire (erogazione di progetto) SCOPO: calcolare i diametri dei tronchi al fine di garantire che le pressioni nei nodi assumano valori conformi ai requisiti richiesti Quante altre applicazioni della ricerca operativa si possono trovare alle reti idrauliche?

Come non dare ragione ad Andrea Pollini e sulla sua visione che può essere sintetizzata come: Matematica Applicata: Un investimento Mi permetto di citare una parte di un suo articolo : Visto che ogni realtà aziendale è unica, con il suo processo produttivo specifico, con il suo personale particolare, con le particolarità che si sono create come abitudini nel corso degli anni, ogni problema sarà un problema unico. Anche la mia particolare esperienza è concorde con questa semplice ma fondamentale osservazione.

Legato al lavoro di Battiti e Brunato, che più volte ho avuto modo di citare sulle pagine di questo blog, c'è una azienda di tecnologie dell'ottimizzazione: Reactive Search . I principali prodotti sono due: Grapheur - Visualizzazione interattiva e data mining; Reactive Search -  Sover di ottimizzazione continua. Colgo l'occasione per segnalare la disponibilità di due posizioni lavorative aperte: segno che, pur trattandosi ancora di una start-up, la crescita di questa azienda segna un buon segno più.

Ottima fonte di software per la risoluzione di  problemi di ottimizzazione su reti e il CRIFOR , il Centro di Ricerca e Formazione per l'Ottimizzazione su Reti . Per il software disponibile dobbiamo ringraziare gli autori: Crifor - sezione Cagliari Antonio Manca   Crifor - sezione Cagliari Giovanni Sechi  Crifor - sezione Cagliari Paola Zuddas   Crifor - sezione Cagliari Di Francesco Massimo  Crifor - sezione Pisa Antonio Frangioni   IASI - Roma Claudio Gentile  DEI - Padova   Matteo Fischetti   Università di Brescia - Brescia   Claudia Archetti 

Voglio segnalarvi una breve presentazione curata dal prof. Fabio Schoen dal titolo " La Ricerca Operativa al servizio della moda ", che descrive in maniera chiara e sintetica due applicazioni della ricerca operativa nel settore industriale della moda: abbinamento ordini/magazzino pianificazione ottimale della produzione Non è chiaro se gli esempi riportati siano reali o realisti, ma sono comunque degli ottimi esempi di applicazione della programmazione lineare intera: infatti queste tecniche sono state presentate al it4fashion 2011 a Firenze.

Il tema in oggetto è chiaramente uno dei campi d'azione della programmazione lineare. Traggo spunto dal programma del corso di  Finanza Strategia della MIDIacademy , per citare alcuni temi trattati durante le esercitazioni: scelta tra investimenti di durata diversa valutazione della convenienza circa la sostituzione di un impianto o di un macchinario decidere di investire in condizione di risorse finanziarie limitate   Quasi sicuramente, le applicazioni più interessanti vanno trattate e risolte con qualche strumento più potente che la semplice programmazione lineare, ma si tratta sicuramente di un ottimo punto di partenza.

Per gli amanti di Java, tra i quali non ci sono io :-), vi voglio segnalare la disponibilità dell'edizione gratuita di OptimJ . OptimJ è una libreria di classi Java per la modellazione ad oggetti di problemi di programmazione lineare. OptimJ Free Edition comprende: integrazione in eclipse pre-elaborazione dei dati prototipazione rapida di interfacce grafiche la possibilità di utilizzare i solver GLPK e lp_solve supporto dei file in formato LP e MPS Non ho mai avuto la possibilità di utilizzare OptimJ, quindi sarò lieto di ospitare ogni contributo in tal senso.

Quante cose si possono imparare dalle tesi di laurea? Sembra proprio tante! Oggi possiamo approfittare della tesi di laurea di Yari Melanzi: "UN ALGORITMO DI TABU SEARCH PER IL MAXIMUM DIVERSITY PROBLEM" Relatori: Roberto Aringhieri e Roberto Cordone. L'indice della tesi è il seguente: 1 Introduzione 1.1 Definizione del problema 1.2 Applicazioni 1.2.1 Salvaguardia della Biodiversità 1.2.2 Trattamenti medici 1.2.3 La varietà nell'agricoltura 1.2.4 Corretto ridimensionamento di un'impresa 1.2.5 Composizione di una giuria 1.2.6 Diversity Data Mining 1.3 Descrizione ed obiettivi del lavoro 2 Maximum Diversity Problem 2.1 Formulazioni Matematiche 2.1.1 Una formulazione lineare intera 2.2 Algoritmi euristici 2.3 Greedy Randomized Adaptive Search Procedure 2.4 Fase costruttiva 2.4.1 K Larger Distances 2.4.2 Most Distant Insertion 2.4.3 Euristica di Ghosh 2.4.4 Euristica di Andrade 2.5 Fase di ricerca locale 2.5.1 Scambio di un elemento 2.5.2

Voglio segnalarvi una tesi di laurea interessante dal punto di vista tecnologico. "INTERFACING A MIP HEURISTIC BASED ON ILOG CPLEX WITH DIFFERENT LP SOLVERS" 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

Molto spesso mi sono sentito chiedere come funziona un algoritmo di branch&bound, ma non sempre è facile dare una descrizione semplice e chiara. Da ora in poi posso rimandare ai chiari appunti di Giuliana Carello .

Dal sito dell'università di Milano si apprende che il prof. Giovanni Righini ha vinto il premio IBM Faculty Award per il 2010. Cito questo avvenimento perché riguarda la ricerca operativa: Il professor Giovanni Righini, del dipartimento di Tecnologie dell'informazione dell'Università di Milano, vince l’IBM Faculty Award del valore di 14.000 USD, per il progetto “ Emergency Management System (EMS) ” e la realizzazione di un simulatore interattivo di gestione dei servizi del 118. Il progetto vincitore prevede l'utilizzo di uno strumento software molto flessibile che permette la riallocazione dinamica delle ambulanze sul territorio urbano ed extraurbano milanese associando algoritmi di ricerca operativa e sistemi informatici geografici. Tre gli obiettivi del progetto EMS: 1. miglioramento del livello del servizio del 118 2. applicazione della ricerca ai problemi reali 3. interazione tra sistemi informatici geografici e software di ottimizzazione come IBM ILOG CP

Chi lavora ed opera nel settore della ricerca operativa conosce bene quanto possa essere difficile modellare il sistema che si vuole studiare, oggetto di ottimizzazione o simulazione. Questa aspetto sembra descritto molto bene, anche per i non addetti ai lavori, nel libro  Complessità e modelli , di Cristoforo Sergio Bertuglia e Franco Vaio, edito da Bollati Boringhieri . I temi del libro sembrano anche accennati nel lavoro  The complexity approach to urban and regional systems and to the economy in general , disponibile dal sito Unicredit . Buona lettura

E' ai cancelli di partenza un nuovo progetto di applicazione della ricerca operativa alla logistica e trasporti intermodali. Questo progetto si chiama SAIL , ICT System Addressed to Integrated Logistic management and decision support for intermodal port and dry port facilities: E' iniziato ufficialmente il progetto SAIL, ICT System Addressed to Integrated Logistic management and decision support for intermodal port and dry port facilities . SAIL è un progetto finanziato dall’Unione Europea nell’ambito del programma Marie Curie. Questo programma è il cosiddetto programma “Persone” della Comunità Europea, che si propone di finanziare azioni di ricerca e di sviluppo tecnologico favorendo la mobilità e lo sviluppo della carriera dei ricercatori. In questo contesto, il progetto SAIL è stato finanziato nell'ambito dell'obiettivo IAPP, Industry-Academia Partnerships and Pathways, che si focalizza sull'interazione di partner accademici con partner industriali. Il proge

Si terrà ad Udine la nona conferenza internazionale sulle metaeuristiche MIC20100 . Tra i relatori ed argomenti trattati troviamo: Holger H. Hoos, University of British Columbia, Canada Programming by Optimisation: Towards a new Paradigm for Developing High-Performance Software Andrea Lodi, Alma Mater Studiorum - Università degli Studi di Bologna, Italy The heuristic (dark) side of MIP solvers Pascal Van Hentenryck, Brown University, USA Meta-Heuristics for Last-Mile Disaster Preparedness and Recovery

Vi segnalo la conferenza " International Conference on Principles and Practice of Constraint Programming ", conferenza internazionale sulla programmazione per vincoli o, in inglese, constraint programming . La conferenza si terrà Perugia dal 12 al 16 settembre 2011. Per maggiori dettagli rimando alla pagina web dell'evento.

Voglio segnalarvi questa iniziativa che trovo veramente molto interessante. Si chiama "Ottimizziamo!", si tiene a Crema ed è curata di Alberto Ceselli e Giovanni Righini . I dettagli li trovate su cremonaonline.it , ma in sintesi si tratta di incontri full-immersion di due giorni, tenuti presso i laboratori informatici dell'Università , dove i due docenti spiegano come modellare e risolvere problemi di ottimizzazione matematica. Trovo questa iniziativa molto lodevole e spero che si possa replicare anche in altre città.