Engineering Papers⌕ Search

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.

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

At least 1,135 records · Page 63

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.↗

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.↗

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↗

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↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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↗

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.↗

A crew-centered flight deck design philosophy for High-Speed Civil Transport (HSCT) aircraft

Past flight deck design practices used within the U.S. commercial transport aircraft industry have been highly successful in producing safe and efficient aircraft. However, recent advances in automation have changed the way pilots operate aircraft, and these changes make it necessary to reconsider overall flight deck design. The High Speed Civil Transport (HSCT) mission will likely add new information requirements, such as those for sonic boom management and supersonic/subsonic speed management. Consequently, whether one is concerned with the design of the HSCT, or a next generation subsonic aircraft that will include technological leaps in automated systems, basic issues in human usability of complex systems will be magnified. These concerns must be addressed, in part, with an explicit, written design philosophy focusing on human performance and systems operability in the context of the overall flight crew/flight deck system (i.e., a crew-centered philosophy). This document provides such a philosophy, expressed as a set of guiding design principles, and accompanied by information that will help focus attention on flight crew issues earlier and iteratively within the design process. This document is part 1 of a two-part set.

Palmer, Michael T.↗

Stability of Capillary Surfaces in Rectangular Containers: The Right Square Cylinder

The linearized governing equations for an ideal fluid are presented for numerical analysis for the stability of free capillary surfaces in rectangular containers against unfavorable disturbances (accelerations,i.e. Rayleigh-Taylor instability). The equations are solved for the case of the right square cylinder. The results are expressed graphically in term of a critical Bond number as a function of system contact angle. A critical wetting phenomena in the corners is shown to significantly alter the region of stability for such containers in contrast to simpler geometries such as the right circular cylinder or the infinite rectangular slot. Such computational results provide additional constraints for the design of fluids systems for space-based applications.

Weislogel, M. M.↗

Number Partitioning via Quantum Adiabatic Computation

We study both analytically and numerically the complexity of the adiabatic quantum evolution algorithm applied to random instances of combinatorial optimization problems. We use as an example the NP-complete set partition problem and obtain an asymptotic expression for the minimal gap separating the ground and exited states of a system during the execution of the algorithm. We show that for computationally hard problem instances the size of the minimal gap scales exponentially with the problem size. This result is in qualitative agreement with the direct numerical simulation of the algorithm for small instances of the set partition problem. We describe the statistical properties of the optimization problem that are responsible for the exponential behavior of the algorithm.

Smelyanskiy, Vadim N.↗

An analysis of particle track effects on solid mammalian tissues

Relative biological effectiveness (RBE) and quality factor (Q) at extreme values of linear energy transfer (LET) have been determined on the basis of experiments with single-cell systems and specific tissue responses. In typical single-cell systems, each heavy particle (Ar or Fe) passes through a single cell or no cell. In experiments on animal tissues, however, each heavy particle passes through several cells, and the LET can exceed 200 keV micrometers-1 in every cell. In most laboratory animal tissue systems, however, only a small portion of the hit cells are capable of expressing the end-point being measured, such as cell killing, mutation or carcinogenesis. The following question was therefore addressed: do RBEs and Q factors derived from single-cell experiments properly account for the damage at high LET when multiple cells are hit by HZE tracks? A review is offered in which measured radiation effects and known tissue properties are combined to estimate on the one hand, the number of cells at risk, p3n, per track, where n is the number of cells per track based on tissue and organ geometry, and p3 is the probability that a cell in the track is capable of expressing the experimental end-point. On the other hand, the tissue and single-cell responses are compared by determining the ratio RBE in tissue/RBE in corresponding single cells. Experimental data from the literature indicate that tissue RBEs at very high LET (Fe and Ar ions) are higher than corresponding single-cell RBEs, especially in tissues in which p3n is high.

Non-NASA Center↗

Grid Enabled Geospatial Catalogue Web Service

Geospatial Catalogue Web Service is a vital service for sharing and interoperating volumes of distributed heterogeneous geospatial resources, such as data, services, applications, and their replicas over the web. Based on the Grid technology and the Open Geospatial Consortium (0GC) s Catalogue Service - Web Information Model, this paper proposes a new information model for Geospatial Catalogue Web Service, named as GCWS which can securely provides Grid-based publishing, managing and querying geospatial data and services, and the transparent access to the replica data and related services under the Grid environment. This information model integrates the information model of the Grid Replica Location Service (RLS)/Monitoring & Discovery Service (MDS) with the information model of OGC Catalogue Service (CSW), and refers to the geospatial data metadata standards from IS0 19115, FGDC and NASA EOS Core System and service metadata standards from IS0 191 19 to extend itself for expressing geospatial resources. Using GCWS, any valid geospatial user, who belongs to an authorized Virtual Organization (VO), can securely publish and manage geospatial resources, especially query on-demand data in the virtual community and get back it through the data-related services which provide functions such as subsetting, reformatting, reprojection etc. This work facilitates the geospatial resources sharing and interoperating under the Grid environment, and implements geospatial resources Grid enabled and Grid technologies geospatial enabled. It 2!so makes researcher to focus on science, 2nd not cn issues with computing ability, data locztic~, processir,g and management. GCWS also is a key component for workflow-based virtual geospatial data producing.

Chen, Ai-Jun↗

Reusable, Extensible High-Level Data-Distribution Concept

A framework for high-level specification of data distributions in data-parallel application programs has been conceived. [As used here, distributions signifies means to express locality (more specifically, locations of specified pieces of data) in a computing system composed of many processor and memory components connected by a network.] Inasmuch as distributions exert a great effect on the performances of application programs, it is important that a distribution strategy be flexible, so that distributions can be adapted to the requirements of those programs. At the same time, for the sake of productivity in programming and execution, it is desirable that users be shielded from such error-prone, tedious details as those of communication and synchronization. As desired, the present framework enables a user to refine a distribution type and adjust it to optimize the performance of an application program and conceals, from the user, the low-level details of communication and synchronization. The framework provides for a reusable, extensible, data-distribution design, denoted the design pattern, that is independent of a concrete implementation. The design pattern abstracts over coding patterns that have been found to be commonly encountered in both manually and automatically generated distributed parallel programs. The following description of the present framework is necessarily oversimplified to fit within the space available for this article. Distributions are among the elements of a conceptual data-distribution machinery, some of the other elements being denoted domains, index sets, and data collections (see figure). Associated with each domain is one index set and one distribution. A distribution class interface (where "class" is used in the object-oriented-programming sense) includes operations that enable specification of the mapping of an index to a unit of locality. Thus, "Map(Index)" specifies a unit, while "LocalLayout(Index)" specifies the local address within that unit. The distribution class can be extended to enable specification of commonly used distributions or novel user-defined distributions. A data collection can be defined over a domain. The term "data collection" in this context signifies, more specifically, an abstraction of mappings from index sets to variables. Since the index set is distributed, the addresses of the variables are also distributed.

James, Mark↗