Mathematics Commons^™

Computing Homology Of Hypergraphs, Jackson Earl

STAR Program Research Presentations

In the modern age of data science, the necessity for efficient and insightful analytical tools that enable us to interpret large data structures inherently presents itself. With the increasing utility of metrics offered by the mathematics of hypergraph theory and algebraic topology, we are able to explore multi-way relational datasets and actively develop such tools. Throughout this research endeavor, one of the primary goals has been to contribute to the development of computational algorithms pertaining to the homology of hypergraphs. More specifically, coding in python to compute the homology groups of a given hypergraph, as well as their Betti numbers …

Can We Detect Undeclared Facilities In The Nuclear Fuel Cycle Using Mathematical Simulations?, Kassandra Guajardo, Lee Burke, Romarie Morales Rosado

STAR Program Research Presentations

What if there was a way to detect undeclared (Clandestine) facilities using data sets from a nuclear facility? The Statistical Modeling and Experimental Design group at the Pacific Northwest National Laboratory are developing the Modeling and Inference for Remote Sensing (MIRS) model. The model uses two deterrence scenarios within the nuclear fuel cycle to detect undeclared facilities. The two scenarios are used in an agent based nuclear fuel cycle simulator to produce the declared and undeclared feed, tails assay, and sink inventory in kilograms of Uranium. In the first scenario, natural uranium is being diverted from the conversion plant to …

Development And Implementation Of An Optimization Model To Improve Airport Security., Kassandra Guajardo, Angela Waterworth, Robert Brigantic Ph.D.

STAR Program Research Presentations

What if airport security teams across the world could quantify and then minimize the amount of risk throughout areas of an airport? The Operations Research Team at the Pacific Northwest National Laboratory is developing and implementing an optimization model called ARAM (Airport Risk Analysis Model) for the Seattle-Tacoma International Airport. ARAM will provide a recommended optimal deployment of security assets to reduce risk in areas of an airport. The model is based on a risk equation that considers consequences, vulnerabilities, and threat magnitudes at airports. ARAM will also provide the estimated risk buy down percentage, which is how much risk …

Exploring Mathematical Strategies For Finding Hidden Features In Multi-Dimensional Big Datasets, Tri Duong, Fang Ren, Apurva Mehta

STAR Program Research Presentations

With advances in technology in brighter sources and larger and faster detectors, the amount of data generated at national user facilities such as SLAC is increasing exponentially. Humans have a superb ability to recognize patterns in complex and noisy data and therefore, data is still curated and analyzed by humans. However, a human brain is unable to keep up with the accelerated pace of data generation, and as a consequence, the rate of new discoveries hasn't kept pace with the rate of data creation. Therefore, new procedures to quickly assess and analyze the data are needed. Machine learning approaches are …

Using In Situ Liquid Single Photon Ionization Mass Spectrometry (Spi-Ms) To Probe Lithium Polysulfide Electrolyte In Motion, Aala M. Al Hasan, Jiachao Yu, Juan Yao, Vijayakumar Murugesan, Manjula Nandasiri, Xiao-Ying Yu

STAR Program Research Presentations

The solid-liquid (s-l) interface is the most common interface encountered in electrochemical systems. The s-l interface has wide applications in energy storage, catalysis, and material sciences. In situ studies of chemical reactions taking place on the s-l interfaces can further our understanding of electron transfer and link to real-world device functions under challenging conditions. Direct probing of the solid electrode and liquid electrolyte interface has been realized using a vacuum compatible electrochemical microfluidic reactor, system for analysis at the liquid vacuum interface (SALVI) with time-of-flight secondary ion mass spectrometry (ToF-SIMS). Most recently, the electrochemical version of SALVI was integrated to …

Smooth Representation Of Functions On Non-Periodic Domains By Means Of The Fourier Continuation Method, Nicholas Rubel, David Bilyeu, Justin Koo

STAR Program Research Presentations

This report examines a new methodology in solving Partial Differential Equations (PDEs) numerically. The report also studies the accuracy of this new method as a PDE solver. This new Fourier Continuation (FC) method is one of a few that avoids the well-known Gibbs Phenomenon, which is the overestimation or underestimation of a function. These estimations are oscillations around a “jump” when a non-periodic function is expressed in terms of sines and cosines. Instead, the FC algorithm creates a smooth, periodic extension of a function over a general domain, as demonstrated by the many examples presented here. The FC algorithm was …

