SBIR Phase II Final Technical Report - Precise and Scalable Race Detection for Extreme-Scale Computing
Explore the source record for details and available documents.
97 MATHEMATICS AND COMPUTING↗
SEARCH · Engineering Papers
Results for “mathematical analysis”
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.
Technoeconomic Analysis of a Microwave-Assisted Novel Process That Converts Polypropylene Plastic Waste to Propylene
Propylene is an important petrochemical that is used in various industries, including the automobile and polymer sectors. Conventionally, propylene has been produced through fluid catalytic cracking, steam cracking, and propane dehydrogenation. In this project, a novel process to produce propylene from polypropylene plastic waste using a microwave reactor is introduced. Propylene production is simulated in Aspen Plus for both the conventional propane dehydrogenation process and the novel design, with heat integration applied to minimize utility demands and the conventional process serving as the base case for comparison. Finally, a tailored technoeconomic analysis is carried out for both simulated cases to estimate important economic indicators. Analysis of the results shows that the novel microwave-assisted process outperforms the conventional route for propylene production, achieving a single-pass conversion of almost 100%, compared with only 33.8% in the conventional plant. The Net Present Value of the novel plant is $\$1720.3$ MM, which is 3.5 times higher than the conventional process, while the Levelized Cost of Propylene is reduced by 40%. Capital and operating expenditure are also improved in the proposed scheme, with reductions of approximately $\$29$ MM and $\$222$ MM/yr, respectively. In addition to cost savings, this novel process also provides a convenient means to recycle waste polypropylene.
42 ENGINEERING↗
Homomorphic Encryption for Electrical Metering Aggregation: Protecting the Privacy of Building Tenants
Electrical meters are devices that measure consumer electricity usage. The data collected by these meters is necessary for utility billing and electrical grid management but can also be used to assess the environmental impact of buildings. Prior research has found that unprotected metering data could potentially be used to infer some information about the behaviors of building tenants by detecting changes in electricity usage. For example, a period of low electricity usage could suggest that the tenants are not in the building. As smart metering becomes more common, there is a growing need for data privacy protections for metering data that do not negatively impact the quality and availability of data used for energy management and billing applications. To identify potential solutions, we developed a Python-based data aggregation platform to analyze the potential efficacy of privacy-enhancing technologies for energy metering applications. This platform aggregates groups of metering sites into virtual buildings, which could potentially detach changes in electrical activity from individual tenants, making it more difficult to track the activity of a specific tenant. To further protect data during analysis, this project utilizes homomorphic encryption as part of its initial approach. Homomorphic encryption offers a means of protecting energy consumption data while permitting mathematical operations to be performed without the need to know the data contents. This allows for data to be processed into usable statistics without revealing energy consumption information. A series of homomorphic encryption libraries were evaluated to determine their applicability and limitations in the context of metering data. The use of these techniques may help to reassure consumers and encourage further adoption of smart grid infrastructure.
32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
Isotopically nonstationary metabolic flux analysis of plants: recent progress and future opportunities
Metabolic flux analysis (MFA) is a valuable tool for quantifying cellular phenotypes and to guide plant metabolic engineering. By introducing stable isotopic tracers and employing mathematical models, MFA can quantify the rates of metabolic reactions through biochemical pathways. Recent applications of isotopically nonstationary MFA (INST–MFA) to plants have elucidated nonintuitive metabolism in leaves under optimal and stress conditions, described coupled fluxes for fast–growing algae, and produced a synergistic multi–organ flux map that is a first in MFA for any biological system. Finally, these insights could not be elucidated through other approaches and show the potential of INST–MFA to correct an oversimplified understanding of plant metabolism.
59 BASIC BIOLOGICAL SCIENCES↗
SigTime: Learning and Visually Explaining Time Series Signatures
Understanding and distinguishing temporal patterns in time series data is essential for scientific discovery and decision-making. For example, in biomedical research, uncovering meaningful patterns in physiological signals can improve diagnosis, risk assessment, and patient outcomes. However, existing methods for time series pattern discovery face major challenges, including high computational complexity, limited interpretability, and difficulty in capturing meaningful temporal structures. Here, to address these gaps, we introduce a novel learning framework that jointly trains two Transformer models using complementary time series representations: shapelet-based representations to capture localized temporal structures and traditional feature engineering to encode statistical properties. The learned shapelets serve as interpretable signatures that differentiate time series across classification labels. Additionally, we develop a visual analytics system—SigTime—with coordinated views to facilitate exploration of time series signatures from multiple perspectives, aiding in useful insights generation. We quantitatively evaluate our learning framework on eight publicly available datasets and one proprietary clinical dataset. Additionally, we demonstrate the effectiveness of our system through two usage scenarios along with the domain experts: one involving public ECG data and the other focused on preterm labor analysis.
97 MATHEMATICS AND COMPUTING↗
Advancing Agrivoltaic Modeling With ADAM
Designing an agrivoltaic system presents a complex set of tradeoffs around PV system configuration, resulting performance, agricultural needs, and system economics. Developing tools for agrivoltaic analysis can assist system designers when making decisions related to these tradeoffs. We are developing the Agrivoltaics Design and Analysis Model (ADAM) as a free, publicly available web tool for agrivoltaics economics analysis. Features of ADAM include automated calculations for available agrivoltaic cropland, user-friendly configuration changes, inter-row irradiance calculations, and integrated economic modeling of energy and non-energy revenues. We will discuss the iterative process of agrivoltaic tool development including tradeoffs between accuracy and uncertainty, feature prioritization, and ease of use driven by our multi-disciplinary stakeholder design process. Finally, we will share modeling results from existing agrivoltaics systems as a preliminary case study.
14 SOLAR ENERGY↗
Variationally consistent Maxwell stress in flexoelectric structures under finite deformation and immersed in free space
Maxwell stress refers to the mechanical stress exerted on a dielectric material due to the presence of electric fields. It plays a significant role in the interaction between a dielectric material and the surrounding free space under finite deformation. Previous research on finite deformation of flexoelectricity mainly adopted a modified form of Maxwell stress, potentially not able to correctly capture some physical phenomena, such as the compression of a dielectric droplet in an electric field. In this work, we propose a consistent and complete variational principle for flexoelectricity, in which the Maxwell stress emerges naturally from the derivation, without introducing additional assumptions. An Isogeometric analysis-based numerical framework is developed accordingly and verified by both linear and nonlinear benchmark cases compared with experimental results. The present framework successfully captures and quantifies the behaviors of conductive liquids and soft dielectric solids subjected to an external electric field. Finally, a novel scenario is investigated in which a flexoelectric beam immersed in free space is analyzed, showing the interesting distribution of Maxwell stress-induced tractions at opposing boundaries. The test demonstrates that a higher dielectric constant can effectively enhance the material's stiffness in response to the external electric loading.
36 MATERIALS SCIENCE↗
Geometry-Driven Detection, Tracking and Visual Analysis of Viscous and Gravitational Fingers
Viscous and gravitational flow instabilities cause a displacement front to break up into finger-like fluids. The detection and evolutionary analysis of these fingering instabilities are critical in multiple scientific disciplines such as fluid mechanics and hydrogeology. However, previous detection methods of the viscous and gravitational fingers are based on density thresholding, which provides limited geometric information of the fingers. The geometric structures of fingers and their evolution are important yet little studied in the literature. In this work, we explore the geometric detection and evolution of the fingers in detail to elucidate the dynamics of the instability. Additionally, we propose a ridge voxel detection method to guide the extraction of finger cores from three-dimensional (3D) scalar fields. After skeletonizing finger cores into skeletons, we design a spanning tree based approach to capture how fingers branch spatially from the finger skeletons. Finally, we devise a novel geometric-glyph augmented tracking graph to study how the fingers and their branches grow, merge, and split over time. Feedback from earth scientists demonstrates the usefulness of our approach to performing spatio-temporal geometric analyses of fingers.
97 MATHEMATICS AND COMPUTING↗
Flow and Elastic Networks on the $\mathcal{n}$-Torus: Geometry, Analysis, and Computation
Not provided.
Mathematics↗
Powered By SAM [Slides]
The System Advisor Model(TM) (SAM) is a free, open-source desktop application for techno-economic analysis of energy technologies. By combining detailed performance modeling with financial analysis, SAM allows users to assess technology trade-offs, explore future scenarios, and make informed decisions about energy investments. Users also have access to model details and the ability to embed SAM's core models in their own applications. This webinar, hosted by National Laboratory of the Rockies researchers Janine Keith and Matt Prilliman, highlights how this widely used modeling tool supports data-driven decision-making for energy systems.
29 ENERGY PLANNING, POLICY, AND ECONOMY↗
Exploring temporal community evolution: algorithmic approaches and parallel optimization for dynamic community detection
Abstract Dynamic (temporal) graphs are a convenient mathematical abstraction for many practical complex systems including social contacts, business transactions, and computer communications. Community discovery is an extensively used graph analysis kernel with rich literature for static graphs. However, community discovery in a dynamic setting is challenging for two specific reasons. Firstly, the notion of temporal community lacks a widely accepted formalization, and only limited work exists on understanding how communities emerge over time. Secondly, the added temporal dimension along with the sheer size of modern graph data necessitates new scalable algorithms. In this paper, we investigate how communities evolve over time based on several graph metrics under a temporal formalization. We compare six different algorithmic approaches for dynamic community detection for their quality and runtime. We identify that a vertex-centric (local) optimization method works as efficiently as the classical modularity-based methods. To its advantage, such local computation allows for the efficient design of parallel algorithms without incurring a significant parallel overhead. Based on this insight, we design a shared-memory parallel algorithm DyComPar , which demonstrates between 4 and 18 fold speed-up on a multi-core machine with 20 threads, for several real-world and synthetic graphs from different domains.
97 MATHEMATICS AND COMPUTING↗
Reliability-Informed Life Cycle Warranty Cost and Life Cycle Analysis of Newly Manufactured and Remanufactured Units
Standard life cycle techniques such as life cycle warranty cost (LCWC) analysis and life cycle analysis (LCA) are used to respectively quantify the relative economical and environmental advantages of remanufactured goods while simultaneously identifying avenues for improvement. In this paper, we contribute to the literature on life cycle studies by incorporating reliability into LCWC analysis and LCA with the goal of improving long-term/multiple life cycle decision making. We develop a branched power-law model to incorporate the physical degradation mechanisms leading to reduced reuse rates of system parts over multiple life cycles. We then follow a standard LCA protocol to quantify the difference between a new unit and its remanufactured version in terms of environmental impact items such as abiotic depletion potential, global warming potential, and energy consumption. We then devise four practical warranty policies that vary in the choice of replacement and/or provision for extended warranty. All possible replacement scenarios for multiple life cycles are explored for each policy and a mathematically rigorous framework is provided, where the reliability information is used to calculate probabilistic LCWC and life cycle impact items. This reliability-informed LCWC analysis and LCA framework enables design engineers to compare design options and warranty policies by quantifying both economical and environmental impacts to aid in decision making. Although the framework is presented in a general form applicable to any engineered system, we demonstrate the utility of this framework by using a case study of an infinitely variable transmission used in agricultural equipment.
42 ENGINEERING↗
Leveraging public AI tools to explore systems biology resources in mathematical modeling
Predictive mathematical modeling is an essential part of systems biology and is interconnected with information management. Systems biology information is often stored in specialized formats to facilitate data storage and analysis. These formats are not designed for easy human readability and thus require specialized software to visualize and interpret results. Therefore, comprehending modeling and underlying networks and pathways is contingent on mastering systems biology tools, which is particularly challenging for users with no or little background in data science or system biology. To address this challenge, we investigated the usage of public Artificial Intelligence (AI) tools in exploring systems biology resources in mathematical modeling. We tested public AI’s understanding of mathematics in models, related systems biology data, and the complexity of model structures. Our approach can enhance the accessibility of systems biology for non-system biologists and help them understand systems biology without a deep learning curve.
59 BASIC BIOLOGICAL SCIENCES↗
NMDQi Thermal-hydraulic Optimization, Analysis, and Scoping Tool (TOAST)
The Thermal-hydraulic Optimization, Analysis, and Scoping Tool (TOAST) is developed to support the thermal-hydraulic aspects for the design of optimal irradiation vehicles for the Nuclear Materials Discovery and Qualification initiative (NMDQi). TOAST is currently a MATLAB-based tool that utilizes a simplified steady-state analytical model where a radial thermal resistance circuit is utilized to account for conduction through up to 2 capsules, a gas gap, a thermal bond, a sample cladding, and a sample, as well as the convection from a water coolant outside the capsules. The geometry is discretized axially along the user-defined height of a basket with a user-defined number of points/nodes, essentially turning TOAST into a semi-2D heat transfer analysis utility for cylindrical irradiation vehicles with practically any configuration, solving for temperatures radially at multiple axial locations. TOAST utilizes a Graphical User Interface (GUI) in-which a user can define the geometrical layout, the materials utilized for each component, the coolant characteristics, and the required solution. The user can define the geometry by inputting the diameters, thicknesses, and heights for each component, whereas the materials are defined via the user-provided constant or variable thermal conductivities. The user can select the coolant's inlet temperature, pressure, and the pressure drop across the height of the problem (which is used to calculate the velocity of the flow). Finally, the user can choose to solve for a sample heat generation rate limit by inputting temperature limits for the sample and capsules or can choose to purely solve for the axial temperature distributions of each component by inputting a pre-selected heat generation rate. Either way, TOAST provides the user with axial temperature distributions of all the components including the coolant, and the heat generation rate limit as well as the maximum outlet coolant temperature. The user can also choose to do one of 6 sensitivity analyses in TOAST. The sensitivity analyses yield plots of the sensitivity of the heat generation rate limit, the maximum coolant temperature, and the pressure limit for the annular components due to perturbations in 1-2 unknown variables based on the selected sensitivity analysis. Benchmarks between computations in TOAST and equivalent 2D axis symmetric ABAQUS models are presented, showing that TOAST results are within less than 3% of ABAQUS results in most cases, and a maximum of 8% difference in some cases. The benchmarks also revealed that this uncertainty is tied to the selection of an appropriate Nusselt number correlation and appropriate thermal conductivities, which the user can do from the GUI. Regardless, TOAST is demonstrated as a computationally efficient, highly accessible, and accurate utility for optimization and scoping s of studies different irradiation vehicles.
42 ENGINEERING↗
Solar Thermal Energy Planner (STEP 1): Overview of New Solar Thermal for Industrial Heat Web Tool
This presentation will cover a new web tool, Solar Thermal Energy Planner (STEP 1), developed to ease the techno-economic analysis of solar thermal systems for industrial process heat.
14 SOLAR ENERGY↗
A unified and constructive framework for the universality of neural networks
Abstract One of the reasons why many neural networks are capable of replicating complicated tasks or functions is their universal approximation property. Though the past few decades have seen tremendous advances in theories of neural networks, a single constructive and elementary framework for neural network universality remains unavailable. This paper is an effort to provide a unified and constructive framework for the universality of a large class of activation functions including most of the existing ones. At the heart of the framework is the concept of neural network approximate identity (nAI). The main result is as follows: any nAI activation function is universal in the space of continuous functions on compacta. It turns out that most of the existing activation functions are nAI, and thus universal. The framework induces several advantages over the contemporary counterparts. First, it is constructive with elementary means from functional analysis, probability theory, and numerical analysis. Second, it is one of the first unified and constructive attempts that is valid for most of the existing activation functions. Third, it provides new proofs for most activation functions. Fourth, for a given activation and error tolerance, the framework provides precisely the architecture of the corresponding one-hidden neural network with a predetermined number of neurons and the values of weights/biases. Fifth, the framework allows us to abstractly present the first universal approximation with a favorable non-asymptotic rate. Sixth, our framework also provides insights into the developments, and hence providing constructive derivations, of some of the existing approaches.
97 MATHEMATICS AND COMPUTING↗
Open Specy 1.0: Automated (Hyper)spectroscopy for Microplastics
Microplastic spectral analysis is one of the most time-consuming processes in studying microplastic pollution, often requiring days per sample. Researchers are transitioning to automated batch and hyperspectral image analysis techniques to enhance efficiency. Open Specy, initially aimed at manual single-spectrum analysis, has now integrated automated methods. This updated version, Open Specy 1.0, introduces several new features, including two algorithms for automated processing (smoothing and particle compression), an extensive library containing over 40,000 open-source Raman and FTIR spectra, and two machine learning classifiers (logistic regression and k medoids) developed from this library. Furthermore, it includes a revamped user interface, an R package, and a benchmark data set for testing future advancements in automated techniques. Researchers evaluated various configurations for hyperspectral smoothing, particle identification, compression, and splitting, to achieve combined recovery rates between 50 and 150% particle counts, identities, and sizes with a coefficient of variation (CV) of less than 40% (the accredited standard). Mean absorbance times the standard deviation provided a consistent particle identification. Hyperspectral smoothing led to a 96% combined recovery rate and reduced variability (CV = 38%) compared to the 86% recovery (CV = 83%) of nonsmoothed controls. Additionally, compressing spectra for particles was significantly faster (>3x) and showed similar accuracy but with reduced variability than processing each pixel individually. Key challenges persist in automating spectral analysis, particularly in refining particle splitting algorithms, and improving identification routines to minimize false positives and negatives. In conclusion, new methods in sample preparation for better stabilization and dispersion of particles could overcome some of these issues.
13 HYDRO ENERGY↗
MFIX-Exa: CFD-DEM Simulations of Thermodynamics and Chemical Reactions in Multiphase Flows
For presentation at the AIChE Annual Meeting, Orlando, FL, November 5-10, 2023.
Porcu, Roberto↗