Prime nozioni di sistemi di telecomunicazione, operazioni su segnali e spettri. Elementi e concetti di base. Informazione, messaggi, segnali, sorgenti e trasduttori. Trasformata di Fourier. Proprietà della trasformata di Fourier. Spettro di densità di energia e teorema di Rayleigh per segnali di energia. Spettro di segnali periodici, teorema di Parseval. Spettro di densità di potenza e teorema di Wiener-Kinchine per segnali di energia e di potenza.

Teorema del Campionamento e Trasformazioni di segnali. Campionamento ideale e ricostruzione. Campionamento reale, aliasing, cadenza di Nyquist. Transito di segnali tempo discreto e continuo attraverso sistemi lineari tempo-invarianti (LTI). Segnali PAM digitali multi-livello, codifica di linea binaria e multi-livello. Interferenza inter-simbolica, teorema di Nyquist, forma tipica degli impulsi per ridurre l'interferenza, roll-off, coseno rialzato, filtro ottimo in presenza di rumore, rumore bianco, filtro ottimo (filtro adattato) in presenza di rumore bianco.

Teoria della probabilità, modelli statistici, trasformazioni di variabili aleatorie ed elementi di elaborazione numerica. Concetti di base. Momenti statistici di variabili aleatorie. Valore atteso, varianza, valore quadratico medio e loro relazione. Stimatori di momenti statistici ed applicazione alla stima di valor medio, varianza, valore quadratico medio. Trasformazioni di variabili aleatorie ed effetto sulla densita’ di probabilita’. Risoluzione di problemi statistici sui segnali aleatori.

Teoria dell’informazione, elaborazione di sorgente e codifica efficiente per segnali, immagini e video digitali. Elementi di teoria dell'Informazione, contenuto informativo ed entropia. Codifica entropica di sorgente (ottima). Efficienza e ridondanza dei codici. Quantizzazione, campionamento e codifica ad impulsi di segnali (PCM). Esempi applicativi.

Trasmissione di segnali ed elaborazione per l'accesso e la condivisione del canale di comunicazione. Canale di comunicazione e capacita’ di canale. Mezzi trasmissivi: cavo, fibra ottica, radio. Tipi di modulazione numerica e loro caratteristiche: modulazione numerica di ampiezza (ASK, OOK), di frequenza (FSK, MSK, cenni di OFDM), di fase (BPSK, QPSK, m-PSK), ampiezza e fase (QAM). Esempi applicativi.

- 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.

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 THETA)
* COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI
* ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE
* DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE
* COMPLESSITÀ ASINTOTICA DEI PROBLEMI


STRUTTURE DI DATI ELEMENTARI:

* PILE E CODE
* LISTE CONCATENATE E DOPPIAMENTE CONCATENATE
* ALBERI E ALBERI BINARI
* TABELLE HASH
* ALBERI BINARI DI RICERCA
* ALBERI ROSSO-NERI
* GRAFI

ALGORITMI DI ORDINAMENTO:

* ORDINAMENTO TRAMITE SELECTION-SORT
LA TECNICA GREEDY
IL CONCETTO DI INVARIANTE DI CICLO
ALGORITMI DI ORDINAMENTO "IN-LOCO"
ALGORITMI DI ORDINAMENTO "STABILI"

* ORDINAMENTO TRAMITE INSERTION-SORT
ALGORITMI INCREMENTALI

* ORDINAMENTO TRAMITE MERGE-SORT
IL PARADIGMA DIVIDE ET IMPERA
EQUAZIONI DI RICORRENZA
ANALISI DI COMPLESSITÀ DEL MERGE-SORT
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

* 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 E LORO USO PER RAPPRESENTARE ALTRE STRUTTURE DATI
GESTIONE DEI FILE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUZIONE AGLI ALGORITMI E STRUTTURE DATI
(TERZA EDIZIONE) MCGRAW-HILL, 2010

OPPURE L'ORIGINALE IN INGLESE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUCTION TO ALGORITHMS (THIRD EDITION) MIT PRESS, 2009

B.W.KERNIGHAM, D.M.RITCHIE
IL LINGUAGGIO C, PRINCIPI DI PROGRAMMAZIONE E MANUALE DI RIFERIMENTO (SECONDA EDIZIONE)
PEARSON EDUCATION ITALIA, 2004

OPPURE L'ORIGINALE IN INGLESE

B.W.KERNIGHAM, D.M.RITCHIE
THE C PROGRAMMING LANGUAGE (SECOND EDITION)
PRENTICE HALL, 1988

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

DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT

Struttura atomica: orbitali atomici, atomi polielettronici e sistema periodico; legami chimici (teoria di Lewis e VSEPR, teoria del legame di valenza e ibridizzazione); legami delocalizzati.
Relazioni ponderali nelle reazioni chimiche; redox e numero di ossidazione
Solidi: solidi metallici, ionici, covalenti e molecolari (interazioni deboli: van der Waals e legame idrogeno).
Gas: legge del gas perfetto, miscele gassose, legge di Dalton, pressioni parziali
Termodinamica. Primo principio: concetti base (lavoro, calore, energia), funzioni di stato energia interna e entalpia, calori specifici. Secondo principo. Entropia: definizione classica ed interpretazione statistica, trasformazioni irreversibili, spontaneità delle trasformazioni (condizioni di equilibrio).
Stato liquido: pressione di vapore saturo, equazione di Clapeyron, passaggi di stato e diagrammi di stato. Varianza
Equilibrio chimico: costante e leggi dell'equilibrio; equilibri eterogenei; dissociazione termica gassosa e grado di dissociazione
Proprietà delle soluzioni: misure di concentrazione; legge di Raoult e distillazione, proprieta' colligative e diagrammi di raffreddamento, elettroliti

DEPAOLI - CHIMICA GENERALE ED INORGANICA - ED. AMBROSIANA (TEORIA)
SILVESTRONI, RALLO - PROBLEMI DI CHIMICA GENERALE - ED. MASSON (ESERCIZI)

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. IL SIMPLESSO SU RETI
FLUSSO DI COSTO MINIMO
BASI E ALBERI RICOPRENTI
CAMBIAMENTO DI BASE
FASE 1 E FASE 2
6. OTTIMIZZAZIONE SU GRAFI
MASSIMO FLUSSO
CAMMINO MINIMO
ALBERO RICOPRENTE

DISPENSE A CURA DEL DOCENTE

UTILITÀ DEI CONTROLLI AUTOMATICI. SCHEMI A BLOCCHI STRUTTURALI. MODELLI MATEMATICI DI SISTEMI DINAMICI. CLASSIFICAZIONE DEI MODELLI (LINEARITÀ, STAZIONARIETÀ, ECC.). IL CONCETTO DI STATO. LINEARIZZAZIONE INTORNO AD UN PUNTO DI EQUILIBRIO.

ANALISI DEI SISTEMI LINEARI E STAZIONARI UTILIZZANDO LE TRASFORMATE DI LAPLACE; DESCRIZIONE INGRESSO-USCITA DI UN SISTEMA DINAMICO, FUNZIONE DI TRASFERIMENTO. INTEGRALE DI CONVOLUZIONE. LE VARIABILI DI STATO, DESCRIZIONE INGRESSO-STATO-USCITA. PASSAGGIO DALLA FUNZIONE DI TRASFERIMENTO ALLO SPAZIO DI STATO E VICEVERSA. RISPOSTE A SEGNALI CANONICI. SUDDIVISIONE DELLA RISPOSTA IN RISPOSTA LIBERA E FORZATA, RISPOSTA TRANSITORIA E PERMANENTE. STABILITÀ BIBO DEI SISTEMI. CRITERIO DI STABILITÀ DI ROUTH. SCHEMI A BLOCCHI FUNZIONALI E LORO MANIPOLAZIONE.

RISPOSTA ARMONICA. DEFINIZIONE. RAPPRESENTAZIONI GRAFICHE (DIAGRAMMI DI NYQUIST, BODE, NICHOLS).
ANALISI DEI SISTEMI A CONTROREAZIONE. DERIVAZIONE DELLA RISPOSTA A CICLO CHIUSO DA QUELLA A CICLO APERTO. PROPRIETÀ DEI SISTEMI A CICLO CHIUSO. CRITERI DI STABILITÀ DI NYQUIST. MARGINI DI GUADAGNO E FASE. COMPORTAMENTO A REGIME: CLASSIFICAZIONE IN TIPI. SENSIBILITÀ ALLE VARIAZIONI PARAMETRICHE.
PROGETTAZIONE PER UN DATO COMPORTAMENTO A REGIME. PROGETTAZIONE PER UN DATO COMPORTAMENTO DINAMICO CON RETI CORRETTRICI.
PROGETTO DI CONTROLLORI A TEMPO DISCRETO PER APPROSSIMAZINE DI CONTROLLORI TEMPO CONTINUO.

UTILIZZO DI MATLAB NELLE ATTIVITA' SUDDETTE.

GIOVANNI MARRO, CONTROLLI AUTOMATICI, ZANICHELLI

LIBRI DI CONSULTAZIONE

G. MAGNANI, TECNOLOGIA DEI SISTEMI CONTROLLO, MCGRAW-HILL
CAPITOLO 5 (§§ ...) REGOLATORI INDUSTRIALI (PID)

A. ISIDORI, CONTROLLI AUTOMATICI, SIDEREA.

REGOLAZIONE AUTOMATICA, COLLANA SCHAUM, ETAS LIBRI.

Introduzione ai calcolatori Elettronici
Sistemi di numerazione binaria
L'organizzazione di un calcolatore
La logica digitale di un calcolatore
La microarchitettura di un calcolatore
Il linguaggio macchina di un calcolatore
I linguaggi assemblativi
Programmazione in linguaggio Assembler IA32

A.S. Tanembaum. Structured computer organization, 5th edition, Prentice Hall 2006 (esiste una traduzione italiana di questo libro dal titolo "Architettura dei calcolatori: un approccio strutturale" edita dalla Pearson Italia).Materiale fornito dal docente.

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
RIFLESSION

MATERIALE DISPONIBILE SUL SITO DEL CORSO: TRASPARENZE E CODICE USATO A LEZIONE, VERIFICHE, HOMEWORK.

IL CORSO PRESENTA UN PERCORSO FORMATIVO CHE PROMUOVE E FAVORISCE LA CULTURA, LE POLITICHE E LE PRASSI DI PARI OPPORTUNITÀ TRA DONNE E UOMINI NELLA SOCIETÀ E NEL MONDO DEL LAVORO, FORNENDO LE CONOSCENZE NECESSARIE PER ENTRARE CON MAGGIORI COMPETENZE NELLE ISTITUZIONI E NELLE PROFESSIONI E STIMOLANDO UNA PARTECIPAZIONE DI TUTTI ALLA VITA PUBBLICA, SECONDO IL DETTATO DELLA COSTITUZIONE ITALIANA.

DISPENSA PROPOSTA DAL DOCENTE.

Prime nozioni di sistemi di telecomunicazione, operazioni su segnali e spettri. Elementi e concetti di base. Informazione, messaggi, segnali, sorgenti e trasduttori. Trasformata di Fourier. Proprietà della trasformata di Fourier. Spettro di densità di energia e teorema di Rayleigh per segnali di energia. Spettro di segnali periodici, teorema di Parseval. Spettro di densità di potenza e teorema di Wiener-Kinchine per segnali di energia e di potenza.

