Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Pulse generators”

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 595 records · Page 33

Flash Diffusivity Technique Applied to Individual Fibers

A variant of the flash diffusivity technique has been devised for determining the thermal diffusivities, and thus the thermal conductivities, of individual aligned fibers. The technique is intended especially for application to nanocomposite fibers, made from narrower fibers of polyphenylene benzobisthiazole (PBZT) and carbon nanotubes. These highly aligned nanocomposite fibers could exploit the high thermal conductivities of carbon nanotubes for thermal-management applications. In the flash diffusivity technique as practiced heretofore, one or more heat pulse(s) is (are) applied to the front face of a plate or disk material specimen and the resulting time-varying temperature on the rear face is measured. Usually, the heat pulse is generated by use of a xenon flash lamp, and the variation of temperature on the rear face is measured by use of an infrared detector. The flash energy is made large enough to produce a usefully high temperature rise on the rear face, but not so large as to significantly alter the specimen material. Once the measurement has been completed, the thermal diffusivity of the specimen is computed from the thickness of the specimen and the time dependence of the temperature variation on the rear face. Heretofore, the infrared detector used in the flash diffusivity technique has been a single-point detector, which responds to a spatial average of the thermal radiation from the rear specimen surface. Such a detector cannot distinguish among regions of differing diffusivity within the specimen. Moreover, two basic assumptions of the thermaldiffusivity technique as practiced heretofore are that the specimen is homogeneous and that heat flows one-dimensionally from the front to the rear face. These assumptions are not valid for an inhomogeneous (composite) material.

Mayeaux, Brian↗

A Unique Outside Neutron and Gamma Ray Instrumentation Development Test Facility at NASA's Goddard Space Flight Center

An outside neutron and gamma ray instrumentation test facility has been constructed at NASA's Goddard Space Flight Center (GSFC) to evaluate conceptual designs of gamma ray and neutron systems that we intend to propose for future planetary lander and rover missions. We will describe this test facility and its current capabilities for operation of planetary in situ instrumentation, utilizing a l4 MeV pulsed neutron generator as the gamma ray excitation source with gamma ray and neutron detectors, in an open field with the ability to remotely monitor and operate experiments from a safe distance at an on-site building. The advantage of a permanent test facility with the ability to operate a neutron generator outside and the flexibility to modify testing configurations is essential for efficient testing of this type of technology. Until now, there have been no outdoor test facilities for realistically testing neutron and gamma ray instruments planned for solar system exploration

Bodnarik, J.↗

Multiple-wavelength tunable laser

A tunable laser includes dispersion optics for separating generated laser pulses into first and second wavelength pulses directed along first and second optical paths. First and second reflective mirrors are disposed in the first and second optical paths, respectively. The laser's output mirror is partially reflective and partially transmissive with respect to the first wavelength and the second wavelength in accordance with provided criteria. A first resonator length is defined between the output mirror and the first mirror, while a second resonator length is defined between the output mirror and the second mirror. The second resonator length is a function of the first resonator length.

Barnes, Norman P.↗

Automatic control of clock duty cycle

In general, this disclosure is directed to a duty cycle correction (DCC) circuit that adjusts a falling edge of a clock signal to achieve a desired duty cycle. In some examples, the DCC circuit may generate a pulse in response to a falling edge of an input clock signal, delay the pulse based on a control voltage, adjust the falling edge of the input clock signal based on the delayed pulse to produce an output clock signal, and adjust the control voltage based on the difference between a duty cycle of the output clock signal and a desired duty cycle. Since the DCC circuit adjusts the falling edge of the clock cycle to achieve a desired duty cycle, the DCC may be incorporated into existing PLL control loops that adjust the rising edge of a clock signal without interfering with the operation of such PLL control loops.

Feng, Xiaoxin↗

A Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present an outline of a deductive proof of the correctness of the protocol. A model of the protocol was mechanically verified using the Symbolic Model Verifier (SMV) for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗

Planetary Geochemistry Techniques: Probing In-Situ with Neutron and Gamma Rays (PING) Instrument

