Search NASA⌕ Search

SEARCH · Search NASA

Results for “Single nano”

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 199 records · Page 11

Additive manufacturing and processing of architected materials

Architected materials are a unique and emerging class of materials where performance is fundamentally controlled by geometry at multiple length scales, from the nano- to the macroscale, rather than chemical composition alone. As a result, the realization of these remarkable materials is contingent upon the ability to faithfully reproduce the designed architecture. Furthermore, this presents fundamental challenges in fabrication due to the required three-dimensional complexity, multiple length scales, range of material constituents, possibility of multiple materials in a single architecture, and overall manufacturing throughput. Additive manufacturing (AM) processes can provide solutions to some of these challenges and are discussed in this article. Specifically, light-based and extrusion-based processes and associated materials are presented with an emphasis on recent developments, including volumetric additive manufacturing, and on-the-fly mixing of materials in extrusion-based printing systems. While remarkable advancements have been made in AM for architected materials, bringing these materials and processes to industrial realization remains a significant challenge.

36 MATERIALS SCIENCE↗

NASA Tech Briefs, May 2005

Topics covered include: Fastener Starter; Multifunctional Deployment Hinges Rigidified by Ultraviolet; Temperature-Controlled Clamping and Releasing Mechanism; Long-Range Emergency Preemption of Traffic Lights; High-Efficiency Microwave Power Amplifier; Improvements of ModalMax High-Fidelity Piezoelectric Audio Device; Alumina or Semiconductor Ribbon Waveguides at 30 to 1,000 GHz; HEMT Frequency Doubler with Output at 300 GHz; Single-Chip FPGA Azimuth Pre-Filter for SAR; Autonomous Navigation by a Mobile Robot; Software Would Largely Automate Design of Kalman Filter; Predicting Flows of Rarefied Gases; Centralized Planning for Multiple Exploratory Robots; Electronic Router; Piezo-Operated Shutter Mechanism Moves 1.5 cm; Two SMA-Actuated Miniature Mechanisms; Vortobots; Ultrasonic/Sonic Jackhammer; Removing Pathogens Using Nano-Ceramic-Fiber Filters; Satellite-Derived Management Zones; Digital Equivalent Data System for XRF Labeling of Objects; Identifying Objects via Encased X-Ray-Fluorescent Materials - the Bar Code Inside; Vacuum Attachment for XRF Scanner; Simultaneous Conoscopic Holography and Raman Spectroscopy; Adding GaAs Monolayers to InAs Quantum-Dot Lasers on (001) InP; Vibrating Optical Fibers to Make Laser Speckle Disappear; Adaptive Filtering Using Recurrent Neural Networks; and Applying Standard Interfaces to a Process-Control Language.

Source record↗

Design and Characteristics of Hydroxyapatites: Effect of Radiation

Hydroxyapatites single crystals have been investigated their applications as the laser host material. Czochralksi and flux growth methods have been utilized to achieve single crystals. Because of their bioactivities with tissues these have attracted interest for bone applications. For low temperature processing we have used several techniques. We utilized some organic melt and oriented the grains by the directional solidification method. This organic treated material has different characteristics than coarsened oxide materials. Our approach involved low temperature processing using nano-engineered powders of the material system MgO-Na2O-K2O-CaO-SrO-SiO2 and also borates were processed by sintering and grain growth. Our results indicate that substitution of calcium and strontium with some other elements such as gallium and magnesium have great potential to improve the mechanical properties of bones.

Bhavsar, Jayati↗

Molecular Aspects of Transport in Thin Films of Controlled Architecture (Final Technical Report)

The scientific and technological objectives of this project are motivated by problems in energy technologies that utilize differential transport in nanoscale confined volumes to achieve molecular separations. The core scientific phenomena that control observable behavior - wetting/dewetting, hydrophobicity, stochastic fluctuations in fluid flow, electrokinetics, etc. - are fundamentally different on the nanoscale, because the underlying forces that direct molecular motion are altered upon scaling to nanometer dimensions. We proposed to address this overarching problem by pursuing two objectives. Objective 1 targeted the development of single molecule-based electrokinetic, electrochemical and spectroelectrochemical probes of transport in one-dimensional (1D) nanostructures. Objective 2 focused on the interaction between wetting phenomena and nanoconfined flows under active (electrical and/or electrochemical) control. The studies were intended to develop the design rules, structural motifs, and operating principles needed to achieve singular control over molecular transport in nano-confined volumes, thereby impacting a broad spectrum of energy-relevant separations processes.

