Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Operational amplifier”

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 883 records · Page 49
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Early Results from NASA’s Laser Communications Relay Demonstration (LCRD) Experiment Program

The National Aeronautics and Space Administration’s (NASA) Laser Communications Relay Demonstration (LCRD) mission began its two-year Experiment Program in June 2022. This experimental phase includes long-term measurement of the effects of the atmosphere (turbulence, weather) on the performance and availability of lasercom. Furthermore, various future operational scenarios including robotic and exploration missions and various network service configurations are being emulated. In addition to experiments and demonstrations proposed by the LCRD Investigator Team, NASA enables individuals and groups from government agencies, academia, and industry to propose experiments under the LCRD Guest Experimenters Program. This conference paper provides highlights of the early LCRD experiments and a preview of the future experiments, including relaying data to and from the Integrated LCRD Low-Earth Orbit (LEO) User Modem and Amplifier Terminal (ILLUMA-T) on the International Space Station. The LCRD geosynchronous payload includes two laser communications terminals interconnected via an onboard electronic switch, and can relay information between two optical ground stations located in California and Hawaii. LCRD is a joint project involving NASA Goddard Space Flight Center (GSFC), the NASA Jet Propulsion Laboratory (JPL), and Massachusetts Institute of Technology Lincoln Laboratory (MIT LL).

lasercom↗
NASA NTRSDate not supplied

Early Results from NASA’s Laser Communications Relay Demonstration (LCRD) Experiment Program

The National Aeronautics and Space Administration’s (NASA) Laser Communications Relay Demonstration (LCRD) mission began its two-year Experiment Program in June 2022. This experimental phase includes long-term measurement of the effects of the atmosphere (turbulence, weather) on the performance and availability of lasercom. Furthermore, various future operational scenarios including robotic and exploration missions and various network service configurations are being emulated. In addition to experiments and demonstrations proposed by the LCRD Investigator Team, NASA enables individuals and groups from government agencies, academia, and industry to propose experiments under the LCRD Guest Experimenters Program. This conference paper provides highlights of the early LCRD experiments and a preview of the future experiments, including relaying data to and from the Integrated LCRD Low-Earth Orbit (LEO) User Modem and Amplifier Terminal (ILLUMA-T) on the International Space Station. The LCRD geosynchronous payload includes two laser communications terminals interconnected via an onboard electronic switch, and can relay information between two optical ground stations located in California and Hawaii. LCRD is a joint project involving NASA Goddard Space Flight Center (GSFC), the NASA Jet Propulsion Laboratory (JPL), and Massachusetts Institute of Technology Lincoln Laboratory (MIT LL).

lasercom↗
NASA NTRS2004

Ultrasensitive Label-free Electronic Chip for DNA Analysis Using Carbon Nanotube Nanoelectrode Arrays

There is a strong need for faster, cheaper, and simpler methods for nucleic acid analysis in today s clinical tests. Nanotechnologies can potentially provide solutions to these requirements by integrating nanomaterials with biofunctionalities. Dramatic improvement in the sensitivity and multiplexing can be achieved through the high-degree miniaturization. Here, we present our study in the development of an ultrasensitive label-free electronic chip for DNA/RNA analysis based on carbon nanotube nanoelectrode arrays. A reliable nanoelectrode array based on vertically aligned multi-walled carbon nanotubes (MWNTs) embedded in a SiO2 matrix is fabricated using a bottom-up approach. Characteristic nanoelectrode behavior is observed with a low-density MWNT nanoelectrode array in measuring both the bulk and surface immobilized redox species. The open-end of MWNTs are found to present similar properties as graphite edge-plane electrodes, with a wide potential window, flexible chemical functionalities, and good biocompatibility. A BRCA1 related oligonucleotide probe with 18 bases is covalently functionalized at the open ends of the MWNTs and specifically hybridized with an oligonucleotide target as well as a PCR amplicon. The guanine bases in the target molecules are employed as the signal moieties for the electrochemical measurements. Ru(bpy)3(2+) mediator is used to further amplify the guanine oxidation signal. This technique has been employed for direct electrochemical detection of label-free PCR amplicon through specific hybridization with the BRCAl probe. The detection limit is estimated to be less than approximately 1000 DNA molecules, approaching the limit of the sensitivity by laser-based fluorescence techniques in DNA microarray. This system provides a general electronic platform for rapid molecular diagnostics in applications requiring ultrahigh sensitivity, high-degree of miniaturization, simple sample preparation, and low- cost operation.

