Search NASA⌕ Search

SEARCH · Search NASA

Results for “reporting and analysis of anomalies”

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 325 records · Page 18

Small Explorer (SMEX) POsitron Electron Magnet Spectrometer (POEMS)

This report covers the activities of Louisiana State University (LSU) under subcontract 26053-EX between LSU and the Bartol Research Institute (Bartol), which began January 1, 1994. The purpose of this subcontract was for LSU to participate in and support Bartol in the work to define the SMEX (Small Explorer)/POEMS (Positron Electron Magnet Spectrometer) spaceflight mission under NASA Contract NAS5-38098 between NASA and Bartol. The conclusions of this study were that for a 1998 launch into a 600km altitude, 98 degrees, approximately sun synchronous orbit, (a) the total radiation dose would be typically a few k-rad per year, certainly less than 20 k-rad per year for the anticipated shielding and potential solar flare environment, (b) detector counting rates would be dominated by the South Atlantic Anomaly (SAA) and the horns of the Van Allen belts, (c) the galactic electron and positron 'signal' can be extracted from the albedo background and the trapped populations by detailed evaluation of the geomagnetic transmission function (cut-off) for each event, (d) POEMS could make significant contributions to magnetospheric science if sufficient downlink capacity were provided and, (e) a fully functioning, cost efficient, data processing and analysis facility design was developed for the mission. Overall, POEMS was found to be a relatively simple experiment to manifest, operate and analyze and had potential for fundamental new discoveries in cosmic, heliospheric, solar and magnetospheric science.

LHeureux, Jacques↗

Beyond magnons in Nd 2 ScNbO 7 : An Ising pyrochlore antiferromagnet with all-in–all-out order and random fields

We report the low-temperature magnetic properties of Nd 3+ pyrochlore Nd 2 ScNbO 7 . Susceptibility and magnetization show an easy-axis moment, and heat capacity reveals a phase transition to long-range order at T N =371(2) mK with a fully recovered ΔS=Rln(2), 53% of it recovered for T>T N . Elastic neutron scattering shows a long-range all-in all-out magnetic order with low-Q diffuse elastic scattering. Inelastic neutron scattering shows a low-energy flat band, indicating a magnetic Hamiltonian similar to Nd 2 Zr 2 O 7 . Nuclear hyperfine excitations measured by ultra-high-resolution neutron backscattering indicate a distribution of static electronic moments below T N , which may be due to B-site disorder influencing Nd crystal electric fields. Analysis of heat-capacity data shows an unexpected T-linear or T 3/2 term which is inconsistent with conventional magnon quasiparticles, but is consistent with fractionalized spinons or gapless local spin excitations. We use legacy data to show similar behavior in Nd 2 Zr 2 O 7 . Comparing local static moments also reveals a suppression of the nuclear Schottky anomaly in temperature, evidencing a fraction of Nd sites with nearly zero static moment, consistent with exchange-disorder-induced random singlet formation. Finally, taken together, these measurements suggest an unusual fluctuating magnetic ground state which mimics a spin liquid, but may not actually be one.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Investigation of Spiral Bevel Gear Condition Indicator Validation via AC-29-2C Using Fielded Rotorcraft HUMS Data

This report presents the analysis of gear condition indicator data collected on a helicopter when damage occurred in spiral bevel gears. The purpose of the data analysis was to use existing in-service helicopter HUMS flight data from faulted spiral bevel gears as a Case Study, to better understand the differences between HUMS data response in a helicopter and a component test rig, the NASA Glenn Spiral Bevel Gear Fatigue Rig. The reason spiral bevel gear sets were chosen to demonstrate differences in response between both systems was the availability of the helicopter data and the availability of a test rig that was capable of testing spiral bevel gear sets to failure. The objective of the analysis presented in this paper was to re-process helicopter HUMS data with the same analysis techniques applied to the spiral bevel rig test data. The damage modes experienced in the field were mapped to the failure modes created in the test rig. A total of forty helicopters were evaluated. Twenty helicopters, or tails, experienced damage to the spiral bevel gears in the nose gearbox. Vibration based gear condition indicators data was available before and after replacement. The other twenty tails had no known anomalies in the nose gearbox within the time frame of the datasets. These twenty tails were considered the baseline dataset. The HUMS gear condition indicators evaluated included gear condition indicators (CI) Figure of Merit 4 (FM4), Root Mean Square (RMS) or Diagnostic Algorithm 1 (DA1) and +/- 3 Sideband Index (SI3). Three additional condition indicators, not currently calculated on-board, were calculated from the archived data. These three indicators were +/- 1 Sideband Index (SI1), the DA1 of the difference signal (DiffDA1) and the peak-to-peak of the difference signal (DP2P). Results found the CI DP2P, not currently available in the on-board HUMS, performed the best, responding to varying levels of damage on thirteen of the fourteen helicopters evaluated. Two additional CIs also not in the on-board system, DiffDA1and SI1, also performed well responding to twelve and ten of the fourteen helicopters evaluated respectively. Of the three CIs currently available in the MSPU, DA1, FM4 and SI3, SI3, responded to eight, DA1 responded to six and FM4 responded to four of the fourteen helicopters evaluated. FM4, the poorest performing CI, was not as responsive to damage as the other five CIs. Conversely, when compared to the other two, it was the only CI that responded to damage on two helicopters. CI response could not be correlated to specific failure modes due to limited pictures and subjective descriptions found within the TDA. Flight regime did affect CI response to some gear faults. Due to the range of operating conditions for each regime, more studies are required to determine their sensitivity to regimes.

