Corso di laurea: INGEGNERIA INFORMATICA (DM 270) Programmazione per l'A.A. 2010/2011

Versione Inglese

comune

Primo anno

Primo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Studio

Attività

Lingua

20801721 - ANALISI MATEMATICA (obiettivi)

20801721-2 - MODULO II

Canale: AL

- NATALINI PIERPAOLO

Canale: MZ

- NATALINI PIERPAOLO

MAT/05

Attività formative di base

ITA

20801721-1 - MODULO I

Canale: AL

- NATALINI PIERPAOLO

Canale: MZ

- NATALINI PIERPAOLO

MAT/05

Attività formative di base

ITA

20801724 - FONDAMENTI DI INFORMATICA (obiettivi)

20801724-2 - MODULO II

Canale: AL

- MIOLA ALFONSO

Canale: MZ

- MIOLA ALFONSO

ING-INF/05

Attività formative caratterizzanti

ITA

20801724-1 - MODULO I

Canale: AL

- LIMONGELLI CARLA

Canale: MZ

- GASPARETTI FABIO

ING-INF/05

Attività formative caratterizzanti

ITA

20801725 - GEOMETRIA E COMBINATORIA (obiettivi)

20801725-2 - MODULO II

Canale: AL

- ROTA ROSARIA

Canale: MZ

- ROTA ROSARIA

MAT/03

Attività formative di base

ITA

20801725-1 - MODULO I

Canale: AL

- ROTA ROSARIA

Canale: MZ

- ROTA ROSARIA

MAT/03

Attività formative di base

ITA

20801775 - ELETTROTECNICA ED ELETTRONICA

20801775-2 - MODULO II

- DEL VECCHIO PAOLO

ING-INF/01

Attività formative affini ed integrative

ITA

20801775-1 - MODULO I

- DEL VECCHIO PAOLO

ING-IND/31

Attività formative affini ed integrative

ITA

20801776 - FONDAMENTI DI TELECOMUNICAZIONI (obiettivi)

- BENEDETTO FRANCESCO (programma) (testi)

ING-INF/03

Attività formative affini ed integrative

ITA

20801781 - ALGORITMI E STRUTTURE DI DATI (obiettivi)

- PATRIGNANI MAURIZIO (programma)

ING-INF/05

Attività formative caratterizzanti

ITA

20801782 - ANALISI DEI SISTEMI AD EVENTI (obiettivi)

- ADACHER LUDOVICA (programma) (testi)

ING-INF/04

Attività formative caratterizzanti

ITA

20202021 - IDONEITA LINGUA - INGLESE

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

20802017 - PROVA FINALE

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Secondo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Studio

Attività

Lingua

20801722 - CHIMICA (obiettivi)

- SOTGIU GIOVANNI (programma) (testi)

CHIM/07

Attività formative di base

ITA

20801723 - FISICA

20801723-2 - MODULO II

- POMPEO NICOLA

FIS/01

Attività formative di base

ITA

20801723-1 - MODULO I

- SANTARSIERO MASSIMO

FIS/01

Attività formative di base

ITA

20801777 - RICERCA OPERATIVA I (obiettivi)

- PACCIARELLI DARIO (programma) (testi)

MAT/09

Attività formative di base

ITA

20801778 - FONDAMENTI DI AUTOMATICA (obiettivi)

20801778-2 - MODULO II

- ULIVI GIOVANNI

ING-INF/04

Attività formative caratterizzanti

ITA

20801778-1 - MODULO I

- ULIVI GIOVANNI

ING-INF/04

Attività formative caratterizzanti

ITA

20801779 - CALCOLATORI ELETTRONICI (obiettivi)

20801779-2 - MODULO II

- TORLONE RICCARDO

ING-INF/05

Attività formative caratterizzanti

ITA

20801779-1 - MODULO I

- TORLONE RICCARDO

ING-INF/05

Attività formative caratterizzanti

ITA

20801780 - PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (obiettivi)

- MERIALDO PAOLO (programma) (testi)

ING-INF/05

Attività formative caratterizzanti

ITA

20202020 - GENERE, COSTITUZIONE E PROFESSIONI (obiettivi)

- SOMMA FABRIZIA (programma) (testi)

Attività formative a scelta dello studente (art.10, comma 5, lettera a)

ITA

20202021 - IDONEITA LINGUA - INGLESE

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

