Computer Sciences Commons^™

Simulation System For Carrier-Based Aircraft Ammunition Support Scheduling, Zhe Liu, Jiafeng Chen, Junfei Ma, Songhua Ma

Journal of System Simulation

Abstract: For inefficient scheduling of carrier-based aircraft ammunition support on the flight deck of aircraft carriers, a Unity3D-based 3D virtual demonstration method for carrier-based aircraft ammunition scheduling is proposed, and a 3D virtual simulation system for carrier-based aircraft ammunition scheduling on the flight deck of aircraft carriers is constructed. A problem model targeted at carrierbased aircraft ammunition transportation and loading scheduling process as well as processing rules for path determination, sequence constraint, and loading position compensation are established based on the defining system. An optimal solution for the scheduling process is realized by using the improved discrete grey wolf optimizer …

Collaborative Pathways To Cybersecurity Excellence: Insights From Industry And Academia In The Southeastern Us, Humayun Zafar, Carole L. Hollingsworth, Tridib Bandyopadhyay, Adriane B. Randolph

Journal of Cybersecurity Education, Research and Practice

This research article examines conversations happening between cybersecurity academics and industry leaders with a goal to improve the development of cybersecurity professionals. We specifically focus on efforts in the Southeast region of the United States. The discussion features insights from a panel consisting of an academic cybersecurity researcher, a Chief Information Officer (CIO) of a leading technology company with over 1,000 employees, and a CIO of a financial services firm, which employs over 3,000 people. The discussion sheds light on the challenges and opportunities involved in aligning cybersecurity programs with industry requirements. This article explores strategies for academia and businesses …

Parallel Multigrid In Time For Chaotic Dynamical Systems, David Alan Vargas

Mathematics & Statistics ETDs

Despite the fact that Parallel-in-Time (PinT) methods are predicted to become necessary to fully utilize next-generation exa- and zettascale machines, there are currently no known practical methods which scale well with the length of the time-domain for chaotic problems, due to exponential dependence of the condition number on the fastest chaotic timescale. I present modifications to the coarse-grid equations along with a novel rediscretization approach which together greatly improve convergence of the multigrid reduction in time (MGRIT) algorithm and allow the first known PinT speedup for a chaotic PDE. The novel Local Shadowing Relaxation (LSR) is presented as an alternative …

Using Gamification To Enhance Mastery Of Network Security Concepts, Kevin Hilliard, Xiaohong Yuan, Kelvin Bryant, Jinsheng Xu, Jinghua Zhang

Journal of Cybersecurity Education, Research and Practice

Gamification has proven to be effective in engaging and encouraging people to work towards and achieve goals. Many students struggle to focus on schoolwork, due to a lack of interest, lack of understanding, or other factors unique to the student. Applying gamification elements to education can help engage these students in learning their course material and help them excel academically. This study examines the effectiveness of using gamification techniques to enhance the learning experience in college Computer Science courses. A video game application is utilized to review and reinforce cybersecurity concepts that students have already been taught in class. Previous …

Uav Path Planning Based On Improved Harris Hawk Algorithm And B-Spline Curve, Zhifeng Huang, Yuanhua Liu

Journal of System Simulation

Abstract: Aiming at the global path planning problem of unmanned aerial vehicles (UAVs) in dynamic environments, this paper proposes an improved Harris Hawk optimization algorithm. To address the problem of insufficient search performance in the later stage of the algorithm, an adaptive chaos and core population dynamic partitioning strategy is proposed to improve the searchability of the algorithm in the later stage. The Harris Hawk update formula is modified, and the golden sine strategy is introduced to improve the search efficiency of the algorithm. Then, an adaptive dynamic cloud optimal solution perturbation strategy is integrated to improve the ability of …

Optimal Scheduling Of Vehicle-Network Interaction Based On Interval Stackelberg Game Of Virtual Power Plant, Weiliang Liu, Qianwen Yan, Qiliang Zhang, Shuai Liu, Changliang Liu, Jiayao Kang, Xin Wang

Journal of System Simulation

