Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “basis sets”

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,009 records · Page 56
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

RNS Applications for Interacting Sub- and Supersonic Flows

A solution based grid adaptation method that combines elements of the multigrid method for solution acceleration and the domain decomposition philosophy for grid optimization is described. Unlike other solution based adaptive gridding schemes, wherein the overhead of recomputing the grid and re-evaluating the solution on the adapted grid leads to higher computational costs compared to a non-adapted calculation, the present methodology reduces the computational time required to obtain the solution. The computational effort involved in the present calculation is significantly lower than a non-adapted calculation that utilizes the multigrid method purely as a convergence acceleration tool. In addition to convergence acceleration, the multigrid framework provides a mechanism of information transfer from regions wherein grid refinement is specified to unrefined coarse grid regions. The basis for domain decomposition in the current procedure is the variation in grid refinement requirements for each coordinate direction in different portions of the flow field. The method is demonstrated herein on an efficient set of governing equations termed the reduced Navier Stokes equations, applied in conjunction with a set of physical boundary conditions. The governing equations are discretized through a pressure based flux splitting procedure that is uniformly applicable from incompressible to supersonic Mach numbers.

Rubin, Stanley G.↗
NASA NTRS2004

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Towards an Automated Development Methodology for Dependable Systems with Application to Sensor Networks

A general-purpose method to mechanically transform system requirements into a probably equivalent model has yet to appeal: Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a probably equivalent implementation are valuable but not su8cient. The "gap" unfilled by such tools and methods is that their. formal models cannot be proven to be equivalent to the system requirements as originated by the customel: For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a probably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2009

Ultra-Broad-Band Optical Parametric Amplifier or Oscillator

A concept for an ultra-broad-band optical parametric amplifier or oscillator has emerged as a by-product of a theoretical study in fundamental quantum optics. The study was originally intended to address the question of whether the two-photon temporal correlation function of light [in particular, light produced by spontaneous parametric down conversion (SPDC)] can be considerably narrower than the inverse of the spectral width (bandwidth) of the light. The answer to the question was found to be negative. More specifically, on the basis of the universal integral relations between the quantum two-photon temporal correlation and the classical spectrum of light, it was found that the lower limit of two-photon correlation time is set approximately by the inverse of the bandwidth. The mathematical solution for the minimum two-photon correlation time also provides the minimum relative frequency dispersion of the down-converted light components; in turn, the minimum relative frequency dispersion translates to the maximum bandwidth, which is important for the design of an ultra-broad-band optical parametric oscillator or amplifier. In the study, results of an analysis of the general integral relations were applied in the case of an optically nonlinear, frequency-dispersive crystal in which SPDC produces collinear photons. Equations were found for the crystal orientation and pump wavelength, specific for each parametric-down-converting crystal, that eliminate the relative frequency dispersion of collinear degenerate (equal-frequency) signal and idler components up to the fourth order in the frequency-detuning parameter

Strekalov, Dmitry↗
NASA NTRS2000

Tactile Sensing for Dexterous Robotic Hands

Robotic systems will be used as precursors to human exploration to explore the solar system and expand our knowledge of planetary surfaces. Robotic systems will also be used to build habitats and infrastructure required for human presence in space and on other planetary surfaces . Such robots will require a high level of intelligence and automation. The ability to flexibly manipulate their physical environment is one characteristic that makes humans so effective at these building and exploring tasks . The development of a generic autonomous grasp ing capability will greatly enhance the efficiency and ability of robotics to build, maintain and explore. To tele-operate a robot over vast distances of space, with long communication delays, has proven to be troublesome. Having an autonomous grasping capability that can react in real-time to disturbances or adapt to generic objects, without operator intervention, will reduce the probability of mishandled tools and samples and reduce the number of re-grasp attempts due to dropping. One aspect that separates humans from machines is a rich sensor set. We have the ability to feel objects and respond to forces and textures. The development of touch or tactile sensors for use on a robot that emulates human skin and nerves is the basis for this discussion. We will discuss the use of new piezo-electric and resistive materials that have emerged on the market with the intention of developing a touch sensitive sensor. With viable tacti le sensors we will be one step closer to developing an autonomous grasping capability.

