Search NASA⌕ Search

SEARCH · Search NASA

Results for “multiple agents”

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 325 records · Page 18

Uncertainty Quantification using Deep Ensembles for Decision Making in Cyber-Physical-Human Systems

In this paper and its companion, Differential Equation Approximation Using Gradient-Boosted Quantile Regression, Robison et al., we examine an approach to quantifying model uncertainty with the aim of increasing the trustworthiness of computational models in human-machine interactions. In Differential Equation Approximation Using Gradient-Boosted Quantile Regression, we focus on gradient-boosted decision trees, while in this one, we give more details about deep ensembles. Uncertainty quantification is crucial for building trustworthy autonomous decision-making agents in human-machine teams. There are two types of uncertainties: aleatoric and epistemic. The former is related to the inherent stochasticity (noise) of the process, whereas the latter is associated with the lack of knowledge or representation capability of models, such as neural networks. By lack of knowledge, we mean the model’s inability to accurately predict outputs for all possible inputs. The aleatory uncertainty can be estimated fairly easily with, for example, filters, whereas epistemic uncertainty is challenging to compute. This paper uses deep ensembles to quantify both aleatory and epistemic uncertainty. It can act as an uncertainty-aware surrogate transition model for decision-making frameworks. "Uncertainty-aware" means that the surrogate transition model should make predictions along with confidence in those predictions. In the context of decision-making, the transition models are ordinary differential equations (ODEs). Since ODEs can be simulated to make one-step or multi-step predictions, a good surrogate model for them should perform reasonably well in both modes. In a multi-step approach, the trajectory sampling method TS∞ was used to propagate uncertainty over multiple steps. The cartpole dynamical system was selected to demonstrate the ability of deep ensembles as good surrogate transition models for decision-making frameworks. The deep ensembles modeled the dynamics of cartpole ODEs and made uncertainty-aware predictions in single-step and multi-step transition modes.

CPH systems↗

GraphAide: Advanced Graph-Assisted Query and Reasoning System

Curating knowledge from multiple siloed sources that contain both structured and unstructured data is a major challenge in many real-world applications. Pattern matching and querying represent fundamental tasks in modern data analytics that leverage this curated knowledge. The development of such applications necessitates overcoming several research challenges, including data extraction, named entity recognition, data modeling, and designing query interfaces. Moreover, the explainability of these functionalities is critical for their broader adoption. The emergence of Large Language Models (LLMs) has accelerated the development lifecycle of new capabilities. Nonetheless, there is an ongoing need for domain-specific tools tailored to user activities. The creation of digital assistants has gained considerable traction in recent years, with LLMs offering a promising avenue to develop such assistants utilizing domain-specific knowledge and assumptions. In this context, we introduce an advanced query and reasoning system, GraphAide, which constructs a knowledge graph (KG) from diverse sources and allows to query and reason over the resulting KG. GraphAide harnesses both the KG and LLMs to rapidly develop domain-specific digital assistants. It integrates design patterns from retrieval augmented generation (RAG) and the semantic web to create an agentic LLM application. GraphAide underscores the potential for streamlined and efficient development of specialized digital assistants, thereby enhancing their applicability across various domains.

