Search NASA⌕ Search

SEARCH · Search NASA

Results for “validation method”

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,585 records · Page 88
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

Testing and Model Correlation of Sublimator Driven Coldplate Coupons

The Sublimator Driven Coldplate (SDC) is a unique piece of thermal control hardware that has several advantages over a traditional thermal control scheme. The principal advantage is the possible elimination of a pumped fluid loop, potentially saving mass, power, and complexity. Because this concept relies on evaporative heat rejection techniques, it is primarily useful for short mission durations. Additionally, the concept requires a conductive path between the heat-generating component and the heat rejection device. Therefore, it is mostly a relevant solution for a vehicle with a relatively low heat rejection requirement. Coupon level tests were performed at NASA's Johnson Space Center to better understand the basic operational principles and to validate the analytical methods being used for the SDC development. This paper outlines the results of the SDC coupon tests, the subsequent thermal model correlation, and a description of the SDC Engineering Development Unit design.

Sheth, Rubik↗
NASA NTRS2009

Testing and Model Correlation of Sublimator Driven Coldplate Coupons and EDU

The Sublimator Driven Coldplate (SDC) is a unique piece of thermal control hardware that has several advantages over a more traditional thermal control system. The principal advantage is the possible elimination of a pumped fluid loop, potentially saving mass, power, and complexity. Because this concept relies on evaporative heat rejection techniques, it is primarily useful for short mission durations. Additionally, the concept requires a conductive path between the heat-generating component and the heat rejection device. Therefore, it is mostly a relevant solution for a vehicle with a relatively low heat rejection requirement and/or short transport distances. Tests were performed on coupons and an Engineering Development Unit (EDU) at NASA s Johnson Space Center to better understand the basic operational principles and to validate the analytical methods being used for the SDC development. This paper outlines the results of the SDC tests, the subsequent thermal model correlation, and a description of the SDC Engineering Development Unit test results.

Leimkuehler, Thomas O.↗
NASA NTRS2007

An Approach to Improved Credibility of CFD Simulations for Rocket Injector Design

Computational fluid dynamics (CFD) has the potential to improve the historical rocket injector design process by simulating the sensitivity of performance and injector-driven thermal environments to. the details of the injector geometry and key operational parameters. Methodical verification and validation efforts on a range of coaxial injector elements have shown the current production CFD capability must be improved in order to quantitatively impact the injector design process.. This paper documents the status of an effort to understand and compare the predictive capabilities and resource requirements of a range of CFD methodologies on a set of model problem injectors. Preliminary results from a steady Reynolds-Average Navier-Stokes (RANS), an unsteady Reynolds-Average Navier Stokes (URANS) and three different Large Eddy Simulation (LES) techniques used to model a single element coaxial injector using gaseous oxygen and gaseous hydrogen propellants are presented. Initial observations are made comparing instantaneous results, corresponding time-averaged and steady-state solutions in the near -injector flow field. Significant differences in the flow fields exist, as expected, and are discussed. An important preliminary result is the identification of a fundamental mixing mechanism, accounted for by URANS and LES, but missing in the steady BANS methodology. Since propellant mixing is the core injector function, this mixing process may prove to have a profound effect on the ability to more correctly simulate injector performance and resulting thermal environments. Issues important to unifying the basis for future comparison such as solution initialization, required run time and grid resolution are addressed.

Tucker, Paul K.↗
NASA NTRS2006

NASA Crew Launch Vehicle Approach Builds on Lessons from Past and Present Missions

