Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Data Reasoning”

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 199 records · Page 11

Solutions to time variant problems of real-time expert systems

Real-time expert systems for monitoring and control are driven by input data which changes with time. One of the subtle problems of this field is the propagation of time variant problems from rule to rule. This propagation problem is even complicated under a multiprogramming environment where the expert system may issue test commands to the system to get data and to access time consuming devices to retrieve data for concurrent reasoning. Two approaches are used to handle the flood of input data. Snapshots can be taken to freeze the system from time to time. The expert system treats the system as a stationary one and traces changes by comparing consecutive snapshots. In the other approach, when an input is available, the rules associated with it are evaluated. For both approaches, if the premise condition of a fired rule is changed to being false, the downstream rules should be deactivated. If the status change is due to disappearance of a transient problem, actions taken by the fired downstream rules which are no longer true may need to be undone. If a downstream rule is being evaluated, it should not be fired. Three mechanisms for solving this problem are discussed: tracing, backward checking, and censor setting. In the forward tracing mechanism, when the premise conditions of a fired rule become false, the premise conditions of downstream rules which have been fired or are being evaluated due to the firing of that rule are reevaluated. A tree with its root at the rule being deactivated is traversed. In the backward checking mechanism, when a rule is being fired, the expert system checks back on the premise conditions of the upstream rules that result in evaluation of the rule to see whether it should be fired. The root of the tree being traversed is the rule being fired. In the censor setting mechanism, when a rule is to be evaluated, a censor is constructed based on the premise conditions of the upstream rules and the censor is evaluated just before the rule is fired. Unlike the backward checking mechanism, this one does not search the upstream rules. This paper explores the details of implementation of the three mechanisms.

Yeh, Show-Way↗

Built-In Diagnostics (BID) Of Equipment/Systems

Diagnostician(TM)-on-Chip (DOC) technology identifies faults and commands systems reconfiguration. Smart microcontrollers operating in conjunction with other system-control circuits, command self-correcting system/equipment actions in real time. DOC microcontroller generates commands for associated built-in test equipment to stimulate unit of equipment diagnosed, collects and processes response data obtained by built-in test equipment, and performs diagnostic reasoning on response data, using diagnostic knowledge base derived from design data.

Granieri, Michael N.↗

Nucleation Behavior of Oxygen-Acetylene Torch-Produced Diamond Films

A mechanism is presented for the nucleation of diamond in the combustion flame environment. A series of six experiments and two associated simulations provide results from which the mechanism was derived. A substantial portion of the prior literature was reviewed and the data and conclusions from the previous experimenters were found to support the proposed mechanism. The nucleation mechanism builds on the work of previous researchers but presents an approach to nucleation in a detail and direction not fully presented heretofore. This work identifies the gas phase as the controlling environment for the initial formation steps leading to nucleation. The developed mechanism explains some of the difficulty which has been found in producing single crystal epitaxial films. An experiment which modified the initial gas phase precursor using methane and carbon monoxide is presented. Addition of methane into the precursor gases was found to be responsible for pillaring of the films. Atomic force microscopy surface roughness data provides a reasonable look at suppression of nucleation by carbon monoxide. Surface finish data was taken on crystals which were open to the nucleation environment and generally parallel to the substrate surface. The test surfaces were measured as an independent measure of the instantaneous nucleation environent. A gas flow and substrate experiment changed the conditions on the surface of the sample by increasing the gas flow rate while remaining on a consistent point of the atomic constituent diagram, and by changing the carbide potential of the substrate. Two tip modification experiments looked at the behavior of gas phase nucleation by modifying the shape and behavior of the flame plasma in which the diamond nucleation is suspected to occur. Diamond nucleation and growth was additionally examined using a high-velocity oxygen fuel gun and C3H6 as the fuel gas phase precursor with addition of carbon monoxide gas 01 addition of liquid toluene.

Roberts, F. E.↗

Open architectures for formal reasoning and deductive technologies for software development

