Search NASA⌕ Search

SEARCH · Search NASA

Results for “IDEAS”

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 271 records · Page 15

The physics of parallel machines

The idea is considered that architectures for massively parallel computers must be designed to go beyond supporting a particular class of algorithms to supporting the underlying physical processes being modelled. Physical processes modelled by partial differential equations (PDEs) are discussed. Also discussed is the idea that an efficient architecture must go beyond nearest neighbor mesh interconnections and support global and hierarchical communications.

Chan, Tony F.↗

An automated, integrated approach to Space Station structural modeling

NASA and its contractors have developed an integrated, interdisciplinary CAD/analysis system designated IDEAS(double asterisk)2 in order to conduct evaluations of alternative Space Station concepts' performance over the projected course of the Station's evolution in orbit. Attention is presently given to the requirements associated with automated FEM-building methods applicable to Space Station system-level structural dynamic analysis, and the ways in which IDEAS(double asterisk)2 addresses these requirements. Advantage is taken of the interactive capabilities of the SUPERTAB FEM preprocessor system for Space Station model manipulation and modification.

Lindenmoyer, Alan J.↗

Neptune's Triton: A moon rich in dry ice and carbon

The encounter of the spacecraft Voyager 2 with Neptune and its large satellite Triton in August 1989 will provide a crucial test of ideas regarding the origin and chemical composition of the outer solar system. In this pre-encounter publication, the possibility is quantified that Titron is a captured moon which, like Pluto and Charon, originally condensed as a major planetesimal within the gas ring that was shed by the contracting protosolar cloud at Neptune's orbit. Ideas of supersonic convective turbulence are used to compute the gas pressure, temperature and rat of catalytic synthesis of CH4, CO2, and C(s) within the protosolar cloud, assuming that all C is initially present as CO. The calculations lead to a unique composition for Triton, Pluto, Charon: each body consists of, by mass, 18 1/2 percent solid CO2 ice, 4 percent graphite, 1/2 percent CH4 ice, 29 percent methanated water ice and 48 percent of anhydrous rock. This mix has a density consistent with that of the Pluto-Charon system and yields a predicted mean density for Triton of 2.20 + or - 0.5 g/cu cm, for satellite radius equal to 1,750 km.

Prentice, A. J. R.↗

Space Electrochemical Research and Technology (SERT), 1989

The proceedings of NASA's second Space Electrochemical Research and Technology Conference are presented. The objectives of the conference were to examine current technologies, research efforts, and advanced ideas, and to identify technical barriers which affect the advancement of electrochemical energy storage systems for space applications. The conference provided a forum for the exchange of ideas and opinions of those actively involved in the field, with the intention of coalescing views and findings into conclusions on progress in the field, prospects for future advances, areas overlooked, and the directions of future efforts. Related overviews were presented in the areas of NASA advanced mission models. Papers were presented and workshops conducted in four technical areas: advanced concepts, hydrogen-oxygen fuel cells and electrolyzers, the nickel electrode, and advanced rechargable batteries.

Baldwin, Richard S.↗

Aerodynamic optimization by simultaneously updating flow variables and design parameters

The application of conventional optimization schemes to aerodynamic design problems leads to inner-outer iterative procedures that are very costly. An alternative approach is presented based on the idea of updating the flow variable iterative solutions and the design parameter iterative solutions simultaneously. Two schemes based on this idea are applied to problems of correcting wind tunnel wall interference and optimizing advanced propeller designs. The first of these schemes is applicable to a limited class of two-design-parameter problems with an equality constraint. It requires the computation of a single flow solution. The second scheme is suitable for application to general aerodynamic problems. It requires the computation of several flow solutions in parallel. In both schemes, the design parameters are updated as the iterative flow solutions evolve. Computations are performed to test the schemes' efficiency, accuracy, and sensitivity to variations in the computational parameters.

Rizk, M. H.↗

A design strategy for autonomous systems