Martin, Toby B.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a: system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the ciasses of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS1977

In-flight gyro drift rate calibration on the Viking Orbiters

The drift rates of the attitude control gyros onboard the Viking Orbiters were calibrated several times during flight. The calibration was performed by engaging the gyro control of attitude for a six-hour period, recording the Viking Orbiter coordinates of the sun and the roll reference star as a function of time, and processing these data by a computer program. The computer program calculated drift rates for each data increment, and then smoothed the calculated rate versus the time function for all the data on the basis of a Gauss-Markov gyro-drift model. The effects of data noise were minimized by using a relatively long time constant in the Gauss-Markov model and by empirically determining a set of corrections for celestial inertial scale factor error differences. In this way the rms error of the data fit was lessened.

Breckenridge, W. G.↗
NASA NTRS1980

Regional analysis of earthquake occurrence and seismic energy release

The historic temporal variation in earthquake occurrence and seismic energy release on a regional basis throughtout the world were studied. The regionalization scheme employed divided the world into large areas based either on seismic and tectonic considerations (Flinn-Engdahl Scheme) or geographic (longitude and latitude) criteria. The data set is the wide earthquake catalog of the National Geophysical Solar-Terrestrial Data Center. An apparent relationship exists between the maximum energy released in a limited time within a seismic region and the average or background energy per year averaged over a long time period. In terms of average or peak energy release, the most seismic regions of the world during the 50 to 81 year period ending in 1977 were Japanese, Andean South American, and the Alaska-Aleutian Arc regions. The year to year fluctuations in regional seismic energy release are greater, by orders of magnitude, than the corresponding variations in the world-wide seismic energy release. The b values of seismic regions range from 0.7 to 1.4 where earthquake magnitude is in the range 6.0 to 7.5.

Cohen, S. C.↗
NASA NTRS1990

Robust eigensystem assignment for second-order estimators

An approach for the robust eigensystem assignment of flexible structures using full state or output feedback is developed. Using the second-order dynamic equations, the approach can assign the eigenvalues of the system via velocity and displacement feedbacks, or acceleration and velocity feedbacks. The eigenvalues and eigenvectors of the system are assigned, via the second-order eigenvalue problem for the structural system, in two steps. First, an orthonormal basis spanning the attainable closed-loop eigenvector space corresponding to each desired closed-loop eigenvalue is generated using the Singular Value or QR decompositions. Second, a sequential procedure is used to choose a set of closed-loop eigenvectors that are as close as possible to the column space of a well-conditioned target matrix. Among the possible choices of the target matrix, the closest unitary matrix to the open-loop eigenvector matrix appears to be a suitable choice. A numerical example is given to illustrate the proposed algorithm.

Juang, Jer-Nan↗
NASA NTRS1990

Robust eigensystem assignment for second-order dynamic systems

A novel approach for the robust eigensystem assignment of flexible structures using full state or output feedback is developed. Using the second-order dynamic equations, the approach can assign the eigenvalues of the system via velocity and displacement feedbacks, or acceleration and velocity feedbacks. The eigenvalues and eigenvectors of the system are assigned, via the second-order eigenvalue problem for the structural system, in two steps. First, an orthonormal basis spanning the attainable closed-loop eigenvector space corresponding to each desired closed-loop eigenvalue is generated using the Singular Value or QR decompositions. Second, a sequential procedure is used to choose a set of closed-loop eigenvectors that are as close as possible to the column space of a well-conditioned target matrix. Among the possible choices of the target matrix, the closest unitary matrix to the open-loop eigenvector matrix appears to be a suitable choice. A numerical example is given to illustrate the proposed algorithm.

