Physical Sciences and Mathematics Commons^™

An Energy-Aware Meta-Learning Framework For Real-Time Lunar Rover Localization Via Adaptive Algorithm Selection, Jose Demedeiros, Garrett Seyler

Discovery Day - Daytona Beach

This work proposes an energy-aware meta-learning framework that selects the single most suitable localization algorithm for a lunar rover, per scene, using only monocular imagery and orbital maps. The goal is to achieve sub-meter accuracy while minimizing onboard compute and energy consumption. We assemble a suite of seven lunar-relevant algorithms spanning relative and absolute localization, including monocular ORB-SLAM3, LuVo homography-based visual odometry, Censible cross-view matching with orbital imagery, crater-based methods (LunarNav and ShadowNav), monocular horizon navigation with a DEM, and DROID-SLAM. Relative methods provide incremental motion updates, while absolute methods deliver global pose fixes; an Extended Kalman Filter fuses these …

A Qualitative Analysis Of Human-Ai Interaction Through Animated Shapes, Kavya Dipen Shah, Angel Hinojosa, Caroline Deck

Discovery Day - Daytona Beach

As technology becomes more advanced, it is important to understand how people perceive the intentions and abilities of machines. This project, conducted in the InTeRACT Lab, explores how we attribute humanlike qualities to different types of agents, ranging from animals to robots. The study analyzes data from an experiment where participants watched animations of moving triangles. Although the videos were identical, participants were told the shapes represented either humans, robots, dogs, or inanimate objects. While previous math-based data showed that these labels changed how people felt, those structured scales didn't allow for a natural, unbiased explanation of what people actually …

A System Safety Approach To Assuring Artificial Intelligence Enabled Functions In Civil Aviation, Evan Bear, Quinn Galen

Discovery Day - Daytona Beach

Artificial intelligence and machine learning techniques are increasingly proposed for use in safety-critical civil aviation functions including perception decision support and pilot assistance. Existing aviation safety and certification standards such as ARP4754A and DO-178C were developed under assumptions of determinism explicit requirements and complete behavioral specification which do not directly apply to learning-enabled systems. This mismatch has created uncertainty regarding how artificial intelligence enabled avionics can be safely assured and certified. This paper presents a system safety approach for assuring artificial intelligence enabled functions within existing aviation certification frameworks. In this approach safety assurance is based on explicitly identifying the …

A Hybrid Llm-Srgm Framework For Ai-Enabled Reliability Assessment In Safety-Critical Software Systems, Caleb Stone, Shrenik Jadhav

Discovery Day - Daytona Beach

Ensuring the reliability of software intensive and safety critical systems is a persistent challenge across aerospace, defense, transportation, and other mis- sion focused domains. Traditional software relia- bility growth models (SRGM) provide useful quanti- tative insight into defect discovery trends, but they rely mostly only on numerical failure data and do not use the rich contextual information contained in test logs, anomaly reports, and engineering notes. This paper presents a hybrid framework that com- bines semantic features extracted by a large lan- guage model (LLM) with a non-homogeneous Pois- son process (NHPP) based software reliability growth model. The LLM analyzes …

Cars Imass - Comparing Llm Vs Human Operator Effectiveness In Multi-Agent Swarm Coordination, Gatlin Nelson

Discovery Day - Daytona Beach

Title: Dual-Perspective Risk Analysis for Human-LLM Decision Comparison in UAV Swarm Navigation   Unmanned aerial vehicle (UAV) swarms operating in low-altitude wireless network environments encounter localized disruptions that degrade positioning and navigation metrics. These disruptions are modeled as geographic failure zones with defined boundaries. A UAV discovers a zone by entering it and observing degraded performance on its onboard systems. This work assumes that affected UAVs can autonomously retreat to safety using onboard sensors and focuses on the subsequent rerouting decision. Once recovered, the system generates candidate repositioning points surrounding the vehicle, each scored using Conditional Value-at-Risk (CVaR). A human operator …

Social Attributions Of Moving Shapes: Comparing Qualitative Analyses Of Humans Vs. Ai, Angel Hinojosa

Discovery Day - Daytona Beach

As technology becomes more intelligent, the relationship between humans and machines is rapidly shifting. Whether a machine is perceived as a capable partner or a source of wariness often depends on the intentions and abilities, we attribute to it. My research in the InTeRACT Lab seeks to empirically assess these perceptions by comparing how we view different nonhuman agents, ranging from animals to robots.   This study analyzes qualitative data from a task where participants viewed animations of moving triangles. While the videos remained the same, participants were told the shapes represented either humans, robots, dogs, or inanimate shapes. Previous quantitative …

