Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “model checking”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,405 records · Page 78
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

PSIP For HDF5 Pilot Project (Final Report)

Productivity and Sustainability Improvement Planning (PSIP) is a lightweight, incremental and iterative approach (much in the same spirit as Agile methodologies) for making routine software process improvements in software projects. It is designed to be easily applied in existing development workflows. Quoting from a November 2019 workshop paper describing PSIP. PSIP breaks from classic software process improvement approaches such as CMM(I), SPICE, ISO 9000 or Six Sigma, in that it trades comprehensive standards and certification-driven assessment for self-defined, internally driven goals. It does, however, carry forward such ideas as having staged models of improvement (like CMM(I)) in the form of progress tracking cards. Additionally, PSIP is more aligned with lean and agile methods; it adopts their emphasis on iterative improvement and continuous learning. At its core, PSIP is an instantiation of the Plan-Do-Check-Act management cycle (PDCA, also known as Plan-Do-Study-Adjust) which provides the foundation for much of the modern software process improvement literature. This situates PSIP within a constellation of bottom-up, inductive software process improvement methods. PSIP is designed around the notion that already overburdened teams can define and carry out a series of small, incremental steps of progression towards improvement goals without significant (there will be some, but the goal is to avoid significant) disruption to ongoing development activities. A key enabling tool in PSIP is the use of Progress Tracking Cards (PTCs) which define the steps of progression towards a given improvement goal. This is the theory of PSIP. The PSIP for HDF5 project was aimed at putting PSIP into practice with the purpose of evaluating its effectiveness in planning and facilitating quality and process improvements in a scientific software project as well as its associated artifacts. The HDF5 project was chosen as a use case to evaluate PSIP for several reasons. First, NNSA labs and LLNL in particular have a keen interest in how HDF5 quality impacts its uptake and sustainability as a community adopted and supported code. Next, HDF5 is a foundational library, a key substrate in the HPC/CSE software stack, and any improvements there realized through this contract will have benefits to many DOE applications depending on it. HDF5 also represents an older, legacy code with technical debts to pay down. These characteristics are similar to many NNSA and even some ECP code projects. But, because HDF5 is an I/O library, it represents a simpler use case within which to study PSIP than a full-fledged and significantly more complex PDE simulation code. We believe these attributes make HDF5 an ideal use case for evaluating PSIP.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Improving Cost and Efficiency of the Scalable Solid Oxide Fuel Cells Power System

The objective of this project was to design and develop a 20kW range small-scale solid oxide fuel cells (SOFC) power system for applications such as data centers and commercial buildings. The original plan included a 5,000 hours demonstration and a Techno-Economic Analysis (TEA) which were dropped as part of project termination. The original project plan was to use a stack with a cross-flow cell design which had previously been tested for 500 hours at a community college in Malta, NY. However, it was decided to move to the advanced R-SOFC co-flow cell developed under Department of Energy Award DE-FE0031971. The advanced cell design has the advantage of a larger active area for the same manufacturing footprint which results in fewer required cells for the same stack power, hence a higher volumetric power density (kW/L) and lower cost per kW than the original cross-flow cell design. A full SOFC system Simulink model was developed and calibrated with testing data from a fuel cell stack and BOP (balance of plant) components. The simulation results from the calibrated model showed an acceptable match with the experimental data. A structural analysis conducted for various load scenarios indicated no high stress areas for all spatial directions. Major electrical system components were acquired, built and successfully tested. System sensors were verified and validated against controls. Safety checks, a diagnostic check, PID tuning, and control software commissioning tasks were also conducted. The power electronics prototype was delivered and trial testing completed. Balance of Plant component testing and simulation work was conducted to characterize Reformer-Heat Exchanger heat transfer and backpressure and reformer catalyst methane conversion and product selectivity. Simulations were conducted to design the Anode and Cathode fluid passages and size the air-air and fuel-fuel heat exchangers. A Burner operation map was created from test data and the Anode Gas Recirculation blower was tested to evaluate its durability. The SOFC system used a horizontal style design where components sit directly on a casting with a direct connection to the skid. This design has efficient packaging and a small footprint with approximate dimensions of 750 mm x 700 mm x 1700 mm. An SOFC system was built and successfully tested at the Malta, NY facility The system for over 500 hours under load of which over 300 hours was at full load of 20 kW.