20802017 - PROVA FINALE

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Secondo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Studio	Attività	Lingua
20801775 - ELETTROTECNICA ED ELETTRONICA
20801775-2 - MODULO II - DEL VECCHIO PAOLO	4	ING-INF/01	38	-	-	-	Attività formative affini ed integrative	ITA
20801775-1 - MODULO I - DEL VECCHIO PAOLO	5	ING-IND/31	47	-	-	-	Attività formative affini ed integrative	ITA
20801776 - FONDAMENTI DI TELECOMUNICAZIONI (obiettivi) ACQUISIRE CONOSCENZE SPECIFICHE SULLE METODOLOGIE CHE CONSENTONO DI ESPRIMERE IN MODO SEMPLICE ED EFFICIENTE LE TRASFORMAZIONI DETERMINISTICHE ED ALEATORIE CHE I SEGNALI SUBISCONO NEL TRANSITO ATTRAVERSO I SISTEMI FISICI. ACQUISIRE CONOSCENZE SPECIFICHE SULLE METODOLOGIE STATISTICHE CHE CONSENTONO DI ANALIZZARE LE PRESTAZIONI DI SEMPLICI SISTEMI E RETI DI TELECOMUNICAZIONE. ACQUISIRE CONOSCENZE DI BASE PER APPLICAZIONI MULTIMEDIALI DI ELABORAZIONE NUMERICA DI SEGNALI ED IMMAGINI. SAPER COLLEGARE I DIVERSI BLOCCHI FUNZIONALI CHE COMPONGONO UN SISTEMA DI TELECOMUNICAZIONE IN UN UNICO QUADRO DI PROCESSI INTEGRATI ED INTERDIPENDENTI. FORNIRE UNA PANORAMICA SUI PRINCIPALI SISTEMI DI TELECOMUNICAZIONE, DESCRIVENDO SOMMARIAMENTE SIA CONCETTI OPERATIVI FONDAMENTALI CHE ESEMPI APPLICATIVI TIPICI. - BENEDETTO FRANCESCO (programma) IL CORSO PREVEDE DI FORNIRE ALLO STUDENTE CONOSCENZE SPECIFICHE RIGUARDO: - LE METODOLOGIE CHE CONSENTONO DI ESPRIMERE IN MODO SEMPLICE ED EFFICIENTE LE TRASFORMAZIONI DETERMINISTICHE ED ALEATORIE CHE I SEGNALI SUBISCONO NEL TRANSITO ATTRAVERSO I SISTEMI FISICI. - LE METODOLOGIE STATISTICHE CHE CONSENTONO DI ANALIZZARE LE PRESTAZIONI DI SEMPLICI SISTEMI E RETI DI TELECOMUNICAZIONE. - LE APPLICAZIONI MULTIMEDIALI DI ELABORAZIONE NUMERICA DI SEGNALI ED IMMAGINI. - I DIVERSI BLOCCHI FUNZIONALI CHE COMPONGONO UN SISTEMA DI TELECOMUNICAZIONE COME UN UNICO QUADRO DI PROCESSI INTEGRATI ED INTERDIPENDENTI. - I PRINCIPALI SISTEMI DI TELECOMUNICAZIONE, DESCRIVENDO SOMMARIAMENTE SIA CONCETTI OPERATIVI FONDAMENTALI CHE ESEMPI APPLICATIVI TIPICI. (testi) - A.B. CARLSON, P.B. CRILLY, J.C. RUTLEDGE, "COMMUNICATION SYSTEMS: AN INTRODUCTION TO SIGNALS AND NOISE IN ELECTRICAL COMMUNICATION", MCGRAW-HILL INTERNATIONAL EDITION PUBL., 2002. - LEON W. COUCH II, "FONDAMENTI DI TELECOMUNICAZIONI: SISTEMI DI COMUNICAZIONE ANALOGICI E DIGITALI", SETTIMA EDIZIONE, PEARSON-PRENTICE HALL, 2008.	9	ING-INF/03	85	-	-	-	Attività formative affini ed integrative	ITA
20801781 - ALGORITMI E STRUTTURE DI DATI (obiettivi) ACQUISIRE CAPACITÀ DI PROGRAMMAZIONE IN-THE-SMALL, DI CONOSCERE I METODI DI RAPPRESENTAZIONE DELLE PRINCIPALI STRUTTURE DI DATI ED I RISPETTIVI ALGORITMI FONDAMENTALI PER LA LORO GESTIONE E DI SAPER VALUTARE LA COMPLESSITÀ COMPUTAZIONALE DI UN ALGORITMO. - PATRIGNANI MAURIZIO (programma) PROGRAMMA DELLA PARTE DI TEORIA =============================== GENERALITÀ ========== * DEFINIZIONE DI PROBLEMA COMPUTAZIONALE, ALGORITMO, STRUTTURA DI DATI * RANDOM ACCESS MACHINE E PSEUDOCODICE * STUDIO ASINTOTICO DELLE FUNZIONI (NOTAZIONI O-GRANDE, OMEGA E TETA) * COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI E DEI PROBLEMI * ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE * DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE STRUTTURE DI DATI ELEMENTARI ============================ * PILE E CODE * LISTE CONCATENATE E DOPPIAMENTE CONCATENATE * ALBERI BINARI * TABELLE HASH * ALBERI BINARI DI RICERCA * ALBERI ROSSO-NERI * B-ALBERI ALGORITMI DI ORDINAMENTO ======================== * ORDINAMENTO TRAMITE MERGE-SORT IL PARADIGMA DIVIDE ET IMPERA EQUAZIONI DI RICORRENZA ANALISI DI COMPLESSITÀ DEL MERGE-SORT ANALISI DI COMPLESSITÀ DEL BIN-SEARCH TEOREMI PER L'ANALISI DI FUNZIONI RICORSIVE * ORDINAMENTO TRAMITE HEAP-SORT PROCEDURA HEAPIFY HEAP SORT CODE DI PRIORITÀ * ORDINAMENTO TRAMITE QUICK-SORT DESCRIZIONE DEL QUICK-SORT PRESTAZIONI DEL QUICK-SORT ANALISI DEL QUICK-SORT * ORDINAMENTO IN TEMPO LINEARE LOWER BOUND PER ORDINAMENTO BASATO SU CONFRONTO ORDINAMENTO LINEARE TRAMITE COUNTING-SORT ORDINAMENTO LINEARE TRAMITE BUCKET-SORT GENERALIZZAZIONI DEL COUNTING-SORT ALGORITMI SU GRAFI ================== * RAPPRESENTAZIONE DI GRAFI CON MATRICI E LISTE DI ADIACENZA * GRAFI E CONNETTIVITÀ * VISITE IN AMPIEZZA E PROFONDITÀ * COMPLESSITÀ DELLE VISITE SU GRAFI ================================== PROGRAMMA RELATIVO AL LINGUAGGIO C ================================== INTRODUZIONE ALLA PROGRAMMAZIONE IMPERATIVA. TIPI DI DATO ELEMENTARI. FUNZIONI. PUNTATORI, ARRAY E STRINGHE PUNTATORI, RECORD, GESTIONE DELLA MEMORIA LISTE ORDINATE USO DI LISTE PER RAPPRESENTARE ALTRE STRUTTURE DATI	6	ING-INF/05	57	-	-	-	Attività formative caratterizzanti	ITA
20801782 - ANALISI DEI SISTEMI AD EVENTI (obiettivi) FORNIRE LE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE OPERATIVE, NECESSARIE PER VALUTARE LE PROCEDURE DI CONTROLLO SUPERVISORE DELLE OPERAZIONI NEGLI INSIEMI COORDINATI DI MACCHINE MANIFATTURIERE AUTOMATICHE. - ADACHER LUDOVICA (programma) 1. INTRODUZIONE SISTEMI AD EVENTI DISCRETI (SED) MODELLI AD EVENTI DISCRETI (MED) • MED LOGICI • MED TEMPORIZZATI 2. ANALISI E REGOLAZIONE DEI FLUSSI PRODUTTIVI TEORIA DELLE FILE D'ATTESA: RELAZIONI FONDAMENTALI PROCESSI DI NASCITA E MORTE TEORIA DELLE CODE E ANALISI DELLE PRESTAZIONI NEI SISTEMI A FLUSSO RETI DI CODE APERTE RETI DI CODE CHIUSE 3. MED LOGICI AUTOMI 4. MED TEMPORIZZATI RAPPRESENTAZIONE CON RETI DI PETRI DI SISTEMI DI CONTROLLO AD EVENTI DISCRETI: ELEMENTI DELLE RETI DI PETRI: EVENTI , TRANSIZIONI; CONDIZIONI, POSTI, MARCHE; MARCATURA INIZIALE MATRICI PRE , POST, DI INCIDENZA; RETI MARCATE: GRAFO DI STATO; EQUAZIONE DI STATO, DI TRANSIZIONE CONFLITTI, MODELLO DI MAGAZZINO, ARCHI INIBITORI; CONCORRENZA, MODELLO DEI GUASTI; TEMPORIZZAZIONE; CONTROLLO SUPERVISORE PROPRIETÀ DELLE RETI DI PETRI: CONSERVATIVITÀ, LIMITATEZZA, VIVEZZA, CICLICITÀ INVARIANTI DI POSTO, DI TRANSIZIONE; GRAFI DI SINCRONIZZAZIONE. RAPPRESENTAZIONE DEL CONTROLLO SUPERVISORE NELLE RETI DI PETRI (testi) DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002 DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT/ILCORSO.HTM	6	ING-INF/04	57	-	-	-	Attività formative caratterizzanti	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Studio	Attività	Lingua
20801777 - RICERCA OPERATIVA I (obiettivi) FORNIRE LE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE OPERATIVE, NECESSARIE PER RAPPRESENTARE E TRATTARE CON STRUMENTI INFORMATICI PROCESSI DECISIONALI E MODELLI QUANTITATIVI, COSÌ COME SONO TRATTATI AL PRIMO LIVELLO FORMATIVO. - PACCIARELLI DARIO (programma) 1. ELEMENTI DI PROGRAMMAZIONE MATEMATICA PROGRAMMAZIONE CONVESSA PROGRAMMAZIONE LINEARE 2. FORMULAZIONE DI TIPICI PROBLEMI DI OTTIMIZZAZIONE MISCELAZIONE ALLOCAZIONE DI RISORSE GESTIONE DELLE SCORTE TAGLIO OTTIMO PIANIFICAZIONE DI ATTIVITÀ 3. SOLUZIONE DI PROBLEMI DI PROGRAMMAZIONE LINEARE GEOMETRIA DELLA PROGRAMMAZIONE LINEARE ALGORITMO DEL SIMPLESSO INTERPRETAZIONE GEOMETRICA DEL SIMPLESSO 4. TEORIA DELLA DUALITÀ COSTRUZIONE DEL PROBLEMA DUALE TEOREMA FONDAMENTALE DELLA PL CONDIZIONI DI COMPLEMENTARITÀ INTERPRETAZIONE ECONOMICA DEL DUALE ANALISI DI SENSITIVITÀ 5. OTTIMIZZAZIONE NON VINCOLATA GRADIENTE E MATRICE HESSIANA CONDIZIONI NECESSARIE DI MINIMO DEL PRIMO E DEL SECONDO ORDINE CONDIZIONI SUFFICIENTI DI MINIMO LOCALE CONDIZIONI SUFFICIENTI DI MINIMO GLOBALE NEL CASO CONVESSO METODO DEL GRADIENTE LINE SEARCH ESATTA, METODO DI ARMIJO E DI INTERPOLAZIONE CONVERGENZA SUBLINEARE, LINEARE, SUPERLINEARE METODO DI NEWTON LIMITI DEI METODI PER FUNZIONI NON DIFFERENZIABILI 6. OTTIMIZZAZIONE VINCOLATA MATRICE JACOBIANA E VINCOLI ATTIVI FUNZIONE LAGRANGIANA CONDIZIONI DI KARUSH KUHN TUCKER CENNI SULLE FUNZIONI DI PENALITÀ E SUI METODI DI BARRIERA 7. INTRODUCTION TO MATHEMATICAL PROGRAMMING CONVEX PROGRAMMING LINEAR PROGRAMMING 8. FORMULATION OF TYPICAL OPTIMIZATION PROBLEMS BLENDING RESOURCE ALLOCATION LOT SIZING CUTTING STOCK ACTIVITY PLANNING 9. SOLUTION OF LINEAR PROGRAMMING PROBLEMS GEOMETRY OF POLYHEDRA THE SIMPLEX ALGORITHM GEOMETRIC INTERPRETATION OF THE SIMPLEX ALGORITHM 10. DUALITY THEORY THE DUAL PROBLEM THE FUNDAMENTAL THEOREM OF LP COMPLEMENTARITY CONDITIONS ECONOMIC INTERPRETATION OF THE DUAL PROBLEM SENSITIVITY ANALYSIS 11. UN-CONSTRAINED NON LINEAR OPTIMIZATION GRADIENTE E MATRICE HESSIANA CONDIZIONI NECESSARIE DI MINIMO DEL PRIMO E DEL SECONDO ORDINE CONDIZIONI SUFFICIENTI DI MINIMO LOCALE CONDIZIONI SUFFICIENTI DI MINIMO GLOBALE NEL CASO CONVESSO METODO DEL GRADIENTE LINE SEARCH ESATTA, METODO DI ARMIJO E DI INTERPOLAZIONE CONVERGENZA SUBLINEARE, LINEARE, SUPERLINEARE METODO DI NEWTON LIMITI DEI METODI PER FUNZIONI NON DIFFERENZIABILI 12. CONSTRAINED NON LINEAR OPTIMIZATION MATRICE JACOBIANA E VINCOLI ATTIVI FUNZIONE LAGRANGIANA CONDIZIONI DI KARUSH KUHN TUCKER CENNI SULLE FUNZIONI DI PENALITÀ E SUI METODI DI BARRIERA (testi) MATERIALE DIDATTICO DISPENSE A CURA DEL DOCENTE O PACCIARELLI D. “INTRODUZIONE ALLA RICERCA OPERATIVA”. O AGNETIS A., “INTRODUZIONE ALL'OTTIMIZZAZIONE NON VINCOLATA” O AGNETIS A., “INTRODUZIONE ALL'OTTIMIZZAZIONE VINCOLATA” TESTI DI RIFERIMENTO O M. FISCHETTI, "LEZIONI DI RICERCA OPERATIVA", EDIZIONI LIBRERIA PROGETTO PADOVA, ITALIA, 1995. O C. MANNINO, L. PALAGI, M. ROMA, "COMPLEMENTI ED ESERCIZI DI RICERCA OPERATIVA", EDIZIONI INGEGNERIA 2000, ROMA, ITALIA, 1998.	6	MAT/09	57	-	-	-	Attività formative di base	ITA
20801778 - FONDAMENTI DI AUTOMATICA (obiettivi) FORNIRE LE CONOSCENZE METODOLOGICHE E OPERATIVE PER LA MODELLISTICA, LA SIMULAZIONE E L'ANALISI DEL COMPORTAMENTO DI SISTEMI FISICI, CON PARTICOLARE RIFERIMENTO A QUELLI DESCRIVIBILI CON MODELLI LINEARI E STAZIONARI. INTRODURRE CONCETTI DI BASE QUALI STABILITÀ E DIFFERENZA TRA RISPOSTA TRANSITORIA E RISPOSTA A REGIME. DEFINIRE LE STRUTTURE FONDAMENTALI DI UN SISTEMA DI CONTROLLO A CONTROREAZIONE, E DARE GLI STRUMENTI DI BASE PER LA SUA PROGETTAZIONE. ILLUSTRARE LE TECNICHE DI PROGETTAZIONE CHE IMPIEGANO LA RISPOSTA ARMONICA E LE SPECIFICHE INGEGNERISTICHE CONNESSE. ILLUSTRARE I METODI PER REALIZZARE CON UN CALCOLATORE I SISTEMI DI CONTROLLO STUDIATI. MOSTRARE L’IMPIEGO DI STRUMENTI SOFTWARE PER L’AUSILIO ALLE FASI SUDDETTE.
20801778-2 - MODULO II - ULIVI GIOVANNI	4	ING-INF/04	38	-	-	-	Attività formative caratterizzanti	ITA
20801778-1 - MODULO I - ULIVI GIOVANNI	5	ING-INF/04	47	-	-	-	Attività formative caratterizzanti	ITA
20801779 - CALCOLATORI ELETTRONICI (obiettivi) PRESENTARE GLI ASPETTI FONDAMENTALI DELL'ARCHITETTURA HARDWARE E SOFTWARE DEI CALCOLATORI ELETTRONICI. IN PARTICOLARE, I PRINCIPI DI FUNZIONAMENTO DEI MICROPROCESSORI MODERNI, EVIDENZIANDO LA RELAZIONE ESISTENTE FRA L'ARCHITETTURA DI UN CALCOLATORE E IL SOFTWARE DI BASE, NONCHÉ GLI ASPETTI AVANZATI DELL'ARCHITETTURA DEI CALCOLATORI ELETTRONICI E LE TECNICHE DI OTTIMIZZAZIONE ADOTTATE DAI MODERNI MICROPROCESSORI, AVVALENDOSI DI CASI DI STUDIO REALI.
20801779-2 - MODULO II - TORLONE RICCARDO	4	ING-INF/05	38	-	-	-	Attività formative caratterizzanti	ITA
20801779-1 - MODULO I - TORLONE RICCARDO	5	ING-INF/05	47	-	-	-	Attività formative caratterizzanti	ITA
20801780 - PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (obiettivi) PRESENTARE GLI ASPETTI FONDAMENTALI DELLA PROGRAMMAZIONE ORIENTATA AGLI OGGETTI, CON UNA ENFASI SUI CONCETTI DI MODULARIZZAZIONE E DI RIUSO DEL CODICE E GLI ASPETTI AVANZATI DEL PARADIGMA DI PROGRAMMAZIONE ORIENTATO AGLI OGGETTI. LO STUDENTE CHE ABBIA SUPERATO IL CORSO DOVRA' ESSERE IN GRADO DI SCRIVERE AUTONOMAMENTE COMPONENTI (CLASSI E MODULI) PER LO SVILUPPO DI APPLICAZIONI SOFTWARE DI MEDIA COMPLESSITÀ, NONCHÉ PARTECIPARE AL PROGETTO E ALLA REALIZZAZIONE DI APPLICAZIONI SOFTWARE DI GRANDE COMPLESSITÀ. - MERIALDO PAOLO (programma) PARTE 1: RICHIAMI CLASSI E OGGETTI COSTRUTTORI INFORMATION HIDING PARTE 2: QUALITÀ DEL CODICE COESIONE E ACCOPPIAMENTO TESTING DEBUGGING PARTE 3: POLIMORFISMO INTERFACCE PRINCIPIO DI SOSTITUZIONE, POLIMORFISMO EREDITARIETÀ PARTE 4: COLLEZIONI GENERICS MAPPE, INSIEMI, LISTE ITERATORI PARTE 5: RIUSO DEL CODICE COMPOSIZIONE ED EREDITARIETÀ CLASSI ASTRATTE PARTE 6: STREAM, ECCEZIONI GESTIONE DELLE ECCEZIONI STREAM (testi) TRASPARENZE E MATERIALE USATO A LEZIONE, VERIFICHE, HOMEWORK, RIFERIMENTI LE DISPENSE SONO IN FORMATO PPT: SI LEGGONO E STAMPANO CON MS POWERPOINT, OPPURE CON OPENOFFICE. CLASSI E OGGETTI: RICHIAMI TRASPARENZE POO-00-PRESENTAZIONECORSO.PPT POO-01-RICHIAMI-CLASSI-OGGETTI-METODI-PARAMETRI-VARIABILI.PPT POO-02-RICHIAMI-METODI-COSTRUTTORI-OVERLOADING.PPT STUDIO DI CASO DIADIA_BASE.ZIP VERIFICHE STUDENTE.JAVA TESI.JAVA SOMMATORE.JAVA QUALITÀ DEL CODICE TRASPARENZE POO-03-DOCUMENTAZIONE-PACKAGE.PPT POO-04-COESIONE-ACCOPPIAMENTO.PPT POO-05-QUALITA-CODICE-STUDIO-DI-CASO.PPT POO-06-QUALITA-CODICE-TESTING-INTRODUZIONE.PPT (2) POO-07-TESTING-TECNICHE.PPT STUDIO DI CASO DIADIA.0.90.ZIP TEST_DIADIA.0.90.ZIP POLIMORFISMO TRASPARENZE POO-08-POLIMORFISMO-INTERFACCE.PPT POO-09-POLIMORFISMO-ESERCITAZIONE.PPT (AGGIORNATO L'8 APRILE 2009) POO-10-POLIMORFISMO-STUDIO-DI-CASO.PPT POO-11-POLIMORFISMO-INTERFACE-ESTENSIONE-OBJECT.PPT STUDIO DI CASO E ALTRI PROGETTI DIADIA_0_95.ZIP TEST_DIADIA_0_95.ZIP DIADIA_1_0.ZIP TEST_DIADIA_1_0.ZIP DIADIA_1_1.ZIP TEST_DIADIA_1_1.ZIP FORMEGEOMETRICHE.ZIP ORARIO.ZIP PRECIPITAZIONI.ZIP TEST_PRECIPITAZIONI.ZIP VERIFICHE L.JAVA OLIMPIADI.JAVA VILLA.JAVA GENERICS E COLLEZIONI TRASPARENZE POO-12-GENERICS.PPT (AGGIORNATO IL 7 MAGGIO 2009) POO-13-COLLEZIONI-LISTE-GENERICHE.PPT POO-14-COLLEZIONI-LISTE-GENERICHE-ESERCITAZIONI.PPT POO-15-COLLEZIONI-INSIEMI-GENERICI.PPT POO-16-COLLEZIONI-MAPPE-GENERICHE.PPT STUDIO DI CASO E ALTRI PROGETTI COPPIA.ZIP PRENOTAZIONI.ZIP CALCIATORI.ZIP TEST_CALCIATORI.ZIP DIADIA_1_20.ZIP TEST_DIADIA_1_20.ZIP VERIFICHE AUTOMOBILE.JAVA VERIFICAMAPPE.JAVA CORSO.JAVA PROVEGENERICS.JAVA PROVETREESET.JAVA PROVEHASHSET.JAVA DOMANDAGENERICS.TXT RIUSO DEL CODICE: COMPOSIZIONE E EREDITARIETÀ TRASPARENZE POO-17-RIUSO-DEL-CODICE-COMPOSIZIONE-EREDITARIETA.PPT POO-18-EREDITARIETA-DETTAGLI.PPT POO-19-CLASSI-ASTRATTE.PPT VERIFICHE RIVISTA.JAVA LE.JAVA ELICOTTERO.JAVA MINIGUIDE (A CURA DI LORENZO BLANCO) VARIABILI DI AMBIENTE ECLIPSE FILE JAR JUNIT MANUALI DI RIFERIMENTO KEN ARNOLD, JAMES GOSLING, DAVID HOLMES "IL LINGUAGGIO JAVA: MANUALE UFFICIALE (IV EDIZIONE)" - ADDISON WESLEY E' IL MANUALE "UFFICIALE" DEL LINGUAGGIO. CAY HORSTMANN "CONCETTI DI INFORMATICA E FONDAMENTI DI JAVA" APOGEO UN TESTO CON UNA FORTE CARATTERIZZAZIONE DIDATTICA CAY HORSTMANN, GARY CORNELL "CORE JAVA2 VOL I: FONDAMENTI (VII ED. ITALIANA)" PRENTICE HALL CAY HORSTMANN, GARY CORNELL "CORE JAVA2 VOL II: TECNICHE AVANZATE (VII ED. ITALIANA)" PRENTICE HALL TESTI MOLTO TECNICI E APPROFONDITI (COPRONO ANCHE MOLTI CONCETTI NON AFFRONTATI NEL CORSO; GLI ARGOMENTI DEL CORSO SONO DISTRIBUITI SU ENTRAMBI I VOLUMI) RISORSE WEB UTILI PER MATERIALE E APPROFONDIMENTI HTTP://WWW.JAVAWORLD.COM: ARTICLES ABOUT CURRENT PROGRAMMING TOPICS HTTP://WWW.CAFEAULAIT.ORG: JAVA NEWS AND RESOURCES HTTP://JAVAALMANAC.COM: THE JAVA DEVELOPERS ALMANAC 1.4, EXAMPLES AND QUICK REFERENCE ONLINE RESOURCES FOR JAVA PROGRAMMERS (PRESSO IL SITO DELLA SUN) HTTP://WWW.JUNIT.ORG	6	ING-INF/05	57	-	-	-	Attività formative caratterizzanti	ITA

