Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Resource Size”

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 1,117 records · Page 62
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

Data-Driven Generic Turbines for Distributed Wind Modeling, Optimization, and Economic Studies

As distributed energy resources (DER) become less expensive and more popular, utilities, project developers, and customers have an increasing need to model the performance of existing and proposed DER systems. Distributed wind has been shown to have widespread economic potential but is often represented by a simplified model in - or excluded from - DER modeling tools and studies. There is often no economic imperative to extend models and studies to give full consideration to distributed wind. We present a set of data-driven generic turbines derived from 16 years of annual distributed wind market survey data. The proposed methodology can be used to derive generic turbines from separate or updated data sets. Finally, a mixed-integer linear programming approach to optimal distributed wind project sizing is used to demonstrate the generic turbine models. Combined, these models and methods can reduce barriers to considering distributed wind in modeling tools and studies.

Reiman, Andrew P.↗
DOE OSTI2022

Categorizing distributed wind energy installations in the United States to inform research and stakeholder priorities

Abstract Background Distributed wind energy adoption in the United States can contribute to the diverse portfolio of energy technologies needed to achieve ambitious decarbonization goals. However, with limited deployment to date, the current distributed wind market must be better understood; these efforts will support the range of stakeholders who will drive successful deployment. This article first distinguishes three categories of distributed wind from existing literature: (1) behind the meter, (2) intended for explicit local load, and (3) physically distributed. A novel methodology to classify individual wind installations into each of these categories is then presented and applied to two data sets of wind installations in the United States to categorize and illuminate distinct segments in the distributed wind market. Results Physically distributed installations, constituted by small to moderately sized projects serving local loads on distribution systems solely because of their proximity to them, account for the highest amount of capacity but the lowest number of installations out of the three categories. The inverse is true for behind-the-meter installations, which are used to serve on-site loads. Installations intended for explicit local load, which are interconnected on the utility side of the distribution system and intentionally built to provide energy to loads on the same distribution system, rank in the middle for both installed capacity and number of installations. Conclusions Distributed wind energy deployment in the United States is geographically widespread, but the extent to which a single category is developed in each state varies. Policies, wind resources, and broad energy technology trends contribute to these deployment patterns. By identifying the extent to which each category of installations exists, decision-makers are empowered with data necessary to tailor research and development programs and address stakeholder priorities through policy and other means, ultimately supporting future deployment.

17 WIND ENERGY↗
DOE OSTI2021

Power System Resilience Metrics Augmentation for Critical Load Prioritization

One of the major goals of new grid operation regimes, such as transactive energy systems (TESs), is to make the power grid more resilient to withstand natural or man-made disasters and potential reliability events, and to continue to serve the maximum number of its customers. But it is a well-known fact to system operators that not all customers are the same. This implies that any discussion of TESs’ impacts on the resilience of the power system should consider the needs of its critical customers (such as the power system operation centers, fire and police stations, and hospitals) over those of other customers. When evaluating the resilience of the system, bonus points must be awarded to any system that could maintain its power supply to critical customers during a disturbance that may cause an outage. This report discusses critical infrastructure (CI) as found in the literature and then categorizes it based on the field to which the operations belong (such as human life/safety-related, operations management, necessary city operation, industrial customers, etc.). Each of these CI categories is further divided into types of critical customers (e.g., the human life/safety-related category has different types of customers like hospitals, fire and police stations, etc.). The entire demand of each of the critical customer types is not categorized as critical load (CL); instead, only a portion of the total load of these critical customers is characterized as critical load. This is done based on the categories of equipment, the function of which is crucial in the operation of the overall facility. CL categorization is performed to provide the ratio of the critical load portion to the overall load , so that it can serve as a parameter in the resilience evaluation of the grid through a metrics-based approach. Such categorization is important as it helps to augment the existing quantifiable resilience metrics with CL categorization. The metrics for a power system need to not only consider how well a system performed during a disturbance event, but also how it reduced strain and supplied power to its CLs. The first step in this process is characterize CLs in the system. After CL characterization, the next step is the inclusion of these loads in the resilience metrics. To that end, in this report weight-based augmentation of resilience metrics is proposed, where certain customers (the ones that are categorized as critical) are assigned higher weights than others. Though an overview of assigning weights to customers is discussed, there is no one-size-fits-all approach for every power system. The decisions made about assigning such weights to customers vary greatly from one operator to another, based on their unique systems and the current and predicted states of critical customers. This decision-making can include the type of disturbance event, which might only affect certain parts of the system. In general, analyzing critical customers before an event helps understand system vulnerabilities. It also helps in planning and conducting operations during the event, evaluating system performance after the event, and supporting better planning for future events. An alternative to the current practices of managing the grid for outages is an innovative TES, which has the potential to provide a platform for including distributed energy resources for managing CLs. This report also describes how TES qualities can help (1) to maintain power supply to critical customers for uninterrupted operations and (2) to restore lost power supply to the critical customers rapidly.

