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 487 records · Page 27

Computing Sensitivities in Evolutionary Systems: A Real-time Reduced Order Modeling Strategy

We present a new methodology for computing sensitivities in evolutionary systems using a model-driven low-rank approximation. To this end, we formulate a variational principle that seeks to minimize the distance between the time derivative of the reduced approximation and sensitivity dynamics. The first order optimality condition of the variational principle leads to a system of closed form evolution equations for an orthonormal basis and corresponding sensitivity coefficients. This approach allows for the computation of sensitivities with respect to a large number of parameters in an accurate and tractable manner by extracting correlations between different sensitivities on the fly. The presented method requires solving forward evolution equations, sidestepping the restrictions imposed by the forward/backward workflow of adjoint sensitivities. For example, the presented method, unlike the adjoint equation, does not impose any input/output load and can be used in applications in which real-time sensitivities are of interest. We demonstrate the utility of the method for three test cases: (1) computing sensitivity with respect to model parameters in the Rössler system, (2) computing sensitivity with respect to an infinite-dimensional forcing parameter in the chaotic Kuramoto--Sivashinsky equation, and (3) computing sensitivity with respect to reaction parameters for species transport in a turbulent reacting flow.

Reduced order model↗

Kinetics of template-directed pyrophosphate-linked dideoxyguanylate synthesis as a function of 2-MeImpdG and poly(C) concentration: insights into the mechanism

Aqueous solutions of deoxyguanosine 5'-monophosphate 2-methylimidazolide, 2-MeImpdG, yield primarily deoxyguanosine 5'-monophosphate, 5'dGMP, and pyrophosphate-linked dideoxyguanylate, dG5'ppdG, abbreviated G2p (see Chart 1). The initial rate of G2p formation, d[G2p]/dt in M h-1, determined at 23 degrees C, pH 7.8, 1.0 M NaCl and 0.2 M Mg2+ by timed high-performance liquid chromatography (HPLC) analysis, exhibits a second-order dependence on 2-MeImpdG concentration, [G]o, indicating a bimolecular mechanism of dimerization in the range 0.02 M < or = [G]o < or = 0.09 M. In the presence of polycytidylate, poly(C), G2p synthesis is accelerated and oligodeoxyguanylate products are formed by incorporation of 2-MeImpdG molecules. The kinetics of G2p formation as a function of both monomer and polymer concentration, expressed in C equivalents, were also determined under the above conditions and exhibited a complex behavior. Specifically, at a constant [poly(C)], values of d[G2p]/dt typically increased with [G]o with a parabolic upward curvature. At a constant [G]o, values of d[G2p]/dt increase with [poly(C)], but level off at the higher poly(C) concentrations. As [G]o increases this saturation occurs at a higher poly(C) concentration, a result opposite to expectation for a simple complexation of two reacting monomers with the catalyst prior to reaction. Nevertheless, these results are shown to be quantitatively consistent with a template-directed (TD) mechanism of dimerization where poly(C) acts as the template to bind 2-MeImpdG in a cooperative manner and lead, for the first time, to the formulation of principles that govern template-directed chemistry. Analysis of the kinetic data via a proposed TD cooperative model provides association constants for the affinity between polymer and monomer and the intrinsic reactivity of 2-MeImpdG toward pyrophosphate synthesis. To the best of our knowledge, poly(C)/2-MeImpdG is the first system that could serve as a textbook example of a TD reaction under conditions such that the template is fully saturated by monomers and under conditions that it is not.

NASA Discipline Exobiology↗

Cooperation Among Theorem Provers

In many years of research, a number of powerful theorem-proving systems have arisen with differing capabilities and strengths. Resolution theorem provers (such as Kestrel's KITP or SRI's SNARK) deal with first-order logic with equality but not the principle of mathematical induction. The Boyer-Moore theorem prover excels at proof by induction but cannot deal with full first-order logic. Both are highly automated but cannot accept user guidance easily. The purpose of this project, and the companion project at Kestrel, has been to use the category-theoretic notion of logic morphism to combine systems with different logics and languages.

Waldinger, Richard J.↗

Cooperation Among Theorem Provers