Li, Jun↗
NASA NTRS1994

A monolithic Si bolometer array for the Caltech Submillimeter Observatory

We are developing a submillimeter continuum camera for the Caltech Submillimeter Observatory (CSO) located on Mauna Kea. The camera will employ a monolithic Si bolometer array which was developed by Moseley et al. at the NASA Goddard Space Flight Center (GSFC). The camera will be cooled to a temperature of about 300 mK in a He-3 cryostat, and will operate primarily at wavelengths of 350 and 450 micrometers. We plan to use a bolometer array with 1x24 directly illuminated pixels, each pixel of dimension 1x2 sq mm, which is about half of the F/4 beam size at these wavelengths. Each pixel is 10 to 12 micrometers thick and is supported only by four thin Si legs formed by wet chemical etch. The pixels are doped n-type by phosphorus implantation, compensated by boron implantation. Signals from the bolometer pixels are first amplified by cryogenically cooled FET's. The signals are further amplified by room-temperature amplifiers and then separately digitized by 16 bit A/D converters with differential inputs. The outputs of the A/D converters are fed into a digital signal processing board via fiber-optic cables. The electronics and data acquisition system were designed by the Goddard group. We will report the status of this effort.

Wang, Ning↗
NASA NTRS1993

Ultra low-noise charge coupled device

Special purpose CCD designed for ultra low-noise imaging and spectroscopy applications that require subelectron read noise floors, wherein a non-destructive output circuit operating near its 1/f noise regime is clocked in a special manner to read a single pixel multiple times. Off-chip electronics average the multiple values, reducing the random noise by the square-root of the number of samples taken. Noise floors below 0.5 electrons rms are possible in this manner. In a preferred embodiment of the invention, a three-phase CCD horizontal register is used to bring a pixel charge packet to an input gate adjacent a floating gate amplifier. The charge is then repeatedly clocked back and forth between the input gate and the floating gate. Each time the charge is injected into the potential well of the floating gate, it is sensed non-destructively. The floating gate amplifier is provided with a reference voltage of a fixed value and a pre-charge gate for resetting the amplifier between charge samples to a constant gain. After the charge is repeatedly sampled a selected number of times, it is transferred by means of output gates, back into the horizontal register, where it is clocked in a conventional manner to a diffusion MOSFET amplifier. It can then be either sampled (destructively) one more time or otherwise discarded.

Janesick, James R.↗
NASA NTRS1990

Numerical simulation of particle-wave interaction in boundary layers

The effects of wall injection and particle motion on the spatial stability of two-dimensional plane channel flow are investigated. For this purpose, an accurate Navier-Stokes solver to simulate the space-time evolution of disturbances in three-dimensional flows has been developed. The code is operational on the NASA Langley CRAY2 and can be ported to any other supercomputer. The code has been tested extensively in tracking the spatial evolution of two-dimensional disturbances in plane channel flow and provided excellent agreement with the linear theory including at the inflow/outflow boundaries. Preliminary calculations have been performed to investigate the effects of stationary and moving sources of vortical disturbances simulating a particle traveling in the flow field. Results suggest that even at very low amplitudes, vortical disturbances act as amplifiers on the Tollmien-Schlichting waves promoting rapid instability. It is also found that slow moving particles are more dangerous than both stationary and fast moving particles for the same disturbance levels.

Biringen, S.↗
NASA NTRS2009

Synthesis of Submillimeter Radiation for Spectroscopy

