Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Checkpointing”

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.

215 records · Page 12

The InSAR Scientific Computing Environment

We have developed a flexible and extensible Interferometric SAR (InSAR) Scientific Computing Environment (ISCE) for geodetic image processing. ISCE was designed from the ground up as a geophysics community tool for generating stacks of interferograms that lend themselves to various forms of time-series analysis, with attention paid to accuracy, extensibility, and modularity. The framework is python-based, with code elements rigorously componentized by separating input/output operations from the processing engines. This allows greater flexibility and extensibility in the data models, and creates algorithmic code that is less susceptible to unnecessary modification when new data types and sensors are available. In addition, the components support provenance and checkpointing to facilitate reprocessing and algorithm exploration. The algorithms, based on legacy processing codes, have been adapted to assume a common reference track approach for all images acquired from nearby orbits, simplifying and systematizing the geometry for time-series analysis. The framework is designed to easily allow user contributions, and is distributed for free use by researchers. ISCE can process data from the ALOS, ERS, EnviSAT, Cosmo-SkyMed, RadarSAT-1, RadarSAT-2, and TerraSAR-X platforms, starting from Level-0 or Level 1 as provided from the data source, and going as far as Level 3 geocoded deformation products. With its flexible design, it can be extended with raw/meta data parsers to enable it to work with radar data from other platforms

geodetic imaging↗

The Trick Simulation Toolkit: A NASA/Opensource Framework for Running Time Based Physics Models

The Trick Simulation Toolkit is a simulation development environment used to create high fidelity training and engineering simulations at the NASA Johnson Space Center and many other NASA facilities. Its purpose is to generate a simulation executable from a collection of user-supplied models and a simulation definition file. For each Trick-based simulation, Trick automatically provides job scheduling, numerical integration, the ability to write and restore human readable checkpoints, data recording, interactive variable manipulation, a run-time interpreter, and many other commonly needed capabilities. This allows simulation developers to concentrate on their domain expertise and the algorithms and equations of their models. Also included in Trick are tools for plotting recorded data and various other supporting utilities and libraries. Trick is written in C/C++ and Java and supports both Linux and MacOSX computer operating systems. This paper describes Trick's design and use at NASA Johnson Space Center.

Penn, John M.↗

Transient Gene and miRNA Expression Profile Changes of Confluent Human Fibroblast Cells in Space

Microgravity or an altered gravity environment from the static 1 gravitational constant has been shown to influence global gene expression patterns and protein levels in cultured cells. However, most of the reported studies conducted in space or using simulated microgravity on the ground have focused on the growth or differentiation of the cells. Whether non-dividing cultured cells will sense the presence of microgravity in space has not been specifically addressed. In an experiment conducted on the International Space Station, confluent human fibroblast cells were fixed after being cultured in space for 3 and 14 days for investigations of gene and miRNA (microRNA) expression profile changes in these cells. A fibroblast is a type of cell that synthesizes the extracellular matrix and collagen, the structural framework for tissues, and plays a critical role in wound healing and other functions. Results of the experiment showed that on Day 3, both the flown and ground cells were still proliferating slowly even though they were confluent, as measured by the expression of the protein Ki-67 positive cells, and the cells in space grew slightly faster. Gene and miRNA expression data indicated activation of NF(sub kappa)B (nuclear factor kappa-light-chain-enhancer of activated B cells) and other growth related pathways involving HGF and VEGF in the flown cells. On Day 14 when the cells were mostly non-dividing, the gene and miRNA expression profiles between the flight and ground samples were indistinguishable. Comparison of gene and miRNA expressions in the Day 3 samples in respect to Day 14 revealed that most of the changes observed on Day 3 were related to cell growth for both the flown and ground cells. Analysis of cytoskeleton changes by immunohistochemistry staining of the cells with antibodies for alpha-tubulin showed no difference between the flight and ground samples. Results of our study suggest that in true non-dividing human fibroblast cells, microgravity in space has little effect on the gene and miRNA expression. Gene and miRNA expression changes were observed in cells that were confluent, but still proliferating slowly. The faster growth in the flown cells was associated with the activation of NF(sub kappa)B pathways which triggers the expression of several growth factors and the suppression of the cell cycle checkpoint.

Zhang, Ye↗

Enterprise Mission Integration for Artemis Lunar Missions