rotorcraft↗

Panorama 360 (Final Report)

This is the final technical report for the DOE-funded Panorama 360 project. Panorama 360 provided a resource for the collection, analysis, and sharing of performance data about end-to-end scientific workflows executing on DOE facilities. The work focused on workflows that include experimental data generation at DOE facilities. The main activities of Panorama 360 include the development of: 1. A distributed repository that stores different types of workflow execution data (e.g., point and time series performance traces at fine- and coarse-grained levels); 2. A set of open-source data capture, curation, and publishing tools fully integrated with a state-of-the-art workflow management system that automates data ingestion to the repository and enables users to discover, query, and process data from the repository; 3. A set of analysis algorithms and machine learning based tools to perform analysis and characterization of the gathered data, which can be used to detect anomalous performance or system faults; and 4. Best practices and recommendations for workflow evaluation, analysis, execution, and architectures.

97 MATHEMATICS AND COMPUTING↗

The Modulated Crystal Structure of K 2 V 3 O 8

Weak lattice distortions can tune exchange pathways and magnetic interactions in square-lattice quantum magnets. K 2 V 3 O 8 is a mixed valence (V 4+ /V 5+ ) fresnoite oxide that exhibits strong spin–lattice coupling at low temperature. Here, we combine single-crystal neutron diffraction (90 K) and laboratory X-ray diffraction (50 K) to solve the low-temperature structure as an orthorhombic (3 + 1)D incommensurately modulated phase in superspace group Cmm2(β,0,1/2)0s0 [No. 196]. What initially appeared as two independent modulation vectors, q 1 = 0.3132(6)[$110$] + 1/2c* and q 2 = 0.3132(6)[$1\bar{10}$] + 1/2c*, are more naturally described as a single one-dimensional modulation wave q = 0.626(1)a* + 1/2c* in a C-centered orthorhombic lattice, related to the parent tetragonal cell by the transformation a + b, −a + b, c. Refinement with a 4-fold rotational twin inherited from the P4bm parent structure solves oxygen-dominated framework distortions and K + displacements. A de Wolff section (t = 0.40) enables a symmetry-mode decomposition, identifying three dominant mm2 (C 2v ) modes: GM3 for framework tilt, A5 for interlayer shear, and Z5 for c-axis breathing. The mode-resolved structure provides a unified, symmetry-based explanation for reported low-temperature Raman and IR anomalies and clarifies the structural origin of the spin–lattice coupling in the S = 1/2 two-dimensional quantum spin compound.

K2V3O8↗

Integrated End-to-end Performance Prediction and Diagnosis for Extreme Scientific Workflows

This report details recent progress for the ASCR funded project “Integrated End-to-end Performance Prediction and Diagnosis for Extreme Scientific Workflows”. We refer to the project as IPPD/2, reflecting the 2017 renewal under expanded scope and partners In IPPD/2, we increased our research scope to include data motion. We are focusing on three major aspects: a) observe how data is generated, distributed, and used; b) analyze how data is (repeatedly) consumed with a focus both on repeated patterns and anomalies; and c) explore how to optimize data motion. This new work on data motion will augment and complement IPPD/2’s research that focused on the computational aspects of tasks. We leverage and extend our existing tools and demonstrate our work on the Belle II workflow suite as well as on workflows from NSLS-II. The highlights of our work are as follows: Provenance for Workflows: Provenance is used to provide information enabling quality control, re-run computational workflows, and reproduce results. IPPD/2 has been building a scalable provenance management system that enables the capture of provenance from the high-level workflow through all relevant system levels in one integrated environment. Leveraging this work, our recent efforts have included using provenance as an enabling technique. Workload characterization: Leveraging provenance and analysis, we characterize data movement within network, storage, and memory over a variety of workloads. This characterization enables an understanding by performance analysts and application developers of the range of behaviors that could be expected. Performance Prediction for Workflows: The goal of modeling distributed workflows is to understand performance bottlenecks and enable more intelligent task scheduling to optimize selected metrics of interest (e.g., task throughput or output data rate). IPPD/2 has utilized both analytical and AI/ML modeling methodologies for performance modeling. Advanced Scheduling and Fault Modeling for Workflows: Scheduling of large-scale scientific workflows on geographically distributed resources is a challenging problem. To improve workflow throughput, we combined novel scheduling algorithms with task predictions from performance modeling and fault modeling. Dynamically Alleviating Bottlenecks in Workflows: Exploiting our provenance, analysis, and modeling efforts, we have explored and developed several techniques for dynamically detecting and alleviating bottlenecks in data movement. In particular, we have spent considerable effort demonstrating our techniques on production-like workflow configurations.

