Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “missing values”

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

Automatic Testcase Generation for Flight Software

The TacSat3 project is applying Integrated Systems Health Management (ISHM) technologies to an Air Force spacecraft for operational evaluation in space. The experiment will demonstrate the effectiveness and cost of ISHM and vehicle systems management (VSM) technologies through onboard operation for extended periods. We present two approaches to automatic testcase generation for ISHM: 1) A blackbox approach that views the system as a blackbox, and uses a grammar-based specification of the system's inputs to automatically generate *all* inputs that satisfy the specifications (up to prespecified limits); these inputs are then used to exercise the system. 2) A whitebox approach that performs analysis and testcase generation directly on a representation of the internal behaviour of the system under test. The enabling technologies for both these approaches are model checking and symbolic execution, as implemented in the Ames' Java PathFinder (JPF) tool suite. Model checking is an automated technique for software verification. Unlike simulation and testing which check only some of the system executions and therefore may miss errors, model checking exhaustively explores all possible executions. Symbolic execution evaluates programs with symbolic rather than concrete values and represents variable values as symbolic expressions. We are applying the blackbox approach to generating input scripts for the Spacecraft Command Language (SCL) from Interface and Control Systems. SCL is an embedded interpreter for controlling spacecraft systems. TacSat3 will be using SCL as the controller for its ISHM systems. We translated the SCL grammar into a program that outputs scripts conforming to the grammars. Running JPF on this program generates all legal input scripts up to a prespecified size. Script generation can also be targeted to specific parts of the grammar of interest to the developers. These scripts are then fed to the SCL Executive. ICS's in-house coverage tools will be run to measure code coverage. Because the scripts exercise all parts of the grammar, we expect them to provide high code coverage. This blackbox approach is suitable for systems for which we do not have access to the source code. We are applying whitebox test generation to the Spacecraft Health INference Engine (SHINE) that is part of the ISHM system. In TacSat3, SHINE will execute an on-board knowledge base for fault detection and diagnosis. SHINE converts its knowledge base into optimized C code which runs onboard TacSat3. SHINE can translate its rules into an intermediate representation (Java) suitable for analysis with JPF. JPF will analyze SHINE's Java output using symbolic execution, producing testcases that can provide either complete or directed coverage of the code. Automatically generated test suites can provide full code coverage and be quickly regenerated when code changes. Because our tools analyze executable code, they fully cover the delivered code, not just models of the code. This approach also provides a way to generate tests that exercise specific sections of code under specific preconditions. This capability gives us more focused testing of specific sections of code.

Bushnell, David Henry↗
NASA NTRS2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites

Structural coverage metrics have traditionally categorized code as either covered or uncovered. Recent work presents a stronger notion of coverage, checked coverage, which counts only statements whose execution contributes to an outcome checked by an oracle. While this notion of coverage addresses the adequacy of the oracle, for Model-Based Development of safety critical systems, it is still not enough; we are also interested in how much of the oracle is covered, and whether the values of program variables are masked when the oracle is evaluated. Such information can help system engineers identify missing requirements as well as missing test cases. In this work, we add to the idea of checked coverage an analysis of requirements coverage to help provide insight to engineers as to whether the requirements or the test suite need to be improved. We implement our approach based on a dynamic backward slicing technique and evaluate it on several systems developed in Simulink. The results of our preliminary study show that even for systems with comprehensive test suites and good sets of requirements, our approach can identify cases where more tests or more requirements are needed to improve coverage numbers.

Dynamic Slicing↗
NASA NTRS1984

Trapping of xenon in ice - Implications for the origin of the earth's noble gases

Although the earth's atmosphere contains Ne, Ar, and Kr in about C1,2-chondrite proportions, Xe is depleted about 20-fold. To test the suggestion that the 'missing' Xe is trapped in Antarctic ice, distribution coefficients for Xe in artifically formed frost at -20 to -60 C were measured, using Xe-127 tracer. The values are 0.098 + or - 0.004 cc STP/g atm for trapping and less than 5 cc STP/g atm for trapping plus adsorption. If these results are representative of natural ice, then the Antarctic ice cap contains less than 1 percent of the atmospheric Xe inventory, or not greater than about 0.001 the amount needed for a C1,2-chondrite pattern. Two possibilities remain for the 'missing' Xe, both on the premise that the earth's noble gases, along with other volatiles, came from chondritic material: (1) xenon is preferentially retained in the mantle and lower crust, due to the strong affinity of Xe for clean silicate surfaces and amorphous carbon; and (2) the source material of the earth's volatiles had high, relatively unfractionated, Ar/Xe and Kr/Xe ratios, like the non-carbonaceous noble gas carriers in C3O and E-chondrites.

