Search NASA⌕ Search

SEARCH · Search NASA

Results for “First Principles”

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 577 records · Page 32

Encoding of head acceleration in vestibular neurons. I. Spatiotemporal response properties to linear acceleration

1. Extracellular recordings were made in and around the medial vestibular nuclei in decerebrated rats. Neurons were functionally identified according to their semicircular canal input on the basis of their responses to angular head rotations around the yaw, pitch, and roll head axes. Those cells responding to angular acceleration were classified as either horizontal semicircular canal-related (HC) or vertical semicircular canal-related (VC) neurons. The HC neurons were further characterized as either type I or type II, depending on the direction of rotation producing excitation. Cells that lacked a response to angular head acceleration, but exhibited sensitivity to a change in head position, were classified as purely otolith organ-related (OTO) neurons. All vestibular neurons were then tested for their response to sinusoidal linear translation in the horizontal head plane. 2. Convergence of macular and canal inputs onto central vestibular nuclei neurons occurred in 73% of the type I HC, 79% of the type II HC, and 86% of the VC neurons. Out of the 223 neurons identified as receiving macular input, 94 neurons were further studied, and their spatiotemporal response properties to sinusoidal stimulation with pure linear acceleration were quantified. Data were obtained from 33 type I HC, 22 type II HC, 22 VC, and 17 OTO neurons. 3. For each neuron the angle of the translational stimulus vector was varied by 15, 30, or 45 degrees increments in the horizontal head plane. In all tested neurons, a direction of maximum sensitivity was identified. An interesting difference among neurons was their response to translation along the direction perpendicular to that that produced the maximum response ("null" direction). For the majority of neurons tested, it was possible to evoke a nonzero response during stimulation along the null direction always had response phases that varied as a function of stimulus direction. 4. These spatiotemporal response properties were quantified in two independent ways. First, the data were evaluated on the basis of the traditional one-dimensional principle governed by the "cosine gain rule" and constant response phase at different stimulus orientations. Second, the response gain and phase values that were empirically determined for each orientation of the applied linear stimulus vector were fitted on the basis of a newly developed formalism that treats neuronal responses as exhibiting two-dimensional spatial sensitivity. Thus two response vectors were determined for each neuron on the basis of its response gain and phase at different stimulus directions in the horizontal head plane.(ABSTRACT TRUNCATED AT 400 WORDS).

NASA Discipline Neuroscience↗

PROCSIMA: Diffractionless Beamed Propulsion for Breakthrough Interstellar Missions

The following report describes a new propulsion concept based on self-guiding of combined light and particle beam and explores the physics, technology and design principles needed to implement such a system for an interstellar fly-by mission to Proxima b. While the relevant self-focusing mechanism has been considered in an optical context, this is the first application to space propulsion known to the authors.The purpose of the present study is to provide a broad overview of the pertinent physics and design principles, credibly assess propulsion capabilities, and lay a comprehensive foundation for further, more targeted investigations of critical system elements and processes. Starting from basic principles, this report describes the equations of motion and physical phenomena needed to establish the feasibility of self-guiding and furthermore analyze the production and sustainment of the self-guided beam. Compared with laser or particle beam propulsion alone, the self-guided beam concept introduces a plethora of light-matter interactions and additional complexities, imposing certain constraints on the geometric and physical characteristics of the beam sources. In particular, we have the identified the particle beam as a crucial element of the proposed concept. System constraints are quantitatively analyzed and then explored by developing and applying a mission design process to a Proxima b flyby mission as well as a nearer-term mission to the solar gravitational lens point.

Mechanism↗

Development of a moon-based magnetospheric and coronal imager using a large broadband array

