Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “exploration techniques”

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 91 records · Page 5

Recent Studies on Methanol Crossover in Liquid-Feed Direct Methanol Fuel Cells

In this work, the effects of methanol crossover and airflow rates on the cathode potential of an operating direct methanol fuel cell are explored. Techniques for quantifying methanol crossover in a fuel cell and for separating the electrical performance of each electrode in a fuel cell are discussed. The effect of methanol concentration on cathode potential has been determined to be significant. The cathode is found to be mass transfer limited when operating on low flow rate air and high concentrations of methanol. Improvements in cathode structure and operation at low methanol concentration have been shown to result in improved cell performance.

Valdez, T. I.↗

Phase-Shifting Liquid Crystal Point-Diffraction Interferometry

Microgravity fluid physics experiments frequently measure concentration and temperature. Interferometers such as the Twyman Green illustrated have performed full-field measurement of these quantities. As with most such devices, this interferometer uses a reference path that is not common with the path through the test section. Recombination of the test and reference wavefronts produces interference fringes. Unfortunately, in order to obtain stable fringes, the alignment of both the test and reference paths must be maintained to within a fraction of the wavelength of the light being used for the measurement. Otherwise, the fringes will shift and may disappear. Because these interferometers are extremely sensitive to bumping, jarring and transmitted vibration, they are typically mounted on optical isolation tables. Schlieren deflectometers or the more recent Shack-Hartmann wavefront sensors also measure concentration and temperature in laboratory fluid flows. Ray optics describe the operation of both devices. In a schlieren system, an expanded, collimated beam passes through a test section where refractive index gradients deflect rays. A lens focuses the beam to a filter placed in the rear focal plane of the decollimating lens. In a quantitative color schlieren system, gradients in the index of refraction appear as colors in the field of view due to the action of the color filter. Since sensitivity is a function of the focal length of the decollimating lens, these systems are rather long and filter fabrication and calibration is rather difficult. A Shack-Hartmann wavefront sensor is an array of small lenslets. Typical diameters are on the order of a few hundred microns. Since these lenslets divide the test section into resolution elements, the spatial resolution can be no smaller than an individual lenslet. Such a device was recently used to perform high-speed tomography of heated air exiting a 1.27 cm diameter nozzle. While these wavefront sensors are very compact, the limited spatial resolution and the methods required for data reduction suggest that a more useful instrument needs to be developed. The category of interferometers known as common path interferometers can eliminate much of the vibration sensitivity associated with traditional interferometry as described above. In these devices, division of the amplitude of the wavefront following the test section produces the reference beam. Examples of these instruments include shearing and point diffraction interferometers. In the latter case, shown schematically, a lens focuses light passing through the test section onto a small diffracting object. Such objects are typically either a circle of material on a high quality glass plate or a small sphere in a glass cell. The size of the focused spot is several times larger than the object so that the light not intercepted by the diffracting object forms the test beam while the diffracted light generates a spherical reference beam. While this configuration is mechanically stable, phase shifting one beam with respect to the other is difficult due to the common path. Phase shifting enables extremely accurate measurements of the phase of the interferogram using only gray scale intensity measurements and is the de facto standard of industry. Mercer and Creath 2 demonstrated phase shifting in a point diffraction interferometer using a spherical spacer in a liquid crystal cell as the diffracting object. By changing the voltage across the cell, they were able to shift the phase of the undiffracted beam relative to the reference beam generated by diffraction from the sphere. While they applied this technology to fluid measurements, the device shifted phase so slowly that it was not useful for studying transient phenomena. We have identified several technical problems that precluded operation of the device at video frame rates and intend to solve them to produce a phase-shifting liquid crystal point-diffraction interferometer operating at video frame rates. The first task is to produce high contrast fringes. Since the diffracted beam is much weaker than the transmitted beam, interferograms have poor contrast unless a dye is added to the liquid crystal to reduce the intensity of the undiffracted light. Dyes previously used were not rigorously characterized and suffered from hysteresis in both the initial alignment state of the device and the electro-optic switching characteristics. Hence, our initial effort will identify and characterize dyes that do not suffer from these difficulties and are readily soluble in the liquid crystal host. Since the ultimate goal of this research is to produce interferometers capable of phase shifting at video frame rates, we will quantify the difference in switching times between ferroelectric and nematic liquid crystals. While we have more experience with nematic crystals, they typically switch more slowly than ferroelectric cells. As part of that effort, we will investigate the difference in the modulation of the interferograms as a function of the type of liquid crystal in the cell. Because the temporal switching response of a liquid crystal cell is directly related its thickness, we intend to explore techniques required to produce cells that are as thin as possible. However, the cells must still produce a total phase shift of two pi radians.