The frequency-multiplier submillimeter spectrometer (FMSS) is a laboratory apparatus for far-infrared molecular spectroscopy, embodying several advances over prior such apparatuses. The most innovative part of the FMSS is a source of monochromatic submillimeter- wavelength radiation that can be tuned over a wide frequency range, as needed for trace gas analyses and molecular- structure studies for which such apparatuses are typically used. The radiation source features a modular design and is built mostly from commercially available components. It includes a computer-controlled radio-frequency synthesizer, amplifiers, and frequency multipliers of a type heretofore used in local oscillators for heterodyne far-infrared receivers. In conjunction with the rest of the apparatus, this source makes it possible to perform measurements over large portions of the submillimeter-wavelength spectrum with resolution, accuracy, and sensitivity greater than those achievable in Fourier-transform infrared spectroscopy. In comparison with prior laboratory submillimeter- wavelength radiation sources, this source is much lighter in weight, less cumbersome, less power-hungry, and capable of sustained operation with less intervention by laboratory personnel. Also, unlike some prior submillimeter-wavelength sources, this source does not require a high-voltage power source. As shown in more detail in the figure, the radiation source includes a sweep frequency synthesizer connected to an external waveform generator, the output of which is used as a reference signal. The synthesizer is computer-controlled through a standard general-purpose interface bus (GPIB) and is operated in phase-locked continuous- wave mode for all measurements. The synthesizer output ranges in frequency from 11 to 18 GHz. For suppression of frequency spurs and harmonics, the output of the frequency synthesizer is fed through a tunable yttrium iron garnet (YIG) filter, which is swept in frequency simultaneously with the frequency synthesizer.

Maiwald, Frank↗
NASA NTRS1998

Ultrasonic Leak Detection System

A system for detecting ultrasonic vibrations. such as those generated by a small leak in a pressurized container. vessel. pipe. or the like. comprises an ultrasonic transducer assembly and a processing circuit for converting transducer signals into an audio frequency range signal. The audio frequency range signal can be used to drive a pair of headphones worn by an operator. A diode rectifier based mixing circuit provides a simple, inexpensive way to mix the transducer signal with a square wave signal generated by an oscillator, and thereby generate the audio frequency signal. The sensitivity of the system is greatly increased through proper selection and matching of the system components. and the use of noise rejection filters and elements. In addition, a parabolic collecting horn is preferably employed which is mounted on the transducer assembly housing. The collecting horn increases sensitivity of the system by amplifying the received signals. and provides directionality which facilitates easier location of an ultrasonic vibration source.

Youngquist, Robert C.↗
NASA NTRS2003

NASA Tech Briefs, February 2003

opics covered include: Integrated Electrode Arrays for Neuro-Prosthetic Implants; Eroding Potentiometers; Common/Dependent-Pressure-Vessel Nickel-Hydrogen Batteries; 120-GHz HEMT Oscillator With Surface-Wave-Assisted Antenna; 80-GHz MMIC HEMT Voltage-Controlled Oscillator; High-Energy-Density Capacitors; Microscale Thermal-Transpiration Gas Pump; Instrument for Measuring Temperature of Water; Improved Measurement of Coherence in Presence of Instrument Noise; Compact Instruments Measure Helium-Leak Rates; Irreversible Entropy Production in Two-Phase Mixing Layers; Subsonic and Supersonic Effects in Bose-Einstein Condensate; Nanolaminate Mirrors With "Piston" Figure-Control Actuators; Mixed Conducting Electrodes for Better AMTEC Cells; Process for Encapsulating Protein Crystals; Lightweight, Self-Deployable Wheels; Grease-Resistant O Rings for Joints in Solid Rocket Motors; LabVIEW Serial Driver Software for an Electronic Load; Software Computes Tape-Casting Parameters; Software for Tracking Costs of Mars Projects; Software for Replicating Data Between X.500 and LDAP Directories; The Technical Work Plan Tracking Tool; Improved Multiple-DOF SAW Piezoelectric Motors; Propulsion Flight-Test Fixture; Mechanical Amplifier for a Piezoelectric Transducer; Swell Sleeves for Testing Explosive Devices; Linear Back-Drive Differentials; Miniature Inchworm Actuators Fabricated by Use of LIGA; Using ERF Devices to Control Deployments of Space Structures; High-Temperature Switched-Reluctance Electric Motor; System for Centering a Turbofan in a Nacelle During Tests; Fabricating Composite-Material Structures Containing SMA Ribbons; Optimal Feedback Control of Thermal Networks; Artifacts for Calibration of Submicron Width Measurements; Navigating a Mobile Robot Across Terrain Using Fuzzy Logic; Designing Facilities for Collaborative Operations; and Quantitating Iron in Serum Ferritin by Use of ICP-MS.

Source record↗
NASA NTRS2012

High-Altitude MMIC Sounding Radiometer for the Global Hawk Unmanned Aerial Vehicle