The objective of this project is to develop an open architecture for formal reasoning systems. One goal is to provide a framework with a clear semantic basis for specification and instantiation of generic components; construction of complex systems by interconnecting components; and for making incremental improvements and tailoring to specific applications. Another goal is to develop methods for specifying component interfaces and interactions to facilitate use of existing and newly built systems as 'off the shelf' components, thus helping bridge the gap between producers and consumers of reasoning systems. In this report we summarize results in several areas: our data base of reasoning systems; a theory of binding structures; a theory of components of open systems; a framework for specifying components of open reasoning system; and an analysis of the integration of rewriting and linear arithmetic modules in Boyer-Moore using the above framework.

Mccarthy, John↗

Using the VAHIRR Radar Algorithm to Investigate Lightning Cessation

Accurately determining the threat posed by lightning is a major area for improved operational forecasts. Most efforts have focused on the initiation of lightning within a storm, with far less effort spent investigating lightning cessation. Understanding both components, initiation and cessation, are vital to improving lightning safety. Few organizations actively forecast lightning onset or cessation. One such organization is the 45th Weather Squadron (45WS) for the Kennedy Space Center (KSC) and Cape Canaveral Air Force Station (CCAFS). The 45WS has identified that charged anvil clouds remain a major threat of continued lightning and can greatly extend the window of a potential lightning strike. Furthermore, no discernable trend of total lightning activity has been observed consistently for all storms. This highlights the need for more research to find a robust method of knowing when a storm will cease producing lightning. Previous lightning cessation work has primarily focused on forecasting the cessation of cloud-to -ground lightning only. A more recent, statistical study involved total lightning (both cloud-to-ground and intracloud). Each of these previous works has helped the 45WS take steps forward in creating improved and ultimately safer lightning cessation forecasts. Each study has either relied on radar data or recommended increased use of radar data to improve cessation forecasts. The reasoning is that radar data is able to either directly or by proxy infer more about dynamical environment leading to cloud electrification and eventually lightning cessation. The authors of this project are focusing on a two ]step approach to better incorporate radar data and total lightning to improve cessation forecasts. This project will utilize the Volume Averaged Height Integrated Radar Reflectivity (VAHIRR) algorithm originally developed during the Airborne Field Mill II (ABFM II) research project. During the project, the VAHIRR product showed a trend of increasing values with increases in the electric field magnitude above 3 kV/m. An extreme value analysis showed that VAHIRR values less than or equal to 10 dBZ-km showed that the probability of having an electric field magnitude larger than 3 kV/m was less than one in ten thousand. VAHIRR also was found to be sensitive at indicating anvil clouds that posed a threat of initiating a lightning flash. This project seeks to use VAHIRR to analyze its utility as a lightning cessation tool, particularly dealing with the threat posed by detached anvils. The results from this project will serve as a baseline effectiveness of radar ]based lightning cessation algorithms. This baseline will be used in the second, and concurrent work by the co ]author fs who are developing a lightning cessation algorithm based on dual ]polarimetric radar data. Ultimately, an accurate method for identifying lightning cessation can save money on lost manpower time as well as greatly improve lightning safety.

Stano, Geoffrey T.↗

Propagation of electromagnetic waves in a turbulent medium

Theoretical modeling of the wealth of experimental data on propagation of electromagnetic radiation through turbulent media has centered on the use of the Heisenberg-Kolmogorov (HK) model, which is, however, valid only for medium to small sized eddies. Ad hoc modifications of the HK model to encompass the large-scale region of the eddy spectrum have been widely used, but a sound physical basis has been lacking. A model for large-scale turbulence that was recently proposed is applied to the above problem. The spectral density of the temperature field is derived and used to calculate the structure function of the index of refraction N. The result is compared with available data, yielding a reasonably good fit. The variance of N is also in accord with the data. The model is also applied to propagation effects. The phase structure function, covariance of the log amplitude, and variance of the log intensity are calculated. The calculated phase structure function is in excellent agreement with available data.

Canuto, V. M.↗

Overview of TM Applications Research Reports

Applications-oriented users of TM data have every reason to be excited about the possibility of opening up other horizons using TM data. The data appear to be of excellent quality, and the investigations conducted to date, although preliminary, substantiate the findings of earlier research conducted with simulated TM data. Techniques used for sensor/data quality evaluation; data processing, analysis, and display; and comparisons of TM versus MSS data are summarized.

Williams, D. L.↗

The microwave propagation and backscattering characteristics of vegetation