Teorema del Campionamento e Trasformazioni di segnali. Campionamento ideale e ricostruzione. Campionamento reale, aliasing, cadenza di Nyquist. Transito di segnali tempo discreto e continuo attraverso sistemi lineari tempo-invarianti (LTI). Segnali PAM digitali multi-livello, codifica di linea binaria e multi-livello. Interferenza inter-simbolica, teorema di Nyquist, forma tipica degli impulsi per ridurre l'interferenza, roll-off, coseno rialzato, filtro ottimo in presenza di rumore, rumore bianco, filtro ottimo (filtro adattato) in presenza di rumore bianco.

Teoria della probabilità, modelli statistici, trasformazioni di variabili aleatorie ed elementi di elaborazione numerica. Concetti di base. Momenti statistici di variabili aleatorie. Valore atteso, varianza, valore quadratico medio e loro relazione. Stimatori di momenti statistici ed applicazione alla stima di valor medio, varianza, valore quadratico medio. Trasformazioni di variabili aleatorie ed effetto sulla densita’ di probabilita’. Risoluzione di problemi statistici sui segnali aleatori.

Teoria dell’informazione, elaborazione di sorgente e codifica efficiente per segnali, immagini e video digitali. Elementi di teoria dell'Informazione, contenuto informativo ed entropia. Codifica entropica di sorgente (ottima). Efficienza e ridondanza dei codici. Quantizzazione, campionamento e codifica ad impulsi di segnali (PCM). Esempi applicativi.

Trasmissione di segnali ed elaborazione per l'accesso e la condivisione del canale di comunicazione. Canale di comunicazione e capacita’ di canale. Mezzi trasmissivi: cavo, fibra ottica, radio. Tipi di modulazione numerica e loro caratteristiche: modulazione numerica di ampiezza (ASK, OOK), di frequenza (FSK, MSK, cenni di OFDM), di fase (BPSK, QPSK, m-PSK), ampiezza e fase (QAM). Esempi applicativi.

- 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.

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 THETA)
* COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI
* ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE
* DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE
* COMPLESSITÀ ASINTOTICA DEI PROBLEMI


STRUTTURE DI DATI ELEMENTARI:

* PILE E CODE
* LISTE CONCATENATE E DOPPIAMENTE CONCATENATE
* ALBERI E ALBERI BINARI
* TABELLE HASH
* ALBERI BINARI DI RICERCA
* ALBERI ROSSO-NERI
* GRAFI

ALGORITMI DI ORDINAMENTO:

* ORDINAMENTO TRAMITE SELECTION-SORT
LA TECNICA GREEDY
IL CONCETTO DI INVARIANTE DI CICLO
ALGORITMI DI ORDINAMENTO "IN-LOCO"
ALGORITMI DI ORDINAMENTO "STABILI"

* ORDINAMENTO TRAMITE INSERTION-SORT
ALGORITMI INCREMENTALI

* ORDINAMENTO TRAMITE MERGE-SORT
IL PARADIGMA DIVIDE ET IMPERA
EQUAZIONI DI RICORRENZA
ANALISI DI COMPLESSITÀ DEL MERGE-SORT
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

* 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 E LORO USO PER RAPPRESENTARE ALTRE STRUTTURE DATI
GESTIONE DEI FILE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUZIONE AGLI ALGORITMI E STRUTTURE DATI
(TERZA EDIZIONE) MCGRAW-HILL, 2010

OPPURE L'ORIGINALE IN INGLESE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUCTION TO ALGORITHMS (THIRD EDITION) MIT PRESS, 2009

B.W.KERNIGHAM, D.M.RITCHIE
IL LINGUAGGIO C, PRINCIPI DI PROGRAMMAZIONE E MANUALE DI RIFERIMENTO (SECONDA EDIZIONE)
PEARSON EDUCATION ITALIA, 2004

OPPURE L'ORIGINALE IN INGLESE

B.W.KERNIGHAM, D.M.RITCHIE
THE C PROGRAMMING LANGUAGE (SECOND EDITION)
PRENTICE HALL, 1988

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

DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT

Struttura atomica: orbitali atomici, atomi polielettronici e sistema periodico; legami chimici (teoria di Lewis e VSEPR, teoria del legame di valenza e ibridizzazione); legami delocalizzati.
Relazioni ponderali nelle reazioni chimiche; redox e numero di ossidazione
Solidi: solidi metallici, ionici, covalenti e molecolari (interazioni deboli: van der Waals e legame idrogeno).
Gas: legge del gas perfetto, miscele gassose, legge di Dalton, pressioni parziali
Termodinamica. Primo principio: concetti base (lavoro, calore, energia), funzioni di stato energia interna e entalpia, calori specifici. Secondo principo. Entropia: definizione classica ed interpretazione statistica, trasformazioni irreversibili, spontaneità delle trasformazioni (condizioni di equilibrio).
Stato liquido: pressione di vapore saturo, equazione di Clapeyron, passaggi di stato e diagrammi di stato. Varianza
Equilibrio chimico: costante e leggi dell'equilibrio; equilibri eterogenei; dissociazione termica gassosa e grado di dissociazione
Proprietà delle soluzioni: misure di concentrazione; legge di Raoult e distillazione, proprieta' colligative e diagrammi di raffreddamento, elettroliti

DEPAOLI - CHIMICA GENERALE ED INORGANICA - ED. AMBROSIANA (TEORIA)
SILVESTRONI, RALLO - PROBLEMI DI CHIMICA GENERALE - ED. MASSON (ESERCIZI)

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. IL SIMPLESSO SU RETI
FLUSSO DI COSTO MINIMO
BASI E ALBERI RICOPRENTI
CAMBIAMENTO DI BASE
FASE 1 E FASE 2
6. OTTIMIZZAZIONE SU GRAFI
MASSIMO FLUSSO
CAMMINO MINIMO
ALBERO RICOPRENTE

DISPENSE A CURA DEL DOCENTE

UTILITÀ DEI CONTROLLI AUTOMATICI. SCHEMI A BLOCCHI STRUTTURALI. MODELLI MATEMATICI DI SISTEMI DINAMICI. CLASSIFICAZIONE DEI MODELLI (LINEARITÀ, STAZIONARIETÀ, ECC.). IL CONCETTO DI STATO. LINEARIZZAZIONE INTORNO AD UN PUNTO DI EQUILIBRIO.

ANALISI DEI SISTEMI LINEARI E STAZIONARI UTILIZZANDO LE TRASFORMATE DI LAPLACE; DESCRIZIONE INGRESSO-USCITA DI UN SISTEMA DINAMICO, FUNZIONE DI TRASFERIMENTO. INTEGRALE DI CONVOLUZIONE. LE VARIABILI DI STATO, DESCRIZIONE INGRESSO-STATO-USCITA. PASSAGGIO DALLA FUNZIONE DI TRASFERIMENTO ALLO SPAZIO DI STATO E VICEVERSA. RISPOSTE A SEGNALI CANONICI. SUDDIVISIONE DELLA RISPOSTA IN RISPOSTA LIBERA E FORZATA, RISPOSTA TRANSITORIA E PERMANENTE. STABILITÀ BIBO DEI SISTEMI. CRITERIO DI STABILITÀ DI ROUTH. SCHEMI A BLOCCHI FUNZIONALI E LORO MANIPOLAZIONE.

RISPOSTA ARMONICA. DEFINIZIONE. RAPPRESENTAZIONI GRAFICHE (DIAGRAMMI DI NYQUIST, BODE, NICHOLS).
ANALISI DEI SISTEMI A CONTROREAZIONE. DERIVAZIONE DELLA RISPOSTA A CICLO CHIUSO DA QUELLA A CICLO APERTO. PROPRIETÀ DEI SISTEMI A CICLO CHIUSO. CRITERI DI STABILITÀ DI NYQUIST. MARGINI DI GUADAGNO E FASE. COMPORTAMENTO A REGIME: CLASSIFICAZIONE IN TIPI. SENSIBILITÀ ALLE VARIAZIONI PARAMETRICHE.
PROGETTAZIONE PER UN DATO COMPORTAMENTO A REGIME. PROGETTAZIONE PER UN DATO COMPORTAMENTO DINAMICO CON RETI CORRETTRICI.
PROGETTO DI CONTROLLORI A TEMPO DISCRETO PER APPROSSIMAZINE DI CONTROLLORI TEMPO CONTINUO.

UTILIZZO DI MATLAB NELLE ATTIVITA' SUDDETTE.

GIOVANNI MARRO, CONTROLLI AUTOMATICI, ZANICHELLI

LIBRI DI CONSULTAZIONE

G. MAGNANI, TECNOLOGIA DEI SISTEMI CONTROLLO, MCGRAW-HILL
CAPITOLO 5 (§§ ...) REGOLATORI INDUSTRIALI (PID)

A. ISIDORI, CONTROLLI AUTOMATICI, SIDEREA.

REGOLAZIONE AUTOMATICA, COLLANA SCHAUM, ETAS LIBRI.

Introduzione ai calcolatori Elettronici
Sistemi di numerazione binaria
L'organizzazione di un calcolatore
La logica digitale di un calcolatore
La microarchitettura di un calcolatore
Il linguaggio macchina di un calcolatore
I linguaggi assemblativi
Programmazione in linguaggio Assembler IA32

A.S. Tanembaum. Structured computer organization, 5th edition, Prentice Hall 2006 (esiste una traduzione italiana di questo libro dal titolo "Architettura dei calcolatori: un approccio strutturale" edita dalla Pearson Italia).Materiale fornito dal docente.

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
RIFLESSION

MATERIALE DISPONIBILE SUL SITO DEL CORSO: TRASPARENZE E CODICE USATO A LEZIONE, VERIFICHE, HOMEWORK.

IL CORSO PRESENTA UN PERCORSO FORMATIVO CHE PROMUOVE E FAVORISCE LA CULTURA, LE POLITICHE E LE PRASSI DI PARI OPPORTUNITÀ TRA DONNE E UOMINI NELLA SOCIETÀ E NEL MONDO DEL LAVORO, FORNENDO LE CONOSCENZE NECESSARIE PER ENTRARE CON MAGGIORI COMPETENZE NELLE ISTITUZIONI E NELLE PROFESSIONI E STIMOLANDO UNA PARTECIPAZIONE DI TUTTI ALLA VITA PUBBLICA, SECONDO IL DETTATO DELLA COSTITUZIONE ITALIANA.

DISPENSA PROPOSTA DAL DOCENTE.

Prime nozioni di sistemi di telecomunicazione, operazioni su segnali e spettri. Elementi e concetti di base. Informazione, messaggi, segnali, sorgenti e trasduttori. Trasformata di Fourier. Proprietà della trasformata di Fourier. Spettro di densità di energia e teorema di Rayleigh per segnali di energia. Spettro di segnali periodici, teorema di Parseval. Spettro di densità di potenza e teorema di Wiener-Kinchine per segnali di energia e di potenza.

Teorema del Campionamento e Trasformazioni di segnali. Campionamento ideale e ricostruzione. Campionamento reale, aliasing, cadenza di Nyquist. Transito di segnali tempo discreto e continuo attraverso sistemi lineari tempo-invarianti (LTI). Segnali PAM digitali multi-livello, codifica di linea binaria e multi-livello. Interferenza inter-simbolica, teorema di Nyquist, forma tipica degli impulsi per ridurre l'interferenza, roll-off, coseno rialzato, filtro ottimo in presenza di rumore, rumore bianco, filtro ottimo (filtro adattato) in presenza di rumore bianco.