The Probing In situ with Neutrons and Gamma rays (PING) instrument is a promising planetary science application of the active neutron-gamma ray technology so successfully used in oil field well logging and mineral exploration on Earth. The objective of our technology development program at NASA Goddard Space Flight Center's (NASA/GSFC) Astrochemistry Laboratory is to extend the application of neutron interrogation techniques to landed in situ planetary composition measurements by using a 14 MeV Pulsed Neutron Generator (PNG) combined with neutron and gamma ray detectors, to probe the surface and subsurface of planetary bodies without the need to drill. We are thus working to bring the PING instrument to the point where it can be flown on a variety of surface lander or rover missions to the Moon, Mars, Venus, asteroids, comets and the satellites of the outer planets.

Parsons, A.↗

Radiation Shielding Systems Using Nanotechnology

A system for shielding personnel and/or equipment from radiation particles. In one embodiment, a first substrate is connected to a first array or perpendicularly oriented metal-like fingers, and a second, electrically conducting substrate has an array of carbon nanostructure (CNS) fingers, coated with an electro-active polymer extending toward, but spaced apart from, the first substrate fingers. An electric current and electric charge discharge and dissipation system, connected to the second substrate, receives a current and/or voltage pulse initially generated when the first substrate receives incident radiation. In another embodiment, an array of CNSs is immersed in a first layer of hydrogen-rich polymers and in a second layer of metal-like material. In another embodiment, a one- or two-dimensional assembly of fibers containing CNSs embedded in a metal-like matrix serves as a radiation-protective fabric or body covering.

Chen, Bin↗

Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period.

Malekpour, Mahyar R.↗

Correctness Proof of a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a deductive proof of a self-stabilizing distributed clock synchronization protocol. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present a deductive proof of the correctness of the protocol as it applies to the networks with unidirectional and bidirectional links. We also confirm the claims of determinism and linear convergence.

Malekpour, Mahyar R.↗

PING Gamma Ray and Neutron Measurements of a Meter-Sized Carbonaceous Asteroid Analog

Determining the elemental composition of carbonaceous (spectral type C) asteroids is still one of the basic problems when studying these objects. The only main source of elemental composition information for asteroids is from their optical, NIR and IR properties, which include their spectral reflectance characteristics, albedo, polarization, and the comparison of optical spectroscopy with meteorite groups corresponding to asteroids of every spectral type. Unfortunately, these sources reflect observations from widely contrasting spatial scales that presently yield a void in the continuum of microscopic and macroscopic evidence, a lack of in situ measurement confirmation, and require deeper sensing techniques to discern the nature of these asteroids. The Probing In situ with Neutrons and Gamma rays (PING) instrument is ideally suited to address this problem because it can be used to determine the bulk elemental composition, H and C content, the average atomic weight and density of the surface and subsurface layers of C-type asteroids, and can provide measurements used to determine the difference between and distinguish between different types of asteroids. We are currently developing the PING instrument that combines gamma ray and neutron detectors with a 14 Me V pulsed neutron generator to determine the in-situ bulk elemental abundances and geochemistry of C-type asteroids with a spatial resolution of 1 m down to depths of tens of cm to 1 m. One aspect of the current work includes experimentally testing and optimizing PING on a known meter-sized Columbia River basalt C-type asteroid analog sample that has a similar composition and the same neutron response as that of a C-type asteroid. An important part of this effort focuses on utilizing timing measurements to isolate gamma rays produced by neutron inelastic scattering, neutron capture and delayed activation processes. Separating the gamma ray spectra by nuclear processes results in higher precision and sensitivity elemental composition measurements. Using gated data acquisition techniques allows for the unambiguous identification of gamma ray lines from different isotopes and nuclear processes, especially in situations when limited detector resolution results in overlapping gamma ray lines that cannot be individually resolved. In this paper, we will present the PING basalt layering experimental data, taken at the test facility at NASA Goddard Space Flight Center using the time tagged event-by-event data analysis technique, compared to our MCNPX computer simulation results for the C-type asteroid and basalt layering simulant models. Comparison of these data will show the advantages, validity, and measurement sensitivity of PING's nuclear interrogation methods to obtain more precise and sensitive in situ bulk elemental composition and density measurements of the subsurface of asteroids.