Mission integration is an iterative process by which a specific mission is formulated, refined, planned, and executed within the established vehicle(s), architecture, and ground systems design. Mission integration includes the people, vehicle(s) and ground hardware/software, products, processes, analyses, schedules, facilities, Certification of Flight Readiness, etc. The Artemis Mission Integration Task Team (MITT) developed a series of products and processes to support the complex mission integration across various Programs within the Artemis Mission Campaign (Orion, Space Launch Systems, Exploration Ground Systems, Gateway, Human Landing System, and Extravehicular Activity and Human Surface Mobility). The Moon to Mars (M2M) Program is referred to as ‘the enterprise’ as it includes both the M2M organization and the Programs supporting the Artemis Mission Campaign. Artemis Mission Integration has five phases: mission capability, mission definition, mission preparation, mission execution, and post-mission assessment. This paper focuses on one of the enterprise-level mission checkpoints as a kick-off to the Mission Preparation phase, the Mission Integration Review (MIR), which occurs 18-24 months prior to launch. The MIR helps to confirm the defined mission technical baseline is within the existing analyzed design envelope. Details are provided on the identification of dependencies, issues, or gaps for mission-specific objectives and requirements, as well as the definition of the analysis, training, mission execution products, facilities, and detailed supporting operations requirements. The MIR was held for both Artemis I and II and this paper aims to share with the aerospace community its value as we prepare for upcoming Artemis Missions.

Mary Anne Plaza↗

Automated Multi-Robot Assembly of Compliance Optimized Structures

Autonomous assembly of large structures is one of the fundamental challenges on the way towards NASA’s objectives of deep space exploration. In this work, we propose an algorithmic framework to optimize the assembly process of a prescribed target structure by constraining the assembly effort as well as maintaining structural soundness throughout the process. This framework uses structural topology optimization with assembly effort metrics to generate checkpoints for robotic traversal algorithms. Assembly effort is quantified by the Wasserstein metric between consecutive structural configurations during the assembly process. The robotic assembly task is split into two subtasks, where we first optimize for a set of key frames, then perform reconfiguration between consecutive frames. Key frames are optimized by adopting topology optimization techniques to reduce assembly effort and maintain structural integrity during the assembly process, while reconfiguration between key frames is performed using a path planning algorithm with a minimum weight maximum matching approach on a bipartite graph. We employ a Crystalline robot model in which each structural element is capable of locomotion through the structure and locking into place with neighboring elements after reaching its destination. An example assembly of a two-dimensional cantilever beam under volume constraints and structural compliance considerations is presented to demonstrate the approach. Finally, we conclude by discussing possible future extensions to this work, including adoption of better metrics, extension to three-dimensional large-scale problems, and exacting finer control of structural integrity during the path-planning phase.

robotic assembly↗

Optical array for high-quality imaging in harsh environments

Methods and apparatus are disclosed for producing high quality images in uncontrolled or impaired environments. In some examples of the disclosed technology, groups of cameras for high dynamic range (HDR), polarization diversity, and optional other diversity modes are arranged to concurrently image a common scene. For example, in a vehicle checkpoint application, HDR provides discernment of dark objects inside a vehicle, while polarization diversity aids in rejecting glare. Spectral diversity, infrared imaging, and active illumination can be applied for better imaging through a windshield. Preprocessed single-camera images are registered and fused. Faces or other features of interest can be detected in the fused image and identified in a library. Impairments can include weather, insufficient or interfering lighting, shadows, reflections, window glass, occlusions, or moving objects.

42 ENGINEERING↗

Toward designing effective exascale scientific computing workflows: experiences and best practices

Many fields within scientific computing have embraced advances in big-data analysis and machine learning, which often requires the deployment of large, distributed and complicated workflows that may combine training neural networks, performing simulations, running inference, and performing database queries and data analysis in asynchronous, parallel and pipelined execution frameworks. Such a shift has brought into focus the need for scalable, efficient workflow management solutions with reproducibility, error and provenance handling, traceability, and checkpoint-restart capabilities, among other needs. Here, we discuss challenges and best-practices for deploying exascale-generation computational science workflows on resources at the Oak Ridge Leadership Computing Facility (OLCF). We present our experiences with large-scale deployment of distributed workflows on the Summit supercomputer, including for bioinformatics and computational biophysics, materials science, and deep learning model optimization. We also present problems and solutions created by working within a Python-centric software base on traditional HPC systems, and discuss steps that will be required before the convergence of HPC, AI, and data science can be fully realized. Our results point to a wealth of exciting new possibilities for harnessing this convergence to tackle new scientific challenges.

Coletti, Mark↗

Optical array for high-quality imaging in harsh environments