Teoria della probabilità, modelli statistici, trasformazioni di variabili aleatorie ed elementi di elaborazione numerica. Concetti di base. Momenti statistici di variabili aleatorie. Valore atteso, varianza, valore quadratico medio e loro relazione. Stimatori di momenti statistici ed applicazione alla stima di valor medio, varianza, valore quadratico medio. Trasformazioni di variabili aleatorie ed effetto sulla densita’ di probabilita’. Risoluzione di problemi statistici sui segnali aleatori.

Teoria dell’informazione, elaborazione di sorgente e codifica efficiente per segnali, immagini e video digitali. Elementi di teoria dell'Informazione, contenuto informativo ed entropia. Codifica entropica di sorgente (ottima). Efficienza e ridondanza dei codici. Quantizzazione, campionamento e codifica ad impulsi di segnali (PCM). Esempi applicativi.

Trasmissione di segnali ed elaborazione per l'accesso e la condivisione del canale di comunicazione. Canale di comunicazione e capacita’ di canale. Mezzi trasmissivi: cavo, fibra ottica, radio. Tipi di modulazione numerica e loro caratteristiche: modulazione numerica di ampiezza (ASK, OOK), di frequenza (FSK, MSK, cenni di OFDM), di fase (BPSK, QPSK, m-PSK), ampiezza e fase (QAM). Esempi applicativi.

- 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.

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 THETA)
* COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI
* ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE
* DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE
* COMPLESSITÀ ASINTOTICA DEI PROBLEMI


STRUTTURE DI DATI ELEMENTARI:

* PILE E CODE
* LISTE CONCATENATE E DOPPIAMENTE CONCATENATE
* ALBERI E ALBERI BINARI
* TABELLE HASH
* ALBERI BINARI DI RICERCA
* ALBERI ROSSO-NERI
* GRAFI

ALGORITMI DI ORDINAMENTO:

* ORDINAMENTO TRAMITE SELECTION-SORT
LA TECNICA GREEDY
IL CONCETTO DI INVARIANTE DI CICLO
ALGORITMI DI ORDINAMENTO "IN-LOCO"
ALGORITMI DI ORDINAMENTO "STABILI"

* ORDINAMENTO TRAMITE INSERTION-SORT
ALGORITMI INCREMENTALI

* ORDINAMENTO TRAMITE MERGE-SORT
IL PARADIGMA DIVIDE ET IMPERA
EQUAZIONI DI RICORRENZA
ANALISI DI COMPLESSITÀ DEL MERGE-SORT
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

* 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 E LORO USO PER RAPPRESENTARE ALTRE STRUTTURE DATI
GESTIONE DEI FILE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUZIONE AGLI ALGORITMI E STRUTTURE DATI
(TERZA EDIZIONE) MCGRAW-HILL, 2010

OPPURE L'ORIGINALE IN INGLESE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUCTION TO ALGORITHMS (THIRD EDITION) MIT PRESS, 2009

B.W.KERNIGHAM, D.M.RITCHIE
IL LINGUAGGIO C, PRINCIPI DI PROGRAMMAZIONE E MANUALE DI RIFERIMENTO (SECONDA EDIZIONE)
PEARSON EDUCATION ITALIA, 2004

OPPURE L'ORIGINALE IN INGLESE

B.W.KERNIGHAM, D.M.RITCHIE
THE C PROGRAMMING LANGUAGE (SECOND EDITION)
PRENTICE HALL, 1988

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

DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT

Struttura atomica: orbitali atomici, atomi polielettronici e sistema periodico; legami chimici (teoria di Lewis e VSEPR, teoria del legame di valenza e ibridizzazione); legami delocalizzati.
Relazioni ponderali nelle reazioni chimiche; redox e numero di ossidazione
Solidi: solidi metallici, ionici, covalenti e molecolari (interazioni deboli: van der Waals e legame idrogeno).
Gas: legge del gas perfetto, miscele gassose, legge di Dalton, pressioni parziali
Termodinamica. Primo principio: concetti base (lavoro, calore, energia), funzioni di stato energia interna e entalpia, calori specifici. Secondo principo. Entropia: definizione classica ed interpretazione statistica, trasformazioni irreversibili, spontaneità delle trasformazioni (condizioni di equilibrio).
Stato liquido: pressione di vapore saturo, equazione di Clapeyron, passaggi di stato e diagrammi di stato. Varianza
Equilibrio chimico: costante e leggi dell'equilibrio; equilibri eterogenei; dissociazione termica gassosa e grado di dissociazione
Proprietà delle soluzioni: misure di concentrazione; legge di Raoult e distillazione, proprieta' colligative e diagrammi di raffreddamento, elettroliti

DEPAOLI - CHIMICA GENERALE ED INORGANICA - ED. AMBROSIANA (TEORIA)
SILVESTRONI, RALLO - PROBLEMI DI CHIMICA GENERALE - ED. MASSON (ESERCIZI)

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. IL SIMPLESSO SU RETI
FLUSSO DI COSTO MINIMO
BASI E ALBERI RICOPRENTI
CAMBIAMENTO DI BASE
FASE 1 E FASE 2
6. OTTIMIZZAZIONE SU GRAFI
MASSIMO FLUSSO
CAMMINO MINIMO
ALBERO RICOPRENTE

DISPENSE A CURA DEL DOCENTE

UTILITÀ DEI CONTROLLI AUTOMATICI. SCHEMI A BLOCCHI STRUTTURALI. MODELLI MATEMATICI DI SISTEMI DINAMICI. CLASSIFICAZIONE DEI MODELLI (LINEARITÀ, STAZIONARIETÀ, ECC.). IL CONCETTO DI STATO. LINEARIZZAZIONE INTORNO AD UN PUNTO DI EQUILIBRIO.

ANALISI DEI SISTEMI LINEARI E STAZIONARI UTILIZZANDO LE TRASFORMATE DI LAPLACE; DESCRIZIONE INGRESSO-USCITA DI UN SISTEMA DINAMICO, FUNZIONE DI TRASFERIMENTO. INTEGRALE DI CONVOLUZIONE. LE VARIABILI DI STATO, DESCRIZIONE INGRESSO-STATO-USCITA. PASSAGGIO DALLA FUNZIONE DI TRASFERIMENTO ALLO SPAZIO DI STATO E VICEVERSA. RISPOSTE A SEGNALI CANONICI. SUDDIVISIONE DELLA RISPOSTA IN RISPOSTA LIBERA E FORZATA, RISPOSTA TRANSITORIA E PERMANENTE. STABILITÀ BIBO DEI SISTEMI. CRITERIO DI STABILITÀ DI ROUTH. SCHEMI A BLOCCHI FUNZIONALI E LORO MANIPOLAZIONE.

RISPOSTA ARMONICA. DEFINIZIONE. RAPPRESENTAZIONI GRAFICHE (DIAGRAMMI DI NYQUIST, BODE, NICHOLS).
ANALISI DEI SISTEMI A CONTROREAZIONE. DERIVAZIONE DELLA RISPOSTA A CICLO CHIUSO DA QUELLA A CICLO APERTO. PROPRIETÀ DEI SISTEMI A CICLO CHIUSO. CRITERI DI STABILITÀ DI NYQUIST. MARGINI DI GUADAGNO E FASE. COMPORTAMENTO A REGIME: CLASSIFICAZIONE IN TIPI. SENSIBILITÀ ALLE VARIAZIONI PARAMETRICHE.
PROGETTAZIONE PER UN DATO COMPORTAMENTO A REGIME. PROGETTAZIONE PER UN DATO COMPORTAMENTO DINAMICO CON RETI CORRETTRICI.
PROGETTO DI CONTROLLORI A TEMPO DISCRETO PER APPROSSIMAZINE DI CONTROLLORI TEMPO CONTINUO.

UTILIZZO DI MATLAB NELLE ATTIVITA' SUDDETTE.

GIOVANNI MARRO, CONTROLLI AUTOMATICI, ZANICHELLI

LIBRI DI CONSULTAZIONE

G. MAGNANI, TECNOLOGIA DEI SISTEMI CONTROLLO, MCGRAW-HILL
CAPITOLO 5 (§§ ...) REGOLATORI INDUSTRIALI (PID)

A. ISIDORI, CONTROLLI AUTOMATICI, SIDEREA.

REGOLAZIONE AUTOMATICA, COLLANA SCHAUM, ETAS LIBRI.

Introduzione ai calcolatori Elettronici
Sistemi di numerazione binaria
L'organizzazione di un calcolatore
La logica digitale di un calcolatore
La microarchitettura di un calcolatore
Il linguaggio macchina di un calcolatore
I linguaggi assemblativi
Programmazione in linguaggio Assembler IA32

A.S. Tanembaum. Structured computer organization, 5th edition, Prentice Hall 2006 (esiste una traduzione italiana di questo libro dal titolo "Architettura dei calcolatori: un approccio strutturale" edita dalla Pearson Italia).Materiale fornito dal docente.

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
RIFLESSION

MATERIALE DISPONIBILE SUL SITO DEL CORSO: TRASPARENZE E CODICE USATO A LEZIONE, VERIFICHE, HOMEWORK.

IL CORSO PRESENTA UN PERCORSO FORMATIVO CHE PROMUOVE E FAVORISCE LA CULTURA, LE POLITICHE E LE PRASSI DI PARI OPPORTUNITÀ TRA DONNE E UOMINI NELLA SOCIETÀ E NEL MONDO DEL LAVORO, FORNENDO LE CONOSCENZE NECESSARIE PER ENTRARE CON MAGGIORI COMPETENZE NELLE ISTITUZIONI E NELLE PROFESSIONI E STIMOLANDO UNA PARTECIPAZIONE DI TUTTI ALLA VITA PUBBLICA, SECONDO IL DETTATO DELLA COSTITUZIONE ITALIANA.

DISPENSA PROPOSTA DAL DOCENTE.

Prime nozioni di sistemi di telecomunicazione, operazioni su segnali e spettri. Elementi e concetti di base. Informazione, messaggi, segnali, sorgenti e trasduttori. Trasformata di Fourier. Proprietà della trasformata di Fourier. Spettro di densità di energia e teorema di Rayleigh per segnali di energia. Spettro di segnali periodici, teorema di Parseval. Spettro di densità di potenza e teorema di Wiener-Kinchine per segnali di energia e di potenza.

Teorema del Campionamento e Trasformazioni di segnali. Campionamento ideale e ricostruzione. Campionamento reale, aliasing, cadenza di Nyquist. Transito di segnali tempo discreto e continuo attraverso sistemi lineari tempo-invarianti (LTI). Segnali PAM digitali multi-livello, codifica di linea binaria e multi-livello. Interferenza inter-simbolica, teorema di Nyquist, forma tipica degli impulsi per ridurre l'interferenza, roll-off, coseno rialzato, filtro ottimo in presenza di rumore, rumore bianco, filtro ottimo (filtro adattato) in presenza di rumore bianco.

Teoria della probabilità, modelli statistici, trasformazioni di variabili aleatorie ed elementi di elaborazione numerica. Concetti di base. Momenti statistici di variabili aleatorie. Valore atteso, varianza, valore quadratico medio e loro relazione. Stimatori di momenti statistici ed applicazione alla stima di valor medio, varianza, valore quadratico medio. Trasformazioni di variabili aleatorie ed effetto sulla densita’ di probabilita’. Risoluzione di problemi statistici sui segnali aleatori.