Abstract: To better exploit the regulation potential of electric vehicles (EVs), resolve the conflicts of interest among the stakeholders in vehicle-to-grid (V2G) interactions, and overcome the uncertainty of distributed energy sources and load, this paper proposes a two-level optimization scheduling model for V2G interactions based on the interval Stackelberg game of a virtual power plant (VPP). The VPP aggregator is considered as the upper level, and the EV users as the lower level. The upper level model uses interval numbers to describe the uncertainty of sources and loads, with the aim of minimizing the operating cost of the VPP aggregator, …

Maglev Ball Control Algorithm Based On Levant Differentiator, Zhenli Zhang, Yongzhuan Wang, Yao Qin, Jie Yang

Journal of System Simulation

Abstract: To solve the problem of unsatisfactory control effect of permanent magnet electromagnetic hybrid suspension system caused by signal mutation and noise interference, the control method ILevant- PID, the combination of an improved Levant differentiator and PID, is proposed. The proposed method combines the strong adaptability of PID control and the robust characteristic of Levant differentiator on input noise to solve the chattering problem of the system output. The simulated anneal-particle swarm optimization is utilized to solve the constraints of the ILevant-PID controller, such as multiple parameters and strong correlation. The simulation results show that compared with the traditional PID …

Real-Time Scheduling Method For Dynamic Flexible Job Shop Scheduling, Quan Jiang, Jingxuan Wei

Journal of System Simulation

Abstract: A multi-objective dynamic flexible job shop scheduling problem model with machine breakdown and random jobs arrival is constructed to address the interference of dynamic events in manufacturing processing on the scheduling scheme, and a real-time scheduling method with multiobjective proximal policy optimization (MPPO) algorithm is proposed. The MPPO algorithm trains two agents, routing agent (RA) and sequencing agent (SA), for real-time scheduling and real-time processing of dynamic events. It employs a linear combination of weight vectors and reward vectors as reward signals and stores the agents' parameters for each weight vector to optimize multiple objectives. The required state information, …

Path Planning For Mobile Robot Based On Angle Search, Yaru Wang, Dexin Yao, Zengli Liu, Yi Peng

Journal of System Simulation

Abstract: The angle search algorithm for angle-controlled robots is proposed to increase the path search speed and optimize the path length. The algorithm effectively finds a path in static surroundings by performing an efficient search in a specific dimensional range based on the position of the robot and the target point. Firstly, search angles are predetermined according to the characteristics of the environment in the grid map. Then, the estimated angle of the robot's surrounding grid is computed. Finally, a new extension point is chosen by comparing the estimated angle to the search angle, demonstrating the usefulness and viability of …

Digital Application Of Equipment System Test And Evaluation Based On Digital Twin And Parallel Experiment Theory, Hongjie Dang, Wenguang Yu, Huahui Yang

Journal of System Simulation

Abstract: With the development of equipment systematization, traditional test with real equipment can not meet the requirements of Test and Evaluation(T&E), especially for complex equipment. As the main digital methods in current, digital twins and parallel experiments can support the digital application in the field of equipment Test and Evaluation. This paper makes a comparative analysis of the two digital technology means, extracts their technical connotation and characteristics, and then integrates them to explore the application mode, application time and application occasions in the field of equipment T&E. Taking the satellite for example, by constructing the digital architecture of equipment …

Interaction Between Virus Transmission Variation And Population Crossover Activity And Diffusion Model, Lei Yu, Xichou Zhu, Huaming Liao, Jiafeng Guo, Xueqi Cheng

Journal of System Simulation

Abstract: In view of the current high incidence of human-to-human infectious viruses, a multi-agent simulation and deduction model was proposed and designed based on the random characteristics of virus transmission variation and the influence of population crossover activity. The external pathogenicity and infectious characteristics of the virus and the external activities and immune characteristics of the human were quantified, and the interdependence and confrontation process between the virus and the human were modeled. The development trends and statistical characteristics of a large number of viruses and humans were deduced through the model. The experimental analysis reveals that the randomness of …

Decision-Making Considering Power Consumption And Preference For New Energy Under Dual-Credit Policy, Fang Li, Tianhao Dong

Journal of System Simulation