SISTEMI DI AUTOMAZIONE

Primo anno

Primo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Studio

Attività

Lingua

20801721 - ANALISI MATEMATICA (obiettivi)

20801721-2 - MODULO II

Canale: AL

- NATALINI PIERPAOLO

Canale: MZ

- NATALINI PIERPAOLO

MAT/05

Attività formative di base

ITA

20801721-1 - MODULO I

Canale: AL

- NATALINI PIERPAOLO

Canale: MZ

- NATALINI PIERPAOLO

MAT/05

Attività formative di base

ITA

20801724 - FONDAMENTI DI INFORMATICA (obiettivi)

20801724-2 - MODULO II

Canale: AL

- MIOLA ALFONSO

Canale: MZ

- MIOLA ALFONSO

ING-INF/05

Attività formative caratterizzanti

ITA

20801724-1 - MODULO I

Canale: AL

- LIMONGELLI CARLA

Canale: MZ

- GASPARETTI FABIO

ING-INF/05

Attività formative caratterizzanti

ITA

20801725 - GEOMETRIA E COMBINATORIA (obiettivi)

20801725-2 - MODULO II

Canale: AL

- ROTA ROSARIA

Canale: MZ

- ROTA ROSARIA

MAT/03

Attività formative di base

ITA

20801725-1 - MODULO I

Canale: AL

- ROTA ROSARIA

Canale: MZ

- ROTA ROSARIA

MAT/03

Attività formative di base

ITA

20801775 - ELETTROTECNICA ED ELETTRONICA

20801775-2 - MODULO II

- DEL VECCHIO PAOLO

ING-INF/01

Attività formative affini ed integrative

ITA

20801775-1 - MODULO I

- DEL VECCHIO PAOLO

ING-IND/31

Attività formative affini ed integrative

ITA

20801776 - FONDAMENTI DI TELECOMUNICAZIONI (obiettivi)

- BENEDETTO FRANCESCO (programma) (testi)

ING-INF/03

Attività formative affini ed integrative

ITA

20801781 - ALGORITMI E STRUTTURE DI DATI (obiettivi)

- PATRIGNANI MAURIZIO (programma)

ING-INF/05

Attività formative caratterizzanti

ITA

20801782 - ANALISI DEI SISTEMI AD EVENTI (obiettivi)

- ADACHER LUDOVICA (programma) (testi)

ING-INF/04

Attività formative caratterizzanti

ITA

20202021 - IDONEITA LINGUA - INGLESE

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

20802017 - PROVA FINALE

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Secondo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Studio

Attività

Lingua

20801722 - CHIMICA (obiettivi)

- SOTGIU GIOVANNI (programma) (testi)

CHIM/07

Attività formative di base

ITA

20801723 - FISICA

20801723-2 - MODULO II

- POMPEO NICOLA

FIS/01

Attività formative di base

ITA

20801723-1 - MODULO I

- SANTARSIERO MASSIMO

FIS/01

Attività formative di base

ITA

20801777 - RICERCA OPERATIVA I (obiettivi)

- PACCIARELLI DARIO (programma) (testi)

MAT/09

Attività formative di base

ITA

20801778 - FONDAMENTI DI AUTOMATICA (obiettivi)

20801778-2 - MODULO II

- ULIVI GIOVANNI

ING-INF/04

Attività formative caratterizzanti

ITA

20801778-1 - MODULO I

- ULIVI GIOVANNI

ING-INF/04

Attività formative caratterizzanti

ITA

20801779 - CALCOLATORI ELETTRONICI (obiettivi)

20801779-2 - MODULO II

- TORLONE RICCARDO

ING-INF/05

Attività formative caratterizzanti

ITA

20801779-1 - MODULO I

- TORLONE RICCARDO

ING-INF/05

Attività formative caratterizzanti

