Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Strutture dati avanzate e algoritmi di ordinamento per il model checking di Reti di Petri |
|---|---|
| Titolo del progetto di ricerca in inglese | Advanced data structures and associated variable ordering heuristics for model-checking Petri nets |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | I diagrammi di decisione (DD) sono strutture dati utilizzate per memorizzare grandi quantità di informazioni. L’efficacia dei DD per la memorizzazione dello spazio degli stati di una rete di Petri dipende dall’ ordinamento scelto per le variabili stato. Obiettivo di questa ricerca è sfruttare i DD per aumentare la taglia delle Reti di Petri per le quali possiamo verificare proprietà della logica CSLTA. Verificare una proprietà CSLTA richiede la soluzione di un Markov Regenerative Process (MRP). Recenti risultati hanno mostrato che gli MRP generati da CSLTA possono essere risolti vuoi con tecniche composizionali, vuoi sfruttando tecniche basate su algebra di Kronecker. Un primo obiettivo è la definizione di tecniche euristiche che, anche sfruttando la struttura della rete di Petri, determinino ordinamenti delle variabili efficaci. Il secondo obiettivo è l’utilizzo dei DD per la soluzione degli MRP, con tecnica composizionale o Kronecker-based. |
| Descrizione sintetica in inglese | Decision diagrams (DD) are data structures that allow to store large quantities of data. The efficiency of the DD representation of the state space of a Petri net depends on the chosen ordering of the state variables. Objective of this research is to exploit DD to enlarge the size of Petri nets for which we can verify CSLTA logics properties. Model-checking of CSLTA properties require to solve a Markov Regenerative Process (MRP). Recent results have shown that MRPs generated from CSLTA can be efficiently solved with compositional techniques and with Kronecker based techniques. A first objective is the definition of heuristics to define an efficient ordering of the variables, possibly exploiting the Petri net structure. A second objective is the use of DD for the MRP solution, either through compositional or Kronecker based techniques. |
| Data del bando | 03/04/2017 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.serviziweb.unito.it/albo_ateneo/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | yes |
| Comprende il costo della ricerca | yes |
| Altri costi in italiano | \ |
| Altri costi in inglese | \ |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | il bando (n. rep. 762 del03/04/2017), modalità di iscrizione/partecipazione alla selezione e i requisiti sono disponibili su https://www.serviziweb.unito.it/albo_ateneo/ |
| Criteri di selezione in inglese (breve descrizione) | The call (n. rep. 762 -03/04/2017), the requirements and how to apply are available at the following address: https://www.serviziweb.unito.it/albo_ateneo/ |
| Processo di selezione in italiano (breve descrizione) | per titoli e colloquio (il calendario dei colloqui viene pubblicato entro la data di scadenza del bando. I candidati NON riceveranno comunicazione di ammissione al colloquio) |
| Processo di selezione in inglese (breve descrizione) | qualifications and interview (in Turin) - Dates and venues of the interviews are published on the website of the University of Turin at the official notice board (https://www.serviziweb.unito.it/albo_ateneo/) by the date of the deadline |
| Nome dell'Ente finanziatore | Universita' degli Studi di Torino |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Turin |
| Sito web | http://www.unito.it/ |
| arearicerca-assegni@unito.it | |
| Telefono | 0 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 26/04/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://pica.cineca.it |