Light Pollution Research Through Citizen Science, John Kanemoto

STAR Program Research Presentations

Light pollution (LP) can disrupt and/or degrade the health of all living things, as well as, their environments. The goal of my research at the NOAO was to check the accuracy of the citizen science LP reporting systems entitled: Globe at Night (GaN), Dark Sky Meter (DSM), and Loss of the Night (LoN). On the GaN webpage, the darkness of the night sky (DotNS) is reported by selecting a magnitude chart. Each magnitude chart has a different density/number of stars around a specific constellation. The greater number of stars implies a darker night sky. Within the DSM iPhone application, a …

Evolution Of Perturbations In Flow Field Mechanics, Samantha R. Bell, David Forliti, Nils Sedano, Kriss Vanderhyde

STAR Program Research Presentations

This project explores the stability analysis of a given flow field. Specifically, where the peak disturbance occurs in a flow as this is the disturbance that is most likely to occur. In rocket combustion, it is important to understand where the maximum disturbance occurs so that the mixing of fuel can be stabilized. The instabilities are the results of frequencies in the area surrounding the flow field. The linear stability governing equations are employed to better understand the disturbance. The governing equations for continuity and momentum in the x and y directions are used to form an equation for the …

Characterization Of The Drilling Via The Vibration Augmenter Of Rotary-Drills And Sound Signal Processing Of Impacted Pipe As A Potential Water Height Assessment Tool, Nicholas Morris

STAR Program Research Presentations

The focus of the internship has been on two topics: a) Characterize the drilling performance of a novel percussive augmenter – this drill was developed by the JPL’s Advanced Technologies Group and its performance was characterized; and b) Examine the feasibility of striking a pipe as a means of assessing the water height inside the pipe. The purpose of this investigation is to examine the possibility of using a simple method of applying impacts to a pipe wall and determining the water height from the sonic characteristic differences including damping, resonance frequencies, etc. Due to multiple variables that are relevant …

Investigating Graph Clustering For The Power Grid, Gabriela Radu, Emilie Hogan

STAR Program Research Presentations

Given time series data from multiple power generators containing measurements of phase angle taken at many points in time. The goal is to cluster together generators which have similar phase angle behavior.

In order to achieve this goal, Fast Fourier Transforms and Euclidean distances were used to quantify similarities between generators. A graph was created in which two generators were connected if they were sufficiently similar (known as a nearest neighbor graph). Using different nearest neighbor values, matrices were generated based on similarities between generators. Specific time intervals were taken from the large data set to assess the time dependency …

Using Modeling And Simulation To Analyze Complex Aircraft, Kimberlee Margosian, Jason Lechniak

STAR Program Research Presentations

Modeling and Simulation (M&S) is used at the Air Force Flight Test Center (AFFTC) on Edwards Air Force Base (AFB) to better understand physical phenomena on aircraft. M&S allows for the reduction of cost and risk by providing a better understanding of required flight tests and the interactions between various forces and the aircraft (i.e. wind resistance, pressure change, and temperature change). Without this process, the lives of pilots would be at a much greater risk when testing their aircraft and there would be little to no funds to fly due to the cost to repair or modify the aircraft. …

Nasa Flight Opportunities Program (Fop) Platform Tradeoffs Analysis, Stephanie Kugler, Dougal Maclise

STAR Program Research Presentations

The Flight Opportunities Program (FOP) exemplifies NASA’s shift in policy from a public driven space industry towards an emphasis on public-private partnerships. The Payloads team, as part of FOP, is responsible for soliciting, selecting and shepherding payloads that require flight testing in order to mature technologies, not only to reduce risk in a deep space or manned space missions, but also to develop critical technologies with multiple applications in space. Several companies have been awarded contracts to provide these flight opportunities and each have unique capabilities to fly payloads in environments that closely imitate the environment of space missions. As …

Automated Theorem Prover Axiom Management, Ashley T. Holeman, Ewen Denney

STAR Program Research Presentations

Automated Theorem Provers (ATPs), are computer programs that use collections of axioms,which are logical statements assumed to be true, in order to prove conjectures. NASA uses these programs to verify safety and functional requirements in domains like Guidance, Navigation, and Control. There are about 30 axioms on each major topic including the theory of coordinate systems, elementary arithmetic and linear algebra. These axioms have been created over the duration of many projects and combined into a single file. One task is to manage the axioms by arranging them into logical sections, deleting unnecessary ones and rewriting some into a more …