Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “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 1,297 records · Page 72
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Knowledge-based Autonomous Test Engineer (KATE)

Mathematical models of system components have long been used to allow simulators to predict system behavior to various stimuli. Recent efforts to monitor, diagnose, and control real-time systems using component models have experienced similar success. NASA Kennedy is continuing the development of a tool for implementing real-time knowledge-based diagnostic and control systems called KATE (Knowledge based Autonomous Test Engineer). KATE is a model-based reasoning shell designed to provide autonomous control, monitoring, fault detection, and diagnostics for complex engineering systems by applying its reasoning techniques to an exchangeable quantitative model describing the structure and function of the various system components and their systemic behavior.

Parrish, Carrie L.↗
NASA NTRS1992

The achievement of spacecraft autonomy through the thematic application of multiple cooperating intelligent agents

A description is given of UNICORN, a prototype system developed for the purpose of investigating artificial intelligence (AI) concepts supporting spacecraft autonomy. UNICORN employs thematic reasoning, of the type first described by Rodger Schank of Northwestern University, to allow the context-sensitive control of multiple intelligent agents within a blackboard based environment. In its domain of application, UNICORN demonstrates the ability to reason teleologically with focused knowledge. Also presented are some of the lessons learned as a result of this effort. These lessons apply to any effort wherein system level autonomy is the objective.

Rossomando, Philip J.↗
NASA NTRS1992

Calculation of installation effects within performance computer programs

Gasturbine engine components as compressors, burners and turbines are usually tested on rigs prior to installation into an engine. In the engine, the component behaviour is different due to a variety of reasons. The installation effects are caused by small geometrical differences due to nonrepresentative rig operating temperatures and pressures, by different gas properties and Reynolds numbers and by radial as well as circumferential temperature and pressure profiles at the inlet to the component. For highly accurate performance predictions these rig-to-engine effects have to be taken into account. Traditionally the term "installation" is also used for describing all the differences in engine operation and behaviour between toothed and aircraft. Intake and afterbody drag, power offtake and bleed as well as intake pressure losses and inlet flow distortion have significant impact on airflow, thrust, specific fuel consumption and compressor stability. Using modem performance synthesis programs all these effects can be simulated reasonably well.

J Kurzke↗
NASA NTRS1992

Evidence for magma oceans on asteroids, the moon, and Earth

There are sound theoretical reasons to suspect that the terrestrial planets melted when they formed. For Earth, the reasons stem largely from the hypothesis that the moon formed as a result of the impact of a Mars-sized planetesimal with the still accreting Earth. Such a monumental event would have led to widespread heating of the Earth and the materials from which the moon was made. In addition, formation of a dense atmosphere on the Earth (and possibly the Moon) would have led to retention of accretional heat and, thus, widespread melting. In other words, contemporary theory suggests that the primitive Moon and terrestrial planets had magma oceans.

Taylor, G. Jeffrey↗
NASA NTRS1992

The light of a new age

Given here is the address of NASA Administrator Daniel S. Goldin to the Association of Space Explorers. Mr. Goldin's remarks are on the topic of why we should go to Mars, a subject he approaches by first answering the question, What would it mean if we decided today not to go to Mars? After a discussion of the meaning of Columbus' voyage to America, he answers the question by saying that if we decide not to go to Mars, our generation will truly achieve a first in human history - we will be the first to stop at a frontier. After noting that the need to explore is intrinsic to life itself, Mr. Goldin presents several reasons why we should go to the Moon and go to Mars. One reason is economic, another is to increase our scientific knowledge, and yet another is to further the political evolution of humankind through the international cooperation required for building settlements on the Moon and Mars. He concludes by expanding upon the idea that this nation has never been one to shrink from a challenge.

Goldin, Daniel S.↗
NASA NTRS1990

Using new aggregation operators in rule-based intelligent control

A new aggregation operator is applied in the design of an approximate reasoning-based controller. The ordered weighted averaging (OWA) operator has the property of lying between the And function and the Or function used in previous fuzzy set reasoning systems. It is shown here that, by applying OWA operators, more generalized types of control rules, which may include linguistic quantifiers such as Many and Most, can be developed. The new aggregation operators, as tested in a cart-pole balancing control problem, illustrate improved performance when compared with existing fuzzy control aggregation schemes.

Berenji, Hamid R.↗
NASA NTRS1991

Stray signal requirements for compact range reflectors based on RCS measurement errors