The United States Vision for Space Exploration, announced in January 2004, outlines the National Aeronautics and Space Administration's (NASA) strategic goals and objectives, including retiring the Space Shuttle and replacing it with a new human-rated system suitable for missions to the Moon and Mars. The Crew Exploration Vehicle (CEV) that the new Crew Launch Vehicle (CLV) lofts into space early next decade will initially ferry astronauts to the International Space Station and be capable of carrying crews back to lunar orbit and of supporting missions to Mars orbit. NASA is using its extensive experience gained from past and ongoing launch vehicle programs to maximize the CLV system design approach, with the objective of reducing total lifecycle costs through operational efficiencies. To provide in-depth data for selecting this follow-on launch vehicle, the Exploration Systems Architecture Study was conducted during the summer of 2005, following the confirmation of the new NASA Administrator. A team of aerospace subject matter experts used technical, budget, and schedule objectives to analyze a number of potential launch systems, with a focus on human rating for exploration missions. The results showed that a variant of the Space Shuttle, utilizing the reusable Solid Rocket Booster as the first stage, along with a new upper stage that uses a derivative of the RS-25 Space Shuttle Main Engine to deliver 25 metric tons to low-Earth orbit, was the best choice to reduce the risks associated with fielding a new system in a timely manner. The CLV Project, managed by the Exploration Launch Office located at NASA's Marshall Space Flight Center, is leading the design, development, testing, and operation of this new human-rated system. The CLV Project works closely with the Space Shuttle Program to transition hardware, infrastructure, and workforce assets to the new launch system . leveraging a wealth of lessons learned from Shuttle operations. The CL V is being designed to reduce costs through a number of methods, ranging from validating requirements to conducting trades studies against the concept design. Innovations such as automated processing will build on lessons learned from the Shuttle, other launch systems, Department of Defense operations experience, and subscale flight tests such as the Delta Clipper-Experimental Advanced (DCXA) vehicle operations that utilized minimal touch labor, automated cryogen ic propellant loading , and an 8-hour turnaround for a cryogenic propulsion system. For the CLV, the results of hazard analyses are contributing to an integrated vehicle health monitoring system that will troubleshoot anomalies and determine which ones can be solved without human intervention. Such advances will help streamline the mission operations process for pilots and ground controllers alike. In fiscal year 2005, NASA invested approximately $4.5 billion of its $16 bill ion budget on the Space Shuttle. The ultimate goal of the CLV Project is to deliver a safe, reliable system designed to minimize lifecycle costs so that NASA's budget can be invested in missions of scientific discovery. Lessons learned from developing the CLV will be applied to the growth path for future systems, including a heavy lift launch vehicle.

Dumbacher, Daniel L.↗
NASA NTRS2012

Demagnetization Tests Performed on a Linear Alternator for a Stirling Power Convertor

The NASA Glenn Research Center (GRC) is conducting in-house research on rare-earth permanent magnets and linear alternators to assist in developing free-piston Stirling convertors for radioisotope space power systems and for developing advanced linear alternator technology. This research continues at GRC, but, with the exception of Advanced Stirling Radioisotope Generator references, the work presented in this paper was conducted in 2005. A special arc-magnet characterization fixture was designed and built to measure the M-H characteristics of the magnets used in Technology Demonstration Convertors developed under the 110-W Stirling Radioisotope Generator (SRG110) project. This fixture was used to measure these characteristics of the arc magnets and to predict alternator demagnetization temperatures in the SRG110 application. Demagnetization tests using the TDC alternator on the Alternator Test Rig were conducted for two different magnet grades: Sumitomo Neomax 44AH and 42AH. The purpose of these tests was to determine the demagnetization temperatures of the magnets for the alternator under nominal loads. Measurements made during the tests included the linear alternator terminal voltage, current, average power, magnet temperatures, and stator temperatures. The results of these tests were found to be in good agreement with predictions. Alternator demagnetization temperatures in the Advanced Stirling Convertor (ASC-developed under the Advanced Stirling Radioisotope Generator project) were predicted as well because the prediction method had been validated through the SRG110 alternator tests. These predictions led to a specification for maximum temperatures of the ASC pressure vessel.

Geng, Steven M.↗
NASA NTRS2012

Advances in Spectral-Spatial Classification of Hyperspectral Images