77 NANOSCIENCE AND NANOTECHNOLOGY↗

Radiation Protection Using Carbon Nanotube Derivatives

BHA and BHT are well-known food preservatives that are excellent radical scavengers. These compounds, attached to single-walled carbon nanotubes (SWNTs), could serve as excellent radical traps. The amino-BHT groups can be associated with SWNTs that have carbolyxic acid groups via acid-base association or via covalent association. The material can be used as a means of radiation protection or cellular stress mitigation via a sequence of quenching radical species using nano-engineered scaffolds of SWNTs and their derivatives. It works by reducing the number of free radicals within or nearby a cell, tissue, organ, or living organism. This reduces the risk of damage to DNA and other cellular components that can lead to chronic and/or acute pathologies, including (but not limited to) cancer, cardiovascular disease, immuno-suppression, and disorders of the central nervous system. These derivatives can show an unusually high scavenging ability, which could prove efficacious in protecting living systems from radical-induced decay. This technique could be used to protect healthy cells in a living biological system from the effects of radiation therapy. It could also be used as a prophylactic or antidote for radiation exposure due to accidental, terrorist, or wartime use of radiation- containing weapons; high-altitude or space travel (where radiation exposure is generally higher than desired); or in any scenario where exposure to radiation is expected or anticipated. This invention s ultimate use will be dependent on the utility in an overall biological system where many levels of toxicity have to be evaluated. This can only be assessed at a later stage. In vitro toxicity will first be assessed, followed by in vivo non-mammalian screening in zebra fish for toxicity and therapeutic efficacy.

Conyers, Jodie L., Jr.↗

The Doppler Wind and Temperature Sounder (DWTS) Flight Evaluation and Experiments (TES-16,17)

The Doppler Wind and Temperature Sounder instrument (DWTS) developed by Global Atmospheric Technologies and Sciences (GATS) is a simple yet powerful tool with the potential to become a new window through which the study of upper atmosphere dynamics can occur. Based around a defense-grade infrared camera peering through a static gas cell used as a scanning spectral filter, a DWTS instrument can infer wind velocities and kinetic temperatures throughout the stratosphere and lower thermosphere. The DWTS achieves this scanning by measuring the induced Doppler shift and Doppler broadening of emissions as they pass through the DWTS field of view (Gordley, Marshall, 2011). The DWTS holds promise in improving accuracy in weather determination among other terrestrial benefits, and the core technology can be easily adapted to study the dynamics of other planetary atmospheres. In partnership with GATS, NOAA, and other collaborators, NASA Ames and the Nano-Orbital Workshop (NOW) group have been working to evaluate the DWTS instrument on orbit and optimize it as a flexible payload for nanosatellites. The first mission selected for DWTS technical evaluation is preparing for flight in early 2024, which will be followed by a more capable science mission in 2025, with both missions being part of the TES-n/NOW heritage flight series. The first rapid technology demonstration flight, TES-16/DWTS-A, will demonstrate a single DWTS instrument in an approximately 2U payload volume. With an estimated power consumption of 50 watts, the instrument will maintain the imaging sensor plane at 80K during instrument performance evaluation periods using an integrated Stirling cryocooler. Data from DWTS will be captured and processed via a NOW-designed custom data interface unit before being transmitted via S-band radio back to select ground stations, with instrument command and control maintained via L-band global-coverage radio. The subsequent TES-17/DWTS-B mission will be a dedicated science mission tasked with validating the instrument’s full altitude coverage capabilities, currently estimated from 20 to 200 km during both day and night. This new atmospheric observational capability will come from a single small satellite equipped with three DWTS imagers, each hosting a different gas cell chemistry, to form a complete instrument. The intention of this flight series, and one of NASA’s interests in this instrument, is not only to advance Earth atmospheric dynamics, but to advance a Martian atmospheric study instrument as well (Colaprete, Gordley, et al) which, if successful, would greatly further understanding of Martian atmospheric dynamics. This document describes the flight series in detail, including challenges facing the TES-16 flight tests and the projected challenges and application of Mars study. Additional detail regarding the possible applications of a Cognitive Communication technique in current flight development by NOW collaborators at the NASA Glenn Research Center is also discussed, including the implications of using an automated User Initiated Service (UIS) protocol to maximize the data collected per orbit.