This is a final report, which supports NASA's PECSEE (Persistent Cognizant Software Engineering Environment) effort and complements the Kestrel Institute project "Inference System Integration via Logic Morphism". The ultimate purpose of the project is to develop a superior logical inference mechanism by combining the diverse abilities of multiple cooperating theorem provers. In many years of research, a number of powerful theorem-proving systems have arisen with differing capabilities and strengths. Resolution theorem provers (such as Kestrel's KITP or SRI's, SNARK) deal with first-order logic with equality but not the principle of mathematical induction. The Boyer-Moore theorem prover excels at proof by induction but cannot deal with full first-order logic. Both are highly automated but cannot accept user guidance easily. The PVS system (from SRI) in only automatic within decidable theories, but it has well-designed interactive capabilities: furthermore, it includes higher-order logic, not just first-order logic. The NuPRL system from Cornell University and the STeP system from Stanford University have facilities for constructive logic and temporal logic, respectively - both are interactive. It is often suggested - for example, in the anonymous "QED Manifesto"-that we should pool the resources of all these theorem provers into a single system, so that the strengths of one can compensate for the weaknesses of others, and so that effort will not be duplicated. However, there is no straightforward way of doing this, because each system relies on its own language and logic for its success. Thus. SNARK uses ordinary first-order logic with equality, PVS uses higher-order logic. and NuPRL uses constructive logic. The purpose of this project, and the companion project at Kestrel, has been to use the category-theoretic notion of logic morphism to combine systems with different logics and languages. Kestrel's SPECWARE system has been the vehicle for the implementation.

Waldinger, Richard J.↗

Suppression of Marangoni Convection in Float Zones

The basic purpose of this program is to demonstrate by means of an Earth-based 1-g experiment that the undesirable Marangoni (surface tension) convection can be suppressed or significantly reduced by means of gas jets directed tangentially to the free surface of the liquid in a float zone. These jets will establish the tangential shear stress field over the surface which must be adjusted to equal the counter-stress resultant of the Marangoni shear stress which causes the convection. For proposed materials processing in space (o-g), particularly of important, highly reactive semiconductor materials, e.g., silicon, microgravity will virtually eliminate the unwanted thermal-buoyancy convection in the liquid silicon, but will have no effect in reducing the Marangoni convection. Unless this can be sufficiently suppressed by other means, there may be no significant advantages to the proposed space processing of reactive semiconductors. Although some inert gas such as argon must be used for the corrosive liquid silicon, the Earth-based experiment uses air jets and various transparent oils, since the basic principle involved is the same. The first float zone is enclosed in a very small rectangular box with a quasi-planar free surface. Stable Marangoni convection has been achieved and velocities measured photographically. The air jet system with variable velocity and temperature is under construction. Three independent parameters must be optimized to attain maximum suppression: the gas velocity, angle of attack, and gas temperature.

Dressler, R. F.↗

Nondestructive evaluation of composites by optical time domain reflectometry

Results in the measurement of slowly varying mechanical loading functions on composites using optical time domain reflectometry (OTDR) in imbedded optical fiber during both simulated manufacture and use are reviewed. First, the basic theoretical and experimental principles of the OTDR system are described. Next, the mechanical system of the composite and the imbedded fiber is analyzed. Results of measurement obtained for various loading functions applied to material specimens are then described and system limitations on spatial resolution, strain amplitude sensitivity, and frequency response are explained in terms of the range and resolution limits of the OTDR system.

Claus, R. O.↗

IRAS and ground-based observations of star formation regions in the Magellanic clouds

The Infrared Astronomy Satellite (IRAS) detected several hundred individual regions of star formation in the Large and Small Magellanic Clouds. Nearly two dozen of the brightest such sources were searched for from the ground at 10 microns; most of these were located and measured at wavelengths from 0.6 to 20 microns. Three principle results emerge from this study: First, the IRAS data show that star formation is considerably less active in the SMC than in the LMC, relative either to mass, luminosity, or H I content. The reduced activity in the SMC is consistent with the smaller amount of molecular material inferred from CO observations. Second, the sizes of the objects range from less than a few arcsecs (objects which look like extremely compact HII regions, with little or no extended radio, optical, or infrared emission) to some tens of arcsecs across (giant HII regions, of which the largest and brightest is 30 Doradus). Third, there are no obvious differences in the characteristics of the central portions of the LMC and SMC sources; all look like Galactic H II regions of similar luminosity.

Elias, Jonathan H.↗

A hazard control system for robot manipulators