Recent advances in spectral-spatial classification of hyperspectral images are presented in this paper. Several techniques are investigated for combining both spatial and spectral information. Spatial information is extracted at the object (set of pixels) level rather than at the conventional pixel level. Mathematical morphology is first used to derive the morphological profile of the image, which includes characteristics about the size, orientation and contrast of the spatial structures present in the image. Then the morphological neighborhood is defined and used to derive additional features for classification. Classification is performed with support vector machines using the available spectral information and the extracted spatial information. Spatial post-processing is next investigated to build more homogeneous and spatially consistent thematic maps. To that end, three presegmentation techniques are applied to define regions that are used to regularize the preliminary pixel-wise thematic map. Finally, a multiple classifier system is defined to produce relevant markers that are exploited to segment the hyperspectral image with the minimum spanning forest algorithm. Experimental results conducted on three real hyperspectral images with different spatial and spectral resolutions and corresponding to various contexts are presented. They highlight the importance of spectral-spatial strategies for the accurate classification of hyperspectral images and validate the proposed methods.

Fauvel, Mathieu↗
NASA NTRS2009

CFD Technology for Rotorcraft Gearbox Windage Aerodynamics Simulation

A computational fluid dynamics (CFD) method is adapted, validated and applied to spinning gear systems with emphasis on predicting windage losses. Several spur gears and a disc are studied. The CFD simulations return good agreement with measured windage power loss. Turbulence modeling choices, the relative importance of viscous and pressure torques with gear speed and the physics of the complex 3-D unsteady flow field in the vicinity of the gear teeth are studied.

Handschuh, Robert↗
NASA NTRS2012

Global 3-D Ionospheric Electron Density Reanalysis Based on Multisource Data Assimilation

We report preliminary results of a global 3-D ionospheric electron density reanalysis demonstration study during 2002-2011 based on multisource data assimilation. The monthly global ionospheric electron density reanalysis has been done by assimilating the quiet days ionospheric data into a data assimilation model constructed using the International Reference Ionosphere (IRI) 2007 model and a Kalman filter technique. These data include global navigation satellite system (GNSS) observations of ionospheric total electron content (TEC) from ground-based stations, ionospheric radio occultations by CHAMP, GRACE, COSMIC, SAC-C, Metop-A, and the TerraSAR-X satellites, and Jason-1 and 2 altimeter TEC measurements. The output of the reanalysis are 3-D gridded ionospheric electron densities with temporal and spatial resolutions of 1 h in universal time, 5deg in latitude, 10deg in longitude, and approx.30 km in altitude. The climatological features of the reanalysis results, such as solar activity dependence, seasonal variations, and the global morphology of the ionosphere, agree well with those in the empirical models and observations. The global electron content derived from the international GNSS service global ionospheric maps, the observed electron density profiles from the Poker Flat Incoherent Scatter Radar during 2007-2010, and foF2 observed by the global ionosonde network during 2002-2011 are used to validate the reanalysis method. All comparisons show that the reanalysis have smaller deviations and biases than the IRI-2007 predictions. Especially after April 2006 when the six COSMIC satellites were launched, the reanalysis shows significant improvement over the IRI predictions. The obvious overestimation of the low-latitude ionospheric F region densities by the IRI model during the 23/24 solar minimum is corrected well by the reanalysis. The potential application and improvements of the reanalysis are also discussed.

Xinan Yue↗
NASA NTRS2014

Functional Imaging of Human Vestibular Cortex Activity Elicited by Skull Tap and Auditory Tone Burst