24 POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS2016

Comparing Eyewitness-Derived Trajectories of Bright Meteors to Ground Truth Data

The NASA Meteoroid Environment Office (MEO) is the only US government agency tasked with analyzing meteors of public interest. When queried about a meteor observed over the United States, the MEO must respond with a characterization of the trajectory, orbit, and size within a few hours. Using observations from meteor networks like the NASA All Sky Fireball Network or the Southern Ontario Meteor Network, such a characterization is often easy. If found, casual recordings from the public and stationary web cameras can be used to roughly analyze a meteor if the camera's location can be identified and its imagery calibrated. This technique was used with great success in the analysis of the Chelyabinsk meteorite fall. But if the event is outside meteor network coverage, if an insufficient number of videos are found, or if the imagery cannot be geolocated or calibrated, a timely assessment can be difficult if not impossible. In this situation, visual reports made by eyewitnesses may be the only resource available. This has led to the development of a tool to quickly calculate crude meteor trajectories from eyewitness reports made to the American Meteor Society. The output is illustrated in Figure 1. A description of the tool, example case studies, and a comparison to ground truth data observed by the NASA All Sky Fireball Network will be presented.

Moser, D. E.↗
DOE OSTI2023

Powering the Blue Economy: Marine Energy at Kelp Farm Sites

Marine energy (ME) has the potential to power businesses in the blue economy. Kelp farms are an emerging maritime market of the blue economy and are predicted to grow, but they are not currently using ME for their power needs. As the number and size of kelp farms increase, more offshore power will be needed onsite for operations, monitoring, and harvesting. ME devices such as tidal current energy converters and wave energy converters (WECs) may be used to supply power for these needs. This article assesses the status of kelp farming in the continental United States, investigates the electricity needs of kelp farms, and examinesthe feasibility of generating the required electricity from wave and tidal current energy. The United States currently has 165 kelp farms that have either active or pending permits. The farms use electricity for boat operations, kelp drying, environmental monitoring, offshore lighting, and the raising and lowering of lines. Most kelp farms are in protected, nearshore waters that do not have significant wave energy resources. The limited available wave energy could be used to power small devices, but WECs have not yet been developed for that application. Some kelp farms are in locations that feature significant tidal energy resources, but small tidal current energy converters that are compatible with existing farm operations are not yet commercially available. As low-power WECs and tidal current energy converters are developed, kelp farms could be research partners and early adopters of the new technologies, which would encourage their broader use by other blue economy businesses.

16 TIDAL AND WAVE POWER↗
DOE OSTI2021

Standardizing Performance Metrics for Building-Level Electrical Distribution Systems