A Survey On Machine Learning Applications For Operating System Fingerprinting, Siri Siqveland

Discovery Day - Daytona Beach

In the modern age of computers and interconnected networks, cybersecurity and cyber-attackers are evolving in tandem to exploit each other’s vulnerabilities. One technique used by both parties is Operating System Fingerprinting (OSF): with the knowledge of what Operating System a target system is running, innate vulnerabilities can be identified and patched or exploited. Historically, OSF utilizes two main methods: passive and active—the former trades accuracy with undetectability while the latter is generally more detectable but more accurate. However, recent work has combined OSF with Machine Learning (ML) to improve accurate identification. The work presented here is a survey for the …

Phaëthon System, Brady Roudabush, Lauren Gallo, Emelia Thompson, Jacob Woods

Discovery Day - Daytona Beach

Phaëthon System is the project name for the Search and Rescue Drone Initiative. This initiative will improve the current search and rescue drone industry by introducing new techniques to get through dense forest canopies and other places where an overhead view is not useful. The Phaëthon System uses a swarm of drones that can penetrate under the tree canopy to map and search with the utmost efficiency and safety for rescuers. A command drone is launched to survey the overall search area, and set up a communications and data link. The next component is then released, which is a swarm …

Stress-Triggered Automation Reliance, Jazmin Elek

Discovery Day - Daytona Beach

Automation is widely used in complex systems and includes any process that replaces human motor, sensory, or cognitive functions with machines or computers (Norman, 1996). As automation becomes more common, understanding how humans trust and interact with these systems is critical. Trust can be measured by whether users override automation or blindly follow its prompts (Norman, 1996).   Artificial intelligence (AI) introduces additional complexity by enabling systems to learn patterns from data it generates. AI performs tasks with the ability to learn from experience (NASA, 2024). AI builds internal databases that can mimic human-like responses (Norman, 1996). However, AI systems can …

Stormtrack: A Regime-Aware Classifier-Router Architecture For Multi-Horizon Kp Index Forecasting, John Rendleman

Discovery Day - Daytona Beach

STORMTRACK: A Regime-Aware Classifier-Router Architecture for Multi-Horizon Kp Index Forecasting Current algorithms in operational space weather face extreme difficultly predicting the Kp geomagnetic index beyond 24 hours, a lead time that is critical for protecting high-frequency communications and infrastructure. Most regression models are optimized for quiet conditions, which dominate the data, leading to systematic underpredictions of storm events that cripple space infrastructure. Probabilistic approaches and physics-based numerical models also falter due to the same class imbalance plaguing standard regressors at multi-day lead times. The ICARUS 6 architecture addresses this by splitting the forecasting component into quiet and storm regimes, which …

Accelerating Search And Rescue Response: A Simulation Study On The Dynamic Efficiency Of Flocking-Enabled Drone Swarms, Sophia Beckwith, Carys Del Prete

Discovery Day - Daytona Beach

This project explores how imitations observed in animal group behavior, specifically flocking in birds, can be applied to the functionality of autonomous drone systems to aid in search and rescue efforts. The goal is to demonstrate how incorporating code based on the Boids, Vicsck and predictive control linear algebraic mathematical models for drone flight controls and the collective behaviors of flocks will increase the efficiency of drone maneuvers, allowing them to reorganize and fill gaps when one is removed. A MATLAB-based simulation was developed to model the behaviors using research conducted on the symmetric and synchronized behaviors observed from flocks …

Demonstrating Superresolution In Radar Range Estimation Using A Denoising Autoencoder, Robert Czupryniak, Abhishek Chakraborty, Andrew N. Jordan, John C. Howell

Mathematics, Physics, and Computer Science Faculty Articles and Research

We apply machine learning methods to demonstrate radar range superresolution using a denoising autoencoder trained without supervision. Focusing on the estimation of a single physical parameter, the separation between two scatterers in the subwavelength regime, we constrain the network to a one-dimensional bottleneck layer with its size matched to the parameter dimensionality. We find that the bottleneck layer forms a reproducible, monotonic mapping with the true separation, showing that the network learns a low-dimensional representation directly aligned with the underlying physical parameter. We further show that this representation preserves the Fisher information of the signal, indicating that the network recovers …