97 MATHEMATICS AND COMPUTING↗

Discovering Blind Geothermal Systems in the Great Basin Region: An Integrated Geologic and Geophysical Approach for Establishing Geothermal Play Fairways: All Phases

Most geothermal resources in the Great Basin region of the western USA are blind, and thus the discovery of new commercial-grade systems requires synthesis of favorable characteristics for geothermal activity. The geothermal play fairway concept involves integration of multiple parameters indicative of geothermal activity to identify promising areas for new development. This project integrated multiple datasets to apply the play fairway concept and assess geothermal potential in a large region of the Great Basin in Nevada. It is therefore referred to as the Nevada play fairway project. This project was a strong collaborative effort between several organizations, led by the Nevada Bureau of Mines and Geology at the University of Nevada, Reno, but with key support from the U.S. Geological Survey, ATLAS Geosciences, Inc,, Hi-Q Geophysical, Inc., Lawrence Berkeley National Laboratory, Utah Geological Survey, and Innovative Geothermal Ltd. In Budget Period 1 of this project, available data for nine geologic, geochemical, and geophysical parameters were initially synthesized to produce a new detailed geothermal potential map of 96,000 km2 from west-central to eastern Nevada. These parameters were grouped into subsets and individually weighted to delineate rankings for local permeability, intermediate permeability, regional permeability, and thermal potential, which collectively defined geothermal play fairways (i.e., most likely locations for significant geothermal fluid flow). This initial work was aimed at reducing the risks in regional exploration and therefore facilitating discovery of new commercial-grade systems in blind settings, as well as in areas with surface expressions of geothermal activity. Budget Period 2 of the project involved detailed analysis of some of the most promising areas identified in Phase 1. Twenty-four highly prospective areas, including both known undeveloped systems and previously undiscovered potential blind systems, were identified for further analysis. After reconnaissance of these areas, five of the most promising sites were selected for detailed studies. Multiple techniques were employed in the detailed studies, including geologic mapping, shallow temperature surveys, gravity surveys, Lidar, geochemical studies, seismic reflection analysis, and 3D modeling. The goal of the detailed studies was to identify specific areas with the highest likelihood for high permeability and thermal fluids, such that drill sites could be targeted. Three main sets of predictive maps were generated for each detailed study area: 1) play fairway maps, 2) play fairway error maps, and 3) direct evidence maps. Local- and intermediate-scale permeability models were revised to reflect results of the detailed geologic, geophysical, and geochemical analyses. Budget Period 3 of the project involved more detailed geophysical analyses and temperature-gradient (TG) drilling in southeastern Gabbs Valley and northern Granite Springs Valley, deemed the two most promising sites, with the goal of providing preliminary validation of the play fairway methodology. In southeastern Gabbs Valley, the collocation of a favorable structural setting (displacement transfer zone and fault intersections), Quaternary faults, intersecting and terminating gravity gradients, magnetic low, shallow (2 m) temperature anomaly, low resistivity anomaly, and promising geothermometry from nearby water wells provided evidence for a blind system. Drilling of six TG holes defines an apparent geothermal system at this locality with temperatures as high as 124°C at 152 m. This system is blind, with no surface hot springs, fumaroles, or paleo-geothermal deposits. For northern Granite Springs Valley, a favorable structural setting (termination of a major Quaternary normal fault), terminating gravity gradient, magnetic gradient, newly discovered sinter deposits, nearby warm water wells, previously drilled TG holes in the vicinity, and promising geothermometry suggest a hidden system. Drilling of six new TG holes yields temperatures of ~96°C at ~250 m, suggesting the presence of a geothermal system. Major lessons learned in the course of this project include: 1) initially identified sites commonly include multiple favorable structural settings at a finer scale; 2) promising sites in Cenozoic basins cannot be recognized without detailed geophysical surveys; and 3) play fairway analysis should be refined as the exploration program vectors into the most promising sites and finer-scale data are acquired. In addition to producing copious amounts of data, this project resulted in 16 published papers, 10 abstracts, more than 40 presentations across the U.S. and abroad (including several keynote addresses), 2 Masters theses, and 7 media reports.

15 GEOTHERMAL ENERGY↗

International Space Station Spacecraft Charging Environments: Modeling, Measurement and Implications for Future Human Space Flight Programs