Building-level electrical distribution systems comprise a myriad of current-carrying equipment, conversion devices, and protection devices that deliver power from the utility or local distributed energy resources to end-use building loads. Electric power has traditionally been generated, transmitted, and distributed in alternating current (AC). However, the last decade has seen a significant increase in the integration of native direct current (DC) equipment that has elevated the importance of DC distribution systems. Numerous studies have comparatively examined the performance of various electrical distribution systems in buildings but have failed to achieve uniform conclusions, primarily because of a lack of consistent and analogous performance evaluation methods. This paper aims to fill this gap by providing a standard set of metrics and measurement boundaries to consistently evaluate the performance of AC, DC, or hybrid AC/DC electrical distribution systems. The efficacy of the proposed approach is evaluated on a representative medium-sized commercial office building model with AC distribution and an equivalent hybrid AC/DC and DC distribution model, wherein the AC distribution model is concluded to be the most efficient. The simulation results show variation in computed metrics with different selected boundaries that verify the effectiveness of the proposed approach in ensuring consistent computation of the performance of building-level electrical distribution systems. This paper provides an initial set of guidelines for building energy system stakeholders to adopt appropriate solutions, thus leading to more efficient energy systems.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS1994

Planning/scheduling techniques for VQ-based image compression

The enormous size of the data holding and the complexity of the information system resulting from the EOS system pose several challenges to computer scientists, one of which is data archival and dissemination. More than ninety percent of the data holdings of NASA is in the form of images which will be accessed by users across the computer networks. Accessing the image data in its full resolution creates data traffic problems. Image browsing using a lossy compression reduces this data traffic, as well as storage by factor of 30-40. Of the several image compression techniques, VQ is most appropriate for this application since the decompression of the VQ compressed images is a table lookup process which makes minimal additional demands on the user's computational resources. Lossy compression of image data needs expert level knowledge in general and is not straightforward to use. This is especially true in the case of VQ. It involves the selection of appropriate codebooks for a given data set and vector dimensions for each compression ratio, etc. A planning and scheduling system is described for using the VQ compression technique in the data access and ingest of raw satellite data.

Short, Nicholas M., Jr.↗
DOE OSTI2025

Vanadium-enhanced Na 2 FePO 4 F cathodes for high-performance sodium-ion batteries

Sodium fluorophosphate Na 2 FePO 4 F holds great potential for sodium-ion batteries due to its high theoretical capacity, excellent structural stability, abundant resources, and affordability. However, its poor electronic and ionic conductivities limit its practical applications. Therefore, ion doping and carbon coating have been employed as synergistic strategies in this study to overcome these limitations. A one-step, energy-efficient solid-state method using sucrose as a carbon coating source was used to synthesize Na 2 FePO 4 F/C (NFPF/C) and its doped variant, Na 2 Fe 0.85 V 0.1 PO 4 F/C (NFVPF/C). 23 Na-MAS-NMR spectra confirm the existence of two distinct sites for sodium (Na1/Na2). The ex-situ 23 Na-MAS-NMR performed at different states-of-charge reveals the activity of only one sodium. The scanning electron microscopy findings reveal a reduction in the particle size with V-introduction, enhancing the energetic performances. NFVPF/C delivers higher specific capacity of 122 mAh g −1 compared to 116 mAh g −1 for NFPF/C at 0.1C. It also demonstrates improved cycling stability, retaining 81 % of its initial capacity after 120 cycles, in contrast to 46 % for the pristine material. The doped phase outperforms the pristine at higher current rates, delivering specific capacities of 81 and 55 mAh g −1 at 2C and 3C, respectively, compared to 35 and 17 mAh g −1 for NFPF/C.

25 ENERGY STORAGE↗
NASA NTRS2014

Development of a Two-Stage Mars Ascent Vehicle Using In-Situ Propellant Production

