Mathematics Commons^™

Advancements In Spacecraft Trajectory Generation Through Matrix Decomposition Techniques, David Stoev, Oshani Jayawardane, Kaitlyn Cavanaugh, Kristiyan Stefanov, Andrew Murphy

Discovery Day - Daytona Beach

The Circular Restricted Three-Body Problem (CR3BP) is renowned for its intricate and chaotic dynamics, leaving it without a closed-form solution. In this poster, we introduce an innovative approach to determine spacecraft trajectories within the CR3BP framework using matrix factorization techniques. We formulate a matrix equation where the right-hand side vector is constructed from the spacecraft's position and velocity data, while the coefficient matrix is derived from the spacecraft's temporal data. Subsequently, we apply several matrix decomposition techniques, including modified Gram-Schmidt, the Householder technique, and Givens Rotation, to analyze the coefficient matrix and derive the spacecraft trajectories. Finally, we evaluate the …

Low-Complexity Polynomial Ring Learning For Quantum Space Assets, Lola Torres

Discovery Day - Daytona Beach

Secure communication for space-based systems requires cryptographic methods that remain both reliable and efficient under strict computational constraints. This work investigates a low-complexity polynomial ring learning algorithm designed for quantum space assets, including satellite–ground communication systems. The project focuses on post-quantum cryptographic principles, where encryption and decryption rely heavily on repeated polynomial operations; this can be computationally expensive with constrained platforms. This is addressed with reformulating polynomial multiplication as a structured linear transformation on coefficient vectors. By representing these operations as matrices with a cyclic structure, the structure allows the use of the discrete Fourier transform (DFT); this will simplify …

Engineering Path Trajectories With Gravitational Fields, Eliane Dean, Aidan Hart, Isabel Noot, Nathan Browning, Valeria Villazon Fito

Discovery Day - Daytona Beach

This project explores how vector calculus concepts play a role in aerospace engineering though spacecraft trajectory design. In particular, the notion of vector fields is used to model the gravitational force, whose work done is expressed through line integrals. By taking the curl of the gravitational field and showing it is zero, the field is recognised as conservative, implying that the work done by gravity is path independent. This property is conceptually linked to gravitational potential energy and the principle of energy conservation. The results are then applied to spacecraft motion, where engineers use energy-base methods to determine efficient trajectories …

Visualizing The Invisible: Simulating Electromagnetic Field In 3d Space With Matlab, Aashman Gupta, Eliane Dean, Riley Esperanca, Hailey Grabinski, Jacob Summerhays, Ameya Sute

Discovery Day - Daytona Beach

Electromagnetic field behaviours in free space are defined by Maxwell’s Equations, which couple the temporal and spatial variations of electric and magnetic fields through partial derivatives. These derivatives quantify the rate of change of each field’s vector component with respect to position and time in a 3D lattice, forming the basis for numerical field analysis. This research will develop a mathematical and computational framework using multivariable calculus to model, simulate, and visualize electromagnetic wave propagation in free space using MATLAB. Gradient, divergence, and curl operations are implemented to compute local field variations and energy transfer. The resulting data are used …

Modelling Quadcopter Thrust And Torque Using Lu-Decomposition, Diya Patil

Discovery Day - Daytona Beach

3 & 4 motor systems have been in the world of aviation in many different forms as the field grows and evolves. To understand the complexities of an Unmanned Aerial Vehicle (UAV) and its stability, assessing the amount of thrust put into each motor can help generate the torque produced despite factors such as multidirectional movement. While a UAV does this multiple times a second, producing a simplified version of this calculation can aid in simpler models simulating UAV movement. Due to the popularity of the quadcopter drone, a simple algorithm depicting thrust through each spinning motor can aid in …

Rockin’ Rover On The Rainbow Road, Michael Kolta, Lawrence Burgee, Ying Yuan

Transformations

This paper presents a progressive series of age-appropriate lesson plans for grades K-12 that all use the same interdisciplinary activity to educate students about Science, Technology, Engineering, Art, and Mathematics (STEAM) simultaneously. Technology from Texas Instruments (TI) was employed including a TI Nspire graphing calculator that can run Python programs, a TI Innovator Hub, and a TI Rover. The TI Rover is a small, robotic car that has sensors and is controlled by the calculator via the Hub hardware interface. A Python program was developed that uses the color sensor in the Rover to detect the color on colored paper …