A semi-empirical model for microwave backscatter from vegetation was developed and a complete set of canope attenuation measurements as a function of frequency, incidence angle and polarization was acquired. The semi-empirical model was tested on corn and sorghum data over the 8 to 35 GHz range. The model generally provided an excellent fit to the data as measured by the correlation and rms error between observed and predicted data. The model also predicted reasonable values of canopy attenuation. The attenuation data was acquired over the 1.6 to 10.2 GHz range for the linear polarizations at approximately 20 deg and 50 deg incidence angles for wheat and soybeans. An attenuation model is proposed which provides reasonable agreement with the measured data.

Ulaby, F. T.↗

Test Cases for the Benchmark Active Controls: Spoiler and Control Surface Oscillations and Flutter

As a portion of the Benchmark Models Program at NASA Langley, a simple generic model was developed for active controls research and was called BACT for Benchmark Active Controls Technology model. This model was based on the previously-tested Benchmark Models rectangular wing with the NACA 0012 airfoil section that was mounted on the Pitch and Plunge Apparatus (PAPA) for flutter testing. The BACT model had an upper surface spoiler, a lower surface spoiler, and a trailing edge control surface for use in flutter suppression and dynamic response excitation. Previous experience with flutter suppression indicated a need for measured control surface aerodynamics for accurate control law design. Three different types of flutter instability boundaries had also been determined for the NACA 0012/PAPA model, a classical flutter boundary, a transonic stall flutter boundary at angle of attack, and a plunge instability near M = 0.9. Therefore an extensive set of steady and control surface oscillation data was generated spanning the range of the three types of instabilities. This information was subsequently used to design control laws to suppress each flutter instability. There have been three tests of the BACT model. The objective of the first test, TDT Test 485, was to generate a data set of steady and unsteady control surface effectiveness data, and to determine the open loop dynamic characteristics of the control systems including the actuators. Unsteady pressures, loads, and transfer functions were measured. The other two tests, TDT Test 502 and TDT Test 5 18, were primarily oriented towards active controls research, but some data supplementary to the first test were obtained. Dynamic response of the flexible system to control surface excitation and open loop flutter characteristics were determined during Test 502. Loads were not measured during the last two tests. During these tests, a database of over 3000 data sets was obtained. A reasonably extensive subset of the data sets from the first two tests have been chosen for Test Cases for computational comparisons concentrating on static conditions and cases with harmonically oscillating control surfaces. Several flutter Test Cases from both tests have also been included. Some aerodynamic comparisons with the BACT data have been made using computational fluid dynamics codes at the Navier-Stokes level (and in the accompanying chapter SC). Some mechanical and active control studies have been presented. In this report several Test Cases are selected to illustrate trends for a variety of different conditions with emphasis on transonic flow effects. Cases for static angles of attack, static trailing-edge and upper-surface spoiler deflections are included for a range of conditions near those for the oscillation cases. Cases for trailing-edge control and upper-surface spoiler oscillations for a range of Mach numbers, angle of attack, and static control deflections are included. Cases for all three types of flutter instability are selected. In addition some cases are included for dynamic response measurements during forced oscillations of the controls on the flexible mount. An overview of the model and tests is given, and the standard formulary for these data is listed. Some sample data and sample results of calculations are presented. Only the static pressures and the first harmonic real and imaginary parts of the pressures are included in the data for the Test Cases, but digitized time histories have been archived. The data for the Test Cases are also available as separate electronic files.

Bennett, Robert M.↗

Research on blackboard architectures at the Heuristic Programming Project (HPP)

Researchers are entering the second decade of research in the Blackboard problem solving framework with focus in the following areas: (1) extensions to the basic concepts implemented in AGE-1 to address, for example, reasoning with uncertain data; (2) a new architecture and development environment, BB1, that implements methods for explicity controlling the reasoning; and (3) the design of and experimentation with multiprocessor architectures using the Blackboard as an organizing framework. A summary of these efforts is presented.

Nii, H. Penny↗

Detecting Edges in Images by Use of Fuzzy Reasoning