Teoria dell’informazione, elaborazione di sorgente e codifica efficiente per segnali, immagini e video digitali. Elementi di teoria dell'Informazione, contenuto informativo ed entropia. Codifica entropica di sorgente (ottima). Efficienza e ridondanza dei codici. Quantizzazione, campionamento e codifica ad impulsi di segnali (PCM). Esempi applicativi.

Trasmissione di segnali ed elaborazione per l'accesso e la condivisione del canale di comunicazione. Canale di comunicazione e capacita’ di canale. Mezzi trasmissivi: cavo, fibra ottica, radio. Tipi di modulazione numerica e loro caratteristiche: modulazione numerica di ampiezza (ASK, OOK), di frequenza (FSK, MSK, cenni di OFDM), di fase (BPSK, QPSK, m-PSK), ampiezza e fase (QAM). Esempi applicativi.

- 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.

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 THETA)
* COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI
* ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE
* DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE
* COMPLESSITÀ ASINTOTICA DEI PROBLEMI


STRUTTURE DI DATI ELEMENTARI:

* PILE E CODE
* LISTE CONCATENATE E DOPPIAMENTE CONCATENATE
* ALBERI E ALBERI BINARI
* TABELLE HASH
* ALBERI BINARI DI RICERCA
* ALBERI ROSSO-NERI
* GRAFI

ALGORITMI DI ORDINAMENTO:

* ORDINAMENTO TRAMITE SELECTION-SORT
LA TECNICA GREEDY
IL CONCETTO DI INVARIANTE DI CICLO
ALGORITMI DI ORDINAMENTO "IN-LOCO"
ALGORITMI DI ORDINAMENTO "STABILI"

* ORDINAMENTO TRAMITE INSERTION-SORT
ALGORITMI INCREMENTALI

* ORDINAMENTO TRAMITE MERGE-SORT
IL PARADIGMA DIVIDE ET IMPERA
EQUAZIONI DI RICORRENZA
ANALISI DI COMPLESSITÀ DEL MERGE-SORT
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

* 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 E LORO USO PER RAPPRESENTARE ALTRE STRUTTURE DATI
GESTIONE DEI FILE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUZIONE AGLI ALGORITMI E STRUTTURE DATI
(TERZA EDIZIONE) MCGRAW-HILL, 2010

OPPURE L'ORIGINALE IN INGLESE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUCTION TO ALGORITHMS (THIRD EDITION) MIT PRESS, 2009

B.W.KERNIGHAM, D.M.RITCHIE
IL LINGUAGGIO C, PRINCIPI DI PROGRAMMAZIONE E MANUALE DI RIFERIMENTO (SECONDA EDIZIONE)
PEARSON EDUCATION ITALIA, 2004

OPPURE L'ORIGINALE IN INGLESE

B.W.KERNIGHAM, D.M.RITCHIE
THE C PROGRAMMING LANGUAGE (SECOND EDITION)
PRENTICE HALL, 1988

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

DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT

Struttura atomica: orbitali atomici, atomi polielettronici e sistema periodico; legami chimici (teoria di Lewis e VSEPR, teoria del legame di valenza e ibridizzazione); legami delocalizzati.
Relazioni ponderali nelle reazioni chimiche; redox e numero di ossidazione
Solidi: solidi metallici, ionici, covalenti e molecolari (interazioni deboli: van der Waals e legame idrogeno).
Gas: legge del gas perfetto, miscele gassose, legge di Dalton, pressioni parziali
Termodinamica. Primo principio: concetti base (lavoro, calore, energia), funzioni di stato energia interna e entalpia, calori specifici. Secondo principo. Entropia: definizione classica ed interpretazione statistica, trasformazioni irreversibili, spontaneità delle trasformazioni (condizioni di equilibrio).
Stato liquido: pressione di vapore saturo, equazione di Clapeyron, passaggi di stato e diagrammi di stato. Varianza
Equilibrio chimico: costante e leggi dell'equilibrio; equilibri eterogenei; dissociazione termica gassosa e grado di dissociazione
Proprietà delle soluzioni: misure di concentrazione; legge di Raoult e distillazione, proprieta' colligative e diagrammi di raffreddamento, elettroliti

DEPAOLI - CHIMICA GENERALE ED INORGANICA - ED. AMBROSIANA (TEORIA)
SILVESTRONI, RALLO - PROBLEMI DI CHIMICA GENERALE - ED. MASSON (ESERCIZI)

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. IL SIMPLESSO SU RETI
FLUSSO DI COSTO MINIMO
BASI E ALBERI RICOPRENTI
CAMBIAMENTO DI BASE
FASE 1 E FASE 2
6. OTTIMIZZAZIONE SU GRAFI
MASSIMO FLUSSO
CAMMINO MINIMO
ALBERO RICOPRENTE

DISPENSE A CURA DEL DOCENTE

UTILITÀ DEI CONTROLLI AUTOMATICI. SCHEMI A BLOCCHI STRUTTURALI. MODELLI MATEMATICI DI SISTEMI DINAMICI. CLASSIFICAZIONE DEI MODELLI (LINEARITÀ, STAZIONARIETÀ, ECC.). IL CONCETTO DI STATO. LINEARIZZAZIONE INTORNO AD UN PUNTO DI EQUILIBRIO.

ANALISI DEI SISTEMI LINEARI E STAZIONARI UTILIZZANDO LE TRASFORMATE DI LAPLACE; DESCRIZIONE INGRESSO-USCITA DI UN SISTEMA DINAMICO, FUNZIONE DI TRASFERIMENTO. INTEGRALE DI CONVOLUZIONE. LE VARIABILI DI STATO, DESCRIZIONE INGRESSO-STATO-USCITA. PASSAGGIO DALLA FUNZIONE DI TRASFERIMENTO ALLO SPAZIO DI STATO E VICEVERSA. RISPOSTE A SEGNALI CANONICI. SUDDIVISIONE DELLA RISPOSTA IN RISPOSTA LIBERA E FORZATA, RISPOSTA TRANSITORIA E PERMANENTE. STABILITÀ BIBO DEI SISTEMI. CRITERIO DI STABILITÀ DI ROUTH. SCHEMI A BLOCCHI FUNZIONALI E LORO MANIPOLAZIONE.

RISPOSTA ARMONICA. DEFINIZIONE. RAPPRESENTAZIONI GRAFICHE (DIAGRAMMI DI NYQUIST, BODE, NICHOLS).
ANALISI DEI SISTEMI A CONTROREAZIONE. DERIVAZIONE DELLA RISPOSTA A CICLO CHIUSO DA QUELLA A CICLO APERTO. PROPRIETÀ DEI SISTEMI A CICLO CHIUSO. CRITERI DI STABILITÀ DI NYQUIST. MARGINI DI GUADAGNO E FASE. COMPORTAMENTO A REGIME: CLASSIFICAZIONE IN TIPI. SENSIBILITÀ ALLE VARIAZIONI PARAMETRICHE.
PROGETTAZIONE PER UN DATO COMPORTAMENTO A REGIME. PROGETTAZIONE PER UN DATO COMPORTAMENTO DINAMICO CON RETI CORRETTRICI.
PROGETTO DI CONTROLLORI A TEMPO DISCRETO PER APPROSSIMAZINE DI CONTROLLORI TEMPO CONTINUO.

UTILIZZO DI MATLAB NELLE ATTIVITA' SUDDETTE.

GIOVANNI MARRO, CONTROLLI AUTOMATICI, ZANICHELLI

LIBRI DI CONSULTAZIONE

G. MAGNANI, TECNOLOGIA DEI SISTEMI CONTROLLO, MCGRAW-HILL
CAPITOLO 5 (§§ ...) REGOLATORI INDUSTRIALI (PID)

A. ISIDORI, CONTROLLI AUTOMATICI, SIDEREA.

REGOLAZIONE AUTOMATICA, COLLANA SCHAUM, ETAS LIBRI.

Introduzione ai calcolatori Elettronici
Sistemi di numerazione binaria
L'organizzazione di un calcolatore
La logica digitale di un calcolatore
La microarchitettura di un calcolatore
Il linguaggio macchina di un calcolatore
I linguaggi assemblativi
Programmazione in linguaggio Assembler IA32

A.S. Tanembaum. Structured computer organization, 5th edition, Prentice Hall 2006 (esiste una traduzione italiana di questo libro dal titolo "Architettura dei calcolatori: un approccio strutturale" edita dalla Pearson Italia).Materiale fornito dal docente.

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
RIFLESSION

MATERIALE DISPONIBILE SUL SITO DEL CORSO: TRASPARENZE E CODICE USATO A LEZIONE, VERIFICHE, HOMEWORK.

IL CORSO PRESENTA UN PERCORSO FORMATIVO CHE PROMUOVE E FAVORISCE LA CULTURA, LE POLITICHE E LE PRASSI DI PARI OPPORTUNITÀ TRA DONNE E UOMINI NELLA SOCIETÀ E NEL MONDO DEL LAVORO, FORNENDO LE CONOSCENZE NECESSARIE PER ENTRARE CON MAGGIORI COMPETENZE NELLE ISTITUZIONI E NELLE PROFESSIONI E STIMOLANDO UNA PARTECIPAZIONE DI TUTTI ALLA VITA PUBBLICA, SECONDO IL DETTATO DELLA COSTITUZIONE ITALIANA.

DISPENSA PROPOSTA DAL DOCENTE.

ELEMENTI DI ANALISI ECONOMICA: COMPORTAMENTO DEI CONSUMATORI E DEI PRODUTTORI: IL PROBLEMA DELLA SCELTA OTTIMA DEI CONSUMATORI SOGGETTI AL VINCOLO DI BILANCIO, ELASTICITÀ DELLA DOMANDA. LE DECISIONI DI PRODUZIONE (BREVE E LUNGO PERIODO): MASSIMIZZAZIONE DEL PROFITTO DELL’IMPRESA, TECNOLOGIA E FUNZIONE DI PRODUZIONE, RENDIMENTI DI SCALA. COSTI DI PRODUZIONE.

CONTABILITÀ DIREZIONALE: I COSTI PIENI E IL LORO IMPIEGO: COSTI DIRETTI E COSTI INDIRETTI; CONFRONTO TRA COSTI DIRETTI E COSTI VARIABILI; COSTI SPECIALI E COSTI COMUNI VERSUS COSTI DIRETTI E COSTI INDIRETTI.
I SISTEMI DI DETERMINAZIONE DEI COSTI PER COMMESSA E PER PROCESSO; LA RILEVAZIONE DEI COSTI DIRETTI (MANODOPERA E MATERIALI); IL PROBLEMA DELL’ALLOCAZIONE DEI COSTI INDIRETTI; I CENTRI DI COSTO, COEFFICIENTI DI ALLOCAZIONE DEI COSTI GENERALI;
LA DETERMINAZIONE DEI COSTI BASATA SULLE ATTIVITÀ: L’ACTIVITY BASED COSTING

