Search NASA⌕ Search

SEARCH · Search NASA

Results for “SIGNAL GENERATOR”

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 307 records · Page 17

Multi-segment detector

A plurality of stretcher detector segments are connected in series whereby detector signals generated when a bubble passes thereby are added together. Each of the stretcher detector segments is disposed an identical propagation distance away from passive replicators wherein bubbles are replicated from a propagation path and applied, simultaneously, to the stretcher detector segments. The stretcher detector segments are arranged to include both dummy and active portions thereof which are arranged to permit the geometry of both the dummy and active portions of the segment to be substantially matched.

George, Peter K.↗

TEM Cell Testing of Cable Noise Reduction Techniques From 2 MHz to 200 MHz - Part 1

This paper presents empirical results of cable noise reduction techniques as demonstrated in a TEM cell operating with radiated fields from 2 - 200 MHz. It is the first part of a two-paper series. This first paper discusses cable types and shield connections. In the second paper, the effects of load and source resistances and chassis connections are examined. For each topic, well established theories are compared to data from a real-world physical system. Finally, recommendations for minimizing cable susceptibility (and thus cable emissions) are presented. There are numerous papers and textbooks that present theoretical analyses of cable noise reduction techniques. However, empirical data is often targeted to low frequencies (e.g. <50 KHz) or high frequencies (>100 MHz). Additionally, a comprehensive study showing the relative effects of various noise reduction techniques is needed. These include the use of dedicated return wires, twisted wiring, cable shielding, shield connections, changing load or source impedances, and implementing load- or source-to-chassis isolation. We have created an experimental setup that emulates a real-world electrical system, while still allowing us to independently vary a host of parameters. The goal of the experiment was to determine the relative effectiveness of various noise reduction techniques when the cable is in the presence of radiated emissions from 2 MHz to 200 MHz. The electronic system (Fig. 1) consisted of two Hammond shielded electrical enclosures, one containing the source resistance, and the other containing the load resistance. The boxes were mounted on a large aluminium plate acting as the chassis. Cables connecting the two boxes measured 81 cm in length and were attached to the boxes using standard D38999 military-style connectors. The test setup is shown in Fig. 2. Electromagnetic fields were created using an HP8657B signal generator, MiniCircuits ZHL-42W-SMA amplifier, and an EMCO 5103 TEM cell. Measurements were taken using an Agilent E4401B spectrum analyzer and HP1141a differential probes.

Bradley, Arthur T.↗

Narrow-Band WGM Optical Filters With Tunable FSRs

Optical resonators of the whispering-gallery-mode (WGM) type featuring DC-tunable free spectral ranges (FSRs) have been demonstrated. By making the FSR tunable, one makes it possible to adjust, during operation, the frequency of a microwave signal generated by an optoelectronic oscillator in which an WGM optical resonator is utilized as a narrow-band filter.

Mohageg, Makan↗

Analytical Model of the Nonlinear Dynamics of Cantilever Tip-Sample Surface Interactions for Various Acoustic-Atomic Force Microscopies

A comprehensive analytical model of the interaction of the cantilever tip of the atomic force microscope (AFM) with the sample surface is developed that accounts for the nonlinearity of the tip-surface interaction force. The interaction is modeled as a nonlinear spring coupled at opposite ends to linear springs representing cantilever and sample surface oscillators. The model leads to a pair of coupled nonlinear differential equations that are solved analytically using a standard iteration procedure. Solutions are obtained for the phase and amplitude signals generated by various acoustic-atomic force microscope (A-AFM) techniques including force modulation microscopy, atomic force acoustic microscopy, ultrasonic force microscopy, heterodyne force microscopy, resonant difference-frequency atomic force ultrasonic microscopy (RDF-AFUM), and the commonly used intermittent contact mode (TappingMode) generally available on AFMs. The solutions are used to obtain a quantitative measure of image contrast resulting from variations in the Young modulus of the sample for the amplitude and phase images generated by the A-AFM techniques. Application of the model to RDF-AFUM and intermittent soft contact phase images of LaRC-cp2 polyimide polymer is discussed. The model predicts variations in the Young modulus of the material of 24 percent from the RDF-AFUM image and 18 percent from the intermittent soft contact image. Both predictions are in good agreement with the literature value of 21 percent obtained from independent, macroscopic measurements of sheet polymer material.

Cantrell, John H., Jr.↗

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

Optical See-Through Head Mounted Display Direct Linear Transformation Calibration Robustness in the Presence of User Alignment Noise

