Center for Advanced Nuclear Energy Systems (CANES): Recent submissions

Now showing items 103-105 of 109

    • Use of Performance Monitoring to Improve Reliability of Emergency Generators Diesel 

      Dulik, J. D.; Golay, M. W. (Massachusetts Institute of Technology. Center for Advanced Nuclear Energy Systems. Advanced Nuclear Power Program, 1997-12)
      Emergency diesel generators are one of the most important contributors to the core damage failure rate of nuclear power plants. Current required testing and maintenance procedures are excessively strict and expensive without ...

    • An Integrated Formal Approach for Developing High Quality Software for Safety-Critical Systems 

      Ouyang, Meng; Golay, Michael W. (Massachusetts Institute of Technology. Center for Advanced Nuclear Energy Systems. Advanced Nuclear Power Program, 1995-09)
      This report presents the results of a study which devises an Integrated Formal Approach (IFA) for improving specifications of the designs of computer programs used in safety-critical systems. In this IFA, the formal ...

    • Conceptual Design of a Large, Passive Pressure-Tube Light Water Reactor 

      Hejzlar, P.; Todreas, N. E.; Driscoll, M. J. (Massachusetts Institute of Technology. Center for Advanced Nuclear Energy Systems. Advanced Nuclear Power Program, 1994-06)
      A design for a large, passive, light water reactor has been developed. The proposed concept is a pressure tube reactor of similar design to CANDU reactors, but differing in three key aspects. First, a solid SiC-coated ...