Bodnarik, J.↗

A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This paper presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. We present an outline of a deductive proof of the correctness of the protocol. A bounded model of the protocol was mechanically verified for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗

Development of the Probing In-Situ with Neutron and Gamma Rays (PING) Instrument for Planetary Science Applications

The Probing In situ with Neutrons and Gamma rays (PING) instrument is a promising planetary science application of the active neutron-gamma ray technology that has been used successfully in oil field well logging and mineral exploration on Earth for decades. Similar techniques can be very powerful for non-invasive in situ measurements of the subsurface elemental composition on other planets. The objective of our active neutron-gamma ray technology program at NASA Goddard Space Flight Center (NASA/GSFC) is to bring instruments using this technology to the point where they can be flown on a variety of surface lander or rover missions to the Moon, Mars, Venus, asteroids, comets and the satellites of the outer planets. PING combines a 14 MeV deuterium-tritium pulsed neutron generator with a gamma ray spectrometer and two neutron detectors to produce a landed instrument that can determine the elemental composition of a planet down to 30 - 50 cm below the planet's surface. The penetrating nature of.5 - 10 MeV gamma rays and 14 MeV neutrons allows such sub-surface composition measurements to be made without the need to drill into or otherwise disturb the planetary surface, thus greatly simplifying the lander design. We are currently testing a PING prototype at a unique outdoor neutron instrumentation test facility at NASA/GSFC that provides two large (1.8 m x 1.8 m x.9 m) granite and basalt test formations placed outdoors in an empty field. Since an independent trace elemental analysis has been performed on both the Columbia River basalt and Concord Gray granite materials, these samples present two known standards with which to compare PING's experimentally measured elemental composition results. We will present experimental results from PING measurements of both the granite and basalt test formations and show how and why the optimum PING instrument operating parameters differ for studying the two materials.

Parsons, A.↗

The Probing In-Situ With Neutron and Gamma Rays (PING) Instrument for Planetary Composition Measurements

The Probing In situ with Neutrons and Gamma rays (PING) instrument (formerly named PNG-GRAND) [I] experiment is an innovative application of the active neutron-gamma ray technology successfully used in oil field well logging and mineral exploration on Earth over many decades. The objective of our active neutron-gamma ray technology program at NASA Goddard Space Flight Center (NASA/GSFC) is to bring PING to the point where it can be flown on a variety of surface lander or rover missions to the Moon, Mars, Venus, asteroids, comets and the satellites of the outer planets and measure their bulk surface and subsurface elemental composition without the need to drill into the surface. Gamma-Ray Spectrometers (GRS) have been incorporated into numerous orbital planetary science missions. While orbital measurements can map a planet, they have low spatial and elemental sensitivity due to the low surface gamma ray emission rates reSUlting from using cosmic rays as an excitation source, PING overcomes this limitation in situ by incorporating a powerful neutron excitation source that permits significantly higher elemental sensitivity elemental composition measurements. PING combines a 14 MeV deuterium-tritium Pulsed Neutron Generator (PNG) with a gamma ray spectrometer and two neutron detectors to produce a landed instrument that can determine the elemental composition of a planet down to 30 - 50 cm below the planet's surface, The penetrating nature of .5 - 10 MeV gamma rays and 14 MeV neutrons allows such sub-surface composition measurements to be made without the need to drill into or otherwise disturb the planetary surface, thus greatly simplifying the lander design, We are cun'ently testing a PING prototype at a unique outdoor neutron instrumentation test facility at NASA/GSFC that provides two large (1.8 m x 1.8 m x ,9 m) granite and basalt test formations placed outdoors in an empty field, Since an independent trace elemental analysis has been performed on both these Columbia River basalt and Concord Gray granite materials, these large samples present two known standards with which to compare PING's experimentally measured elemental composition results, We will present both gamma ray and neutron experimental results from PING measurements of the granite and basalt test formations in various layering configurations and compare the results to the known composition.