Augmented Reality (AR) is a technique by which computer generated signals synthesize impressions that are made to coexist with the surrounding real world as perceived by the user. Human smell, taste, touch and hearing can all be augmented, but most commonly AR refers to the human vision being overlaid with information otherwise not readily available to the user. A correct calibration is important on an application level, ensuring that e.g. data labels are presented at correct locations, but also on a system level to enable display techniques such as stereoscopy to function properly [SOURCE]. Thus, vital to AR, calibration methodology is an important research area. While great achievements already have been made, there are some properties in current calibration methods for augmenting vision which do not translate from its traditional use in automated cameras calibration to its use with a human operator. This paper uses a Monte Carlo simulation of a standard direct linear transformation camera calibration to investigate how user introduced head orientation noise affects the parameter estimation during a calibration procedure of an optical see-through head mounted display.

Axholt, Magnus↗

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

Carbon-Nanotube Schottky Diodes

Schottky diodes based on semiconducting single-walled carbon nanotubes are being developed as essential components of the next generation of submillimeter-wave sensors and sources. Initial performance predictions have shown that the performance characteristics of these devices can exceed those of the state-of-the-art solid-state Schottky diodes that have been the components of choice for room-temperature submillimeter-wave sensors for more than 50 years. For state-of-the-art Schottky diodes used as detectors at frequencies above a few hundred gigahertz, the inherent parasitic capacitances associated with their semiconductor junction areas and the resistances associated with low electron mobilities limit achievable sensitivity. The performance of such a detector falls off approximately exponentially with frequency above 500 GHz. Moreover, when used as frequency multipliers for generating signals, state-of-the-art solid-state Schottky diodes exhibit extremely low efficiencies, generally putting out only micro-watts of power at frequencies up to 1.5 THz. The shortcomings of the state-of-the-art solid-state Schottky diodes can be overcome by exploiting the unique electronic properties of semiconducting carbon nanotubes. A single-walled carbon nanotube can be metallic or semiconducting, depending on its chirality, and exhibits high electron mobility (recently reported to be approx.= 2x10(exp 5)sq cm/V-s) and low parasitic capacitance. Because of the narrowness of nanotubes, Schottky diodes based on carbon nanotubes have ultra-small junction areas (of the order of a few square nanometers) and consequent junction capacitances of the order of 10(exp -18) F, which translates to cutoff frequency >5 THz. Because the turn-on power levels of these devices are very low (of the order of nano-watts), the input power levels needed for pumping local oscillators containing these devices should be lower than those needed for local oscillators containing state-of-the-art solid-state Schottky diodes.

Manohara, Harish↗

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

164-GHz MMIC HEMT Frequency Doubler

A monolithic microwave integrated circuit (MMIC) that includes a high-electron-mobility transistor (HEMT) has been developed as a prototype of improved frequency doublers for generating signals at frequencies greater than 100 GHz. Signal sources that operate in this frequency range are needed for a variety of applications, notably including general radiometry and, more specifically, radiometric remote sensing of the atmosphere. Heretofore, it has been common practice to use passive (diode-based) frequency multipliers to obtain frequencies greater than 100 GHz. Unfortunately, diode-based frequency multipliers are plagued by high DC power consumption and low conversion efficiency. Moreover, multiplier diodes are not easily integrated with such other multiplier-circuit components as amplifiers and oscillators. The goals of developing the present MMIC HEMT frequency doubler were (1) to utilize the HEMT as an amplifier to increase conversion efficiency (more precisely, to reduce conversion loss), thereby increasing the output power for a given DC power consumption or, equivalently, reducing the DC power consumption for a given output power; and (2) to provide for the integration of amplifier and oscillator components on the same chip. The MMIC frequency doubler (see Figure 1) contains an AlInAs/GaInAs/InP HEMT biased at pinch-off to make it function as a class-B amplifier (meaning that it conducts in half-cycle pulses). Grounded coplanar waveguides (GCPWs) are used as impedance-matching transmission lines. Air bridges are placed at discontinuities to suppress undesired slot electromagnetic modes. Another combination of GCPWs also serves both as a low-pass filter to suppress undesired oscillations at frequencies below 60 GHz and as a DC blocker. Large decoupling capacitors and epitaxial resistors are added in the drain and gate lines to suppress bias oscillations. At the output terminal, the fundamental frequency is suppressed by a quarter-wave open stub, which presents a short circuit at the fundamental frequency and an open circuit at the second harmonic. At an input power of 7 mW, the output power and conversion loss at an output frequency of 164 GHz were found to be 5 dBm (approximately equal to 3.2 mW) and 2 dB, respectively, with a 3-dB output-power bandwidth of 14 GHz. This is the best performance reported to date for an MMIC HEMT frequency doubler above 100 GHz.

