diff --git a/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt b/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt index e54eacf..45e4277 100755 --- a/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt +++ b/CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt @@ -10,7 +10,9 @@ Il modello complessivo dell'ambiente Möbius è ottenuto mediante uno o più sottomodelli composti gerarchicamente (come mostrato in Figure xx1) al livello di Abstract Functional Interface (AFI) [DCCDDDSW02,DKSC02] utilizzando operatori, come Join e Rep [SM91], basati -sulla condivisione di variabili di stato o azioni. +sulla condivisione di variabili di stato (SV) o azioni. +SV e azioni sono primitive che generalizzano a livello di AFI i posti +e le transizioni delle reti di Petri. Ogni sottomodello può essere atomico o a sua volta composto. Sul modello risultante vengono definite prima le variabili di performance (che rappresentano le misure di interesse), basate su @@ -18,9 +20,10 @@ strutture di guadagno, ed infine gli studi da valutare in base alla variabilità dei parametri del modello. Tutti i formalismi e i risolutori supportati da Möbius sono basati sul -linguaggio di programmazione orientato ad oggetti C++, consentendo -l'utilizzo di codice C++ nei modelli. -Pertanto, lo strumento supporta strutture dati C++ esterne +linguaggio di programmazione orientato ad oggetti C++. +Pertanto, lo strumento supporta l'utilizzo del codice C++ nelle +primitive usate per i modelli, +in particolare strutture dati C++ esterne staticamente definite al momento della compilazione ed il collegamento di librerie C++ esterne. @@ -38,11 +41,11 @@ di tipi primitivi o di posti estesi. Il tempo al completamento di una attività è una variabile casuale indipendente che può avere una qualunque delle numerose distribuzioni -supportate dal tool. Ad ogni attività può essere associato uno o più +supportate da Möbius. Ad ogni attività può essere associato uno o più case (piccoli cerchietti alla destra dell'attività) che rappresentano l'incertezza probabilistica al completamento dell'attività. Infine i gate permettono di specificare condizioni di abilitazione e regole di -completamento. +completamento delle attività a cui sono connessi. Il modello composto è ottenuto seguendo l'approccio modulare e composizionale DARep [CDM17,CDM21] che estende Möbius con un nuovo @@ -54,10 +57,14 @@ definite variabili di stato (SV) "dependency-aware", cioè SV che sono condivise solo tra alcune istanze del template in base ad una specifica topologia associata a ciascuna di esse (a differenza di quelle "common" o "local" che sono condivise tra tutte le -istanze o solo locali a ciascuna di essere, rispettivamente). +istanze o solo locali a ciascuna di esse, rispettivamente). Figure 3.13 è il template di SAN atomica che rappresenta un generico -generatore distribuito (DG). +generatore distribuito (DG) ed il suo ambiente esterno (usata da D per +generare tutte le istanze dei DG presenti nella Smart Grid). In particolare +esso modella la generazione di potenza attiva (P) e reattiva(Q), la +previsione di potenza generata e l'errore di previsione, l'occorrenza +dei fallimenti e le conseguenti azioni di ripristino. the generation of active and reactive power (gate WeatherChange and