30 DIRECT ENERGY CONVERSION↗
NASA NTRS1983

Space Shuttle propulsion parameter estimation using optimal estimation techniques

This fourth monthly progress report again contains corrections and additions to the previously submitted reports. The additions include a simplified SRB model that is directly incorporated into the estimation algorithm and provides the required partial derivatives. The resulting partial derivatives are analytical rather than numerical as would be the case using the SOBER routines. The filter and smoother routine developments have continued. These routines are being checked out.

Source record↗
NASA NTRS1983

Computers in the cockpit - But what about the pilots?

The advent of the microprocessor has made it possible to design and implement small special purpose digital computers for the flightdeck of an aircraft. However, by the end of the 1970s, many in aviation and government were concerned about certain safety implications of developments related to automation which had occurred. As a result of these concerns, NASA was directed to examine the human factors of automation. A field investigation concerning the arising questions was conducted, taking into account the introduction of the Dash 80 airliner in 1980. Attention is given to the design philosophy of the aircraft, the study methodology, and preliminary results of the study, which are based on analysis of the first wave of questionnaire data and interviews. Almost all pilots, and check captains as well, expressed the view that the first 50 to 100 hours in the -80 were difficult. The reasons for these difficulties were related to cockpit automation and, in addition, to the fact that the new aircraft was more powerful than the older models to which they were accustomed.

Wiener, E. L.↗
NASA NTRS1993

Compact disk error measurements

The objectives of this project are as follows: provide hardware and software that will perform simple, real-time, high resolution (single-byte) measurement of the error burst and good data gap statistics seen by a photoCD player read channel when recorded CD write-once discs of variable quality (i.e., condition) are being read; extend the above system to enable measurement of the hard decision (i.e., 1-bit error flags) and soft decision (i.e., 2-bit error flags) decoding information that is produced/used by the Cross Interleaved - Reed - Solomon - Code (CIRC) block decoder employed in the photoCD player read channel; construct a model that uses data obtained via the systems described above to produce meaningful estimates of output error rates (due to both uncorrected ECC words and misdecoded ECC words) when a CD disc having specific (measured) error statistics is read (completion date to be determined); and check the hypothesis that current adaptive CIRC block decoders are optimized for pressed (DAD/ROM) CD discs. If warranted, do a conceptual design of an adaptive CIRC decoder that is optimized for write-once CD discs.

Howe, D.↗
NASA NTRS1994

Residual stresses in welded plates

The purpose of this project was to develop a simple model which could be used to study residual stress. The mechanism that results in residual stresses in the welding process starts with the deposition of molten weld metal which heats the immediately adjacent material. After solidification of weld material, normal thermal shrinkage is resisted by the adjacent, cooler material. When the thermal strain exceeds the elastic strain corresponding to the yield point stress, the stress level is limited by this value, which decreases with increasing temperature. Cooling then causes elastic unloading which is restrained by the adjoining material. Permanent plastic strain occurs, and tension is caused in the region immediately adjacent to the weld material. Compression arises in the metal farther from the weld in order to maintain overall static equilibrium. Subsequent repair welds may add to the level of residual stresses. The level of residual stress is related to the onset of fracture during welding. Thus, it is of great importance to be able to predict the level of residual stresses remaining after a weld procedure, and to determine the factors, such as weld speed, temperature, direction, and number of passes, which may affect the magnitude of remaining residual stress. It was hoped to use traditional analytical modeling techniques so that it would be easier to comprehend the effect of these variables on the resulting stress. This approach was chosen in place of finite element methods so as to facilitate the understanding of the physical processes. The accuracy of the results was checked with some existing experimental studies giving residual stress levels found from x-ray diffraction measurements.

