Search NASA⌕ Search

SEARCH · Search NASA

Results for “simplification”

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 631 records · Page 35

Fuzzy Logic Trajectory Design and Guidance for Terminal Area Energy Management

The second generation reusable launch vehicle will leverage many new technologies to make flight to low earth orbit safer and more cost effective. One important capability will be completely autonomous flight during reentry and landing, thus making it unnecessary to man the vehicle for cargo missions with stringent weight constraints. Implementation of sophisticated new guidance and control methods will enable the vehicle to return to earth under less than favorable conditions. The return to earth consists of three phases--Entry, Terminal Area Energy Management (TAEM), and Approach and Landing. The Space Shuttle is programmed to fly all three phases of flight automatically, and under normal circumstances the astronaut-pilot takes manual control only during the Approach and Landing phase. The automatic control algorithms used in the Shuttle for TAEM and Approach and Landing have been developed over the past 30 years. They are computationally efficient, and based on careful study of the spacecraft's flight dynamics, and heuristic reasoning. The gliding return trajectory is planned prior to the mission, and only minor adjustments are made during flight for perturbations in the vehicle energy state. With the advent of the X-33 and X-34 technology demonstration vehicles, several authors investigated implementing advanced control methods to provide autonomous real-time design of gliding return trajectories thus enhancing the ability of the vehicle to adjust to unusual energy states. The bulk of work published to date deals primarily with the approach and landing phase of flight where changes in heading angle are small, and range to the runway is monotonically decreasing. These benign flight conditions allow for model simplification and fairly straightforward optimization. This project focuses on the TAEM phase of flight where mathematically precise methods have produced limited results. Fuzzy Logic methods are used to make onboard autonomous gliding return trajectory design robust to a wider energy envelope, and the possibility of control surface failures, thus increasing the flexibility of unmanned gliding recovery and landing.

Burchett, Bradley↗

Use of Collocated KWAJEX Satellite, Aircraft, and Ground Measurements for Understanding Ambiguities in TRMM Radiometer Rain Profile Algorithm

Coordinated ground, aircraft, and satellite observations are analyzed from the 1999 TRMM Kwajalein Atoll field experiment (KWAJEX) to better understand the relationships between cloud microphysical processes and microwave radiation intensities in the context of physical evaluation of the Level 2 TRMM radiometer rain profile algorithm and uncertainties with its assumed microphysics-radiation relationships. This talk focuses on the results of a multi-dataset analysis based on measurements from KWAJEX surface, air, and satellite platforms to test the hypothesis that uncertainties in the passive microwave radiometer algorithm (TMI 2a12 in the nomenclature of TRMM) are systematically coupled and correlated with the magnitudes of deviation of the assumed 3-dimensional microphysical properties from observed microphysical properties. Re-stated, this study focuses on identifying the weaknesses in the operational TRMM 2a12 radiometer algorithm based on observed microphysics and radiation data in terms of over-simplifications used in its theoretical microphysical underpinnings. The analysis makes use of a common transform coordinate system derived from the measuring capabilities of the aircraft radiometer used to survey the experimental study area, i.e., the 4-channel AMPR radiometer flown on the NASA DC-8 aircraft. Normalized emission and scattering indices derived from radiometer brightness temperatures at the four measuring frequencies enable a 2-dimensional coordinate system that facilities compositing of Kwajalein S-band ground radar reflectivities, ARMAR Ku-band aircraft radar reflectivities, TMI spacecraft radiometer brightness temperatures, PR Ku-band spacecraft radar reflectivities, bulk microphysical parameters derived from the aircraft-mounted cloud microphysics laser probes (including liquid/ice water contents, effective liquid/ice hydrometeor radii, and effective liquid/ice hydrometeor variances), and rainrates derived from any of the individual ground, aircraft, or satellite algorithms applied to the radar or radiometer measurements, or their combination. The results support the study's underlying hypothesis, particularly in context of ice phase processes, in that the cloud regions where the 2a12 algorithm's microphysical database most misrepresents the microphysical conditions as determined by the laser probes, are where retrieved surface rainrates are most erroneous relative to other reference rainrates as determined by ground and aircraft radar. In reaching these conclusions, TMI and PR brightness temperatures and reflectivities have been synthesized from the aircraft AMPR and ARMAR measurements with the analysis conducted in a composite framework to eliminate measurement noise associated with the case study approach and single element volumes obfuscated by heterogeneous beam filling effects. In diagnosing the performance of the 2a12 algorithm, weaknesses have been found in the cloud-radiation database used to provide microphysical guidance to the algorithm for upper cloud ice microphysics. It is also necessary to adjust a fractional convective rainfall factor within the algorithm somewhat arbitrarily to achieve satisfactory algorithm accuracy.