Abstract: To explore the production decision-making problem of the electrification transformation in the domestic automobile industry faced by automobile manufacturers, different decision-making models under two production scenarios are constructed for the secondary supply chain composed of manufacturers and retailers under the background of a dual-credit policy. The electric energy consumption of new energy vehicles and consumers' preference for new energy are introduced. The Stackelberg game is applied to obtain the optimal production decision and income analysis of each member in the supply chain under different decision modes in different production scenarios. The results show that the in-depth implementation of the …

Editorial: Ethical Considerations In Electronic Data In Healthcare, Dheya Mustafa, Mousa Al-Kfairy

All Works

No abstract provided.

Vysion Software, Isaias Hernandez-Dominguez Jr, Chander Luderman Miller

2024 Symposium

Vision loss presents significant challenges in daily life. Existing solutions for blind and visually impaired individuals are often limited in functionality, expensive, or complex to use. Vysion Software addresses this gap by developing a user-friendly, all-in-one AI companion app that provides features including text summarization, real-time audio descriptions, and AI-enhanced navigation. This project details the development plan, initial functionalities, and future vision for Vysion Software.

Inclusion4eu: Towards A Framework Of Inclusive Software Design Processes And Practices, Damian Gordon, Andrea Curley, Emma Murphy, John Gilligan, Anna Becevel, Dympna O'Sullivan

Articles

This research is based on a trans-European research project aimed at enhancing software design and engineering practices to promote inclusivity, involving stakeholders from academia, industry, and disability advocacy services. To explore the nature and meaning of inclusion, a number of different approaches to inclusion are outlined, including models of equitable design (Accessible Design, Inclusive Design, Universal Design, and Design for All), User Design processes (Co-Production, Co-Creation, User-Centred Design, Co-Design, and Participatory Design), and Software Engineering Methodologies (Linear, Spiral, and Agile). These three categories of models are combined to form a three-dimensional environment in which software development projects can be mapped …

Assessing Users’ Attention Classification Accuracy From Eeg Data, Gil Olenscki Neto

USF Tampa Graduate Theses and Dissertations

Determining whether a person is attentive while performing a task is a key factor for understanding why they are achieving specific results. In addition, tracking these results is an important aspect to improving them. Quantified self is a field that consists of self-monitoring to gain a better understanding of your habits, health, and overall well-being. Examples of this method include tracking sleep patterns, daily steps, mood swings, and food intake.

This thesis aims to explore the potential of using an innovative self-quantification method that utilizes a mobile application that leverages alpha, beta, and theta waves to assess college students' attention …

Examining The Role Of Parental Support On Youth's Interest In And Self-Efficacy Of Computer Programming, Umar Shehzad, Jody Clarke-Midura, Mimi Recker

Publications

Objectives. The increasing demand for computing skills has led to a rapid rise in the development of new computer science (CS) curricula, many with the goal of equitably broadening participation of underrepresented students in CS. While such initiatives are vital, factors outside of the school environment also play a role in influencing students' interests. In this paper, we examined the effects of students' perceived parental support on their interest in computer programming and explored the mechanisms through which this effect may have been established as students participated in an introductory CS instructional unit.

Participants. This instructional unit was …

Designing Self-Management For And With Persons Living With Dementia Osullivan, Dympna, Dympna O'Sullivan, Michael Wilson, Damon Berry, Orla Moran, Siobhan O,Neill, Ciaran Nugent, Jonathan Turner, Julie Doyle

Articles

Promoting high quality of life for persons living with dementia has emerged as a central goal in global public health agendas. The emphasis has shifted from extending life to actively enhancing overall well-being by postponing or preventing additional disability. This represents a departure from traditional medical perspectives on dementia to a more socially-oriented approach, placing a strong focus on wellbeing.

In parallel, the concept of self-management for people with living dementia has emerged, where this is a person-centred approach in which the individual is empowered and has ownership over the management of their life and condition. Practice recommendations for person-centered …

Doing Personal Laps: Llm-Augmented Dialogue Construction For Personalized Multi-Session Conversational Search, Hideaki Joko, Shubham Chatterjee, Andrew Ramsay, Arjen P. De Vries, Jeff Dalton, Faegheh Hasibi