ITA

20801780 - PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (obiettivi)

- MERIALDO PAOLO (programma) (testi)

ING-INF/05

Attività formative caratterizzanti

ITA

20202020 - GENERE, COSTITUZIONE E PROFESSIONI (obiettivi)

- SOMMA FABRIZIA (programma) (testi)

Attività formative a scelta dello studente (art.10, comma 5, lettera a)

ITA

20202021 - IDONEITA LINGUA - INGLESE

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

20802017 - PROVA FINALE

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Secondo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Studio	Attività	Lingua
20801775 - ELETTROTECNICA ED ELETTRONICA
20801775-2 - MODULO II - DEL VECCHIO PAOLO	4	ING-INF/01	38	-	-	-	Attività formative affini ed integrative	ITA
20801775-1 - MODULO I - DEL VECCHIO PAOLO	5	ING-IND/31	47	-	-	-	Attività formative affini ed integrative	ITA
20801776 - FONDAMENTI DI TELECOMUNICAZIONI (obiettivi) ACQUISIRE CONOSCENZE SPECIFICHE SULLE METODOLOGIE CHE CONSENTONO DI ESPRIMERE IN MODO SEMPLICE ED EFFICIENTE LE TRASFORMAZIONI DETERMINISTICHE ED ALEATORIE CHE I SEGNALI SUBISCONO NEL TRANSITO ATTRAVERSO I SISTEMI FISICI. ACQUISIRE CONOSCENZE SPECIFICHE SULLE METODOLOGIE STATISTICHE CHE CONSENTONO DI ANALIZZARE LE PRESTAZIONI DI SEMPLICI SISTEMI E RETI DI TELECOMUNICAZIONE. ACQUISIRE CONOSCENZE DI BASE PER APPLICAZIONI MULTIMEDIALI DI ELABORAZIONE NUMERICA DI SEGNALI ED IMMAGINI. SAPER COLLEGARE I DIVERSI BLOCCHI FUNZIONALI CHE COMPONGONO UN SISTEMA DI TELECOMUNICAZIONE IN UN UNICO QUADRO DI PROCESSI INTEGRATI ED INTERDIPENDENTI. FORNIRE UNA PANORAMICA SUI PRINCIPALI SISTEMI DI TELECOMUNICAZIONE, DESCRIVENDO SOMMARIAMENTE SIA CONCETTI OPERATIVI FONDAMENTALI CHE ESEMPI APPLICATIVI TIPICI. - BENEDETTO FRANCESCO (programma) IL CORSO PREVEDE DI FORNIRE ALLO STUDENTE CONOSCENZE SPECIFICHE RIGUARDO: - LE METODOLOGIE CHE CONSENTONO DI ESPRIMERE IN MODO SEMPLICE ED EFFICIENTE LE TRASFORMAZIONI DETERMINISTICHE ED ALEATORIE CHE I SEGNALI SUBISCONO NEL TRANSITO ATTRAVERSO I SISTEMI FISICI. - LE METODOLOGIE STATISTICHE CHE CONSENTONO DI ANALIZZARE LE PRESTAZIONI DI SEMPLICI SISTEMI E RETI DI TELECOMUNICAZIONE. - LE APPLICAZIONI MULTIMEDIALI DI ELABORAZIONE NUMERICA DI SEGNALI ED IMMAGINI. - I DIVERSI BLOCCHI FUNZIONALI CHE COMPONGONO UN SISTEMA DI TELECOMUNICAZIONE COME UN UNICO QUADRO DI PROCESSI INTEGRATI ED INTERDIPENDENTI. - I PRINCIPALI SISTEMI DI TELECOMUNICAZIONE, DESCRIVENDO SOMMARIAMENTE SIA CONCETTI OPERATIVI FONDAMENTALI CHE ESEMPI APPLICATIVI TIPICI. (testi) - A.B. CARLSON, P.B. CRILLY, J.C. RUTLEDGE, "COMMUNICATION SYSTEMS: AN INTRODUCTION TO SIGNALS AND NOISE IN ELECTRICAL COMMUNICATION", MCGRAW-HILL INTERNATIONAL EDITION PUBL., 2002. - LEON W. COUCH II, "FONDAMENTI DI TELECOMUNICAZIONI: SISTEMI DI COMUNICAZIONE ANALOGICI E DIGITALI", SETTIMA EDIZIONE, PEARSON-PRENTICE HALL, 2008.	9	ING-INF/03	85	-	-	-	Attività formative affini ed integrative	ITA
20801781 - ALGORITMI E STRUTTURE DI DATI (obiettivi) ACQUISIRE CAPACITÀ DI PROGRAMMAZIONE IN-THE-SMALL, DI CONOSCERE I METODI DI RAPPRESENTAZIONE DELLE PRINCIPALI STRUTTURE DI DATI ED I RISPETTIVI ALGORITMI FONDAMENTALI PER LA LORO GESTIONE E DI SAPER VALUTARE LA COMPLESSITÀ COMPUTAZIONALE DI UN ALGORITMO. - PATRIGNANI MAURIZIO (programma) PROGRAMMA DELLA PARTE DI TEORIA =============================== GENERALITÀ ========== * DEFINIZIONE DI PROBLEMA COMPUTAZIONALE, ALGORITMO, STRUTTURA DI DATI * RANDOM ACCESS MACHINE E PSEUDOCODICE * STUDIO ASINTOTICO DELLE FUNZIONI (NOTAZIONI O-GRANDE, OMEGA E TETA) * COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI E DEI PROBLEMI * ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE * DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE STRUTTURE DI DATI ELEMENTARI ============================ * PILE E CODE * LISTE CONCATENATE E DOPPIAMENTE CONCATENATE * ALBERI BINARI * TABELLE HASH * ALBERI BINARI DI RICERCA * ALBERI ROSSO-NERI * B-ALBERI ALGORITMI DI ORDINAMENTO ======================== * ORDINAMENTO TRAMITE MERGE-SORT IL PARADIGMA DIVIDE ET IMPERA EQUAZIONI DI RICORRENZA ANALISI DI COMPLESSITÀ DEL MERGE-SORT ANALISI DI COMPLESSITÀ DEL BIN-SEARCH TEOREMI PER L'ANALISI DI FUNZIONI RICORSIVE * ORDINAMENTO TRAMITE HEAP-SORT PROCEDURA HEAPIFY HEAP SORT CODE DI PRIORITÀ * ORDINAMENTO TRAMITE QUICK-SORT DESCRIZIONE DEL QUICK-SORT PRESTAZIONI DEL QUICK-SORT ANALISI DEL QUICK-SORT * ORDINAMENTO IN TEMPO LINEARE LOWER BOUND PER ORDINAMENTO BASATO SU CONFRONTO ORDINAMENTO LINEARE TRAMITE COUNTING-SORT ORDINAMENTO LINEARE TRAMITE BUCKET-SORT GENERALIZZAZIONI DEL COUNTING-SORT ALGORITMI SU GRAFI ================== * RAPPRESENTAZIONE DI GRAFI CON MATRICI E LISTE DI ADIACENZA * GRAFI E CONNETTIVITÀ * VISITE IN AMPIEZZA E PROFONDITÀ * COMPLESSITÀ DELLE VISITE SU GRAFI ================================== PROGRAMMA RELATIVO AL LINGUAGGIO C ================================== INTRODUZIONE ALLA PROGRAMMAZIONE IMPERATIVA. TIPI DI DATO ELEMENTARI. FUNZIONI. PUNTATORI, ARRAY E STRINGHE PUNTATORI, RECORD, GESTIONE DELLA MEMORIA LISTE ORDINATE USO DI LISTE PER RAPPRESENTARE ALTRE STRUTTURE DATI	6	ING-INF/05	57	-	-	-	Attività formative caratterizzanti	ITA
20801782 - ANALISI DEI SISTEMI AD EVENTI (obiettivi) FORNIRE LE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE OPERATIVE, NECESSARIE PER VALUTARE LE PROCEDURE DI CONTROLLO SUPERVISORE DELLE OPERAZIONI NEGLI INSIEMI COORDINATI DI MACCHINE MANIFATTURIERE AUTOMATICHE. - ADACHER LUDOVICA (programma) 1. INTRODUZIONE SISTEMI AD EVENTI DISCRETI (SED) MODELLI AD EVENTI DISCRETI (MED) • MED LOGICI • MED TEMPORIZZATI 2. ANALISI E REGOLAZIONE DEI FLUSSI PRODUTTIVI TEORIA DELLE FILE D'ATTESA: RELAZIONI FONDAMENTALI PROCESSI DI NASCITA E MORTE TEORIA DELLE CODE E ANALISI DELLE PRESTAZIONI NEI SISTEMI A FLUSSO RETI DI CODE APERTE RETI DI CODE CHIUSE 3. MED LOGICI AUTOMI 4. MED TEMPORIZZATI RAPPRESENTAZIONE CON RETI DI PETRI DI SISTEMI DI CONTROLLO AD EVENTI DISCRETI: ELEMENTI DELLE RETI DI PETRI: EVENTI , TRANSIZIONI; CONDIZIONI, POSTI, MARCHE; MARCATURA INIZIALE MATRICI PRE , POST, DI INCIDENZA; RETI MARCATE: GRAFO DI STATO; EQUAZIONE DI STATO, DI TRANSIZIONE CONFLITTI, MODELLO DI MAGAZZINO, ARCHI INIBITORI; CONCORRENZA, MODELLO DEI GUASTI; TEMPORIZZAZIONE; CONTROLLO SUPERVISORE PROPRIETÀ DELLE RETI DI PETRI: CONSERVATIVITÀ, LIMITATEZZA, VIVEZZA, CICLICITÀ INVARIANTI DI POSTO, DI TRANSIZIONE; GRAFI DI SINCRONIZZAZIONE. RAPPRESENTAZIONE DEL CONTROLLO SUPERVISORE NELLE RETI DI PETRI (testi) DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002 DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT/ILCORSO.HTM	6	ING-INF/04	57	-	-	-	Attività formative caratterizzanti	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Studio	Attività	Lingua
20801777 - RICERCA OPERATIVA I (obiettivi) FORNIRE LE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE OPERATIVE, NECESSARIE PER RAPPRESENTARE E TRATTARE CON STRUMENTI INFORMATICI PROCESSI DECISIONALI E MODELLI QUANTITATIVI, COSÌ COME SONO TRATTATI AL PRIMO LIVELLO FORMATIVO. - PACCIARELLI DARIO (programma) 1. ELEMENTI DI PROGRAMMAZIONE MATEMATICA PROGRAMMAZIONE CONVESSA PROGRAMMAZIONE LINEARE 2. FORMULAZIONE DI TIPICI PROBLEMI DI OTTIMIZZAZIONE MISCELAZIONE ALLOCAZIONE DI RISORSE GESTIONE DELLE SCORTE TAGLIO OTTIMO PIANIFICAZIONE DI ATTIVITÀ 3. SOLUZIONE DI PROBLEMI DI PROGRAMMAZIONE LINEARE GEOMETRIA DELLA PROGRAMMAZIONE LINEARE ALGORITMO DEL SIMPLESSO INTERPRETAZIONE GEOMETRICA DEL SIMPLESSO 4. TEORIA DELLA DUALITÀ COSTRUZIONE DEL PROBLEMA DUALE TEOREMA FONDAMENTALE DELLA PL CONDIZIONI DI COMPLEMENTARITÀ INTERPRETAZIONE ECONOMICA DEL DUALE ANALISI DI SENSITIVITÀ 5. OTTIMIZZAZIONE NON VINCOLATA GRADIENTE E MATRICE HESSIANA CONDIZIONI NECESSARIE DI MINIMO DEL PRIMO E DEL SECONDO ORDINE CONDIZIONI SUFFICIENTI DI MINIMO LOCALE CONDIZIONI SUFFICIENTI DI MINIMO GLOBALE NEL CASO CONVESSO METODO DEL GRADIENTE LINE SEARCH ESATTA, METODO DI ARMIJO E DI INTERPOLAZIONE CONVERGENZA SUBLINEARE, LINEARE, SUPERLINEARE METODO DI NEWTON LIMITI DEI METODI PER FUNZIONI NON DIFFERENZIABILI 6. OTTIMIZZAZIONE VINCOLATA MATRICE JACOBIANA E VINCOLI ATTIVI FUNZIONE LAGRANGIANA CONDIZIONI DI KARUSH KUHN TUCKER CENNI SULLE FUNZIONI DI PENALITÀ E SUI METODI DI BARRIERA 7. INTRODUCTION TO MATHEMATICAL PROGRAMMING CONVEX PROGRAMMING LINEAR PROGRAMMING 8. FORMULATION OF TYPICAL OPTIMIZATION PROBLEMS BLENDING RESOURCE ALLOCATION LOT SIZING CUTTING STOCK ACTIVITY PLANNING 9. SOLUTION OF LINEAR PROGRAMMING PROBLEMS GEOMETRY OF POLYHEDRA THE SIMPLEX ALGORITHM GEOMETRIC INTERPRETATION OF THE SIMPLEX ALGORITHM 10. DUALITY THEORY THE DUAL PROBLEM THE FUNDAMENTAL THEOREM OF LP COMPLEMENTARITY CONDITIONS ECONOMIC INTERPRETATION OF THE DUAL PROBLEM SENSITIVITY ANALYSIS 11. UN-CONSTRAINED NON LINEAR OPTIMIZATION GRADIENTE E MATRICE HESSIANA CONDIZIONI NECESSARIE DI MINIMO DEL PRIMO E DEL SECONDO ORDINE CONDIZIONI SUFFICIENTI DI MINIMO LOCALE CONDIZIONI SUFFICIENTI DI MINIMO GLOBALE NEL CASO CONVESSO METODO DEL GRADIENTE LINE SEARCH ESATTA, METODO DI ARMIJO E DI INTERPOLAZIONE CONVERGENZA SUBLINEARE, LINEARE, SUPERLINEARE METODO DI NEWTON LIMITI DEI METODI PER FUNZIONI NON DIFFERENZIABILI 12. CONSTRAINED NON LINEAR OPTIMIZATION MATRICE JACOBIANA E VINCOLI ATTIVI FUNZIONE LAGRANGIANA CONDIZIONI DI KARUSH KUHN TUCKER CENNI SULLE FUNZIONI DI PENALITÀ E SUI METODI DI BARRIERA (testi) MATERIALE DIDATTICO DISPENSE A CURA DEL DOCENTE O PACCIARELLI D. “INTRODUZIONE ALLA RICERCA OPERATIVA”. O AGNETIS A., “INTRODUZIONE ALL'OTTIMIZZAZIONE NON VINCOLATA” O AGNETIS A., “INTRODUZIONE ALL'OTTIMIZZAZIONE VINCOLATA” TESTI DI RIFERIMENTO O M. FISCHETTI, "LEZIONI DI RICERCA OPERATIVA", EDIZIONI LIBRERIA PROGETTO PADOVA, ITALIA, 1995. O C. MANNINO, L. PALAGI, M. ROMA, "COMPLEMENTI ED ESERCIZI DI RICERCA OPERATIVA", EDIZIONI INGEGNERIA 2000, ROMA, ITALIA, 1998.	6	MAT/09	57	-	-	-	Attività formative di base	ITA
20801778 - FONDAMENTI DI AUTOMATICA (obiettivi) FORNIRE LE CONOSCENZE METODOLOGICHE E OPERATIVE PER LA MODELLISTICA, LA SIMULAZIONE E L'ANALISI DEL COMPORTAMENTO DI SISTEMI FISICI, CON PARTICOLARE RIFERIMENTO A QUELLI DESCRIVIBILI CON MODELLI LINEARI E STAZIONARI. INTRODURRE CONCETTI DI BASE QUALI STABILITÀ E DIFFERENZA TRA RISPOSTA TRANSITORIA E RISPOSTA A REGIME. DEFINIRE LE STRUTTURE FONDAMENTALI DI UN SISTEMA DI CONTROLLO A CONTROREAZIONE, E DARE GLI STRUMENTI DI BASE PER LA SUA PROGETTAZIONE. ILLUSTRARE LE TECNICHE DI PROGETTAZIONE CHE IMPIEGANO LA RISPOSTA ARMONICA E LE SPECIFICHE INGEGNERISTICHE CONNESSE. ILLUSTRARE I METODI PER REALIZZARE CON UN CALCOLATORE I SISTEMI DI CONTROLLO STUDIATI. MOSTRARE L’IMPIEGO DI STRUMENTI SOFTWARE PER L’AUSILIO ALLE FASI SUDDETTE.
20801778-2 - MODULO II - ULIVI GIOVANNI	4	ING-INF/04	38	-	-	-	Attività formative caratterizzanti	ITA
20801778-1 - MODULO I - ULIVI GIOVANNI	5	ING-INF/04	47	-	-	-	Attività formative caratterizzanti	ITA
20801779 - CALCOLATORI ELETTRONICI (obiettivi) PRESENTARE GLI ASPETTI FONDAMENTALI DELL'ARCHITETTURA HARDWARE E SOFTWARE DEI CALCOLATORI ELETTRONICI. IN PARTICOLARE, I PRINCIPI DI FUNZIONAMENTO DEI MICROPROCESSORI MODERNI, EVIDENZIANDO LA RELAZIONE ESISTENTE FRA L'ARCHITETTURA DI UN CALCOLATORE E IL SOFTWARE DI BASE, NONCHÉ GLI ASPETTI AVANZATI DELL'ARCHITETTURA DEI CALCOLATORI ELETTRONICI E LE TECNICHE DI OTTIMIZZAZIONE ADOTTATE DAI MODERNI MICROPROCESSORI, AVVALENDOSI DI CASI DI STUDIO REALI.
20801779-2 - MODULO II - TORLONE RICCARDO	4	ING-INF/05	38	-	-	-	Attività formative caratterizzanti	ITA
20801779-1 - MODULO I - TORLONE RICCARDO	5	ING-INF/05	47	-	-	-	Attività formative caratterizzanti	ITA
20801780 - PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (obiettivi) PRESENTARE GLI ASPETTI FONDAMENTALI DELLA PROGRAMMAZIONE ORIENTATA AGLI OGGETTI, CON UNA ENFASI SUI CONCETTI DI MODULARIZZAZIONE E DI RIUSO DEL CODICE E GLI ASPETTI AVANZATI DEL PARADIGMA DI PROGRAMMAZIONE ORIENTATO AGLI OGGETTI. LO STUDENTE CHE ABBIA SUPERATO IL CORSO DOVRA' ESSERE IN GRADO DI SCRIVERE AUTONOMAMENTE COMPONENTI (CLASSI E MODULI) PER LO SVILUPPO DI APPLICAZIONI SOFTWARE DI MEDIA COMPLESSITÀ, NONCHÉ PARTECIPARE AL PROGETTO E ALLA REALIZZAZIONE DI APPLICAZIONI SOFTWARE DI GRANDE COMPLESSITÀ. - MERIALDO PAOLO (programma) PARTE 1: RICHIAMI CLASSI E OGGETTI COSTRUTTORI INFORMATION HIDING PARTE 2: QUALITÀ DEL CODICE COESIONE E ACCOPPIAMENTO TESTING DEBUGGING PARTE 3: POLIMORFISMO INTERFACCE PRINCIPIO DI SOSTITUZIONE, POLIMORFISMO EREDITARIETÀ PARTE 4: COLLEZIONI GENERICS MAPPE, INSIEMI, LISTE ITERATORI PARTE 5: RIUSO DEL CODICE COMPOSIZIONE ED EREDITARIETÀ CLASSI ASTRATTE PARTE 6: STREAM, ECCEZIONI GESTIONE DELLE ECCEZIONI STREAM (testi) TRASPARENZE E MATERIALE USATO A LEZIONE, VERIFICHE, HOMEWORK, RIFERIMENTI LE DISPENSE SONO IN FORMATO PPT: SI LEGGONO E STAMPANO CON MS POWERPOINT, OPPURE CON OPENOFFICE. CLASSI E OGGETTI: RICHIAMI TRASPARENZE POO-00-PRESENTAZIONECORSO.PPT POO-01-RICHIAMI-CLASSI-OGGETTI-METODI-PARAMETRI-VARIABILI.PPT POO-02-RICHIAMI-METODI-COSTRUTTORI-OVERLOADING.PPT STUDIO DI CASO DIADIA_BASE.ZIP VERIFICHE STUDENTE.JAVA TESI.JAVA SOMMATORE.JAVA QUALITÀ DEL CODICE TRASPARENZE POO-03-DOCUMENTAZIONE-PACKAGE.PPT POO-04-COESIONE-ACCOPPIAMENTO.PPT POO-05-QUALITA-CODICE-STUDIO-DI-CASO.PPT POO-06-QUALITA-CODICE-TESTING-INTRODUZIONE.PPT (2) POO-07-TESTING-TECNICHE.PPT STUDIO DI CASO DIADIA.0.90.ZIP TEST_DIADIA.0.90.ZIP POLIMORFISMO TRASPARENZE POO-08-POLIMORFISMO-INTERFACCE.PPT POO-09-POLIMORFISMO-ESERCITAZIONE.PPT (AGGIORNATO L'8 APRILE 2009) POO-10-POLIMORFISMO-STUDIO-DI-CASO.PPT POO-11-POLIMORFISMO-INTERFACE-ESTENSIONE-OBJECT.PPT STUDIO DI CASO E ALTRI PROGETTI DIADIA_0_95.ZIP TEST_DIADIA_0_95.ZIP DIADIA_1_0.ZIP TEST_DIADIA_1_0.ZIP DIADIA_1_1.ZIP TEST_DIADIA_1_1.ZIP FORMEGEOMETRICHE.ZIP ORARIO.ZIP PRECIPITAZIONI.ZIP TEST_PRECIPITAZIONI.ZIP VERIFICHE L.JAVA OLIMPIADI.JAVA VILLA.JAVA GENERICS E COLLEZIONI TRASPARENZE POO-12-GENERICS.PPT (AGGIORNATO IL 7 MAGGIO 2009) POO-13-COLLEZIONI-LISTE-GENERICHE.PPT POO-14-COLLEZIONI-LISTE-GENERICHE-ESERCITAZIONI.PPT POO-15-COLLEZIONI-INSIEMI-GENERICI.PPT POO-16-COLLEZIONI-MAPPE-GENERICHE.PPT STUDIO DI CASO E ALTRI PROGETTI COPPIA.ZIP PRENOTAZIONI.ZIP CALCIATORI.ZIP TEST_CALCIATORI.ZIP DIADIA_1_20.ZIP TEST_DIADIA_1_20.ZIP VERIFICHE AUTOMOBILE.JAVA VERIFICAMAPPE.JAVA CORSO.JAVA PROVEGENERICS.JAVA PROVETREESET.JAVA PROVEHASHSET.JAVA DOMANDAGENERICS.TXT RIUSO DEL CODICE: COMPOSIZIONE E EREDITARIETÀ TRASPARENZE POO-17-RIUSO-DEL-CODICE-COMPOSIZIONE-EREDITARIETA.PPT POO-18-EREDITARIETA-DETTAGLI.PPT POO-19-CLASSI-ASTRATTE.PPT VERIFICHE RIVISTA.JAVA LE.JAVA ELICOTTERO.JAVA MINIGUIDE (A CURA DI LORENZO BLANCO) VARIABILI DI AMBIENTE ECLIPSE FILE JAR JUNIT MANUALI DI RIFERIMENTO KEN ARNOLD, JAMES GOSLING, DAVID HOLMES "IL LINGUAGGIO JAVA: MANUALE UFFICIALE (IV EDIZIONE)" - ADDISON WESLEY E' IL MANUALE "UFFICIALE" DEL LINGUAGGIO. CAY HORSTMANN "CONCETTI DI INFORMATICA E FONDAMENTI DI JAVA" APOGEO UN TESTO CON UNA FORTE CARATTERIZZAZIONE DIDATTICA CAY HORSTMANN, GARY CORNELL "CORE JAVA2 VOL I: FONDAMENTI (VII ED. ITALIANA)" PRENTICE HALL CAY HORSTMANN, GARY CORNELL "CORE JAVA2 VOL II: TECNICHE AVANZATE (VII ED. ITALIANA)" PRENTICE HALL TESTI MOLTO TECNICI E APPROFONDITI (COPRONO ANCHE MOLTI CONCETTI NON AFFRONTATI NEL CORSO; GLI ARGOMENTI DEL CORSO SONO DISTRIBUITI SU ENTRAMBI I VOLUMI) RISORSE WEB UTILI PER MATERIALE E APPROFONDIMENTI HTTP://WWW.JAVAWORLD.COM: ARTICLES ABOUT CURRENT PROGRAMMING TOPICS HTTP://WWW.CAFEAULAIT.ORG: JAVA NEWS AND RESOURCES HTTP://JAVAALMANAC.COM: THE JAVA DEVELOPERS ALMANAC 1.4, EXAMPLES AND QUICK REFERENCE ONLINE RESOURCES FOR JAVA PROGRAMMERS (PRESSO IL SITO DELLA SUN) HTTP://WWW.JUNIT.ORG	6	ING-INF/05	57	-	-	-	Attività formative caratterizzanti	ITA