Some solutions to crucial issues regarding the competent performance of an autonomously operating robot are identified; namely, that of handling multiple and variable data sources containing overlapping information and maintaining coherent operation while responding adequately to changes in the environment. Support for the ideas developed for the construction of such behavior are extracted from speculations in the study of cognitive psychology, an understanding of the behavior of controlled mechanisms, and the development of behavior-based robots in a few robot research laboratories. The validity of these ideas is supported by some simple simulation experiments in the field of mobile robot navigation and guidance.

Forster, Pete↗

Report of the workshop on Aviation Safety/Automation Program

As part of NASA's responsibility to encourage and facilitate active exchange of information and ideas among members of the aviation community, an Aviation Safety/Automation workshop was organized and sponsored by the Flight Management Division of NASA Langley Research Center. The one-day workshop was held on October 10, 1989, at the Sheraton Beach Inn and Conference Center in Virginia Beach, Virginia. Participants were invited from industry, government, and universities to discuss critical questions and issues concerning the rapid introduction and utilization of advanced computer-based technology into the flight deck and air traffic controller workstation environments. The workshop was attended by approximately 30 discipline experts, automation and human factors researchers, and research and development managers. The goal of the workshop was to address major issues identified by the NASA Aviation Safety/Automation Program. Here, the results of the workshop are documented. The ideas, thoughts, and concepts were developed by the workshop participants. The findings, however, have been synthesized into a final report primarily by the NASA researchers.

Morello, Samuel A.↗

Implementation of sensor and control designs for bioregenerative systems

The EGM 4000/4001 Engineering Design class is an interdisciplinary design course that allows students to experience the design process. The projects involved the design of sensors and subsystems of a closed-loop life support system (CLLSS) with special emphasis on the Controlled Ecological Life Support System (CELSS) currently being developed at Kennedy Space Center (KSC) by NASA. To understand the work performed by the students, one must understand the purpose and concept of a CLLSS system. In the years to come, NASA will be constructing Moon bases and sending astronauts to other worlds on extended space missions. In order to support the crews, unreasonably large quantities of supplies would have to be sent from Earth. These supplies would be difficult to transport and require large holds. To remedy this problem, NASA plans to incorporate crops into the spacecraft. These crops would supply food for the crews, as well as provide beneficial psychological side effects. In addition, the plants would recycle the air and human waste and provide oxygen and water for the humans. The students in the design class were to work on supporting this project. In order to do this successfully, the course was separated into two phases. The first semester involved studying the various aspects of a CLLSS to determine sensing needs and develop ideas. The second semester involved first determining which of the ideas were most promising. Specific sensors were then designed and tested under laboratory conditions with promising results. Finally, recommendations for further development were proposed. Atmosphere and temperature control, nutrient delivery, plant health and propagation, and resource recycling are discussed.

Source record↗

Mini-rovers for Mars explorations

Rovers are desirable for surface exploration because they allow sampling, and sample returns from several diverse locations on a planet's surface. Unfortunately, the rovers currently being examined for Mars exploration have several undesirable features. These rovers are quite massive (500 kg to one ton), have very complicated operations, and are very expensive. A possible alternative is described to using large rovers for exploring the surface of Mars. The idea of mini-rovers is proposed. Mini-rovers weigh less than 5 kg, are trivial to control from the ground, and can do a more thorough survey of the terrain (per kilogram of mass) than can be obtained by large rovers. By redesigning the Mars sample return mission to accommodate the idea of mini-rovers and small spacecraft, considerable mass and cost savings can be achieved.

Miller, David P.↗

Localization of one-photon state in space and Einstein-Podolsky-Rosen paradox in spontaneous parametric down conversion

An experiment on one-photon state localization in space using a correlation technique in Spontaneous Parametric Down Conversion (SPDC) process is discussed. Results of measurements demonstrate an idea of the Einstein-Podolsky-Rosen (EPR) paradox for coordinate and momentum variables of photon states. Results of the experiment can be explained with the help of an advanced wave technique. The experiment is based on the idea that two-photon states of optical electromagnetic fields arising in the nonlinear process of the spontaneous parametric down conversion (spontaneous parametric light scattering) can be explained by quantum mechanical theory with the help of a single wave function.

Penin, A. N.↗

Krylov subspace methods - Theory, algorithms, and applications

