Search NASA⌕ Search

SEARCH · Search NASA

Results for “Signal 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

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↗

Optimization of Elastodynamic Finite Integration Technique on Intel Xeon Phi Knights Landing Processors

This work describes the development and optimization of an implementation of an isotropic elastodynamic finite integration technique (EFIT) code for parallelized computation on Intel Knights Landing (KNL) hardware. EFIT is a numerical approach resulting in standard staggered-grid finite difference equations for the elastodynamic equations of motion to simulate bulk waves is solids. The computationally efficient simulation of elastodynamic wave propagation and interactions in aerospace materials is of high-interest in the fields of nondestructive evaluation (NDE) and structural health monitoring (SHM). Ultrasonic inspection uses an ultrasonic signal, generated at the surface of the material/structure via use of a piezoelectric transducer, to propagate sound waves into the material where it interacts with any existing defects, as well as with structural boundaries and any material inhomogeneity. Reflections from defects and boundaries are then measured by a transducer. Realistic ultrasound simulation tools can significantly aid the development and optimization of inspection techniques and can assist in the interpretation of experimental data. The optimization of an elastodynamics simulation code for the KNL Many Integrated Core processor was performed. The optimization focused on data locality and vectorization. Results show that tiling of the data to exploit the cache behavior and allow for significant utilization of the KNL hardware. The MPI implementation allows for a scalable implementation enabling large problems to be simulated. The model results were validated against theoretical dispersion curves to within 2% of the group velocity, and within 0.5% of the phase velocity of the A0 mode. Aggressive use of tiling, threading, and vectorization techniques allowed for dramatically improved time to solution.

William C. Schneck↗

POEMMA’s Target-of-Opportunity Sensitivity to Cosmic Neutrino Transient Sources

We investigate the capability of the Probe Of Extreme Multi-Messenger Astrophysics (POEMMA)in performing Target-of-Opportunity (ToO) neutrino observations. POEMMA is a proposed space-based probe-class mission for ultra high-energy cosmic ray and very-high-energy neutrino detection using two spacecraft, each equipped with a large Schmidt telescope to detect optical and near-ultraviolet signals generated by extensive air showers (EASs). POEMMA will be sensitive to Cherenkov radiation from upward-moving EASs initiated by tau neutrinos interacting in the Earth. POEMMA will be able to quickly re-point (90◦in 500 s) each of the two spacecraft to the direction of an astrophysical source, which in combination with its orbital speed will provide it with unparalleled capability to follow up transient alerts. We calculate POEMMA’s transient sensitivity for two observational configurations for the satellites (ToO-stereo and ToO-dual for smaller and larger satellite separations, respectively) and investigate the impact of variations arising due to POEMMA’s orbital characteristics on its sensitivity to tau neutrinos in various regions of the sky. We explore separate scenarios for long (∼105−6s) and short (∼103s) duration events, accounting for intrusion from the Sun and the Moon in the long-duration scenario. We compare the sensitivity and sky coverage of POEMMA for ToO observations with those for existing experiments (e.g., IceCube, ANTARES, and the Pierre Auger Observatory) and other proposed future experiments (e.g., GRAND200k).For long bursts, we find that POEMMA will provide a factor of&7 improvement in average neutrino sensitivity above 300 PeV with respect to existing experiments, reaching the level of model predictions for neutrino fluences at these energies and above from several types of long-duration astrophysical transients (e.g., binary neutron star mergers and tidal disruption events). For short bursts, POEMMA will improve the sensitivity over existing experiments by at least an order of magnitude forEν∼>100 PeV in the “best-case” scenario. POEMMA’s orbital characteristics and rapid re-pointing capability will provide it access to the full celestial sky, including regions that will not be accessible to ground-based neutrino experiments. Finally, we discuss the prospects for POEMMA to detect neutrinos from candidate astrophysical neutrino sources in the nearby universe. Our results demonstrate that with its improved neutrino sensitivity at ultra-high energies and unique full-sky coverage, POEMMA will be an essential, complementary component in a rapidly expanding multi-messenger network.

Tonia M Venters↗

Shared performance monitor in a multiprocessor system

A performance monitoring unit (PMU) and method for monitoring performance of events occurring in a multiprocessor system. The multiprocessor system comprises a plurality of processor devices units, each processor device for generating signals representing occurrences of events in the processor device, and, a single shared counter resource for performance monitoring. The performance monitor unit is shared by all processor cores in the multiprocessor system. The PMU is further programmed to monitor event signals issued from non-processor devices.

97 MATHEMATICS AND COMPUTING↗

Power control apparatus and methods for electric vehicles

Electric vehicle (EV) charging apparatus and methods are described which allow the sharing of charge current between multiple vehicles connected to a single source of charging energy. In addition, this charge sharing can be performed in a grid-friendly manner by lowering current supplied to EVs when necessary in order to satisfy the needs of the grid, or building operator. The apparatus and methods can be integrated into charging stations or can be implemented with a middle-man approach in which a multiple EV charging box, which includes an EV emulator and multiple pilot signal generation circuits, is coupled to a single EV charge station.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Plug-in electric vehicle (PEV) smart charging module

A smart charging system for charging a plug-in electric vehicle (PEV) includes an electric vehicle supply equipment (EVSE) configured to supply electrical power to the PEV through a smart charging module coupled to the EVSE. The smart charging module comprises an electronic circuitry which includes a processor. The electronic circuitry includes electronic components structured to receive electrical power from the EVSE, and supply the electrical power to the PEV. The electronic circuitry is configured to measure a charging parameter of the PEV. The electronic circuitry is further structured to emulate a pulse width modulated signal generated by the EVSE. The smart charging module can also include a first coupler structured to be removably couple to the EVSE and a second coupler structured to be removably coupled to the PEV.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