Smith, Eric A.↗

Some Analytic Results for the Study of Broadband Noise Radiation from Wings, Propellers and Jets in Uniform Motion

Alan Powell has made significant contributions to the understanding of many aeroacoustic problems, in particular, the problems of broadband noise from jets and boundary layers. In this paper, some analytic results are presented for the calculation of the correlation function of the broadband noise radiated from a wing, a propeller, and a jet in uniform forward motion. It is shown that, when the observer (or microphone) motion is suitably chosen, the geometric terms of the radiation formula become time independent. The time independence of these terms leads to a significant simplification of the statistical analysis of the radiated noise, even when the near field terms are included. For a wing in forward motion, if the observer is in the moving reference frame, then the correlation function of the near and far field noise can be related to a space-time cross-correlation function of the pressure on the wing surface. A similar result holds for a propeller in forward flight if the observer is in a reference frame that is attached to the propeller and rotates at the shaft speed. For a jet in motion, it is shown that the correlation function of the radiated noise can be related to the space-time crosscorrelation of the Lighthill stress tensor in the jet. Exact analytical results are derived for all three cases. For the cases under present consideration, the inclusion of the near field terms does not introduce additional complexity, as compared to existing formulations that are limited to the far field.

Farassat, F.↗

Particle Generation And Evolution In Silane (SiH4)/Acetylene (C2H2) Flames In Microgravity

The objective of this experimental program is to advance the understanding of the coupling of particle formation with gas phase combustion processes. The work utilizes the unique SiH4/C2H2 combustion system which generates particulate products ranging from high purity, white SiC to carbonaceous soot depending on equivalence ratio (Ref. 1). A goal of this work is to identify gas phase or particle formation processes that provide the enthalpy release needed to drive the combustion wave, and to locate the steps of the particle formation process that determine SiC stoichiometry and crystallinity. In a real sense, these SiH4/C2H2 flames act like highly sooty hydrocarbon flames, but with simpler chemistry. This simplification is expected to allow them to be used as surrogates to advance understanding of soot formation in such rich hydrocarbon flames. It is also expected that this improved understanding of SiC particle generation and evolution in these self-sustaining flames will advance the commercial potential of the flame process for the generation of high purity SiC powders.

Keil, D. G.↗

Grid Sphere Electrodes used for Current Collection at the Positive Pole of Electrodynamic Tethers

The generation of either electrical power or propulsive thrust with an electrodynamic tether system necessarily depends on driving a return current through the system's ambient space plasma environment. An electrical connection is, therefore, required between the plasma and each end of the tether. The voltage required to drive current through the system is derived either from the orbital motion of the conducting tether through the magnetic field of the Earth, or from a high-voltage power supply that taps into an external energy source (e.g., the sun). In either case, one end of the tether will receive a positive bias. This positive bias, between the tether and the ambient plasma, allows electrons to be collected effectively with a simple, passive electrode. Passive electrode contactors offer several important advantages, including simplification of the upper end-body design and operations, minimization of system mass, and an increase of system reliability and robustness. A preliminary analysis of an inflatable Grid-Sphere end-body concept is presented that is interesting because of the potential for collecting arbitrarily large currents independent of tether length, while the device has the physical characteristics of a high area-to-mass ratio, a low drag coefficient, and simplicity. In particular, we will discuss the physics of current collection by a biased Grid-Sphere and the present state-of-the-art of materials, attainable area-to-mass ratios, and deployment techniques.

Stone, N. H.↗

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

Denney, Ewen↗

Procedure for Determining One-Dimensional Flow Distributions in Arbitrarily Connected Passages Without the Influence of Pumping