METODOLOGIE DI ANALISI DEI PROGETTI DI INVESTIMENTO: VALORE ATTUALE E COSTO OPPORTUNITÀ DEL CAPITALE; LA REGOLA DEL VALORE ATTUALE NETTO; VALUTAZIONE DELLE ATTIVITÀ A LUNGO TERMINE; RENDITE PERPETUE ED ANNUE; INTERESSE COMPOSTO E VALORE ATTUALE; TASSI DI INTERESSE NOMINALI E REALI.
CRITERI DI SCELTA DEGLI INVESTIMENTI ALTERNATIVI AL VALORE ATTUALE NETTO: TEMPO DI RECUPERO; TASSO INTERNO DI RENDIMENTO; DECISIONI DI INVESTIMENTO CON IL METODO DEL VAN: STIMA DEI FLUSSI DI CASSA E INTERAZIONE FRA PROGETTI

VARIAN H., MICROECONOMIA, CAFOSCARINA, VENEZIA.

ROBERT N. ANTHONY, DAVID F. HAWKINS, DIEGO M. MACRÌ, KENNETH A. MERCHANT. ANALISI DEI COSTI, MC GRAW-HILL

R. A. BREALEY; S. C. MYERS; S. SANDRI; CAPITAL BUDGETING, MC GRAW-HILL.

INTRODUZIONE ALLE RETI DI CALCOLATORI;
IL MODELLO DI RIFERIMENTO ISO-OSI;
IL PROGETTO IEEE 802: ARCHITETTURA, IL SOTTOLIVELLO MAC, IL SOTTOLIVELLO LLC;
CSMA/CD;
ETHERNET E LO STANDARD 802.3;
RETI AD ANELLO;
FUNZIONI E CARATTERISTICHE TECNICHE DEGLI SWITCH (BRIDGE);
EVOLUZIONE DI ETHERNET;
RETI WIRELESS E CSMA/CA;
PROTOCOLLI DI LINEA;
LO STRATO DI RETE ED IL PROTOCOLLO IP;
ICMP, PING E TRACEROUTE;
LO STRATO DI TRASPORTO;
IL DOMAIN NAME SYSTEM;
IL LINGUAGGIO HTML;
IL PROTOCOLLO HTTP;
IL SERVIZIO DI POSTA ELETTRONICA;
IL SERVIZIO DI TRASFERIMENTO FILE

SLIDES FORNITE DAL DOCENTE; E' FACOLTATIVO L'USO DI JAMES F. KUROSE, KEITH W. ROSS "INTERNET E RETI DI CALCOLATORI" PEARSON EDUCATION

INTRODUZIONE ALLA PROGRAMMAZIONE LINEARE A NUMERI INTERI (PLI): RELAZIONE FRA PL E PLI, FORMULAZIONI EQUIVALENTI, RILASSAMENTI, MATRICI TOTALMENTE UNIMODULARI, TECNICHE STANDARD PER LA FORMULAZIONE DI PROBLEMI DI PLI. FORMULAZIONE DI TIPICI PROBLEMI DI OTTIMIZZAZIONE: LOCALIZZAZIONE DI IMPIANTI, SCELTA DI INVESTIMENTI, SEQUENZIAMENTO DI ATTIVITÀ, OTTIMIZZAZIONE SU RETI, TRASPORTI, SET COVERING, SET PARTITIONING, SET PACKING, TURNI DEL PERSONALE.SOLUZIONE ESATTA DI PROBLEMI DI PROGRAMMAZIONE LINEARE A NUMERI INTERI: BRANCH AND BOUND, IL PROBLEMA DI KNAPSACK, PIANI DI TAGLIO.METODI DI PROGRAMMAZIONE DINAMICA (PD): ALGORITMO DI PD PER IL KNAPSACK CAPACITATO, ALGORITMO DI PD PER IL KNAPSACK INTERO NON CAPACITATO.OTTIMIZZAZIONE SU GRAFI: MATCHING, MINIMO COVER, MASSIMO FLUSSO, MASSIMO STABILE. GRAFI EULERIANI E GRAFI BIPARTITI.UTILIZZO DI UN SOFTWARE COMMERCIALE PER LA SOLUZIONE DI PROBLEMI DI PROGRAMMAZIONE MATEMATICA.

[1] M. FISCHETTI, "LEZIONI DI RICERCA OPERATIVA", EDIZIONI LIBRERIA PROGETTO PADOVA, ITALIA, 1995. (CAP. 2, 5, PARTE DEL 6 E DEL 7).[2] R. AHUJA, T. MAGNANTI, J. ORLIN, "NETWORK FLOWS", PRENTICE HALL, 1993. (PG. 189-191, 473-475, 494-496)[3] DISPENSE FORNITE DAL DOCENTE E/O DISPONIBILI SUL WEB.

• MODULO 1 INTRODUZIONE
1. CENNI STORICI
2. SCENARIO ATTUALE
3. RICHIAMI DI TEORIA DELL’ORGANIZZAZIONE
4. DEFINIZIONE E CARATTERISTICHE DI PROGETTO
5. PROJECT MANAGEMENT
6. BODY OF KNOWLEDGE DEL PROJECT MANAGEMENT

• MODULO 2 CICLO DI VITA DEL PROGETTO
1. CONCETTO DI CICLO DI VITA DEL PROGETTO
2. LE FASI DEL CICLO DI VITA DEL PROGETTO
3. LA PIANIFICAZIONE DEI PROGETTI
4. IL CICLO DELLA PIANIFICAZIONE E CONTROLLO DEI PROGETTI

• MODULO 3 PIANIFICAZIONE LOGICA DEL PROGETTO
1. WORK BREAKDOWN STRUCTURE
2. ATTIVITÀ ELEMENTARI
3. WORK PACKAGE DESCRIPTION
4. MATRICE DI RESPONSABILITÀ

• MODULO 4 SPECIFICAZIONE E CONTROLLO TECNICO
1. SPECIFICAZIONE
2. CONTROLLO TECNICO (DESIGN REVIEW, COLLAUDI)

• MODULO 5 PIANIFICAZIONE E CONTROLLO TEMPI/RISORSE
1. MILESTONES
2. DIAGRAMMI A BARRE
3. RETICOLI E ALGORITMI DI ALLOCAZIONE
4. SCHEDULING

• MODULO 6 PIANIFICAZIONE E CONTROLLO COSTI
1. STRUTTURA E MODALITÀ DEL BUDGET E CONTROLLO NEI PROGETTI
2. PREVENTIVAZIONE
3. APERTURA DI COMMESSA E AUTORIZZAZIONI A SPENDERE
4. PREVISIONE DI SPESA NEL TEMPO
5. EARNED VALUE
6. INDICATORI
7. PREVENTIVI A FINIRE

• MODULO 7 ELEMENTI DI RISK MANAGEMENT
1. ANALISI E VALUTAZIONE DEL RISCHIO
2. AZIONI DI CONTRASTO E CONTROLLO DEL RISCHIO
3. TEORIA DELLE DECISIONI

• MODULO 8 REPORTING
1. AVANZAMENTO DEL PROGETTO
2. INDICATORI DI COMPLETAMENTO
3. REPORT

• MODULO 9 PRINCIPI DI DOCUMENTAZIONE TECNICA
1. STRUTTURA DEL SISTEMA DI DOCUMENTAZIONE DI UN PROGETTO
2. DOCUMENTI TECNICI
3. CONTROLLO DI CONFIGURAZIONE

• MODULO 10 ASPETTI ORGANIZZATIVI E COMPORTAMENTALI
1. IL PROJECT OFFICE
2. RUOLO E COMPETENZE DEL PROJECT MANAGER

• ELEMENTI DI COMUNICAZIONE INTERPERSONALE

•TESTO DI RIFERIMENTO:
STEFANO PROTTO “CONCETTI E STRUMENTI DI PROJECT MANAGEMENT” II ED. 2006 FRANCO ANGELI.
•DISPENSA AGGIUNTIVA RELATIVA AL MODULO 1 (TRATTATO IN AULA, NON NEL TESTO DI RIFERIMENTO)
"PRINCIPI DI ORGANIZZAZIONE STRUTTURALE IN AZIENDE AD ALTA TECNOLOGIA" (PDF)
•SLIDES RELATIVE AL MODULO 10 (TRATTATO IN AULA, NON NEL TESTO DI RIFERIMENTO)
"PROJECT OFFICE E PROJECT MANAGER" (PDF)

INTRODUZIONE AL CONTROLLO DIGITALE. GENERALITÀ SUL CONTROLLO DIRETTO IN LINEA. LA DISCRETIZZAZIONE NEL TEMPO E LA QUANTIZZAZIONE IN AMPIEZZA. STRUMENTI MATEMATICI PER L'ANALISI DEI SISTEMI A TEMPO DISCRETO. LA DISCRETIZZAZIONE DEL TEMPO, EQUAZIONI LINEARI ALLE DIFFERENZE, LA Z-TRASFORMATA. CAMPIONAMENTO E RICOSTRUZIONE DEI SEGNALI. IL CAMPIONAMENTO IMPULSIVO, SPETTRO DEL SEGNALE CAMPIONATO, RICOSTRUTTORI DEL SEGNALE, CORRISPONDENZA TRA IL PIANO COMPLESSO S E IL PIANO COMPLESSO Z. LA FUNZIONE DI TRASFERIMENTO DISCRETA. STABILITÀ DEI SISTEMI A TEMPO DISCRETO. LA PRECISIONE. LE SPECIFICHE DI PROGETTO PER UN SISTEMA DI CONTROLLO NUMERICO DIRETTO. IL PROGETTO DELL'ALGORITMO DI CONTROLLO. METODI DI PROGETTO NEL DOMINIO DELLA FREQUENZA APPROSSIMATI ED ESATTI. METODI DI PROGETTO NEL DOMINIO DI Z CON IL LUOGO DELLE RADICI E CON METODI ANALITICI. LA REALIZZAZIONE DI REGOLATORI STANDARD (PID) DIGITALI. REALIZZAZIONE DEL CONTROLLO DIGITALE. STRUTTURAZIONE DELL'ALGORITMO, RAPPRESENTAZIONE DELLE GRANDEZZE, FILTRAGGIO ANTI ALIASING, SCELTA DEL PERIODO DI CAMPIONAMENTO. IMPIEGO DI SISTEMI DI CONTROLLO A MICROPROCESSORE. IL PIC.

LIBRO DI TESTO
C. BONIVENTO, C. MELCHIORRI, R. ZANASI, "SISTEMI DI CONTROLLO DIGITALE", SOCIETÀ EDITRICE ESCULAPIO S.R.L., 1995
LIBRI DI CONSULTAZIONE
G.C. BUTTAZZO, "SISTEMI IN TEMPO REALE", PITAGORA EDITRICE, BOLOGNA, TERZA EDIZIONE, 2006



A. CAVALLO, R. SETOLA, F. VASCA, "LA NUOVA GUIDA A MATLAB SIMULINK E CONTROL TOOLBOX", LIGUORI EDITORE, 2002

RICHIAMI SULLA PRODUZIONE INTEGRATA (CIM). STANDARD DI MERCATO DELLE RETI INFORMATICHE PER L'AUTOMAZIONE. RETI PER IL CONTROLLO E RETI DI CAMPO. SISTEMI DI CONTROLLO SUPERVISIVO E DI ACQUISIZIONE DATI PER PROCESSI INDUSTRIALI (SCADA). STRUTTURA E CLASSIFICAZIONE DEI CONTROLLORI A LOGICA PROGRAMMABILE (PLC). AMBIENTI DI PROGRAMMAZIONE PER LINGUAGGIO A CONTATTI (LADDER LOGIC) E RELATIVI SISTEMI DI SVILUPPO. DIAGRAMMI FUNZIONALI SEQUENZIALI (SFC) PER LA DESCRIZIONE DELLA LOGICA DI CONTROLLO. TRADUZIONE DELL'SFC IN EQUAZIONI BOOLEANE EQUIVALENTI ED IN LINGUAGGIO A CONTATTI. SENSORI PER APPLICAZIONI INDUSTRIALI. MOTION CONTROL. COMUNICAZIONI TRA PROCESSI E SERVIZI DISTRIBUITI: DDE, COM, FRAMEWORK JINI. PROBLEMATICHE DI SICUREZZA INFORMATICA ASSOCIATE AI SISTEMI SCADA.