Spacecraft charging analysis and migration is an interdisciplinary subject combining aspects of electrostatics, plasma physics, ionizing radiation, and materials science, as well as electronic system electromagnetic interference and compatibility (EMI/EMC) effects. Spacecraft charging hazards are caused by the accumulation of electrical charge on spacecraft and spacecraft components produced by interactions with space plasmas, energetic charged particles, and solar UV photons as well as spacecraft electrical power and propulsion systems operations. Spacecraft charging hazard effects include both hard and soft avionics and electrical power system anomalies and have led to the partial or complete loss of numerous spacecraft. The International Space Station (ISS) orbital altitude and inclination (~400 km and 51.6o) determined the dominant natural environment factors affecting ISS spacecraft charging; high speed flight through the geomagnetic field and electrical power system interaction with the cold, high-density ionospheric plasma. In addition ISS is exposed to energetic auroral electrons at high latitude. In this paper we present the results of ISS spacecraft charging modeling and measurements and compare the measurements with numerical modeling of ISS charging processes. ISS is a large metallic structure and flight through the geomagnetic field at orbital speed dominates ISS charging. Collection of ionospheric electrons by the large 160V PV arrays is the next largest contributor. Charging by auroral electrons is detectable but makes a relatively minor contribution. Finally we report the observation of short duration (~ 1 sec) rapid charging peaks associated with shunt/un-shunt operations of the 160V PV arrays, a phenomena not predicted before flight. ISS spacecraft charging environments are radically different from those encountered at higher altitudes in Earth?s magnetosphere and in cis-Lunar space. We present a brief review of those charging environments and an assessment of the applicability of ISS spacecraft charging management and experience to future human spaceflight programs beyond LEO.

Koontz, Steven L.↗

MSL Telecom Automated Anomaly Detection

The Mars Science Laboratory (MSL) Telecom Operations Team at the Jet Propulsion Laboratory (JPL) has implemented a machine learning system in order to automate the anomaly detection process as a part of daily operations. Machine learning enables reliable detection of anomalies in Telecom-related telemetry and automated reporting of Telecom subsystem status, resulting in an 90% reduction in team workload and improved anomaly detection reliability. At present, machine learning methods are used to detect: 1. Anomalous long-term trends in telemetry data 2. Anomalous time-domain evolution of telemetry values Both types of anomalies pose their own unique challenges that are addressed in different ways. In the first case, long term trending of daily minima, maximum, and mean telemetry values in temperatures, currents, voltages, and radio frequency (RF) power levels is used in addition to hard threshold safety checks to look for changes in long-term equipment health and performance. Long-term trending methods allow for ordinary seasonal variations in these quantities caused by temperature changes over the course of the Martian year while allowing operators to determine whether current performance remains in line with historical values from previous years. Changes in long-term trends can provide important insights into the health and status of the rover's on-board systems as well as valuable early warning if subtle degradation begins to take hold. But while trending of daily statistics is valuable, it does not detect anomalies in the short-term time evolution of data over the course of minutes or hours during a day, and this task is handled with short-term shape analysis. Principal components analysis (PCA) has been found to provide robust detection of short-term anomalies, and several examples of the use of PCA to detect actual anomalous events will be provided here. In using PCA, we use both the percentage of explained variance and also a log likelihood test on the PCA expansion coefficients to flag telemetry data for human review. Previous work in the field of spacecraft anomaly detection includes [1] for MSL and [2] for some other JPL missions.

Mukai, Ryan↗

Variability of Winter Air Temperature in Mid-Latitude Europe

The aim of this paper is to report extreme winter/early-spring air temperature (hereinafter temperature) anomalies in mid-latitude Europe, and to discuss the underlying forcing to these interannual fluctuations. Warm advection from the North Atlantic in late winter controls the surface-air temperature, as indicated by the substantial correlation between the speed of the surface southwesterlies over the eastern North Atlantic (quantified by a specific Index Ina) and the 2-meter level air temperatures (hereinafter Ts) over Europe, 45-60 deg N, in winter. In mid-March and subsequently, the correlation drops drastically (quite often it is negative). This change in the relationship between Ts and Ina marks a transition in the control of the surface-air temperature: absorption of insolation replaces the warm advection as the dominant control. This forcing by maritime-air advection in winter was demonstrated in a previous publication, and is re-examined here in conjunction with extreme fluctuations of temperatures in Europe. We analyze here the interannual variability at its extreme by comparing warm-winter/early-spring of 1989/90 with the opposite scenario in 1995/96. For these two December-to-March periods the differences in the monthly mean temperature in Warsaw and Torun, Poland, range above 10 C. Short-term (shorter than a month) fluctuations of the temperature are likewise very strong. We conduct pentad-by-pentad analysis of the surface-maximum air temperature (hereinafter Tmax), in a selected location, examining the dependence on Ina. The increased cloudiness and higher amounts of total precipitable water, corollary effects to the warm low-level advection. in the 1989/90 winter, enhance the positive temperature anomalies. The analysis of the ocean surface winds is based on the Special Sensor Microwave/Imager (SSM/I) dataset; ascent rates, and over land wind data are from the European Centre for Medium-Range Weather Forecasts (ECMWF); maps of 2-m temperature, cloud cover and precipitable water are from the National Centers for Environmental Prediction (NCEP) Reanalysis.