SISTEMI INFORMATICI

Primo anno

Primo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Studio

Attività

Lingua

20801721 - ANALISI MATEMATICA (obiettivi)

20801721-2 - MODULO II

Canale: AL

- NATALINI PIERPAOLO

Canale: MZ

- NATALINI PIERPAOLO

MAT/05

Attività formative di base

ITA

20801721-1 - MODULO I

Canale: AL

- NATALINI PIERPAOLO

Canale: MZ

- NATALINI PIERPAOLO

MAT/05

Attività formative di base

ITA

20801724 - FONDAMENTI DI INFORMATICA (obiettivi)

20801724-2 - MODULO II

Canale: AL

- MIOLA ALFONSO

Canale: MZ

- MIOLA ALFONSO

ING-INF/05

Attività formative caratterizzanti

ITA

20801724-1 - MODULO I

Canale: AL

- LIMONGELLI CARLA

Canale: MZ

- GASPARETTI FABIO

ING-INF/05

Attività formative caratterizzanti

ITA

20801725 - GEOMETRIA E COMBINATORIA (obiettivi)

20801725-2 - MODULO II

Canale: AL

- ROTA ROSARIA

Canale: MZ

- ROTA ROSARIA

MAT/03

Attività formative di base

ITA

20801725-1 - MODULO I