Methods and apparatus are disclosed for producing high quality images in uncontrolled or impaired environments. In some examples of the disclosed technology, groups of cameras for high dynamic range (HDR), polarization diversity, and optional other diversity modes are arranged to concurrently image a common scene. For example, in a vehicle checkpoint application, HDR provides discernment of dark objects inside a vehicle, while polarization diversity aids in rejecting glare. Spectral diversity, infrared imaging, and active illumination can be applied for better imaging through a windshield. Preprocessed single-camera images are registered and fused. Faces or other features of interest can be detected in the fused image and identified in a library. Impairments can include weather, insufficient or interfering lighting, shadows, reflections, window glass, occlusions, or moving objects.

Baba, Justin S.↗

LeWRON: Agentic Analysis of Electroweak Phase Transitions

The electroweak phase transition (EWPT) is a central topic in particle physics and cosmology, connecting collider phenomenology, baryogenesis, and gravitational-wave observatories. Its analysis requires a technically demanding, convention-sensitive, and model-dependent pipeline, from constructing the finite-temperature effective potential to tracking thermal histories, computing bubble nucleation rates, and predicting gravitational-wave spectra. We present LeWRON (Learning ElectroWeak phase tRansitiON), an agentic framework that orchestrates this pipeline starting from an input Lagrangian. LeWRON combines audited toolbox construction with an Explorer module that uses the generated model-specific code for further analysis, including scans and plots. Intermediate analytic outputs are checked by auditor agents and stored as structured artifacts, enabling reproducible human inspection and downstream use through both a command-line interface and a public Python API. The framework supports a reproduction mode, which infers conventions from the literature and reproduces published results, and a discovery mode, which guides users through structured checkpoints for new models. We demonstrate LeWRON across representative beyond-the-Standard-Model scenarios and release the code on GitHub.

Wang, Isaac R. [Fermilab] (ORCID:000000030789218X)↗

Antibody:CD47 ratio regulates macrophage phagocytosis through competitive receptor phosphorylation

Cancer immunotherapies often modulate macrophage effector function by introducing either targeting antibodies that activate Fcγ receptors (FcγRs) or blocking antibodies that disrupt inhibitory SIRPα-CD47 engagement. However, how these competing signals are integrated is poorly understood, raising questions about how to effectively titrate immune responses. Here, we find that macrophage phagocytic decisions are regulated by the ratio of activating ligand to inhibitory ligand over a broad range of absolute molecular densities. Using both endogenous and chimeric receptors, we show that activating:inhibitory ligand ratios of at least 10:1 are required to promote phagocytosis of model antibody-opsonized CD47-inhibited targets and that lowering that ratio reduces FcγR phosphorylation because of inhibitory phosphatases recruited to CD47-bound SIRPα. We demonstrate that ratiometric signaling is critical for phagocytosis of tumor cells and can be modified by blocking SIRPα, indicating that balancing targeting and blocking antibodies may be important for controlling macrophage phagocytosis in cancer immunotherapy.

59 BASIC BIOLOGICAL SCIENCES↗

Structural insights reveal interplay between LAG-3 homodimerization, ligand binding, and function

Lymphocyte activation gene-3 (LAG-3) is an inhibitory receptor expressed on activated T cells and an emerging immunotherapy target. Domain 1 (D1) of LAG-3, which has been purported to directly interact with major histocompatibility complex class II (MHCII) and fibrinogen-like protein 1 (FGL1), has been the major focus for the development of therapeutic antibodies that inhibit LAG-3 receptor-ligand interactions and restore T cell function. Here, we present a high-resolution structure of glycosylated mouse LAG-3 ectodomain, identifying that cis-homodimerization, mediated through a network of hydrophobic residues within domain 2 (D2), is critically required for LAG-3 function. Additionally, we found a previously unidentified key protein-glycan interaction in the dimer interface that affects the spatial orientation of the neighboring D1 domain. Mutation of LAG-3 D2 residues reduced dimer formation, dramatically abolished LAG-3 binding to both MHCII and FGL1 ligands, and consequentially inhibited the role of LAG-3 in suppressing T cell responses. Intriguingly, we showed that antibodies directed against D1, D2, and D3 domains are all capable of blocking LAG-3 dimer formation and MHCII and FGL-1 ligand binding, suggesting a potential allosteric model of LAG-3 function tightly regulated by dimerization. Furthermore, our work reveals unique epitopes, in addition to D1, that can be targeted for immunotherapy of cancer and other human diseases.

59 BASIC BIOLOGICAL SCIENCES↗

Profiles of upcoming HPC Applications and their Impact on Reservation Strategies