A calculation procedure is presented which allows the one-dimensional determination of flow distributions in arbitrarily connected (branching) flow passages having multiple inlets and exits. The procedure uses an adaptation of the finite element technique, iteratively coupled with an accurate one-dimensional flow solver. The procedure eliminates the usual restrictions inherent with finite element flow calculations. Unlike existing one-dimensional methods, which require simplifications to the flow equations (uncoupling the momentum and energy equations), to allow for arbitrary branching and multiple inlets and exits, the only limitation of the described methodology is that, at present, it can only accommodate non-rotating configurations (no pumping effects). The calculation procedure is robust, and will always converge for physically possible flow. The procedure is described, and its use is illustrated by an example.

Meitner, Peter L.↗

An Empirical Evaluation of Automated Theorem Provers in Software Certification

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, and usability. For full automation, however, the obligations must be aggressively preprocessed and simplified, and we demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATPs to solve the proof tasks. Our results are based on 13 certification experiments that lead to more than 25,000 proof tasks which have each been attempted by Vampire, Spass, e-setheo, and Otter. The proofs found by Otter have been proof-checked by IVY.

Denney, Ewen↗

Some Analytic Results for the Study of Broadband Noise Radiation from Wings, Propellers and Jets in Uniform Motion

Alan Powell has made significant contributions to the understanding of many aeroacoustic problems, in particular, the problems of broadband noise from jets and boundary layers. In this paper, some analytic results are presented for the calculation of the correlation function of the broadband noise radiated from a wing, a propeller, and a jet in uniform forward motion. It is shown that, when the observer (or microphone) motion is suitably chosen, the geometric terms of the radiation formula become time independent. The time independence of these terms leads to a significant simplification of the statistical analysis of the radiated noise, even when the near field terms are included. For a wing in forward motion, if the observer is in the moving reference frame, then the correlation function of the near and far field noise can be related to a space-time cross-correlation function of the pressure on the wing surface. A similar result holds for a propeller in forward flight if the observer is in a reference frame that is attached to the propeller and rotates at the shaft speed. For a jet in motion, it is shown that the correlation function of the radiated noise can be related to the space-time crosscorrelation of the Lighthill stress tensor in the jet. Exact analytical results are derived for all three cases. For the cases under present consideration, the inclusion of the near field terms does not introduce additional complexity, as compared to existing formulations that are limited to the far field.

Farassat, F.↗

Energetics of muscle contraction: the whole is less than the sum of its parts

Understanding muscle energetics is a problem in optimizing supply of ATP to the demands of ATPases. The complexity of reactions and their fluxes to achieve this balance is greatly reduced by recognizing constraints imposed by the integration of common metabolites at fixed stoichiometry among modular units. ATPase is driven externally. Oxidative phosphorylation and glycogenolysis are the suppliers. We focus on their regulation which involves different controls, but reduces to two principles that enable facile experimental analysis of the supply and demand fluxes. The ratio of concentration of phosphocreatine (PCr) to ATP, not their individual values, sets the range of achievable concentrations of ADP in resting and active muscle (at fixed pH) in different cell types. This principle defines the fraction of available flux of oxidative phosphorylation utilized (at fixed enzyme activities). Then the kinetics of PCr recovery defines the kinetics of oxygen supply and substrate utilization. The second principle is the constancy of PCr and H(+) (lactate) production by glycogenolysis due to the coupling of ATPase and glycolysis. This principle enables glycogenolytic flux to be measured from intracellular proton loads. Further simplification occurs because the magnitude of the interacting fluxes and metabolite concentrations are specified within narrow limits when both the resting and active fluxes are quantified. Thus there is a small set of rules for assessing and understanding the thermodynamics and kinetics of muscle energetics.

NASA Program Biomedical Research and Countermeasur↗

Direct Simulation of Reentry Flows with Ionization

The Direct Simulation Monte Carlo (DSMC) method is applied in this paper to the study of rarefied, hypersonic, reentry flows. The assumptions and simplifications involved with the treatment of ionization, free electrons and the electric field are investigated. A new method is presented for the calculation of the electric field and handling of charged particles with DSMC. In addition, a two-step model for electron impact ionization is implemented. The flow field representing a 10 km/sec shock at an altitude of 65 km is calculated. The effects of the new modeling techniques on the calculation results are presented and discussed.