DWTS Nano-satellite TES-n↗

Ensembles of Metastable States Govern Heterogeneous Catalysis on Dynamic Interfaces

Heterogeneous catalysis is at the heart of chemical industry. Being able to tune and design efficient catalysts for processes of interest is of an utmost importance, and for this, the molecular-level understanding of heterogeneous catalysts is the first step, and indeed a prime focus of the modern catalysis research. For a long time, a single most thermodynamically stable structure of the catalytic interface attained in reaction conditions had been envisioned as the reactive phase. However, some catalytic interfaces continue to undergo structural dynamics in the steady state, triggered by high temperatures, pressures, and binding and changing reagents. Among particularly dynamic interfaces are such widely-used catalysts as crystalline and amorphous surfaced supporting (sub-)nano metallic clusters. Recently, it became clear that this dynamic fluxionality causes the supported clusters to populate many distinct structural and stoichiometric states in catalytic conditions. Hence, the catalytic interface should be viewed as an evolving statistical ensemble of many (not one) structures. As such, every member in the ensemble contributes to the properties of the catalyst differently, and in proportion to its probability to be populated. This new notion flips the established paradigm and calls for new theory, modeling approaches, operando measurements, and updated design strategies. The statistical ensemble nature of surface-supported sub-nano cluster catalysts can be exemplified by oxide-supported and adsorbate-covered Pt, Pd, Cu, CuPd clusters, catalytic toward oxidative and non-oxidative dehydrogenation. They have access to a variety of 3D and quasi-2D shapes. The compositions of their thermal ensembles are dependent on the cluster size, leading to size-specific catalytic activities and the famous “every atom counts” phenomenon. The support and adsorbates affect catalyst structures, and state of the reacting species causes the ensemble to change in every reaction intermediate. The most stable member of the ensemble dominates the thermodynamic properties of the corresponding intermediate, whereas the kinetics can be determined by more active but less populated metastable catalyst states, and that suggests that many earlier studies might have overlooked the actual active sites. Both effects depend on the relative time-scales of catalyst restructuring and reaction dynamics. The catalyst may routinely operate off-equilibrium. Ensemble phenomena lead to surprising exceptions from established rules of catalysis, such as scaling relations, and Arrhenius behavior. Catalyst deactivation is also an ensemble property, and its extent of mitigation can be predicted through the new paradigm. These findings were enabled by advances in theory, such as global optimization and subsequent utilization of multiple local minima, and pathways sampling, as well as operando catalyst characterization. The fact that the per-site and per-species resolution is needed for the description and predicting of catalyst properties gives theory the central role in catalysis research, as most experiments provide ensemble-average information and cannot detect the crucial minority species that may be responsible for the catalytic activity.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Effect of free surfaces on localized plastic deformation in single-crystal nickel containing helium bubbles and radiation-induced self-interstitial atom clusters

This paper presents molecular dynamics (MD) simulations of plastic deformation in single-crystal Ni models containing internal distributions of helium (He) bubbles and self-interstitial atom (SIA) clusters corresponding to experimental characterization of ex-service Inconel X-750 components. Here, we simulate single crystals with and without free surfaces at room temperature and 588K, the latter temperature corresponding to the Inconel X-750 service conditions. Both models are deformed under multiple slip to a maximum deviatoric strain of ~10 %. A dislocation slip band forms in the model without free surfaces, but not in the model with free surfaces. However, the latter exhibits nano-twin nucleation from surfaces. Helium (He) bubbles that overlap with a slip band or a nano-twinned region deform more severely than other bubbles in the model. Nevertheless, the bubbles do not link up and do not form configurations that resemble incipient cracks.

36 MATERIALS SCIENCE↗

Hg Accumulation by Single-Cell Sulfate-Reducing Bacteria Methylating Mercury

