28 aprile 2010: Bilancio configurazionale in corpi sottili (Giuseppe Tomassetti)

Il prossimo incontro di \Piz^2@TV(+IAC) si terrà mercoledi 28 aprile, alle ore 13, presso il Dipartimento di Matematica di Roma Tor Vergata, aula "Dal Passo", e sarà animato da Giuseppe Tomassetti (Dip. di Ingegneria Civile, Università di Roma "Tor Vergata").

Titolo: Bilancio configurazionale in corpi sottili 

Abstract: Illustro una derivazione della legge cinetica che governa il moto di una interfaccia di fase in una trave modellata come corpo continuo di dimensione uno. Il punto di partenza è una versione del principio delle potenze virtuali che tiene conto della potenza spesa da un sistema di forze (interne ed esterne) agenti all'interfaccia. Applicando il metodo delle potenze virtuali si ottiene una equazione di "bilancio configurazionale" che, corredata da opportune ipotesi costitutive, produce la legge cinetica cercata.

14 aprile 2010: OTTIMIZZAZIONE ESATTA DI FUNZIONI QUADRATICHE A VARIABILI BINARIE (Giovanni Rinaldi)

Il prossimo incontro di \Piz^2@TV(+IAC) si terrà mercoledi 14 aprile, alle ore 13, presso il Dipartimento di Matematica di Roma Tor Vergata, aula "Dal Passo", e sarà animato da Giovanni Rinaldi (IASI-CNR).

Titolo: OTTIMIZZAZIONE ESATTA DI FUNZIONI QUADRATICHE A VARIABILI BINARIE

Abstract: Quello di trovare il massimo o il minimo di una funzione quadratica a
variabili binarie è uno dei più importanti problemi di ottimizzazione discreta, che trova numerose applicazioni, per esempio, in Fisica Statistica (nella determinazione degli stati di energia minima dei vetri di spin), nella progettazione ottima di circuiti integrati, nella assegnazione delle frequenze a trasmettitori radio, nella determinazione ottima dei turni delle partite di un campionato.

Essendo classificato come "NP-difficile", è possibile trovare istanze anche di poche decine di variabili, per le quali è pressoché impossibile trovare e certificare una soluzione ottima in tempi di calcolo accettabili. Nel seminario verranno illustrate le più recenti tecniche utilizzate per la soluzione esatta di questo problema, che consentono di risolvere alcune istanze anche di decine di migliaia di variabili.

Verrà fatto infine un breve cenno all'estensione di tali tecniche al caso di funzioni generali a variabili intere, eventualmente soggette ad alcuni vincoli.