A robot for space applications will be required to complete a variety of tasks in an uncertain, harsh environment. This fact presents unusual and highly difficult challenges to ensuring the safety of astronauts and keeping the equipment they depend on from becoming damaged. The systematic approach being taken to control hazards that could result from introducing robotics technology in the space environment is described. First, system safety management and engineering principles, techniques, and requirements are discussed as they relate to Shuttle payload design and operation in general. The concepts of hazard, hazard category, and hazard control, as defined by the Shuttle payload safety requirements, is explained. Next, it is shown how these general safety management and engineering principles are being implemented on an actual project. An example is presented of a hazard control system for controlling one of the hazards identified for the Development Test Flight (DTF-1) of NASA's Flight Telerobotic Servicer, a teleoperated space robot. How these schemes can be applied to terrestrial robots is discussed as well. The same software monitoring and control approach will insure the safe operation of a slave manipulator under teleoperated or autonomous control in undersea, nuclear, or manufacturing applications where the manipulator is working in the vicinity of humans or critical hardware.

Carter, Ruth Chiang↗

Calculation of tubular radiators of the automobile type

We propose to show how to calculate the cooling capacity of all radiators through which the air flows in separate treamlets, whether enclosed in actual tubes or not and whatever cross-sectional shape the tubes may have. The first part will give the fundamental principles for calculating velocity of air in the tubes and the heat exchange by radiation, conduction and convection, and show, by examples, the agreement of the calculation with experiments. In the second part, the effect of the dimensions and conditions of operation on the heat exchange will be systematically investigated.

RADIATORS - DESIGN↗

Interaction of two glancing, crossing shock waves with a turbulent boundary-layer at various Mach numbers

A preliminary experimental investigation was conducted to study two crossing, glancing shock waves of equal strengths, interacting with the boundary-layer developed on a supersonic wind tunnel wall. This study was performed at several Mach numbers between 2.5 and 4.0. The shock waves were created by fins (shock generators), spanning the tunnel test section, that were set at angles varying from 4 to 12 degrees. The data acquired are wall static pressure measurements, and qualitative information in the form of oil flow and schlieren visualizations. The principle aim is two-fold. First, a fundamental understanding of the physics underlying this flow phenomena is desired. Also, a comprehensive data set is needed for computational fluid dynamic code validation. Results indicate that for small shock generator angles, the boundary-layer remains attached throughout the flow field. However, with increasing shock strengths (increasing generator angles), boundary layer separation does occur and becomes progressively more severe as the generator angles are increased further. The location of the separation, which starts well downstream of the shock crossing point, moves upstream as shock strengths are increased. At the highest generator angles, the separation appears to begin coincident with the generator leading edges and engulfs most of the area between the generators. This phenomena occurs very near the 'unstart' limit for the generators. The wall pressures at the lower generator angles are nominally consistent with the flow geometries (i.e. shock patterns) although significantly affected by the boundary-layer upstream influence. As separation occurs, the wall pressures exhibit a gradient that is mainly axial in direction in the vicinity of the separation. At the limiting conditions the wall pressure gradients are primarily in the axial direction throughout.

Hingst, Warren R.↗

Real-time Java for flight applications: an update

The RTSJ is a specification for supporting real-time execution in the Java programming language. The specification has been shaped by several guiding principles, particularly: predictable execution as the first priority in all tradeoffs, no syntactic extensions to Java, and backward compatibility.

RTSJ Java↗

TPSAS-NF1676L-34528-DND

Since 2006, the Cloud-Aerosol Lidar with Orthogonal Polarization (CALIOP), aboard the Cloud-Aerosol Lidar and Infrared Pathfinder Satellite Observations (CALIPSO) satellite, has provided a unique vertical perspective of Earth's atmosphere. These measurements have furthered our understanding of the role aerosols and clouds play in the climate system and have been leveraged for atmospheric modeling and air quality studies. In this seminar, the basics of LIDAR remote sensing will first be presented, including its operating principles, setup and geometry, the LIDAR equation, and different LIDAR types and techniques. Next, an overview of the LIDAR systems at NASA Langley Research Center will be provided, with an emphasis on the CALIPSO satellite mission, including available data products and examples of browse images. Lastly, several CALIPSO-based science applications and research projects will be discussed, including cloud contamination in passive satellite aerosol retrievals, aerosol detection limits, trends in aerosol vertical distribution, and air quality (PM2.5 concentrations).

Travis Toth↗

Accounting for Herbaceous Communities in Process-Based Models Will Advance Our Understanding of “Grassy” Ecosystems

