Engineering topics
Publications and source records attributed to Joyce, J..
The use of formal methods to verify the correctness of digital circuits is less constrained by the growing complexity of digital circuits than conventional methods based on exhaustive simulation. This paper briefly outlines three main approaches to formal hardware verification: symbolic simulation, state machine analysis, and theorem-proving.
This paper considers the use of thermal energy storage (TES) in molten salts to increase the capacity of power plants. Five existing fossil and nuclear electric utility plants were selected as representative of current technology. A review of system load diagrams indicated that TES to meet loads over 95% of peak was a reasonable goal. Alternate TES heat exchanger locations were evaluated, showing that the stored energy should be used either for feedwater heating or to generate steam for an auxiliary power cycle. Specific salts for each concept are recommended. Design layouts were prepared for one plant, and it was shown that a TES tube/shell heat exchanger system could provide about 7% peaking capability at lower cost than adding steam generation capacity. Promising alternate heat exchanger concepts were also identified.