Computer Science Faculty Research & Creative Works

The future of conversational agents will provide users with personalized information responses. However, a significant challenge in developing models is the lack of large-scale dialogue datasets that span multiple sessions and reflect real-world user preferences. Previous approaches rely on experts in a wizard-of-oz setup that is difficult to scale, particularly for personalized tasks. Our method, LAPS, addresses this by using large language models (LLMs) to guide a single human worker in generating personalized dialogues. This method has proven to speed up the creation process and improve quality. LAPS can collect large-scale, human-written, multi-session, and multi-domain conversations, including extracting user preferences. …

Trec Ikat 2023: A Test Collection For Evaluating Conversational And Interactive Knowledge Assistants, Mohammad Aliannejadi, Zahra Abbasiantaeb, Shubham Chatterjee, Jeffrey Dalton, Leif Azzopardi

Computer Science Faculty Research & Creative Works

Conversational information seeking has evolved rapidly in the last few years with the development of Large Language Models (LLMs), providing the basis for interpreting and responding in a naturalistic manner to user requests. The extended TREC Interactive Knowledge Assistance Track (iKAT) collection aims to enable researchers to test and evaluate their Conversational Search Agent (CSA). The collection contains a set of 36 personalized dialogues over 20 different topics each coupled with a Personal Text Knowledge Base (PTKB) that defines the bespoke user personas. A total of 344 turns with approximately 26,000 passages are provided as assessments on relevance, as well …

Controlling Adversarial Pheromone-Based Infections Via Quarantine Strategies In Foraging Robot Swarms, Ryan Luna, Qi Lu

Computer Science Faculty Publications

Virtual pheromone trails that facilitate efficient and adaptable coordination among foraging robot swarms are vulnerable to threats that exploit stigmergic communication. This study investigates the impact of a fake resource attack on the performance of a pheromone-based foraging algorithm and demonstrates the effectiveness of a “quarantine strategy” in mitigating the attack. The study simulates the fake resources and examines the swarm's behavior as robots are attracted to these fake resource locations. To prevent access to fake resources, circular quarantine regions are deployed, and a distance-based merging algorithm is implemented to reduce storage require-ments. The experiments are conducted with varying numbers …

A Splash Of Color: A Dual Dive Into The Effects Of Evo On Decision-Making With Goal Models: Supplemental Material, Alicia M. Grubb, Yesugen Baatartogtokh, Irene Foster

Computer Science: Faculty Publications

Supplemental material for the paper: "A Splash of Color: A Dual Dive into the Effects of EVO on Decision-Making with Goal Models" doi.org/10.1007/s00766-024-00422-5

Identification And Characterization Of Intrinsically Disordered Protein Regions, Guy Wayne Dayhoff Ii

USF Tampa Graduate Theses and Dissertations

This dissertation investigates protein intrinsic disorder and intrinsically disordered protein regions (IDPRs) through the development and application of advanced computational and experimental techniques. Chapter 1 provides an introduction to protein intrinsic disorder, outlining the historical context and fundamental concepts that highlight the importance of intrinsically disordered proteins (IDPs) and IDPRs in various biological processes. Chapter 2 focuses on the rapid prediction and analysis of protein intrinsic disorder. We introduce RIDAO (Rapid Intrinsic Disorder Analysis Online), a high-efficiency web-based tool that integrates multiple disorder predictors. RIDAO significantly outperforms existing predictors in computational efficiency, making it suitable for large-scale proteomic studies. We …

Microservices Architecture: Evolution, Realizing Benefits, And Addressing Challenges In The Modern Software Era -A Systematic Literature Review, Linah M. Elnaghi, Ramadan Moawad

Future Computing and Informatics Journal

This paper explores the world of modern software development and the rising popularity of microservices architecture. Microservices, a modern approach, brings benefits like scalability, Reusability, and fault tolerance. challenging traditional monolithic approaches.This survey involves a detailed comparison, unraveling the motivations behind the wide usage of microservices. This paper extracts insights from a diverse range of studies, presenting a clear and accessible synthesis of the key benefits and challenges associated with microservices architecture. Through a methodical analysis of these factors, the study aims to discern the most pivotal advantages and challenges within the domain of microservices. Steering away from complicated terminology, …