- PASQUALE CHIACCHIO, FRANCESCO BASILE "TECNOLOGIE INFORMATICHE PER L'AUTOMAZIONE," SECONDA EDIZIONE, MCGRAW-HILL LIBRI ITALIA, 2004. [CAPITOLI: 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, APP. A]

- ARMANDO MARTIN "DIZIONARIO DI AUTOMAZIONE E INFORMATICA INDUSTRIALE," EDITORIALE DELFINO, 2006.

-GIANANTONIO MAGNANI, "TECNOLOGIE DEI SISTEMI DI CONTROLLO," MCGRAW-HILL LIBRI ITALIA, 2000. [CAPITOLI:]

Prime nozioni di sistemi di telecomunicazione, operazioni su segnali e spettri. Elementi e concetti di base. Informazione, messaggi, segnali, sorgenti e trasduttori. Trasformata di Fourier. Proprietà della trasformata di Fourier. Spettro di densità di energia e teorema di Rayleigh per segnali di energia. Spettro di segnali periodici, teorema di Parseval. Spettro di densità di potenza e teorema di Wiener-Kinchine per segnali di energia e di potenza.

Teorema del Campionamento e Trasformazioni di segnali. Campionamento ideale e ricostruzione. Campionamento reale, aliasing, cadenza di Nyquist. Transito di segnali tempo discreto e continuo attraverso sistemi lineari tempo-invarianti (LTI). Segnali PAM digitali multi-livello, codifica di linea binaria e multi-livello. Interferenza inter-simbolica, teorema di Nyquist, forma tipica degli impulsi per ridurre l'interferenza, roll-off, coseno rialzato, filtro ottimo in presenza di rumore, rumore bianco, filtro ottimo (filtro adattato) in presenza di rumore bianco.

Teoria della probabilità, modelli statistici, trasformazioni di variabili aleatorie ed elementi di elaborazione numerica. Concetti di base. Momenti statistici di variabili aleatorie. Valore atteso, varianza, valore quadratico medio e loro relazione. Stimatori di momenti statistici ed applicazione alla stima di valor medio, varianza, valore quadratico medio. Trasformazioni di variabili aleatorie ed effetto sulla densita’ di probabilita’. Risoluzione di problemi statistici sui segnali aleatori.

Teoria dell’informazione, elaborazione di sorgente e codifica efficiente per segnali, immagini e video digitali. Elementi di teoria dell'Informazione, contenuto informativo ed entropia. Codifica entropica di sorgente (ottima). Efficienza e ridondanza dei codici. Quantizzazione, campionamento e codifica ad impulsi di segnali (PCM). Esempi applicativi.

Trasmissione di segnali ed elaborazione per l'accesso e la condivisione del canale di comunicazione. Canale di comunicazione e capacita’ di canale. Mezzi trasmissivi: cavo, fibra ottica, radio. Tipi di modulazione numerica e loro caratteristiche: modulazione numerica di ampiezza (ASK, OOK), di frequenza (FSK, MSK, cenni di OFDM), di fase (BPSK, QPSK, m-PSK), ampiezza e fase (QAM). Esempi applicativi.

- 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.

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 THETA)
* COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI
* ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE
* DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE
* COMPLESSITÀ ASINTOTICA DEI PROBLEMI


STRUTTURE DI DATI ELEMENTARI:

* PILE E CODE
* LISTE CONCATENATE E DOPPIAMENTE CONCATENATE
* ALBERI E ALBERI BINARI
* TABELLE HASH
* ALBERI BINARI DI RICERCA
* ALBERI ROSSO-NERI
* GRAFI

ALGORITMI DI ORDINAMENTO:

* ORDINAMENTO TRAMITE SELECTION-SORT
LA TECNICA GREEDY
IL CONCETTO DI INVARIANTE DI CICLO
ALGORITMI DI ORDINAMENTO "IN-LOCO"
ALGORITMI DI ORDINAMENTO "STABILI"

* ORDINAMENTO TRAMITE INSERTION-SORT
ALGORITMI INCREMENTALI

* ORDINAMENTO TRAMITE MERGE-SORT
IL PARADIGMA DIVIDE ET IMPERA
EQUAZIONI DI RICORRENZA
ANALISI DI COMPLESSITÀ DEL MERGE-SORT
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

* 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 E LORO USO PER RAPPRESENTARE ALTRE STRUTTURE DATI
GESTIONE DEI FILE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUZIONE AGLI ALGORITMI E STRUTTURE DATI
(TERZA EDIZIONE) MCGRAW-HILL, 2010

OPPURE L'ORIGINALE IN INGLESE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUCTION TO ALGORITHMS (THIRD EDITION) MIT PRESS, 2009

B.W.KERNIGHAM, D.M.RITCHIE
IL LINGUAGGIO C, PRINCIPI DI PROGRAMMAZIONE E MANUALE DI RIFERIMENTO (SECONDA EDIZIONE)
PEARSON EDUCATION ITALIA, 2004

OPPURE L'ORIGINALE IN INGLESE

B.W.KERNIGHAM, D.M.RITCHIE
THE C PROGRAMMING LANGUAGE (SECOND EDITION)
PRENTICE HALL, 1988

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

DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT

Struttura atomica: orbitali atomici, atomi polielettronici e sistema periodico; legami chimici (teoria di Lewis e VSEPR, teoria del legame di valenza e ibridizzazione); legami delocalizzati.
Relazioni ponderali nelle reazioni chimiche; redox e numero di ossidazione
Solidi: solidi metallici, ionici, covalenti e molecolari (interazioni deboli: van der Waals e legame idrogeno).
Gas: legge del gas perfetto, miscele gassose, legge di Dalton, pressioni parziali
Termodinamica. Primo principio: concetti base (lavoro, calore, energia), funzioni di stato energia interna e entalpia, calori specifici. Secondo principo. Entropia: definizione classica ed interpretazione statistica, trasformazioni irreversibili, spontaneità delle trasformazioni (condizioni di equilibrio).
Stato liquido: pressione di vapore saturo, equazione di Clapeyron, passaggi di stato e diagrammi di stato. Varianza
Equilibrio chimico: costante e leggi dell'equilibrio; equilibri eterogenei; dissociazione termica gassosa e grado di dissociazione
Proprietà delle soluzioni: misure di concentrazione; legge di Raoult e distillazione, proprieta' colligative e diagrammi di raffreddamento, elettroliti

DEPAOLI - CHIMICA GENERALE ED INORGANICA - ED. AMBROSIANA (TEORIA)
SILVESTRONI, RALLO - PROBLEMI DI CHIMICA GENERALE - ED. MASSON (ESERCIZI)

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. IL SIMPLESSO SU RETI
FLUSSO DI COSTO MINIMO
BASI E ALBERI RICOPRENTI
CAMBIAMENTO DI BASE
FASE 1 E FASE 2
6. OTTIMIZZAZIONE SU GRAFI
MASSIMO FLUSSO
CAMMINO MINIMO
ALBERO RICOPRENTE

DISPENSE A CURA DEL DOCENTE

UTILITÀ DEI CONTROLLI AUTOMATICI. SCHEMI A BLOCCHI STRUTTURALI. MODELLI MATEMATICI DI SISTEMI DINAMICI. CLASSIFICAZIONE DEI MODELLI (LINEARITÀ, STAZIONARIETÀ, ECC.). IL CONCETTO DI STATO. LINEARIZZAZIONE INTORNO AD UN PUNTO DI EQUILIBRIO.

ANALISI DEI SISTEMI LINEARI E STAZIONARI UTILIZZANDO LE TRASFORMATE DI LAPLACE; DESCRIZIONE INGRESSO-USCITA DI UN SISTEMA DINAMICO, FUNZIONE DI TRASFERIMENTO. INTEGRALE DI CONVOLUZIONE. LE VARIABILI DI STATO, DESCRIZIONE INGRESSO-STATO-USCITA. PASSAGGIO DALLA FUNZIONE DI TRASFERIMENTO ALLO SPAZIO DI STATO E VICEVERSA. RISPOSTE A SEGNALI CANONICI. SUDDIVISIONE DELLA RISPOSTA IN RISPOSTA LIBERA E FORZATA, RISPOSTA TRANSITORIA E PERMANENTE. STABILITÀ BIBO DEI SISTEMI. CRITERIO DI STABILITÀ DI ROUTH. SCHEMI A BLOCCHI FUNZIONALI E LORO MANIPOLAZIONE.

RISPOSTA ARMONICA. DEFINIZIONE. RAPPRESENTAZIONI GRAFICHE (DIAGRAMMI DI NYQUIST, BODE, NICHOLS).
ANALISI DEI SISTEMI A CONTROREAZIONE. DERIVAZIONE DELLA RISPOSTA A CICLO CHIUSO DA QUELLA A CICLO APERTO. PROPRIETÀ DEI SISTEMI A CICLO CHIUSO. CRITERI DI STABILITÀ DI NYQUIST. MARGINI DI GUADAGNO E FASE. COMPORTAMENTO A REGIME: CLASSIFICAZIONE IN TIPI. SENSIBILITÀ ALLE VARIAZIONI PARAMETRICHE.
PROGETTAZIONE PER UN DATO COMPORTAMENTO A REGIME. PROGETTAZIONE PER UN DATO COMPORTAMENTO DINAMICO CON RETI CORRETTRICI.
PROGETTO DI CONTROLLORI A TEMPO DISCRETO PER APPROSSIMAZINE DI CONTROLLORI TEMPO CONTINUO.

UTILIZZO DI MATLAB NELLE ATTIVITA' SUDDETTE.

GIOVANNI MARRO, CONTROLLI AUTOMATICI, ZANICHELLI

LIBRI DI CONSULTAZIONE

G. MAGNANI, TECNOLOGIA DEI SISTEMI CONTROLLO, MCGRAW-HILL
CAPITOLO 5 (§§ ...) REGOLATORI INDUSTRIALI (PID)

A. ISIDORI, CONTROLLI AUTOMATICI, SIDEREA.

REGOLAZIONE AUTOMATICA, COLLANA SCHAUM, ETAS LIBRI.

Introduzione ai calcolatori Elettronici
Sistemi di numerazione binaria
L'organizzazione di un calcolatore
La logica digitale di un calcolatore
La microarchitettura di un calcolatore
Il linguaggio macchina di un calcolatore
I linguaggi assemblativi
Programmazione in linguaggio Assembler IA32

A.S. Tanembaum. Structured computer organization, 5th edition, Prentice Hall 2006 (esiste una traduzione italiana di questo libro dal titolo "Architettura dei calcolatori: un approccio strutturale" edita dalla Pearson Italia).Materiale fornito dal docente.

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
RIFLESSION

MATERIALE DISPONIBILE SUL SITO DEL CORSO: TRASPARENZE E CODICE USATO A LEZIONE, VERIFICHE, HOMEWORK.