Machine Learning For Predictive Energy And Emissions Modeling Of Vehicles And Power Grids In The United States, S M Tanvir Faysal Alam Chowdhoury

Dissertations

The environmental benefits of electric vehicle (EV) adoption depend on more than replacing internal combustion engine vehicles with electric powertrains. EV adoption reshapes electricity demand, interacts with regional generation mixes, and influences travel behavior and congestion, creating a coupled transportation-energy system in which vehicle and power-plant emissions must be evaluated together. This dissertation develops machine-learning frameworks for predicting energy consumption and emissions from vehicles and power grids under rising EV adoption. The first component forecasts grid emissions from EV charging. Using simulation data from NREL's Cambium database, a Prophet-based time-series framework predicts carbon dioxide, nitrous oxide, and methane emission rates …

Pseudodifferential Absorbing Boundary Conditions For Waves, Lauren Taylor

Mechanical Engineering Theses

Absorbing boundary conditions (ABCs) are required to truncate the computational domain when performing Finite Element Analyses of exterior acoustic problems where physical domain is unbounded. ABC is applied on a fictitious boundary containing the scatterer and ideally allows outgoing waves to leave without non-physical reflections. Preventing artificial reflections is essential to benefit from the accuracy of the numerical method used. Otherwise, ABC acts as a reflective surface, and artificial reflections distort the solution in the entire domain which is not recoverable by any type of refinement. Pseudodifferential ABCs were used to describe the Dirichlet-to-Neumann map which maps known boundary values …

(R2187) Analysis Of Neurological Impairments In Hospitalized Patients Using Cubic Neutrosophic Sets, B. Anitha, M. Lavanya

Applications and Applied Mathematics: An International Journal (AAM)

This study introduces an MCDM-based framework for identifying neurological diseases in hospitalized patients using symptom-based evaluations. A team of interns, guided by the chief doctor, was responsible for determining each patient’s precise condition from the presented neurological symptoms. To enhance diagnostic accuracy, the interns employed the TOPSIS and WASPAS methods to assess and rank the potential disease options. The combined analysis yielded a clear identification of the highest ranked disease for every patient, highlighting the effectiveness of these MCDM techniques in supporting clinical decision making.

Computational Insights Into Nucleosome Dynamics In Epigenetics Using Molecular Dynamics Simulations, Rutika Patel

Dissertations, Theses, and Capstone Projects

Nucleosome core particles (NCP) are the building blocks that form a highly organized and compact chromatin structure. Nucleosomes package DNA in the nucleus of eukaryotic cells. The NCP consists of about 147 base pairs of DNA wrapped around the histone octamer, with 1.65 superhelical turns in a left-handed manner. The histone octamer is composed of two copies of H3, H4, H2A, and H2B. Together with histone H1 and linker DNA, they further assemble into a higher-order chromatin structure. The nucleosome complex is stabilized by electrostatic interactions between positively charged histone residues and the negatively charged DNA backbone. To effectively access …

Constructing Orthonormal Bases With The Residuals Of Successive Approximations, An Introduction To Multiresolution Analysis, Elijah J. Guptill

Master's Theses

Wavelets and wavelet analysis are used in the study of signal processing, quantum field theory, functional analysis, multifractal analysis, and various other areas of mathematics. Multiresolution analysis provides a framework for building a wavelet basis of $\mathcal{L}^{2}(\mathbb{R})$ from a scaling function $\phi$, whose dyadic dilations and translations, $\{2^{j /2}\phi(2^{j}x-k):j,k\in \mathbb{Z}\}$, approximate $\mathcal{L}^{2}(\mathbb{R})$. One of the key properties of  $\phi$ is that it must satisfy $\phi(x)=\sum_{k\in \mathbb{Z}}{p_{k}2^{j /2}\phi(2^{j}x-k)}$ with respect to the norm on $\mathcal{L}^{2}(\mathbb{R})$. This equation is called a two-scale difference equation. Such equations enforce a regularity on the ordinary generating function $2^{-1 /2}\sum_{k\in \mathbb{Z}}{p_{k}z^{k}}$, known as the quadrature condition. …