A method of processing digital image data to detect edges includes the use of fuzzy reasoning. The method is completely adaptive and does not require any advance knowledge of an image. During initial processing of image data at a low level of abstraction, the nature of the data is indeterminate. Fuzzy reasoning is used in the present method because it affords an ability to construct useful abstractions from approximate, incomplete, and otherwise imperfect sets of data. Humans are able to make some sense of even unfamiliar objects that have imperfect high-level representations. It appears that to perceive unfamiliar objects or to perceive familiar objects in imperfect images, humans apply heuristic algorithms to understand the images

Dominguez, Jesus A.↗

Model/data comparisons of ozone in the upper stratosphere and mesosphere

We compare ground-based microwave observations of ozone in the upper stratosphere and mesosphere with daytime observations made from the SME (Solar Mesosphere Explorer) satellite, with nighttime data from the LIMS instrument, and with a diurnal photochemical model. The results suggest that the data are all in reasonable agreement and that the model-data discrepancy is much less than previously thought, particularly in the mesosphere. This appears to be due to the fact that the latest data are lower than earlier reports and the updated model predicts more ozone than older versions. The model and the data agree to within a factor of 1.5 at all altitudes and typically are within 20 percent.

Siskind, David E.↗

Seasonal Characteristics of the Perennial Ice Cover of the Beaufort Sea

By definition, ice which survives the summer is classified as multiyear ice. Thus the area covered by multiyear ice during the winter should be nearly equivalent to the ice area during the previous summer's minima. This condition provides a reasonable criterion for the evaluation of ice concentration and ice type retrieval algorithms using remote-sensing data sets. From special sensor microwave imager (SSM/I) data the NASA Team algorithm estimates the multiyear, first-year, and total ice concentrations during the winter using combinations of the polarization and spectral gradient ratios. The Team algorithm provides only estimates of ice concentration in the summer. From ERS 1 synthetic aperture radar (SAR) data the remarkably stable contrast between multiyear ice and first-year ice in winter provides consistent estimates of multiyear ice concentrations. In the summer, multiyear ice concentration cannot be estimated from SAR or SSM/I data because free water on the surface effectively masks the backscatter and emissivity signature of this ice type. From SAR data a technique which takes advantage of the high backscatter of wind-roughened open water as a discrimination feature is used to estimate the total ice concentration in the summer. With a year-long (January 1992 to January 1993) data set from the Beaufort Sea we found that the multiyear ice concentration estimates from the SAR data are stable and are nearly equivalent to the ice concentration estimated at the end of the previous summer. We contrast this with the variability of the multiyear ice concentration and ice friction estimates obtained using SSM/I data. The Team algorithm produces ice concentration and multiyear ice estimates which are consistently lower than those from the SAR data. We discuss reasons for these discrepancies and the implications of the higher than previously noted multiyear ice concentrations.

Kwok, R.↗

Analysis of MIR-18 results for physical and biological dosimetry: radiation shielding effectiveness in LEO

We compare models of radiation transport and biological response to physical and biological dosimetry results from astronauts on the Mir space station. Transport models are shown to be in good agreement with physical measurements and indicate that the ratio of equivalent dose from the Galactic Cosmic Rays (GCR) to protons is about 3/2:1 and that this ratio will increase for exposures to internal organs. Two biological response models are used to compare to the Mir biodosimetry for chromosome aberration in lymphocyte cells; a track-structure model and the linear-quadratic model with linear energy transfer (LET) dependent weighting coefficients. These models are fit to in vitro data for aberration formation in human lymphocytes by photons and charged particles. Both models are found to be in reasonable agreement with data for aberrations in lymphocytes of Mir crew members: however there are differences between the use of LET dependent weighting factors and track structure models for assigning radiation quality factors. The major difference in the models is the increased effectiveness predicted by the track model for low charge and energy ions with LET near 10 keV/micrometers. The results of our calculations indicate that aluminum shielding, although providing important mitigation of the effects of trapped radiation, provides no protective effect from the galactic cosmic rays (GCR) in low-earth orbit (LEO) using either equivalent dose or the number of chromosome aberrations as a measure until about 100 g/cm 2 of material is used.

Flight Experiment↗

A User Guide for Smoothing Air Traffic Radar Data