Projection methods based on Krylov subspaces for solving various types of scientific problems are reviewed. The main idea of this class of methods when applied to a linear system Ax = b, is to generate in some manner an approximate solution to the original problem from the so-called Krylov subspace span. Thus, the original problem of size N is approximated by one of dimension m, typically much smaller than N. Krylov subspace methods have been very successful in solving linear systems and eigenvalue problems and are now becoming popular for solving nonlinear equations. The main ideas in Krylov subspace methods are shown and their use in solving linear systems, eigenvalue problems, parabolic partial differential equations, Liapunov matrix equations, and nonlinear system of equations are discussed.

Sad, Youcef↗

Lunar optical telescopes: An historical perspective

There is a long history of thought and discussion on the possibilities of astronomical observatories on the Moon. Numerous ideas have been suggested and a variety of concepts have resulted for lunar optical telescopes. This paper reviews some of the ideas and efforts of individuals and working groups including Hershel, Clarke, Malina, Herbig, and Hess; working groups of the 1960s; and recent initiatives of Burke, Burns, and others. The enhanced technologies of the 1980s and 1990s can make past dreams of lunar observatories come to reality in the 21st century.

Johnson, Stewart W.↗

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↗

The KASE approach to domain-specific software systems

Designing software systems, like all design activities, is a knowledge-intensive task. Several studies have found that the predominant cause of failures among system designers is lack of knowledge: knowledge about the application domain, knowledge about design schemes, knowledge about design processes, etc. The goal of domain-specific software design systems is to explicitly represent knowledge relevant to a class of applications and use it to partially or completely automate various aspects of the designing systems within that domain. The hope is that this would reduce the intellectual burden on the human designers and lead to more efficient software development. In this paper, we present a domain-specific system built on top of KASE, a knowledge-assisted software engineering environment being developed at the Stanford Knowledge Systems Laboratory. We introduce the main ideas underlying the construction of domain specific systems within KASE, illustrate the application of the idea in the synthesis of a system for tracking aircraft from radar signals, and discuss some of the issues in constructing domain-specific systems.

Bhansali, Sanjay↗

A numerical field experiment approach for determining probabilities of microburst intensity

Several investigators had determined that some atmospheric parameters were related to the formation and severity of microbursts. For example, Caracena pointed out the relationship between a dry adiabatic lapse rate and microbursts in 'The crash of Delta Flight 191 at Dallas-Fort Worth international airport'. These early investigations led to the idea that numeric modeling of microbursts with varying atmospheric parameters might define 'signatures' that could lead to determining the probability of microburst intensity. The idea was that, by using already available sensors (such as static air temperature, pressure altitude, and radar reflectivity) onboard an aircraft, a reliable prediction of microburst existence and intensity could be formed. Such data could be used to create an 'expert meteorologist' using either artificial intelligence or other techniques that could be used in either reactive or look-ahead systems to vary sensitivity thresholds and coordinate the inputs from different detecting systems. To this end, Honeywell contracted to have the microburst simulations run. The questions to be addressed were the following: using the sensor set available to the aircraft (e.g. temperature, radar reflectivity, etc.), can we calculate the probability that (1) a microburst could be formed? and (2) that the resultant winds would be of sufficient magnitude to threaten the aircraft? Over a two year period, a data set of 1800 microburst simulations was accumulated. Verification of the microburst simulation was obtained using the results of other independent researchers and actual comparison to microburst events in Orlando and Denver. Some of the results from the simulation have already been incorporated into Honeywell's Windshear Detection and Guidance System with excellent results. Various aspects of this investigation are presented in viewgraph form.

Droegemeier, Kelvin K.↗

Certain and possible rules for decision making using rough set theory extended to fuzzy sets

