Punti chiave
- L’analisi statica trova mancanti, duplicati e lezioni senza docente.
- L’analisi dinamica prova dati e vincoli insieme.
- I problemi critici si correggono prima dell’ottimizzazione.
- La validazione aumenta la probabilità, non la certezza.
Cosa rileva l’analisi statica?
Verifica se i dati grezzi sono utilizzabili: valori mancanti, duplicati e lezioni senza docente prima del solver.
Cosa controllare prima di ottimizzare?
Dare priorità a ciò che blocca la creazione.
- Valori mancanti
- Docenti, aule, gruppi o lezioni duplicati
- Lezioni senza docente
- Conflitti di vincoli
- Problemi di block build, combing chart e clash table
- Messaggi critici
Come validare il modello?
Usare la validazione come porta.
- Eseguire analisi statica.
- Correggere mancanti, duplicati e lezioni senza docente.
- Eseguire analisi dinamica.
- Risolvere problemi critici.
- Rivedere block build e clash table.
- Generare solo quando i problemi restanti sono compresi.
Come entrano i controlli di pianificazione?
Block build, combing chart e clash table testano la struttura prima della collocazione delle lezioni. Se mostrano già un clash, correggere prima la struttura.
Cosa deve dire il risultato?
Deve indicare una causa correggibile.
- Dato o vincolo
- Entità coinvolta
- Blocco o attesa possibile
- Output di pianificazione da rivedere
- Necessità di rivalidare
- Possibilità di generare
Domande sulla validazione
Cos’è la validazione statica?
Controlla solo i dati: mancanti, duplicati e lezioni senza docente.
Cos’è la validazione dinamica?
Controlla dati e vincoli insieme e mostra problemi di collocazione.
Garantisce successo?
No. Alcuni conflitti appaiono durante la collocazione.