Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “agent based model”

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 811 records · Page 45

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↗

Cancer Risk Assessment for Space Radiation

Predicting the occurrence of human cancer following exposure to any agent causing genetic damage is a difficult task. This is because the uncertainty of uniform exposure to the damaging agent, and the uncertainty of uniform processing of that damage within a complex set of biological variables, degrade the confidence of predicting the delayed expression of cancer as a relatively rare event within any given clinically normal individual. The radiation health research priorities for enabling long-duration human exploration of space were established in the 1996 NRC Report entitled "Radiation Hazards to Crews of Interplanetary Missions: Biological Issues and Research Strategies". This report emphasized that a 15-fold uncertainty in predicting radiation-induced cancer incidence must be reduced before NASA can commit humans to extended interplanetary missions. That report concluded that the great majority of this uncertainty is biologically based, while a minority is physically based due to uncertainties in radiation dosimetry and radiation transport codes. Since that report, the biologically based uncertainty has remained large, and the relatively small uncertainty associated with radiation dosimetry has increased due to the considerations raised by concepts of microdosimetry. In a practical sense, however, the additional uncertainties introduced by microdosimetry are encouraging since they are in a direction of lowered effective dose absorbed through infrequent interactions of any given cell with the high energy particle component of space radiation. The biological uncertainty in predicting cancer risk for space radiation derives from two primary facts. 1) One animal tumor study has been reported that includes a relevant spectrum of particle radiation energies, and that is the Harderian gland model in mice. Fact #1: Extension of cancer risk from animal models, and especially from a single study in an animal model, to humans is inherently uncertain. 2) One human database is predominantly used for assessing cancer risk caused by space radiation, and that is the Japanese atomic bomb survivors. Fact #2: The atomic-bomb-survivor database, itself a remarkable achievement, contains uncertainties. These include the actual exposure to each individual, the radiation quality of that exposure, and the fact that the exposure was to acute doses of predominantly low-LET radiation, not to chronic exposures of high-LET radiation expected on long-duration interplanetary manned missions.

Richmond, Robert C.↗

Sea Surface Air Pressure Retrieval with MBARS

Global meteorological observations are essential in initialization and assimilation of numerical weather prediction (NWP) models. Many key weather variables such as temperature, humidity, and wind can be relatively well observed by in-situ and remote techniques from surface, suborbital and orbital platforms. However, sea surface air pressure cannot be well-sampled. Over open oceans, the pressure can only be observed by very limited buoys, ships, and oceanic platforms. There is no operational remote sensing method available for the crucial dynamic variable of the Earth’s climate and weather systems. Advanced techniques for global sea level pressure (SLP) observations are urgently needed for improving NWP models, particularly for improvement of severe weather forecasts. Recent studies on the space and airborne Microwave BArometric Radar and Sounder (MBARS) systems provide a great potential to fill the SLP observational gap. The systems studied have three channels with center frequencies at 65.5, 67.76 and 70 GHz. These channels are designed to operate at atmospheric oxygen (O2) absorption bands for column O2 mass measurements. When sea surface returns of spectrally closely-spaced paired channels are measured, surface reflection and atmospheric attenuation other than O2 are very similar, but the difference in O2 absorption is substantial. Thus, the differential absorption loss of this frequency pair leads to measures of atmospheric O2 amount. For the residual absorption loss caused by other agents, a third frequency having the same spectral space to the weak absorption frequency of the first pair can be used, which forms the second pair and produces the same residual as the first pair. Removal of the residual of this second pair from the first pair can further mitigate environmental impacts. Thus, this 3-channel approach will provide precise O2 amount retrievals. Since oxygen is well mixed in the atmosphere, the column air mass or SLP can be obtained. Currently, MBARS is rapidly maturing its advanced technology. An upcoming airborne field flight campaign is planned in late 2024. The 3-channel approach will be use in SLP retrievals. This MBARS team will discuss the physics-based SLP retrieval technique and report latest progresses in this upcoming AGU annual meeting.

O2 differential absorption↗

Resource for the Development of Biomedical Accelerator Mass Spectrometry (AMS) Final Report