The authors present a performance criterion for compact range reflectors such that their edge diffracted stray signal levels meet a reasonable radar cross section (RCS) measurement error requirement. It is shown by example that one of the significant error sources is the diffracted fields emanating from the edges or junctions of the reflector. This measurement error is demonstrated by placing a diagonal square flat plate in the target zone and rotating it to appropriate angles. These angles are determined by bisecting the plane wave and stray signal directions. This results in a peak bistatic measurement of the edge diffracted stray signal. It is proposed that the diagonal flat plate be used to evaluate new reflector designs as well as existing systems. A reasonable stray signal performance level has been developed so that new reflector systems can be characterized in terms of an RCS measurement error requirement.

Lee, Teh-Hong↗
NASA NTRS1991

Automatic derivation of formal software specifications from informal descriptions

SPECIFIER, an interactive system which derives formal specifications of data types and programs from their informal descriptions, is described. The process of deriving formal specifications is viewed as a problem-solving process. The system uses common problem-solving techniques such as schemas, analogy, and difference-based reasoning to derive formal specifications. If an informal description is a commonly occurring operation for which the system has a schema, then the formal specification is derived by instantiating the schema. If there is no such schema, SPECIFIER tries to find a previously solved problem which is analogous to the current problem. If the problem found is directly analogous to the current problem, it applies an analogy mapping to obtain a formal specification. On the other hand, if the analogy found is only approximate, it solves the directly analogous part of the problem by analogy and performs difference-based reasoning using the remaining (unmatched) parts to transform the formal specification obtained by analogy to a formal specification for the entire original problem.

Miriyala, Kanth↗
NASA NTRS1992

Free-edge effects in laminates under extension, bending and twisting. II - Sublaminate/layer modeling and analysis

The stress-function-based variational method of Yin (1991) is extended and modified into a combined layer/sublaminate approach applicable to a laminated strip composed of a large number of differently orientated, anisotropic elastic plies. Lekhnitskii's (1963) stress functions are introduced into two interior layers adjacent to a particular interface. The remaining layers are grouped into an upper sublaminate and a lower sublaminate. The stress functions are expanded in truncated power series of the thickness coordinate, and the differential equations governing the coefficient functions are derived by using the complementary virtual work principle. The layer/sublaminate approach limits the dimension of the eigenvalue problem to a fixed number irrespective of the number of layers in the sublaminate, so that reasonably accurate solutions of the interlaminar stresses can be computed with extreme ease. For symmetric, four-layer, angle-ply and cross-ply laminates, a comparison of the previous analysis results based on the pure layer model and new results based on two different layer/sublaminate models indicates reasonable over-all agreement in the interlaminar stresses and superior agreement in the total peeling and shearing force.

Yin, Wan-Lee↗
NASA NTRS1992

The NASA/Industry Design Analysis Methods for Vibrations (DAMVIBS) Program - Boeing helicopters airframe finite element modeling

Finite-element modeling of the airframe vibration of the Army/Boeing CH-47D helicopter is conducted with comparisons to experimental data in an effort to improve the design process. A NASTRAN FEM is developed that is fully representative of the test configuration and includes the support fixture, shakers, and the aircraft/shaker suspension system. The analysis is conducted with specific attention given to the prediction of reasonable forced amplitudes throughout the airframe. Reasonable correlation is noted between the FEM and experimental results, although improved correlation can be obtained by including more accurate damping values and secondary effects such as stringer shear loading. It is shown that the general stress model does not provide an adequate dynamic analysis on which to base design improvements. A more detailed model is required that emphasizes highly detailed helicopter elements and employs a finer mesh particularly in the description of the mass distribution.

Gabel, R.↗
NASA NTRS1989

Optical dispersion relations for 'diamondlike' carbon films

Ellipsometric measurements on plasma deposited diamondlike amorphous carbon (a-C:H) films were taken in the visible, (E = 1.75 to 3.5 eV). The films were deposited on Si and their properties were varied using high temperature (up to 750 C) anneals. The real (n) and imaginary (k) parts of the complex index of refraction N were obtained simultaneously. Following the theory of Forouhi and Bloomer, a least squares fit was used to find the dispersion relations n(E) and k(E). Reasonably good fits were obtained, showing that the theory can be used for a-C:H films. Moreover, the value of the energy gap (Eg) obtained in this way was compared to the Eg value using conventional Tauc plots and reasonably good agreement was obtained.

Alterovitz, Samuel A.↗
NASA NTRS1992

Solution of the Burnett equations for hypersonic flows near the continuum limit