Mars Sample Return (MSR) and Mars In-Situ Resource Utilization (ISRU) present two main challenges for the advancement of Mars science. MSR would demonstrate Mars lift-off capability, while ISRU would test the ability to produce fuel and oxidizer using Martian resources, a crucial step for future human missions. A two-stage Mars Ascent Vehicle (MAV) concept was developed to support sample return as well as in-situ propellant production. The MAV would be powered by a solid rocket first stage and a LOX-propane second stage. A liquid second-stage provides higher orbit insertion reliability than a solid second stage as well as a degree of complexity eventually required for manned missions. Propane in particular offers comparable performance to methane without requiring cryogenic storage. The total MAV mass would be 119.9 kg to carry an 11 kg payload to orbit. The feasibility of in-situ fuel and oxidizer production was also examined. Two potential schemes were evaluated for production capability, size and power requirements. The schemes examined utilize CO2 and water as starting blocks to produce LOX and a propane blend. The infrastructure required to fuel and launch the MAV was also explored.

Paxton, Laurel↗
NASA NTRSDate not supplied

Lunar Science Investigations and Exploration in Celestial Mapping System

Introduction: As NASA expands the mission portfolio on the lunar surface, there is a need for applications with a broad range of analytical and functional capabilities that can be simultaneously deployed onto multiple mobile and desktop platforms to perform in-situ operations and hence enabling extensive Lunar exploration. Celestial Mapping System (CMS) [1,2] is developed to address the need for tools for science investigations, mission planning, operations and support for planetary sciences. Built on top of NASA WorldWind libraries, CMS can be simultaneously deployed onto multiple platforms, has the flexibility to update to the latest imagery and terrain datasets as they are being acquired (in real time) before and/or during the exploration mission and has the potential to enable traverse path planning suited for rovers, EVA and surface mobility units. It can provide critical functionalities such as equipment planning and optimized placement on Lunar surface, line of sight analysis to inform the coverage area for various equipment, powerful measurement tools based on 3D terrain, 3D COLLADA models to represent rovers, humans and equipment, visualization of derived mapping products (e.g. resource maps), and a data engine for hosting new observations that are not available in other contemporary lunar data tools [1]. Visualization of PSRs: The current presentation focuses on the work performed by the authors, to consume a unique dataset of super-enhanced images of the permanently shadowed regions (PSRs) at the lunar poles which were produced by the Hyper-effective nOise Removal U-net Software (HORUS) tool [3]. This tool was developed in direct support of NASA's VIPER and Artemis programs to enhance the extremely low-light images of the interior of PSRs and provide the first-time ability to see within these regions at and discern surface features (i.e. boulders and craters) down to 3 meters in size. We focused on the region near Nobili crater near Lunar south pole, selected site for VIPER mission and stitched several images to create a high-resolution map within one of the PSR of Nobile crater. Line of Sight Analysis and Traverse Planning in PSRs: We have developed an in-built line of sight analysis (LOS) tool in CMS that analyzes the terrain profile and obstructions and provides the visibility of a given terrain for a remote observer. This tool was utilized to perform viewshed analysis to investigate the area inside the PSR, a remote observer such as a rover could see without actually crossing the region. Figure 1 shows the viewshed analysis on the PSR in Nobile region. The yellow pin shows the observer location outside the PSR. The yellow area shows the visible part of PSR. The obstructed area with no visibility for the observer is shown in red. Figure 1: (left) PSR image on top of a high-resolution mosaic of sunlit images of a crater, in Nobile region (right) Viewshed Analysis of the same PSR with observer location shown by yellow pin. This analysis was extended further to set different heights for various observers and then perform the viewshed analysis. Combining the different visibility profiles can help designing improved traverses within the crater. Future plans: Eventually, HORUS datasets will be integrated into CMS as a layer in selected lunar polar regions. Hazard Maps will then be created based on terrain analysis in those regions. This integration will enable multiple scientific and exploration applications, such as designing traverses within PSRs, analyzing potential landing and science mission targets, investigating the meter-scale geomorphology of PSRs, including craters, boulder, surface roughness, mass wasting features and other indications of the presence of water-ice and other volatiles. Acknowledgments: CMS developers team including Kaitlyn J. Dickinson, Tyler A. Lucarz, Tyler W. Choi from USRA, NASA WorldWind Advisory team including Mark Peterson and Guillermo Miguel Del Castillo, HORUS team member V.T. Bickel, Robinson, M., LRO MOON LROC 2 EDR V1.0, LRO-L-LROC-2-EDR-V1.0, NASA Planetary Data System (PDS), 2009. https://doi.org/10.17189/1520643 References: [1] https://celestial.arc.nasa.gov [2] Agrawal et. al. “Celestial Mapping System for Lunar Surface Mapping and Analytics”, Lunar Surface Innovation Consortium, 2021 [3] Bickel V. et al. (2021) Nat Commun 12, 5607