The aim of the current study was to characterize the brain activation in response to two modes of vestibular stimulation: skull tap and auditory tone burst. The auditory tone burst has been used in previous studies to elicit saccular Vestibular Evoked Myogenic Potentials (VEMP) (Colebatch & Halmagyi 1992; Colebatch et al. 1994). Some researchers have reported that airconducted skull tap elicits both saccular and utricle VEMPs, while being faster and less irritating for the subjects (Curthoys et al. 2009, Wackym et al., 2012). However, it is not clear whether the skull tap and auditory tone burst elicit the same pattern of cortical activity. Both forms of stimulation target the otolith response, which provides a measurement of vestibular function independent from semicircular canals. This is of high importance for studying the vestibular disorders related to otolith deficits. Previous imaging studies have documented activity in the anterior and posterior insula, superior temporal gyrus, inferior parietal lobule, pre and post central gyri, inferior frontal gyrus, and the anterior cingulate cortex in response to different modes of vestibular stimulation (Bottini et al., 1994; Dieterich et al., 2003; Emri et al., 2003; Schlindwein et al., 2008; Janzen et al., 2008). Here we hypothesized that the skull tap elicits the similar pattern of cortical activity as the auditory tone burst. Subjects put on a set of MR compatible skull tappers and headphones inside the 3T GE scanner, while lying in supine position, with eyes closed. All subjects received both forms of the stimulation, however, the order of stimulation with auditory tone burst and air-conducted skull tap was counterbalanced across subjects. Pneumatically powered skull tappers were placed bilaterally on the cheekbones. The vibration of the cheekbone was transmitted to the vestibular cortex, resulting in vestibular response (Halmagyi et al., 1995). Auditory tone bursts were also delivered for comparison. To validate our stimulation method, we measured the ocular VEMP outside of the scanner. This measurement showed that both skull tap and auditory tone burst elicited vestibular evoked activation, indicated by eye muscle response. Our preliminary analyses showed that the skull tap elicited activation in medial frontal gyrus, superior temporal gyrus, postcentral gyrus, transverse temporal gyrus, anterior cingulate, and putamen. The auditory tone bursts elicited activation in medial frontal gyrus, superior temporal gyrus, superior frontal gyrus, precentral gyrus, inferior and superior parietal lobules. In line with our hypothesis, skull taps elicited a pattern of cortical activity closely similar to one elicited by auditory tone bursts. Further analysis will determine the extent to which the skull taps can replace the auditory tone stimulation in clinical and basic science vestibular assessments.

Noohi, Fatemeh↗
NASA NTRS2014

Experimental Aeroheating Study of Mid-L/D Entry Vehicle Geometries: NASA LaRC 20-Inch Mach 6 Air Tunnel Test 6966

Aeroheating data on mid lift-to-drag ratio entry vehicle configurations has been obtained through hypersonic wind tunnel testing. Vehicles of this class have been proposed for high-mass Mars missions, such as sample return and crewed exploration, for which the conventional sphere-cone entry vehicle geometries of previous Mars missions are insufficient. Several configurations were investigated, including elliptically-blunted cylinders with both circular and elliptical cross sections, biconic geometries based on launch vehicle dual-use shrouds, and parametrically-optimized analytic geometries. Testing was conducted at Mach 6 over a range of Reynolds numbers sufficient to generate laminar, transitional, and turbulent flow. Global aeroheating data were obtained using phosphor thermography. Both stream-wise and cross-flow transition occured on different configurations. Comparisons were made with laminar and turbulent computational predictions generated with an algebraic turbulence model. Predictions were generally in good agreement in regions of laminar or fully-turbulent flow; however for transitional cases, the lack of a transition onset prediction capability produced less accurate comparisons. The data obtained in this study are intended to be used for prelimary mission design studies and the development and validation of computational methods.

Hollis, Brian R.↗
NASA NTRS2015

Cloud-to-Ground Lightning Estimates Derived from SSMI Microwave Remote Sensing and NLDN

