SEARCH · Engineering Papers

Results for “Expression systems”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 739 records · Page 41

All sources NASA NTRS DOE OSTI

NASA NTRS1973

Mapping of the major structures of the African rift system

The author has identified the following significant results. ERTS-1 imagery of the African rift system has already proved of great value in structural geological studies. One of the interesting megastructures expressed on the imagery occurs some 40 km east of the eastern margin of the main Ethiopian rift, in Arussi province, and extending between latitude 71/2 and 81/4 deg N. The Badda-Encuolo ridge proves to have been a line of major Tertiary volcanism and probably supplied the thick Trap Series flood basalt sequence exposed farther east in the canyons of the Webi Shebeli drainage system. The ridge itself was built up by the waning activity of the Sagatu line of volcanism. Serendipitious has been the discovery on Mt. Badda of several deeply glaciated valleys, many of which show clearly on the ERTS-1 imagery. It seems that Mt. Badda was one of the most important glacial centers in eastern Africa during the Pleistocene. Three major late-Tertiary trachytic centers lie between the Badda-Encuolo ridge and the rift valley. The relationships of these three volcanoes to each other and to the rift faulting is revealed for the first time by the ERTS-1 imagery, as is the form of the cladera of Baltata and the crater of Chilalo.

Mohr, P. A.↗

NASA NTRS2012

HyDE Framework for Stochastic and Hybrid Model-Based Diagnosis

Hybrid Diagnosis Engine (HyDE) is a general framework for stochastic and hybrid model-based diagnosis that offers flexibility to the diagnosis application designer. The HyDE architecture supports the use of multiple modeling paradigms at the component and system level. Several alternative algorithms are available for the various steps in diagnostic reasoning. This approach is extensible, with support for the addition of new modeling paradigms as well as diagnostic reasoning algorithms for existing or new modeling paradigms. HyDE is a general framework for stochastic hybrid model-based diagnosis of discrete faults; that is, spontaneous changes in operating modes of components. HyDE combines ideas from consistency-based and stochastic approaches to model- based diagnosis using discrete and continuous models to create a flexible and extensible architecture for stochastic and hybrid diagnosis. HyDE supports the use of multiple paradigms and is extensible to support new paradigms. HyDE generates candidate diagnoses and checks them for consistency with the observations. It uses hybrid models built by the users and sensor data from the system to deduce the state of the system over time, including changes in state indicative of faults. At each time step when observations are available, HyDE checks each existing candidate for continued consistency with the new observations. If the candidate is consistent, it continues to remain in the candidate set. If it is not consistent, then the information about the inconsistency is used to generate successor candidates while discarding the candidate that was inconsistent. The models used by HyDE are similar to simulation models. They describe the expected behavior of the system under nominal and fault conditions. The model can be constructed in modular and hierarchical fashion by building component/subsystem models (which may themselves contain component/ subsystem models) and linking them through shared variables/parameters. The component model is expressed as operating modes of the component and conditions for transitions between these various modes. Faults are modeled as transitions whose conditions for transitions are unknown (and have to be inferred through the reasoning process). Finally, the behavior of the components is expressed as a set of variables/ parameters and relations governing the interaction between the variables. The hybrid nature of the systems being modeled is captured by a combination of the above transitional model and behavioral model. Stochasticity is captured as probabilities associated with transitions (indicating the likelihood of that transition being taken), as well as noise on the sensed variables.

Narasimhan, Sriram↗

NASA NTRS1992

Semiclassical matrix elements from periodic orbits

An extension of Gutzwiller's (1967, 1969, 1970, 1971, 1990) semiclassical theory for chaotic systems that allows a determination of matrix elements in terms of classical periodic orbits. Associated zeta functions are derived. The semiclassical predictions are found to be in good agreement with Fourier transforms of quantum spectra of hydrogen in a magnetic field. Expressions for off-diagonal matrix elements are derived that are extensions of the Bohr correspondence relations for integrable systems.

Eckhardt, B.↗

NASA NTRS1977

Thermal radiation analysis system (TRASYS 2), programmer's manual

TRASYS, the Thermal Radiation Analysis System, is a digital computer software system with a generalized capability to solve the radiation-related aspects of thermal analysis problems. When used in conjunction with a generalized thermal analysis program such as the Systems Improved Numerical Differencing Analyzer (SINDA) program, any thermal problem that can be expressed in terms of a lumped parameter, radiation conductor thermal network can be solved. The function of TRASYS is twofold. It provides: 1) Internode radiation interchange data; 2) Incident and absorbed heat rate data from environmental radiant heat sources. Data of both types are provided in a format directly usable by the thermal analyzer programs.

Connor, R. J.↗

NASA NTRS1980

Unimolecular decomposition reactions at low-pressure: A comparison of competitive methods