Lunar Mapping↗
DOE OSTI2024

Electronic structure prediction of multi-million atom systems through uncertainty quantification enabled transfer learning

The ground state electron density — obtainable using Kohn-Sham Density Functional Theory (KS-DFT) simulations — contains a wealth of material information, making its prediction via machine learning (ML) models attractive. However, the computational expense of KS-DFT scales cubically with system size which tends to stymie training data generation, making it difficult to develop quantifiably accurate ML models that are applicable across many scales and system configurations. Here, we address this fundamental challenge by employing transfer learning to leverage the multi-scale nature of the training data, while comprehensively sampling system configurations using thermalization. Our ML models are less reliant on heuristics, and being based on Bayesian neural networks, enable uncertainty quantification. We show that our models incur significantly lower data generation costs while allowing confident — and when verifiable, accurate — predictions for a wide variety of bulk systems well beyond training, including systems with defects, different alloy compositions, and at multi-million-atom scales. Moreover, such predictions can be carried out using only modest computational resources.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

Comparative mitogenomics of kingdom Fungi – evolutionary insights and metagenomic applications

Mitochondria are essential components of eukaryotic cells, responsible for ATP production through oxidative phosphorylation. Despite their biological importance, unique challenges have hindered the adoption of automated mitochondrial genome (mitogenome) annotation methods, obstructing mitochondrial comparative genomics in a broad evolutionary context. Using Fungi as a study system and a Joint Genome Institute (JGI) annotated high-quality reference set, we observed broad patterns of mitochondrial evolution across the kingdom. We found that the median fungal mitogenome size is 58 kb and identified exceptionally large examples over 1 Mb in Pezizomycetes. All 14 expected oxidative phosphorylation protein-coding genes, plus rps3, were generally conserved. We found evidence of major evolutionary transitions within the Ascomycota, including the transfer of mitochondrially encoded atp8 and atp9 to the nuclear genomes across the Pezizomycotina and shifts in mitogenome tRNA patterns across the kingdom. We found substantial concordance between mitochondrial and nuclear evolution, enabling us to document 3131 total fungal mitogenomes from JGI-derived metagenomic datasets. We also identified 6467 total undeclared mitogenomes embedded in Genbank fungal nuclear assemblies. We provide interactive tools for mitogenome analysis through the JGI MycoCosm platform. Collectively, this work generated nearly 10 000 new fungal mitogenome annotations, providing a foundation and resources for future exploration of comparative fungal mitogenomics.