Dynamind: A Dynamic Learned Index For Update-Intensive Workloads, Jingxian Cheng, Yingfang Wang, Tianqing Zhu, Xu Yang, Ningning Cui, Jianxin Li

Research outputs 2022 to 2026

Learned indexes leverage machine learning models to approximate data distributions and predict key positions, offering better performance than traditional index structures such as B+Trees. As data in real-world applications evolve rapidly, the timely and efficient updating of learned indexes has become an increasingly important research problem, attracting growing attention in recent studies. However, under update-intensive workloads with frequent insertions and deletions, existing learned indexes cannot update the model in a timely manner. Moreover, they ignore the impact of deletions on model accuracy. These limitations lead to degraded prediction accuracy and increased query latency, undermining the core advantage of learned indexes. …

Ai And The Music Industry: Its Current Status And A Speculative Projection Of Its Evolutionary Trajectory, Rhett D. Morris, Clayton Rosati, Stefan Fritsch

Honors Projects

Music serves as one of society's biggest cultural outlets, allowing millions to share in what used to be a uniquely human form of expression. The commodification of music has built a huge industry full of companies and platforms that have used technology and property laws to shape music's relationship with the public. This study aims to look into the future to see how AI and its implementation could affect the structure of the music industry. To look into the future, this piece establishes two of the most pressing kinds of AI technology for the music industry and looks to contextualize …

Clinical Utility Of An Fda-Authorized Artificial Intelligence Imaging Platform In Interstitial Lung Disease Diagnosis, Arjun Prakash Tambe, Ryan Boente, Gautam George, Fayez Kheir, Omid Tahamtani Omran, Kavitha Selvan

Division of Pulmonary, Allergy, and Critical Care Medicine Faculty Papers

Background/Objectives: The diagnosis of interstitial lung disease (ILD) is challenging and frequently delayed. Clinically accessible and minimally invasive diagnostic tools are needed to expedite the diagnosis of ILD while minimizing risk to patients. Fibresolve is an imaging artificial intelligence (AI) tool recently approved by the Food and Drug Administration (FDA) for use in ILD diagnosis and made available to clinicians. The objective of this study was to describe its utility in clinical practice. Methods: We conducted a prospective, observational study of patients across the United States (US) in whom Fibresolve was utilized during routine clinical practice between July 2024 and …

Sentinel: Evaluating Occlusion-Centered Next-Best-View Selection Using Rgb-Derived Pseudo-Geometry, Paul Nassar

Master's Theses

Three-dimensional cameras provide direct geometric measurements, but their cost, weight, power requirements, and calibration constraints can limit their use in various lightweight or large-scale sensing systems. A potential alternative is to use conventional two-dimensional RGB cameras together with geometric reconstruction models that infer a partial three-dimensional representation from images. This thesis evaluates that possibility for next-best-view (NBV) selection through Sentinel, an occlusion-centered system for static, object-centric scenes with known camera poses and intrinsics. Sentinel converts source RGB observations into pseudo-geometry using monocular depth or point-map predictions, combines those predictions with camera-ray evidence, identifies occluded unknown regions, and selects a candidate …

Predicting Student Belonging In Computing Education: A Multimodal Machine Learning Approach Using Eeg And Survey Data, Hannah Moshtaghi

Master's Theses

Measuring students’ sense of belonging, characterized by feelings of acceptance, inclusion, and encouragement from teachers, remains a significant challenge in computing education. Prior research has associated this multidimensional construct with positive academic outcomes and has identified instructors’ growth- and fixed-mindset messaging as a potential influence. However, belonging is a complex and deeply personal experience that is difficult to capture through direct observation alone. Current measurement methods rely on self-report surveys, which may not capture every aspect of an experience that can also involve emotional and cognitive responses.

This thesis investigates whether combining EEG data recorded during a belonging questionnaire with …

Graph Perturbation Analysis For Subgraph Counting, Hanhua Xiao, Yuchen Li, Kyriakos Mouratidis

PhD Student’s Publications Collection

Subgraph counting, which involves determining the frequency of a query graph within a data graph, has numerous applications such as query optimization, fraud detection, and evaluating the expressiveness of graph neural networks. Despite its importance, there has been no systematic study on the impact of adversarial graph perturbations on subgraph counts. In this work, we examine the kSub problem, which aims to identify k edge additions that maximize the count of a query graph. We prove that kSub is intractable due to its NP-hardness, even for constant approximation. To address this, we relax the problem into a top-k selection, termed …

Leading The Change: Staff-Driven Ai Transformation In Smu Libraries’ Collection Team, Siew Khim Lim, Fion Goh