The INCA code, a three-dimensional Navier-Stokes code for analysis of hypersonic flowfields, was modified to analyze the lower reaches of the continuum transition regime, where the Navier-Stokes equations become inaccurate and Monte Carlo methods become too computationally expensive. The two-dimensional Burnett equations and the three-dimensional rotational energy transport equation were added to the code and one- and two-dimensional calculations were performed. For the structure of normal shock waves, the Burnett equations give consistently better results than Navier-Stokes equations and compare reasonably well with Monte Carlo methods. For two-dimensional flow of Nitrogen past a circular cylinder the Burnett equations predict the total drag reasonably well. Care must be taken, however, not to exceed the range of validity of the Burnett equations.

Imlay, Scott T.↗
NASA NTRS1992

Imaging radar investigations of the Sudbury structure

This paper reports preliminary results of airborne imaging radar studies of the Sudbury structure carried out in preparation for a CCRS European Remote Sensing Satellite (ERS-1) investigation. The data used were synthetic aperture radar (SAR) C-band (5.66 cm) images acquired from about 6 km altitude in 1987. They cover the Sudbury area in both wide and narrow swath modes, with east-west flight paths and north-south illumination directions. Narrow swath resolution is 6 m in range and azimuth; wide swath resolution is 20 m in range and 10 m in azimuth. The STAR imagery has proven highly effective for field use, providing excellent rendition of topography and topographically expressed structure. Reasons for this include the illumination geometry, notably the look azimuth normal to the long axis of the Sudbury structure and Penokean fold axes, the good spatial resolution, and the short wavelength. Forested areas in the Sudbury area tend to be uniformly rough at C-band wavelength, with backscatter dominated by local incidence angle (i.e., topography). Field work using the SAR imagery has to date been concentrated in the North Range and Superior Province as far north as the Benny greenstone belt. This area was chosen for initial investigation of the original size and shape of the Sudbury structure because the effects of the Penokean Orogeny were minimal there. Field work using SAR indicates that there has been little postimpact deformation of the North Range or adjacent Superior Province rock. There appears to be no evidence for an outer ring concentric with the North Range as indicated by early Landsat imagery. The apparent ring shown by Landsat is visible on the SAR imagery as the intersection of two regional fracture patterns not related to the Sudbury structure. There is no outer ring visible southwest of the structure. This can reasonably be explained by Penokean deformation, but there is no outer ring to the northeast cutting the relatively undeformed Huronian sediments of the Cobalt Embayment.

Lowman, P. D.↗
NASA NTRS1992

An Embedded Rule-Based Diagnostic Expert System in Ada

Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with it portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assumed a growing role in providing human-like reasoning capability expertise for computer systems. The integration is discussed of expert system technology with Ada programming language, especially a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell. NASA Lewis was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-based power expert system, in ART-Ada. Three components, the rule-based expert systems, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The rules were written in the ART-Ada development environment and converted to Ada source code. The graphics interface was developed with the Transportable Application Environment (TAE) Plus, which generates Ada source code to control graphics images. SMART-Ada communicates with a remote host to obtain either simulated or real data. The Ada source code generated with ART-Ada, TAE Plus, and communications code was incorporated into an Ada expert system that reads the data from a power distribution test bed, applies the rule to determine a fault, if one exists, and graphically displays it on the screen. The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.

Jones, Robert E.↗
NASA NTRS1992

Multiresolution pattern recognition of small volcanos in Magellan data

The Magellan data is a treasure-trove for scientific analysis of venusian geology, providing far more detail than was previously available from Pioneer Venus, Venera 15/16, or ground-based radar observations. However, at this point, planetary scientists are being overwhelmed by the sheer quantities of data collected--data analysis technology has not kept pace with our ability to collect and store it. In particular, 'small-shield' volcanos (less than 20 km in diameter) are the most abundant visible geologic feature on the planet. It is estimated, based on extrapolating from previous studies and knowledge of the underlying geologic processes, that there should be on the order of 10(exp 5) to 10(exp 6) of these volcanos visible in the Magellan data. Identifying and studying these volcanos is fundamental to a proper understanding of the geologic evolution of Venus. However, locating and parameterizing them in a manual manner is very time-consuming. Hence, we have undertaken the development of techniques to partially automate this task. The goal is not the unrealistic one of total automation, but rather the development of a useful tool to aid the project scientists. The primary constraints for this particular problem are as follows: (1) the method must be reasonably robust; and (2) the method must be reasonably fast. Unlike most geological features, the small volcanos of Venus can be ascribed to a basic process that produces features with a short list of readily defined characteristics differing significantly from other surface features on Venus. For pattern recognition purposes the relevant criteria include the following: (1) a circular planimetric outline; (2) known diameter frequency distribution from preliminary studies; (3) a limited number of basic morphological shapes; and (4) the common occurrence of a single, circular summit pit at the center of the edifice.