Ahrendt, Steven R. [USDOE Joint Genome Institute (↗
DOE OSTI2020

Integration Study of Converter-Interfaced Combined Heat and Power Plants

Combined Heat and Power (CHP) systems, as a proven technology, provide numerous benefits to the plant owner by saving electricity bill, reducing carbon dioxide emissions, and improving electricity service reliability. However, their integration into the distribution grid faces many barriers including the complexity of grid code requirements and the lack of technical expertise in commercial and small industrial plants to interface with the utility and accelerate the interconnection process. To solve these issues, this study proposes a converter-interfaced solution for CHP integration. Simulations including various fault scenarios and load flow under different grid conditions are carried out to compare technical performances of the proposed solution with directly-coupled CHP. Results show that the generator size of converter-interfaced CHP can be reduced by approximately 25% and it also provides advantageous features such as reduced stress level under fault conditions and a better dynamic stability margin. In addition, a power factor controller is designed and reactive power from CHP is dispatched in such a way that the CHP plant is compliant with power factor requirements from utilities under all operating conditions.

Converter, Combined heat and power, Distributed en↗
NASA NTRS2003

ISRU Reactant, Fuel Cell Based Power Plant for Robotic and Human Mobile Exploration Applications

Three basic power generation system concepts are generally considered for lander, rover, and Extra-Vehicular Activity (EVA) assistant applications for robotic and human Moon and Mars exploration missions. The most common power system considered is the solar array and battery system. While relatively simple and successful, solar array/battery systems have some serious limitations for mobile applications. For typical rover applications, these limitations include relatively low total energy storage capabilities, daylight only operating times (6 to 8 hours on Mars), relatively short operating lives depending on the operating environment, and rover/lander size and surface use constraints. Radioisotope power systems are being reconsidered for long-range science missions. Unfortunately, the high cost, political controversy, and launch difficulties that are associated with nuclear-based power systems suggests that the use of radioisotope powered landers, rovers, and EVA assistants will be limited. The third power system concept now being considered are fuel cell based systems. Fuel cell power systems overcome many of the performance and surface exploration limitations of solar array/battery power systems and the prohibitive cost and other difficulties associated with nuclear power systems for mobile applications. In an effort to better understand the capabilities and limitations of fuel cell power systems for Moon and Mars exploration applications, NASA is investigating the use of in-Situ Resource Utilization (ISRU) produced reactant, fuel cell based power plants to power robotic outpost rovers, science equipment, and future human spacecraft, surface-excursion rovers, and EVA assistant rovers. This paper will briefly compare the capabilities and limitations of fuel cell power systems relative to solar array/battery and nuclear systems, discuss the unique and enhanced missions that fuel cell power systems enable, and discuss the common technology and system attributes possible for robotic and human exploration to maximize scientific return and minimize cost and risk to both. Progress made to date at the Johnson Space Center on an ISRU producible reactant, Proton Exchange Membrane (PEM) fuel cell based power plant project to demonstrate the concept in conjunction with rover applications will be presented in detail.

Baird, Russell S.↗
NASA NTRS2015

A Stochastic Scheduler for Integrated Arrival, Departure and Surface Operations in Los Angeles

In terminal airspace, integrating arrivals, departures, and surface operations with competing resources provides the potential of improving operational efficiency by removing barriers between different operations. This work develops a centralized stochastic scheduler for operations in a terminal area including airborne and surface operations using Non-dominated sorting genetic algorithm and Monte Carlo simulations. The scheduler handles completing resources between different flows, such as runway allocations, runway crossing, departure fixes, and other interaction way points between arrivals and departures. Meanwhile, the scheduler also takes time-varied uncertainties into account when optimizing schedules. The scheduler is run sequentially to identify the best and robust schedule for the next planning window. Resulting schedules decide the routes, speed or delays, and runway assignments with separation constraints at mergingdiverging waypoints in the air and crossing and separations on runways. The Los Angels terminal area was used as an example. The implementation of this stochastic scheduler for integrated arrival, departure and surface operations is completed. And several preliminary runs are finished for over 1,200 flights in LAX in a typical day. Sensitivity studies on various planning window sizes are presented, which shows that trade-off exits between planning window size and achievable minimum delay. Preliminary results on runway usage are also presented in this abstract. Because arrivals on the outer runways have to be followed by crossings on the inner runways, algorithmic runway allocation prefers inner runways for arrivals and outer runways for departures. More results will be presented in the final paper. And current terminal arrival and departure procedures based on first-come-first-serve procedure will also be set up and used as a baseline for comparison.

integrated scheduler↗
DOE OSTI2021

Autonomous nondestructive evaluation of resistance spot welded joints

The application of non-destructive evaluation approaches has attracted strong interests in modern automotive industries. Here, we present an autonomous deep-computing framework to analyze raw videos from infrared systems and to predict weld nugget shape and size with unprecedented accuracy and speed. In a comprehensive training and testing experiment with 90 videos (seven sets of welding material stack-ups), a new method was developed to assemble sufficient datasets for neural network training. Our framework successfully predicts all the nugget shapes with F1 scores that range from 0.84 to 0.92. The total training time on Nvidia DGX station takes less than 10 min for each set of welding material stack-up. The real inference time of an individual dataset (with 30 video frames) takes about 0.005 s. The procedure and methods developed in the study can be applied to other image-based weld property prediction, as well as other manufacturing processes. Furthermore, our well-trained neural networks take limited memory resources (2.3 MB) and are suitable for embedded microprocessors for in-situ welding quality control as edge computing within an intelligent welding framework.

42 ENGINEERING↗
NASA NTRS2006

Towards a Compositional SPIN

This paper discusses our initial experience with introducing automated assume-guarantee verification based on learning in the SPIN tool. We believe that compositional verification techniques such as assume-guarantee reasoning could complement the state-reduction techniques that SPIN already supports, thus increasing the size of systems that SPIN can handle. We present a "light-weight" approach to evaluating the benefits of learning-based assume-guarantee reasoning in the context of SPIN: we turn our previous implementation of learning for the LTSA tool into a main program that externally invokes SPIN to provide the model checking-related answers. Despite its performance overheads (which mandate a future implementation within SPIN itself), this approach provides accurate information about the savings in memory. We have experimented with several versions of learning-based assume guarantee reasoning, including a novel heuristic introduced here for generating component assumptions when their environment is unavailable. We illustrate the benefits of learning-based assume-guarantee reasoning in SPIN through the example of a resource arbiter for a spacecraft. Keywords: assume-guarantee reasoning, model checking, learning.

Pasareanu, Corina S.↗
DOE OSTI2022

Image transformers for classifying acute lymphoblastic leukemia

Cancer is the leading cause of death by disease in American children. Each year, nearly 16,000 children in the United States and over 300,000 children globally are diagnosed with cancer. Leukemia is a form of blood cancer that originates in the bone marrow and accounts for one-third of pediatric cancers. This disease occurs when the bone marrow contains 20% or more immature white blood cell blasts. Acute lymphoblastic leukemia is the most prevalent leukemia type found in children, with half of all annual cases in the U.S. diagnosed for subjects under 20 years of age. To diagnose acute lymphoblastic leukemia, pathologists often conduct a morphological bone marrow assessment. This assessment determines whether the immature white blood cell blasts in bone marrow display the correct morphological characteristics, such as size and appearance of nuclei. Pathologists also use immunophenotyping via multi-channel flow cytometry to test whether certain antigens are present on the surface of blast cells; the antigens are used to identify the cell lineage of acute lymphoblastic leukemia. These manual processes require well-trained personnel and medical professionals, thus being costly in time and expenses. Computerized decision support via machine learning can accelerate the diagnosis process and reduce the cost. Training a reliable classification model to distinguish between mature and immature white blood cells is essential to the decision support system. Here, we adopted the Vision Transformer model to classify white blood cells. The Vision Transformer achieved superb classification performance compared to state-of-the-art convolutional neural networks while requiring less computational resources for training. Additionally, the latent self-attention architecture provided attention maps for a given image, providing clues as to which portion(s) of the image were significant in decision-making. We applied the Vision Transformer model and a convolutional neural network model to an acute lymphoblastic leukemia classification dataset of 12,528 samples and achieved accuracies of 88.4% and 86.2%.

Cho, Priscilla↗