The lack of a simple rate coefficient expression to describe the pressure and temperature dependence hampers chemical modeling of flame systems. Recently developed simplified models to describe unimolecular processes include the calculation of rate constants for thermal unimolecular reactions and recombinations at the low pressure limit, at the high pressure limit and in the intermediate fall-off region. Comparison between two different applications of Troe's simplified model and a comparison between the simplified model and the classic RRKM theory are described.

Adams, G. F.↗

NASA NTRS1983

AIDDE the Ames Interactive Dynamic Display Editor

This paper describes the design and development of the Ames Interactive Dynamic Display Editor language (AIDDE). AIDDE and its associated tools are a software system that facilitates the interactive creation and use of real-time displays. For the present purposes, real-time displays are pictures on a CRT that change over time to reflect the state of a system. A graphics tree describes a display. Display dynamics are specified by attaching expressions to the tree. Offline, AIDDE is used to draw displays, define display dynamics, and generate host computer source code and a representation of the tree convenient for use in a graphics device. At run time, the compiled host code passes the results of the expressions to a graphics device to modify the tree. The graphics processor repeatedly traverses the tree to draw a changing display on the CRT. Several real-time displays have been implemented using AIDDE with good results.

Globus, A.↗

NASA NTRS1985

New results on the PLL false lock phenomenon

Conditions, based on the multipliers of a linear differential equation with periodic coefficients, for the occurrence of false lock in a phase lock loop (PLL) are presented. Two new and powerful algorithms are presented for computing the frequency difference between the reference and voltage controlled oscillator when the loop is false locked. The first algorithm expresses omega f sup -1 as a power series in the closed loop gain. The second algorithm expresses omega sup -1 as part of a solution to a nonlinear algebraic system of equations which can be solved by numerical methods. The power of both algorithms is illustrated by application and comparison.

Stensby, J. L.↗

NASA NTRS1986

An approximate buckling analysis for rectangular orthotropic plates with centrally located cutouts

An approximate analysis for predicting buckling of rectangular orthotropic composite plates with centrally located cutouts is presented. In this analysis, prebuckling and buckling problems are converted from a two-dimensional to a one-dimensional system of linear differential equations with variable coefficients. The conversion is accomplished by expressing the displacements as series with each element containing a trigonometric function of one coordinate and a coefficient that is an arbitrary function of the other coordinate. Ordinary differential equations are then obtained from a variational principle. Analytical results obtained from the approximate analysis are compared with finite element analyses for isotropic plates and for specially orthotropic plates with central circular cutouts of various sizes. Experimental results for the specially orthotropic plates are also presented. In nearly all cases, the approximate analysis predicts the buckling mode shapes correctly and predicts the buckling loads to within a few percent of the finite element and experimental results.

Nemeth, M. P.↗

NASA NTRS1987

Optimization of the computational load of a hypercube supercomputer onboard a mobile robot

A combinatorial optimization methodology is developed, which enables the efficient use of hypercube multiprocessors onboard mobile intelligent robots dedicated to time-critical missions. The methodology is implemented in terms of large-scale concurrent algorithms based either on fast simulated annealing, or on nonlinear asynchronous neural networks. In particular, analytic expressions are given for the effect of single-neuron perturbations on the systems' configuration energy. Compact neuromorphic data structures are used to model effects such as precedence constraints, processor idling times, and task-schedule overlaps. Results for a typical robot-dynamics benchmark are presented.

Barhen, Jacob↗

NASA NTRS1992

Repository-based software engineering program: Concept document

This document provides the context for Repository-Based Software Engineering's (RBSE's) evolving functional and operational product requirements, and it is the parent document for development of detailed technical and management plans. When furnished, requirements documents will serve as the governing RBSE product specification. The RBSE Program Management Plan will define resources, schedules, and technical and organizational approaches to fulfilling the goals and objectives of this concept. The purpose of this document is to provide a concise overview of RBSE, describe the rationale for the RBSE Program, and define a clear, common vision for RBSE team members and customers. The document also provides the foundation for developing RBSE user and system requirements and a corresponding Program Management Plan. The concept is used to express the program mission to RBSE users and managers and to provide an exhibit for community review.

Source record↗

NASA NTRS1991

A multicomputer simulation of the Galileo spacecraft command and data subsystem

A detailed simulation of the command and data subsystem of the Galileo spacecraft on a distributed memory multicomputer is described. The simulation is based on an ensemble of Inmos Transputers for simulating, to the bit level, the execution of instruction sequences for the six RCA 1802 microcomputers and the intricate bus traffic between them and other components of the spacecraft. Expressions were developed to estimate the performance of the simulator on a distributed system given the processor clock speed, memory access time, and communication characteristics.

Zipse, John E.↗

NASA NTRS1992

Scattering from arbitrarily shaped microstrip patch antennas