Griffin, DeVon W.↗

Theoretical Studies of the Quasi-Bound Vibrational Levels in the B State of CH3

Consider the calculation of the oscillator strength of th B yielded by X electronic transition in CH3. The X state is strongly bound, but in the B state, CH3 is pre-dissociated by H atom tunneling through a potential energy barrier to form CH2+H. If we turn off pre-dissociation by making the potential outside of the barrier repulsive, the calculated 0-0 oscillator strength for CD3 from high quality ab initio potential and transition moment data along with accurate ro-vibrational wavefunctions is 0.0212, which is a factor of two greater than experiment. This discrepancy is largely due to the neglect of pre-dissociation. In this poster we explore techniques for including pre-dissociation in the calculations.

Schwenke, David W.↗

Aerial and Ground-Based Remote Sensing In Central America

Remote sensing of archaeological features is most successful when instrumentation and imagery are carefully selected bearing in mind the nature of the remains and the local context. Instruments need to be calibrated to local conditions, and extensive field verification studies are necessary. This is illustrated by remote sensing in two research programs in Central America: the Arena1 Research Program in Costa Rica and the Ceren Research Program in El Salvador. Satellite and aircraft remote sensing was successful in the former, while the Ceren site required the development of ground-based geophysical exploration techniques. In both cases, remote sensing contributed information that was not available by any other means, thus allowing new interpretations and a fuller understanding of ancient societies.

Sheets, Payson↗

An Expertise Recommender using Web Mining

This report explored techniques to mine web pages of scientists to extract information regarding their expertise, build expertise chains and referral webs, and semi automatically combine this information with directory information services to create a recommender system that permits query by expertise. The approach included experimenting with existing techniques that have been reported in research literature in recent past , and adapted them as needed. In addition, software tools were developed to capture and use this information.

Joshi, Anupam↗

Latest advances in edema

Basic concepts in the physiopathology of edema are reviewed. The mechanisms of fluid exchange across the capillary endothelium are explained. Interstitial flow and lymph formation are examined. Clinical disorders of tissue and lymphatic transport, microcirculatory derangements in venous disorders, protein disorders, and lymphatic system disorders are explored. Techniques for investigational imaging of the lymphatic system are explained.

Review, Tutorial↗

Minor Merger Origin for the Circumnuclear Starburst in NGC 7742

We present an emission-line diagnostic analysis of integral-field spectroscopic observations that cover the central kiloparsec of NGC 7742. This Sa galaxy hosts a spectacular nuclear starburst ring and nuclear regions characterized by low-ionization emission. The gas in the ring rotates in the opposite sense to the stars in the galaxy, suggesting a recent merging or acquisition event. The combination of integral-field measurements for the H alpha+[N II] emission lines from DensePak and the H beta and [O 111] emission from SAURON allow the construction of diagnostic diagrams that highlight the transition from star formation in the nuclear ring to excitation by high-velocity shocks or by a central AGN towards the center. DensePak measurements for the [S II] line ratio reveal very low gas densities in the nuclear ring, N(sub e) less than 100 per cubic centimeters, characteristic of massive H II regions. Comparison with MAPPINGS III models for starbursts with low gas densities show that the ring is of roughly solar metallicity. This suggests that the gas in the nuclear ring originated in a stellar system capable of substantially enriching the gas metallicity through sustained star formation. We propose that NGC 7742 cannibalised a smaller galaxy rich in metal-poor gas, and that star formation episodes in the ring have since increased the metallicity to its present value. The techniques explored here can be widely used to study similar systems, including composite (AGN+starburst) galaxies.

Mazzuca, Lisa M.↗

Adapting Covariance Propagation to Account for the Presence of Modeled and Unmodeled Maneuvers

This paper explores techniques that can be used to adapt the standard linearized propagation of an orbital covariance matrix to the case where there is a maneuver and an associated execution uncertainty. A Monte Carlo technique is used to construct a final orbital covariance matrix for a 'propagate-burn-propagate' process that takes into account initial state uncertainty and execution uncertainties in the maneuver magnitude. This final orbital covariance matrix is regarded as 'truth' and comparisons between it and three methods using modified linearized covariance propagation are made. The first method accounts for the maneuver by modeling its nominal effect within the state transition matrix but excludes the execution uncertainty by omitting a process noise matrix from the computation. In the second method, the maneuver is not modeled but the uncertainty in its magnitude is accounted for by the inclusion of a process noise matrix. In the third method, which is essentially a hybrid of the first two, the nominal portion of the maneuver is included via the state transition matrix while a process noise matrix is used to account for the magnitude uncertainty. Since this method also correctly accounts for the presence of the maneuver in the nominal orbit, it is the best method for applications involving the computation of times of closest approach and the corresponding probability of collision, Pc. However, applications for the two other methods exist and are briefly discussed. Despite the fact that the process model ('propagate-burn-propagate') that was studied was very simple - point-mass gravitational effects due to the Earth combined with an impulsive delta-V in the velocity direction for the maneuver - generalizations to more complex scenarios, including high fidelity force models, finite duration maneuvers, and maneuver pointing errors, are straightforward and are discussed in the conclusion.