Methylmercury (MeHg) is a potent neurotoxin that poses risks to ecosystems and human health. MeHg is produced by microbes following saturating-like kinetics. We hypothesize that this saturation reflects a limited intracellular mercury (Hg) accumulation. Here, in this study, we investigated Hg accumulation in Pseudodesulfovibrio hydrargyri BerOc1, a sulfate-reducing model strain able to methylate Hg. Cells were incubated with 0.5 and 2 μM of mercury (HgCl 2 ), and mercury localization was studied using synchrotron-based nano-X-ray fluorescence and high-resolution analytical electron microscopy. For both concentrations, Hg was detected in the bacterial cytosol, in addition to extracellular (Hg, S)-containing nanoparticles. Intracellular Hg levels were slightly higher at 2 μM than at 0.5 μM (1.61 vs 1.40 pg.mm –2 ), suggesting a regulated accumulation. However, the population exhibited heterogeneity in Hg accumulation, particularly at the highest Hg exposure, with some cells being Hg hyperaccumulators. Correlative imaging between Hg localization and cell viability revealed that these hyperaccumulating cells were non-active. Our results suggest that active cells regulate Hg accumulation. From an analytical perspective, a minor subpopulation of hyperaccumulating cells can bias bulk measurements and should be considered in interpreting Hg accumulation in microorganisms. Environmentally, these cells can impact Hg cycling by acting as a metal sink.

Intracellular accumulation↗

Scaling of pulsed nanosecond capillary plasmas at different specific energy deposition

Nano-second, capillary discharges (nCDs) are unique plasma sources in their ability to sustain high specific energy deposition ω dep approaching 10 eV/molecule in molecular gases. This high energy loading on short timescales produces both high plasma densities and high densities of molecular exited states. These high densities of electrons and excited states interact with each other during the early afterglow through electron collision quenching and associative ionization. In this paper we discuss results from a two-dimensional computational investigation of a nCD sustained in air at a pressure of 28.5 mbar and with a voltage amplitude 20 kV. Discharges were investigated for two circuit configurations—a floating low voltage electrode and with the low voltage electrode connected to ground through a ballast resistor. The first configuration produced a single ionization wave from the high to low voltage electrode. The second produced converging ionization waves beginning at both electrodes. With a decrease of the tube radius, the velocity of the ionization fronts decreased while the shape of the ionization wave changed from the electron density being distributed smoothly in the radial direction, to being hollow shaped where there is a higher electron density near the tube wall. For sufficiently small tubes, the near-wall maxima merge to have the higher density on the axis of the capillary tube. In the early afterglow, the temporal and radial behavior of the N 2 (C 3 Π u ) density is a sensitive function of ω dep due to electron collision quenching. Finally, these trends indicate that starting from ω dep $\geqslant$ 0.3 eV/molecule, it is necessary to take into account interactions of electrons with electronically excited species during the discharge and early afterglow.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Dual-pace transient heat conduction in vertically aligned carbon nanotube arrays induced by structure separation

Vertically aligned arrays of carbon nanotubes (CNTs) are attractive for a wide range of macroscopic applications which can exploit the remarkable properties of individual nanotubes. In this work, an abnormal behavior of CNT bundles in heat conduction is discovered under the transient electro-thermal characterization. The measured voltage change over the sample shows a dual-pace thermal response (DTR), which could not be fitted using a single thermal diffusivity heat transfer model. Instead, two thermal diffusivities are determined from the DTR phenomenon. Three rounds of cryogenic experiments are conducted to investigate the physics behind DTR phenomenon. It starts to emerge when the temperature is reduced to a certain level. After two rounds of cryogenic experiments, the DTR phenomenon becomes permanent from 295 K to 10 K. The nano-scale structure separation induced by the increased thermal strain leads to macroscale structure separation, which results in two parallel heat conduction paths responsible for the DTR phenomenon. By building a new parallel heat transfer model taking both the transient and steady-state electrical and thermal response into consideration, the area ratio of separated CNTs is determined. Furthermore, this result uncovers the existence of coiled morphology and nano-structure evolution of CNTs under cryogenic state and its effect on thermal and electrical transport, especially on their transient behaviors. Knowledge of the thermal transport in these CNTs arrays is important considering the fact that transient thermal response strongly affects their mechanical, optical, and electrical behaviors.

42 ENGINEERING↗

A reference-area-free strain mapping method using precession electron diffraction data

Here, in this work, we developed a method using precession electron diffraction data to map the residual elastic strain at the nano-scale. The diffraction pattern of each pixel was first collected and denoised. Template matching was then applied using the center spot as the mask to identify the positions of the diffraction disks. Statistics of distances between the selected diffracted disks enable the user to make an informed decision on the reference and to generate strain maps. Strain mapping on an unstrained single crystal sapphire shows the standard deviation of strain measurement is 0.5%. With this method, we were able to successfully measure and map the residual elastic strain in VO 2 on sapphire and martensite in a Ni 50.3 Ti 29.7 Hf 20 shape memory alloy. This approach does not require the user to select a “strain-free area” as a reference and can work on datasets even with the crystals oriented away from zone axes. This method is expected to provide a robust and more accessible alternative means of studying the residual strain of various material systems that complements the existing algorithms for strain mapping.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Tailoring Local Chemical Ordering via Elemental Tuning in High-Entropy Alloys