The scattering properties of arbitrarily shaped microstrip patch antennas are examined. The electric field integral equation for a current element on a grounded dielectric slab is developed for a rectangular geometry based on Galerkin's technique with subdomain rooftop basis functions. A shape function is introduced that allows a rectangular grid approximation to the arbitrarily shaped patch. The incident field on the patch is expressed as a function of incidence angle theta(i), phi(i). The resulting system of equations is then solved for the unknown current modes on the patch, and the electromagnetic scattering is calculated for a given angle. Comparisons are made with other calculated results as well as with measurements.

Shively, David G.↗

NASA NTRS1993

Phase-space quantum mechanics study of two identical particles in an external oscillatory potential

This simple example is used to show how the formalism of Moyal works when it is applied to systems of identical particles. The symmetric and antisymmetric Moyal propagators are evaluated for this case; from them, the correct energy levels of energy are obtained, as well as the Wigner functions for the symmetric and antisymmetric states of the two identical particle system. Finally, the solution of the Bloch equation is straightforwardly obtained from the expressions of the Moyal propagators.

Nieto, Luis M.↗

NASA NTRS1993

Mass spectra of the particle-antiparticle system with a Dirac oscillator interaction

The present view about the structure of mesons is that they are a quark-antiquark system. The mass spectrum corresponding to this system should, in principle, be given by chromodynamics, but this turns out to be a complex affair. Thus it is of some interest to consider relativistic systems of particle-antiparticle, with a simple type of interaction, which could give some insight on the spectra we can expect for mesons. This analysis is carried out when the interaction is of the Dirac oscillator type. It is shown that the Dirac equation of the antiparticle can be obtained from that of the particle by just changing the frequency omega into -omega. Following a procedure suggested by Barut, the equation for the particle-antiparticle system is derived and it is solved by a perturbation procedure. Thus, explicit expressions for the square of the mass spectra are obtained and its implications in the meson case is discussed.

Moshinsky, M.↗

NASA NTRS1991

Applications of laser ranging to ocean, ice, and land topography

The current status and some future applications of satellite laser ranging (SLR) are briefly reviewed. The demonstrated subcentimeter precision of ground-based SLR systems is attracting new users, particularly, in the area of high-resolution ocean, ice, and land topography. Future airborne or spaceborne SLR system will not only provide topographic data with a horizontal and vertical resolution never achieved previously, but, in addition, ground-based SLR systems, via precise tracking of spaceborne microwave and laser altimeters, will permit the expression of the topographic surface in a common geocentric reference frame.

Degnan, John J.↗

NASA NTRS1993

On-line upgrade of program modules using AdaPT

One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT, a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g. upgrading, software modules while the software system remains in operation. The AdaPT language extensions provide a good basis for this investigation for several reasons: they include the concept of specific, self-contained program modules which can be manipulated; support for program configuration is included in the language; and although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 and Ada 9X systems. The purpose of this investigation is to explore the basic mechanisms of the replacement process. With this purpose in mind, we will avoid including issues whose presence would obscure these basic mechanisms by introducing additional, unrelated concerns. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. A previous report established an overview of the module replacement problem, a taxonomy of the various aspects of the replacement process, and a solution to one case in the replacement taxonomy. This report provides solutions to additional cases in the replacement process taxonomy: replacement of partitions with state and replacement of nodes. The solutions presented here establish the basic principles for module replacement. Extension of these solutions to other more complicated cases in the replacement taxonomy is direct, though requiring substantial work beyond the available funding.

Waldrop, Raymond S.↗

NASA NTRS1994

Numerical formulation of composition segregation at curved solid-liquid interface during steady state solidification process

The lateral solute segregation that results from a curved solid-liquid interface shape during steady state unidirectional solidification of a binary alloy system has been studied both analytically and numerically by Coriell, Bosivert, Rehm, and Sekerka. The system under their study is a two dimensional rectangular system. However, most real growth systems are cylindrical systems. Thus, in a previous study, we have followed Coriell etc. formalism and obtained analytical results for lateral solute segregation for an azimuthal symmetric cylindrical binary melt system during steady state solidification process. The solid-liquid interface shape is expressed as a series combination of Bessel functions. In this study a computer program has been developed to simulate the lateral solute segregation.

Wang, Jai-Ching↗

NASA NTRS1993

FNAS phase partitions

Project NAS8-36955 D.O. #100 initially involved the following tasks: (1) evaluation of various coatings' ability to control wall wetting and surface zeta potential expression; (2) testing various methods to mix and control the demixing of phase systems; and (3) videomicroscopic investigation of cell partition. Three complementary areas were identified for modification and extension of the original contract. They were: (1) identification of new supports for column cell partition; (2) electrokinetic detection of protein adsorption; and (3) emulsion studies related to bioseparations.

Vanalstine, James M.↗