Schiff, Conrad↗

Adapting Covariance Propagation to Account for the Presence of Modeled and Unmodeled Maneuvers

This paper explores techniques that can be used to adapt the standard linearized propagation of an orbital covariance matrix to the case where there is a maneuver and an associated execution uncertainty. A Monte Carlo technique is used to construct a final orbital covariance matrix for a 'prop-burn-prop' process that takes into account initial state uncertainty and execution uncertainties in the maneuver magnitude. This final orbital covariance matrix is regarded as 'truth' and comparisons are made with three methods using modified linearized covariance propagation. The first method accounts for the maneuver by modeling its nominal effect within the state transition matrix but excludes the execution uncertainty by omitting a process noise matrix from the computation. The second method does not model the maneuver but includes a process noise matrix to account for the uncertainty in its magnitude. The third method, which is essentially a hybrid of the first two, includes the nominal portion of the maneuver via the state transition matrix and uses a process noise matrix to account for the magnitude uncertainty. The first method is unable to produce the final orbit covariance except in the case of zero maneuver uncertainty. The second method yields good accuracy for the final covariance matrix but fails to model the final orbital state accurately. Agreement between the simulated covariance data produced by this method and the Monte Carlo truth data fell within 0.5-2.5 percent over a range of maneuver sizes that span two orders of magnitude (0.1-20 m/s). The third method, which yields a combination of good accuracy in the computation of the final covariance matrix and correct accounting for the presence of the maneuver in the nominal orbit, is the best method for applications involving the computation of times of closest approach and the corresponding probability of collision, PC. However, applications for the two other methods exist and are briefly discussed. Although the process model ("prop-burn-prop") that was studied is very simple - point-mass gravitational effects due to the Earth combined with an impulsive delta-V in the velocity direction for the maneuver - generalizations to more complex scenarios, including high fidelity force models, finite duration maneuvers, and maneuver pointing errors, are straightforward and are discussed in the conclusion.

Schiff, Conrad↗

Hybrid Verification of an Air Traffic Operational Concept

A concept of operations for air traffic management consists of a set of flight rules and procedures aimed to keep aircraft safely separated. This paper reports on the formal verification of separation properties of the NASA's Small Aircraft Transportation System, Higher Volume Operations (SATS HVO) concept for non-towered, non-radar airports. Based on a geometric description of the SATS HVO air space, we derive analytical formulas to compute spacing requirements on nominal approaches. Then, we model the operational concept by a hybrid non-deterministic asynchronous state transition system. Using an explicit state exploration technique, we show that the spacing requirements are always satisfied on nominal approaches. All the mathematical development presented in this paper has been formally verified in the Prototype Verification System (PVS). Keywords. Formal verification, hybrid systems, air traffic management, theorem proving

Munoz, Cesar A.↗

Robotic Follow-Up for Human Exploration

We are studying how "robotic follow-up" can improve future planetary exploration. Robotic follow-up, which we define as augmenting human field work with subsequent robot activity, is a field exploration technique designed to increase human productivity and science return. To better understand the benefits, requirements, limitations and risks associated with this technique, we are conducting analog field tests with human and robot teams at the Haughton Crater impact structure on Devon Island, Canada. In this paper, we discuss the motivation for robotic follow-up, describe the scientific context and system design for our work, and present results and lessons learned from field testing.

Fong, Terrence↗

The HiVY Tool Set

Our aim is to validate mission-specific components of spacecraft flight software designs that are specified using state-charts and translated automatically to the final flight code for the mission. We established an automatic translation tool set from state-charts to SPIN for the validation of such mission-specific components. To guarantee compliance with autogenerated flight code, our translation tool set preserves the StateFlow@ semantics. We are now able to specify and validate portions of mission-critical software design and implementation using the exhaustive exploration techniques of model checking.

stateflow↗

Composites Based on UHTCs