Microwave imaging radiometers operating in the 50-183 GHz range for retrieving atmospheric temperature and water vapor profiles from airborne platforms have been limited in the spatial scales of atmospheric structures that are resolved not because of antenna aperture size, but because of high receiver noise masking the small variations that occur on small spatial scales. Atmospheric variability on short spatial and temporal scales (second/ km scale) is completely unresolved by existing microwave profilers. The solution was to integrate JPL-designed, high-frequency, low-noise-amplifier (LNA) technology into the High-Altitude MMIC Sounding Radiometer (HAMSR), which is an airborne microwave sounding radiometer, to lower the system noise by an order of magnitude to enable the instrument to resolve atmospheric variability on small spatial and temporal scales. HAMSR has eight sounding channels near the 60-GHz oxygen line complex, ten channels near the 118.75-GHz oxygen line, and seven channels near the 183.31-GHz water vapor line. The HAMSR receiver system consists of three heterodyne spectrometers covering the three bands. The antenna system consists of two back-to-back reflectors that rotate together at a programmable scan rate via a stepper motor. A single full rotation includes the swath below the aircraft followed by observations of ambient (roughly 0 C in flight) and heated (70 C) blackbody calibration targets located at the top of the rotation. A field-programmable gate array (FPGA) is used to read the digitized radiometer counts and receive the reflector position from the scan motor encoder, which are then sent to a microprocessor and packed into data files. The microprocessor additionally reads telemetry data from 40 onboard housekeeping channels (containing instrument temperatures), and receives packets from an onboard navigation unit, which provides GPS time and position as well as independent attitude information (e.g., heading, roll, pitch, and yaw). The raw data files are accessed through an Ethernet port. The HAMSR data rate is relatively low at 75 kbps, allowing for real-time access over the Global Hawk high-data-rate downlink. Once on the ground, the raw data are unpacked and processed through two levels of processing. The Level 1 product contains geo-located, time-stamped, calibrated brightness temperatures for the Earth scan. These data are then input to a lD variational retrieval algorithm to produce temperature, water vapor, and cloud liquid water profiles, as well as several derived products such as potential temperature and relative humidity.

Brown, Shannon T.↗
NASA NTRS1963

Masers for the telstar satellite communications experiment

This paper discusses the design and characteristics of ruby traveling-wave masers operating at 4 gc. These masers, characterized by an average gain of ≈35 db over a bandwidth of 25 mc, are equipped with waveguide input transmission lines, rather than the previously employed coaxial cables. This change results in an over-all noise temperature of 3.5°K for these devices, rather than the 10°K exhibited by earlier masers. The maser noise temperature now closely approximates sky temperatures, which set the ultimate limit on earthbound receiver sensitivity. The improvements to be had by further reduction in amplifier noise are therefore almost negligible. A less well known maser property, i.e., its freedom from distortion, even when driven well into gain saturation, is discussed.

TELSTAR SATELLITE↗
NASA NTRS2003

Multi-scale variation in spatial heterogeneity for microbial community structure in an eastern Virginia agricultural field

To better understand the distribution of soil microbial communities at multiple spatial scales, a survey was conducted to examine the spatial organization of community structure in a wheat field in eastern Virginia (USA). Nearly 200 soil samples were collected at a variety of separation distances ranging from 2.5 cm to 11 m. Whole-community DNA was extracted from each sample, and community structure was compared using amplified fragment length polymorphism (AFLP) DNA fingerprinting. Relative similarity was calculated between each pair of samples and compared using geostatistical variogram analysis to study autocorrelation as a function of separation distance. Spatial autocorrelation was found at scales ranging from 30 cm to more than 6 m, depending on the sampling extent considered. In some locations, up to four different correlation length scales were detected. The presence of nested scales of variability suggests that the environmental factors regulating the development of the communities in this soil may operate at different scales. Kriging was used to generate maps of the spatial organization of communities across the plot, and the results demonstrated that bacterial distributions can be highly structured, even within a habitat that appears relatively homogeneous at the plot and field scale. Different subsets of the microbial community were distributed differently across the plot, and this is thought to be due to the variable response of individual populations to spatial heterogeneity associated with soil properties. c2003 Federation of European Microbiological Societies. Published by Elsevier Science B.V. All rights reserved.