Bernstein, Edward L.↗
NASA NTRS1998

Estimating Soil Moisture from Satellite Microwave Observations

Cooperative research in microwave remote sensing between the Hydrological Sciences Branch of the NASA Goddard Space Flight Center and the Earth Sciences Faculty of the Vrije Universiteit Amsterdam began with the Botswana Water and Energy Balance Experiment and has continued through a series of highly successful International Research Programs. The collaboration between these two research institutions has resulted in significant scientific achievements, most notably in the area of satellite-based microwave remote sensing of soil moisture. The Botswana Program was the first joint research initiative between these two institutions, and provided a unique data base which included historical data sets of Scanning Multifrequency Microwave Radiometer (SN4NM) data, climate information, and extensive soil moisture measurements over several large experimental sites in southeast Botswana. These data were the basis for the development of new approaches in physically-based inverse modelling of soil moisture from satellite microwave observations. Among the results from this study were quantitative estimates of vegetation transmission properties at microwave frequencies. A single polarization modelling approach which used horizontally polarized microwave observations combined with monthly composites of Normalized Difference Vegetation Index was developed, and yielded good results. After more precise field experimentation with a ground-based radiometer system, a dual-polarization approach was subsequently developed. This new approach realized significant improvements in soil moisture estimation by satellite. Results from the Botswana study were subsequently applied to a desertification monitoring study for the country of Spain within the framework of the European Community science research programs EFEDA and RESMEDES. A dual frequency approach with only microwave data was used for this application. The Microwave Polarization Difference Index (MPDI) was calculated from 37 GHz data and used to derive the one-way canopy transmissivity. Using a simple radiative transfer model, this information was combined with horizontally polarized 6.6 GHz SMMR observations to derive a 9-year time series of soil moisture for all of Spain at a one quarter degree spatial scale. Both day and night SMMR observations were used independently, in order to check the consistency of the results. A first order Fourier Transform was performed on the mean monthly soil moisture values to identify major characteristics of time series such as trend, amplitude, and phase shift.

Owe, M.↗
NASA NTRS1997

Cooperative Data Sharing: Simple Support for Clusters of SMP Nodes

Libraries like PVM and MPI send typed messages to allow for heterogeneous cluster computing. Lower-level libraries, such as GAM, provide more efficient access to communication by removing the need to copy messages between the interface and user space in some cases. still lower-level interfaces, such as UNET, get right down to the hardware level to provide maximum performance. However, these are all still interfaces for passing messages from one process to another, and have limited utility in a shared-memory environment, due primarily to the fact that message passing is just another term for copying. This drawback is made more pertinent by today's hybrid architectures (e.g. clusters of SMPs), where it is difficult to know beforehand whether two communicating processes will share memory. As a result, even portable language tools (like HPF compilers) must either map all interprocess communication, into message passing with the accompanying performance degradation in shared memory environments, or they must check each communication at run-time and implement the shared-memory case separately for efficiency. Cooperative Data Sharing (CDS) is a single user-level API which abstracts all communication between processes into the sharing and access coordination of memory regions, in a model which might be described as "distributed shared messages" or "large-grain distributed shared memory". As a result, the user programs to a simple latency-tolerant abstract communication specification which can be mapped efficiently to either a shared-memory or message-passing based run-time system, depending upon the available architecture. Unlike some distributed shared memory interfaces, the user still has complete control over the assignment of data to processors, the forwarding of data to its next likely destination, and the queuing of data until it is needed, so even the relatively high latency present in clusters can be accomodated. CDS does not require special use of an MMU, which can add overhead to some DSM systems, and does not require an SPMD programming model. unlike some message-passing interfaces, CDS allows the user to implement efficient demand-driven applications where processes must "fight" over data, and does not perform copying if processes share memory and do not attempt concurrent writes. CDS also supports heterogeneous computing, dynamic process creation, handlers, and a very simple thread-arbitration mechanism. Additional support for array subsections is currently being considered. The CDS1 API, which forms the kernel of CDS, is built primarily upon only 2 communication primitives, one process initiation primitive, and some data translation (and marshalling) routines, memory allocation routines, and priority control routines. The entire current collection of 28 routines provides enough functionality to implement most (or all) of MPI 1 and 2, which has a much larger interface consisting of hundreds of routines. still, the API is small enough to consider integrating into standard os interfaces for handling inter-process communication in a network-independent way. This approach would also help to solve many of the problems plaguing other higher-level standards such as MPI and PVM which must, in some cases, "play OS" to adequately address progress and process control issues. The CDS2 API, a higher level of interface roughly equivalent in functionality to MPI and to be built entirely upon CDS1, is still being designed. It is intended to add support for the equivalent of communicators, reduction and other collective operations, process topologies, additional support for process creation, and some automatic memory management. CDS2 will not exactly match MPI, because the copy-free semantics of communication from CDS1 will be supported. CDS2 application programs will be free to carefully also use CDS1. CDS1 has been implemented on networks of workstations running unmodified Unix-based operating systems, using UDP/IP and vendor-supplied high- performance locks. Although its inter-node performance is currently unimpressive due to rudimentary implementation technique, it even now outperforms highly-optimized MPI implementation on intra-node communication due to its support for non-copy communication. The similarity of the CDS1 architecture to that of other projects such as UNET and TRAP suggests that the inter-node performance can be increased significantly to surpass MPI or PVM, and it may be possible to migrate some of its functionality to communication controllers.