Smyth, P.↗
NASA NTRS1993

Imaging the sun in hard x rays using Fourier telescopes

For several years, solar flares have been observed with a variety of instruments confirming that tremendous amounts of energy are locally stored in the solar magnetic field and then rapidly released during the life of the flare. In concert with observations, theorists have attempted to describe the means by which these energetic events occur and evolve. Two competing theories have emerged and have stood the test of time. One theory describes the flare in terms of nonthermal, electron beam injection into a thick target while the other uses a thermal approach. Both theories provide results which are reasonably consistent with current observations; but to date, none have been able to provide conclusive evidence as to the validity of either model. Imaging on short time scales (1 s) and/or small size scales (1 arc s) should give definitive answers to these questions. In order to test whether a realistic telescope can indeed discriminate between models, we construct model sources based upon the thermal and the nonthermal models and calculate the emission as a function of time and energy in the range from 10 to 100 keV. In addition, we construct model telescopes representing both the spatial modulation collimator (SMC) and the rotating modulation collimator (RMC) techniques of observation using random photon counting statistics. With these two types of telescopes we numerically simulate the instrument response to the above two model flares to see if there are distinct x-ray signatures which may be discernable. We find that theoretical descriptions of the primary models of solar flares do indeed predict different hard x-ray signatures for 1 sec time scales and at 1-5 arc sec spatial resolution. However, these distinguishing signatures can best be observed early in the impulsive phase and from a position perpendicular to the plane of the loop. Furthermore, we find that Fourier telescopes with reasonable and currently attainable design characteristics can image these signatures and that the same sensitive areas and short temporal integration times relative to source evolution (i.e., 1 s), the RMC and the SMC will both provide about the same performance.

Campbell, J. W.↗
NASA NTRS1992

Approximation methods for stochastic petri nets

Stochastic Marked Graphs are a concurrent decision free formalism provided with a powerful synchronization mechanism generalizing conventional Fork Join Queueing Networks. In some particular cases the analysis of the throughput can be done analytically. Otherwise the analysis suffers from the classical state explosion problem. Embedded in the divide and conquer paradigm, approximation techniques are introduced for the analysis of stochastic marked graphs and Macroplace/Macrotransition-nets (MPMT-nets), a new subclass introduced herein. MPMT-nets are a subclass of Petri nets that allow limited choice, concurrency and sharing of resources. The modeling power of MPMT is much larger than that of marked graphs, e.g., MPMT-nets can model manufacturing flow lines with unreliable machines and dataflow graphs where choice and synchronization occur. The basic idea leads to the notion of a cut to split the original net system into two subnets. The cuts lead to two aggregated net systems where one of the subnets is reduced to a single transition. A further reduction leads to a basic skeleton. The generalization of the idea leads to multiple cuts, where single cuts can be applied recursively leading to a hierarchical decomposition. Based on the decomposition, a response time approximation technique for the performance analysis is introduced. Also, delay equivalence, which has previously been introduced in the context of marked graphs by Woodside et al., Marie's method and flow equivalent aggregation are applied to the aggregated net systems. The experimental results show that response time approximation converges quickly and shows reasonable accuracy in most cases. The convergence of Marie's method and flow equivalent aggregation are applied to the aggregated net systems. The experimental results show that response time approximation converges quickly and shows reasonable accuracy in most cases. The convergence of Marie's is slower, but the accuracy is generally better. Delay equivalence often fails to converge, while flow equivalent aggregation can lead to potentially bad results if a strong dependence of the mean completion time on the interarrival process exists.

Jungnitz, Hauke Joerg↗
NASA NTRS1990

Exercise during long term exposure to space: Value of exercise during space exploration

There appear to be two general physiological reasons why exercise will be beneficial to space travelers who will experience a weightless and isolated environment for many months or a few years: (1) to alleviate or prevent tissue atrophy (principally bone and muscle), to maintain cardiovascular function, and to prevent deleterious changes in extracellular and cellular fluid volumes and plasma constituents, especially electrolytes; and (2) to maintain whole organism functional physical and physiological status with special reference to neuromuscular coordination (physical skill) and physical fitness (muscle strength and power, flexibility, and aerobic endurance). The latter reason also relates well to the ability of the crew members to resist both general and local fatigue and thus ensure consistent physical performance. Various forms of exercise, performed regularly, could help alleviate boredom and assist the travelers in coping with stress, anxiety, and depression. The type, frequency, duration and intensity of exercise and ways of ensuring that crew members engage in it are discussed.

Source record↗