Attention eLibrary Visitors! The eLibrary is currently undergoing reconstruction. If you are unable to locate the document you are searching for and need assistance, please contact the FRA Web Team at email@example.com.
To search an exact document title or key phrase, place quotations around the text. Example: "U.S. Government Grade Crossing Research & Stakeholder Engagement" Entering keywords without quotations will search the eLibrary for all occurrences of the keywords.
Keywords: Evaluation, program evaluation, technology transfer, knowledge diffusion, evaluation capacity building
Verification Methodology for Fault-Tolerant, Fail-Safe Computers Applied to Maglev Control Computer System
Keywords: Magnetic levitation, Maglev, Maglev control computer, Fail safe design, Fault tolerant computer, Design for verifcation methodology, Safety and availability
Abstract: The Maglev control computer system should be designed to verifiably possess high reliability and safety as well as high availability to make Maglev a dependable and attractive...
15th Railroad Engineering Conference Proceedings, Railroad R&D Challenges of the 80's : Opportunities & Obstacles
Abstract: This report constitutes the proceedings of the 15th Railroad Engineering Conference held at TSC on October 21-23, 1979. Conference papers were delivered by various industry and...
Keywords: Freight Car Design, Fatigue Design, Computer Program
Abstract: This guide documents the use of the Fatigue Life Analysis Program which is intended for use in the implementation of the Interim AAR Guidelines for Fatigue Analysis of Freight...