Canale: AL

- ROTA ROSARIA

Canale: MZ

- ROTA ROSARIA

MAT/03

Attività formative di base

ITA

20801775 - ELETTROTECNICA ED ELETTRONICA

20801775-2 - MODULO II

- DEL VECCHIO PAOLO

ING-INF/01

Attività formative affini ed integrative

ITA

20801775-1 - MODULO I

- DEL VECCHIO PAOLO

ING-IND/31

Attività formative affini ed integrative

ITA

20801776 - FONDAMENTI DI TELECOMUNICAZIONI (obiettivi)

- BENEDETTO FRANCESCO (programma) (testi)

ING-INF/03

Attività formative affini ed integrative

ITA

20801781 - ALGORITMI E STRUTTURE DI DATI (obiettivi)

- PATRIGNANI MAURIZIO (programma)

ING-INF/05

Attività formative caratterizzanti

ITA

20801782 - ANALISI DEI SISTEMI AD EVENTI (obiettivi)

- ADACHER LUDOVICA (programma) (testi)

ING-INF/04

Attività formative caratterizzanti

ITA

20202021 - IDONEITA LINGUA - INGLESE

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

20802017 - PROVA FINALE

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Secondo semestre

Insegnamento

CFU

SSD

Ore Lezione

Ore Eserc.

Ore Lab

Ore Studio

Attività

Lingua

20801722 - CHIMICA (obiettivi)

- SOTGIU GIOVANNI (programma) (testi)

CHIM/07

Attività formative di base

ITA

20801723 - FISICA

20801723-2 - MODULO II

- POMPEO NICOLA

FIS/01

Attività formative di base

ITA

20801723-1 - MODULO I

- SANTARSIERO MASSIMO

FIS/01

Attività formative di base

ITA

20801777 - RICERCA OPERATIVA I (obiettivi)

- PACCIARELLI DARIO (programma) (testi)

MAT/09

Attività formative di base

ITA

20801778 - FONDAMENTI DI AUTOMATICA (obiettivi)

20801778-2 - MODULO II

- ULIVI GIOVANNI

ING-INF/04

Attività formative caratterizzanti

ITA

20801778-1 - MODULO I

- ULIVI GIOVANNI

ING-INF/04

Attività formative caratterizzanti

ITA

20801779 - CALCOLATORI ELETTRONICI (obiettivi)

20801779-2 - MODULO II

- TORLONE RICCARDO

ING-INF/05

Attività formative caratterizzanti

ITA

20801779-1 - MODULO I

- TORLONE RICCARDO

ING-INF/05

Attività formative caratterizzanti

ITA

20801780 - PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (obiettivi)

- MERIALDO PAOLO (programma) (testi)

ING-INF/05

Attività formative caratterizzanti

ITA

20202020 - GENERE, COSTITUZIONE E PROFESSIONI (obiettivi)

- SOMMA FABRIZIA (programma) (testi)

Attività formative a scelta dello studente (art.10, comma 5, lettera a)

ITA

20202021 - IDONEITA LINGUA - INGLESE

Ulteriori attività formative (art.10, comma 5, lettera d)

ITA

20802017 - PROVA FINALE

Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)

ITA

Secondo anno