Juang, Jer-Nan↗
NASA NTRS1991

Space radiation health program plan

The Space Radiation Health Program intends to establish the scientific basis for the radiation protection of humans engaged in the exploration of space, with particular emphasis on the establishment of a firm knowledge base to support cancer risk assessment for future planetary exploration. This document sets forth the technical and management components involved in the implementation of the Space Radiation Health Program, which is a major part of the Life Sciences Division (LSD) effort in the Office of Space Science and Applications (OSSA) at the National Aeronautics and Space Administration (NASA). For the purpose of implementing this program, the Life Sciences Division supports scientific research into the fundamental mechanisms of radiation effects on living systems and the interaction of radiation with cells, tissues, and organs, and the development of instruments and processes for measuring radiation and its effects. The Life Sciences Division supports researchers at universities, NASA field centers, non-profit research institutes and national laboratories; establishes interagency agreements for cooperative use and development of facilities; and conducts a space-based research program using available and future spaceflight vehicles.

Source record↗
NASA NTRS1994

Guidelines for lighting of plants in controlled environments

These guidelines for lighting of plants, established by the organizing committee, provided a focus for the discussions at the workshop. The guidelines served as a basis for discussion amongst the workshop attendees and led to a number of recommendations that were recorded by the session chairpersons. The organizing committee indicated they would incorporate the recommendations and suggestions into a revised set of guidelines for additional discussion. It was understood that these guidelines will not be standards and will require upgrading and modifications as lamps and equipment become available and as new insights are obtained on plants' response to light. Revised draft guidelines are included as Tables 1 and 2 that have been developed by the organizing committee following the suggestions obtained at the workshop. The guidelines for growth chambers are in Table 1 and guideines for greenhouses are given in Table 2. These have been distributed to the participants who indicated a willingness to review proposals that were developed. It is hoped that these proposals will lead to the development of guidelines that will have general acceptance by plant scientists.

Dietzer, Gerald↗
NASA NTRS2008

Scheme for Quantum Computing Immune to Decoherence

A constructive scheme has been devised to enable mapping of any quantum computation into a spintronic circuit in which the computation is encoded in a basis that is, in principle, immune to quantum decoherence. The scheme is implemented by an algorithm that utilizes multiple physical spins to encode each logical bit in such a way that collective errors affecting all the physical spins do not disturb the logical bit. The scheme is expected to be of use to experimenters working on spintronic implementations of quantum logic. Spintronic computing devices use quantum-mechanical spins (typically, electron spins) to encode logical bits. Bits thus encoded (denoted qubits) are potentially susceptible to errors caused by noise and decoherence. The traditional model of quantum computation is based partly on the assumption that each qubit is implemented by use of a single two-state quantum system, such as an electron or other spin-1.2 particle. It can be surprisingly difficult to achieve certain gate operations . most notably, those of arbitrary 1-qubit gates . in spintronic hardware according to this model. However, ironically, certain 2-qubit interactions (in particular, spin-spin exchange interactions) can be achieved relatively easily in spintronic hardware. Therefore, it would be fortunate if it were possible to implement any 1-qubit gate by use of a spin-spin exchange interaction. While such a direct representation is not possible, it is possible to achieve an arbitrary 1-qubit gate indirectly by means of a sequence of four spin-spin exchange interactions, which could be implemented by use of four exchange gates. Accordingly, the present scheme provides for mapping any 1-qubit gate in the logical basis into an equivalent sequence of at most four spin-spin exchange interactions in the physical (encoded) basis. The complexity of the mathematical derivation of the scheme from basic quantum principles precludes a description within this article; it must suffice to report that the derivation provides explicit constructions for finding the exchange couplings in the physical basis needed to implement any arbitrary 1-qubit gate. These constructions lead to spintronic encodings of quantum logic that are more efficient than those of a previously published scheme that utilizes a universal but fixed set of gates.