Otterman, J.↗

Impacts of the Variability of Ice Types on the Decline of the Arctic Perennial Sea Ice Cover

The observed rapid decline in the Arctic perennial ice cover is one of the most remarkable signal of change in the Arctic region. Updated data now show an even higher rate of decline of 9.8% per decade than the previous report of 8.9% per decade mainly because of abnormally low values in the last 4 years. To gain insights into this decline, the variability of the second year ice, which is the relatively thin component of the perennial ice cover, and other ice types is studied. The perennial ice cover in the 1990s was observed to be highly variable which might have led to higher production of second year ice and may in part explain the observed ice thinning during the period and triggered further decline. The passive microwave signature of second year ice is also studied and results show that while the signature is different from that of the older multiyear ice, it is surprisingly more similar to that of first year ice. This in part explains why previous estimates of the area of multiyear ice during the winter period are considerably lower than the area of the perennial ice cover during the preceding summer. Four distinct clusters representing radiometrically different types have been identified using multi-channel cluster analysis of passive microwave data. Data from two of these clusters, postulated to come from second year and older multiyear ice regions are also shown to have average thicknesses of 2.4 and 4.1 m, respectively, indicating that the passive microwave data may contain some ice thickness information that can be utilized for mass balance studies. The yearly anomaly maps indicate high gains of first year ice cover in the Arctic during the last decade which means higher production of second year ice and fraction of this type in the declining perennial ice cover. While not the only cause, the rapid decline in the perennial ice cover is in part caused by the increasing fractional component of the thinner second year ice cover that is very vulnerable to total melt due to warming in the Arctic, especially in spring.

Comiso, Josefino C.↗

High-Resolution Mapping of Lunar Crustal Magnetic Fields: Correlations with Albedo Markings of the Reiner Gamma Class

During the last eight months of the Lunar Prospector mission (December 1999-July 1999), the spacecraft was placed in a relatively low-altitude (15-30-km perapsis), near-polar orbit that allowed high-resolution mapping of crustal magnetic fields. We report here initial studies of the correlation of locally strong magnetic anomalies with unusual, swirl-like albedo markings of the Reiner Gamma class. Based on this correlation, which is known from earlier studies of Apollo subsatellite magnetometer data, it has been proposed that the swirls represent regions whose higher albedos have been preserved via deflection of the solar-wind ion bombardment by strong crustal fields. This model in turn depends on the hypothesis that solar-wind implanted H is at least one component of the process that optically matures exposed silicate surfaces in the inner solar system . Specifically, it is hypothesized that implanted H acts as an effective reducing agent to enhance the rate of production of nanophase metallic Fe particles from preexisting silicates during micrometeoroid impacts. According to the model, the curvilinear shapes of these albedo markings are caused, at least in part, by the geometry of ion deflections in a magnetic field. The improved resolution and coverage of the Prospector data allow more detailed mapping of the fields, especially on the lunar farside. This permits a more quantitative test of whether all albedo markings of this class are associated with strong local magnetic fields.Only if the latter condition is met can the solar-wind deflection hypothesis he valid. The basic procedure for mapping crustal magnetic fields using Lunar Prospector magnetometer data follows that developed for analysis of Apollo subsatellite magnetometer data. The specific mapping steps are (1) selection of mission time intervals suitable for mapping crustal fields; these are limited essentially either to times when the Moon is in a lobe of the geomagnetic tail or to times when the Moon is in the solar wind but the spacecraft is in the lunar wake; the data are transformed to a radial, east, and north coordinate system with measurements given as a function of spacecraft latitude, longitude, and altitude; (2) visual editing of individual orbit segments selected for minimal external field disturbances; (3) minimization of remaining low-frequency external fields for individual orbit data segments by quadratic detrending; and (4) two-dimensional filtering of individual orbit segments to produce a vector field map along the slightly curved surface defined by the spacecraft altitude; maps of the three field components (radial, east, and north), the field magnitude, and the spacecraft altitude are constructed. For data obtained at low to middle latitudes, the horizontal resolution of the field maps is limited by the orbit-track separation (about 30 km at the equator). Maps of the field magnitude have been constructed within limited selenographic regions based mainly on data acquired in March, April, and May of 1999. This was a time period when the orbit plane was nearly aligned with the Sun-Moon line so that field mapping was possible at times when the Moon was in the solar wind as well as when the Moon was in the geomagnetic tail. Most of the coverage is across the lunar farside. However, a shows an example of a field map produced from solar-wind wake data for a region including Reiner Gamm on western Oceanus Procellarum (location: 58.5W, 7.5N). The contour interval is 3 nT and the mean spacecraft altitude is 18 km to within the accuracy allowed by the resolution of the map (30 km or about 1 deg.); strong magnetic anomalies correlate closely with swirl locations. Individual orbit profiles (whose resolution along the orbit track is comparable to the spacecraft altitude of 18 km) also demonstrate a good correlation of field magnitude with surface albedo. In order to investigate the correlation of magnetic fields with the location of swirl features, we have reexamined available lunar imagery (Lunar Orbiter, Apollo, and Clementine) to identify and map swirl locations within regions where swirls have previously been mapped. In these images, swirls were distinguished from other high-albedo features such as crater rays by their curvilinear shapes and increased visibility in forward-scattered light. Digital maps of swirls identified by all available imagery were then superposed on maps of the field magnitude at the spacecraft altitude. Based upon analysis of these composite magnetic/geologic maps, we draw the preliminary conclusion that swirl features are associated with magnetic anomalies revealed by Lunar Prospector. Detailed maps of these swirl features are currently being constructed for the magnetically strong regions antipodal to the Imbrium, Serenitatis, and Crisium Basins. Additional information contained in the original,