The 'Missions to and from Planet Earth' mandated by President Bush in 1989 provide a unique opportunity for magnetospheric and coronal plasma physicists to cooperate with low frequency radio astronomers in the development of an advanced experiment designed for the lunar surface. A large active lunar based array would sound the Earth's magnetosphere at VLF frequencies and the solar corona at decametric wavelengths allowing plasma physicists to map both the Earth's magnetosphere and those regions in the solar corona that trigger precursors to solar flares. With the transmitter silent, the array would become the ideal low frequency radio telescope, examining both geospace emissions such as auroral kilometric radiation and extraterrestrial signals from the planets, pulsars, supernova remnants, and active galactic nuclei. Both experiments satisfy requirements mandated in both 'Mission to Planet Earth' and in 'Mission from Planet Earth.' By proposing a cooperative effort both communities (plasma physicists and radio astronomers) stand to benefit. Jim Green, Director of the NASA Space Science Data Center (NSSDC) at GSFC; Tony Phillips, Research Fellow at California Institute of Technology; T. D. Carr, Director of the University of Florida Radio Observatory (UFRO) and the author are enlisting the cooperation of the scientific community in defining the system specifications. Some components, such as the receivers, will be standard 'off-the-shelf' items, and hence will require little developmental research. However, the individual antenna elements and the phasing and matching networks will require some R&D to satisfy the frequency requirements (20 KHz-40 MHz). By flying the experiment in Earth orbit first, Dr. Green proposes to gather valuable magnetospheric data as well as to prove the principle of the large moon based experiment. He claims that funding for the preliminary ground based studies at the UFRO may be available as early as FY-92.

Lebo, George↗

Is the earth's magnetotail balloon unstable?

In the past, the onset of magnetospheric substorms has been attributed to the plasma tearing mode instabilities. This paper investigates the ideal MHD ballooning instability of the near-and middle-tail magnetosphere region, as a first step toward determining whether it could trigger the tearing mode, by using the energy principle to investigate whether standard 2D tail models with the 'hard' ionospheric boundary condition are unstable to ballooning instability. Numerical results are presented for compressible ballooning modes that are symmetric about the center of the current sheet. It is shown that, for such a hard boundary condition, no reasonable magnetotail configuration exists that would be unstable to compressible symmetric ballooning but stable against interchange.

Lee, D.-Y.↗

An adaptive grid/Navier-Stokes methodology for the calculation of nozzle afterbody base flows with a supersonic freestream

This paper describes an adaptive grid method for base flows in a supersonic freestream. The method is based on the direct finite-difference statement of the equidistribution principle. The weighting factor is a combination of the Mach number, density, and velocity first-derivative gradients in the radial direction. Two key ideas of the method are to smooth the weighting factor by using a type of implicit smoothing and to allow boundary points to move in the grid adaptation process. An AGARD nozzle afterbody base flow configuration is used to demonstrate the performance of the adaptive grid methodology. Computed base pressures are compared to experimental data. The adapted grid solutions offer a dramatic improvement in base pressure prediction compared to solutions computed on a nonadapted grid. A total-variation-diminishing (TVD) Navier-Stokes scheme is used to solve the governing flow equations.

Williams, Morgan↗

Foundational Human-Autonomy Teaming Research and Development in Scalable Remotely Operated Advanced Air Mobility Operations: Research Model and Initial Work

To achieve the scalability envisioned for many Advanced Air Mobility (AAM) applications, uncrewed aerial system (UAS) concepts are being pursued with the goal of enabling fewer human operators to manage more increasingly autonomous vehicles. NASA’s Transformational Tools and Technologies – Revolutionary Aviation Mobility (T3-RAM) subproject has identified human-autonomy teaming (HAT) as a critical area of research required to support these operations. Under T3-RAM, the HAT Foundational Research Activity has been tasked with providing basic research to identify HAT and human-automation interaction (HAI) principles that can be used to achieve scalable multi-vehicle UAS operations. This paper first outlines a research model to produce ecologically relevant basic research, then contextualizes completed and planned research and development activities within this model. Proposed research threads are presented, along with their practical and theoretical implications.

Human-Autonomy Teaming↗

Thirty-Ninth Annual Report of the National Advisory Committee for Aeronautics: Administrative Report Including Technical Reports Nos. 1111 to 1157