Measuring Stock Market Inefficiency Using A Multilayer Composite Efficiency Index: A Case Of The Egyptian Exchange, Patrick K. Owido, Hiroki Sayama

Northeast Journal of Complex Systems (NEJCS)

Financial markets play a critical role in resource allocation. Their performance depends on the decisions of millions of independent investors constantly reacting to one another. Their informational efficiency remains a subject of debate across economic systems. When informational efficiency is present at the weak form, historical price information should not consistently predict future returns. Several empirical tests of this hypothesis often focus on the behavior of aggregate market indices, and use individual efficiency proxies such as autocorrelation, GARCH-type volatility, or entropy-based measures to measure efficiency. This has often yielded mixed results, particularly in emerging markets. Here we show that testing …

Classes Of Analytic Functions Defined By Salagean Derivative Operator Associated With Neutrosophic Generalized Poisson Distribution, Soliu O. Opeyemi Okunola, Olushola Adeyemo, Sayo A. Abidemi Gbangbala, Folorunso I. Isola Akinwale

Neutrosophic Systems with Applications

This study introduces and analyses new subclasses of analytic functions by applying the Salagean derivative operator to the Neutrosophic Generalized Poisson Distribution (NGPD) series. We develop a model where the mean parameter is treated as an interval or set to account for indeterminacy in complex systems. By employing Stirling numbers of the second kind and decreasing factorials, we derive necessary and sufficient coefficient inequalities and inclusion relations for these new subclasses. Numerical results and graphical illustrations demonstrate the sensitivity of these functions to orientation and the neutrosophic parameter, providing a framework for applications in fields like medical imaging and network …

Largest 2-Regular Subgraphs In Complete S-Partite Graphs, Yiyang Jiang

McKelvey School of Engineering Graduate Student Theses & Dissertations

In this thesis, we focus on the class of complete $S$-partite graphs, for $S$ an undirected graph possibly with self-loops, and address the problem of finding largest $2$-regular subgraphs of these graphs, which can be formulated as an integer linear program. Roughly speaking, a complete $S$-partite graph is obtained by replacing every single node of $S$ with a number of nodes, preserving the edge/non-edge relations of $S$. Our motivation in studying largest $2$-regular subgraphs is rooted in the structural systems theory, particularly in the problem of finding largest subnetworks that can sustain controllability or asymptotic stability of the corresponding subsystems. …

Leveraging Information Theory And Ecological Network Analysis To Monitor Communication Networks In A Student Aerospace Team, Christine Sessions

Doctoral Dissertations and Master's Theses

Effective communication is a critical component of successful collaboration in group projects and team settings. However, systematically tracking and analyzing team communications can be challenging, especially in complex, multi-member teams such as those found in the aerospace industry. This paper explores an information-theoretic approach that leverages encoding techniques and graph theory to analyze communication networks within a university’s multi-year, student-led cubesat design project (Project COMET). By utilizing Shannon Entropy as a measure of information flow, encoding communication patterns, and analyzing Ecological Network Analysis parameters, this research aims to understand how an Embry-Riddle Aeronautical University student project team evolves over the …

Decision Making For Large-Scale Problems Under Uncertainty And Conflict, Benjamin J. Hamlin

All Dissertations

Large-scale decision-making problems appear in many areas including long-range forecasting such as energy generation forecasting. Many such problems are subject to conflicting objectives and uncertain data, and can be modeled as linear optimization problems. We study novel theoretical results and algorithms for large-scale linear decision problems under conflict and uncertainty. First, we propose a parametric Benders decomposition algorithm for solving large-scale linear optimization problems with multiple objectives or deterministically uncertain objectives. Second, we extend the parametric Benders decomposition to a multi-stage setting, developing a parametric stochastic dual dynamic programming algorithm, which enables decision-making when conflicts and uncertainty have planning impacts …

A New Approach To Generate Combinatorial Patterns In Logical Analysis Of Data And Its Application To Predict College Retention, Salihah Ahmed E. Jaafari

Theses and Dissertations