Hood, L. L.↗

Development and Demonstration of an Ada Test Generation System

In this project we have built a prototype system that performs Feasible Path Analysis on Ada programs: given a description of a set of control flow paths through a procedure, and a predicate at a program point feasible path analysis determines if there is input data which causes execution to flow down some path in the collection reaching the point so that tile predicate is true. Feasible path analysis can be applied to program testing, program slicing, array bounds checking, and other forms of anomaly checking. FPA is central to most applications of program analysis. But, because this problem is formally unsolvable, syntactic-based approximations are used in its place. For example, in dead-code analysis the problem is to determine if there are any input values which cause execution to reach a specified program point. Instead an approximation to this problem is computed: determine whether there is a control flow path from the start of the program to the point. This syntactic approximation is efficiently computable and conservative: if there is no such path the program point is clearly unreachable, but if there is such a path, the analysis is inconclusive, and the code is assumed to be live. Such conservative analysis too often yields unsatisfactory results because the approximation is too weak. As another example, consider data flow analysis. A du-pair is a pair of program points such that the first point is a definition of a variable and the second point a use and for which there exists a definition-free path from the definition to the use. The sharper, semantic definition of a du-pair requires that there be a feasible definition-free path from the definition to the use. A compiler using du-pairs for detecting dead variables may miss optimizations by not considering feasibility. Similarly, a program analyzer computing program slices to merge parallel versions may report conflicts where none exist. In the context of software testing, feasibility analysis plays an important role in identifying testing requirements which are infeasible. This is especially true for data flow testing and modified condition/decision coverage. Our system uses in an essential way symbolic analysis and theorem proving technology, and we believe this work represents one of the few successful uses of a theorem prover working in a completely automatic fashion to solve a problem of practical interest. We believe this work anticipates an important trend away from purely syntactic-based methods for program analysis to semantic methods based on symbolic processing and inference technology. Other results demonstrating the practical use of automatic inference is being reported in hardware verification, although there are significant differences between the hardware work and ours. However, what is common and important is that general purpose theorem provers are being integrated with more special-purpose decision procedures to solve problems in analysis and verification. We are pursuina commercial opportunities for this work, and will use and extend the work in other projects we are engaged in. Ultimately we would like to rework the system to analyze C, C++, or Java as a key step toward commercialization.

Source record↗

Flight Motor Set 360L003 (STS-29R)

The redesigned solid rocket motor (RSRM) flight set 360L003 was launched on March 13, 1989 as part of NASA space shuttle mission STS-29R. As was the case with flight sets 360L001 and 360L002 (STS-26R and STS-27R), both motors (360L003A and 360L003B) performed in an excellent manner. Evaluation of the ground environment instrumentation measurements verified thermal model analysis data and showed agreement with predicted environmental effects. The right-hand aft field joint primary heater failed during the countdown; the secondary heater was activated and performed as designed. All other field joint heaters and aft skirt thermal conditioning systems had no anomalies. Shuttle thermal imager infrared readings compared favorably with measured ground environment instrumentation data. No thermal launch commit criteria violations occurred at any time. Evaluation of the development flight instrumentation showed exceptional propulsion performance. All ballistic parameters closely matched the predicted values and were well within the required specification levels. Girth and biaxial strain gage measurements compared closely with corresponding gages on previous flight motors, static tests, and with preflight predictions. Adequate safety factors were verified. (Some ignition transient spiking was noted in a few girth gages; the spiking was determined not to be representative of actual case behavior, but an instrumentation phenomena.) The accelerometers again measured high vibration amplitude levels during the ignition transient and the reentry Max Q phases. Postflight inspection showed that all combustion gas was contained by the insulation in the field and case-to-nozzle joints. No anomalous insulation erosion patterns were found, and the seals that did directly contain motor pressure showed no heat effects, erosion, or blowby. All anomalies identified were a result of splashdown damage, with the exception of fretting in the case field joint interference (nonsealing) surfaces and a prelaunch field joint heater failure. The disposition of all anomalies and the complete results are reported.

Riehr, Glen A.↗