Primo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Studio	Attività	Lingua
20801775 - ELETTROTECNICA ED ELETTRONICA
20801775-2 - MODULO II - DEL VECCHIO PAOLO	4	ING-INF/01	38	-	-	-	Attività formative affini ed integrative	ITA
20801775-1 - MODULO I - DEL VECCHIO PAOLO	5	ING-IND/31	47	-	-	-	Attività formative affini ed integrative	ITA
20801776 - FONDAMENTI DI TELECOMUNICAZIONI (obiettivi) ACQUISIRE CONOSCENZE SPECIFICHE SULLE METODOLOGIE CHE CONSENTONO DI ESPRIMERE IN MODO SEMPLICE ED EFFICIENTE LE TRASFORMAZIONI DETERMINISTICHE ED ALEATORIE CHE I SEGNALI SUBISCONO NEL TRANSITO ATTRAVERSO I SISTEMI FISICI. ACQUISIRE CONOSCENZE SPECIFICHE SULLE METODOLOGIE STATISTICHE CHE CONSENTONO DI ANALIZZARE LE PRESTAZIONI DI SEMPLICI SISTEMI E RETI DI TELECOMUNICAZIONE. ACQUISIRE CONOSCENZE DI BASE PER APPLICAZIONI MULTIMEDIALI DI ELABORAZIONE NUMERICA DI SEGNALI ED IMMAGINI. SAPER COLLEGARE I DIVERSI BLOCCHI FUNZIONALI CHE COMPONGONO UN SISTEMA DI TELECOMUNICAZIONE IN UN UNICO QUADRO DI PROCESSI INTEGRATI ED INTERDIPENDENTI. FORNIRE UNA PANORAMICA SUI PRINCIPALI SISTEMI DI TELECOMUNICAZIONE, DESCRIVENDO SOMMARIAMENTE SIA CONCETTI OPERATIVI FONDAMENTALI CHE ESEMPI APPLICATIVI TIPICI. - BENEDETTO FRANCESCO (programma) IL CORSO PREVEDE DI FORNIRE ALLO STUDENTE CONOSCENZE SPECIFICHE RIGUARDO: - LE METODOLOGIE CHE CONSENTONO DI ESPRIMERE IN MODO SEMPLICE ED EFFICIENTE LE TRASFORMAZIONI DETERMINISTICHE ED ALEATORIE CHE I SEGNALI SUBISCONO NEL TRANSITO ATTRAVERSO I SISTEMI FISICI. - LE METODOLOGIE STATISTICHE CHE CONSENTONO DI ANALIZZARE LE PRESTAZIONI DI SEMPLICI SISTEMI E RETI DI TELECOMUNICAZIONE. - LE APPLICAZIONI MULTIMEDIALI DI ELABORAZIONE NUMERICA DI SEGNALI ED IMMAGINI. - I DIVERSI BLOCCHI FUNZIONALI CHE COMPONGONO UN SISTEMA DI TELECOMUNICAZIONE COME UN UNICO QUADRO DI PROCESSI INTEGRATI ED INTERDIPENDENTI. - I PRINCIPALI SISTEMI DI TELECOMUNICAZIONE, DESCRIVENDO SOMMARIAMENTE SIA CONCETTI OPERATIVI FONDAMENTALI CHE ESEMPI APPLICATIVI TIPICI. (testi) - A.B. CARLSON, P.B. CRILLY, J.C. RUTLEDGE, "COMMUNICATION SYSTEMS: AN INTRODUCTION TO SIGNALS AND NOISE IN ELECTRICAL COMMUNICATION", MCGRAW-HILL INTERNATIONAL EDITION PUBL., 2002. - LEON W. COUCH II, "FONDAMENTI DI TELECOMUNICAZIONI: SISTEMI DI COMUNICAZIONE ANALOGICI E DIGITALI", SETTIMA EDIZIONE, PEARSON-PRENTICE HALL, 2008.	9	ING-INF/03	85	-	-	-	Attività formative affini ed integrative	ITA
20801781 - ALGORITMI E STRUTTURE DI DATI (obiettivi) ACQUISIRE CAPACITÀ DI PROGRAMMAZIONE IN-THE-SMALL, DI CONOSCERE I METODI DI RAPPRESENTAZIONE DELLE PRINCIPALI STRUTTURE DI DATI ED I RISPETTIVI ALGORITMI FONDAMENTALI PER LA LORO GESTIONE E DI SAPER VALUTARE LA COMPLESSITÀ COMPUTAZIONALE DI UN ALGORITMO. - PATRIGNANI MAURIZIO (programma) PROGRAMMA DELLA PARTE DI TEORIA =============================== GENERALITÀ ========== * DEFINIZIONE DI PROBLEMA COMPUTAZIONALE, ALGORITMO, STRUTTURA DI DATI * RANDOM ACCESS MACHINE E PSEUDOCODICE * STUDIO ASINTOTICO DELLE FUNZIONI (NOTAZIONI O-GRANDE, OMEGA E TETA) * COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI E DEI PROBLEMI * ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE * DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE STRUTTURE DI DATI ELEMENTARI ============================ * PILE E CODE * LISTE CONCATENATE E DOPPIAMENTE CONCATENATE * ALBERI BINARI * TABELLE HASH * ALBERI BINARI DI RICERCA * ALBERI ROSSO-NERI * B-ALBERI ALGORITMI DI ORDINAMENTO ======================== * ORDINAMENTO TRAMITE MERGE-SORT IL PARADIGMA DIVIDE ET IMPERA EQUAZIONI DI RICORRENZA ANALISI DI COMPLESSITÀ DEL MERGE-SORT ANALISI DI COMPLESSITÀ DEL BIN-SEARCH TEOREMI PER L'ANALISI DI FUNZIONI RICORSIVE * ORDINAMENTO TRAMITE HEAP-SORT PROCEDURA HEAPIFY HEAP SORT CODE DI PRIORITÀ * ORDINAMENTO TRAMITE QUICK-SORT DESCRIZIONE DEL QUICK-SORT PRESTAZIONI DEL QUICK-SORT ANALISI DEL QUICK-SORT * ORDINAMENTO IN TEMPO LINEARE LOWER BOUND PER ORDINAMENTO BASATO SU CONFRONTO ORDINAMENTO LINEARE TRAMITE COUNTING-SORT ORDINAMENTO LINEARE TRAMITE BUCKET-SORT GENERALIZZAZIONI DEL COUNTING-SORT ALGORITMI SU GRAFI ================== * RAPPRESENTAZIONE DI GRAFI CON MATRICI E LISTE DI ADIACENZA * GRAFI E CONNETTIVITÀ * VISITE IN AMPIEZZA E PROFONDITÀ * COMPLESSITÀ DELLE VISITE SU GRAFI ================================== PROGRAMMA RELATIVO AL LINGUAGGIO C ================================== INTRODUZIONE ALLA PROGRAMMAZIONE IMPERATIVA. TIPI DI DATO ELEMENTARI. FUNZIONI. PUNTATORI, ARRAY E STRINGHE PUNTATORI, RECORD, GESTIONE DELLA MEMORIA LISTE ORDINATE USO DI LISTE PER RAPPRESENTARE ALTRE STRUTTURE DATI	6	ING-INF/05	57	-	-	-	Attività formative caratterizzanti	ITA
20801782 - ANALISI DEI SISTEMI AD EVENTI (obiettivi) FORNIRE LE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE OPERATIVE, NECESSARIE PER VALUTARE LE PROCEDURE DI CONTROLLO SUPERVISORE DELLE OPERAZIONI NEGLI INSIEMI COORDINATI DI MACCHINE MANIFATTURIERE AUTOMATICHE. - ADACHER LUDOVICA (programma) 1. INTRODUZIONE SISTEMI AD EVENTI DISCRETI (SED) MODELLI AD EVENTI DISCRETI (MED) • MED LOGICI • MED TEMPORIZZATI 2. ANALISI E REGOLAZIONE DEI FLUSSI PRODUTTIVI TEORIA DELLE FILE D'ATTESA: RELAZIONI FONDAMENTALI PROCESSI DI NASCITA E MORTE TEORIA DELLE CODE E ANALISI DELLE PRESTAZIONI NEI SISTEMI A FLUSSO RETI DI CODE APERTE RETI DI CODE CHIUSE 3. MED LOGICI AUTOMI 4. MED TEMPORIZZATI RAPPRESENTAZIONE CON RETI DI PETRI DI SISTEMI DI CONTROLLO AD EVENTI DISCRETI: ELEMENTI DELLE RETI DI PETRI: EVENTI , TRANSIZIONI; CONDIZIONI, POSTI, MARCHE; MARCATURA INIZIALE MATRICI PRE , POST, DI INCIDENZA; RETI MARCATE: GRAFO DI STATO; EQUAZIONE DI STATO, DI TRANSIZIONE CONFLITTI, MODELLO DI MAGAZZINO, ARCHI INIBITORI; CONCORRENZA, MODELLO DEI GUASTI; TEMPORIZZAZIONE; CONTROLLO SUPERVISORE PROPRIETÀ DELLE RETI DI PETRI: CONSERVATIVITÀ, LIMITATEZZA, VIVEZZA, CICLICITÀ INVARIANTI DI POSTO, DI TRANSIZIONE; GRAFI DI SINCRONIZZAZIONE. RAPPRESENTAZIONE DEL CONTROLLO SUPERVISORE NELLE RETI DI PETRI (testi) DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002 DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT/ILCORSO.HTM	6	ING-INF/04	57	-	-	-	Attività formative caratterizzanti	ITA

Secondo semestre

