Review of main safety concepts at railroad switching station; Boolean representation of security within given track zone; basic principles of theory of phi-Boolean functions; definition and study of functions attached to various track zones; study of functions linked to itineraries yields representation of use of track zones within itinerary; verification of switching operations is therefore effected by comparison of Boolean functions.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    On use of phi-Boolean functions -- Verification of railroad switching programs


    Weitere Titelangaben:

    Sur une utilisation des fonctions phi-Booleennes -- Verification des programmes d'enclenchement de chemin de fer


    Beteiligte:
    Erceau, J. (Autor:in) / Durante, C. (Autor:in)

    Erschienen in:

    Automatisme ; 12 , n 9


    Erscheinungsdatum :

    1967


    Format / Umfang :

    6 pages


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Französisch


    Schlagwörter :


    Federal Railroad Administration Trespasser Programs

    Jennings, B. E. / University of Tennessee / Southeastern Transportation Center | British Library Conference Proceedings | 1997


    Railroad switching and yards

    Engineering Index Backfile | 1894


    Modern railroad switching equipment

    Suter, O. | Engineering Index Backfile | 1936


    Railroad switching and yards

    Turner, E.K. | Engineering Index Backfile | 1894


    Automatic railroad signaling and switching

    Devaux, P. | Engineering Index Backfile | 1949