The NIH Research Resource for Biomedical AMS was originally funded at Lawrence Livermore National Laboratory in 1999 to develop and apply the technology of accelerator mass spectrometry (AMS) in broad- based biomedical research. The Resource’s niche is to fill needs for ultra high sensitivity quantitation when isotope-labeled agents are used. The Research Resource’s Technology Research and Development (TR&D) efforts will focus on the needs of the biomedical research community in the context of seven Driving Biomedical Projects (DBPs) that will drive the Center’s technical capabilities through three core TR&Ds. We will expand our present capabilities by developing a fully integrated HPLC AMS to increase our capabilities for metabolic measurements, we will develop methods to understand cellular processes and we will develop and validate methods for the application of AMS in human studies, which is a growing area of demand by collaborators and service users. In addition, we will continue to support new and ongoing collaborative and service projects that require the capabilities of the Resource. The Center will continue to train researchers in the use of the AMS capabilities being developed, and the results of all efforts will be widely disseminated to advance progress in biomedical research. Towards these goals, our specific aims are to:1.) Increase the value and information content of AMS measurements by combining molecular speciation with quantitation of defined macromolecular isolates. Specifically, develop and validate methods for macromolecule labeling, characterization and quantitation.2.) Develop and validate methods and strategies to enable AMS to become more broadly used in human studies. Specifically, demonstrate robust methods for conducting pharmacokinetic/pharmacodynamics studies in humans and model systems.3.) Increase the accessibility of AMS to the Biomedical research community and the throughput of AMS through direct coupling to separatory instruments.4.) Provide high throughput 14C BioAMS analysis for collaborative and service clients.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Astrovirology: how viruses enhance our understanding of life in the Universe

Abstract Viruses are the most numerically abundant biological entities on Earth. As ubiquitous replicators of molecular information and agents of community change, viruses have potent effects on the life on Earth, and may play a critical role in human spaceflight, for life-detection missions to other planetary bodies and planetary protection. However, major knowledge gaps constrain our understanding of the Earth's virosphere: (1) the role viruses play in biogeochemical cycles, (2) the origin(s) of viruses and (3) the involvement of viruses in the evolution, distribution and persistence of life. As viruses are the only replicators that span all known types of nucleic acids, an expanded experimental and theoretical toolbox built for Earth's viruses will be pivotal for detecting and understanding life on Earth and beyond. Only by filling in these knowledge and technical gaps we will obtain an inclusive assessment of how to distinguish and detect life on other planetary surfaces. Meanwhile, space exploration requires life-support systems for the needs of humans, plants and their microbial inhabitants. Viral effects on microbes and plants are essential for Earth's biosphere and human health, but virus–host interactions in spaceflight are poorly understood. Viral relationships with their hosts respond to environmental changes in complex ways which are difficult to predict by extrapolating from Earth-based proxies. These relationships should be studied in space to fully understand how spaceflight will modulate viral impacts on human health and life-support systems, including microbiomes. In this review, we address key questions that must be examined to incorporate viruses into Earth system models, life-support systems and life detection. Tackling these questions will benefit our efforts to develop planetary protection protocols and further our understanding of viruses in astrobiology.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Combined light- and heat-induced shape memory behavior of anthracene-based epoxy elastomers

Abstract The development of multi-stimuli-responsive shape memory polymers has received increasing attention because of its scientific and technological significance. In this work, epoxy elastomers with reversible crosslinks are synthesized by polymerizing an anthracene-functionalized epoxy monomer, a diepoxy comonomer, and a dicarboxylic acid curing agent. The synthesized elastomers exhibit active responses to both light and heat enabled by the incorporated anthracene groups. When exposed to 365 nm UV light, additional crosslinking points are created by the photo-induced dimerization of pendant anthracene groups. The formation of the crosslinking points increases modulus and glass transition temperature of the elastomers, allowing for the fixation of a temporary shape at room temperature. The temporary shape remains stable until an external heat stimulus is applied to trigger the scission of the dimerized anthracene, which reduces the modulus and glass transition temperature and allows the elastomers to recover their original shapes. The effects of external stimuli on the thermal and dynamic mechanical properties of the elastomers are investigated experimentally and are correlated with molecular dynamics simulations that reveal the changes of structure and dynamics of the anthracene molecules and flexible chains.

36 MATERIALS SCIENCE↗

A surface mechanism for O 3 production with N 2 addition in dielectric barrier discharges