Research Collection Library

No abstract provided.

Emergency Risk Dispatch For Integrated Electricity-Heat Systems Under Typhoon Disasters, Tongchui Liu, Lian Tan, Dongxuan Bao, Lanting Zeng, Pengfei Hou, Ronghua Ling

Journal of System Simulation

Abstract: The spatiotemporal randomness of typhoon movement paths leads to uncertain operational risks for integrated electricity-heat systems (IEHS), making it difficult to balance system risk controllability and dispatch economy. To tackle this problem, an emergency risk dispatch (ERD) method for IEHS under typhoon disasters is proposed. An ERD model for IEHS under typhoon disasters is established within the model predictive control framework. Based on the uncertainty of typhoon wind speed prediction, a moment-based ambiguity set for uncertain equipment component failures is constructed, and a distributionally robust chance-constrained ERD model is formulated. An approximation method based on worst-case conditional value-at-risk (WC-CVaR) …

Bi-Level Coordinated Scheduling And Optimization Of Power Systems Based On Stackelberg-Gmo, Yuanxing Zhang, Jianfeng Li, Taoyong Li, Linjuan Zhang, Jincheng Liu, Bin Li

Journal of System Simulation

Abstract: , To balance the interests of the power grid and the demand side, and achieve coordinated improvements in system economic efficiency, environmental friendliness, and renewable energy accommodation capacity, this paper proposes a bi-level coordinated scheduling model based on the Stackelberg game and the GMO. A leader-follower game model incorporating carbon emission constraints and multi-scenario stochastic constraints for photovoltaic generation is constructed, with the grid operator as the leader and EVs/V2G and energy storage as the followers, resolving the core contradiction between global optimization and individual rationality. The spatio-temporal stochastic characteristics of EV travel, the cycle life of energy storage …

Energy Management Method For Integrated Energy Driven By Users’ Social Attributes, Yankai Zhu, Yujing Huang, Qinghua Wang, Xiaoning Zhang, Fang Fang, Yuguang Niu

Journal of System Simulation

Abstract: To explore a new interaction mechanism between an energy service provider (ESP) and multiple users, this paper proposes a complex modeling and energy management method for integrated energy systems driven by users' social attributes. A multi-agent interaction framework comprising an ESP and user clusters is established. To maximize the ESP's operational benefit and minimize users' energy costs, a leader-follower game-based energy management model is established within a reinforcement learning framework, and a distributed collaborative solution algorithm combining Q-learning and quadratic programming is proposed. Simulation results show that, compared with the traditional integrated demand response method, consideration of users' social …

Missing-Data-Tolerant Diffusion-Based Wind Power Scenario Forecasting Method, Yingying Shi, Xiaochong Dong, Guobin Fu, Miaomiao Ma, Yanhe Li, Xuebin Wang

Journal of System Simulation

Abstract: To address the issue of error accumulation in traditional "imputation-then-forecasting" approaches, a missing data tolerant diffusion framework (MDTDF) is proposed. An XGBoost regression model is employed to map numerical weather prediction data into deterministic power forecasts. The encoder in the denoising network extracts temporal features, which are fused with the deterministic forecasts and fed into the decoder through a cross-attention mechanism to guide the denoising process. A historical constraint mechanism is introduced to directly utilize incomplete historical data and dynamically correct the denoising result at each step through sample gradient updates and noise injection guided by historical information. The …

Optimal Scheduling Of Virtual Power Plants Considering Photothermal Power Stations And Hydrogen Energy Utilization, Yousong Chen, Ruofa Cheng, Yi Liu, Yi Zhang, Zhihao Zuo

Journal of System Simulation

Abstract: To enhance the operational stability and low-carbon performance of virtual power plants (VPPs) with high shares of renewable energy, a coordinated dispatch model integrating concentrated solar power (CSP) plants with power-to-gas (P2G) and carbon capture is developed. An optimal VPP scheduling strategy is proposed, combining a stepped carbon trading mechanism with a compensation coefficient and dynamic hydrogen blending. To address multi-source uncertainties in wind power, CSP power, and loads, an envelope boundary model is used for simulation. Information gap decision theory (IGDT) is applied to provide customized solutions for decision-makers with different risk preferences. A bi-objective optimization model is …

Time-Step Relaxation Method For Simulation With Time-Sensitive Interactions, Zhaopeng Liu, Kaidi Jin, Xunyun Liu, Dongao Zhou, Xinhai Xu