Due to the large multi-elemental space desired for property screening and optimization, high-entropy alloys (HEAs) hold greater potential over conventional alloys for a range of applications, such as structural materials, energy conversion, and catalysis. However, the relationship between the HEA composition and its local structural/elemental configuration is not well understood, particularly in noble-metal-based HEA nanomaterials, hindering the design and development of nano-HEAs in energy conversion and catalysis applications. In this work, we determined precise atomic-level structural and elemental arrangements in model HEAs composed of RhPtPdFeCo and RuPtPdFeCo to unveil their local characteristics. Notably, by changing just one constituent element in the HEA (Rh to Ru), we found dramatic changes in the elemental arrangement from complete random mixing to a local single elemental ordering feature. Additionally, we demonstrate that the local ordering in RuPtPdFeCo can be further controlled by varying the Ru concentration, allowing us to toggle between local Ru clustering and distinct heterostructures in multicomponent systems. Overall, our study presents a practical approach for manipulating local atomic structures and elemental arrangements in noble-metal-based HEA systems, which could provide in-depth knowledge to mechanistically understand the functionality of noble-metal-based HEA nanomaterials in practical applications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Nanoscale Etching and Indentation of Silicon Surfaces with Carbon Nanotubes

The possibility of nanolithography of silicon and germanium surfaces with bare carbon nanotube tips of scanning probe microscopy devices is considered with large scale classical molecular dynamics (MD) simulations employing Tersoff's reactive many-body potential for heteroatomic C/Si/Ge system. Lithography plays a key role in semiconductor manufacturing, and it is expected that future molecular and quantum electronic devices will be fabricated with nanolithographic and nanodeposition techniques. Carbon nanotubes, rolled up sheets of graphene made of carbon, are excellent candidates for use in nanolithography because they are extremely strong along axial direction and yet extremely elastic along radial direction. In the simulations, the interaction of a carbon nanotube tip with silicon surfaces is explored in two regimes. In the first scenario, the nanotubes barely touch the surface, while in the second they are pushed into the surface to make "nano holes". The first - gentle scenario mimics the nanotube-surface chemical reaction induced by the vertical mechanical manipulation of the nanotube. The second -digging - scenario intends to study the indentation profiles. The following results are reported in the two cases. In the first regime, depending on the surface impact site, two major outcomes outcomes are the selective removal of either a single surface atom or a surface dimer off the silicon surface. In the second regime, the indentation of a silicon substrate by the nanotube is observed. Upon the nanotube withdrawal, several surface silicon atoms are adsorbed at the tip of the nanotube causing significant rearrangements of atoms comprising the surface layer of the silicon substrate. The results are explained in terms of relative strength of C-C, C-Si, and Si-Si bonds. The proposed method is very robust and does not require applied voltage between the nanotube tips and the surface. The implications of the reported controllable etching and hole-creating for nanolithography on silicon are discussed in detail.

Dzegilenko, Fedor N.↗

Novel Biomedical Device Utilizing Light-Emitting Nanostructures Developed

