ANS is committed to advancing, fostering, and promoting the development and application of nuclear sciences and technologies to benefit society.
Explore the many uses for nuclear science and its impact on energy, the environment, healthcare, food, and more.
Division Spotlight
Mathematics & Computation
Division members promote the advancement of mathematical and computational methods for solving problems arising in all disciplines encompassed by the Society. They place particular emphasis on numerical techniques for efficient computer applications to aid in the dissemination, integration, and proper use of computer codes, including preparation of computational benchmark and development of standards for computing practices, and to encourage the development on new computer codes and broaden their use.
Meeting Spotlight
Utility Working Conference and Vendor Technology Expo (UWC 2024)
August 4–7, 2024
Marco Island, FL|JW Marriott Marco Island
Standards Program
The Standards Committee is responsible for the development and maintenance of voluntary consensus standards that address the design, analysis, and operation of components, systems, and facilities related to the application of nuclear science and technology. Find out What’s New, check out the Standards Store, or Get Involved today!
Latest Magazine Issues
Jul 2024
Jan 2024
Latest Journal Issues
Nuclear Science and Engineering
August 2024
Nuclear Technology
Fusion Science and Technology
Latest News
Vogtle-3 shuts down for valve issue
One of the new Vogtle units in Georgia was shut down unexpectedly on Monday last week for a valve issue that has since been investigated and repaired. According to multiple local news outlets, Georgia Power reported on July 17 that Unit 3 was back in service.
Southern Company spokesperson Jacob Hawkins confirmed that Vogtle-3 went off line at 9:25 p.m. local time on July 8 “due to lowering water levels in the steam generators caused by a valve issue on one of the three main feedwater pumps.”
Akira Fukumoto, Toshifumi Hayashi, Akihiko Ohsuga, Shinichi Honiden, Nobuyuki Mori
Nuclear Technology | Volume 124 | Number 3 | December 1998 | Pages 255-264
Technical Paper | Reactor Operations and Control | doi.org/10.13182/NT98-A2924
Articles are hosted by Taylor and Francis Online.
A formal verification method using an algebraic specification technique is proposed, and its effectiveness is studied. A computerized automatic verification system, which utilizes an algebraic specification to describe system requirements and to prove an inductive theorem based on a term-rewriting technique for verification, is built and evaluated through experimentally verifying the logic design of a digital reactor protection system in boiling water reactors. The results show that the proposed method can mathematically correctly verify the logic design in a limited time, thereby improving accuracy and reducing person-hours for the verification.