Samoska, Lorene↗

MMIC HEMT Power Amplifier for 140 to 170 GHz

A three-stage monolithic microwave integrated circuit (MMIC) power amplifier that features high-electron-mobility transistors (HEMTs) as gain elements is reviewed. This amplifier is designed to operate in the frequency range of 140 to 170 GHz, which contains spectral lines of several atmospheric molecular species plus subharmonics of other such spectral lines. Hence, this amplifier could serve as a prototype of amplifiers to be incorporated into heterodyne radiometers used in atmospheric science. The original intended purpose served by this amplifier is to boost the signal generated by a previously developed 164-GHz MMIC HEMT doubler and drive a 164-to-328-GHz doubler to provide a few milliwatts of power at 328 GHz.

Samoska, Lorene↗

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

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

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

Multiplexing of Hot-Electron Nanobolometers Using Microwave SQUIDs

We have obtained the first data on the multiplexed operation of titanium hot-electron bolometers (HEB). Because of their low thermal conductance and small electron heat capacity nanobolometers are particularly interesting as sensors for far-infrared spectroscopy and mid- and near-IR calorimetry. However, the short time constant of these devices (approximately microseconds at 300-400 mK) makes time domain or audio-frequency domain multiplexing impractical. The Microwave SQUID (MSQUID) approach pursued in this work uses dc SQUIDs coupled to X-band microresonators which are, in turn, coupled to a transmission line. We used a 4-element array of Ti HEBs operated at 415 mK in a He3 dewar with an optical fiber access. The microwave signal exhibited 10-MHz wide resonances at individual MSQUD frequencies between 9 GHz and 10 GHz. The resonance depth is modulated by the current through the bolometer via a change of the SQUID flux state. The transmitted signal was amplified by a cryogenic amplifier and downconverted to baseband using an IQ mixer. A 1-dB per ??/2 responsivity was sufficient for keeping the system noise at the level of ~ 2 pA/Hz1/2. This is more than an order of magnitude smaller than phonon noise in the HEB. The devices were able to detect single near- IR photons (1550 nm) with a time constant of 3.5 ?s. Follow-on work will scale the array to larger size and will address the microwave frequency signal generation and processing using a digital transceiver.

microwave readout↗

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

Pointing System Simulation Toolbox with Application to a Balloon Mission Simulator

The development of attitude estimation and pointing-control algorithms is necessary in order to achieve high-fidelity modeling for a Balloon Mission Simulator (BMS). A pointing system simulation toolbox was developed to enable this. The toolbox consists of a star-tracker (ST) and Inertial Measurement Unit (IMU) signal generator, a UDP (User Datagram Protocol) communication le (bridge), and an indirect-multiplicative extended Kalman filter (imEKF). This document describes the Python toolbox developed and the results of its implementation in the imEKF.

Maringolo Baldraco, Rosana M.↗

Using the Hottest Particles in the Universe to Probe Icy Solar System Worlds

We present results of our Phase 1 NIAC Study to determine the feasibility of developing a competitive, low cost, low power, low mass passive instrument to measure ice depth on outer planet ice moons, such as Europa, Ganymede, Callisto, and Enceladus. Indirect measurements indicate that liquid water oceans are likely present beneath the icy shells of such moons (see e.g.,the JPL press release "The Solar System and Beyond is Awash in Water"), which has important astrobiological implications. Determining the thickness of these ice shells is challenging given spacecraft SWaP (Size, Weight and Power) resources. The current approach uses a suite of instruments, including a high power, massive ice penetrating radar. The instrument under study, called PRIDE (Passive Radio Ice Depth Experiment) exploits a remarkable confluence between methods from the high energy particle physics and the search for extraterrestrial life within the solar system. PRIDE is a passive receiver of a naturally occurring radio frequency (RF) signal generated by interactions of deep penetrating Extremely High Energy (> 10^18 eV) cosmic ray neutrinos. It could measure ice thickness directly, and at a significant savings to spacecraft resources. At RF frequencies the transparency of modeled Europan ice is up to many km, so an RF sensor in orbit can observe neutrino interactions to great depths, and thereby probe the thickness of the ice layer.

Exploration↗