Ozone, O 3 , is a strong oxidizing agent often used for water purification. O 3 is typically produced in dielectric barrier discharges (DBDs) by electron-impact dissociation of O 2 , followed by three-body association reactions between O and O 2 . Previous studies on O 3 formation in low-temperature plasma DBDs have shown that O 3 concentrations can drop to nearly zero after continued operation, termed the ozone-zero phenomenon (OZP). Including small (<4%) admixtures of N 2 can suppress this phenomenon and increase the O 3 production relative to using pure O 2 in spite of power deposition being diverted from O 2 to N 2 and the production of nitrogen oxides, N x O y . The OZP is hypothesized to occur because O 3 is destroyed on the surfaces in contact with the plasma. Including N 2 in the gas mixture enables N atoms to occupy surface sites that would otherwise participate in O 3 destruction. The effect of N 2 in ozone-producing DBDs was computationally investigated using a global plasma chemistry model. A general surface reaction mechanism is proposed to explain the increase in O 3 production with N 2 admixtures. The mechanism includes O 3 formation and destruction on the surfaces, adsorption and recombination of O and N, desorption of O 2 and N 2 , and NO x reactions. Without these reactions on the surface, the density of O 3 monotonically decreases with increasing N 2 admixture due to power absorption by N 2 leading to the formation of nitrogen oxides. With N-based surface chemistry, the concentrations of O 3 are maximum with a few tenths of percent of N 2 depending on the O 3 destruction probability on the surface. The consequences of the surface chemistry on ozone production are less than the effect of gas temperature without surface processes. An increase in the O 3 density with N-based surface chemistry occurs when the surface destruction probability of O 3 or the surface roughness was decreased.

54 ENVIRONMENTAL SCIENCES↗

Virtualization - A Key Cost Saver in NASA Multi-Mission Ground System Architecture

With science team budgets being slashed, and a lack of adequate facilities for science payload teams to operate their instruments, there is a strong need for innovative new ground systems that are able to provide necessary levels of capability processing power, system availability and redundancy while maintaining a small footprint in terms of physical space, power utilization and cooling.The ground system architecture being presented is based off of heritage from several other projects currently in development or operations at Goddard, but was designed and built specifically to meet the needs of the Science and Planetary Operations Control Center (SPOCC) as a low-cost payload command, control, planning and analysis operations center. However, this SPOCC architecture was designed to be generic enough to be re-used partially or in whole by other labs and missions (since its inception that has already happened in several cases!)The SPOCC architecture leverages a highly available VMware-based virtualization cluster with shared SAS Direct-Attached Storage (DAS) to provide an extremely high-performing, low-power-utilization and small-footprint compute environment that provides Virtual Machine resources shared among the various tenant missions in the SPOCC. The storage is also expandable, allowing future missions to chain up to 7 additional 2U chassis of storage at an extremely competitive cost if they require additional archive or virtual machine storage space.The software architecture provides a fully-redundant GMSEC-based message bus architecture based on the ActiveMQ middleware to track all health and safety status within the SPOCC ground system. All virtual machines utilize the GMSEC system agents to report system host health over the GMSEC bus, and spacecraft payload health is monitored using the Hammers Integrated Test and Operations System (ITOS) Galaxy Telemetry and Command (TC) system, which performs near-real-time limit checking and data processing on the downlinked data stream and injects messages into the GMSEC bus that are monitored to automatically page the on-call operator or Systems Administrator (SA) when an off-nominal condition is detected. This architecture, like the LTSP thin clients, are shared across all tenant missions.Other required IT security controls are implemented at the ground system level, including physical access controls, logical system-level authentication authorization management, auditing and reporting, network management and a NIST 800-53 FISMA-Moderate IT Security plan Risk Assessment Contingency Plan, helping multiple missions share the cost of compliance with agency-mandated directives.The SPOCC architecture provides science payload control centers and backup mission operations centers with a cost-effective, standardized approach to virtualizing and monitoring resources that were traditionally multiple racks full of physical machines. The increased agility in deploying new virtual systems and thin client workstations can provide significant savings in personnel costs for maintaining the ground system. The cost savings in procurement, power, rack footprint and cooling as well as the shared multi-mission design greatly reduces upfront cost for missions moving into the facility. Overall, the authors hope that this architecture will become a model for how future NASA operations centers are constructed!