Student retention and degree completion remain central challenges for higher-education institutions, with significant implications for student success, institutional effectiveness, and public accountability. While advances in predictive analytics have enabled earlier identification of students at risk of withdrawal, many commonly used machine learning approaches suffer from limited interpretability, constraining their practical usefulness for advising, intervention, and policy decision making. This dissertation addresses the problem of predicting student persistence by developing and evaluating optimization based, interpretable classification models within the Logical Analysis of Data (LAD) framework. Building on existing LAD formulations, this research introduces two novel pattern generation models, the Best Term …

On The Extreme Complexity Of Certain Nearly Regular Graphs, Gregory P. Constantine, Gregory C. Magda

Theory & Applications of Graphs

The complexity of a graph is the number of its labeled spanning trees. It is demonstrated that the seven known triangle-free strongly regular graphs are graphs of maximal complexity among all graphs of the same order and degree; their complements are shown to be of minimal complexity. A generalization to nearly regular graphs with two distinct eigenvalues of the Laplacian is presented. Conjectures and applications of these results to biological problems on neuronal activity are described.

The Waldo Dataset, Mary E. Koone, Rosie Kallie, Vassilis Athisos, Laurel S. Stvan

Computer Science and Engineering Datasets - Archive

Distinct from the task of predicting the author of a document (authorship attribution), we focus on addressing the issue of how to estimate the similarity between the written language styles of authors. To do so, we present a dataset of metadata derived by asking human annotators, who were presented with three documents, to identify which two were written by the same author and which was written by a different author. The dataset has over 400 such annotations, creating a companion to the Amazon Web Services (AWS) customer review dataset, laying the groundwork for crowdsourcing applications to other natural language processing …

Predicting Tart Cherry Stem Water Potential Using Uav Multispectral Imagery And Environmental Data Via Symbolic Regression, Anderson L. S. Safre, Alfonso Torres-Rua, Kurt Wedegaertner, Brent Black, Brennan Bean, Burdette Barker, Matt Yost

Civil and Environmental Engineering Faculty Publications

Tart cherry is an important fruit crop in Utah, where irrigation is essential due to arid conditions. Precision irrigation requires reliable indicators of plant water status, and stem water potential (Ψ_stem), is among the most sensitive though labor-intensive and spatially limited. This study develops Ψ_stem estimation models using high-resolution multispectral Unmanned Aerial Vehicle (UAV) imagery combined with meteorological and soil moisture data, applying Symbolic Regression (SR). Results show a stronger correlation between optical bands and Ψ_stem during the pre-harvest period. Among 85 vegetation indices, the Red Chromatic Coordinate (RCC) index performed best (R² = 0.67). …

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

Assessing The Geomechanical Modelling Of Underground Reservoir For Co₂ Storage Trapping Mechanisms, Bonavian Hasiholan, Mohammed Ali Farea, Elhassan Mostafa Abdallah, Sami Abdelrahman M. Yagoub, Yasir Mukhtar

Mathematical Modelling and Numerical Simulation with Applications

Effective carbon dioxide (CO₂) storage is essential for mitigating climate change amid increasing global greenhouse gas emissions. This study investigates the influence of geomechanics on CO₂ storage performance within carbon capture and storage (CCS), focusing on structural, residual, and solubility trapping mechanisms using a fully coupled modeling framework. Two numerical models, with and without geomechanical effects, are developed to evaluate impacts on reservoir behavior, CO₂ migration, and trapping efficiency. Each mechanism is analyzed separately and within an integrated framework to assess their combined contributions. Results indicate that geomechanical coupling increases reservoir pressure, reduces CO₂ flow velocity, enhances migration control, and …

On The Influence Of Faraday Waves On Transport In Resonant Acoustic Mixing, Preston David Silverstein

CGU Theses & Dissertations

Resonant acoustic mixing (RAM) uses low frequency high acceleration oscillatory forcing to combine fluids, particles, and powders. Although progress has been in adjacent RAM fields, there are still gaps in understanding how Faraday surface instabilities affect momentum transport to the bulk fluid and particles therein. This work investigates the energy pathways that an oscillatory mixer has and connects surface deformation to bulk rotational flow and particle forcing. This study is conducted in three phases. In phase 1, a thermodynamic first- and second-law analysis couples the surface features with the scale of subsurface rotational features. Experimental surface measurements showed that for …