Galactic ArchaeoLogIcaL ExcavatiOns (GALILEO): I. An updated census of APOGEE N-rich giants across the Milky Way

We use the 17th data release of the second phase of the Apache Point Observatory Galactic Evolution Experiment (APOGEE-2) to provide a homogenous census of N-rich red giant stars across the Milky Way (MW). We report a total of 149 newly identified N-rich field giants toward the bulge, metal-poor disk, and halo of our Galaxy. They exhibit significant enrichment in their nitrogen abundance ratios ([N/Fe] ≳ +0.5), along with simultaneous depletions in their [C/Fe] abundance ratios ([C/Fe] < +0.15), and they cover a wide range of metallicities (-1.8 < [Fe/H] < -0.7). The final sample of candidate N-rich red giant stars with globular-cluster-like (GC-like) abundance patterns from the APOGEE survey includes a grand total of ~412 unique objects. These strongly N-enhanced stars are speculated to have been stripped from GCs based on their chemical similarities with these systems. Even though we have not found any strong evidence for binary companions or signatures of pulsating variability yet, we cannot rule out the possibility that some of these objects were members of binary systems in the past and/or are currently part of a variable system. In particular, the fact that we identify such stars among the field stars in our Galaxy provides strong evidence that the nucleosynthetic process(es) producing the anomalous [N/Fe] abundance ratios occurs over a wide range of metallicities. This may provide evidence either for or against the uniqueness of the progenitor stars to GCs and/or the existence of chemical anomalies associated with likely tidally shredded clusters in massive dwarf galaxies such as “Kraken/Koala”, Gaia-Enceladus-Sausage, among others, before or during their accretion by the MW. In conclusion, a dynamical analysis reveals that the newly identified N-rich stars exhibit a wide range of dynamical characteristics throughout the MW, indicating that they were produced in a variety of Galactic environments.

59 BASIC BIOLOGICAL SCIENCES↗

Laboratory Instrument Software Controlled Spread Spectrum Time Domain Reflectometry for Electrical Cable Testing

This research discusses development of a software-controlled laboratory instrument based spread spectrum time domain reflectometry system (SSTDR). This constitutes one task within PNNL’s Light Water Sustainability Program (LWRS) whose mission includes advancing nondestructive examination (NDE) techniques for off-line and on-line in-situ cable condition monitoring. In 2022, PNNL evaluated SSTDR for detection and characterization of a number of cable anomalies (Glass et al. 2022). The review included comparison of SSTDR to Frequency Domain Reflectometry (FDR) techniques which have enjoyed encouraging feedback and are starting to be used in nuclear power plants for periodic cable condition monitoring of cable systems as part of the plant’s overall cable aging management program. The FDR test introduces a broad-band chirp onto the cable at the cable end then listens for any reflection from a change of impedance along the cable caused by a damaged conductor or insulation, splices, contact with moisture, or other cable anomalies. The signal is captured in the frequency domain then transformed back to the time domain using an inverse Fourier transform (IFT). Based on the velocity of propagation, the impedance response signal is plotted against distance along the cable. Peak locations along the X-axis indicate the distance along the cable where a portion of the signal has been reflected back to the instrument as a result of a cable anomaly. The FDR test is considered the gold standard of reflectometry however it does require the cable to be de-energized to perform the test. The LIVEWIRE commercial SSTDR produces a similar plot to the FDR however all processing is in the time domain. A pseudo-random noise code (PN code) is input onto the cable conductor and the instrument listens for any reflected response from cable anomalies. The SSTDR processes the signal as an autocorrelation comparing the input PN code to any reflected signal detected. The autocorrelation analysis for thermal aging, water and water ingress detection, ground fault and phase-to-phase fault detection at various locations along the cable and with the cable attached and detached from a motor load, and on both energized and un-energized conditions were performed. These results were contrasted to Frequency Domain Reflectometry (FDR) measurements of the un-energized cable. Results were encouraging but indicated more work was warranted – particularly with the SSTDR, it seemed that the insulation damage would likely be better evaluated with multiple bandwidth cable tests particularly including larger bandwidths than were possible with the current commercial instrument. The commercial instrument’s bandwidth was set at 6, 12, 24, and 48MHz but note that SSTDR and FDR definitions of bandwidth trend similarly but are not the same. The FDR response could be more broadly adjusted, and the bandwidth of 100 to 500 MHz produced the best responses. FDR responses to anomalies were clearer than SSTDR responses and indications were that a broader bandwidth SSTDR may lead to improved SSTDR detection capability. This project used a laboratory instrument based SSTDR (primarily using an Arbitrary Waveform Generator (AWG) and a digital oscilloscope plus Python in-house software) that allowed software adjustment of the SSTDR bandwidth, window functions applied to the exciting Pseudo-random Noise (PN) code plus and other aspects of the SSTDR signal processing. Hereafter, this will be referred to as the PNNL SSTDR. Evaluating specific performance of the PNNL SSTDR is left to a separate report. This report documents hardware and software development to produce the SSTDR cable test system.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Electrically-Active Convection and Tropical Cyclogenesis in the Atlantic and East Pacific