Williams, Colin↗
NASA NTRS2012

Preliminary Aerodynamic Investigation of Fan Rotor Blade Morphing

Various new technologies currently under development may enable controlled blade shape variability, or so-called blade morphing, to be practically employed in aircraft engine fans and compressors in the foreseeable future. The current study is a relatively brief, preliminary computational fluid dynamics investigation aimed at partially demonstrating and quantifying the aerodynamic potential of fan rotor blade morphing. The investigation is intended to provide information useful for near-term planning, as well as aerodynamic solution data sets that can be subsequently analyzed using advanced acoustic diagnostic tools, for the purpose of making fan noise comparisons. Two existing fan system models serve as baselines for the investigation: the Advanced Ducted Propulsor fan with a design tip speed of 806 ft/sec and a pressure ratio of 1.294, and the Source Diagnostic Test fan with a design tip speed of 1215 ft/sec and a pressure ratio of 1.470. Both are 22-in. sub-scale, low-noise research fan/nacelle models that have undergone extensive experimental testing in the 9- by 15-foot Low Speed Wind Tunnel at the NASA Glenn Research Center. The study, restricted to fan rotor blade morphing only, involves a fairly simple blade morphing technique. Specifically, spanwise-linear variations in rotor blade-section setting angle are applied to alter the blade shape; that is, the blade is linearly retwisted from hub to tip. Aerodynamic performance comparisons are made between morphed-blade and corresponding baseline configurations on the basis of equal fan system thrust, where rotor rotational speed for the morphed-blade fan is varied to change the thrust level for that configuration. The results of the investigation confirm that rotor blade morphing could be a useful technology, with the potential to enable significant improvements in fan aerodynamic performance. Even though the study is very limited in scope and confined to simple geometric perturbations of two existing fan systems, the aerodynamic effectiveness of blade morphing is demonstrated by the configurations analyzed. In particular, for the Advanced Ducted Propulsor fan it is demonstrated that the performance levels of the original variable-pitch baseline design can be achieved using blade morphing instead of variable pitch, and for the Source Diagnostic Test fan the performance at important off-design operating points is substantially increased with blade morphing.

Tweedt, Daniel L.↗
NASA NTRS2013

Orion MPCV Touchdown Detection Threshold Development and Testing

A robust method of detecting Orion Multi ]Purpose Crew Vehicle (MPCV) splashdown is necessary to ensure crew and hardware safety during descent and after touchdown. The proposed method uses a triple redundant system to inhibit Reaction Control System (RCS) thruster firings, detach parachute risers from the vehicle, and transition to the post ]landing segment of the Flight Software (FSW). The vehicle crew is the prime input for touchdown detection, followed by an autonomous FSW algorithm, and finally a strictly time based backup timer. RCS thrusters must be inhibited before submersion in water to protect against possible damage due to firing these jets under water. In addition, neglecting to declare touchdown will not allow the vehicle to transition to post ]landing activities such as activating the Crew Module Up ]righting System (CMUS), resulting in possible loss of communication and difficult recovery. A previous AIAA paper gAssessment of an Automated Touchdown Detection Algorithm for the Orion Crew Module h concluded that a strictly Inertial Measurement Unit (IMU) based detection method using an acceleration spike algorithm had the highest safety margins and shortest detection times of other methods considered. That study utilized finite element simulations of vehicle splashdown, generated by LS ]DYNA, which were expanded to a larger set of results using a Kriging surface fit. The study also used the Decelerator Systems Simulation (DSS) to generate flight dynamics during vehicle descent under parachutes. Proto ]type IMU and FSW MATLAB models provided the basis for initial algorithm development and testing. This paper documents an in ]depth trade study, using the same dynamics data and MATLAB simulations as the earlier work, to further develop the acceleration detection method. By studying the combined effects of data rate, filtering on the rotational acceleration correction, data persistence limits and values of acceleration thresholds, an optimal configuration was determined. The lever arm calculation, which removes the centripetal acceleration caused by vehicle rotation, requires that the vehicle angular acceleration be derived from vehicle body rates, necessitating the addition of a 2nd order filter to smooth the data. It was determined that using 200 Hz data directly from the vehicle IMU outperforms the 40 Hz FSW data rate. Data persistence counter values and acceleration thresholds were balanced in order to meet desired safety and performance. The algorithm proved to exhibit ample safety margin against early detection while under parachutes, and adequate performance upon vehicle splashdown. Fall times from algorithm initiation were also studied, and a backup timer length was chosen to provide a large safety margin, yet still trigger detection before CMUS inflation. This timer serves as a backup to the primary acceleration detection method. Additionally, these parameters were tested for safety on actual flight test data, demonstrating expected safety margins.