Design Of Long-Distance Entanglement Distribution Protocols For Quantum Networks, Stav Haldar

LSU Doctoral Dissertations

Future quantum technologies such as quantum communication, quantum sensing, and distributed quantum computation, will rely on networks of shared entanglement between spatially separated nodes. Distributing entanglement between these nodes, especially over long distances, currently remains a challenge, due to limitations resulting from the fragility of quantum systems, such as photon losses, non-ideal measurements, and quantum memories with short coherence times. In the absence of full-scale fault-tolerant quantum error correction, which can in principle overcome these limitations, we should understand the extent to which we can circumvent these limitations. In this work, we provide improved protocols and policies for entanglement distribution …

The Shell Tutor: An Intelligent Tutoring System For The Unix Command Shell And Git, Jaxton Winder, Erik Falor, Seth Poulsen, John Edwards

Computer Science Faculty and Staff Publications

The command shell and Git are important tools for computer scientists to learn and is taught in many computer science curricula. Many tools used by computer scientists are primarily interfaced through the command shell, such as Git. However, there have been few studies and interventions designed to assist in understanding student behaviors in the command shell and better teaching of it. This paper aims to provide an overview and reflection of a novel intelligent tutoring system we developed, the Shell Tutor, which assists in teaching students the command shell and Git. This paper will also analyze features of this tool …

Bringing Our Full Selves Into Computing: Designing, Building, And Fostering Equitable Computing Education Communities, Francisco Enrique Vicente Castro, Earl W. Huff, Amber Solomon, Briana Christina Bettin

Michigan Tech Publications

A key problem in achieving access to and sustained presence in computing and computing education (CEd) in the United States is environments that are all too often designed in ways that are harmful and inequitable toward systemically minoritized communities. While various scholars have explored ways to design equitable spaces within differing contexts, often, equity is framed merely as an issue of access. This dismisses the lived experiences of minoritized communities and can lead to shallow perspectives of equity that fail to address community concerns and further push these communities out of sustained participation and presence in computing and CEd. Drawing …

Human Centered Approaches And Taxonomies For Explainable Artificial Intelligence, Helen Sheridan, Emma Murphy, Dympna O'Sullivan

Conference papers

Recent interest within the research community related to explainable artificial intelligence (XAI) has led to a profuse amount of literature on the subject. Those who wish to tackle the domain from an HCI focus may be presented with overwhelming material, most of which does not pertain to human aspects of XAI. Taxonomies can serve to categorize a subject into topic areas and distill content into an overview of the field. This late breaking work intends to help those within the HCI community with a focus on XAI to understand relevant aspects of human centered XAI. We also present a taxonomy …

Concolic Testing For Scripting Languages, Zhe Li

Dissertations and Theses

Scripting languages, such as JavaScript and Lua, are becoming more and more popular. They are typically easy to learn and use, making them accessible to a wide range of developers, even those with limited programming experience. Lua, for instance, is a lightweight, efficient, and versatile scripting language. It is designed to be easy to integrate into other systems and is often used as an embedded scripting language in larger applications such as NMap, which is a network scanning tool.

As another example, web front-end development with JavaScript (JS) is a popular choice for developers due to its ability to add …

A Systematic Approach For Evaluating And Selecting Healthcare Waste Treatment Devices Using Owcm-Codas And Triangular Neutrosophic Sets, Asmaa Elsayed, Bilal Arain

Neutrosophic Systems with Applications

Healthcare is a fundamental aspect of human life, impacting individuals, communities, and societies. Investing in healthcare infrastructure, services, and education is essential for fostering a healthy, thriving population. Healthcare waste management is a critical aspect of public health, and it requires a concerted effort from healthcare facilities, governments, and communities to ensure that waste is managed in a way that minimizes risks to human health and the environment. This paper proposes a hybrid methodology combining the Opinion Weight Criteria Method (OWCM) and the Combinative Distance-Based Assessment (CODAS) within the framework of Triangular Neutrosophic Sets (TNS) to evaluate and select the …