It has been hypothesized that deep, intense convective-scale "hot" towers may aid the process of tropical cyclogenesis and intensification through dynamic and thermodynamic feedbacks on the larger meso-to-synoptic scale circulation. In this study, we make use of NCEP Reanalysis data and Tropical Rainfall Measurement Mission (TRMM) lightning imaging sensor (LIS), precipitation radar (PR), and microwave imager (TMI) data to investigate the role that widespread and/or intense lightning-producing convection (i.e., "electrically-hot towers") present in African easterly waves (AEWs) may play in tropical cyclogenesis over the Atlantic, Caribbean, and East Pacific regions. NCEP Reanalysis 700 hPa meridional winds for the months of June to November for the years 2001-2009 were analyzed for the domain of 5degN-20degN and 130degW-20degE in order to partition individual AEWs into northerly, southerly, trough, and ridge phases. Subsequently, information from National Hurricane Center (NHC) storm reports was used to divide the waves into developing and non-developing waves and to further divide the developing waves into those waves that spawned storms that only developed to tropical storm strength and those that spawned storms that reached hurricane strength. The developing waves were also divided by the region in which they developed. To help determine the gross nature of the smaller convective scale, composites were created of all developing and non-developing waves as a function of AEW wave phase over the full analysis domain and over various smaller longitude bands by compositing TRMM PR, TMI, LIS, and IR brightness temperature data extracted from the NASA global-merged IR brightness temperature dataset. Finally, similar composites were created using various NCEP variables to assess the nature of the larger scale environment and circulation. Results suggest a clear distinction between developing and non-developing waves as developing waves near their region of development in terms of the intensity of convection (indicated by lightning flash rate), coverage of cold cloudiness (indicated by the percentage of a 2.5deg by 2.5deg box covered by IR brightness temperatures less than 210 K), and large-scale variables, such as midlevel moisture and upper-level upward motion. For example, waves that developed in the East Pacific longitude band (i.e., 130degW-95degW) were observed in that band to have a flash rate of 56.4 flashes/day, a coverage by brightness temperatures less than 210 K equal to 2.2%, a 700-hPa specific humidity anomaly of 0.4 g/kg, and a 300-hPa omega value of -0.04 Pascals/s in the trough phase compared to the non-developing wave trough values of 22.1 flashes/day, a coverage by brightness temperatures less than 210 K equal to 0.9%, a 700-hPa specific humidity anomaly of -0.3 g/kg, and a 300-hPa omega value of -0.01 Pascals/s.

Leppert, Kenneth D., II↗

Nine-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Final Maps and Results

We present the final nine-year maps and basic results from the Wilkinson Microwave Anisotropy Probe (WMAP) mission. The full nine-year analysis of the time-ordered data provides updated characterizations and calibrations of the experiment. We also provide new nine-year full sky temperature maps that were processed to reduce the asymmetry of the effective beams. Temperature and polarization sky maps are examined to separate cosmic microwave background (CMB) anisotropy from foreground emission, and both types of signals are analyzed in detail.We provide new point source catalogs as well as new diffuse and point source foreground masks. An updated template-removal process is used for cosmological analysis; new foreground fits are performed, and new foreground reduced are presented.We nowimplement an optimal C(exp -1)1 weighting to compute the temperature angular power spectrum. The WMAP mission has resulted in a highly constrained Lambda-CDM cosmological model with precise and accurate parameters in agreement with a host of other cosmological measurements. When WMAP data are combined with finer scale CMB, baryon acoustic oscillation, and Hubble constant measurements, we find that big bang nucleosynthesis is well supported and there is no compelling evidence for a non-standard number of neutrino species (N(sub eff) = 3.84 +/- 0.40). The model fit also implies that the age of the universe is (sub 0) = 13.772 +/- 0.059 Gyr, and the fit Hubble constant is H(sub 0) = 69.32 +/- 0.80 km/s/ Mpc. Inflation is also supported: the fluctuations are adiabatic, with Gaussian random phases; the detection of a deviation of the scalar spectral index from unity, reported earlier by the WMAP team, now has high statistical significance (n(sub s) = 0.9608+/-0.0080); and the universe is close to flat/Euclidean (Omega = −0.0027+0.0039/−0.0038). Overall, the WMAP mission has resulted in a reduction of the cosmological parameter volume by a factor of 68,000 for the standard six-parameter Lambda-CDM model, based on CMB data alone. For a model including tensors, the allowed seven-parameter volume has been reduced by a factor 117,000. Other cosmological observations are in accord with the CMB predictions, and the combined data reduces the cosmological parameter volume even further.With no significant anomalies and an adequate goodness of fit, the inflationary flat Lambda-CDM model and its precise and accurate parameters rooted in WMAP data stands as the standard model of cosmology.

dark matter↗