Lightning observations are collected using ground-based and satellite-based sensors. The National Lightning Detection Network (NLDN) in the United States uses multiple ground sensors to triangulate the electromagnetic signals created when lightning strikes the Earth's surface. Satellite-based lightning observations have been made from 1998 to present using the Lightning Imaging Sensor (LIS) on the NASA Tropical Rainfall Measuring Mission (TRMM) satellite, and from 1995 to 2000 using the Optical Transient Detector (OTD) on the Microlab-1 satellite. Both LIS and OTD are staring imagers that detect lightning as momentary changes in an optical scene. Passive microwave remote sensing (85 and 37 GHz brightness temperatures) from the TRMM Microwave Imager (TMI) has also been used to quantify characteristics of thunderstorms related to lightning. Each lightning detection system has fundamental limitations. TRMM satellite coverage is limited to the tropics and subtropics between 38 deg N and 38 deg S, so lightning at the higher latitudes of the northern and southern hemispheres is not observed. The detection efficiency of NLDN sensors exceeds 95%, but the sensors are only located in the USA. Even if data from other ground-based lightning sensors (World Wide Lightning Location Network, the European Cooperation for Lightning Detection, and Canadian Lightning Detection Network) were combined with TRMM and NLDN, there would be enormous spatial gaps in present-day coverage of lightning. In addition, a globally-complete time history of observed lightning activity is currently not available either, with network coverage and detection efficiencies varying through the years. Previous research using the TRMM LIS and Microwave Imager (TMI) showed that there is a statistically significant correlation between lightning flash rates and passive microwave brightness temperatures. The physical basis for this correlation emerges because lightning in a thunderstorm occurs where ice is first present in the cloud and electric charge separation occurs. These ice particles efficiently scatter the microwave radiation at the 85 and 37 GHz frequencies, thus leading to large brightness temperature depressions. Lightning flash rate is related to the total amount of ice passing through the convective updraft regions of thunderstorms. Confirmation of this relationship using TRMM LIS and TMI data, however, remains constrained to TRMM observational limits of the tropics and subtropics. Satellites from the Defense Meteorology Satellite Program (DMSP) have global coverage and are equipped with passive microwave imagers that, like TMI, observe brightness temperatures at 85 and 37 GHz. Unlike the TRMM satellite, however, DMSP satellites do not have a lightning sensor, and the DMSP microwave data has never been used to derive global lightning. In this presentation, a relationship between DMSP Special Sensor Microwave Imager (SSMI) data and ground-based cloud-to-ground (CG) lightning data from NLDN is investigated to derive a spatially complete time history of CG lightning for the USA study area. This relationship is analogous to the established using TRMM LIS and TMI data. NLDN has the most spatially and temporally complete CG lightning data for the USA, and therefore provides the best opportunity to find geospatially coincident observations with SSMI sensors. The strongest thunderstorms generally have minimum 85 GHz Polarized Corrected brightness Temperatures (PCT) less than 150 K. Archived radar data was used to resolve the spatial extent of the individual storms. NLDN data for that storm spatial extent defined by radar data was used to calculate the CG flash rate for the storm. Similar to results using TRMM sensors, a linear model best explained the relationship between storm-specific CG flash rates and minimum 85 GHz PCT. However, the results in this study apply only to CG lightning. To extend the results to weaker storms, the probability of CG lightning (instead of the flash rate) was calculated for storms having 85 GHz PCT greater than 150 K. NLDN data was used to determine if a CG strike occurred for a storm. This probability of CG lightning was plotted as a function of minimum 85 GHz PCT and minimum 37 GHz PCT. These probabilities were used in conjunction with the linear model to estimate the CG flash rate for weaker storms with minimum 85 GHz PCTs greater than 150 K. Results from the investigation of CG lightning and passive microwave radiation signals agree with the previous research investigating total lightning and brightness temperature. Future work will take the established relationships and apply them to the decades of available DMSP data for the USA to derive a map of CG lightning flash rates. Validation of this method and uncertainty analysis will be done by comparing the derived maps of CG lightning flash rates against existing NLDN maps of CG lightning flash rates.

Winesett, Thomas↗
NASA NTRS2015

NASA Ames UV-LED Poster Overview

UV-LED is a small satellite technology demonstration payload being flown on the Saudisat-4 spacecraft that is demonstrating non-contacting charge control of an isolated or floating mass using new solid-state ultra-violet light emitting diodes (UV-LEDs). Integrated to the rest of the spacecraft and launched on a Dnepr in June 19, 2014, the project is a collaboration between the NASA Ames Research Center (ARC), Stanford University, and King Abdulaziz City for Science and Technology (KACST). Beginning with its commissioning in December, 2015, the data collected by UV-LED have validated a novel method of charge control that will improve the performance of drag-free spacecraft allowing for concurrent science collection during charge management operations as well as reduce the mass, power and volume required while increasing lifetime and reliability of a charge management subsystem. UV-LED continues to operate, exploring new concepts in non-contacting charge control and collecting data crucial to understanding the lifetime of ultra-violet light emitting diodes in space. These improvements are crucial to the success of ground breaking missions such as LISA and BBO, and demonstrates the ability of low cost small satellite missions to provide technological advances that far exceed mission costs.

KACST↗
NASA NTRS2015

