DISIT Lab of University of Florence | DISIT Lab of University of Florence

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:258:\"file_get_contents(http://www.disit.org/scorrimento3.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport "ssl" - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:39;}', 3, '', 'http://www.disit.org/drupal/?axoid=urn%3Aaxmedis%3A00000%3Aobj%3A2b16db4e-008f-407b-97ad-d4e04943d6d0&q=home', 'http: in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:256:\"file_get_contents(http://www.disit.org/RightBarMM.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport "ssl" - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:41;}', 3, '', 'http://www.disit.org/drupal/?axoid=urn%3Aaxmedis%3A00000%3Aobj%3A2b16db4e-008f-407b-97ad-d4e04943d6d0&q=home', 'http:// in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128
DISIT Lab of University of Florence | DISIT Lab of University of Florence

deep search

collection's Playback

Metadata

Lingua dei metadati

Titolo RAISO: RAilway Infrastructures and Signaling Ontology for Configuration Management, Verification and Validation

Soggetto Railways, Interlocking system, Ontology

Descrizione Signaling systems grant safety routes for railway transportation. Recently, the need of interoperable systems among different European countries increases in consequence of the increment of trades. This leads to data integration challenges. Railway operators provide nation-centric systems and tools. To tackle the complexity of this issue, an ontology-based railway model has been realized. Thus, this paper presents the development and the exploitation of model ontology which allows to formalize the layout of a railway network focusing on railway terminal (station) including the position of the track elements (signals, train detector etc...). Our investigation consisted in formalizing logical rules, which allow checking completeness, consistency of the model by automatically inferring the layout of the remaining installations (i.e., track circuit, signals and track sections) and the possible train routes through the network. A case study regarding the analysis of two different stations is also shown. The development has been produced in the context of RAISSS project with FESR from Europe to Region.

Descrizione P. Bellini, P. Nesi and I. Zaza, "RAISO: RAilway Infrastructures and Signaling Ontology for Configuration Management, Verification and Validation," 2016 IEEE Tenth International Conference on Semantic Computing (ICSC 2016), Laguna Hills, CA, USA, February 3-5, 2016, pp. 350-353. doi: 10.1109/ICSC.2016.94, URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7439362&isnumber=7439060

Tecnico

Classificazione

IPR: informazioni

Luogo

Azioni

Media:

Il tuo voto: Nessuno

Pubblicato da root il Sab, 2016-09-10 20:58

Filtri di Ricerca

Contenuti

Organizza collezioni personali

Select resources to add to collections

Vuoi veramente ripartire
dal zero?

Classificazione

Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1779557072 WHERE sid = 'd1cf69b9de972ea526097b7b1000b0b3' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128