Uncertainty may be caused by the ambiguity in the terms used to describe a specific situation. It may also be caused by skepticism of rules used to describe a course of action or by missing and/or erroneous data. To deal with uncertainty, techniques other than classical logic need to be developed. Although, statistics may be the best tool available for handling likelihood, it is not always adequate for dealing with knowledge acquisition under uncertainty. Inadequacies caused by estimating probabilities in statistical processes can be alleviated through use of the Dempster-Shafer theory of evidence. Fuzzy set theory is another tool used to deal with uncertainty where ambiguous terms are present. Other methods include rough sets, the theory of endorsements and nonmonotonic logic. J. Grzymala-Busse has defined the concept of lower and upper approximation of a (crisp) set and has used that concept to extract rules from a set of examples. We will define the fuzzy analogs of lower and upper approximations and use these to obtain certain and possible rules from a set of examples where the data is fuzzy. Central to these concepts will be the idea of the degree to which a fuzzy set A is contained in another fuzzy set B, and the degree of intersection of a set A with set B. These concepts will also give meaning to the statement; A implies B. The two meanings will be: (1) if x is certainly in A then it is certainly in B, and (2) if x is possibly in A then it is possibly in B. Next, classification will be looked at and it will be shown that if a classification will be looked at and it will be shown that if a classification is well externally definable then it is well internally definable, and if it is poorly externally definable then it is poorly internally definable, thus generalizing a result of Grzymala-Busse. Finally, some ideas of how to define consensus and group options to form clusters of rules will be given.

Dekorvin, Andre↗

Determination of design and operation parameters for upper atmospheric research instrumentation to yield optimum resolution with deconvolution, appendix 4

The power spectrum for a stationary random process can be defined with the Wiener-Khintchine Theorem, which says that the power spectrum and the auto correlation function are a Fourier transform pair. To implement this theorem for signals that are discrete and of finite length we can use the Blackman-Tukey method. Blackman and Tukey (1958) show that a function w(tau), called a lag window, can be applied to the auto correlation estimates to obtain power spectrum estimates that are statistically stable. The Fourier transform of w(r) is called a spectral window. Typical choices for spectral windows show a distinct trade-off between the main lobe width and side lobe strength. A new idea for designing windows by taking linear combinations of the standard windows to produce hybrid windows was introduced by Smith (1985). We implement Smith's idea to obtain spectral windows with narrow main lobes and smaller (compared with typical windows) near side lobes. One of the main contributions of this thesis is that we show that Smith's problem is equivalent to a Quadratic Programming (QP) problem with linear equality and inequality constraints. A computer program was written to produce hybrid windows by setting up and solving the QP problem. We also developed and solved two variations of the original problem. The two variations involved changing the inequality constraints in both cases from non negativity on the combination coefficients to non negativity on the hybrid lag window itself. For the second variation, the window functions used to construct the hybrid window were changed to a frequency-variable set of truncated cosinusoids. A series of tests was run with the three computer programs to investigate the behavior of the hybrid spectral and lag windows. Emphasis was put on obtaining spectral windows with both relatively narrow main lobes and the lowest possible (for these algorithms) near side lobes. Some success was achieved for this goal. A 10 dB peak side lobe reduction over the rectangular spectral window without significant main lobe broadening was achieved. Also, average side lobe levels of -117 dB were reached at a cost of doubling the main lobe width (at the -3 dB point).

Ioup, George E.↗

Monte-Carlo methods make Dempster-Shafer formalism feasible

One of the main obstacles to the applications of Dempster-Shafer formalism is its computational complexity. If we combine m different pieces of knowledge, then in general case we have to perform up to 2(sup m) computational steps, which for large m is infeasible. For several important cases algorithms with smaller running time were proposed. We prove, however, that if we want to compute the belief bel(Q) in any given query Q, then exponential time is inevitable. It is still inevitable, if we want to compute bel(Q) with given precision epsilon. This restriction corresponds to the natural idea that since initial masses are known only approximately, there is no sense in trying to compute bel(Q) precisely. A further idea is that there is always some doubt in the whole knowledge, so there is always a probability p(sub o) that the expert's knowledge is wrong. In view of that it is sufficient to have an algorithm that gives a correct answer a probability greater than 1-p(sub o). If we use the original Dempster's combination rule, this possibility diminishes the running time, but still leaves the problem infeasible in the general case. We show that for the alternative combination rules proposed by Smets and Yager feasible methods exist. We also show how these methods can be parallelized, and what parallelization model fits this problem best.

Kreinovich, Vladik YA.↗