Uncertainty Quantification, Propagation & Conjunction Assessment In Orbital Mechanics Using Generalized Polynomial Chaos Expansion & 2-Dimensional Conjunction Plane Analysis Techniques, Monalisa Karim

Mechanical and Aerospace Engineering Theses

Uncertainties, that are inherent to dynamic models, can be associated with state initial conditions, force modelling errors, navigation and actuation errors. In system modelling stochastic differential equations are used to represent dynamic phenomena with uncertainties, for which the solutions are probability density functions of quantities of interest characterizing the realization of the stochastic processes. In Polynomial Chaos Expansion (PCE) propagation, these solutions are represented as weighted sums of multivariate spectral polynomials that are functions of the input random variables. Generalized polynomial chaos expansion (gPC) is an extension to the original homogenous PCE which projects the random solution onto a basis …

Adaptive Multi-Grade Deep Learning For Highly Oscillatory Fredholm Integral Equations Of The Second Kind, Jie Jiang, Yuesheng Xu

Mathematics & Statistics Faculty Publications

This paper studies the use of Multi-Grade Deep Learning (MGDL) for solving highly oscillatory Fredholm integral equations of the second kind. We provide rigorous error analyses of continuous and discrete MGDL models, showing that the discrete model retains the convergence and stability of its continuous counterpart under sufficiently small quadrature error. We identify the DNN training error as the primary source of approximation error, motivating a novel adaptive MGDL algorithm that selects the network grade based on training performance. Numerical experiments with highly oscillatory (including wavenumber 500) and singular solutions confirm the accuracy, effectiveness and robustness of the proposed approach.

Mathematical Developments In American Spacecraft Technology, Tylah Grace Lynn, Lauren Reece Terry

Student Scholar Symposium

No abstract provided.

Stability Analysis Of Thermohaline Convection With A Time-Varying Shear Flow Using The Lyapunov Method, Kalin Kochnev

Honors Scholar Theses

This work applies the Lyapunov method to identify instabilities and compute the growth rate of a linear time-varying system. The linear system studied describes cold fresh water on top of hot salty water with a periodically time-varying background shear flow. A time-dependent weighting matrix is employed to construct a Lyapunov function candidate. The resulting linear matrix inequalities are discretized in time using the forward Euler method. As the number of temporal discretization points increases, the growth rate predicted by the Lyapunov method or Floquet theory, used for comparison, will converge to the same value obtained from numerical simulations. Furthermore, the …

(R2122) Analysis Of Halo Orbits In The Elliptical R3bp With Mass Variation, Majhar Ali, Abdullah .

Applications and Applied Mathematics: An International Journal (AAM)

The elliptic restricted three-body problem investigates the motion behaviour of the variable mass infinitesimal body under the gravitational forces of the radiated oblate primary and dipole secondary. The equations of motion of the infinitesimal body are determined using Jeans law and Meshcherskii space time transformations. Using the Lindstedt-Poincaré method, we perform the solutions of the equations of motion. With the use of these solutions and the equations of motion, we numerically illustrate the time series, phase spaces, projections and the Halo orbits.

Universal Systems Simulation Via Constraint Hypergraphs With Applications To Digital Twins, John Morris

All Dissertations

The characterization of systems encompasses a variety of modeling frameworks designed to capture specific behaviors and components of various system domains. Whatever the framework, the core elements of a system representation are the information of the system and a description of how that information is related. The relations in deterministic systems are functions, which, when composed to form executable processes, can be used to simulate system data. A declarative modeling framework is one that encodes mechanisms for preparing these simulations within the model structure, allowing an external agent to form the execution processes required for a given context. To date, …

Scaling Wind Farm Layout Optimisation To Meet Uk Energy Demands, Grace Richardson

The Plymouth Student Scientist

This research aims to explore the Wind Farm Layout Optimisation Problem (WFLOP) through both single- and multi-objective optimisation, to show that it can be used to create farm layouts that provide enough power for all homes in the UK. We highlight the intricacies of the problem, including the application of different algorithms and models, and the challenges of scaling the models to achieve optimal results. We employ both a Hill Climbing Algorithm (HCA) and an evolutionary algorithm (NSGA-II) to obtain wind farm layouts, and compare these to the well-known results proposed by Mosetti et al. Moreover, we present a novel …