Ground System Architecture↗

Real-Time Monitoring of Fracture Dynamics with a Contrast Agent-Assisted Electromagnetic Method

In collaboration with the Advanced Energy Consortium, our team has previously demonstrated that the placement of electrically active proppants (EAPs) in a hydraulic fracture surveyed by electromagnetic (EM) methods can enhance the imaging of the stimulated reservoir volumes during hydraulic fracturing. That work culminated in constructing a well-characterized EAP-filled fracture anomaly at the Devine field pilot site (DFPS). In subsequent laboratory studies, we observed that the electrical conductivity of our EAP correlates with changes in pressure, salinity, and flow. Thus, we postulated that the EAP could be used as an in-situ sensor for the remote monitoring of these changes in previously EAP-filled fractures. This paper presents our latest field data from the DFPS to demonstrate such correlations at an intermediate pilot scale. We conducted surface-based EM surveys during freshwater (200 ppm) and saltwater (2,500 ppm) slug injections while running surfaced-based EM surveys. Simultaneously, we measured the following: 1) bottomhole pressure and salinity in five monitoring wells; 2) injection rate using high-precision data loggers; 3) distributed acoustic sensors in four monitoring wells; and 4) tiltmeter data on the survey area. We demonstrated that injections into an EAP-filled fracture could be successfully coupled with real-time electric field measurements on the surface, leading to remote monitoring of dynamic changes within the EAP-filled fracture. Furthermore, by comparing the electrical field traces with the bottomhole pressure, flow rate, and salinity, we concluded that the observed electric field in our study is influenced by fracture dilation and flow rate. Salinity effect was observed when saltwater was injected. EM simulations solely based on assumptions of fracture conductivity changes during injection did not reproduce all of the measured electric field magnitudes. Preliminary estimates showed that including streaming potential in our geophysical model may be needed to reduce the simulation mismatch. The methods developed and demonstrated during this study will lead to a better understanding of the extent of fracture networks, formation stress states, fluid leakoff and invasion, characterizations of engineered fracture systems, and other applications where monitoring subsurface flow tracking is deemed important.

02 PETROLEUM↗

An innovative heterogeneous transfer learning framework to enhance the scalability of deep reinforcement learning controllers in buildings with integrated energy systems

Deep Reinforcement Learning (DRL)-based control shows enhanced performance in the management of integrated energy systems when compared with Rule-Based Controllers (RBCs), but it still lacks scalability and generalisation due to the necessity of using tailored models for the training process. Transfer Learning (TL) is a potential solution to address this limitation. However, existing TL applications in building control have been mostly tested among buildings with similar features, not addressing the need to scale up advanced control in real-world scenarios with diverse energy systems. This paper assesses the performance of an online heterogeneous TL strategy, comparing it with RBC and offline and online DRL controllers in a simulation setup using EnergyPlus and Python. The study tests the transfer in both transductive and inductive settings of a DRL policy designed to manage a chiller coupled with a Thermal Energy Storage (TES). The control policy is pre-trained on a source building and transferred to various target buildings characterised by an integrated energy system including photovoltaic and battery energy storage systems, different building envelope features, occupancy schedule and boundary conditions (e.g., weather and price signal). The TL approach incorporates model slicing, imitation learning and fine-tuning to handle diverse state spaces and reward functions between source and target buildings. Results show that the proposed methodology leads to a reduction of 10% in electricity cost and between 10% and 40% in the mean value of the daily average temperature violation rate compared to RBC and online DRL controllers. Moreover, online TL maximises self-sufficiency and self-consumption by 9% and 11% with respect to RBC. Conversely, online TL achieves worse performance compared to offline DRL in either transductive or inductive settings. However, offline Deep Reinforcement Learning (DRL) agents should be trained at least for 15 episodes to reach the same level of performance as the online TL. Therefore, the proposed online TL methodology is effective, completely model-free and it can be directly implemented in real buildings with satisfying performance.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Forest Disturbance Across the Conterminous United States from 1985-2012: The Emerging Dominance of Forest Decline