DiNucci, David C.↗
DOE OSTI2016

Survival fraction and phenotype alterations of Xenopus laevis embryos at 3 Gy, 150 kV X-ray irradiation

To determine the radiosensitivity of Xenopus laevis embryos, aquatic organism model, for toxicity studies utilizing X-rays at acute high dose levels, by analysing its survival fraction and phenotype alterations under one-exposure integral dose. We used the standard Frog Embryo Teratogenesis Assay Xenopus test during the early stages of X. laevis development. The embryos were harvested until st. 46 when they were irradiated. The radiation effects were checked daily for a week and the survival, malformations and growth inhibition were assessed. Sibling tadpoles as control organisms were used. Statistical analysis was performed to assess the extent of any damage. Irradiation was performed with an X-ray tube operated at 150 kV. The tube containing the tadpoles was exposed to an air kerma of 3 Gy as measured in air with an in-beam ionization chamber. After one week, survival fraction of irradiated embryos was 58%, while for control embryos it was 81%. Hence, irradiation with 150 kV, 3 Gy X-rays produced a 23% decrease of survival in regard to unirradiated embryos. The 70% of the irradiated embryos showed an altered distribution of the skin pigmentation, in particular on the dorsal area and in the olfactory pits, where the pigment concentration increased by a factor 2. In conclusion exposure of X. laevis to 3 Gy, 150 kV X-rays induced a reduction of embryos survival and a significant modification of pigmentation. The authors think that X. laevis embryos, at st 46, is a suitable biological model for large scale investigations on the effects of ionizing radiation.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2024

Shared mooring system designs and cost estimates for wave energy arrays

For floating renewable energy devices to become more cost-efficient and commercially scalable, their mooring system designs must be low-cost and suited for large-scale installations. Large arrays of floating devices, such as wave energy converters (WECs), will likely be designed with an individual mooring system for each device in the array. However, new mooring technology advancements provide options to use shared mooring lines to connect adjacent devices to one another, reducing the total number of anchors in the array, thereby reducing material use and cost. Here, this paper explores the design, modeling, and cost analysis of shared mooring systems for various sizes of arrays consisting of heaving oscillating water column (OWC) WECs. Shared mooring systems for WEC arrays sized in 2 x N and N x N grid layouts are designed to meet the relevant design standards, checking their performance with a nonlinear time-domain dynamic simulation, and the costs of each are calculated and compared. Several assumptions are taken in the design process to produce efficient results, providing a preliminary optimization for guidance on design decisions rather than a full, detailed design analysis. Mooring system costs per WEC were found to decrease as the number of WECs in the array increase, up to certain array sizes. The 2 x 3 array had the lowest mooring system cost per WEC out of all arrays considered, with a 60% cost reduction relative to using individual mooring systems. The 3 x 3 and 4 x 4 arrays achieved a 50% cost per WEC reduction. In addition to these significant cost reductions, the shared mooring system designs can provide advantages through smaller mooring system footprints, lower installation times, and less seabed disturbance.