Considerable progress has been made in developing ultra high temperature ceramics (UHTCs) for aerospace applications. A serious issue hindering the eventual use of these materials is their fracture toughness. The formation of composites from these materials is being developed by various researchers. We have been using preceramic polymers to explore techniques to make composites form both 2 d and 3 dimensional woven fibers. The focus of this effort is on the development of microstructure rather than on the development of a robust composite. This talk will discuss the issues with the materials and composite, and approaches to controlling microstructure and the development of matrices in UHTC composites

Johnson, Sylvia M.↗

The Challenges and Opportunities for International Cooperative Radio Science; Experience with Mars Express and Venus Express Missions

Radio Science is an opportunistic discipline in the sense that the communication link between a spacecraft and its supporting ground station can be used to probe the intervening media remotely. Radio science has recently expanded to greater, cooperative use of international assets. Mars Express and Venus Express are two such cooperative missions managed by the European Space Agency with broad international science participation supported by NASA's Deep Space Network (DSN) and ESA's tracking network for deep space missions (ESTRAK). This paper provides an overview of the constraints, opportunities, and lessons learned from international cross support of radio science, and it explores techniques for potentially optimizing the resultant data sets.

MEX↗

PLRP-3: Operational Perspectives of Conducting Science-Driven Extravehicular Activity with Communications Latency

The Pavilion Lake Research Project (PLRP) is a unique platform where the combination of scientific research and human space exploration concepts can be tested in an underwater spaceflight analog environment. The 2015 PLRP field season was performed at Pavilion Lake, Canada, where science-driven exploration techniques focusing on microbialite characterization and acquisition were evaluated within the context of crew and robotic extravehicular activity (EVA) operations. The primary objectives of this analog study were to detail the capabilities, decision-making process, and operational concepts required to meet non-simulated scientific objectives during 5-minute one-way communication latency utilizing crew and robotic assets. Furthermore, this field study served as an opportunity build upon previous tests at PLRP, NASA Desert Research and Technology Studies (DRATS), and NASA Extreme Environment Mission Operations (NEEMO) to characterize the functional roles and responsibilities of the personnel involved in the distributed flight control team and identify operational constraints imposed by science-driven EVA operations. The relationship and interaction between ground and flight crew was found to be dependent on the specific scientific activities being addressed. Furthermore, the addition of a second intravehicular operator was found to be highly enabling when conducting science-driven EVAs. Future human spaceflight activities will need to cope with the added complexity of dynamic and rapid execution of scientific priorities both during and between EVA execution to ensure scientific objectives are achieved.

Miller, Matthew J.↗

Understanding and Verifying Neural Networks

Deep Neural Networks (DNNs) have gained immense popularity in recent times and have widespread use in applications such as image classification, sentiment analysis, speech recognition and also in safety-critical applications such as autonomous driving. However, they suffer limitations such as lack of explainability and robustness which raise safety and security concerns in their usage. Further, the complex structure and large input spaces of DNNs act as an impediment to thorough verification and testing. The SafeDNN project at the Robust Software Engineering (RSE) group at NASA aims at exploring techniques to ensure that systems that use deep neural networks are safe, robust and interpretable. In this talk, I will be presenting our technique Prophecy that automatically infers formal properties of deep neural network models. The tool extracts patterns based on neuron activations as preconditions that imply certain desirable output properties of the model. I would be highlighting case studies that use Prophecy in obtaining explanations for network decisions, understanding correct and incorrect behavior, providing formal guarantees wrt safety and robustness, and debugging neural network models. We have applied the tool on image classification networks, neural network controllers providing turn advisories in unmanned aircrafts, regression models used for autonomous center-line tracking in aircrafts and neural network object detectors

Deep Neural Networks↗

Pressurized Rover Lunar Surface Windows Thermal Trade Study

The pressurized rover (PR) is a habitable lunar vehicle that supports up to two crew members and EVAs. The PR is expected to operate with a crew at the lunar south pole for up to 30 consecutive days. Lunar surface missions represent a significant thermal challenge due in part to the extreme changes in temperature environment. Minimizing heat leaks is essential to be able to survive cold phases of lunar surface missions. Windows in particular can be a significant source of heat leak when designed without thermal performance in mind. In addition, correctly modeling windows, and transparent materials in general, represents a significant thermal challenge. It can also be challenging to obtain accurate radiative properties for modern window materials. This study focuses on the modeling approach, results, and possible window heat leak mitigation techniques for pressurized rover. Mitigation techniques explored in this study include low emissivity coatings and removable internal or external covers. Window layup, geometry, and size are also assessed in this study for their impact to heat leak.

Sydney June Taylor↗