Daum, Jared↗
NASA NTRS2015

SimSup's Loop: A Control Theory Approach to Spacecraft Operator Training

Immersive simulation is a staple of training for many complex system operators, including astronauts and ground operators of spacecraft. However, while much has been written about simulators, simulation facilities, and operator certification programs, the topic of how one develops simulation scenarios to train a spacecraft operator is relatively understated in the literature. In this paper, an approach is presented for using control theory as the basis for developing the immersive simulation scenarios for a spacecraft operator training program. The operator is effectively modeled as a high level controller of lower level hardware and software control loops that affect a select set of system state variables. Simulation scenarios are derived from a STAMP-based hazard analysis of the operator's high and low level control loops. The immersive simulation aspect of the overall training program is characterized by selecting a set of scenarios that expose the operator to the various inadequate control actions that stem from control flaws and inadequate control executions in the different sections of the typical control loop. Results from the application of this approach to the Lunar Atmosphere and Dust Environment Explorer (LADEE) mission are provided through an analysis of the simulation scenarios used for operator training and the actual anomalies that occurred during the mission. The simulation scenarios and inflight anomalies are mapped to specific control flaws and inadequate control executions in the different sections of the typical control loop to illustrate the characteristics of anomalies arising from the different sections of the typical control loop (and why it is important for operators to have exposure to these characteristics). Additionally, similarities between the simulation scenarios and inflight anomalies are highlighted to make the case that the simulation scenarios prepared the operators for the mission.

LADEE↗
NASA NTRS1990

The Chemical Basis for the Origin of the Genetic Code and the Process of Protein Synthesis

A model for the origin of protein synthesis. The essential features of the model are that 5'-AMP and perhaps other monoribonucleotides can serve as catalysts for the selective synthesis of L-based peptides. A unique set of characteristics of 5'-AMP is responsible for the selective catalysts and these characteristics are described in detail. The model involves the formation of diesters as intermediates and selectivity for use of the L-isomer occurs principally at the step of forming the diester. However, in the formation of acetyl phenylalanine-AMP monoester there is a selectivity for esterification by the D-isomer. Data showing this selectivity is presented. This selectivity for D-isomer disappears after the first step. The identity was confirmed of all four of possible diesters of acetyl-D- and -L phenylaline with 5'-AMP by nuclear magnetic resonance (NMR). The data using flourescence and NMR show the Trp ring can associate with the adenine ring more strongly when the D-isomer is in the 2' position than it can when in the 3' position. These same data also suggest a molecular mechanisim for the faster esterificaton of 5'-AMP by acetyl-D-phenylaline. Some new data is also presented on the possible structure of the 2' isomer of acetyl-D-tryptophan-AMP monoester. The HPLC elution times of all four possible acetyl diphenylalanine esters of 5'-AMP were studied, these peptidyl esters will be products in the studies of peptide formation on the ribose of 5'-AMP. Other studies were on the rate of synthesis and the identity of the product when producing 3'Ac-Phe-2'tBOC-Phe-AMP diester. HPLC purification and identification of this product were accomplished.

Lacey, James C., Jr.↗