16 TIDAL AND WAVE POWER↗
DOE OSTI2025

Precision beam diagnostics at the NuMI facility using muon monitor observations

The Neutrinos at the Main Injector (NuMI) facility at Fermilab delivers an intense neutrino beam for multiple experiments by producing pions that decay into neutrinos, muons, and other particles. Magnetic horns—the primary pion focusing elements in the NuMI beamline—exhibit predominantly linear optics, enabling a predictable relationship between the proton beam and the resulting pion and muon phase spaces. This study has two primary objectives: first, to evaluate and confirm the linearity of the horn focusing mechanism using analytical models and numerical simulations; and second, to demonstrate that key beam parameters—such as proton beam intensity, beam position on target, and horn current—can be extracted from muon monitor observations within this linear optics framework. Using a machine learning model trained on spill-by-spill muon monitor data, we infer the horn current with a precision of ±0.05%, the beam intensity with ±0.1%, and the beam position on target with ±0.018⁢ mm horizontally and ±0.013⁢ mm vertically. This approach provides a reliable cross-check of beam parameters, helping to reduce systematic uncertainties that are critical for future experiments such as the Deep Underground Neutrino Experiment, which will rely on the neutrino beam produced by the Long-Baseline Neutrino Facility.

Beam control↗
DOE OSTI2020

Pattern-matching indexing of Laue and monochromatic serial crystallography data for applications in materials science

Serial crystallography data can be challenging to index, as each frame is processed individually, rather than being processed as a whole like in conventional X-ray single-crystal crystallography. An algorithm has been developed to index still diffraction patterns arising from small-unit-cell samples. The algorithm is based on the matching of reciprocal-lattice vector pairs, as developed for Laue microdiffraction data indexing, combined with three-dimensional pattern matching using a nearest-neighbors approach. As a result, large-bandpass data (e.g. 5–24 keV energy range) and monochromatic data can be processed, the main requirement being prior knowledge of the unit cell. Furthermore, angles calculated in the vicinity of a few theoretical and experimental reciprocal-lattice vectors are compared, and only vectors with the highest number of common angles are selected as candidates to obtain the orientation matrix. Global matching on the entire pattern is then checked. Four indexing options are available, two for the ranking of the theoretical reciprocal-lattice vectors and two for reducing the number of possible candidates. Furthermore, the algorithm has been used to index several data sets collected under different experimental conditions on a series of model samples. Additionally, knowing the crystallographic structure of the sample and using this information to rank the theoretical reflections based on the structure factors helps the indexing of large-bandpass data for the largest-unit-cell samples. For small-bandpass data, shortening the candidate list to determine the orientation matrix should be based on matching pairs of reciprocal-lattice vectors instead of triplet matching.

36 MATERIALS SCIENCE↗
DOE OSTI2023

New Developments and Capabilities Within WEC-Sim