Grassland and other herbaceous communities cover significant portions of Earth's terrestrial surface and provide many critical services, such as carbon sequestration, wildlife habitat, and food production. Forecasts of global change impacts on these services will require predictive tools, such as process-based dynamic vegetation models. Yet, model representation of herbaceous communities and ecosystems lags substantially behind that of tree communities and forests. The limited representation of herbaceous communities within models arises from two important knowledge gaps: first, our empirical understanding of the principles governing herbaceous vegetation dynamics is either incomplete or does not provide mechanistic information necessary to drive herbaceous community processes with models; second, current model structure and parameterization of grass and other herbaceous plant functional types limits the ability of models to predict outcomes of competition and growth for herbaceous vegetation. In this review, we provide direction for addressing these gaps by: (1) presenting a brief history of how vegetation dynamics have been developed and incorporated into earth system models, (2) reporting on a model simulation activity to evaluate current model capability to represent herbaceous vegetation dynamics and ecosystem function, and (3) detailing several ecological properties and phenomena that should be a focus for both empiricists and modelers to improve representation of herbaceous vegetation in models. Together, empiricists and modelers can improve representation of herbaceous ecosystem processes within models. In so doing, we will greatly enhance our ability to forecast future states of the earth system, which is of high importance given the rapid rate of environmental change on our planet.

biogeochemistry↗

Lift-fan aircraft: Lessons learned-the pilot's perspective

This paper is written from an engineering test pilot's point of view. Its purpose is to present lift-fan 'lessons learned' from the perspective of first-hand experience accumulated during the period 1962 through 1988 while flight testing vertical/short take-off and landing (V/STOL) experimental aircraft and evaluating piloted engineering simulations of promising V/STOL concepts. Specifically, the scope of the discussions to follow is primarily based upon a critical review of the writer's personal accounts of 30 hours of XV-5A/B and 2 hours of X-14A flight testing as well as a limited simulator evaluation of the Grumman Design 755 lift-fan aircraft. Opinions of other test pilots who flew these aircraft and the aircraft simulator are also included and supplement the writer's comments. Furthermore, the lessons learned are presented from the perspective of the writer's flying experience: 10,000 hours in 100 fixed- and rotary-wing aircraft including 330 hours in 5 experimental V/STOL research aircraft. The paper is organized to present to the reader a clear picture of lift-fan lessons learned from three distinct points of view in order to facilitate application of the lesson principles to future designs. Lessons learned are first discussed with respect to case histories of specific flight and simulator investigations. These principles are then organized and restated with respect to four selected design criteria categories in Appendix I. Lastly, Appendix Il is a discussion of the design of a hypothetical supersonic short take-off vertical landing (STOVL) fighter/attack aircraft.

Gerdes, Ronald M.↗

Electrooptical model of the first retina layers of a visual analyzer

An electrooptical principle of converting and transmitting optical signals is proposed and used as the basis for constructing a model of the upper layers of the retina of the visual analyzer of animals. An evaluation of multichannel fibrous optical systems, in which the conversion of optical signals is based on the electrooptical principle, to model the upper retina layers is presented. The symbolic circuit of the model and its algorithm are discussed.

Chibalashvili, Y. L.↗

Complex eigenvalues for the stability of Couette flow

The eigenvalue problem for the linear stability of Couette flow between rotating concentric cylinders to axisymmetric disturbances is considered. It is shown by numerical calculations and by formal perturbation methods that when the outer cylinder is at rest there exist complex eigenvalues corresponding to oscillatory damped disturbances. The structure of the first few eigenvalues in the spectrum is discussed. The results do not contradict the principle of exchange of stabilities, namely, for a fixed axial wavenumber the first mode to become unstable as the speed of the inner cylinder is increased is nonoscillatory as the stability boundary is crossed.

Diprima, R. C.↗

New Horizons Regional Education Center 1999 FIRST Robotics Competition

The New Horizons Regional Education Center (NHREC) in Hampton, VA sought and received NASA funding to support its participation in the 1999 FIRST Robotics competition. FIRST, Inc. (For Inspiration and Recognition of Science and Technology) is an organization which encourages the application of creative science, math, and computer science principles to solve real-world engineering problems. The FIRST competition is an international engineering contest featuring high school, government, and business partnerships.

Purman, Richard I.↗

2000 FIRST Robotics Competition

The New Horizons Regional Education Center (NHREC) in Hampton, VA sought and received NASA funding to support its participation in the 2000 FIRST Robotics competition. FIRST, Inc. (For Inspiration and Recognition of Science and Technology) is an organization which encourages the application of creative science, math, and computer science principles to solve real-world engineering problems. The FIRST competition is an international engineering contest featuring high school, government, and business partnerships.

Purman, Richard↗