NASA Discipline Life Support Systems↗
NASA NTRS2010

Demonstration of a Submillimeter-Wave HEMT Oscillator Module at 330 GHz

In this work, radial transitions have been successfully mated with a HEMT-based MMIC (high-electron-mobility-transistor-based monolithic microwave integrated circuit) oscillator circuit. The chip has been assembled into a WR2.2 waveguide module for the basic implementation with radial E-plane probe transitions to convert the waveguide mode to the MMIC coplanar waveguide mode. The E-plane transitions have been directly integrated onto the InP substrate to couple the submillimeter-wave energy directly to the waveguides, thus avoiding wire-bonds in the RF path. The oscillator demonstrates a measured 1.7 percent DC-RF efficiency at the module level. The oscillator chip uses 35-nm-gate-length HEMT devices, which enable the high frequency of oscillation, creating the first demonstration of a packaged waveguide oscillator that operates over 300 GHz and is based on InP HEMT technology. The oscillator chip is extremely compact, with dimensions of only 1.085 x 320 sq mm for a total die size of 0.35 sq mm. This fully integrated, waveguide oscillator module, with an output power of 0.27 mW at 330 GHz, can provide low-mass, low DC-power-consumption alternatives to existing local oscillator schemes, which require high DC power consumption and large mass. This oscillator module can be easily integrated with mixers, multipliers, and amplifiers for building high-frequency transmit and receive systems at submillimeter wave frequencies. Because it requires only a DC bias to enable submillimeter wave output power, it is a simple and reliable technique for generating power at these frequencies. Future work will be directed to further improving the applicability of HEMT transistors to submillimeter wave and terahertz applications. Commercial applications include submillimeter-wave imaging systems for hidden weapons detection, airport security, homeland security, and portable low-mass, low-power imaging systems

Radisic, Vesna↗
NASA NTRS1983

Development of compact excimer lasers for remote sensing

The capabilities of excimer lasers for remote sensing applications are illustrated in a discussion of the development of a compact tunable XeCl excimer laser for the detection of atmospheric OH radicals. Following a brief review of the operating principles and advantages of excimer lasers, measurements of the wavelength dependence of the net small signal gain coefficient of a discharge excited XeCl laser are presented which demonstrate the overlap of several absorption lines of the A-X(0,0) transition of OH near 308 nm with the wavelengths of the XeCl laser. A range of continuous narrow bandwidth tunability of from 307.6 to 308.4 nm with only a 30 percent variation in output is reported for an XeCl laser used as a double-pass amplifier for a frequency-doubled dye laser, and measurements demonstrating the detection of laser-induced fluorescence from OH in a methane-oxygen flame are also noted. The design of an oscillator-amplifier excimer system comprising a corona-preionized, transverse-discharge oscillator and amplifier is then presented. Output energies of 12-15 mJ have been achieved in the regions where injection locking was established, with energies of 8-10 mJ elsewhere.

Laudenslager, J. B.↗
NASA NTRS1991

Compensated digital readout family

ISC has completed test on an IC which has 32 channels of amplifiers, low pass anti-aliasing filters, 13-bit analog-to-digital (A/D) converters with non-uniformity correction per channel and a digital multiplexer. The single slope class of A/D conversion is described, as are the unique variations required for incorporation of this technique for use with on-focal plane detector readout electronics. This paper describes the architecture used to implement the digital on-focal plane signal processing functions. Results from measured data on a test IC are presented for a circuit containing these functions operating at a sensor frame rate of 1000 hertz.

Ludwig, David E.↗
NASA NTRS1997

The Implications of Encoder/Modulator/ Phased Array Designs for Future Broadband LEO Communications