Evidence of shifting dominance among major forest disturbance agent classes regionally to globally has been emerging in the literature. For example, climate-related stress and secondary stressors on forests (e.g., insect and disease, fire) have dramatically increased since the turn of the century globally, while harvest rates in the western US and elsewhere have declined. For shifts to be quantified, accurate historical forest disturbance estimates are required as a baseline for examining current trends. We report annual disturbance rates (with uncertainties) in the aggregate and by major change causal agent class for the conterminous US and five geographic subregions between 1985 and 2012. Results are based on human interpretations of Landsat time series from a probability sample of 7200 plots (30 m) distributed throughout the study area. Forest disturbance information was recorded with a Landsat time series visualization and data collection tool that incorporates ancillary high-resolution data. National rates of disturbance varied between 1.5% and 4.5% of forest area per year, with trends being strongly affected by shifting dominance among specific disturbance agent influences at the regional scale. Throughout the time series, national harvest disturbance rates varied between one and two percent, and were largely a function of harvest in the more heavily forested regions of the US (Mountain West, Northeast, and Southeast). During the first part of the time series, national disturbance rates largely reflected trends in harvest disturbance. Beginning in the mid-90s, forest decline-related disturbances associated with diminishing forest health (e.g., physiological stress leading to tree canopy cover loss, increases in tree mortality above background levels), especially in the Mountain West and Lowland West regions of the US, increased dramatically. Consequently, national disturbance rates greatly increased by 2000, and remained high for much of the decade. Decline-related disturbance rates reached as high as 8% per year in the western regions during the early-2000s. Although low compared to harvest and decline, fire disturbance rates also increased in the early- to mid-2000s. We segmented annual decline-related disturbance rates to distinguish between newly impacted areas and areas undergoing gradual but consistent decline over multiple years. We also translated Landsat reflectance change into tree canopy cover change information for greater relevance to ecosystem modelers and forest managers, who can derive better understanding of forest-climate interactions and better adapt management strategies to changing climate regimes. Similar studies could be carried out for other countries where there are sufficient Landsat data and historic temporal snapshots of high-resolution imagery.

Cohen, Warren B.↗

Accuracy Assessment of Two Gps Fidelity Prediction Services in Urban Terrain

Low altitude flight in urban areas is susceptible to degraded GNSS-based navigation system performance due to terrain interference with radio signals from orbital positioning satellites. Predictive navigation performance fidelity tools are needed a) in preflight planning to assist in the creation of safe flight paths and b) in-flight to provide contingency management agents with the navigation risk of proximal flight corridors. Two navigation fidelity prediction services are validated by comparison with over 6000 readings from GNSS sensors collected along a five-mile path through urban areas of Corpus Christi, Texas, on three dates in 2022. Predictions are based on satellite line of sight through 3D terrain data collected in 2018. Each service predicts a set of navigation fidelity metrics over a user-specified time period. One metric estimated by both is the number of visible satellites. A direct comparison of the number of predicted visible satellites with the number sensed by the receiver is used to validate the prediction services. Results show an exact match in the number of predicted satellites for 60% of the measurements, and a match within +/- 4 satellites for 95% of the measurements. As expected, agreement improves away from vertical blocking terrain. Most cases of mismatch are due a lower predicted count than measured (false negatives), and can be accounted for by receiver pickup of stray signals caused by multipath propagation. About 10% of mismatches are false positives and are mostly accounted for by foliage effects. The two services predict visibility of the same set of satellites 80% of the time, differ by two or less satellites 95% of the time, and can compute predictions for one hour of observations in one minute or less. Validation is analyzed statistically and in detailed case studies of selected observation times. The prediction services validated in this study run fast enough for preflight safety planning. The more stringent challenge of inflight navigation fidelity prediction for contingency management requires both a speedup of the current level of modeling and equally fast stray signal modeling.

Andrew Moore↗

Accuracy Assessment of Two GPS Fidelity Prediction Services in Urban Terrain