Journal of System Simulation

Abstract: In time-driven military simulation, time-step setting is a key technology for balancing operational efficiency and simulation accuracy. Based on the current research on time-step setting in military simulation, a trajectory spatiotemporal intersection calculation model is designed to address the performance bottleneck caused by the minimum time step, thus removing the constraints imposed on the minimum time step by interactions such as high-speed target detection and jamming. Experiments involving detection interaction scenarios are designed to verify the effectiveness of the model in preventing missed interactions and improving simulation efficiency.

A Review Of Spatial Indexing Technologies For Large-Scale Combat Simulation, Kaidi Jin, Xunyun Liu, Dongao Zhou, Yang Wang, Zhaopeng Liu

Journal of System Simulation

Abstract: The real-time performance and scalability of large-scale combat simulations are constrained by performance bottlenecks in spatial queries caused by massive numbers of dynamic entities. Spatial indexing technology becomes the key to solving this problem by establishing an efficient mapping between locations and entities. This paper reviews spatial indexing technologies in large-scale combat simulations. Based on an analysis of the core requirements for index structures in combat simulations, various indexing technologies along three main lines are examined: static indexing, dynamic optimization, and distributed parallelism. The principles, evolution, and applicability boundaries of these technologies are also examined, and their query and …

A Method For Assessing The Contribution Degree Of An Aviation Delivery System And Identifying Key Equipment, Xiaofeng Liu, Chengze Jiang, Xingyu Chen, Deyin Jiang, Bolin Shang, Bifeng Song

Journal of System Simulation

Abstract: Based on the delivery efficiency and delivery quality, a general aviation delivery system effectiveness evaluation model was constructed, and a calculation method of system contribution degree based on efficiency was given. By combining the system calculation experiment and simulation experiment based on agent-based modeling and simulation (ABMS), the design idea of the Monte Carlo simulation experiment for key equipment identification and equipment technology development trend analysis was sorted out, and the key equipment identification method based on ABMS and contribution evaluation was proposed. By taking the intercontinental long-range aviation delivery mission as an example, a variety of simulation experiments …

Fault-Tolerant Control Method For All-Type Actuator Faults Of Evtol Aircraft, Juan Wang, Guorui Li, Zhiyong Fan, Huijie Chen

Journal of System Simulation

Abstract: To address all-type actuator faults, especially nonlinear distortion issues, in multi-rotor eVTOL aircraft, a novel fault-tolerant control method was proposed. A fault function was established at the rotor speed level, and a fault-tolerant control algorithm combining dynamic robust nonsingular fast integral terminal sliding mode with a high-order finite-time disturbance observer was designed to achieve fault-tolerant control through rotor redundancy allocation. The nonsingular fast integral terminal sliding mode algorithm was improved, and a dynamic system containing actuator faults and their derivatives was constructed via a dynamic surface to achieve system convergence within finite time, avoiding the singularity and chattering problems …

Learning Evolution Modeling Of Multi-Cycle Nested Cloud Manufacturing Service Ecosystem, Fang Li, Deyu Zhou, Gang Wang, Guangjun Liu, Qi Hu

Journal of System Simulation

Abstract: In view of the lack of comprehensive consideration of the individual adaptability changes of enterprises caused by the collaborative governance mechanism among multiple manufacturing units and the overall evolution trend of the system in existing learning evolution models, this proposed a learning evolution model of multi-cycle nested cloud manufacturing service ecosystem. At the micro level, the adaptive linkage decision-making among multiple manufacturing units within the enterprise was achieved in the individual layer through the nesting of planning-readiness-execution-assessment (PREA) loops and OODA loops; at the macro level, the closed-loop simulation of the individual layer, organizational layer, and social layer was …

Study On Transient Electric Field Of Insulated Rail Joints In High-Speed Railway Stations Based On Dissado-Hill Model, Junli Li, Youpeng Zhang

Journal of System Simulation

Abstract: The transient electric field distribution of insulated rail joints in high-speed railway stations under lightning impulse voltages is critical to their normal operation. Under lightning impulse voltages, considering the relaxation polarization of the insulated rail joint material, a frequency-domain mathematical model of its transient electric field was established. Based on Dissado-Hill model, the measured frequency-domain dielectric spectra were fitted and analyzed to reveal the microstructural characteristics of insulated rail joints and the interaction characteristics between microscopic particles during the polarization process. The results indicate that the relative permittivity of insulated rail joints decreases with the increasing harmonic frequency of …