Parsons, A.↗

Active Neutron and Gamma-Ray Instrumentation for In Situ Planetary Science Applications

We describe the development of an instrument capable of detailed in situ bulk geochemical analysis of the surface of planets, moons, asteroids, and comets. This instrument technology uses a pulsed neutron generator to excite the solid materials of a planet and measures the resulting neutron and gamma-ray emission with its detector system. These time-resolved neutron and gamma-ray data provide detailed information about the bulk elemental composition, chemical context, and density distribution of the soil within 50 cm of the surface. While active neutron scattering and neutron-induced gamma-ray techniques have been used extensively for terrestrial nuclear well logging applications, our goal is to apply these techniques to surface instruments for use on any solid solar system body. As described, experiments at NASA Goddard Space Flight Center use a prototype neutron-induced gamma-ray instrument and the resulting data presented show the promise of this technique for becoming a versatile, robust, workhorse technology for planetary science, and exploration of any of the solid bodies in the solar system. The detection of neutrons at the surface also provides useful information about the material. This paper focuses on the data provided by the gamma-ray detector.

Parsons, A.↗

Model Checking A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV) for a subset of digraphs. Modeling challenges of the protocol and the system are addressed. The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period.

Malekpour, Mahyar R.↗

Subsurface In Situ Elemental Composition Measurements with PING

This paper describes the Probing In situ with Neutron and Gamma rays (PING) instrument, that can measure the subsurface elemental composition in situ for any rocky body in the solar system without the need for digging into the surface. PING consists of a Pulsed Neutron Generator (PNG), a gamma ray spectrometer and neutron detectors. Subsurface elements are stimulated by high-energy neutrons to emit gamma rays at characteristic energies. This paper will show how the detection of these gamma rays results in a measurement of elemental composition. Examples of the basalt to granite ratios for aluminum and silicon abundance are provided.

Parsons, Ann↗

A Self-Stabilizing Hybrid-Fault Tolerant Synchronization Protocol

In this report we present a strategy for solving the Byzantine general problem for self-stabilizing a fully connected network from an arbitrary state and in the presence of any number of faults with various severities including any number of arbitrary (Byzantine) faulty nodes. Our solution applies to realizable systems, while allowing for differences in the network elements, provided that the number of arbitrary faults is not more than a third of the network size. The only constraint on the behavior of a node is that the interactions with other nodes are restricted to defined links and interfaces. Our solution does not rely on assumptions about the initial state of the system and no central clock nor centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. We also present a mechanical verification of a proposed protocol. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV). The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirming claims of determinism and linear convergence with respect to the self-stabilization period. We believe that our proposed solution solves the general case of the clock synchronization problem.

Malekpour, Mahyar R.↗

A Self-Stabilizing Hybrid Fault-Tolerant Synchronization Protocol

This paper presents a strategy for solving the Byzantine general problem for self-stabilizing a fully connected network from an arbitrary state and in the presence of any number of faults with various severities including any number of arbitrary (Byzantine) faulty nodes. The strategy consists of two parts: first, converting Byzantine faults into symmetric faults, and second, using a proven symmetric-fault tolerant algorithm to solve the general case of the problem. A protocol (algorithm) is also present that tolerates symmetric faults, provided that there are more good nodes than faulty ones. The solution applies to realizable systems, while allowing for differences in the network elements, provided that the number of arbitrary faults is not more than a third of the network size. The only constraint on the behavior of a node is that the interactions with other nodes are restricted to defined links and interfaces. The solution does not rely on assumptions about the initial state of the system and no central clock nor centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. A mechanical verification of a proposed protocol is also present. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV). The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirming claims of determinism and linear convergence with respect to the self-stabilization period.

Malekpour, Mahyar R.↗