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

Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: SELECT u.*, s.* FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.sid = 'eea681bf77d7b0ac1d9537481a75bc82' 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: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%3Aad0190dc-1658-45fc-85e3-caadfe324733&q=home', '' 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%3Aad0190dc-1658-45fc-85e3-caadfe324733&q=home', '', 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 Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems

Soggetto Interlocking Railway Systems

Descrizione Todays secure railway transportation management systems are employing more intelligent, highly computerized technology but are still strictly dependent on the site-specific configuration of track layout, which follows different rules for different nations. An expert system model, which independently formalizes a railway network, focusing on railway terminals (stations) and including topological and functional aspects of track elements, enables verification and validation

Descrizione P. Bellini, P. Nesi, I. Zaza, "A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems", ERCIM News, N.103, pp.35-37, October 2015. Http://www.ercim.eu

Tecnico

Classificazione

IPR: informazioni

Luogo

Azioni

Media:

Il tuo voto: Nessuno

Pubblicato da root il Sab, 2016-09-10 22:57

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 = 1759437686 WHERE sid = 'eea681bf77d7b0ac1d9537481a75bc82' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128