CALCOLO PARALLELO, AUTOMI CELLULARI E
MODELLI
PER SISTEMI COMPLESSI
Giandomenico SPEZZANO, Domenico TALIA
FrancoAngeli
Indice
Prefazione (a cura di Roberto SERRA)
Introduzione
1. Sistemi di Calcolo Parallelo
1. Classificazione dei sistemi di elaborazione paralleli
2. Architetture SIMD
3. Architetture MIMD
3.1. Sistemi a memoria condivisa
3.2. Sistemi a memoria distribuita
3.3. Macchine Data-flow e a Riduzione
4. Modelli teorici per il calcolo parallelo
5. Metriche per la misura delle prestazioni
2. Modelli e Linguaggi per il Calcolo
Parallelo
1. Primi meccanismi concorrenti
2. Modelli e linguaggi
3. Paradigmi a memoria condivisa
4. Paradigmi a memoria distribuita
4.1 Creazione dei processi
4.2 Cooperazione tra processi
4.3 Linguaggi imperativi a memoria distribuita
5. Programmazione parallela object-oriented
6. Linguaggi funzionali paralleli
7. Linguaggi logici concorrenti
8. Nuovi paradigmi per il calcolo parallelo
3. Automi Cellulari
1. Breve storia degli automi cellulari
2. Automi finiti di Moore e macchina di Turing
3. Definiamo un automa cellulare
4. Definizione formale di automa cellulare
5. Varianti di automi cellulari
5.1. Automi cellulari nondeterministici
5.2. Automi cellulari partizionati
5.3. Automi cellulari probabilistici
5.4. Automi cellulari asincroni
5.5. Automi cellulari inomogenei
5.6. Automi cellulari gerarchici
6. Classificazione e proprietà computazionali
degli automi cellulari
7. Sistemi di Lindenmayer
8. Considerazioni conclusive
4. Reti Neurali
1. Introduzione alle reti neurali
2. Concetti di base
3. Modelli di reti neurali
3.1. Reti di Hopfield
3.2. Percettrone
3.3. Reti Multilayer
3.4. Macchina di Boltzmann
3.5. Self-organizing maps
4. Reti neurali cellulari
5. Reti neurali e parallelismo
6. Reti neurali ed applicazioni
5. Algoritmi Genetici
1. Cenni introduttivi
2. Definizione e operatori genetici
2.1. Il funzionamento di un algoritmo genetico
3. Teorema fondamentale degli algoritmi genetici
4. Algoritmi genetici paralleli
5. Introduzione ai sistemi a classificatori
6. Applicazioni degli algoritmi genetici
6. Automi Cellulari e Sistemi Complessi
1. Una alternativa al calcolo differenziale
2. Sistemi complessi
3. Modelli di sistemi fisici complessi
3.1. Fluidodinamica
3.2. Magnetismo
3.3. Dinamica molecolare
3.4. Sistemi ottici integrati
3.5. Soluzione dell’equazione di Laplace
4. Altre aree applicative
4.1. Vita artificiale
4.2. Il modello del volo di uccelli
4.3. Simulazione di una colonia di formiche
4.4. Simulazione di una foresta in fiamme
5. Considerazioni conclusive
7. CAMEL: un ambiente per lo sviluppo
di algoritmi cellulari
1. Sistemi paralleli ed automi cellulari
2. CAMEL: architettura parallela
2.1. Interfaccia utente
2.2. Interfaccia grafica
3. Bilanciamento del carico
4. Programmazione di algoritmi cellulari in CAMEL
5. Il linguaggio CARPET
5.1. Caratteristiche di CARPET
6. Prestazioni di CAMEL su macchine parallele
7. Confronti con altri sistemi
8. Simulazione di fenomeni complessi
con CAMEL
1. Simulazione di flussi lavici
2. Simulazione di eventi franosi
3. Simulazione di traffico stradale
4. Modelli HPP ed FHP
5. Simulazione della diffusione nei gas
6. Simulazione della contaminazione di suoli
7. Simulazione di incendi
8. Algoritmi genetici cellulari
Bibliografia