SAMPA: Security Analysis and Monitoring to Prevent Abuse of High Performance Computing Environments
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.
Navigation Design and Analysis for the Orion Earth-Moon Mission
This paper details the design of the cislunar optical navigation system being proposed for the Orion Earth-Moon (EM) missions. In particular, it presents the mathematics of the navigation filter. The unmodeled accelerations and their characterization are detailed. It also presents the analysis that has been performed to understand the performance of the proposed system, with particular attention paid to entry flight path angle constraints and the delta-V performance.
DSouza, Christopher↗
Physics-preserving enriched Galerkin method for a fully-coupled thermo-poroelasticity model
This paper proposes a new numerical method for a fully-coupled, quasi-static thermo-poroelasticity model in a unified enriched Galerkin (EG) method framework. In our method, the mechanics sub-problem is solved using a locking-free EG method, and the flow and heat sub-problems are solved using a locally-conservative EG method. The proposed method offers mass and energy conservation properties with much lower costs than other methods with the same properties, including discontinuous Galerkin methods and mixed finite element methods. The well-posedness and optimal a priori error estimates are carefully derived. Here, several numerical tests confirm the theoretical optimal convergence rates and the mass and energy conservation properties of the new method.
15 GEOTHERMAL ENERGY↗
An automated OpenMP mutation testing framework for performance optimization
Not Available
97 MATHEMATICS AND COMPUTING↗
Long-Term Statistical Process Monitoring of an Ultrafiltration Water Treatment Process
As water treatment technology has improved, the amount of available process data has substantially increased, making real-time, data-driven fault detection a reality. One shortcoming of the fault detection literature is that methods are usually evaluated by comparing their performance on hand-picked, short-term case studies, which yields no insight into long-term performance. In this work, we first evaluate multiple statistical and machine learning approaches for detrending process data. Then, we evaluate the performance of a PCA-based fault detection approach, applied to the detrended data, to monitor influent water quality, filtrate quality, and membrane fouling of an ultrafiltration membrane system for indirect potable reuse. Based on two short case studies, the adaptive lasso detrending method is selected, and the performance of the multivariate approach is evaluated over more than a year. The method is tested for different sets of three critical tuning parameters, and we find that for long-term, autonomous monitoring to be successful, these parameters should be carefully evaluated. However, in comparison with industry standards of simpler, univariate monitoring or daily pressure decay tests, multivariate monitoring produces substantial benefits in long-term testing.
ammonia↗
Guiding the design of oxidation-resistant Fe-based single atom alloy catalysts with insights from configurational space
The high activity and selectivity of Fe-based heterogeneous catalysts toward a variety of reactions that require the breaking of strong bonds are offset in large part by their considerable instability with respect to oxidative deactivation. While it has been shown that the stability of Fe catalysts is considerably enhanced by alloying them with precious metals (even at the single-atom limit), rational design criteria for choosing such secondary metals are still missing. Since oxidative deactivation occurs due to the strong binding of oxygen to Fe and reduction by adsorbed hydrogen mitigates the deactivation, we propose here to use the binding affinity of oxygen and hydrogen adatoms as the basis for rational design. As it would also be beneficial to use cheaper secondary metals, we have scanned over a large subset of 3d–5d mid-to late transition metal single atoms and computationally determined their effect on the oxygen and hydrogen adlayer binding as a function of chemical potential and adsorbate coverage. We further determine the underlying chemical origins that are responsible for these effects and connect them to experimentally tunable quantities. Our results reveal a reliable periodic trend wherein oxygen binding is weakened greatest as one moves right and down the periodic table. Hydrogen binding shows the same trend only at high (but relevant) coverages and otherwise tends to have its binding slightly increased in all systems. Trends with secondary metal coverage are also uncovered and connected to experimentally tunable parameters.
Hensley, Alyssa↗
Developing a predictive science of the biosphere requires the integration of scientific cultures
Increasing the speed of scientific progress is urgently needed to address the many challenges associated with the biosphere in the Anthropocene. Consequently, the critical question becomes: How can science most rapidly progress to address large, complex global problems? We suggest that the lag in the development of a more predictive science of the biosphere is not only because the biosphere is so much more complex, or because we do not have enough data, or are not doing enough experiments, but, in large part, because of unresolved tension between the three dominant scientific cultures that pervade the research community. We introduce and explain the concept of the three scientific cultures and present a novel analysis of their characteristics, supported by examples and a formal mathematical definition/representation of what this means and implies. The three cultures operate, to varying degrees, across all of science. However, within the biosciences, and in contrast to some of the other sciences, they remain relatively more separated, and their lack of integration has hindered their potential power and insight. Our solution to accelerating a broader, predictive science of the biosphere is to enhance integration of scientific cultures. The process of integration—Scientific Transculturalism—recognizes that the push for interdisciplinary research, in general, is just not enough. Unless these cultures of science are formally appreciated and their thinking iteratively integrated into scientific discovery and advancement, there will continue to be numerous significant challenges that will increasingly limit forecasting and prediction efforts.
54 ENVIRONMENTAL SCIENCES↗
A use-case-driven approach for demonstrating the added value of digitalisation in wind energy
Digitalisation is one of the key drivers for reducing the costs and risks of wind energy. When considering whether to embark on a digitalisation initiative, two key questions arise. The first is what business or operational opportunities might feasibly be addressed and the second is which of the many potential aspects of digitalisation are relevant to those opportunities. In this work, we show how these questions can be answered with a use-case-driven approach, based around a survey aiming to collect and collate the main "pain points" (or everyday challenges) of people in the wind energy sector. Although the relatively low number of participants of the survey (46) means that the results should only be used indicatively, it is still possible to make some general recommendations for priorities for digitalisation efforts in the wind energy sector. Firstly, digitalisation efforts should focus both on supporting people carrying out cross-lifecycle tasks, in particular sharing data, managing data, undertaking general data analyses and accessing data. Tools to do this should deal with varying data formats and naming conventions, make metadata more accessible, define data and metadata standards, make more data publicly available and improve the quality of data. Secondly, efforts should also focus on supporting people in the wind farm operational phase, in particular with failure detection, fault diagnosis, failure rate modelling and predictive maintenance. Solutions to do this should focus on accessible and validated tools for fault detection, cloud or other data pipeline solutions for SCADA data and tools for exhaustive data documentation. Finally, digitalisation efforts should focus on better communicating and helping people become aware of existing solutions and tools, as well as on helping people to exert a stronger influence on possible solutions.
17 WIND ENERGY↗
Do We Really Need All That Data: From Data to Agency in Automated Microscopy
Microscopy is entering an era of automated laboratories and AI-enabled instruments, often justified by a simple narrative of automating experiments to collect more data and train better models. In this work, we argue that, for microscopy, this framing is incomplete and can be counterproductive.
97 MATHEMATICS AND COMPUTING↗
nautilus : boosting Bayesian importance nested sampling with deep learning
ABSTRACT We introduce a novel approach to boost the efficiency of the importance nested sampling (INS) technique for Bayesian posterior and evidence estimation using deep learning. Unlike rejection-based sampling methods such as vanilla nested sampling (NS) or Markov chain Monte Carlo (MCMC) algorithms, importance sampling techniques can use all likelihood evaluations for posterior and evidence estimation. However, for efficient importance sampling, one needs proposal distributions that closely mimic the posterior distributions. We show how to combine INS with deep learning via neural network regression to accomplish this task. We also introduce nautilus, a reference open-source python implementation of this technique for Bayesian posterior and evidence estimation. We compare nautilus against popular NS and MCMC packages, including emcee, dynesty, ultranest, and pocomc, on a variety of challenging synthetic problems and real-world applications in exoplanet detection, galaxy SED fitting and cosmology. In all applications, the sampling efficiency of nautilus is substantially higher than that of all other samplers, often by more than an order of magnitude. Simultaneously, nautilus delivers highly accurate results and needs fewer likelihood evaluations than all other samplers tested. We also show that nautilus has good scaling with the dimensionality of the likelihood and is easily parallelizable to many CPUs.
97 MATHEMATICS AND COMPUTING↗
50 Years of metabolic control analysis
It has been 50 years since the publication of the seminal works by Savageau, Kacser & Burns and Heinrich & Rapoport, on the control of biochemical networks. What is remarkable about these three publications (especially the two papers by Kacser et al. and Rapoport et al.) is that they independently developed almost the same approach and came to the same conclusions. This approach is today called metabolic control analysis (MCA), and is a body of work that uses mathematics to reason about the properties of biochemical pathways in a deductive manner. Although originally focused on metabolic pathways, it was realized early on that it could be equally applied to genetic and signalling networks. In fact anything that one could associate a stoichiometry matrix with. In recent years, others have reinvented MCA, using different notation, highlighting the fact that there has been a good deal of conceptual convergence in this area.
59 BASIC BIOLOGICAL SCIENCES↗
A High-Throughput Solver for Marginalized Graph Kernels on GPU
Here, we present the design and optimization of a solver for efficient and high-throughput computation of the marginalized graph kernel on General Purpose GPUs. The graph kernel is computed using the conjugate gradient method to solve a generalized Laplacian of the tensor product between a pair of graphs. To cope with the large gap between the instruction throughput and the memory bandwidth of the GPUs, our solver forms the graph tensor product on-the-fly without storing it in memory. This is achieved by using threads in a warp cooperatively to stream the adjacency and edge label matrices of individual graphs by small square matrix blocks called tiles, which are then staged in registers and the shared memory for later reuse. Warps across a thread block can further share tiles via the shared memory to increase data reuse. We exploit the sparsity of the graphs hierarchically by storing only non-empty tiles using a coordinate format and nonzero elements within each tile using bitmaps. We propose a new partition-based reordering algorithm for aggregating nonzero elements of the graphs into fewer but denser tiles to further exploit sparsity. We carry out extensive theoretical analyses on the graph tensor product primitives for tiles of various density and evaluate their performance on synthetic and real-world datasets. Our solver delivers three to four orders of magnitude speedup over existing CPU-based solvers such as GraKeL and GraphKernels. The capability of the solver enables kernel-based learning tasks at unprecedented scales.
97 MATHEMATICS AND COMPUTING↗
Assessment of Accelerated Stress Testing Data for Silicon Photovoltaics Using Tensor Decomposition Methods
In this work, we examine the use of high-order tensor decompositions to analyze degradation pathways emerging from accelerated stress testing of silicon photovoltaic (PV) modules. Matrix-based decompositions are powerful tools for studying two-dimensional data arrays and form the foundation of a host of classical data analysis techniques. Tensors are high-order extrapolations of matrices that are able to account for more parameter dimensions, and a variety of tensor decomposition methods have been developed that similarly seek to extend insights from matrix decompositions to higher dimensions. Applying and interpreting tensor decomposition methods to sequences of PV module image data, we seek to uncover and isolate different degradation modes occurring from accelerated stress testing procedures. Further, we consider the contributions of different modes to PV module performance degradations.
data analysis↗
Hypernetwork science via high-order hypergraph walks
We propose high-order hypergraph walks as a framework to generalize graph-based network science techniques to hypergraphs. Edge incidence in hypergraphs is quantitative, yielding hypergraph walks with both length and width. Graph methods which then generalize to hypergraphs include connected component analyses, graph distance-based metrics such as closeness centrality, and motif-based measures such as clustering coefficients. We apply high-order analogs of these methods to real world hypernetworks, and show they reveal nuanced and interpretable structure that cannot be detected by graph-based methods. Lastly, we apply three generative models to the data and find that basic hypergraph properties, such as density and degree distributions, do not necessarily control these new structural measurements. Our work demonstrates how analyses of hypergraph-structured data are richer when utilizing tools tailored to capture hypergraph-native phenomena, and suggests one possible avenue towards that end.
97 MATHEMATICS AND COMPUTING↗
Next-generation geospatial-temporal information technologies for disaster management
Traditional geographic information systems (GIS) have been disrupted by the emergence of Big Data in the form of geo-coded raster, vector, and time-series Internet-of-Things data. This article discusses the application of new scalable technologies that go far beyond relational databases and file-based storage on spinning disk or tape to incorporate both storage and processing data in the same platform. The roles of the Apache Hadoop Distributed File Systems and NoSQL key-value stores such as the Apache Hbase are discussed, along with indexing schemes that optimally support geospatial-temporal use. Here, we highlight how this new approach can rapidly search multiple GIS data layers to obtain insights in the context of early warning, impact evaluation, response, and recovery to earthquake and wildfire disasters.
97 MATHEMATICS AND COMPUTING↗
MCNP6.3 Workshop [Slides]
This workshop presentation revisits several new features of MCNP6.2 and tools. Additionally, it offers a preview of the new features and improvements included in the upcoming MCNP6.3 code release that are most relevant to the nuclear radiation protection and shielding communities.
73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
Integrators
Many electromagnetic measurements detect signals that are the time derivative of the actual quantity of interest. Examples include so-called “B-dot” and “D-dot” detectors that are used for measuring transient magnetic and electric fields. Integration of these signals to recover the quantity of interest is performed either by hardware integrators in the signal line, or by software coding in the analysis programming. Hardware integration is usually done using a classic resistive-capacitive (RC) circuit, or internally in the detector by induction (L/R) or stray capacitance (RC). These hardware integration methods are only approximate, and must be corrected for distortion. This is usually called “droop correction.” In this note, we will examine this correction in some detail. Transient analysis via Laplace transforms will be used to simplify the mathematics. A rudimentary understanding of this method is assumed.
42 ENGINEERING↗