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
Isotopes & Radiation
Members are devoted to applying nuclear science and engineering technologies involving isotopes, radiation applications, and associated equipment in scientific research, development, and industrial processes. Their interests lie primarily in education, industrial uses, biology, medicine, and health physics. Division committees include Analytical Applications of Isotopes and Radiation, Biology and Medicine, Radiation Applications, Radiation Sources and Detection, and Thermal Power Sources.
Meeting Spotlight
Utility Working Conference and Vendor Technology Expo
August 8–11, 2021
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 2021
Jan 2021
Latest Journal Issues
Nuclear Science and Engineering
August 2021
Nuclear Technology
July 2021
Fusion Science and Technology
Latest News
DOE puts $9.35 million toward high-energy-density plasma research
The Department of Energy’s Office of Science (DOE-SC) and the National Nuclear Security Administration (NNSA) on July 27 announced $9.35 million for 21 research projects in high-energy-density laboratory plasmas. High-energy-density (HED) plasma research, originally developed to support the U.S. nuclear weapons program, has applications in astrophysics, fusion power plant development, medicine, nuclear and particle physics, and radioisotope production.
12th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2021)
Technical Session|Sponsored by Instrumentation and Controls
Tuesday, June 15, 2021|1:15–3:00PM (2:15–4:00PM EDT)|Room 2
Session Chair:
Carol Smidts (The Ohio State Univ.)
Alternate Chair:
Jamie B. Coble (University of Tennessee-Knoxville)
Session Organizer:
Staff Producer:
Dan Goldberg (ANS)
To access the session recording, you must be logged in and registered for the meeting.
Register NowLog In
To access paper attachments, you must be logged in and registered for the meeting.
Model-Checking I&C Logics - Insights from Over a Decade of Projects in Finland
Antti Pakonen (VTT Technical Research Centre of Finland)
Summary
Accessible Formal Verification for Design Assurance of Model Based Critical I&C Systems
Smitha Gautham (Virginia Commonwealth Univ.), Athira Varma Jayakumar (Virginia Commonwealth Univ.), Abhi D. Rajagopala (Virginia Commonwealth Univ.), Carl Elks (Virginia Commonwealth Univ.)
A Pseudo-Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power
Athira Varma Jayakumar (Virginia Commonwealth Univ.), Richard Kuhn (National Institute of Standards and Technology), Brandon Simons (Virginia Commonwealth Univ.), Aidan Collins (Virginia Commonwealth Univ.), Smitha Gautham (Virginia Commonwealth Univ.), Richard Hite (Virginia Commonwealth Univ.), Raghu Kacker (National Institute of Standards and Technology), Abhi D. Rajagopala (Virginia Commonwealth Univ.), Carl Elks (Virginia Commonwealth Univ.)
Model-Based Design Assurance and Verification in the Context of IEC-61508 SIL- 4 Standard
Smitha Gautham (Virginia Commonwealth Univ.), Athira Varma Jayakumar (Virginia Commonwealth Univ.), Richard Hite (Virginia Commonwealth Univ.), Christopher S. Deloglos (Virginia Commonwealth Univ.), Ashraf Tantawy (Virginia Commonwealth Univ.), Matt Gibson (EPRI), Abhi D. Rajagopala (Virginia Commonwealth Univ.), Carl Elks (Virginia Commonwealth Univ.)
There are 6 comments in this discussion.
To join the conversation, you must be logged in and registered for the meeting.