This is the fiftieth year since Wilbur and Orville Wright at Kitty Hawk N. C., made their powered flight. That airplane was a fragile and unsteady machine of no immediate utility. It flew for only a minute but it disclosed the solution of the age-old problem of human flight. The Wrights were the first in the history of man to fly. There was no one to teach them. They had to discover principles and to learn the art by cautious and methodical experimenting. From their own research they obtained the practical information needed to design their successful flying machine. The Wrights received no effective aid from the theoretical studies of flight made by the mathematicians of the nineteenth century. The science of aerodynamics was developed in response to the practical demands of aeronautics in the years to follow. In 1908, the Wrights demonstrated at Fort Myer, Va., a vastly improved flyer, the first military airplane. It carried a passenger and flew for more than an hour. Following this public demonstration, the development of the airplane was taken up vigorously. At first France and Germany took the lead, then Great Britain, but the United States lagged behind in the furthering of this greatest American development of the century. With war clouds in view in 1915, the Congress established the National Advisory Committee for Aeronautics to undertake the scientific study of the problems of fight with a view to their practical solution. President Wilson appointed the members of the first Committee, consisting of the heads of the military and civil agencies of the Government concerned with aeronautics and experts from private life.

Source record↗

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗

Formal Verification of Termination Criteria for​ First-Order Recursive Functions

This talk presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs.

Termination↗

Adaptation of Combustion Principles to Aircraft Propulsion: Basic Considerations in the Combustion of Hydrocarbon Fuels with Air - Volume I

The report summarizes source material on combustion for flight-propulsion engineers. First, several chapters review fundamental processes such as fuel-air mixture preparation, gas flow and mixing, flammability and ignition, flame propagation in both homogenous and heterogenous media, flame stabilization, combustion oscillations, and smoke and carbon formation. The practical significance and the relation of these processes to theory are presented. A second series of chapters describes the observed performance and design problems of engine combustors of the principal types. An attempt is made to interpret performance in terms of the fundamental processes and theories previously reviewed. Third, the design of high-speed combustion systems is discussed. Combustor design principles that can be established from basic considerations and from experience with actual combustors are described. Finally, future requirements for aircraft engine combustion systems are examined.

THEORIES - COMBUSTION↗

Location of a faulty module in a computing system

Considering the interplay between different phases of fault tolerance, a new problem of locating a faulty module in a computing system is formulated and solved. First, the probability of each module being faulty, or faulty probability, is calculated using the likelihood principle from the model parameters for fault detection, diagnostics, error propagation, and error detection. Then, based on the faulty probabilities and a given required diagnostic coverage, the order in which modules are to be diagnosed and the maximum time allotted to diagnose each module are determined by minimizing the average total diagnostic time. An example is presented and analyzed to answer the question of whether or not a system should delay the diagnosis upon detection of an error until more errors are detected.

Lin, Tein-Hsiang↗

Root damage analysis of aircraft engine blade subject to ice impact

The blade root response due to ice impact on an engine blade is simulated using the NASA in-house code BLASIM. The ice piece is modeled as an equivalent spherical object impacting on the leading edge of the blade and has the velocity opposite to that of the aircraft with direction parallel to the engine axis. The effect of ice impact is considered to be an impulse load on the blade with its amplitude computed based on the momentum transfer principle. The blade response due to the impact is carried out by modal superposition using the first three modes. The maximum dynamic stresses at the blade root are computed at the quarter cycle of the first natural frequency. A combined stress failure function based on modified distortion energy is used to study the spanwise bending damage response at the blade root. That damage function reaches maximum value for very low ice speeds and increases steeply with increases in engine speed.

Reddy, E. S.↗

In-Flight Thermal Performance of the Lidar In-Space Technology Experiment

The Lidar In-Space Technology Experiment (LITE) was developed at NASA s Langley Research Center to explore the applications of lidar operated from an orbital platform. As a technology demonstration experiment, LITE was developed to gain experience designing and building future operational orbiting lidar systems. Since LITE was the first lidar system to be flown in space, an important objective was to validate instrument design principles in such areas as thermal control, laser performance, instrument alignment and control, and autonomous operations. Thermal and structural analysis models of the instrument were developed during the design process to predict the behavior of the instrument during its mission. In order to validate those mathematical models, extensive engineering data was recorded during all phases of LITE's mission. This inflight engineering data was compared with preflight predictions and, when required, adjustments to the thermal and structural models were made to more accurately match the instrument s actual behavior. The results of this process for the thermal analysis and design of LITE are presented in this paper.

Roettker, William↗

Architecture Synthesis and Reduced-Cost Architectures for Human Exploration Missions