Matlab software was written to provide smoothing of radar tracking data to simulate ADS-B (Automatic Dependent Surveillance-Broadcast) data in order to test a tactical conflict probe. The probe, called TSAFE (Tactical Separation-Assured Flight Environment), is designed to handle air-traffic conflicts left undetected or unresolved when loss-of-separation is predicted to occur within approximately two minutes. The data stream that is down-linked from an aircraft equipped with an ADS-B system would include accurate GPS-derived position and velocity information at sample rates of 1 Hz. Nation-wide ADS-B equipage (mandated by 2020) should improve surveillance accuracy and TSAFE performance. Currently, position data are provided by Center radar (nominal 12-sec samples) and Terminal radar (nominal 4.8-sec samples). Aircraft ground speed and ground track are estimated using real-time filtering, causing lags up to 60 sec, compromising performance of a tactical resolution tool. Offline smoothing of radar data reduces wild-point errors, provides a sample rate as high as 1 Hz, and yields more accurate and lag-free estimates of ground speed, ground track, and climb rate. Until full ADS-B implementation is available, smoothed radar data should provide reasonable track estimates for testing TSAFE in an ADS-B-like environment. An example illustrates the smoothing of radar data and shows a comparison of smoothed-radar and ADS-B tracking. This document is intended to serve as a guide for using the smoothing software.

Center/Tracon Radar↗

Asymptotic behavior of a flat plate wake

An experimental study has been conducted to investigate the far-field, self-similar properties of a flat plate wake. A plane turbulent wake was generated at the trailing edge of a smooth splitter plate separating two legs of a Mixing Layer Wind Tunnel, with both initial boundary layers tripped. For the present study, both legs were operated at a free-steam velocity in the test section of 15 m/s, giving a Reynolds number based on wake momentum thickness of about 1750. Single profile measurements were obtained at five streamwise locations using a Pitot probe for the mean velocity measurements and a single cross-wire probe for the turbulence data, which included statistics up to third order. The mean flow data indicated a self-similar behavior beyond a streamwise distance equivalent to about 350 wake momentum thicknesses. However, the turbulence data show better collapse beyond a distance equivalent to about 500 momentum thicknesses, with all the measured peak Reynolds stresses achieving constant, asymptotic levels. The asymptotic mean flow behavior and peak primary stress levels agree well with theoretical predictions based on a constant eddy viscosity model. The present data also agree reasonably well with previous measurements, of which only one set extends into the self-similar region. Detailed comparisons with previous data are presented and discussed in this report.

Weygandt, James H.↗

SSME fault monitoring and diagnosis expert system

An expert system, called LEADER, has been designed and implemented for automatic learning, detection, identification, verification, and correction of anomalous propulsion system operations in real time. LEADER employs a set of sensors to monitor engine component performance and to detect, identify, and validate abnormalities with respect to varying engine dynamics and behavior. Two diagnostic approaches are adopted in the architecture of LEADER. In the first approach fault diagnosis is performed through learning and identifying engine behavior patterns. LEADER, utilizing this approach, generates few hypotheses about the possible abnormalities. These hypotheses are then validated based on the SSME design and functional knowledge. The second approach directs the processing of engine sensory data and performs reasoning based on the SSME design, functional knowledge, and the deep-level knowledge, i.e., the first principles (physics and mechanics) of SSME subsystems and components. This paper describes LEADER's architecture which integrates a design based reasoning approach with neural network-based fault pattern matching techniques. The fault diagnosis results obtained through the analyses of SSME ground test data are presented and discussed.

Ali, Moonis↗

Interplanetary magnetic field power spectra - Mean field radial or perpendicular to radial

A detailed frequency analysis of Pioneer-6 interplanetary magnetic field data is carried out for 5 to 15 hour periods during which the mean interplanetary field is approximately radial or perpendicular to radial. The reason why these data sets were chosen is that by making the usual assumption that the phase speed of any wave present is much less than the mean solar wind speed, the measured frequency spectra can be interpreted in terms of the wave number parallel or perpendicular to the mean field, without such additional assumptions as isotropy or the dominance of a particular mode and without measurements of velocity and density. The details of the calculation of the magnetic field power spectra, coherencies, and correlation functions are discussed, along with results obtained directly from the data (such as spectra, slopes, anisotropies, and coherencies). The results are interpreted in terms of MHD theory, and are related to work in other areas.

Sari, J. W.↗