With the expected convergence between HPC, BigData and AI, new applications with different profiles are coming to HPC infrastructures. Here, we aim at better understanding the features and needs of these applications in order to be able to run them efficiently on HPC platforms. The approach followed is bottom-up: we study thoroughly an emerging application from the neuroscience community (SLANT) to understand its behavior. Based on these observations, we derive a generic, yet simple, application model (namely, a linear sequence of stochastic jobs). We expect this model to be representative for a large set of upcoming applications that require the computational power of HPC clusters without fitting the typical behavior of large-scale traditional applications. In a second step, we show how one can manipulate this generic model in a scheduling framework. Specifically we consider the problem of making reservations (both time and memory) for an execution on an HPC platform. We derive solutions using the model of the first step of this work. We experimentally show the robustness of the model, even with very few data or with another application, to generate the model, and provide performance gains with regards to standard and more recent approaches used in the neuroscience community.

97 MATHEMATICS AND COMPUTING↗

Cell Cycle-Dependent Recruitment of FtsN to the Divisome in Escherichia coli

Cell division in Escherichia coli starts with the formation of an FtsZ protofilament network at midcell, the Z ring. However, only after a considerable lag period does the cell start to form a midcell constriction. The onset of constriction depends upon the arrival of so-called late divisome proteins, among which, FtsN is the last essential one. The timing and dependency of FtsN arrival to the divisome, along with genetic evidence, suggests it triggers cell division. In this study, we used high-throughput fluorescence microscopy to determine the arrival of FtsN and the early divisome protein ZapA to midcell at a single-cell level during the cell cycle. Our data show while the recruitment of ZapA/FtsZ is gradual in the cell cycle, recruitment of FtsN is rapid and begins at about the onset of constriction. At this time, the fraction of ZapA/FtsZ in the Z ring approaches its peak value. We also find a second increase in FtsN recruitment to the divisome, which begins once the amount of ZapA/FtsZ at midcell starts decreasing. Increasing hypermorphic FtsA* (FtsA R286W), but not FtsA, accelerates FtsN recruitment but not constriction. This finding is consistent with FtsA* recruiting FtsN with some other divisome component being rate-limiting for constriction under these conditions. Finally, our data support the recently proposed idea that ZapA/FtsZ and FtsN are part of physically separate complexes in midcell throughout the whole septation process.

59 BASIC BIOLOGICAL SCIENCES↗

Demystifying asynchronous I/O Interference in HPC applications

With increasing complexity of HPC workflows, data management services need to perform expensive I/O operations asynchronously in the background, aiming to overlap the I/O with the application runtime. However, this may cause interference due to competition for resources: CPU, memory/network bandwidth. The advent of multi-core architectures has exacerbated this problem, as many I/O operations are issued concurrently, thereby competing not only with the application but also among themselves. Furthermore, the interference patterns can dynamically change as a response to variations in application behavior and I/O subsystems (e.g. multiple users sharing a parallel file system). Without a thorough understanding, I/O operations may perform suboptimally, potentially even worse than in the blocking case. To fill this gap, here we investigate the causes and consequences of interference due to asynchronous I/O on HPC systems. Specifically, we focus on multi-core CPUs and memory bandwidth, isolating the interference due to each resource. Then, we perform an in-depth study to explain the interplay and contention in a variety of resource sharing scenarios such as varying priority and number of background I/O threads and different I/O strategies: sendfile, read/write, mmap/write underlining trade-offs. The insights from this study are important both to enable guided optimizations of existing background I/O, as well as to open new opportunities to design advanced asynchronous I/O strategies.

97 MATHEMATICS AND COMPUTING↗

Challenges and the Evolving Landscape of Assessing Blood-Based PD-L1 Expression as a Biomarker for Anti-PD-(L)1 Immunotherapy

While promising, PD-L1 expression on tumor tissues as assessed by immunohistochemistry has been shown to be an imperfect biomarker that only applies to a limited number of cancers, whereas many patients with PD-L1-negative tumors still respond to anti-PD-(L)1 immunotherapy. Recent studies using patient blood samples to assess immunotherapeutic responsiveness suggests a promising approach to the identification of novel and/or improved biomarkers for anti-PD-(L)1 immunotherapy. In this review, we discuss the advances in our evolving understanding of the regulation and function of PD-L1 expression, which is the foundation for developing blood-based PD-L1 as a biomarker for anti-PD-(L)1 immunotherapy. We further discuss current knowledge and clinical study results for biomarker identification using PD-L1 expression on tumor and immune cells, exosomes, and soluble forms of PD-L1 in the peripheral blood. Finally, we discuss key challenges for the successful development of the potential use of blood-based PD-L1 as a biomarker for anti-PD-(L)1 immunotherapy.

59 BASIC BIOLOGICAL SCIENCES↗