Search for: All records

Abstract High-performance and lightweight materials design is a pressing need in aerospace applications (e.g., aircraft ailerons, flaps, and rudders). However, the unique functionality requirements in strength, weight, and resistance to environmental factors, such as temperature fluctuations and corrosion, challenge traditional structure design methods such as topology optimization. While sandwich panel composites with lattice cores are widely used in aerospace components and modern additive manufacturing techniques open new possibilities for sandwich core structure design with requirement functionalities, the delicate design brings computational challenges for both optimization and manufacturing. This paper presents an inverse design framework for sandwich structure optimization with implicitly represented architected cellular materials to address these issues. Specifically, cellular materials are implicitly represented (described by implicit functions) as building blocks in the core structure design. A multi-objective topology optimization problem is formulated to maximize the core structure’s mechanical and thermal performances. Lastly, the nature of function representation for ease-of-additive manufacturing computations is illustrated with a direct slicing algorithm without generating memory-expensive standard tessellation language (STL) files. The proposed design framework is validated in two practical aerospace design case studies, and experimental results demonstrate the effectiveness of the proposed optimization algorithm and STL-free scheme for additive manufacturing. 

Graph convolutional networks (GCNs) are fundamental in various scientific applications, ranging from biomedical protein-protein interactions (PPI) to large-scale recommendation systems. An essential component for modeling graph structures in GCNs is sparse general matrix-matrix multiplication (SpGEMM). As the size of graph data continues to scale up, SpGEMMs are often conducted in an out-of-core fashion due to limited GPU memory space in resource-constrained systems. Albeit recent efforts that aim to alleviate the memory constraints of out-of-core SpGEMM through either GPU feature caching, hybrid CPU-GPU memory layout, or performing the computation in sparse format, current systems suffer from both high I/O latency and GPU under-utilization issues. In this paper, we first identify the problems of existing systems, where sparse format data alignment and memory allocation are the main performance bottlenecks, and propose AIRES, a novel algorithm-system co-design solution to accelerate out-of-core SpGEMM computation for GCNs. Specifically, from the algorithm angle, AIRES proposes to alleviate the data alignment issues on the block level for matrices in sparse formats and develops a tiling algorithm to facilitate row block-wise alignment. On the system level, AIRES employs a three-phase dynamic scheduling that features a dual-way data transfer strategy utilizing a tiered memory system: integrating GPU memory, GPU Direct Storage (GDS), and host memory to reduce I/O latency and improve throughput. Evaluations show that AIRES significantly outperforms the state-of-the-art methods, achieving up to 1.8× lower latency in real-world graph processing benchmarks. 

Abstract As wildfires increase in frequency and intensity, accurately representing the vertical distribution of smoke in numerical models is critical for assessing impacts to air quality, but remains highly uncertain. In this study, we leverage satellite retrievals of total column carbon monoxide (CO) and aerosol layer height (ALH) to evaluate two state-of-the-art regionals and global models, one using a plume rise parameterization to estimate smoke injection height (RAP-Chem) and another placing smoke at the surface (MOMO-Chem). We introduce a novel metric that utilizes the differing vertical sensitivities of two satellite sensors observing CO (TROPOMI and CrIS) to infer the vertical distribution of wildfire smoke using a joint CO column ratio. We find that RAP-Chem better captures the distribution of CO and ALH related to the 2020 western US megafire event than MOMO-Chem. However, RAP-Chem underestimates surface CO concentrations, revealing that current plume rise parameterizations are limited in their ability to partition smoke correctly in the vertical column. These results show that synergistic use of satellite data can provide additional constraints on the vertical distribution of smoke, thus providing insights into the strengths and limitations of current plume rise parameterizations and a pathway to improvement. 

This paper addresses temporal logic task planning problems for mobile robots. We consider missions that require accomplishing multiple high-level sub-tasks, expressed in natural language (NL), in a temporal and logical order. To formally define the mission, we treat these sub-tasks as atomic predicates in a Linear Temporal Logic (LTL) formula. We refer to this task specification framework as LTL-NL. Our goal is to design plans, defined as sequences of robot actions, accomplishing LTL-NL tasks. This action planning problem cannot be solved directly by existing LTL planners due to the NL nature of atomic predicates. Therefore, we propose HERACLEs, a hierarchical neuro-symbolic planner that relies on a novel integration of (i) existing symbolic planners generating high-level task plans determining the order at which the NL sub-tasks should be accomplished; (ii) pre-trained Large Language Models (LLMs) to design sequences of robot actions for each sub-task in these task plans; and (iii) conformal prediction acting as a formal interface between (i) and (ii) and managing uncertainties due to LLM imperfections. We show, both theoretically and empirically, that HERACLEs can achieve user-defined mission success rates. We demonstrate the efficiency of HERACLEs through comparative numerical experiments against recent LLM-based planners as well as hardware experiments on mobile manipulation tasks. Finally, we present examples demonstrating that our approach enhances user-friendliness compared to conventional symbolic approaches.