skip to main content

Title: An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
Abstract The paper describes an ongoing effort in developing a declarative system for supporting operators in the Nuclear Power Plant (NPP) control room. The focus is on two modules: diagnosis and explanation of events that happened in NPPs. We describe an Answer Set Programming (ASP) representation of an NPP, which consists of declarations of state variables, components, their connections, and rules encoding the plant behavior. We then show how the ASP program can be used to explain the series of events that occurred in the Three Mile Island, Unit 2 (TMI-2) NPP accident, the most severe accident in the USA nuclear power plant operating history. We also describe an explanation module aimed at addressing answers to questions such as “why an event occurs?” or “what should be done?” given the collected data.
; ; ;
Award ID(s):
1914635 1757207
Publication Date:
Journal Name:
Theory and Practice of Logic Programming
Page Range or eLocation-ID:
926 to 941
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    In the Nuclear Power Plant (NPP) control room, the operators’ performance in emergencies is impacted by the need to monitor many indicators on the control room boards, the limited time to interact with dynamic events, and the incompleteness of the operator’s knowledge. Recent research has been directed toward increasing the level of automation in the NPP system by employing modern AI techniques that support the operator’s decisions. In previous work, the authors have employed a novel AI-guided declarative approach (namely, Answer Set Programming (ASP)) to represent and reason with human qualitative knowledge. This represented knowledge is structured to form a reasoning-based operator support system that assists the operator and compensates for any knowledge incompleteness by performing reasoning to diagnose failures and recommend executing actions in real time. A general ASP code structure has been proposed and tested against simple scenarios, e.g., diagnosis of pump failures that result in loss of flow transients and generating the needed plans for resolving the issue of stuck valves in the secondary loop.

    In this work, we investigate the potential of the previously proposed ASP structure by applying ASP to a realistic case study of the Three Mile Island, Unit 2 (TMI-2) accident eventmore »sequence (in particular, the first 142 minutes). The TMI scenario presents many challenges for a reasoning system, including a large number of variables, the complexity of the scenario, and the misleading readings. The capability of the ASP-based reasoning system is tested for diagnosis and recommending actions throughout the scenario. This paper is the first work to test and demonstrate the capability of an automated reasoning system by applying it to a realistic nuclear accident scenario, such as the TMI-2 accident.

    « less
  2. Abstract. Topographic effects on Cs-137 concentrations in a forested area were quantitatively examined using 58 soil core samples collected in a village in Fukushima, Japan, which was directly impacted by the radioactive plume emitted during the 2011 Fukushima Daiichi Nuclear Power Plant (FDNPP) accident. In this study, five topographic parameters and two soil properties were evaluated as controls on the soil Cs-137 concentration using generalized additive models (GAMs), a flexible statistical method for evaluating the functional dependencies of multiple parameters. GAMs employing soil dry bulk density, mass water content, and elevation explained 54 % of the observed concentrations of Cs-137 within this landscape, whereas GAMs employing elevation, slope, and upslope distance explained 47 % of the observed concentrations, which provide strong evidence of topographic effects on Cs-137 concentrations in soils. The model fit analysis confirmed that the topographic effects are strongest when multiple topographic parameters and soil properties are included. Theability of each topographic feature to predict Cs-137 concentrations wasinfluenced by the resolution of the digital elevation models. The movementof Cs-137 into the subsurface in this area near Fukushima was faster incomparison to regions affected by the Chernobyl Nuclear Power Plant accident. These results suggest that the effects of topographic parametersshould be considered carefully in themore »use of anthropogenic radionuclides asenvironmental tracers and in the assessment of current and futureenvironmental risks due to nuclear power plant accidents.« less
  3. Abstract

    Temper bead (TB) welding is often used as an alternative to post weld heat treatment (PWHT) for repair of pressure vessels and piping in the nuclear power industry. Historically, qualification of TB welding procedures has employed the Charpy V-notch test to ensure acceptable heat-affected-zone (HAZ) impact properties. The 2004 Edition of ASME Section IX provided a new provision in QW-290 that allows temper bead qualification using a peak hardness criterion. The peak hardness provision is appropriate for industries such as oil and gas, where peak allowable hardness is specified to ensure adequate resistance to sulfide stress cracking in sour service environments. However, a peak hardness criterion is not appropriate where impact properties are specified for resistance to brittle fracture during low temperature conditions that can occur during certain postulated accident scenarios at a nuclear power plant.

    Work at the Electric Power Research Institute (EPRI) and The Ohio State University (OSU) show that a hardness drop protocol can be used to demonstrate acceptable impact properties in the HAZ of a temper bead weld. This paper presents a quantitative correlation between hardness measurements and HAZ microstructures with presumed optimum impact properties using a hardness drop approach. The overarching goal is tomore »develop a hardness test protocol for temper bead weld procedure qualification for applications where impact properties are specified.

    « less
  4. Wright, Stephen (Ed.)
    Abstract The Triticum/Aegilops complex includes hybrid species resulting from homoploid hybrid speciation and allopolyploid speciation. Sequential allotetra- and allohexaploidy events presumably result in two challenges for the hybrids, which involve 1) cytonuclear stoichiometric disruptions caused by combining two diverged nuclear genomes with the maternal inheritance of the cytoplasmic organellar donor; and 2) incompatibility of chimeric protein complexes with diverged subunits from nuclear and cytoplasmic genomes. Here, we describe coevolution of nuclear rbcS genes encoding the small subunits of Rubisco (ribulose 1,5-bisphosphate carboxylase/oxygenase) and nuclear genes encoding plastid translocons, which mediate recognition and translocation of nuclear-encoded proteins into plastids, in allopolyploid wheat species. We demonstrate that intergenomic paternal-to-maternal gene conversion specifically occurred in the genic region of the homoeologous rbcS3 gene from the D-genome progenitor of wheat (abbreviated as rbcS3D) such that it encodes a maternal-like or B-subgenome-like SSU3D transit peptide in allohexaploid wheat but not in allotetraploid wheat. Divergent and limited interaction between SSU3D and the D-subgenomic TOC90D translocon subunit is implicated to underpin SSU3D targeting into the chloroplast of hexaploid wheat. This implicates early selection favoring individuals harboring optimal maternal-like organellar SSU3D targeting in hexaploid wheat. These data represent a novel dimension of cytonuclear evolution mediated by organellar targetingmore »and transportation of nuclear proteins.« less
  5. Abstract Phylogenomic data from a rapidly increasing number of studies provide new evidence for resolving relationships in recently radiated clades, but they also pose new challenges for inferring evolutionary histories. Most existing methods for reconstructing phylogenetic hypotheses rely solely on algorithms that only consider incomplete lineage sorting (ILS) as a cause of intra- or intergenomic discordance. Here, we utilize a variety of methods, including those to infer phylogenetic networks, to account for both ILS and introgression as a cause for nuclear and cytoplasmic-nuclear discordance using phylogenomic data from the recently radiated flowering plant genus Polemonium (Polemoniaceae), an ecologically diverse genus in Western North America with known and suspected gene flow between species. We find evidence for widespread discordance among nuclear loci that can be explained by both ILS and reticulate evolution in the evolutionary history of Polemonium. Furthermore, the histories of organellar genomes show strong discordance with the inferred species tree from the nuclear genome. Discordance between the nuclear and plastid genome is not completely explained by ILS, and only one case of discordance is explained by detected introgression events. Our results suggest that multiple processes have been involved in the evolutionary history of Polemonium and that the plastid genomemore »does not accurately reflect species relationships. We discuss several potential causes for this cytoplasmic-nuclear discordance, which emerging evidence suggests is more widespread across the Tree of Life than previously thought. [Cyto-nuclear discordance, genomic discordance, phylogenetic networks, plastid capture, Polemoniaceae, Polemonium, reticulations.]« less