Insegnamento	CFU	SSD	Ore Lezione	Ore Eserc.	Ore Lab	Ore Studio	Attività	Lingua
20801777 - RICERCA OPERATIVA I (obiettivi) FORNIRE LE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE OPERATIVE, NECESSARIE PER RAPPRESENTARE E TRATTARE CON STRUMENTI INFORMATICI PROCESSI DECISIONALI E MODELLI QUANTITATIVI, COSÌ COME SONO TRATTATI AL PRIMO LIVELLO FORMATIVO. - PACCIARELLI DARIO (programma) 1. ELEMENTI DI PROGRAMMAZIONE MATEMATICA PROGRAMMAZIONE CONVESSA PROGRAMMAZIONE LINEARE 2. FORMULAZIONE DI TIPICI PROBLEMI DI OTTIMIZZAZIONE MISCELAZIONE ALLOCAZIONE DI RISORSE GESTIONE DELLE SCORTE TAGLIO OTTIMO PIANIFICAZIONE DI ATTIVITÀ 3. SOLUZIONE DI PROBLEMI DI PROGRAMMAZIONE LINEARE GEOMETRIA DELLA PROGRAMMAZIONE LINEARE ALGORITMO DEL SIMPLESSO INTERPRETAZIONE GEOMETRICA DEL SIMPLESSO 4. TEORIA DELLA DUALITÀ COSTRUZIONE DEL PROBLEMA DUALE TEOREMA FONDAMENTALE DELLA PL CONDIZIONI DI COMPLEMENTARITÀ INTERPRETAZIONE ECONOMICA DEL DUALE ANALISI DI SENSITIVITÀ 5. OTTIMIZZAZIONE NON VINCOLATA GRADIENTE E MATRICE HESSIANA CONDIZIONI NECESSARIE DI MINIMO DEL PRIMO E DEL SECONDO ORDINE CONDIZIONI SUFFICIENTI DI MINIMO LOCALE CONDIZIONI SUFFICIENTI DI MINIMO GLOBALE NEL CASO CONVESSO METODO DEL GRADIENTE LINE SEARCH ESATTA, METODO DI ARMIJO E DI INTERPOLAZIONE CONVERGENZA SUBLINEARE, LINEARE, SUPERLINEARE METODO DI NEWTON LIMITI DEI METODI PER FUNZIONI NON DIFFERENZIABILI 6. OTTIMIZZAZIONE VINCOLATA MATRICE JACOBIANA E VINCOLI ATTIVI FUNZIONE LAGRANGIANA CONDIZIONI DI KARUSH KUHN TUCKER CENNI SULLE FUNZIONI DI PENALITÀ E SUI METODI DI BARRIERA 7. INTRODUCTION TO MATHEMATICAL PROGRAMMING CONVEX PROGRAMMING LINEAR PROGRAMMING 8. FORMULATION OF TYPICAL OPTIMIZATION PROBLEMS BLENDING RESOURCE ALLOCATION LOT SIZING CUTTING STOCK ACTIVITY PLANNING 9. SOLUTION OF LINEAR PROGRAMMING PROBLEMS GEOMETRY OF POLYHEDRA THE SIMPLEX ALGORITHM GEOMETRIC INTERPRETATION OF THE SIMPLEX ALGORITHM 10. DUALITY THEORY THE DUAL PROBLEM THE FUNDAMENTAL THEOREM OF LP COMPLEMENTARITY CONDITIONS ECONOMIC INTERPRETATION OF THE DUAL PROBLEM SENSITIVITY ANALYSIS 11. UN-CONSTRAINED NON LINEAR OPTIMIZATION GRADIENTE E MATRICE HESSIANA CONDIZIONI NECESSARIE DI MINIMO DEL PRIMO E DEL SECONDO ORDINE CONDIZIONI SUFFICIENTI DI MINIMO LOCALE CONDIZIONI SUFFICIENTI DI MINIMO GLOBALE NEL CASO CONVESSO METODO DEL GRADIENTE LINE SEARCH ESATTA, METODO DI ARMIJO E DI INTERPOLAZIONE CONVERGENZA SUBLINEARE, LINEARE, SUPERLINEARE METODO DI NEWTON LIMITI DEI METODI PER FUNZIONI NON DIFFERENZIABILI 12. CONSTRAINED NON LINEAR OPTIMIZATION MATRICE JACOBIANA E VINCOLI ATTIVI FUNZIONE LAGRANGIANA CONDIZIONI DI KARUSH KUHN TUCKER CENNI SULLE FUNZIONI DI PENALITÀ E SUI METODI DI BARRIERA (testi) MATERIALE DIDATTICO DISPENSE A CURA DEL DOCENTE O PACCIARELLI D. “INTRODUZIONE ALLA RICERCA OPERATIVA”. O AGNETIS A., “INTRODUZIONE ALL'OTTIMIZZAZIONE NON VINCOLATA” O AGNETIS A., “INTRODUZIONE ALL'OTTIMIZZAZIONE VINCOLATA” TESTI DI RIFERIMENTO O M. FISCHETTI, "LEZIONI DI RICERCA OPERATIVA", EDIZIONI LIBRERIA PROGETTO PADOVA, ITALIA, 1995. O C. MANNINO, L. PALAGI, M. ROMA, "COMPLEMENTI ED ESERCIZI DI RICERCA OPERATIVA", EDIZIONI INGEGNERIA 2000, ROMA, ITALIA, 1998.	6	MAT/09	57	-	-	-	Attività formative di base	ITA
20801778 - FONDAMENTI DI AUTOMATICA (obiettivi) FORNIRE LE CONOSCENZE METODOLOGICHE E OPERATIVE PER LA MODELLISTICA, LA SIMULAZIONE E L'ANALISI DEL COMPORTAMENTO DI SISTEMI FISICI, CON PARTICOLARE RIFERIMENTO A QUELLI DESCRIVIBILI CON MODELLI LINEARI E STAZIONARI. INTRODURRE CONCETTI DI BASE QUALI STABILITÀ E DIFFERENZA TRA RISPOSTA TRANSITORIA E RISPOSTA A REGIME. DEFINIRE LE STRUTTURE FONDAMENTALI DI UN SISTEMA DI CONTROLLO A CONTROREAZIONE, E DARE GLI STRUMENTI DI BASE PER LA SUA PROGETTAZIONE. ILLUSTRARE LE TECNICHE DI PROGETTAZIONE CHE IMPIEGANO LA RISPOSTA ARMONICA E LE SPECIFICHE INGEGNERISTICHE CONNESSE. ILLUSTRARE I METODI PER REALIZZARE CON UN CALCOLATORE I SISTEMI DI CONTROLLO STUDIATI. MOSTRARE L’IMPIEGO DI STRUMENTI SOFTWARE PER L’AUSILIO ALLE FASI SUDDETTE.
20801778-2 - MODULO II - ULIVI GIOVANNI	4	ING-INF/04	38	-	-	-	Attività formative caratterizzanti	ITA
20801778-1 - MODULO I - ULIVI GIOVANNI	5	ING-INF/04	47	-	-	-	Attività formative caratterizzanti	ITA
20801779 - CALCOLATORI ELETTRONICI (obiettivi) PRESENTARE GLI ASPETTI FONDAMENTALI DELL'ARCHITETTURA HARDWARE E SOFTWARE DEI CALCOLATORI ELETTRONICI. IN PARTICOLARE, I PRINCIPI DI FUNZIONAMENTO DEI MICROPROCESSORI MODERNI, EVIDENZIANDO LA RELAZIONE ESISTENTE FRA L'ARCHITETTURA DI UN CALCOLATORE E IL SOFTWARE DI BASE, NONCHÉ GLI ASPETTI AVANZATI DELL'ARCHITETTURA DEI CALCOLATORI ELETTRONICI E LE TECNICHE DI OTTIMIZZAZIONE ADOTTATE DAI MODERNI MICROPROCESSORI, AVVALENDOSI DI CASI DI STUDIO REALI.
20801779-2 - MODULO II - TORLONE RICCARDO	4	ING-INF/05	38	-	-	-	Attività formative caratterizzanti	ITA
20801779-1 - MODULO I - TORLONE RICCARDO	5	ING-INF/05	47	-	-	-	Attività formative caratterizzanti	ITA
20801780 - PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (obiettivi) PRESENTARE GLI ASPETTI FONDAMENTALI DELLA PROGRAMMAZIONE ORIENTATA AGLI OGGETTI, CON UNA ENFASI SUI CONCETTI DI MODULARIZZAZIONE E DI RIUSO DEL CODICE E GLI ASPETTI AVANZATI DEL PARADIGMA DI PROGRAMMAZIONE ORIENTATO AGLI OGGETTI. LO STUDENTE CHE ABBIA SUPERATO IL CORSO DOVRA' ESSERE IN GRADO DI SCRIVERE AUTONOMAMENTE COMPONENTI (CLASSI E MODULI) PER LO SVILUPPO DI APPLICAZIONI SOFTWARE DI MEDIA COMPLESSITÀ, NONCHÉ PARTECIPARE AL PROGETTO E ALLA REALIZZAZIONE DI APPLICAZIONI SOFTWARE DI GRANDE COMPLESSITÀ. - MERIALDO PAOLO (programma) PARTE 1: RICHIAMI CLASSI E OGGETTI COSTRUTTORI INFORMATION HIDING PARTE 2: QUALITÀ DEL CODICE COESIONE E ACCOPPIAMENTO TESTING DEBUGGING PARTE 3: POLIMORFISMO INTERFACCE PRINCIPIO DI SOSTITUZIONE, POLIMORFISMO EREDITARIETÀ PARTE 4: COLLEZIONI GENERICS MAPPE, INSIEMI, LISTE ITERATORI PARTE 5: RIUSO DEL CODICE COMPOSIZIONE ED EREDITARIETÀ CLASSI ASTRATTE PARTE 6: STREAM, ECCEZIONI GESTIONE DELLE ECCEZIONI STREAM (testi) TRASPARENZE E MATERIALE USATO A LEZIONE, VERIFICHE, HOMEWORK, RIFERIMENTI LE DISPENSE SONO IN FORMATO PPT: SI LEGGONO E STAMPANO CON MS POWERPOINT, OPPURE CON OPENOFFICE. CLASSI E OGGETTI: RICHIAMI TRASPARENZE POO-00-PRESENTAZIONECORSO.PPT POO-01-RICHIAMI-CLASSI-OGGETTI-METODI-PARAMETRI-VARIABILI.PPT POO-02-RICHIAMI-METODI-COSTRUTTORI-OVERLOADING.PPT STUDIO DI CASO DIADIA_BASE.ZIP VERIFICHE STUDENTE.JAVA TESI.JAVA SOMMATORE.JAVA QUALITÀ DEL CODICE TRASPARENZE POO-03-DOCUMENTAZIONE-PACKAGE.PPT POO-04-COESIONE-ACCOPPIAMENTO.PPT POO-05-QUALITA-CODICE-STUDIO-DI-CASO.PPT POO-06-QUALITA-CODICE-TESTING-INTRODUZIONE.PPT (2) POO-07-TESTING-TECNICHE.PPT STUDIO DI CASO DIADIA.0.90.ZIP TEST_DIADIA.0.90.ZIP POLIMORFISMO TRASPARENZE POO-08-POLIMORFISMO-INTERFACCE.PPT POO-09-POLIMORFISMO-ESERCITAZIONE.PPT (AGGIORNATO L'8 APRILE 2009) POO-10-POLIMORFISMO-STUDIO-DI-CASO.PPT POO-11-POLIMORFISMO-INTERFACE-ESTENSIONE-OBJECT.PPT STUDIO DI CASO E ALTRI PROGETTI DIADIA_0_95.ZIP TEST_DIADIA_0_95.ZIP DIADIA_1_0.ZIP TEST_DIADIA_1_0.ZIP DIADIA_1_1.ZIP TEST_DIADIA_1_1.ZIP FORMEGEOMETRICHE.ZIP ORARIO.ZIP PRECIPITAZIONI.ZIP TEST_PRECIPITAZIONI.ZIP VERIFICHE L.JAVA OLIMPIADI.JAVA VILLA.JAVA GENERICS E COLLEZIONI TRASPARENZE POO-12-GENERICS.PPT (AGGIORNATO IL 7 MAGGIO 2009) POO-13-COLLEZIONI-LISTE-GENERICHE.PPT POO-14-COLLEZIONI-LISTE-GENERICHE-ESERCITAZIONI.PPT POO-15-COLLEZIONI-INSIEMI-GENERICI.PPT POO-16-COLLEZIONI-MAPPE-GENERICHE.PPT STUDIO DI CASO E ALTRI PROGETTI COPPIA.ZIP PRENOTAZIONI.ZIP CALCIATORI.ZIP TEST_CALCIATORI.ZIP DIADIA_1_20.ZIP TEST_DIADIA_1_20.ZIP VERIFICHE AUTOMOBILE.JAVA VERIFICAMAPPE.JAVA CORSO.JAVA PROVEGENERICS.JAVA PROVETREESET.JAVA PROVEHASHSET.JAVA DOMANDAGENERICS.TXT RIUSO DEL CODICE: COMPOSIZIONE E EREDITARIETÀ TRASPARENZE POO-17-RIUSO-DEL-CODICE-COMPOSIZIONE-EREDITARIETA.PPT POO-18-EREDITARIETA-DETTAGLI.PPT POO-19-CLASSI-ASTRATTE.PPT VERIFICHE RIVISTA.JAVA LE.JAVA ELICOTTERO.JAVA MINIGUIDE (A CURA DI LORENZO BLANCO) VARIABILI DI AMBIENTE ECLIPSE FILE JAR JUNIT MANUALI DI RIFERIMENTO KEN ARNOLD, JAMES GOSLING, DAVID HOLMES "IL LINGUAGGIO JAVA: MANUALE UFFICIALE (IV EDIZIONE)" - ADDISON WESLEY E' IL MANUALE "UFFICIALE" DEL LINGUAGGIO. CAY HORSTMANN "CONCETTI DI INFORMATICA E FONDAMENTI DI JAVA" APOGEO UN TESTO CON UNA FORTE CARATTERIZZAZIONE DIDATTICA CAY HORSTMANN, GARY CORNELL "CORE JAVA2 VOL I: FONDAMENTI (VII ED. ITALIANA)" PRENTICE HALL CAY HORSTMANN, GARY CORNELL "CORE JAVA2 VOL II: TECNICHE AVANZATE (VII ED. ITALIANA)" PRENTICE HALL TESTI MOLTO TECNICI E APPROFONDITI (COPRONO ANCHE MOLTI CONCETTI NON AFFRONTATI NEL CORSO; GLI ARGOMENTI DEL CORSO SONO DISTRIBUITI SU ENTRAMBI I VOLUMI) RISORSE WEB UTILI PER MATERIALE E APPROFONDIMENTI HTTP://WWW.JAVAWORLD.COM: ARTICLES ABOUT CURRENT PROGRAMMING TOPICS HTTP://WWW.CAFEAULAIT.ORG: JAVA NEWS AND RESOURCES HTTP://JAVAALMANAC.COM: THE JAVA DEVELOPERS ALMANAC 1.4, EXAMPLES AND QUICK REFERENCE ONLINE RESOURCES FOR JAVA PROGRAMMERS (PRESSO IL SITO DELLA SUN) HTTP://WWW.JUNIT.ORG	6	ING-INF/05	57	-	-	-	Attività formative caratterizzanti	ITA