WEC-Sim is an open-source software for simulating wave energy converters and has been actively developed and applied since its initial release in 2014 to simulate a wide variety of device archetypes. WEC-Sim is developed jointly by the National Renewable Energy Laboratory and Sandia National Laboratories within the MATLAB/SIMULINK environment. A general wave-to-wire model begins with a deployment site resource characterization, which is used to complete the hydrodynamic simulation of wave energy converters (WEC), with the power generation profile imported to a grid simulator to understand the influence on the local electrical network. While modeling the entire wave-to-wire is difficult and encompasses multiple time scales and physics, WEC-Sim is focused on the hydrodynamics simulation to predict, analyze, and optimize WEC dynamics and power performance. WEC-Sim simulations are performed in the time domain based on the radiation and diffraction method using hydrodynamics coefficients derived from boundary element method (BEM)-based frequency-domain potential flow solvers (e.g., WAMIT, NEMOH, Capytaine, or ANSYS-AQWA). With this level of modeling fidelity, WEC-Sim can handle floating body hydrodynamics, mechanical and electrical power generation methods, advanced control implementation, mooring systems, and other unique applications such as desalination. Additional WEC-Sim functionalities include pre-built Simulink blocks and MATLAB scripts that can simulate a wide range of floating systems and the corresponding auxiliary subsystems. The developers of WEC-Sim continue to release new versions of the software, at least annually, with the latest release in September 2022. These releases include bug fixes, updates to software documentation, as well as new features to expand WEC-Sim's capabilities to model a wide range of WEC concepts. This publication will highlight the new features added to WEC-Sim between versions 4.1.0 to 5.0.1, which spans a 2-year period from June 2020 to September 2022. New features described here include topics such as continuous integration checks, revised Morison Element and nonlinear hydro implementations, run directly from Simulink (required for hardware-in-the-loop execution), BEMIO updates to import Capytaine BEM hydrodynamics, addition of cable blocks, and new wave visualization features.

TIDAL AND WAVE POWER↗
NASA NTRS1988

Diagnostics in the Extendable Integrated Support Environment (EISE)

Extendable Integrated Support Environment (EISE) is a real-time computer network consisting of commercially available hardware and software components to support systems level integration, modifications, and enhancement to weapons systems. The EISE approach offers substantial potential savings by eliminating unique support environments in favor of sharing common modules for the support of operational weapon systems. An expert system is being developed that will help support diagnosing faults in this network. This is a multi-level, multi-expert diagnostic system that uses experiential knowledge relating symptoms to faults and also reasons from structural and functional models of the underlying physical model when experiential reasoning is inadequate. The individual expert systems are orchestrated by a supervisory reasoning controller, a meta-level reasoner which plans the sequence of reasoning steps to solve the given specific problem. The overall system, termed the Diagnostic Executive, accesses systems level performance checks and error reports, and issues remote test procedures to formulate and confirm fault hypotheses.

Brink, James R.↗
NASA NTRS1990

Heavy rain effects on airplane performance

The objective is to determine if the aerodynamic characteristics of an airplane are altered while flying in the rain. Wind-tunnel tests conducted at the NASA Langley Research Center (LaRC) have shown losses in maximum lift, reduction in stall angle, and increases in drag when a wing is placed in a simulated rain spray. For these tests the water spray concentration used represented a very heavy rainfall. A lack of definition of the scaling laws for aerodynamic testing in a two-phase, two-component flow makes interpolation of the wind-tunnel test uncertain. Tests of a large-scale wing are to be conducted at the LaRC. The large-scale wing is mounted on top of the Aircraft Landing Dynamics Facility (ALDF) carriage. This carriage (which is 70-foot long, 30-foot wide, and 30-foot high) is propelled with the wing model attached down a 3000-foot long test track by a water jet at speeds of up to 170 knots. A simulated rain spray system has been installed along 500 feet of the test track and can simulate rain falls from 2 to 40 inches/hour. Operational checks are underway and the initial tests should be completed by the Fall of 1989.

Dunham, R. E., Jr.↗
NASA NTRS2005

JAVA PathFinder

JPF is an explicit state software model checker for Java bytecode. Today, JPF is a swiss army knife for all sort of runtime based verification purposes. This basically means JPF is a Java virtual machine that executes your program not just once (like a normal VM), but theoretically in all possible ways, checking for property violations like deadlocks or unhandled exceptions along all potential execution paths. If it finds an error, JPF reports the whole execution that leads to it. Unlike a normal debugger, JPF keeps track of every step how it got to the defect.

Mehhtz, Peter↗
NASA NTRS2008

Effect of GOES-R Image Navigation and Registration Errors on Atmospheric Motion Vectors

