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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Additional title:

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


    Contributors:
    Erceau, J. (author) / Durante, C. (author)

    Published in:

    Automatisme ; 12 , n 9


    Publication date :

    1967


    Size :

    6 pages


    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    French




    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