IL CORSO PRESENTA UN PERCORSO FORMATIVO CHE PROMUOVE E FAVORISCE LA CULTURA, LE POLITICHE E LE PRASSI DI PARI OPPORTUNITÀ TRA DONNE E UOMINI NELLA SOCIETÀ E NEL MONDO DEL LAVORO, FORNENDO LE CONOSCENZE NECESSARIE PER ENTRARE CON MAGGIORI COMPETENZE NELLE ISTITUZIONI E NELLE PROFESSIONI E STIMOLANDO UNA PARTECIPAZIONE DI TUTTI ALLA VITA PUBBLICA, SECONDO IL DETTATO DELLA COSTITUZIONE ITALIANA.

DISPENSA PROPOSTA DAL DOCENTE.

Prime nozioni di sistemi di telecomunicazione, operazioni su segnali e spettri. Elementi e concetti di base. Informazione, messaggi, segnali, sorgenti e trasduttori. Trasformata di Fourier. Proprietà della trasformata di Fourier. Spettro di densità di energia e teorema di Rayleigh per segnali di energia. Spettro di segnali periodici, teorema di Parseval. Spettro di densità di potenza e teorema di Wiener-Kinchine per segnali di energia e di potenza.

Teorema del Campionamento e Trasformazioni di segnali. Campionamento ideale e ricostruzione. Campionamento reale, aliasing, cadenza di Nyquist. Transito di segnali tempo discreto e continuo attraverso sistemi lineari tempo-invarianti (LTI). Segnali PAM digitali multi-livello, codifica di linea binaria e multi-livello. Interferenza inter-simbolica, teorema di Nyquist, forma tipica degli impulsi per ridurre l'interferenza, roll-off, coseno rialzato, filtro ottimo in presenza di rumore, rumore bianco, filtro ottimo (filtro adattato) in presenza di rumore bianco.

Teoria della probabilità, modelli statistici, trasformazioni di variabili aleatorie ed elementi di elaborazione numerica. Concetti di base. Momenti statistici di variabili aleatorie. Valore atteso, varianza, valore quadratico medio e loro relazione. Stimatori di momenti statistici ed applicazione alla stima di valor medio, varianza, valore quadratico medio. Trasformazioni di variabili aleatorie ed effetto sulla densita’ di probabilita’. Risoluzione di problemi statistici sui segnali aleatori.

Teoria dell’informazione, elaborazione di sorgente e codifica efficiente per segnali, immagini e video digitali. Elementi di teoria dell'Informazione, contenuto informativo ed entropia. Codifica entropica di sorgente (ottima). Efficienza e ridondanza dei codici. Quantizzazione, campionamento e codifica ad impulsi di segnali (PCM). Esempi applicativi.

Trasmissione di segnali ed elaborazione per l'accesso e la condivisione del canale di comunicazione. Canale di comunicazione e capacita’ di canale. Mezzi trasmissivi: cavo, fibra ottica, radio. Tipi di modulazione numerica e loro caratteristiche: modulazione numerica di ampiezza (ASK, OOK), di frequenza (FSK, MSK, cenni di OFDM), di fase (BPSK, QPSK, m-PSK), ampiezza e fase (QAM). Esempi applicativi.

- 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.

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 THETA)
* COMPLESSITÀ ASINTOTICA DEGLI ALGORITMI
* ANALISI DEL CASO MIGLIORE, MEDIO, PEGGIORE
* DETERMINAZIONE DELLA COMPLESSITÀ A PARTIRE DALLO PSEUDOCODICE
* COMPLESSITÀ ASINTOTICA DEI PROBLEMI


STRUTTURE DI DATI ELEMENTARI:

* PILE E CODE
* LISTE CONCATENATE E DOPPIAMENTE CONCATENATE
* ALBERI E ALBERI BINARI
* TABELLE HASH
* ALBERI BINARI DI RICERCA
* ALBERI ROSSO-NERI
* GRAFI

ALGORITMI DI ORDINAMENTO:

* ORDINAMENTO TRAMITE SELECTION-SORT
LA TECNICA GREEDY
IL CONCETTO DI INVARIANTE DI CICLO
ALGORITMI DI ORDINAMENTO "IN-LOCO"
ALGORITMI DI ORDINAMENTO "STABILI"

* ORDINAMENTO TRAMITE INSERTION-SORT
ALGORITMI INCREMENTALI

* ORDINAMENTO TRAMITE MERGE-SORT
IL PARADIGMA DIVIDE ET IMPERA
EQUAZIONI DI RICORRENZA
ANALISI DI COMPLESSITÀ DEL MERGE-SORT
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

* 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 E LORO USO PER RAPPRESENTARE ALTRE STRUTTURE DATI
GESTIONE DEI FILE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUZIONE AGLI ALGORITMI E STRUTTURE DATI
(TERZA EDIZIONE) MCGRAW-HILL, 2010

OPPURE L'ORIGINALE IN INGLESE

T.H.CORMEN, C.E.LEISERSON, R.L.RIVEST, C.STEIN
INTRODUCTION TO ALGORITHMS (THIRD EDITION) MIT PRESS, 2009

B.W.KERNIGHAM, D.M.RITCHIE
IL LINGUAGGIO C, PRINCIPI DI PROGRAMMAZIONE E MANUALE DI RIFERIMENTO (SECONDA EDIZIONE)
PEARSON EDUCATION ITALIA, 2004

OPPURE L'ORIGINALE IN INGLESE

B.W.KERNIGHAM, D.M.RITCHIE
THE C PROGRAMMING LANGUAGE (SECOND EDITION)
PRENTICE HALL, 1988

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

DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT

Struttura atomica: orbitali atomici, atomi polielettronici e sistema periodico; legami chimici (teoria di Lewis e VSEPR, teoria del legame di valenza e ibridizzazione); legami delocalizzati.
Relazioni ponderali nelle reazioni chimiche; redox e numero di ossidazione
Solidi: solidi metallici, ionici, covalenti e molecolari (interazioni deboli: van der Waals e legame idrogeno).
Gas: legge del gas perfetto, miscele gassose, legge di Dalton, pressioni parziali
Termodinamica. Primo principio: concetti base (lavoro, calore, energia), funzioni di stato energia interna e entalpia, calori specifici. Secondo principo. Entropia: definizione classica ed interpretazione statistica, trasformazioni irreversibili, spontaneità delle trasformazioni (condizioni di equilibrio).
Stato liquido: pressione di vapore saturo, equazione di Clapeyron, passaggi di stato e diagrammi di stato. Varianza
Equilibrio chimico: costante e leggi dell'equilibrio; equilibri eterogenei; dissociazione termica gassosa e grado di dissociazione
Proprietà delle soluzioni: misure di concentrazione; legge di Raoult e distillazione, proprieta' colligative e diagrammi di raffreddamento, elettroliti

DEPAOLI - CHIMICA GENERALE ED INORGANICA - ED. AMBROSIANA (TEORIA)
SILVESTRONI, RALLO - PROBLEMI DI CHIMICA GENERALE - ED. MASSON (ESERCIZI)

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. IL SIMPLESSO SU RETI
FLUSSO DI COSTO MINIMO
BASI E ALBERI RICOPRENTI
CAMBIAMENTO DI BASE
FASE 1 E FASE 2
6. OTTIMIZZAZIONE SU GRAFI
MASSIMO FLUSSO
CAMMINO MINIMO
ALBERO RICOPRENTE

DISPENSE A CURA DEL DOCENTE

UTILITÀ DEI CONTROLLI AUTOMATICI. SCHEMI A BLOCCHI STRUTTURALI. MODELLI MATEMATICI DI SISTEMI DINAMICI. CLASSIFICAZIONE DEI MODELLI (LINEARITÀ, STAZIONARIETÀ, ECC.). IL CONCETTO DI STATO. LINEARIZZAZIONE INTORNO AD UN PUNTO DI EQUILIBRIO.

ANALISI DEI SISTEMI LINEARI E STAZIONARI UTILIZZANDO LE TRASFORMATE DI LAPLACE; DESCRIZIONE INGRESSO-USCITA DI UN SISTEMA DINAMICO, FUNZIONE DI TRASFERIMENTO. INTEGRALE DI CONVOLUZIONE. LE VARIABILI DI STATO, DESCRIZIONE INGRESSO-STATO-USCITA. PASSAGGIO DALLA FUNZIONE DI TRASFERIMENTO ALLO SPAZIO DI STATO E VICEVERSA. RISPOSTE A SEGNALI CANONICI. SUDDIVISIONE DELLA RISPOSTA IN RISPOSTA LIBERA E FORZATA, RISPOSTA TRANSITORIA E PERMANENTE. STABILITÀ BIBO DEI SISTEMI. CRITERIO DI STABILITÀ DI ROUTH. SCHEMI A BLOCCHI FUNZIONALI E LORO MANIPOLAZIONE.

RISPOSTA ARMONICA. DEFINIZIONE. RAPPRESENTAZIONI GRAFICHE (DIAGRAMMI DI NYQUIST, BODE, NICHOLS).
ANALISI DEI SISTEMI A CONTROREAZIONE. DERIVAZIONE DELLA RISPOSTA A CICLO CHIUSO DA QUELLA A CICLO APERTO. PROPRIETÀ DEI SISTEMI A CICLO CHIUSO. CRITERI DI STABILITÀ DI NYQUIST. MARGINI DI GUADAGNO E FASE. COMPORTAMENTO A REGIME: CLASSIFICAZIONE IN TIPI. SENSIBILITÀ ALLE VARIAZIONI PARAMETRICHE.
PROGETTAZIONE PER UN DATO COMPORTAMENTO A REGIME. PROGETTAZIONE PER UN DATO COMPORTAMENTO DINAMICO CON RETI CORRETTRICI.
PROGETTO DI CONTROLLORI A TEMPO DISCRETO PER APPROSSIMAZINE DI CONTROLLORI TEMPO CONTINUO.

UTILIZZO DI MATLAB NELLE ATTIVITA' SUDDETTE.

GIOVANNI MARRO, CONTROLLI AUTOMATICI, ZANICHELLI

LIBRI DI CONSULTAZIONE

G. MAGNANI, TECNOLOGIA DEI SISTEMI CONTROLLO, MCGRAW-HILL
CAPITOLO 5 (§§ ...) REGOLATORI INDUSTRIALI (PID)

A. ISIDORI, CONTROLLI AUTOMATICI, SIDEREA.

REGOLAZIONE AUTOMATICA, COLLANA SCHAUM, ETAS LIBRI.

Introduzione ai calcolatori Elettronici
Sistemi di numerazione binaria
L'organizzazione di un calcolatore
La logica digitale di un calcolatore
La microarchitettura di un calcolatore
Il linguaggio macchina di un calcolatore
I linguaggi assemblativi
Programmazione in linguaggio Assembler IA32

A.S. Tanembaum. Structured computer organization, 5th edition, Prentice Hall 2006 (esiste una traduzione italiana di questo libro dal titolo "Architettura dei calcolatori: un approccio strutturale" edita dalla Pearson Italia).Materiale fornito dal docente.

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
RIFLESSION

MATERIALE DISPONIBILE SUL SITO DEL CORSO: TRASPARENZE E CODICE USATO A LEZIONE, VERIFICHE, HOMEWORK.