Sketches and chemical diagrams of state-of-the-art device and novel proposed device are presented. Current device uses a diode laser that emits into a fluorescent fluid only one wavelength and a photodetector diode that detects only one wavelength. Only one type of bacteria can be detected. The proposed device uses a quantum dot array that emits into a fluorescent fluid multiple wavelengths and an NIR 512 spectrometer that scans 0.8- to 1.7-mm wavelengths. Hundreds of different bacteria and viruses can be detected. A novel biomedical device is being developed at the NASA Glenn Research Center in cooperation with the University of Michigan. This device uses nano-structured quantum dots that emit light in the near-infrared (IR) region. The nanostructured quantum dots are used as a source and excite fluorochrome polymers coupled with antibodies that seek out and attach to specific bacteria and viruses. The fluorochrome polymers/antibodies fluoresce at specific wavelengths in the near-IR spectrum, but these wavelengths are offset from the excitation wavelength and can be detected with a tunable spectrometer. The device will be used to detect the presence of viruses and bacteria in simple fluids and eventually in more complex fluids, such as blood. Current state-of-the-art devices are limited to single bacteria or virus detection and a considerable amount of time and effort is required to prepare samples for analysis. Most importantly, the devices are quite large and cumbersome, which prohibits them from being used on the International Space Station and the space shuttles. This novel device uses nanostructured quantum dots which, through molecular beam epitaxy and highly selective annealing processes, can be developed into an illumination source that could potentially generate hundreds of specific wavelengths. As a result, this device will be able to excite hundreds of antibody/fluorochrome polymer combinations, which in turn could be used to detect hundreds of bacteria and viruses in fluids. A novel sample preparation technique that exploits micromembrane filtration and centrifugation methods has been developed for this device. The technique greatly reduces the time required to prepare the sample and the amount of sample needed to perform an accurate and comprehensive analysis. Last, and probably most important, because of the nano-light-emitting source and the novel sample preparation technique, the overall size of the device could be reduced dramatically. This device will serve as a nanoscale lab-on-a-chip for in situ microorganism detection and will enable tests to be performed on a time scale of minutes rather than days. Thus, it is ideally suited for monitoring the environmental conditions onboard the International Space Station and the space shuttles, thereby enhancing the safety of the astronauts. In addition, the device has important commercial applications, such as detecting the presence of bacteria and viruses in water at food- and beverage-processing centers, water treatment plants, and restaurants. Also, this technology has the potential to be used to detect bacteria and viruses in more complex fluids, such as blood--which in all likelihood would revolutionize blood analysis as it is performed today. This project was made possible through the Director's Discretionary Fund and is ongoing. In addition, this project provides funding to Dr. Rachel Goldman of the University of Michigan for the research and development of nanostructured quantum dots.

Scardelletti, Maximilian C.↗

Holographic Fabrication of 3D Moiré Photonic Crystals Using Circularly Polarized Laser Beams and a Spatial Light Modulator

A moiré photonic crystal is an optical analog of twisted graphene. A 3D moiré photonic crystal is a new nano-/microstructure that is distinguished from bilayer twisted photonic crystals. Holographic fabrication of a 3D moiré photonic crystal is very difficult due to the coexistence of the bright and dark regions, where the exposure threshold is suitable for one region but not for the other. In this paper, we study the holographic fabrication of 3D moiré photonic crystals using an integrated system of a single reflective optical element (ROE) and a spatial light modulator (SLM) where nine beams (four inner beams + four outer beams + central beam) are overlapped. By modifying the phase and amplitude of the interfering beams, the interference patterns of 3D moiré photonic crystals are systemically simulated and compared with the holographic structures to gain a comprehensive understanding of SLM-based holographic fabrication. We report the holographic fabrication of phase and beam intensity ratio-dependent 3D moiré photonic crystals and their structural characterization. Superlattices modulated in the z-direction of 3D moiré photonic crystals have been discovered. This comprehensive study provides guidance for future pixel-by-pixel phase engineering in SLM for complex holographic structures.

42 ENGINEERING↗

Differential Ranging Experiments with NASA’s High-Gain Deep Space Network Antennas

Radar experiments are currently under way at the Goldstone Deep Space Communications Complex (GDSCC) to determine the range of cis-lunar objects using a single high-gain 34m antenna transmitting 20 kW at X-band wavelengths, and two 34m receivers located at the GDSCC. The 34m antennas of the Deep Space Network (DSN) have effective fields-of-view of approximately 1 milli-radians, hence predetermined pointing predicts with accuracies on the order of 1 milli-degree are required. The extremely accurate 1 nano-second timing distribution of the DSN network enables sub-meter level ranging in the radial direction, by measuring delays in phase-modulated pseudonoise (PN) echoes reflected from the target. In this paper we demonstrate experimental verification of the proposed techniques by post-processing radar reflections obtained from a decommissioned geo-synchronous satellite. The characteristics of correlation-based delay measurements obtained simultaneously with two different receiving antennas are described. These are the fundamental quantities used to form the “time difference of arrival” (TDOA) observables commonly used in GPS positioning algorithms, and the results interpreted in the context of hyperbolic position location that could be used in the future to monitor spacecraft in cis-lunar space.

Cheung, Kar-Ming↗

A Survey of Formal Methods for Intelligent Swarms

Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.

Truszkowski, Walt↗