Development of architectures for human exploration missions has been pursued in the international aerospace community for a long time. This paper attempts a different approach and way of looking at architectures. Most of the emphasis is on lunar architectures with a brief look at Mars. The first step is to set forth overarching gods in order to understand origins of requirements. Then, principles and guidelines are developed for architecture formulation. It is argued that safety and cost are the primary factors. Alternative mission profiles are examined for adherence to the principles, and specific architectures formulated according to the guidelines. The guidelines themselves indicate preferred evolution paths from lunar to Mars architectures. Results of example calculations are given to illustrate the process, and an evolution path is recommended. Safety and cost criteria tend to conflict, but it is shown that cost-efficient architectures can be enhanced for good safety ratings at modest cost.

Woodcock, Gordon↗

Analysis of superconducting electromagnetic finite elements based on a magnetic vector potential variational principle

Electromagnetic finite elements are extended based on a variational principle that uses the electromagnetic four potential as primary variable. The variational principle is extended to include the ability to predict a nonlinear current distribution within a conductor. The extension of this theory is first done on a normal conductor and tested on two different problems. In both problems, the geometry remains the same, but the material properties are different. The geometry is that of a 1-D infinite wire. The first problem is merely a linear control case used to validate the new theory. The second problem is made up of linear conductors with varying conductivities. Both problems perform well and predict current densities that are accurate to within a few ten thousandths of a percent of the exact values. The fourth potential is then removed, leaving only the magnetic vector potential, and the variational principle is further extended to predict magnetic potentials, magnetic fields, the number of charge carriers, and the current densities within a superconductor. The new element produces good results for the mean magnetic field, the vector potential, and the number of superconducting charge carriers despite a relatively high system condition number. The element did not perform well in predicting the current density. Numerical problems inherent to this formulation are explored and possible remedies to produce better current predicting finite elements are presented.

Schuler, James J.↗

Comparison of a discrete steepest ascent method with the continuous steepest ascent method for optimal programing

A discrete steepest ascent method which allows controls which are not piecewise constant (for example, it allows all continuous piecewise linear controls) was derived for the solution of optimal programming problems. This method is based on the continuous steepest ascent method of Bryson and Denham and new concepts introduced by Kelley and Denham in their development of compatible adjoints for taking into account the effects of numerical integration. The method is a generalization of the algorithm suggested by Canon, Cullum, and Polak with the details of the gradient computation given. The discrete method was compared with the continuous method for an aerodynamics problem for which an analytic solution is given by Pontryagin's maximum principle, and numerical results are presented. The discrete method converges more rapidly than the continuous method at first, but then for some undetermined reason, loses its exponential convergence rate. A comparsion was also made for the algorithm of Canon, Cullum, and Polak using piecewise constant controls. This algorithm is very competitive with the continuous algorithm.

Childs, A. G.↗

Observations of the liquid/solid interface in low-gravity melting

Time-lapsed photography of the liquid/solid interface of a melting ice cylinder was taken on Skylab 3 over a period of three hours. The same experiment was simulated on earth such that morphological and thermodynamic differences could be noted. A study of the returned color film clearly shows the dominance of surface tension effects in low-gravity melting. In the Skylab experiment, the ends of the ice cylinder melted first with the water being driven by surface tension onto the cylindrical surfaces. At any time, the principle of minimum surface area governs the overall appearance of the water-ice globule which changed from a cylindrical to a spherical shape. The latent heat of melting in low-gravity is supplied only by radiation (81%) and conduction (19%); whereas in one-g, the convective (55%) and radiative (38%) mode of heat transfer dominates over the conductive portion (7%). Information is also provided on containerless melting and heat transfer in space in the absence of convective air currents.

Otto, G. H.↗

The signature of parallel electric fields in a collisionless plasma

The presence of a parallel electric field in the magnetosphere should be apparent through its effect on particles. An analysis is made of particle trajectories in phase space for a steady state collisionless plasma. The analysis utilizes the concepts of distribution function, total energy, and magnetic moment because all three quantities are conserved in a steady state situation in the absence of collisions. Two methods are presented for using particle data to gain information on the potential distribution. The first method involves the use of measurements of both ion and electron distribution functions and invokes the principle of quasi-neutrality. The second method involves the observation of discontinuities in velocity space which can be interpreted in terms of the effect of the electric field on the apparent loss or source cone.

Whipple, E. C., Jr.↗