High temporal frequency imagery from geostationary satellites allows for the continuous monitoring of rapidly changing atmospheric constituents such as smoke, dust, water vapor and clouds. The image sequences are often used to quantify the displacement of image features such as water vapor and clouds to produce atmospheric motion vectors (AMVs) which are used as diagnostic tools and also assimilated into numerical weather forecast models. The basic principle behind the determination of AMVs is the calculation of the physical displacement of features from one image (time) to the next. This process assumes that the features being tracked do not change as a function of time, usually requiring the use of short time interval imagery to minimize substantial change in size and shape of the features being tracked. High spatial resolution imagery also is required for reliable feature identification. While these image resolution and temporal sampling requirements often provide major drivers for space-based instrument design requirements, accurate image navigation and registration, INn (between a sequence of images), is also critical to the derivation of useful AMVs. In this paper and poster to be presented at the conference, the image navigation and registration (INR) accuracy expected for the Advanced Baseline Imager (ABI) on the GOES-R series of satellites will be discussed in light of its impact on AMV accuracy. Significant satellite platform and modeling enhancements are planned which should significantly improve INn performance of the GOES-R instruments. Some of these improvements have been demonstrated for the GOES-13 satellite which was launched in summer of 2006. An analysis of GOES-13 INR data, from the special satellite check out period, will be used in the assessment.

Jedlovec, Gary↗
DOE OSTI2016

Development of Critical Experiments to Benchmark Moderator Temperature Reactivity Worth

The simulation of nuclear reactors requires being able to accurately model several different interrelated physical processes including neutronics, heat production, fluid/thermal physics, structural mechanics, fuel behavior, chemistry, and balance-of-plant. In order to design and use new types of nuclear reactors, modern codes have been developed which couple together the behavior of these different physical models to accurately consider the feedback effects between different physical effects. The SHARP toolset, part of the Nuclear Energy Advanced Modeling and Simulation (NEAMS) project, is an example of an effort to combine models of neutronics, thermal-hydraulics, and structural mechanics in a coupled simulation to model any type of nuclear reactor as accurately as possible. The validation of multi-physics coupling techniques requires new experimental benchmark experiments specifically designed for that purpose. As a preliminary step towards design of these experiments, a series of measurements have been performed to demonstrate the temperature-dependent neutronic behavior of a well-characterized reactor assembly for comparison with the available codes. The facility adopted for these experiments is Walthousen Reactor Critical Facility (RCF) at Rensselaer Polytechnic Institute (RPI). The RCF is unique in several aspects and provides several advantages to this type of experiment. Built in 1954 by the American Locomotive Company (ALCO), the RCF has been used to design small compact reactors. RPI acquired the facility in 1963, and the highly-enriched uranium fuel was later swapped for low-enriched fuel pins that were excess from the SPERT facility experiments. Nowadays, The RCF is regarded as a teaching and research facility, permitting the training of licensed Senior Reactor Operators, and offering a critical experiments laboratory course to students. The reactor core standard configuration consists of 332 or 333 UO{sub 2} fuel pins, containing a total of 35.2 grams of U- 235 each (4.81 % enriched). The pins are arranged in a regular lattice with a pitch of 1.6256 cm. The number and configuration of these pins are flexible, and the reactor's overall thermal power is limited to no more than 15 W. As the low thermal output of the reactor does not induce any measurable temperature changes, the effect of temperature in the reactor is observed by applying two 18- kW electric heaters to the water moderator, with mechanical agitators to maintain uniformity in moderator temperature. Before beginning experiments, each fuel pin inside the core was surveyed for mechanical defects (bending or warping) that may contribute to uncertainty in core behavior. Every fuel pin has been individually removed from the core and checked for any irregularities on its surface (caused by shocks or usage). About 12 % of the 333 pins were found to have a small degree of warping and were replaced with excess pins available in the facility. In doing this, we made sure all the pins are identical, thereby increasing the accuracy of future models. (authors)

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