SEARCH · Engineering Papers
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.
Atmospheric fluoride is collected on lime-coated filter paper exposed to the ambient atmosphere for 30-day periods. The fluoride is eluted from the paper and analyzed with the use of a fluoride specific ion electrode. The technique permits evaluation of potential fluoride sources in terms of downwind concentrations and provides a simple, rapid procedure for the analysis of large numbers of samples.
In life-critical and mission-critical applications, it is important to make provisions for a wide range of contingencies, by providing means for fault tolerance. In this paper, we discuss the specification of a flight control system that is fault tolerant with respect to sensor faults. Redundancy is provided by analytical relations that hold between sensor readings; depending on the conditions, this redundancy can be used to detect, identify and accommodate sensor faults.
Formal capture and analysis of the required behavior of control systems have many advantages. For instance, it encourages rigorous requirements analysis, the required behavior is unambiguously defined, and we can assure that various safety properties are satisfied. Formal modeling is, however, a costly and time consuming process and if one could reuse the formal models over a family of products, significant cost savings would be realized. In an ongoing project we are investigating how to structure state-based models to achieve a high level of reusability within product families. In this paper we discuss a high-level structure of requirements models that achieves reusability of the desired control behavior across varying hardware platforms in a product family. The structuring approach is demonstrated through a case study in the mobile robotics domain where the desired robot behavior is reused on two diverse platforms-one commercial mobile platform and one build in-house. We use our language RSML (-e) to capture the control behavior for reuse and our tool NIMBUS to demonstrate how the formal specification can be validated and used as a prototype on the two platforms.
This Specification defines the general requirements for rechargeable Space Flight batteries intended for use in the ST-5 program. The battery chemistry chosen for this mission is lithium ion (Li-Ion).
This document describes the Langmuir Probe Spacecraft Potential (LPSP) investigation of the plasma environment in the vicinity of the ProSEDS Delta II spacecraft. This investigation will employ a group of three (3) Langmuir Probe Assemblies, LPAs, mounted on the Delta II second stage to measure the electron density and temperature (n(sub e) and T(sub e)), the ion density (n(sub i)), and the spacecraft potential (V(sub s)) relative to the surrounding ionospheric plasma. This document is also intended to define the technical requirements and flight-vehicle installation interfaces for the design, development, assembly, testing, qualification, and operation of the LPSP subsystem for the Propulsive Small Expendable Deployer System (ProSEDS) and its associated Ground Support Equipment (GSE). This document also defines the interfaces between the LPSP instrument and the ProSEDS Delta II spacecraft, as well as the design, fabrication, operation, and other requirements established to meet the mission objectives. The LPSP is the primary measurement instrument designed to characterize the background plasma environment and is a supporting instrument for measuring spacecraft potential of the Delta II vehicle used for the ProSEDS mission. Specifically, the LPSP will use the three LPAs equally spaced around the Delta II body to make measurements of the ambient ionospheric plasma during passive operations to aid in validating existing models of electrodynamic-tether propulsion. These same probes will also be used to measure Delta II spacecraft potential when active operations occur. When the electron emitting plasma contractor is on, dense neutral plasma is emitted. Effective operation of the plasma contactor (PC) will mean a low potential difference between the Delta II second stage and the surrounding plasma and represents one of the voltage parameters needed to fully characterize the electrodynamic-tether closed circuit. Given that the LP already needs to be well away from any near-field disturbances around the Delta II, it is possible to use the same probe with a simple reconfiguration of the electronics to measure potential with respect to the ambient plasma. The LP measurement techniques are outlined in the following text and discussed in detail in the Appendix. The scientific goals of the investigation, the physical and electrical characteristics of the instrument, and the on-orbit measurement requirements are also discussed in this document.
The creation of parameter study suites has recently become a more challenging problem as the parameter studies have now become multi-tiered and the computational environment has become a supercomputer grid. The parameter spaces are vast, the individual problem sizes are getting larger, and researchers are now seeking to combine several successive stages of parameterization and computation. Simultaneously, grid-based computing offers great resource opportunity but at the expense of great difficulty of use. We present an approach to this problem which stresses intuitive visual design tools for parameter study creation and complex process specification, and also offers programming-free access to grid-based supercomputer resources and process automation.
A series of long-term integrations using the two-dimensional Goddard Cumulus Ensemble (GCE) model were performed by altering imposed environmental components to produce various quasi-equilibrium thermodynamic states. Model results show that the genesis of a warm/wet quasi-equilibrium state is mainly due to either strong vertical wind shear (from nudging) or large surface fluxes (from strong surface winds), while a cold/dry quasi-equilibrium state is attributed to a remarkably weakened mixed-wind shear (from vertical mixing due to deep convection) along with weak surface winds. In general, latent heat flux and net large-scale temperature forcing, the two dominant physical processes, dominate in the beginning stage of the simulated convective systems, then considerably weaken in the final stage, which leads to quasi-equilibrium states. A higher thermodynamic regime is found to produce a larger rainfall amount, as convective clouds are the leading source of rainfall over stratiform clouds even though the former occupy much less area. Moreover, convective clouds are more likely to occur in the presence of strong surface winds (latent heat flux), while stratiform clouds (especially the well-organized type) are favored in conditions with strong wind shear (large-scale forcing). The convective systems, which consist of distinct cloud types due to the variation in horizontal winds, are also found to propagate differently. Accordingly, convective systems with mixed-wind shear generally propagate in the direction of shear, while the system with strong (multidirectional) wind shear propagates in a more complex way. Based on the results from the temperature (Q1) and moisture (Q2) budgets, cloud-scale eddies are found to act as a hydrodynamic 'vehicle' that cascades the heat and moisture vertically. Several other specific features such as atmospheric stability, CAPE, and mass fluxes are also investigated and found to be significantly different between diverse quasi-equilibrium states. Detailed comparisons between the various states are presented.
Recombination cooling, in which a free electron emits light while being captured to an ion, is an important cooling process in photoionized clouds that are optically thick or have low metallicity. State specific rather than total recombination cooling rates are needed since the hydrogen atom tends to become optically thick in high-density regimes such as Active Galactic Nuclei. This paper builds upon previous work to derive the cooling rate over the full temperature range where the process can be a significant contributor in a photoionized plasma. We exploit the fact that the recombination and cooling rates are given by intrinsically similar formulae to express the cooling rate in terms of the closely related radiative recombination rate. We give an especially simple but accurate approximation that works for any high hydrogenic level and can be conveniently employed in large-scale numerical simulations.
An engine is disclosed, including a controllable output plasma generator, a controllable heater for selectably raising a temperature of the plasma connected to an outlet of the plasma generator, and a nozzle connected to an outlet of the heater, through which heated plasma is discharged to provide thrust. In one embodiment, the source of plasma is a helicon generator. In one embodiment, the heater is an ion cyclotron resonator. In one embodiment, the nozzle is a radially diverging magnetic field disposed on a discharge side of the heater so that helically travelling particles in the beater exit the heater at high axial velocity. A particular embodiment includes control circuits for selectably directing a portion of radio frequency power from an RF generator to the helicon generator and to the cyclotron resonator so that the thrust output and the specific impulse of the engine can be selectively controlled. A method of propelling a vehicle is also disclosed. The method includes generating a plasma, heating said plasma, and discharging the heated plasma through a nozzle. In one embodiment, the nozzle is a diverging magnetic field. In this embodiment, the heating is performed by applying a radio frequency electro magnetic field to the plasma at the ion cyclotron frequency in an axially polarized DC magnetic field.
The objective of this research is to provide quantitative criteria for the impact of reduced or enhanced convective transport on protein crystal perfection. Our earlier work strongly suggests that the magnitude of (lattice defect-inducing) fluctuations in the crystallization rate of proteins arise from the coupling of bulk transport and nonlinear interface kinetics. Hence, we surmised that, depending on the relative weight of bulk transport and interface kinetics in the control of the crystallization process on Earth, these fluctuations can either increase or decrease under reduced gravity conditions. The sign and magnitude of these changes depend on the specific protein-precipitant system. As a consequence, space environments can be either beneficial or detrimental for achieving structural perfection in protein crystals. The task objectives consist in systematic investigations of this hypothesis.
This paper, the last in the series, continues developing the nonlinear constitutive relations for non-isothermal, compressible, solid viscoelasticity. We initially discuss a single integral approach, more suitable for the glassy state of rubber-like materials, with basic functionals involved in the thermodynamic description for this type of viscoelasticity. Then we switch our attention to analyzing stability constraints, imposed on the general formulation of the nonlinear theory of solid viscoelasticity. Finally, we discuss specific (known from the literature or new) expressions for material functions that are involved in the constitutive formulations of both the rubber-like and glassy-like, complementary parts of the theory.
Given the previous complete-potential structure framework together with the notion of strain- and stress-partitioning in terms of separate contributions of several submechanisms (viscoelastic and viscoplastic) to the thermodynamic functions (stored energy and dissipation) a detailed viscoelastoplastic multimechanism characterization of a specific hardening functional form of the model is presented and discussed. TIMETAL 21S is the material of choice as a comprehensive test matrix, including creep, relaxation, constant strain-rate tension tests, etc. are available at various temperatures. Discussion of these correlations tests, together with comparisons to several other experimental results, are given to assess the performance and predictive capabilities of the present model particularly with regard to the notion of hardening saturation as well as the interaction of multiplicity of dissipative (reversible/irreversible) mechanisms.
From extensive ground based work on the phase diagram and undercooling studies of Ti-Zr-Ni alloys, have clearly identified the composition of three different phases with progressively increasing polytetrahedral order such as, (Ti/Zr), the C14 Laves phase, and the i-phase, that nucleate directly from the undercooled liquid. The reduced undercooling decreases progressively with increasing polytetrahedral order in the solid, supporting Frank s hypothesis. A new facility for direct measurements of the structures and phase transitions in undercooled liquids (BESL) was developed and has provided direct proof of the primary nucleation of a metastable icosahedral phase in some Ti-Zr-Ni alloys. The first measurements of specific heat and viscosity in the undercooled liquid of this alloy system have been completed. Other than the importance of thermo-physical properties for modeling nucleation and growth processes in these materials, these studies have also revealed some interesting new results (such as a maximum of C(sup q, sub p) in the undercooled state). These ground-based results have clearly established the necessary background and the need for conducting benchmark nucleation experiments at the ISS on this alloy system.
This report presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to B chi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.
The NASA Goddard Space Flight Center s General Environmental Verification Specification (GEVS) for STS and ELV Payloads, Subsystems, and Components is currently being revised based on lessons learned from GSFC engineering and flight assurance. The GEVS has been used by Goddard flight projects for the past 17 years as a baseline from which to tailor their environmental test programs. A summary of the requirements and updates are presented along with the rationale behind the changes. The major test areas covered by the GEVS include mechanical, thermal, and EMC, as well as more general requirements for planning, tracking of the verification programs.
The EOSCUBE constraint database system is designed to be a software productivity tool for high-level specification and efficient generation of EOSDIS and other scientific products. These products are typically derived from large volumes of multidimensional data which are collected via a range of scientific instruments.
Floating potential and ion current density measurements were taken on the laboratory model NASA-173Mv2 in order to improve understanding of the physical processes affecting Hall thruster performance at high specific impulse. Floating potential was measured on discharge chamber centerline over axial positions spanning 10 mm from the anode to 100 mm downstream of the exit plane. Ion current density was mapped radially up to 300 mm from thruster centerline over axial positions in the very-near-field (10 to 250 mm from the exit plane). All data were collected using a planar probe in conjunction with a high-speed translation stage to minimize probe-induced thruster perturbations. Measurements of floating potential at a xenon flow rate of 10 mg/s have shown that the acceleration layer moved upstream 3 1 mm when the voltage increased from 300 to 600 V. The length of the acceleration layer was 14 2 mm and was approximately constant with voltage and magnetic field. Ion current density measurements indicated the annular ion beam crossed the thruster centerline 163 mm downstream of the exit plane. Radial integration of the ion current density at the cathode plane provided an estimate of the ion current fraction. At 500 V and 5 mg/s, the ion current fraction was calculated as 0.77.
Pt/4H-SiC Schottky photodiodes have been fabricated with the device areas up to 1 sq cm. The I-V characteristics and photo-response spectra have been measured and analyzed. For a 5 mm x 5 mm area device leakage current of 1 x 10(exp 15)A at zero bias and 1.2 x 10(exp 14)A at -IV have been established. The quantum efficiency is over 30% from 240nm to 320nm. The specific detectivity, D(sup *), has been calculated from the directly measured leakage current and quantum efficiency data and are shown to be higher than 10(exp 15) cmHz(sup 1/2)/W from 210nm to 350nm with a peak D(sup *) of 3.6 x 10(exp 15)cmH(sup 1/2)/W at 300nm.