Aligning, Bonding, and Testing Mirrors for Lightweight X-ray Telescopes

High-resolution, high throughput optics for x-ray astronomy entails fabrication of well-formed mirror segments and their integration with arc-second precision. In this paper, we address issues of aligning and bonding thin glass mirrors with negligible additional distortion. Stability of the bonded mirrors and the curing of epoxy used in bonding them were tested extensively. We present results from tests of bonding mirrors onto experimental modules, and on the stability of the bonded mirrors tested in x-ray. These results demonstrate the fundamental validity of the methods used in integrating mirrors into telescope module, and reveal the areas for further investigation. The alignment and integration methods are applicable to the astronomical mission concept such as STAR-X, the Survey and Time-domain Astronomical Research Explorer.

mirror alignment↗
NASA NTRS2016

New Satellite Project Aerosol-UA: Remote Sensing of Aerosols in the Terrestrial Atmosphere

We discuss the development of the Ukrainian space project Aerosol-UA which has the following three main objectives: (1) to monitor the spatial distribution of key characteristics of terrestrial tropospheric and stratospheric aerosols; (2) to provide a comprehensive observational database enabling accurate quantitative estimates of the aerosol contribution to the energy budget of the climate system; and (3) quantify the contribution of anthropogenic aerosols to climate and ecological processes. The remote sensing concept of the project is based on precise orbital measurements of the intensity and polarization of sunlight scattered by the atmosphere and the surface with a scanning polarimeter accompanied by a wide-angle multispectral imager-polarimeter. Preparations have already been made for the development of the instrument suite for the Aerosol-UA project, in particular, of the multi-channel scanning polarimeter (ScanPol) designed for remote sensing studies of the global distribution of aerosol and cloud properties (such as particle size, morphology, and composition) in the terrestrial atmosphere by polarimetric and spectrophotometric measurements of the scattered sunlight in a wide range of wavelengths and viewing directions from which a scene location is observed. ScanPol is accompanied by multispectral wide-angle imager-polarimeter (MSIP) that serves to collect information on cloud conditions and Earths surface image. Various components of the polarimeter ScanPol have been prototyped, including the opto-mechanical and electronic assemblies and the scanning mirror controller. Preliminary synthetic data simulations for the retrieval of aerosol parameters over land surfaces have been performed using the Generalized Retrieval of Aerosol and Surface Properties (GRASP) algorithm. Methods for the validation of satellite data using ground-based observations of aerosol properties are also discussed. We assume that designing, building, and launching into orbit a multi-functional high-precision scanning polarimeter and an imager-polarimeter should make a significant contribution to the study of natural and anthropogenic aerosols and their climatic and ecological effects.

remote sensing↗
NASA NTRS2012

Advances in Spectral-Spatial Classification of Hyperspectral Images

Recent advances in spectral-spatial classification of hyperspectral images are presented in this paper. Several techniques are investigated for combining both spatial and spectral information. Spatial information is extracted at the object (set of pixels) level rather than at the conventional pixel level. Mathematical morphology is first used to derive the morphological profile of the image, which includes characteristics about the size, orientation, and contrast of the spatial structures present in the image. Then, the morphological neighborhood is defined and used to derive additional features for classification. Classification is performed with support vector machines (SVMs) using the available spectral information and the extracted spatial information. Spatial postprocessing is next investigated to build more homogeneous and spatially consistent thematic maps. To that end, three presegmentation techniques are applied to define regions that are used to regularize the preliminary pixel-wise thematic map. Finally, a multiple-classifier (MC) system is defined to produce relevant markers that are exploited to segment the hyperspectral image with the minimum spanning forest algorithm. Experimental results conducted on three real hyperspectral images with different spatial and spectral resolutions and corresponding to various contexts are presented. They highlight the importance of spectral–spatial strategies for the accurate classification of hyperspectral images and validate the proposed methods.

hyperspectral image↗
NASA NTRS2016

C/NOFS Remote Sensing of Ionospheric Reflectance