Wacker, J. F.↗
DOE OSTI2025

Generative learning for slow manifolds and bifurcation diagrams

In dynamical systems characterized by separation of time scales, the approximation of so called “slow manifolds”, on which the long term dynamics lie, is a useful step for model reduction. Initializing on such slow manifolds is a useful step in modeling, since it circumvents fast transients, and is crucial in multiscale algorithms (like the equation-free approach) alternating between fine scale (fast) and coarser scale (slow) simulations. In a similar spirit, when one studies the infinite time dynamics of systems depending on parameters, the system attractors (e.g., its steady states) lie on bifurcation diagrams (curves for one-parameter continuation, and more generally, on manifolds in state parameter space. Sampling these manifolds gives us representative attractors (here, steady states of ODEs or PDEs) at different parameter values. Algorithms for the systematic construction of these manifolds (slow manifolds, bifurcation diagrams) are required parts of the “traditional” numerical nonlinear dynamics toolkit. In more recent years, as the field of Machine Learning develops, conditional score-based generative models (cSGMs) have been demonstrated to exhibit remarkable capabilities in generating plausible data from target distributions that are conditioned on some given label. It is tempting to exploit such generative models to produce samples of data distributions (points on a slow manifold, steady states on a bifurcation surface) conditioned on (consistent with) some quantity of interest (QoI, observable). In this work, we present a framework for using cSGMs to quickly (a) initialize on a low-dimensional (reduced-order) slow manifold of a multi-time-scale system consistent with desired value(s) of a QoI (a “label”) on the manifold, and (b) approximate steady states in a bifurcation diagram consistent with a (new, out-of-sample) parameter value. This conditional sampling can help uncover the geometry of the reduced slow-manifold and/or approximately “fill in” missing segments of steady states in a bifurcation diagram. Finally, the quantity of interest, which determines how the sampling is conditioned, is either known a priori or identified using manifold learning-based dimensionality reduction techniques applied to the training data.

Dynamical systems↗
NASA NTRS1990

An improved shooting method for solving minimum-time maneuver problems

The minimum-time attitude maneuvers of a rigid spacecraft are considered. Generally, the associated nonsingular, nonlinear two-point boundary-value problem, derived by using Pontryagin's Maximum Principle, can be solved through shooting methods to find the switching times for the bang-bang control. However, a good initial guess for the missing initial costates is important because the convergence range of the initial costates is very narrow, especially when a multi-bang-bang control strategy is needed. This paper proposes a numerical approach to generate the initial costates so that they are very close to the converged values. The initial costates are first generated by using a recently developed quasi-linearization technique for the near-minimum-time problem and then reduced in magnitude, through some properly designed scales, before the shooting method is used. Numerical examples indicate the closeness of the results from these two techniques (quasi-linearization and shooting).

Li, Feiyue↗
NASA NTRS2012

Aircraft Anomaly Detection Using Performance Models Trained on Fleet Data

This paper describes an application of data mining technology called Distributed Fleet Monitoring (DFM) to Flight Operational Quality Assurance (FOQA) data collected from a fleet of commercial aircraft. DFM transforms the data into aircraft performance models, flight-to-flight trends, and individual flight anomalies by fitting a multi-level regression model to the data. The model represents aircraft flight performance and takes into account fixed effects: flight-to-flight and vehicle-to-vehicle variability. The regression parameters include aerodynamic coefficients and other aircraft performance parameters that are usually identified by aircraft manufacturers in flight tests. Using DFM, the multi-terabyte FOQA data set with half-million flights was processed in a few hours. The anomalies found include wrong values of competed variables, (e.g., aircraft weight), sensor failures and baises, failures, biases, and trends in flight actuators. These anomalies were missed by the existing airline monitoring of FOQA data exceedances.

Gorinevsky, Dimitry↗
NASA NTRS2015

Environment Modeling Using Runtime Values for JPF-Android

Software applications are developed to be executed in a specific environment. This environment includes external native libraries to add functionality to the application and drivers to fire the application execution. For testing and verification, the environment of an application is simplified abstracted using models or stubs. Empty stubs, returning default values, are simple to generate automatically, but they do not perform well when the application expects specific return values. Symbolic execution is used to find input parameters for drivers and return values for library stubs, but it struggles to detect the values of complex objects. In this work-in-progress paper, we explore an approach to generate drivers and stubs based on values collected during runtime instead of using default values. Entry-points and methods that need to be modeled are instrumented to log their parameters and return values. The instrumented applications are then executed using a driver and instrumented libraries. The values collected during runtime are used to generate driver and stub values on- the-fly that improve coverage during verification by enabling the execution of code that previously crashed or was missed. We are implementing this approach to improve the environment model of JPF-Android, our model checking and analysis tool for Android applications.

Verification↗
NASA NTRS1986

Dark matter and cosmological nucleosynthesis

Existing dark matter problems, i.e., dynamics, galaxy formation and inflation, are considered, along with a model which proposes dark baryons as the bulk of missing matter in a fractal universe. It is shown that no combination of dark, nonbaryonic matter can either provide a cosmological density parameter value near unity or, as in the case of high energy neutrinos, allow formation of condensed matter at epochs when quasars already existed. The possibility that correlations among galactic clusters are scale-free is discussed. Such a distribution of matter would yield a fractal of 1.2, close to a one-dimensional universe. Biasing, cosmic superstrings, and percolated explosions and hot dark matter are theoretical approaches that would satisfy the D = 1.2 fractal model of the large-scale structure of the universe and which would also allow sufficient dark matter in halos to close the universe.

Schramm, D. N.↗
DOE OSTI2024

Optimization and Multimachine Learning Algorithms to Predict Nanometal Surface Area Transfer Parameters for Gold and Silver Nanoparticles

Interactions between gold metallic nanoparticles and molecular dyes have been well described by the nanometal surface energy transfer (NSET) mechanism. However, the expansion and testing of this model for nanoparticles of different metal composition is needed to develop a greater variety of nanosensors for medical and commercial applications. In this study, the NSET formula was slightly modified in the size-dependent dampening constant and skin depth terms to allow for modeling of different metals as well as testing the quenching effects created by variously sized gold, silver, copper, and platinum nanoparticles. Overall, the metal nanoparticles followed more closely the NSET prediction than for Förster resonance energy transfer, though scattering effects began to occur at 20 nm in the nanoparticle diameter. To further improve the NSET theoretical equation, an attempt was made to set a best-fit line of the NSET theoretical equation curve onto the Au and Ag data points. An exhaustive grid search optimizer was applied in the ranges for two variables, 0.1≤C≤2.0 and 0≤α≤4, representing the metal dampening constant and the orientation of donor to the metal surface, respectively. Three different grid searches, starting from coarse (entire range) to finer (narrower range), resulted in more than one million total calculations with values C=2.0 and α=0.0736. The results improved the calculation, but further analysis needed to be conducted in order to find any additional missing physics. With that motivation, two artificial intelligence/machine learning (AI/ML) algorithms, multilayer perception and least absolute shrinkage and selection operator regression, gave a correlation coefficient, R2, greater than 0.97, indicating that the small dataset was not overfitting and was method-independent. This analysis indicates that an investigation is warranted to focus on deeper physics informed machine learning for the NSET equations.

Demers, Steven M. E. (ORCID:0000000192213246)↗
NASA NTRS1975

Statistical theory and methodology for remote sensing data analysis with special emphasis on LACIE

Crop proportion estimators for determining crop acreage through the use of remote sensing were evaluated. Several studies of these estimators were conducted, including an empirical comparison of the different estimators (using actual data) and an empirical study of the sensitivity (robustness) of the class of mixture estimators. The effect of missing data upon crop classification procedures is discussed in detail including a simulation of the missing data effect. The final problem addressed is that of taking yield data (bushels per acre) gathered at several yield stations and extrapolating these values over some specified large region. Computer programs developed in support of some of these activities are described.

Odell, P. L.↗
NASA NTRS2003

Experimental Hypersonic Aerodynamic Characteristics of the Space Shuttle Orbiter for a Range of Damage Scenarios

Aerodynamic tests in support of the Columbia accident investigation were conducted in two hypersonic wind tunnels at the NASA Langley Research Center, the 20-Inch Mach 6 Air Tunnel and the 20-Inch Mach 6 CF4 Tunnel. The primary purpose of these tests was to measure the forces and moments generated by a variety of outer mold line alterations (damage scenarios) using 0.0075-scale models of the Space Shuttle Orbiter (approximately 10 inches in length). Simultaneously acquired global heat transfer mappings were obtained for a majority of the configurations tested. Test parameters include angles of attack from 38 to 42 deg, unit Reynolds numbers from 0.26 to 3.0 x10^6 per foot, and normal shock density ratios of 5 (Mach 6 air) and 12 (Mach 6 CF4). The damage scenarios evaluated included asymmetric boundary layer transition, gouges in the windward surface acreage thermal protection system tiles, wing leading edge damage (partially and fully missing reinforced carbon-carbon (RCC) panels), holes through the wing from the windward surface to the leeside, deformation of the wing windward surface, and main landing gear door and/or gear deployment. The aerodynamic data were compared to the magnitudes and directions observed in flight, and the heating images were evaluated in terms of the location of the generated disturbances and how these disturbance might relate to the response of discrete gages on the Columbia Orbiter vehicle during entry. The measured aerodynamic increments were generally small in magnitude, as were the flight-derived values during most of the entry. Asymmetric boundary layer transition (ABLT) results were consistent with the flight-derived Shuttle ABLT model, but not with the observed flight trends for STS-107. The partially missing leading edge panel results best matched both the early aerodynamic and heating trends observed in flight. A progressive damage scenario is presented that qualitatively matches the flight observations for the full entry.

Brauckman, Gregory J.↗
NASA NTRS1973

Estimation of rate constants of elementary processes - A review of the state of the art.

'Thermochemical kinetics,' the codification and extrapolation of empirical observations, as applied to certain elementary reactions of importance to combustion studies, is described. This approach allows the critical scrutiny of experimental data in areas where sufficient previous data exist, while, at the same time, illuminating those key areas where more experimentation is crucial. It is shown that combination of transition-state theory with an understanding of the molecular basis of entropy puts fairly rigid constraints on the values of the Arrhenius A-factor for most reactions. This, in turn, means that the activation energy is often the key datum that is missing, and that such data can be obtained with some degree of confidence, even from measurements of rate constants at only one temperature. In complex mechanisms, it is often possible to distinguish among alternate pathways and pinpoint key processes.

Golden, D. M.↗
DOE OSTI2025

Chlorine and potassium enrichment in the Cassiopeia A supernova remnant

The elements in the Universe are synthesized primarily in stars and supernovae, where nuclear fusion favours the production of even-Z elements. In contrast, odd-Z elements are less abundant and their yields are highly dependent on detailed stellar physics, making theoretical predictions of their cosmic abundance uncertain. In particular, the origin of odd-Z elements such as phosphorus (P), chlorine (Cl) and potassium (K), which are important for planet formation and life, is poorly understood. While the abundances of these elements in Milky Way stars are close to solar values, supernova explosion models systematically underestimate their production by up to an order of magnitude, indicating that key mechanisms for odd-Z nucleosynthesis are currently missing from theoretical models. Here we report the observation of P, Cl and K in the Cassiopeia A supernova remnant using high-resolution X-ray spectroscopy with X-Ray Imaging and Spectroscopy Mission data, with the detection of K at above the 6σ level being the most significant finding. Supernova explosion models of normal massive stars cannot explain the element abundance pattern, especially the high abundances of Cl and K, while models that include stellar rotation, binary interactions or shell mergers agree closely with the observations. Our observations suggest that such stellar activity plays an important role in supplying these elements to the Universe.

Astronomy and AstroPhysics↗
NASA NTRS1983

Lubricant jet flow phenomena in spur and helical gears with modified center distances and/or addendums for out-of-mesh conditions

Out-of-mesh jet lubrication of gears was examined. The pinion impingement cycle was described briefly. An analysis was developed for the lubricant jet flow in the out-of-mesh condition. The analysis provides for the inclusion of modified center distances and modified addendums. Equations were generated for the limit values of variables necessary to remove the severe limitations to facilitate computer analysis. A computer program was designed using these limit formulas to prevent negative impingement (missing) on the pinion.

Akin, L. S.↗
NASA NTRS1985

Lubricant jet flow phenomena in spur and helical gears with modified center distances and/or addendums - For out-of-mesh conditions

Out-of-mesh jet lubrication of gears was examined. The pinion impingement cycle was described briefly. An analysis was developed for the lubricant jet flow in the out-of-mesh condition. The analysis provides for the inclusion of modified center distances and modified addendum. Equations were generated for the limit values of variables necessary to remove the severe limitations to facilitate computer analysis. A computer program was designed using these limit formulas to prevent negative impingement (missing) on the pinion.

Akin, L. S.↗
NASA NTRS2002

Large 0/12 GMT Differences of US Vaisala RS80 Observations

The daily differences between the temperatures and heights taken at 0 GMT and 12 GMT by Vaisala RS80 rawinsondes have been calculated. The observations were obtained during selected months from 1998 - 2002 over North America, Europe and Australia. The daily differences are defined by the formula, Delta T = Delta T(sub 0) - 0.5(T(sub -12) - T(sub +12)) where AT is the 0/12 GMT difference, T(sub 0) is the 0 GMT observation and T(sub -12) and T(sub +12) are the 12 GMT observations taken just prior and after the 0 GMT synoptic time. If T(sub +12) is missing then Delta T = T(sub 0) - T(sub -12). A similar expression is used if T(sub -12) is missing. Monthly averages of the increments at each station that launch RS80 rawinsondes are then calculated. The results show positive systematic differences in the stratosphere with values as high as 5 K and 150 m at 10 hPa over the central United States. The values remain generally positive and gradually decrease as the levels descend into the upper troposphere but are still significant. In addition, the maximum at each level is just westward of 90 W at the highest levels and just eastward in the troposphere with smaller values along both coasts. In Canada as well as in Europe and Australia the differences are much smaller with no systematic patterns similar to those that exist over the contiguous United States. Time-series plots of the temperatures and heights at select stations in the United States show that the observed values taken at 0 GMT are consistently higher than those at 12 GMT. Over Canada the differences become much less apparent and some cases non-existent. The observations were obtained through National Centers for Environmental Prediction (NCEP) but were checked with data from other sources to verify that no modifications were made other than those at the stations. Since the data from outside the the United States exhibit no large systematic differences, the preliminary conclusion is that the large differences are artificial and probably originate from the post-processing software at the observing stations.

Redder, Chris↗
DOE OSTI2026

Developing a Lightning All-Clear Signal for the Savannah River Site

Lightning safety is a major concern at the Savannah River Site (SRS). Notifications are provided when 3-strikes occur onsite within a 15-minute period. It is generally left up to individual contractors at SRS to determine when it is safe for workers to return to outside work, generally following a 3-hour period of no lightning, after the last lightning strike occurs. This work tries to improve safe return to work decisions by developing a reliable all-clear signal using an electric field mill. The best signal used thresholds from multiple electric field values to provide an average delay for return to work of 2 hours and 13 minutes. This average was heavily influenced by lingering storms in the area or missing data from power or network outages. One event out of 98 signaled the all-clear prior to another event occurring less than 60 minutes later. Regardless, 62% of the all clear signals had delay times less than the mean and 72% had delay times less than the current 3-hour delay after the last strike. This provides better worker safety for returning to work than 30 minutes after the last lightning strike (e.g. OSHA Lightning Safety) and improves the delay time from the current 3-hour delay.

Noble, Stephen [Savannah River National Laboratory↗
NASA NTRSDate not supplied

Identifying Trends in Landing Profiles After Long Duration Spaceflight

BACKGROUND As NASA’s mission programs begin to shift from Low Earth Orbit (LEO) to planetary mission profiles, the importance of understanding the phenomena a human experience when returning from spaceflight is of increased importance. The purpose of this study was to assess trends across individuals in the symptoms experienced during the landing process of long duration ISS missions. METHODS Data for this study is an aggregation of mission level data from forms used by crew surgeons at R+0, electronic medical records, notes from weekly Space Medicine Operation Team meetings, records in the Shuttle Mission Data Archive, and data collected by research teams in the Human Research Program (HRP). Aggregated data was used in descriptive analysis of the trends in medical events and countermeasure use. The data was also used to identify high value targets for emphasis in on going surveillance efforts. RESULTS Completeness of reporting varied greatly over time and across missions dependent on information sources available for data extraction. Landing forms provided the most complete data but still missed or left unconfirmed, several, common symptoms, and countermeasures. Data aggregation did show to cover gaps within individual data sources. Commonly reported symptoms included nystagmus, vertigo, and nausea. Common protocols for fluid loading and meclizine are reflected within the data set. DISCUSSION The data set generated in this project provides a foundation that show how symptoms of astronauts as they return to Earth varies across the long duration ISS missions. While there is an abundance of information provided within the data set, there are still inconsistencies in reporting especially in the absence of the landing day form. Further data collection practices should be standardized to ease the burden on crew surgeons during R+0 exams and better collect high value variables.

Sam Jacobs↗