About: From Railway Resource Planning to Train Operation     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • From seasonal planning via day-to-day train operation to real-time monitoring and control of trains, software applications are becoming increasingly integrated. Timetabling implies train traffic. Train staff rosters and train car maintenance are initially derived from timetables and influences future timetables. In this extended abstract we shall sketch a formal model of Railway Nets, Timetables, Rosters, Maintenance, Station Interlocking, Line Direction Agreement and Automatic Line Signaling. The last three formal models are based on four integrated formal techniques (RAISE, Petri Nets, Live Sequence Charts and State Charts). The formal sketches are all %22backed-up%22' by either a publication or a research report.
  • From seasonal planning via day-to-day train operation to real-time monitoring and control of trains, software applications are becoming increasingly integrated. Timetabling implies train traffic. Train staff rosters and train car maintenance are initially derived from timetables and influences future timetables. In this extended abstract we shall sketch a formal model of Railway Nets, Timetables, Rosters, Maintenance, Station Interlocking, Line Direction Agreement and Automatic Line Signaling. The last three formal models are based on four integrated formal techniques (RAISE, Petri Nets, Live Sequence Charts and State Charts). The formal sketches are all %22backed-up%22' by either a publication or a research report. (en)
  • Od strategické a taktického plánování železniční dopravy přes denní provoz k optimálnímu a bezpečnému řízení a zabezpečení železničního provozu se jednotlivé softwarové aplikace stávají více a více integrovanými. V tomto článku jsou naznačeny formální modely pro optimalizační i zabezpečovací aplikace železniční dopravy. (cs)
Title
  • Od plánování železniční dopravy k jejímu provozu (cs)
  • From Railway Resource Planning to Train Operation
  • From Railway Resource Planning to Train Operation (en)
skos:prefLabel
  • Od plánování železniční dopravy k jejímu provozu (cs)
  • From Railway Resource Planning to Train Operation
  • From Railway Resource Planning to Train Operation (en)
skos:notation
  • RIV/68407700:21260/04:06106206!RIV/2005/MSM/212605/N
http://linked.open.../vavai/riv/strany
  • 629 ; 636
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • Z(MSM 210000023)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 564946
http://linked.open...ai/riv/idVysledku
  • RIV/68407700:21260/04:06106206
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Control; Interlocking; Live Sequence Charts; Petri Nets; Planning; RAISE; Railways; Rostering; Signalling; State Charts; Timetabling (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [258EB432CA3C]
http://linked.open...v/mistoKonaniAkce
  • Toulouse
http://linked.open...i/riv/mistoVydani
  • Norwell, MA
http://linked.open...i/riv/nazevZdroje
  • Building the Information Society
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Pěnička, Martin
  • Bjorner, Dines
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • Kluwer Academic Publishers
https://schema.org/isbn
  • 1-4020-8156-1
http://localhost/t...ganizacniJednotka
  • 21260
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software