Alfvn waves play critical roles in the electrodynamic coupling of plasmas at magnetically conjugate regions in near-Earth space. Associated electric (E*) and magnetic (dec B*) field perturbations sampled by sensors on satellites in low-Earth orbits are generally super positions of incident and reflected waves. However, lack of knowledge about ionospheric reflection coefficients (alpha) hinders understanding of generator outputs and load absorption of Alfvn wave energies. Here we demonstrate a new method for estimating using satellite measurements of ambient E* and dec B* then apply it to a case in which the Communication Navigation Outage Forecasting System (CNOFS) satellite flew conjugate to the field of view of a 630.0 nm all-sky imager at El Leoncito, Argentina, while medium-scale traveling ionosphere disturbances were detected in its field of view. In regions of relatively large amplitudes of E* and B*,calculated values ranged between 0.67 and 0.88. This implies that due to impedance mismatches, the generator ionosphere puts out significantly more electromagnetic energy than the load can absorb. Our analysis also uncovered caveats concerning the methods range of applicability in regions of low E* and B*. The method can be validated in future satellite-based auroral studies where energetic particle precipitation fluxes can be used to make independent estimates of alpha.

Burke, W. J.↗
NASA NTRS2017

The MINERVA Software Development Process

This paper presents a software development process for safety-critical software components of cyber-physical systems. The process is called MINERVA, which stands for Mirrored Implementation Numerically Evaluated against Rigorously Verified Algorithms. The process relies on formal methods for rigorously validating code against its requirements. The software development process uses: (1) a formal specification language for describing the algorithms and their functional requirements, (2) an interactive theorem prover for formally verifying the correctness of the algorithms, (3) test cases that stress the code, and (4) numerical evaluation on these test cases of both the algorithm specifications and their implementations in code. The MINERVA process is illustrated in this paper with an application to geo-containment algorithms for unmanned aircraft systems. These algorithms ensure that the position of an aircraft never leaves a predetermined polygon region and provide recovery maneuvers when the region is inadvertently exited.

Narkawicz, Anthony↗
NASA NTRS2017

Electrically Heated Testing of the Kilowatt Reactor Using Stirling Technology (KRUSTY) Experiment Using a Depleted Uranium Core

The Kilopower project aims to develop and demonstrate scalable fission-based power technology for systems capable of delivering 110 kW of electric power with a specific power ranging from 2.5 - 6.5 Wkg. This technology could enable high power science missions or could be used to provide surface power for manned missions to the Moon or Mars. NASA has partnered with the Department of Energys National Nuclear Security Administration, Los Alamos National Labs, and Y-12 National Security Complex to develop and test a prototypic reactor and power system using existing facilities and infrastructure. This technology demonstration, referred to as the Kilowatt Reactor Using Stirling TechnologY (KRUSTY), will undergo nuclear ground testing in the summer of 2017 at the Nevada Test Site. The 1 kWe variation of the Kilopower system was chosen for the KRUSTY demonstration. The concept for the 1 kWe flight system consist of a 4 kWt highly enriched Uranium-Molybdenum reactor operating at 800 degrees Celsius coupled to sodium heat pipes. The heat pipes deliver heat to the hot ends of eight 125 W Stirling convertors producing a net electrical output of 1 kW. Waste heat is rejected using titanium-water heat pipes coupled to carbon composite radiator panels. The KRUSTY test, based on this design, uses a prototypic highly enriched uranium-molybdenum core coupled to prototypic sodium heat pipes. The heat pipes transfer heat to two Advanced Stirling Convertors (ASC-E2s) and six thermal simulators, which simulate the thermal draw of full scale power conversion units. Thermal simulators and Stirling engines are gas cooled. The most recent project milestone was the completion of non-nuclear system level testing using an electrically heated depleted uranium (non-fissioning) reactor core simulator. System level testing at the Glenn Research Center (GRC) has validated performance predictions and has demonstrated system level operation and control in a test configuration that replicates the one to be used at the Device Assembly Facility (DAF) at the Nevada National Security Site. Fabrication, assembly, and testing of the depleted uranium core has allowed for higher fidelity system level testing at GRC, and has validated the fabrication methods to be used on the highly enriched uranium core that will supply heat for the DAF KRUSTY demonstration.

Briggs, Maxwell H.↗