Purohit, Sumit [BATTELLE (PACIFIC NW LAB)] (ORCID:↗

The pressor response to water drinking in humans : a sympathetic reflex?

BACKGROUND: Water drinking increases blood pressure profoundly in patients with autonomic failure and substantially in older control subjects. The mechanism that mediates this response is not known. METHODS AND RESULTS: We studied the effect of drinking tap water on seated blood pressure in 47 patients with severe autonomic failure (28 multiple system atrophy [MSA], 19 pure autonomic failure patients [PAF]). Eleven older controls and 8 young controls served as control group. We also studied the mechanisms that could increase blood pressure with water drinking. Systolic blood pressure increased profoundly with water drinking, reaching a maximum of 33+/-5 mm Hg in MSA and 37+/-7 in PAF mm Hg after 30 to 35 minutes. The pressor response was greater in patients with more retained sympathetic function and was almost completely abolished by trimethaphan infusion. Systolic blood pressure increased by 11+/-2.4 mm Hg in elderly but not in young controls. Plasma norepinephrine increased in both groups. Plasma renin activity, vasopressin, and blood volume did not change in any group. CONCLUSIONS: Water drinking significantly and rapidly raises sympathetic activity. Indeed, it raises plasma norepinephrine as much as such classic sympathetic stimuli as caffeine and nicotine. This effect profoundly increases blood pressure in autonomic failure patients, and this effect can be exploited to improve symptoms due to orthostatic hypotension. Water drinking also acutely raises blood pressure in older normal subjects. The pressor effect of oral water is an important yet unrecognized confounding factor in clinical studies of pressor agents and antihypertensive medications.

Non-NASA Center↗

Self-Healing Nanocomposites for Reusable Composite Cryotanks

Composite cryotanks, or composite overwrapped pressure vessels (COPVs), offer advantages over currently used aluminum-lithium cryotanks, particularly with respect to weight savings. Future NASA missions are expected to use COPVs in spaceflight propellant tanks to store fuels, oxidizers, and other liquids for launch and space exploration vehicles. However, reliability, reparability, and reusability of the COPVs are still being addressed, especially in cryogenic temperature applications; this has limited the adoption of COPVs in reusable vehicle designs. The major problem with composites is the inherent brittleness of the epoxy matrix, which is prone to microcrack formation, either from exposure to cryogenic conditions or from impact from different sources. If not prevented, the microcracks increase gas permeation and leakage. Accordingly, materials innovations are needed to mitigate microcrack damage, and prevent damage in the first place, in composite cryotanks. The self-healing technology being developed is capable of healing the microcracks through the use of a novel engineered nanocomposite, where a uniquely designed nanoparticle additive is incorporated into the epoxy matrix. In particular, this results in an enhancement in the burst pressure after cryogenic cycling of the nanocomposite COPVs, relative to the control COPVs. Incorporating a novel, self-healing, epoxy-based resin into the manufacture of COPVs allows repeatable self-healing of microcracks to be performed through the simple application of a low-temperature heat source. This permits COPVs to be reparable and reusable with a high degree of reliability, as microcracks will be remediated. The unique phase-separated morphology that was imparted during COPV manufacture allows for multiple self-healing cycles. Unlike single-target approaches where one material property is often improved at the expense of another, robustness has been introduced to a COPV by a combination of a modified resin and nanoparticle additives. Unique nanoparticles were used that have been surface-functionalized to be compatible with the resin. Both organic and inorganic components toughen the matrix and result in a more impact-resistant COPV. In one resin system containing an inorganic nanomaterial additive, a significant improvement in burst performance was observed after the COPV was cryo-impact-damaged and then self-healed, with a greater than 10% improvement in burst pressure after the self-healing process was performed. Initial cross-sectional analysis via microscopy showed good resin infiltration of the carbon fibers and without voids. To further enhance the capability between the nanomaterial additives and the resin, a surface modification was successfully performed. A second specialty epoxy resin was prepared using a surface modified nanomaterial additive, and COPVs were fabricated. Steps were taken to improve the mechanical properties of the COPVs by using a low-viscosity resin system that contained a different curing agent. This lower viscosity improves the processing of the COPV, and preliminary results show that the burst pressure of these new vessels is 20 to 25% higher than that of the original. The self-healing concept demonstrated in this research and development effort represents a platform technology, and the self-healing property is neither restricted to the particular epoxy system used here, nor to the COPV application. Self-healing is a direct result of a unique phase separated morphology created via the resin and is aided by the nanoparticles. The self-healing function can be introduced to other customer-specific resin systems in coating, bulk, or composite applications provided that the unique phase separated morphology can be enabled in those systems.

Eberly, Daniel↗

Freeze-Thaw Cycling as a Chemical Weathering Agent on a Cold and Icy Mars

Liquid water was abundant on early Mars, but whether the climate was warm and wet or cold and icy with punctuated periods of melting is still poorly understood. Modern climate models for Mars tend to predict a colder, icier early climate than previously imagined. In addition, ice and glaciation have been major geologic agents throughout the later Hesperian and Amazonian eras. One process that can act in such climates is repeated freezing and thawing of water on the surface and in the subsurface, and is significant because it can occur anywhere with an active layer and could have persisted for a time after liquid water was no longer stable on Mars’ surface. As freeze-thaw is the dominant mechanical weathering process in most glacial/periglacial terrains, it was likely a significant geomorphologic driver at local to regional scales during past climates, and would potentially have been most active when day-average surface temperatures exceeded 0 °C for part of the year. Indeed, freeze-thaw involving liquid water in the Amazonian is evidenced by abundant geomorphic features including polygonal ground and solifluction lobes requiring seasonal thawing. In addition to physical modification, freezing can drive solutions towards supersaturation and force dissolved solutes out as precipitates. In Mars-like terrains, dissolved solutes are typically dominated by silica. In polar regions on Earth, freeze-thaw cycles have been shown to promote deposition of silica, and freeze-thaw experiments on synthetic solutions found stable amorphous silica that built up over multiple cycles. Freeze-thaw may therefore be an important but overlooked chemical weathering process on Mars. However, our ability to assess its impact on alteration of martian terrains is majorly limited by the current lack of understanding of the alteration phases produced (and formation rates) under controlled freeze-thaw weathering of Mars-relevant materials. To address this knowledge gap, we report results from (1) freeze-thaw weathering products found at a glacial Mars analog site at the Three Sisters, Oregon, and (2) new controlled freeze-thaw experiments on basaltic material.

Scudder, N. A.↗

Autonomous Satellite Command and Control through the World Wide Web: Phase 3

NASA's New Millenium Program (NMP) has identified a variety of revolutionary technologies that will support orders of magnitude improvements in the capabilities of spacecraft missions. This program's Autonomy team has focused on science and engineering automation technologies. In doing so, it has established a clear development roadmap specifying the experiments and demonstrations required to mature these technologies. The primary developmental thrusts of this roadmap are in the areas of remote agents, PI/operator interface, planning/scheduling fault management, and smart execution architectures. Phases 1 and 2 of the ASSET Project (previously known as the WebSat project) have focused on establishing World Wide Web-based commanding and telemetry services as an advanced means of interfacing a spacecraft system with the PI and operators. Current automated capabilities include Web-based command submission, limited contact scheduling, command list generation and transfer to the ground station, spacecraft support for demonstrations experiments, data transfer from the ground station back to the ASSET system, data archiving, and Web-based telemetry distribution. Phase 2 was finished in December 1996. During January-December 1997 work was commenced on Phase 3 of the ASSET Project. Phase 3 is the subject of this report. This phase permitted SSDL and its project partners to expand the ASSET system in a variety of ways. These added capabilities included the advancement of ground station capabilities, the adaptation of spacecraft on-board software, and the expansion of capabilities of the ASSET management algorithms. Specific goals of Phase 3 were: (1) Extend Web-based goal-level commanding for both the payload PI and the spacecraft engineer; (2) Support prioritized handling of multiple PIs as well as associated payload experimenters; (3) Expand the number and types of experiments supported by the ASSET system and its associated spacecraft; (4) Implement more advanced resource management, modeling and fault management capabilities that integrate the space and ground segments of the space system hardware; (5) Implement a beacon monitoring test; (6) Implement an experimental blackboard controller for space system management; (7) Further define typical ground station developments required for Internet-based remote control and for full system automation of the PI-to-spacecraft link. Each of those goals is examined in the next section. Significant sections of this report were also published as a conference paper.

Cantwell, Brian↗

Wholesale Electricity Markets and Resource Adequacy with High Clean Energy Generation Targets

Wholesale electricity markets are intended to incentivize system generation investments and operations outcomes that meet evolving system needs. In this work, we evaluate the effectiveness of wholesale market structures, rules and policies in achieving system resource adequacy (RA) and clean energy targets in the presence of self-interested generation investors using the Electricity Markets and Investment Suite Agent-based Simulation (EMIS-AS) model. Results highlight that both capacity markets and operating reserve demand curves (ORDCs) can help achieve a reliable system but with different RA compliance timelines and distribution of generation technologies. Structures with capacity markets tend to favor more capital-intensive peaking technologies while reducing wind and solar build-outs due to suppressed energy and clean energy market prices, particularly in the absence of strong clean energy targets. Conversely, ORDCs improve the commitment of available generation units, but this comes at the expense of higher system costs and renewable generation curtailment. We also find that well-calibrated static capacity demand curves can yield similar reliability and total cost compared to capacity market demand curves informed dynamically by resource adequacy while also yielding stable annual capacity prices. Different approaches to formulating ORDC curves can also yield key trade-offs, namely that a more efficient treatment of storage chronology results in lower ORDC curves and prices, yielding less investment and cost but at the expense of reliability. Finally, the effectiveness of wholesale electricity markets in practically achieving very high clean energy generation targets highly depends on the cost-competitiveness of clean energy technologies that can support critical balancing needs across multiple timescales.

capacity expansion↗

Time-dependent thermal degradation of lost circulation materials in geothermal systems

Treatment of lost circulation can represent anywhere from 5 to 25 % of the cost in drilling geothermal wells. The cost of the materials used for lost circulation treatment is less important than their effectiveness at reducing fluid losses. In geothermal systems, the high temperatures (>90 °C) are expected to degrade many commonly used lost circulation materials over time. This degradation could compromise different materials ability to mitigate fluid loss, creating more non-productive time as multiple treatments are needed, but may result in recovering desired permeability zones within the reservoir section over time. This research aimed to study how thermal degradation of eight different lost circulation materials affected their properties relevant to sealing loss zones in geothermal wells. Here, mass loss experiments were conducted with each material at temperatures of 90–250 °C for 1–42 days to measure the breakdown of the material at geothermal conditions, collecting gases during several experiments to determine the waste produced during degradation. Compaction experiments were conducted with the degraded materials to show how temperatures reduced the rigidity and increased packing of the materials. Viscosity tests were conducted to show the impact of different materials on drilling fluid rheology. Microscope observations were conducted to characterize the alterations to each material due to thermal degradation. Organic materials tend to degrade more than inorganic materials, with organics like microcellulose, cotton seed hulls and sawdust losing 30–50 % of their mass after 1 day of heating at 200 °C, while inorganics like magma fiber only lose ~5–10 % of its mass after one day of heating at 200 °C. Granular materials are the strongest when compacted despite any mass loss, while fibrous and flaky materials are fairly weak and breakdown easily under stress. The materials do not generally affect fluid rheology unless they have a viscosifying agent as part of the mixture. Microscopic analysis showed that more rigid materials like microcellulose and cedar fiber degrade in brittle manners with splitting and fracturing, while others like cotton seed hulls degrade in more ductile manners forming meshes or clumps of material. The thermal breakdown of lost circulation materials tested suggests that each material should also be classified by its degree of thermal degradability, as at certain temperatures the materials can lose the capability to bridge loss zones around the wellbore.

15 GEOTHERMAL ENERGY↗

NASA Tech Briefs, October 2008

Topics covered include: Control Architecture for Robotic Agent Command and Sensing; Algorithm for Wavefront Sensing Using an Extended Scene; CO2 Sensors Based on Nanocrystalline SnO2 Doped with CuO; Improved Airborne System for Sensing Wildfires; VHF Wide-Band, Dual-Polarization Microstrip-Patch Antenna; Onboard Data Processor for Change-Detection Radar Imaging; Using LDPC Code Constraints to Aid Recovery of Symbol Timing; System for Measuring Flexing of a Large Spaceborne Structure; Integrated Formation Optical Communication and Estimation System; Making Superconducting Welds between Superconducting Wires; Method for Thermal Spraying of Coatings Using Resonant-Pulsed Combustion; Coating Reduces Ice Adhesion; Hybrid Multifoil Aerogel Thermal Insulation; SHINE Virtual Machine Model for In-flight Updates of Critical Mission Software; Mars Image Collection Mosaic Builder; Providing Internet Access to High-Resolution Mars Images; Providing Internet Access to High-Resolution Lunar Images; Expressions Module for the Satellite Orbit Analysis Program Virtual Satellite; Small-Body Extensions for the Satellite Orbit Analysis Program (SOAP); Scripting Module for the Satellite Orbit Analysis Program (SOAP); XML-Based SHINE Knowledge Base Interchange Language; Core Technical Capability Laboratory Management System; MRO SOW Daily Script; Tool for Inspecting Alignment of Twinaxial Connectors; An ATP System for Deep-Space Optical Communication; Polar Traverse Rover Instrument; Expert System Control of Plant Growth in an Enclosed Space; Detecting Phycocyanin-Pigmented Microbes in Reflected Light; DMAC and NMP as Electrolyte Additives for Li-Ion Cells; Mass Spectrometer Containing Multiple Fixed Collectors; Waveguide Harmonic Generator for the SIM; Whispering Gallery Mode Resonator with Orthogonally Reconfigurable Filter Function; Stable Calibration of Raman Lidar Water-Vapor Measurements; Bimaterial Thermal Compensators for WGM Resonators; Root Source Analysis/ValuStream[Trade Mark] - A Methodology for Identifying and Managing Risks; Ensemble: an Architecture for Mission-Operations Software; Object Recognition Using Feature-and Color-Based Methods; On-Orbit Multi-Field Wavefront Control with a Kalman Filter; and The Interplanetary Overlay Networking Protocol Accelerator.

Source record↗

Exploring the Structural Behavior of Hydrophilic Diglycolamide Complexes with the Lanthanides and Actinides

In the ongoing effort to meet the anticipated rise in energy demand while maintaining the full-scale abandonment of natural gas and coal, a substantial shift in our considerations of green energy is required through the wider adoption of nuclear power. However, the advantages of nuclear power are hindered by the challenges of safely managing nuclear waste. Hydrophilic diglycolamides (DGA) ligands have been explored for use as stripping agents in various lanthanide and actinide partitioning processes. Additionally, the separation of lanthanide fission products and transplutonic actinides can serve multifaceted advantages in that the separation neutron poisoning rare earth element (REE) fission products from minor actinides from used nuclear fuel (UNF) can be mutually beneficial to the fundamental research behind REE separations and UNF separations. With this in mind, understanding the bonding differences between the Ln3+ and An3+ ions as a function of DGA structure, such as varying the alkyl groups on each of the amide functional groups, has an influence on the molecule’s selectivity and solubility and whose changes in molecular architecture also impact the radiolytic behavior of these molecules. As such, crystal structures of (Y3+, La-Lu3+, excl. Pm, Pu3+/4+, Am3+, Bk3+, and Cf3+) with hydrophilic diglycolamides show the systematic progression, and changes in coordination habits, as a function of a f-element ions. These coordination complexes see a consistent decrease in bond lengths and changes in the coordination environment while traversing across the f-elements, owing to the effects of the lanthanide contraction as well as local geometry around the metal centers. Direct comparisons of lanthanide with actinide DGA structures display both striking similarities in coordination with earlier actinides of Pu and Am, while later actinides of Bk and Cf display a complete breakdown of these observed trends. This work has also presented the rare opportunity to study homoleptic DGA compounds across multiple oxidation states have provided insight into their nuanced differences in structural chemistry.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

Cooperative Lander-Surface/Aerial Microflyer Missions for Mars Exploration

Concepts are being investigated for exploratory missions to Mars based on Bioinspired Engineering of Exploration Systems (BEES), which is a guiding principle of this effort to develop biomorphic explorers. The novelty lies in the use of a robust telecom architecture for mission data return, utilizing multiple local relays (including the lander itself as a local relay and the explorers in the dual role of a local relay) to enable ranges ~10 to 1,000 km and downlink of color imagery. As illustrated in Figure 1, multiple microflyers that can be both surface or aerially launched are envisioned in shepherding, metamorphic, and imaging roles. These microflyers imbibe key bio-inspired principles in their flight control, navigation, and visual search operations. Honey-bee inspired algorithms utilizing visual cues to perform autonomous navigation operations such as terrain following will be utilized. The instrument suite will consist of a panoramic imager and polarization imager specifically optimized to detect ice and water. For microflyers, particularly at small sizes, bio-inspired solutions appear to offer better alternate solutions than conventional engineered approaches. This investigation addresses a wide range of interrelated issues, including desired scientific data, sizes, rates, and communication ranges that can be accomplished in alternative mission scenarios. The mission illustrated in Figure 1 offers the most robust telecom architecture and the longest range for exploration with two landers being available as main local relays in addition to an ephemeral aerial probe local relay. The shepherding or metamorphic plane are in their dual role as local relays and image data collection/storage nodes. Appropriate placement of the landing site for the scout lander with respect to the main mission lander can allow coverage of extremely large ranges and enable exhaustive survey of the area of interest. In particular, this mission could help with the path planning and risk mitigation in the traverse of the long-distance surface explorer/rover. The basic requirements of design and operation of BEES to implement the scenarios are discussed. Terrestrial applications of such concepts include distributed aerial/surface measurements of meteorological events, i.e., storm watch, seismic monitoring, reconnaissance, biological chemical sensing, search and rescue, surveillance, autonomous security/ protection agents, and/or delivery and lateral distribution of agents (sensors, surface/subsurface crawlers, clean-up agents). Figure 2 illustrates an Earth demonstration that is in development, and its implementation will illustrate the value of these biomorphic mission concepts.

Thakoor, Sarita↗

Mitigation of Silver Ion Loss from Solution by Polymer Coating of Metal Surfaces, Part IV

“Spacecraft potable water systems require a biocidal agent that effectively provides both immediate and residual disinfection over long periods of time. Ionic silver (Ag+) is a leading candidate for this application, but suffers from rapid concentration loss due to interactions with the metallic storage containers and tubing. In order to maintain biocidal efficacy in systems with long periods of dormancy and to reduce the required rate of Ag+ injection, it is necessary to develop alternative materials and coatings for certified metal alloys that significantly reduce the Ag+ loss.” In previous reports, we have described our investigations addressing Ag+ loss mitigation and adhesion performance of parylene barrier coatings on coupons of several metal alloys and 316L tubing under static immersion. In such conditions, parylene-C and AF4 coatings have shown excellent Ag+ loss mitigation performance, and mixed long-term adhesion performance, depending on parylene species and substrate surface chemistry/structure. In Part IV of this series, we begin to address the performance of parylene-C barrier coatings under more challenging and realistic conditions, in order to evaluate potential suitability in flight systems. Using two testbeds, we characterized coating performance under dynamic mechanical operation. In the Flow/Pressure Testbed System, Ag+ solution is pumped through internally coated 316L tubing, with optional pressure cycling. In the Bellows Tank Testbed System, an internally coated edge-welded 316L bellows containing Ag+ solution is cyclically extended and compressed, analogous to the operation of bellows tanks used for potable water storage and delivery on the International Space Station. Periodic determinations of Ag+ loss with testbed cycling/time and visual observation of the parylene-C coatings were conducted. In addition, we characterized parylene-C coating resilience and Ag+ loss with 316L tubing and multiple fitting types under long-term immersion and repeated fitting dis/reassembly.

Lance Dean Delzeit↗

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↗

Oligodeoxynucleotide Probes for Detecting Intact Cells

A rapid, sensitive test using chemiluminescent oligodeoxynucleotide probes has been developed for detecting, identifying, and enumerating intact cells. The test is intended especially for use in detecting and enumerating bacteria and yeasts in potable water. As in related tests that have been developed recently for similar purposes, the oligodeoxynucleotide probes used in this test are typically targeted at either singlecopy deoxyribonucleic acid (DNA) genes (such as virulence genes) or the multiple copies (10,000 to 50,000 copies per cell) of 16S ribosomal ribonucleic acids (rRNAs). Some of those tests involve radioisotope or fluorescent labeling of the probes for reporting hybridization of probes to target nucleic acids. Others of those tests involve labeling with enzymes plus the use of chemiluminescent or chromogenic substrates to report hybridization via color or the emission of light, respectively. The present test is of the last-mentioned type. The chemiluminescence in the present test can be detected easily with relatively simple instrumentation. In developing the present test, the hybridization approach was chosen because hybridization techniques are very specific. Hybridization detects stable, inheritable genetic targets within microorganisms. These targets are not dependent on products of gene expression that can vary with growth conditions or physiological states of organisms in test samples. Therefore, unique probes can be designed to detect and identify specific genera or species of bacteria or yeast (in terms of rRNA target sequences) or can be designed to detect and identify virulence genes (genomic target sequences). Because of the inherent specificity of this system, there are few problems of cross-reactivity. Hybridization tests are rapid, but hybridization tests now available commercially lack sensitivity; typically, between 10(exp 6) and 10(exp 7) cells of the target organism are needed to ensure a reliable test. Consequently, the numbers of target bacteria in samples are usually amplified by overnight pre-enrichment growth. These tests are usually performed in laboratories by skilled technicians. The present test was designed to overcome the shortcomings of the commercial hybridization tests. The figure summarizes the major steps of the test. It is important to emphasize that the hybridization process used in this test differs from that of other hybridization tests in that it does not extract target nucleic acids. This process is based on intact-cell hybridization (so-called in situ hybridization ), wherein the intact cells act as immobilizing agents. The cells are identified and enumerated by measuring the chemiluminescence emitted from alkaline phosphatase-probe (AP-probe) hybridization; the chemiluminescence is detected or measured by use of photographic film or a luminometer, respectively.

Rosson, Reinhardt A.↗

Intercomparison of Models Representing Direct Shortwave Radiative Forcing by Sulfate Aerosols

The importance of aerosols as agents of climate change has recently been highlighted. However, the magnitude of aerosol forcing by scattering of shortwave radiation (direct forcing) is still very uncertain even for the relatively well characterized sulfate aerosol. A potential source of uncertainty is in the model representation of aerosol optical properties and aerosol influences on radiative transfer in the atmosphere. Although radiative transfer methods and codes have been compared in the past, these comparisons have not focused on aerosol forcing (change in net radiative flux at the top of the atmosphere). Here we report results of a project involving 12 groups using 15 models to examine radiative forcing by sulfate aerosol for a wide range of values of particle radius, aerosol optical depth, surface albedo, and solar zenith angle. Among the models that were employed were high and low spectral resolution models incorporating a variety of radiative transfer approximations as well as a line-by-line model. The normalized forcings (forcing per sulfate column burden) obtained with the several radiative transfer models were examined, and the discrepancies were characterized. All models simulate forcings of comparable amplitude and exhibit a similar dependence on input parameters. As expected for a non-light-absorbing aerosol, forcings were negative (cooling influence) except at high surface albedo combined with small solar zenith angle. The relative standard deviation of the zenith-angle-averaged normalized broadband forcing for 15 models-was 8% for particle radius near the maximum in this forcing (approx. 0.2 microns) and at low surface albedo. Somewhat greater model-to-model discrepancies were exhibited at specific solar zenith angles. Still greater discrepancies were exhibited at small particle radii and much greater discrepancies were exhibited at high surface albedos, at which the forcing changes sign; in these situations, however, the normalized forcing is quite small quite small. Discrepancies among the models arise from inaccuracies in Mie calculations, differing treatment of the angular scattering phase function, differing wavelength and angular resolution, and differing treatment of multiple scattering. These results imply the need for standardized radiative transfer methods tailored to the direct aerosol forcing problem. However, the relatively small spread in these results suggests that the uncertainty in forcing arising from the treatment of radiative forcing of a well-characterized aerosol at well-specified surface albedo is smaller than some of the other sources of uncertainty in estimates of direct forcing by anthropogenic sulfate aerosols and anthropogenic aerosols generally.

Boucher, O.↗

Electromagnetically Clean Solar Arrays

The term 'electromagnetically clean solar array' ('EMCSA') refers to a panel that contains a planar array of solar photovoltaic cells and that, in comparison with a functionally equivalent solar-array panel of a type heretofore used on spacecraft, (1) exhibits less electromagnetic interferences to and from other nearby electrical and electronic equipment and (2) can be manufactured at lower cost. The reduction of electromagnetic interferences is effected through a combination of (1) electrically conductive, electrically grounded shielding and (2) reduction of areas of current loops (in order to reduce magnetic moments). The reduction of cost is effected by designing the array to be fabricated as a more nearly unitary structure, using fewer components and fewer process steps. Although EMCSAs were conceived primarily for use on spacecraft they are also potentially advantageous for terrestrial applications in which there are requirements to limit electromagnetic interference. In a conventional solar panel of the type meant to be supplanted by an EMCSA panel, the wiring is normally located on the back side, separated from the cells, thereby giving rise to current loops having significant areas and, consequently, significant magnetic moments. Current-loop geometries are chosen in an effort to balance opposing magnetic moments to limit far-0field magnetic interactions, but the relatively large distances separating current loops makes full cancellation of magnetic fields problematic. The panel is assembled from bare photovoltaic cells by means of multiple sensitive process steps that contribute significantly to cost, especially if electomagnetic cleanliness is desired. The steps include applying a cover glass and electrical-interconnect-cell (CIC) sub-assemble, connecting the CIC subassemblies into strings of series-connected cells, laying down and adhesively bonding the strings onto a panel structure that has been made in a separate multi-step process, and mounting the wiring on the back of the panel. Each step increases the potential for occurrence of latent defects, loss of process control, and attrition of components. An EMCSA panel includes an integral cover made from a transparent material. The silicone cover supplants the individual cover glasses on the cells and serves as an additional unitary structural support that offers the advantage, relative to glass, of the robust, forgiving nature of the silcone material. The cover contains pockets that hold the solar cells in place during the lamination process. The cover is coated with indium tin oxide to make its surface electrically conductive, so that it serves as a contiguous, electrically grounded shield over the entire panel surface. The cells are mounted in proximity to metallic printed wiring. The painted-wiring layer comprises metal-film traces on a sheet of Kapton (or equivalent) polyimide. The traces include contact pads on one side of the sheet for interconnecting the cells. Return leads are on the opposite side of the sheet, positioned to form the return currents substantially as mirror images of, and in proximity to, the cell sheet currents, thereby minimizing magnetic moments. The printed-wiring arrangement mimics the back-wiring arrangement of conventional solar arrays, but the current-loop areas and the resulting magnetic moments are much smaller because the return-current paths are much closer to the solar-cell sheet currents. The contact pads are prepared with solder fo electrical and mechanical bonding to the cells. The pocketed cover/shield, the solar cells, the printed-wiring layer, an electrical bonding agent, a mechanical-bonding agent, a composite structural front-side face sheet, an aluminum honeycomb core, and a composite back-side face sheet are all assembled, then contact pads are soldered to the cells and the agents are cured in a single lamination process.

Stem, Theodore G.↗

Nicotine-Inspired, De Novo-Designed SARS-CoV-2 Main Protease Inhibitors Reveal Unique Chemistry for Covalently Conjugating Both Cysteine and Histidine Residues in the Catalytic Dyad

Anecdotal reports about smokers with low SARS-CoV-2 infection rates prompted a search for nicotine and its pyrolysis products as SARS-CoV-2 main protease (M Pro ) inhibitors. From this search, 3-vinylpyridine was discovered as a weak binder for the M Pro S1 subsite and was used subsequently as a de novo starting point for covalent inhibitor design that quickly yielded a highly potent inhibitor, SR-A-174, with an IC 50 value of 60 nM. Representing a novel class of M Pro inhibitors, SR-A-174 features an N,N -diaryl-α,α-dichloroacetamide scaffold that facilitated rapid exploration of alternative covalent warheads and various N-substituents, leading to the identification of multiple inhibitors with potent antiviral activity. Eight such M Pro inhibitor structures were determined, all demonstrating covalent binding to catalytic Cys145 of M Pro . In six determined structures, binding is dominated by the covalent bond plus van der Waals contacts, which contrasts with the extensive hydrogen bond networks formed with peptidomimetic inhibitors such as nirmatrelvir. Strikingly, two N,N -diaryl-α,α-dichloroacetamide inhibitors exhibit an unprecedented dual covalent modification mode of the catalytic dyad, forming bonds to both Cys145 and His41 with a concomitant loss of both chlorides and displacing the inhibitors from the S1 subsite. This dyad-targeting reactivity suggests a novel route for bioconjugation of both cysteine and histidine.

SARS-CoV-2↗

Potential of VIIRS Time Series Data for Aiding the USDA Forest Service Early Warning System for Forest Health Threats: A Gypsy Moth Defoliation Case Study

This report details one of three experiments performed during FY 2007 for the NASA RPC (Rapid Prototyping Capability) at Stennis Space Center. This RPC experiment assesses the potential of VIIRS (Visible/Infrared Imager/Radiometer Suite) and MODIS (Moderate Resolution Imaging Spectroradiometer) data for detecting and monitoring forest defoliation from the non-native Eurasian gypsy moth (Lymantria dispar). The intent of the RPC experiment was to assess the degree to which VIIRS data can provide forest disturbance monitoring information as an input to a forest threat EWS (Early Warning System) as compared to the level of information that can be obtained from MODIS data. The USDA Forest Service (USFS) plans to use MODIS products for generating broad-scaled, regional monitoring products as input to an EWS for forest health threat assessment. NASA SSC is helping the USFS to evaluate and integrate currently available satellite remote sensing technologies and data products for the EWS, including the use of MODIS products for regional monitoring of forest disturbance. Gypsy moth defoliation of the mid-Appalachian highland region was selected as a case study. Gypsy moth is one of eight major forest insect threats listed in the Healthy Forest Restoration Act (HFRA) of 2003; the gypsy moth threatens eastern U.S. hardwood forests, which are also a concern highlighted in the HFRA of 2003. This region was selected for the project because extensive gypsy moth defoliation occurred there over multiple years during the MODIS operational period. This RPC experiment is relevant to several nationally important mapping applications, including agricultural efficiency, coastal management, ecological forecasting, disaster management, and carbon management. In this experiment, MODIS data and VIIRS data simulated from MODIS were assessed for their ability to contribute broad, regional geospatial information on gypsy moth defoliation. Landsat and ASTER (Advanced Spaceborne Thermal Emission and Reflection Radiometer) data were used to assess the quality of gypsy moth defoliation mapping products derived from MODIS data and from simulated VIIRS data. The project focused on use of data from MODIS Terra as opposed to MODIS Aqua mainly because only MODIS Terra data was collected during 2000 and 2001-years with comparatively high amounts of gypsy moth defoliation within the study area. The project assessed the quality of VIIRS data simulation products. Hyperion data was employed to assess the quality of MODIS-based VIIRS simulation datasets using image correlation analysis techniques. The ART (Application Research Toolbox) software was used for data simulation. Correlation analysis between MODIS-simulated VIIRS data and Hyperion-simulated VIIRS data for red, NIR (near-infrared), and NDVI (Normalized Difference Vegetation Index) image data products collectively indicate that useful, effective VIIRS simulations can be produced using Hyperion and MODIS data sources. The r(exp 2) for red, NIR, and NDVI products were 0.56, 0.63, and 0.62, respectively, indicating a moderately high correlation between the 2 data sources. Temporal decorrelation from different data acquisition times and image misregistration may have lowered correlation results. The RPC experiment also generated MODIS-based time series data products using the TSPT (Time Series Product Tool) software. Time series of simulated VIIRS NDVI products were produced at approximately 400-meter resolution GSD (Ground Sampling Distance) at nadir for comparison to MODIS NDVI products at either 250- or 500-meter GSD. The project also computed MODIS (MOD02) NDMI (Normalized Difference Moisture Index) products at 500-meter GSD for comparison to NDVI-based products. For each year during 2000-2006, MODIS and VIIRS (simulated from MOD02) time series were computed during the peak gypsy moth defoliation time frame in the study area (approximately June 10 through July 27). Gypsy moth defoliation mapping products from simated VIIRS and MOD02 time series were produced using multiple methods, including image classification and change detection via image differencing. The latter enabled an automated defoliation detection product computed using percent change in maximum NDVI for a peak defoliation period during 2001 compared to maximum NDVI across the entire 2000-2006 time frame. Final gypsy moth defoliation mapping products were assessed for accuracy using randomly sampled locations found on available geospatial reference data (Landsat and ASTER data in conjunction with defoliation map data from the USFS). Extensive gypsy moth defoliation patches were evident on screen displays of multitemporal color composites derived from MODIS data and from simulated VIIRS vegetation index data. Such defoliation was particularly evident for 2001, although widespread denuded forests were also seen for 2000 and 2003. These visualizations were validated using aforementioned reference data. Defoliation patches were visible on displays of MODIS-based NDVI and NDMI data. The viewing of apparent defoliation patches on all of these products necessitated adoption of a specialized temporal data processing method (e.g., maximum NDVI during the peak defoliation time frame). The frequency of cloud cover necessitated this approach. Multitemporal simulated VIIRS and MODIS Terra data both produced effective general classifications of defoliated forest versus other land cover. For 2001, the MOD02-simulated VIIRS 400-meter NDVI classification produced a similar yet slightly lower overall accuracy (87.28 percent with 0.72 Kappa) than the MOD02 250-meter NDVI classification (88.44 percent with 0.75 Kappa). The MOD13 250-meter NDVI classification had a lower overall accuracy (79.13 percent) and a much lower Kappa (0.46). The report discusses accuracy assessment results in much more detail, comparing overall classification and individual class accuracy statistics for simulated VIIRS 400-meter NDVI, MOD02 250-meter NDVI, MOD02-500 meter NDVI, MOD13 250-meter NDVI, and MOD02 500-meter NDMI classifications. Automated defoliation detection products from simulated VIIRS and MOD02 data for 2001 also yielded similar, relatively high overall classification accuracy (85.55 percent for the VIIRS 400-meter NDVI versus 87.28 percent for the MOD02 250-meter NDVI). In contrast, the USFS aerial sketch map of gypsy moth defoliation showed a lower overall classification accuracy at 73.64 percent. The overall classification Kappa values were also similar for the VIIRS (approximately 0.67 Kappa) versus the MOD02 (approximately 0.72 Kappa) automated defoliation detection product, which were much higher than the values exhibited by the USFS sketch map product (overall Kappa of approximately 0.47). The report provides additional details on the accuracy of automated gypsy moth defoliation detection products compared with USFS sketch maps. The results suggest that VIIRS data can be effectively simulated from MODIS data and that VIIRS data will produce gypsy moth defoliation mapping products that are similar to MODIS-based products. The results of the RPC experiment indicate that VIIRS and MODIS data products have good potential for integration into the forest threat EWS. The accuracy assessment was performed only for 2001 because of time constraints and a relative scarcity of cloud-free Landsat and ASTER data for the peak defoliation period of the other years in the 2000-2006 time series. Additional work should be performed to assess the accuracy of gypsy moth defoliation detection products for additional years.The study area (mid-Appalachian highlands) and application (gypsy moth forest defoliation) are not necessarily representative of all forested regions and of all forest threat disturbance agents. Additional work should be performed on other inland and coastal regions as well as for other major forest threats.

Spruce, Joseph P.↗