Low altitude flight in urban areas is susceptible to degraded GNSS-based navigation system performance due to terrain interference with radio signals from orbital positioning satellites. Predictive navigation performance fidelity tools are needed a) in preflight planning to assist in the creation of safe flight paths and b) in-flight to provide contingency management agents with the navigation risk of proximal flight corridors. Two navigation fidelity prediction services are validated by comparison with over 6000 readings from GNSS sensors collected along a five-mile path through urban areas of Corpus Christi, Texas, on three dates in 2022. Predictions are based on satellite line of sight through 3D terrain data collected in 2018. Each service predicts a set of navigation fidelity metrics over a user-specified time period. One metric estimated by both is the number of visible satellites. A direct comparison of the number of predicted visible satellites with the number sensed by the receiver is used to validate the prediction services. Results show an exact match in the number of predicted satellites for 60% of the measurements, and a match within +/- 4 satellites for 95% of the measurements. As expected, agreement improves away from vertical blocking terrain. Most cases of mismatch are due a lower predicted count than measured (false negatives), and can be accounted for by receiver pickup of stray signals caused by multipath propagation. About 10% of mismatches are false positives and are mostly accounted for by foliage effects. The two services predict visibility of the same set of satellites 80% of the time, differ by two or less satellites 95% of the time, and can compute predictions for one hour of observations in one minute or less. Validation is analyzed statistically and in detailed case studies of selected observation times. The prediction services validated in this study run fast enough for preflight safety planning. The more stringent challenge of inflight navigation fidelity prediction for contingency management requires both a speedup of the current level of modeling and equally fast stray signal modeling.

Andrew J. Moore↗

Stopping criteria for ending autonomous, single detector radiological source searches

While the localization of radiological sources has traditionally been handled with statistical algorithms, such a task can be augmented with advanced machine learning methodologies. The combination of deep and reinforcement learning has provided learning-based navigation to autonomous, single-detector, mobile systems. However, these approaches lacked the capacity to terminate a surveying/search task without outside influence of an operator or perfect knowledge of source location (defeating the purpose of such a system). Two stopping criteria are investigated in this work for a machine learning navigated system: one based upon Bayesian and maximum likelihood estimation (MLE) strategies commonly used in source localization, and a second providing the navigational machine learning network with a “stop search” action. A convolutional neural network was trained via reinforcement learning in a 10 m × 10 m simulated environment to navigate a randomly placed detector-agent to a randomly placed source of varied strength (stopping with perfect knowledge during training). The network agent could move in one of four directions (up, down, left, right) after taking a 1 s count measurement at the current location. During testing, the stopping criteria for this navigational algorithm was based upon a Bayesian likelihood estimation technique of source presence, updating this likelihood after each step, and terminating once the confidence of the source being in a single location exceeded 0.9. A second network was trained and tested with similar architecture as the previous but which contained a fifth action: for self-stopping. The accuracy and speed of localization with set detector and source initializations were compared over 50 trials of MLE-Bayesian approach and 1000 trials of the CNN with self-stopping. The statistical stopping condition yielded a median localization error of ~1.41 m and median localization speed of 12 steps. The machine learning stopping condition yielded a median localization error of 0 m and median localization speed of 17 steps. This work demonstrated two stopping criteria available to a machine learning guided, source localization system.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

Sustainable recovery of critical metals from spent lithium-ion batteries through gluconic acid-based bioleaching: Techno-economic analysis, life cycle assessment and process optimization

Recycling spent lithium-ion batteries (LIB) could potentially bridge the ever increasing supply and demand gap for critical metals and simultaneously facilitate the management of hazardous battery waste. This study investigated the optimization of gluconic acid-based bioleaching technology through design of experiments (DOE), combined with techno-economic analysis (TEA), and life cycle assessment (LCA) with the aim of maximizing the net present value (NPV) and minimizing global warming impacts of the process. Biolixiviant containing predominantly gluconic acid produced by the genetically engineered (ΔpstS, P 112 :mgdh) Gluconobacter oxydans B58 through fermentation using non-recyclable paper as a growth substrate was used for the LIB leaching. At optimal bioleaching conditions of gluconic acid (160 mM), leaching time (2.5 h), reducing agent FeSO 4 to metal, i.e., cobalt (Co), nickel (Ni) and manganese (Mn), mole ratio (0.88), temperature (55 °C) and pulp density (2.5 %), the leaching efficiency was 87 % 72 %, 94 %, and 88 % for Co, Ni, Mn and lithium (Li), respectively. TEA analysis confirmed that bioleaching plant with an annual black mass processing capacity of 10,000 metric tons and plant life of 30 years would be economically viable with an NPV and profit margin of $136 million and 11 %, respectively. The predicted carbon footprint of gluconic acid-based bioleaching for recovering 1 kg of Co (13.2 kg of CO 2 eq.) is lower compared to that of most state-of-the-art leaching technologies. Moreover, gluconic acid-based bioleaching effectively recovered target metals when tested for different black mass chemistries.