Carlson, Ann B.↗

Droplet-Surface Impingement Dynamics for Intelligent Spray Design

Spray cooling has high potential in thermal management and life support systems by overcoming the deleterious effect of microgravity upon two-phase heat transfer. In particular spray cooling offers several advantages in heat flux removal that include the following: 1) By maintaining a wetted surface, spray droplets impinge upon a thin fluid film rather than a dry solid surface; 2. Most heat transfer surfaces will not be smooth but rough. Roughness can enhance conductive cooling, aid liquid removal by flow channeling; and 3. Spray momentum can be used to a) substitute for gravity delivering fluid to the surface, b) prevent local dryout and potential thermal runaway and c) facilitate liquid and vapor removal. Yet high momentum results in high We and Re numbers characterizing the individual spray droplets. Beyond an impingement threshold, droplets splash rather than spread. Heat flux declines and spray cooling efficiency can markedly decrease. Accordingly we are investigating droplet impingement upon a) dry solid surfaces, b) fluid films, c) rough surfaces and determining splashing thresholds and relationships for both dry surfaces and those covered by fluid films. We are presently developing engineering correlations delineating the boundary between splashing and non-splashing regions. Determining the splash/non-splash boundary is important for many practical applications. Coating and cooling processes would each benefit from near-term empirical relations and subsequent models. Such demonstrations can guide theoretical development by providing definitive testing of its predictive capabilities. Thus, empirical relations describing the boundary between splash and non-splash are given for drops impinging upon a dry solid surface and upon a thin fluid film covering a similar surface. Analytical simplification of the power laws describing the boundary between the splash and non-splash regions yields insight into the engineering parameters governing the splash and non-splash outcomes of the fluid droplets. The power law correlation is shown separating the splashing versus non-splashing regions as developed for droplets impinging upon a dry solid surface. Splashing upon a dry surface is reasonably described by Ca greater than 0.85, reflecting the competing roles of surface tension and viscosity. The power law correlation is shown separating the splashing versus non-splashing regions as developed for droplets impinging upon a thin fluid film covering the solid surface. Splashing upon a thin fluid film, as described by v (pd/s) greater than 63, is governed by fluid density and surface tension, but is rather independent of viscosity. Finally, the data presented here suggests that a more direct dependence upon the surface tension and viscosity, given a better understanding of their interplay, would allow accurate description of the droplet-surface impacts for more complicated situations involving non-Newtonian fluids, specifically those exhibiting viscoelastic behavior.

Wal, Randy L. Vander↗

Tropical Convective Responses to Microphysical and Radiative Processes: A Sensitivity Study With a 2D Cloud Resolving Model

Prognostic cloud schemes are increasingly used in weather and climate models in order to better treat cloud-radiation processes. Simplifications are often made in such schemes for computational efficiency, like the scheme being used in the National Centers for Environment Prediction models that excludes some microphysical processes and precipitation-radiation interaction. In this study, sensitivity tests with a 2D cloud resolving model are carried out to examine effects of the excluded microphysical processes and precipitation-radiation interaction on tropical thermodynamics and cloud properties. The model is integrated for 10 days with the imposed vertical velocity derived from the Tropical Ocean Global Atmosphere Coupled Ocean-Atmosphere Response Experiment. The experiment excluding the depositional growth of snow from cloud ice shows anomalous growth of cloud ice and more than 20% increase of fractional cloud cover, indicating that the lack of the depositional snow growth causes unrealistically large mixing ratio of cloud ice. The experiment excluding the precipitation-radiation interaction displays a significant cooling and drying bias. The analysis of heat and moisture budgets shows that the simulation without the interaction produces more stable upper troposphere and more unstable mid and lower troposphere than does the simulation with the interaction. Thus, the suppressed growth of ice clouds in upper troposphere and stronger radiative cooling in mid and lower troposphere are responsible for the cooling bias, and less evaporation of rain associated with the large-scale subsidence induces the drying in mid and lower troposphere.

Li, Xiao-Fan↗

