gmasetti
/
ProgettoMartinelli2023
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

describing SAN models

This commit is contained in:
Silvano Chiaradonna 2023-10-05 13:06:38 +02:00
parent 66cd0c9f9e
commit a3c31be31c
1 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
CS Smart Grid 2.5-FDG/CS Smart Grid 2.5-FDG-section3333.txt
View File

@ -10,7 +10,9 @@ Il modello complessivo dell'ambiente Möbius è ottenuto mediante uno o
più sottomodelli composti gerarchicamente (come mostrato in Figure più sottomodelli composti gerarchicamente (come mostrato in Figure
xx1) al livello di Abstract Functional Interface (AFI) [DCCDDDSW02,DKSC02] xx1) al livello di Abstract Functional Interface (AFI) [DCCDDDSW02,DKSC02]
utilizzando operatori, come Join e Rep [SM91], basati 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. Ogni sottomodello può essere atomico o a sua volta composto.
Sul modello risultante vengono definite prima le variabili di Sul modello risultante vengono definite prima le variabili di
performance (che rappresentano le misure di interesse), basate su 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. studi da valutare in base alla variabilità dei parametri del modello.
Tutti i formalismi e i risolutori supportati da Möbius sono basati sul Tutti i formalismi e i risolutori supportati da Möbius sono basati sul
linguaggio di programmazione orientato ad oggetti C++, consentendo linguaggio di programmazione orientato ad oggetti C++.
l'utilizzo di codice C++ nei modelli. Pertanto, lo strumento supporta l'utilizzo del codice C++ nelle
Pertanto, lo strumento supporta strutture dati C++ esterne primitive usate per i modelli,
in particolare strutture dati C++ esterne
staticamente definite al momento della compilazione ed il collegamento staticamente definite al momento della compilazione ed il collegamento
di librerie C++ esterne. 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 Il tempo al completamento di una attività è una variabile casuale
indipendente che indipendente che
può avere una qualunque delle numerose distribuzioni 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 case (piccoli cerchietti alla destra dell'attività) che rappresentano
l'incertezza probabilistica al completamento dell'attività. Infine i l'incertezza probabilistica al completamento dell'attività. Infine i
gate permettono di specificare condizioni di abilitazione e regole di 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 Il modello composto è ottenuto seguendo l'approccio modulare e
composizionale DARep [CDM17,CDM21] che estende Möbius con un nuovo 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 condivise solo tra alcune istanze del template in base ad una
specifica topologia associata a ciascuna di esse (a specifica topologia associata a ciascuna di esse (a
differenza di quelle "common" o "local" che sono condivise tra tutte le 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 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 the generation of active and reactive power (gate WeatherChange and