Bioleaching↗

Impact of Aerosols on Convective Clouds and Precipitation

Aerosols are a critical.factor in the atmospheric hydrological cycle and radiation budget. As a major agent for clouds to form and a significant attenuator of solar radiation, aerosols affect climate in several ways. Current research suggests that aerosols have a major impact on the dynamics, microphysics, and electrification properties of continental mixed-phase convective clouds. In addition, high aerosol concentrations in urban environments could affect precipitation variability by providing a significant source of cloud condensation nuclei (CCN). Such pollution . effects on precipitation potentially have enormous climatic consequences both in terms of feedbacks involving the land surface via rainfall as well as the surface energy budget and changes in latent heat input to the atmosphere. Basically, aerosol concentrations can influence cloud droplet size distributions, the warm-rain process, the cold-rain process, cloud-top heights, the depth of the mixed-phase region, and the occurrence of lightning. Recently, many cloud resolution models (CRMs) have been used to examine the role of aerosols on mixed-phase convective clouds. These modeling studies have many differences in terms of model configuration (two- or three-dimensional), domain size, grid spacing (150-3000 m), microphysics (two-moment bulk, simple or sophisticated spectral-bin), turbulence (1st or 1.5 order turbulent kinetic energy (TKE)), radiation, lateral boundary conditions (i.e., closed, radiative open or cyclic), cases (isolated convection, tropical or midlatitude squall lines) and model integration time (e.g., 2.5 to 48 hours). Among these modeling studies, the most striking difference is that cumulative precipitation can either increase or decrease in response to higher concentrations of CCN. In this presentation, we review past efforts and summarize our current understanding of the effect of aerosols on convective precipitation processes. Specifically, this paper addresses the following topics: observational evidence of the effect of aerosols on precipitation processes, and results from (CRM) simulations. Note that this presentation is mainly based on a recent paper published in Geophy. Rev. (Tao et al. 2012).

Tao, Wei-Kuo↗

Node-Accessible Zirconium MOFs

High-stability, zirconium-based metal–organic frameworks are attractive as heterogeneous catalysts and as model supports for uniform arrays of subsequently constructed heterogeneous catalysts—for example, MOF-node-grafted metal–oxy and metal–sulfur clusters. For hexa-Zr(IV)-MOFs characterized by nodes that are less than 12-connected, sites not used for linkers are ideally occupied by reactive and displaceable OH/H 2 O pairs. Here, the desired pairs are ideal for grafting the aforementioned catalytic clusters, while aqua-ligand lability renders them effective for exposing highly Lewis-acidic Zr(IV) sites (catalytic sites) to candidate reactants. New single-crystal X-ray studies of an eight-connected Zr-MOF, NU-1000, reveal that conventional activation fully removes modulator ligands, but replaces them with three node-blocking formate ligands (from solvent decomposition) and only one OH/H 2 O pair, not four—a largely overlooked complication that now appears to be general for Zr-MOFs. Here we describe an alternative activation protocol that effectively removes modulators, avoids formate, and installs the full complement of terminal OH/H 2 O pairs. It does so via an unusual isolatable intermediate featuring eight aqua ligands and four non-ligated chlorides—again as supported by single-crystal X-ray data. We find that complete replacement of node-blocking modulators/formate with the originally envisioned OH/OH 2 pairs has striking consequences; here we touch upon just three. First, elimination of unrecognized formate renders aqua ligands much more thermally labile, enabling open Zr(IV) sites to be obtained at lower temperature. Second, in the absence of formate, which otherwise links and locks pairs of node Zr(IV) ions, reversible removal of aqua ligands engenders reversible contraction of MOF meso- and micropores, as evidenced by X-ray diffraction. Third, formate replacement with OH/OH 2 pairs renders NU-1000 ca.10× more active for catalytic hydrolytic degradation of a representative simulant of G-type chemical warfare agents.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

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↗