Fundamentals of the Control of Gas-Turbine Power Plants for Aircraft. Part III Control of Jet Engines: Control of Jet Engines - Part 3

The basic principles of the control of TL ongincs are developed on .the basis of a quantitative investigation of the behavior of these behavior under various operating conditions with particular consideration of the simplifications pormissible in each case. Various possible means of control of jet engines are suggested and are illustrated by schematic designs.

Kuehl, H.↗

Methods of Stress Calculation in Rotating Disks

The paper describes nethods of computing the stresses in disks of a given profile as well as methods of choosing the disk profiles for a given stress distribution for turhines, turbo blowers, and so forth. A new method of in tegrating the differential equations of Stodola leads to a simplification of the computation for disks of hyperbolic profile.

Tumarkin, S.↗

Frequency Integrated Radiation Models for Absorbing and Scattering Media

The objective of this work is to contribute to the simplification of existing radiation models used in complex emitting, absorbing, scattering media. The application in view is the computation of flows occurring in such complex media, such as certain stellar interiors or combusting gases. In these problems, especially when scattering is present, the complexity of the radiative transfer leads to a high numerical cost, which is often avoided by simply neglecting it. The complexity lies partly in the strong dependence of the spectral coefficients on frequency. Models are then needed to capture the effects of the radiation when one cannot afford to directly solve for it. In this work, the frequency dependence will be modeled and integrated out in order retain only the average effects. A frequency-integrated radiative transfer equation (RTE) will be derived.

Ripoll, J. F.↗

The GPM Common Calibrated Brightness Temperature Product

The Global Precipitation Measurement (GPM) project will provide a core satellite carrying the GPM Microwave Imager (GMI) and will use microwave observations from a constellation of other satellites. Each partner with a satellite in the constellation will have a calibration that meets their own requirements and will decide on the format to archive their brightness temperature (Tb) record in GPM. However, GPM multi-sensor precipitation algorithms need to input intercalibrated Tb's in order to avoid differences among sensors introducing artifacts into the longer term climate record of precipitation. The GPM Common Calibrated Brightness Temperature Product is intended to address this problem by providing intercalibrated Tb data, called "Tc" data, where the "c" stands for common. The precipitation algorithms require a Tc file format that is both generic and flexible enough to accommodate the different passive microwave instruments. The format will provide detailed information on the processing history in order to allow future researchers to have a record of what was done. The format will be simple, including the main items of scan time, latitude, longitude, and Tc. It will also provide spacecraft orientation, spacecraft location, orbit, and instrument scan type (cross-track or conical). Another simplification is to store data in real numbers, avoiding the ambiguity of scaled data. Finally, units and descriptions will be provided in the product. The format is built on the concept of a swath, which is a series of scans that have common geolocation and common scan geometry. Scan geometry includes pixels per scan, sensor orientation, scan type, and incidence angles. The Tc algorithm and data format are being tested using the pre-GPM Precipitation Processing System (PPS) software to generate formats and 1/0 routines. In the test, data from SSM/I, TMI, AMSR-E, and WindSat are being processed and written as Tc products.

Stout, John↗

Formal Verification of Safety Properties for Aerospace Systems Through Algorithms Based on Exhaustive State-Space Exploration

The Runway Safety Monitor (RSM) designed by Lockheed Martin is part of NASA's effort to reduce aviation accidents. We developed a Petri net model of the RSM protocol and used the model checking functions of our tool SMART to investigate a number of safety properties in RSM. To mitigate the impact of state-space explosion, we built a highly discretized model of the system, obtained by partitioning the monitored runway zone into a grid of smaller volumes and by considering scenarios involving only two aircraft. The model also assumes that there are no communication failures, such as bad input from radar or lack of incoming data, thus it relies on a consistent view of reality by all participants. In spite of these simplifications, we were able to expose potential problems in the RSM conceptual design. Our findings were forwarded to the design engineers, who undertook corrective action. Additionally, the results stress the efficiency attained by the new model checking algorithms implemented in SMART, and demonstrate their applicability to real-world systems. Attempts to verify RSM with NuSMV and SPIN have failed due to excessive memory consumption.

Ciardo, Gianfranco↗