In this paper we summarize the effects of modulation and channel coding on the design of wide angle scan, broadband, phased army antennas. In the paper we perform several trade studies. First, we investigate the amplifier back-off requirement as a function of variability of modulation envelope. Specifically, we contrast constant and non-constant envelope modulations, as well as single and multiple carrier schemes. Additionally, we address the issues an(f concerns of using pulse shaping filters with the above modulation types. Second, we quantify the effects of beam steering on the quality of data, recovery using selected modulation techniques. In particular, we show that the frequency response of the array introduces intersymbol interference for broadband signals and that the mode of operation for the beam steering controller may introduce additional burst or random errors. Finally, we show that the encoder/modulator design must be performed in conjunction with the phased array antenna design.

Vanderaar, Mark↗
NASA NTRS2005

Progress on a Multichannel, Dual-Mixer Stability Analyzer

Several documents describe aspects of the continuing development of a multichannel, dual-mixer system for simultaneous characterization of the instabilities of multiple precise, low-noise oscillators. One of the oscillators would be deemed to be a reference oscillator, its frequency would be offset by an amount (100 Hz) much greater than the desired data rate, and each of the other oscillators would be compared with the frequency-offset signal by operation of a combination of hardware and software. A high-rate time-tag counter would collect zero-crossing times of the approximately equal 100-Hz beat notes. The system would effect a combination of interpolation and averaging to process the time tags into low-rate phase residuals at the desired grid times. Circuitry that has been developed since the cited prior article includes an eight-channel timer board to replace an obsolete commercial time-tag counter, plus a custom offset generator, cleanup loop, distribution amplifier, zero-crossing detector, and frequency divider.

Kirk, Albert↗
NASA NTRS2008

NASA Tech Briefs, November 2008

Topics covered include: Digital Phase Meter for a Laser Heterodyne Interferometer; Vision System Measures Motions of Robot and External Objects; Advanced Precipitation Radar Antenna to Measure Rainfall From Space; Wide-Band Radar for Measuring Thickness of Sea Ice; Vertical Isolation for Photodiodes in CMOS Imagers; Wide-Band Microwave Receivers Using Photonic Processing; L-Band Transmit/Receive Module for Phase-Stable Array Antennas; Microwave Power Combiner/Switch Utilizing a Faraday Rotator; Compact Low-Loss Planar Magic-T; Using Pipelined XNOR Logic to Reduce SEU Risks in State Machines; Quasi-Optical Transmission Line for 94-GHz Radar; Next Generation Flight Controller Trainer System; Converting from DDOR SASF to APF; Converting from CVF to AAF; Documenting AUTOGEN and APGEN Model Files; Sequence History Update Tool; Extraction and Analysis of Display Data; MRO DKF Post-Processing Tool; Rig Diagnostic Tools; MRO Sequence Checking Tool; Science Activity Planner for the MER Mission; UAVSAR Flight-Planning System; Templates for Deposition of Microscopic Pointed Structures; Adjustable Membrane Mirrors Incorporating G-Elastomers; Hall-Effect Thruster Utilizing Bismuth as Propellant; High-Temperature Crystal-Growth Cartridge Tubes Made by VPS; Quench Crucibles Reinforced with Metal; Deep-Sea Hydrothermal-Vent Sampler; Mars Rocket Propulsion System; Two-Stage Passive Vibration Isolator; Improved Thermal Design of a Compression Mold; Enhanced Pseudo-Waypoint Guidance for Spacecraft Maneuvers; Altimetry Using GPS-Reflection/Occultation Interferometry; Thermally Driven Josephson Effect; Perturbation Effects on a Supercritical C7H16/N2 Mixing Layer; Gold Nanoparticle Labels Amplify Ellipsometric Signals; Phase Matching of Diverse Modes in a WGM Resonator; WGM Resonators for Terahertz-to-Optical Frequency Conversion; Determining Concentration of Nanoparticles from Ellipsometry; Microwave-to-Optical Conversion in WGM Resonators; Four-Pass Coupler for Laser-Diode-Pumped Solid-State Laser; Low-Resolution Raman-Spectroscopy Combustion Thermometry; Temperature Sensors Based on WGM Optical Resonators; Varying the Divergence of Multiple Parallel Laser Beams; Efficient Algorithm for Rectangular Spiral Search; Algorithm-Based Fault Tolerance Integrated with Replication; Targeting and Localization for Mars Rover Operations; Terrain-Adaptive Navigation Architecture; Self-Adjusting Hash Tables for Embedded Flight Applications; Schema for Spacecraft-Command Dictionary; Combined GMSK Communications and PN Ranging; System-Level Integration of Mass Memory; Network-Attached Solid-State Recorder Architecture; Method of Cross-Linking Aerogels Using a One-Pot Reaction Scheme; An Efficient Reachability Analysis Algorithm.

Source record↗