IL CORSO PRESENTA UN PERCORSO FORMATIVO CHE PROMUOVE E FAVORISCE LA CULTURA, LE POLITICHE E LE PRASSI DI PARI OPPORTUNITÀ TRA DONNE E UOMINI NELLA SOCIETÀ E NEL MONDO DEL LAVORO, FORNENDO LE CONOSCENZE NECESSARIE PER ENTRARE CON MAGGIORI COMPETENZE NELLE ISTITUZIONI E NELLE PROFESSIONI E STIMOLANDO UNA PARTECIPAZIONE DI TUTTI ALLA VITA PUBBLICA, SECONDO IL DETTATO DELLA COSTITUZIONE ITALIANA.

DISPENSA PROPOSTA DAL DOCENTE.

Sistemi di basi di dati: proprietà fondamentali. Modello relazionale. Algebra relazionale. SQL. Progettazione concettuale di basi di dati. Progettazione logica di basi di dati. Normalizzazione.

P. ATZENI, S. CERI, S. PARABOSCHI, R. TORLONE: BASI DI DATI: MODELLI E LINGUAGGI DI INTERROGAZIONE. MCGRAW-HILL, SECONDA EDIZIONE 2006

ELEMENTI DI ANALISI ECONOMICA: COMPORTAMENTO DEI CONSUMATORI E DEI PRODUTTORI: IL PROBLEMA DELLA SCELTA OTTIMA DEI CONSUMATORI SOGGETTI AL VINCOLO DI BILANCIO, ELASTICITÀ DELLA DOMANDA. LE DECISIONI DI PRODUZIONE (BREVE E LUNGO PERIODO): MASSIMIZZAZIONE DEL PROFITTO DELL’IMPRESA, TECNOLOGIA E FUNZIONE DI PRODUZIONE, RENDIMENTI DI SCALA. COSTI DI PRODUZIONE.

CONTABILITÀ DIREZIONALE: I COSTI PIENI E IL LORO IMPIEGO: COSTI DIRETTI E COSTI INDIRETTI; CONFRONTO TRA COSTI DIRETTI E COSTI VARIABILI; COSTI SPECIALI E COSTI COMUNI VERSUS COSTI DIRETTI E COSTI INDIRETTI.
I SISTEMI DI DETERMINAZIONE DEI COSTI PER COMMESSA E PER PROCESSO; LA RILEVAZIONE DEI COSTI DIRETTI (MANODOPERA E MATERIALI); IL PROBLEMA DELL’ALLOCAZIONE DEI COSTI INDIRETTI; I CENTRI DI COSTO, COEFFICIENTI DI ALLOCAZIONE DEI COSTI GENERALI;
LA DETERMINAZIONE DEI COSTI BASATA SULLE ATTIVITÀ: L’ACTIVITY BASED COSTING

METODOLOGIE DI ANALISI DEI PROGETTI DI INVESTIMENTO: VALORE ATTUALE E COSTO OPPORTUNITÀ DEL CAPITALE; LA REGOLA DEL VALORE ATTUALE NETTO; VALUTAZIONE DELLE ATTIVITÀ A LUNGO TERMINE; RENDITE PERPETUE ED ANNUE; INTERESSE COMPOSTO E VALORE ATTUALE; TASSI DI INTERESSE NOMINALI E REALI.
CRITERI DI SCELTA DEGLI INVESTIMENTI ALTERNATIVI AL VALORE ATTUALE NETTO: TEMPO DI RECUPERO; TASSO INTERNO DI RENDIMENTO; DECISIONI DI INVESTIMENTO CON IL METODO DEL VAN: STIMA DEI FLUSSI DI CASSA E INTERAZIONE FRA PROGETTI

VARIAN H., MICROECONOMIA, CAFOSCARINA, VENEZIA.

ROBERT N. ANTHONY, DAVID F. HAWKINS, DIEGO M. MACRÌ, KENNETH A. MERCHANT. ANALISI DEI COSTI, MC GRAW-HILL

R. A. BREALEY; S. C. MYERS; S. SANDRI; CAPITAL BUDGETING, MC GRAW-HILL.

INTRODUZIONE ALLE RETI DI CALCOLATORI;
IL MODELLO DI RIFERIMENTO ISO-OSI;
IL PROGETTO IEEE 802: ARCHITETTURA, IL SOTTOLIVELLO MAC, IL SOTTOLIVELLO LLC;
CSMA/CD;
ETHERNET E LO STANDARD 802.3;
RETI AD ANELLO;
FUNZIONI E CARATTERISTICHE TECNICHE DEGLI SWITCH (BRIDGE);
EVOLUZIONE DI ETHERNET;
RETI WIRELESS E CSMA/CA;
PROTOCOLLI DI LINEA;
LO STRATO DI RETE ED IL PROTOCOLLO IP;
ICMP, PING E TRACEROUTE;
LO STRATO DI TRASPORTO;
IL DOMAIN NAME SYSTEM;
IL LINGUAGGIO HTML;
IL PROTOCOLLO HTTP;
IL SERVIZIO DI POSTA ELETTRONICA;
IL SERVIZIO DI TRASFERIMENTO FILE

SLIDES FORNITE DAL DOCENTE; E' FACOLTATIVO L'USO DI JAMES F. KUROSE, KEITH W. ROSS "INTERNET E RETI DI CALCOLATORI" PEARSON EDUCATION

COMPUTER ARCHITECTURE: CPU, REGISTERS, INSTRUCTIONS, INTERRUPT, MEMORY HIERARCHY, LOCALITY, I/O, PROCEDURE CALLS
MODERN OPERATING SYSTEMS OVERVIEW: DEFINITION OF OPERATING SYSTEM, PURPOSE, LAYERED ARCHITECTURE, KERNEL/USER MODE, MAIN FEATURES
PROCESSES: DISPATCHING, STATES, DESCRIPTION AND CONTROL
MEMORY MANAGEMENT TECHNIQUES: PARTITIONING, BEST/FIRST/NEXT FIT, BUDDY ALGORITHM, PAGING, SEGMENTATION

VIRTUAL MEMORY - HARDWARE SUPPORT: OVERVIEW, PAGINATION, MULTILEVEL PAGE TABLES, INVERTED PAGE TABLES, TLB, SEGMENTATION, PAGED SEGMENTS
VIRTUAL MEMORY - OPERATING SYSTEM SUPPORT: VIRTUAL MEMORY AND DISK CACHE, DEMAND PAGING, OPT, LRU, FIFO, CLOCK, AGING, PAGE BUFFERING, RS MANAGEMENT, WORKING SET, PFF, CLEANING POLICY, LOAD CONTROL, PROCESS SUSPENSION

CPU SCHEDULING (SHORT TERM, MID TERM, LONG TERM), CPU SCHEDULING ALGORITHMS : FCFS, RR, VRR, SPN, SRT, FB, COMPARISON, CPU SCHEDULING IN LINUX 2.6

DISK SCHEDULING, RAID

UNIX FILE MANAGEMENT, INODE, LINUX VFS, EXT2

UNIX COMMAND LINE
INTRODUCTION TO LINUX
ON-LINE DOCUMENTATION (MAN, INFO, LESS), FILESYSTEM ORGANIZATION, FIRST COMMANDS (LS, PWD, CD, CAT).
THE SHELL: BASH, PROMPT, INTERNAL AND ESTERNAL COMMANDS, HELP, ENVIRONMENT VARIABLES, ENV, $PATH, EXPORT;
COMMANDS FOR FILE AND DIRECTORY MANAGEMENT: TOUCH, MV, RM, CP, MKDIR, RMDIR
EDITORS E GRAPHICAL ENVIRONMENTS: VI, EMACS, X, WINDOW MANAGER, GNOME, KDE, KWRITE, GEDIT
LINUX AND SHELL: PROCESSES, STATES SLEEPING READY/RUNNING STOPPED, CONTROL TERMINAL, PS, TOP, PSTREE, ^C, ^Z, BACKGROUND PROCESSES, BG, FG, &, KILL, KILL -9, SIGNALS,
SHELL: SUBSTITUTIONS AND EXPANSIONS (BRACE, TILDE, VARIABILES, COMMAND, PATHNAME), WORD SPLITTING,
I/O REDIRECTION: STDIN/OUT/ERR, PIPELINING, FILTERS, SORT, TEE, LESS.
FILTERS: SORT, UNIQ, TR, GREP, WC, HEAD, TAIL AWK
GREP: REGULAR EXPRESSIONS: EXAMPLES AND EXERCISES
AWK: PATTERNS, STATEMENTS, CONTROL FLOW, VARIABILI, $0..$N, FS, OFS, RS, NR, NF, EXAMPLES AND EXERCISES

COMPRESSED FORMATS GZ, BZ2, ZIP, TAR.

SHELL SCRIPTING #!, PARAMETRI, FOR-DO-DONE, SEQ, TEST, IF-ELSE-FI.
STRACE, LTRACE, TIME.
DIFF, PATCH, TAR, GZIP, ZIP, BZIP, STRIP, FIND, STRACE, LTRACE.

C: INTRODUCTION, TOOLCHAIN, PREPROCESSOR DIRECTIVES, DYNAMIC AND STATIC LIBRARIES. COMMANDS: CC, FILE, LDD, OBJDUMP, MAKE GDB
GDB: STEPPING, BREAKPOINTS R, B, L, INFO, N, S, HELP, BT, FRAME, C , P, DISPLAY, QUIT,
BREAKPOINTS: INFO BR, ,DIS, DEL, HIT COUNT, IGNORE, CONDITIONED BREAKPOINTS, WATCHPOINT.

LINUX FILESYSTEM, FDISK -L, MOUNT, STAT, LN, /PROC/DEVICES, FILE RIGHTS, CHMOD

MAKEFILES: RULES, PREDEFINED RULES, VARIABILES.

LINUX BOOT, INIT

EACH YEAR THE PROGRAM CAN SLIGHTLY VARY: SEE THE COURSE WEB PAGE http://www.dia.uniroma3.it/~pizzonia/so

W. STALLINGS, "OPERATING SYSTEMS: INTERNALS AND DESIGN PRINCIPLES", 6TH EDITION. PRENTICE HALL.
DISPENSE DEL DOCENTE DISPONIBILI SUL SITO DEL CORSO
DOCUMENTAZIONE ON-LINE DEI COMANDI UNIX/LINUX INSTALLATI NEL SISTEMA STESSO.

• PROCESSI DI SVILUPPO DEL SOFTWARE; SVILUPPO ITERATIVO.
• REQUISITI; CASI D’USO.
• ANALISI DEL SOFTWARE ORIENTATA AGLI OGGETTI; MODELLAZIONE DI DOMINIO, DIAGRAMMI DI SEQUENZA DI SISTEMA; CONTRATTI DELLE OPERAZIONI.
• PROGETTAZIONE DEL SOFTWARE ORIENTATA AGLI OGGETTI; PRINCIPI PER LA PROGETTAZIONE DEL SOFTWARE; PATTERN GRASP; REALIZZAZIONE DI CASI D’USO; DIAGRAMMI DELLE CLASSI DI PROGETTO; DESIGN PATTERN; ARCHITETTURA A STRATI.
• MODELLAZIONE DEL SOFTWARE; IL LINGUAGGIO UML.

CRAIG LARMAN, APPLICARE UML E I PATTERN – ANALISI E PROGETTAZIONE ORIENTATE AGLI OGGETTI, PEARSON EDUCATION ITALIA, 2005.