Computer Engineering Commons^™

Using Symbolic Execution To Analyze The Hardware Tcp Protocol, Nianhang Hu

School of Computing: Dissertations, Theses, and Student Research

As the demand for high performance and flexible networking capabilities increases, the shift from software to hardware implementations of stateful networking functions (such as TCP) is becoming increasingly important. This transition not only enhances processing efficiency in modern networking environments where data transmission rates are rising, but it also reduces the inherent CPU overhead found in software implementations, allowing hardware devices to handle network traffic more efficiently. However, validating the correctness of these hardware designs poses significant challenges due to the complex timing requirements and the vast input space associated with packet-level properties.

The verification of packet-level properties requires coverage …

Not All Samples Are Created Equal: Task-Aware Informative Sampling And Adaptive Inference For Efficient Edge Ai, Rebati Gaire

School of Computing: Dissertations, Theses, and Student Research

The rapid proliferation of Internet of Things (IoT) devices has resulted in an unprecedented influx of data generated at the edge by billions of sensors. Traditional approaches relying on cloud-based processing are increasingly inadequate due to constraints in bandwidth, latency, and privacy. Edge computing has emerged as a transformative paradigm, enabling real-time data processing and decision-making by decentralizing computation to the edge. While the integration of deep learning into edge environments—termed edge intelligence—promises autonomous and personalized operations, it is hindered by challenges such as limited computational resources, energy constraints, and data redundancies.

This thesis addresses these challenges by presenting three …

Prevalence Of Autism Spectrum Characteristics In Students Taking Undergraduate Computing Courses, Rachel Michaela Mettenbrink

School of Computing: Dissertations, Theses, and Student Research

The incidence rate of autism spectrum condition (ASC) has increased significantly in recent decades, as awareness of the condition and its impacts increases amongst clinicians, parents, and the general population. Medical literature has proposed that there may be a relationship between ASC and participation in the computing field. This study tests for the prevalence of autism spectrum condition traits measured by delivering the Autism Spectrum Quotient (AQ) to a population of undergraduate computer science students. We examine the relationships between AQ scores and students taking undergraduate computer science classes, sex, socioeconomic status, and parents in the computing industry. Additionally, we …

Populations Digitally Excluded From Education: Issues, Factors, Contributions And Actions For Policy, Practice And Research In A Post-Pandemic Era, Don Passey, Jean Gabin Ntebutse, Manal Yazbak Abu Ahmad, Janet Cochrane, Simon Collin, Asmaa Ganayem, Elizabeth Langran, Sadaqat Mulla, Ma. Mercedes T. Rodrigo, Toshinori Saito, Miri Shonfeld, Saunand Somasi

Department of Information Systems & Computer Science Faculty Publications

This conceptual paper draws on a wide range of research and policy literature, providing a contemporary view of issues, factors and practices that affect education for digitally excluded populations. Concern for how education for digitally excluded populations can be supported is focal to this paper, with different sections offering key related perspectives. From an analysis of issues, factors and practices, actions for policy, practice and research are identified. Given a key finding that power issues can have major effects on plans, implementation processes and outcomes when addressing needs of education for digitally excluded populations, the paper concludes by offering frameworks …

Quantum Visual Feature Encoding Revisited, Xuan-Bac Nguyen, Hoang-Quan Nguyen, Hugh Churchill, Samee U. Khan, Khoa Luu

Computer Science and Computer Engineering Faculty Publications and Presentations

Although quantum machine learning has been introduced for a while, its applications in computer vision are still limited. This paper, therefore, revisits the quantum visual encoding strategies, the initial step in quantum machine learning. Investigating the root cause, we uncover that the existing quantum encoding design fails to ensure information preservation of the visual features after the encoding process, thus complicating the learning process of the quantum machine learning models. In particular, the problem, termed the “Quantum Information Gap” (QIG), leads to an information gap between classical and corresponding quantum features. We provide theoretical proof and practical examples with visualization …

Protocol Transformations Across Osi Network Stack Layers For Attack, Evasion, And Defense, Nathan Tusing

All Dissertations

Network endpoints frequently contend with errors and deviations within protocols. Many factors account for these deviations including noise, tampering, and algorithm implementations. Intermediate nodes are expected to modify instantiated protocols and not guarantee correctness. This ability to modify traffic enables all sides of network security to alter security and performance properties of protocols, and we define this intermediary modification of an instantiated protocol as a transformation. Protocol transformations traverse layers of the OSI reference model and changes a protocol's time series byte sequence. Within this thesis, we show that this framework applies to multiple domains and protocols. Common examples of …

Mechanically Cost-Effective Approach For Bipedal Walking In Robots Using Instantaneous Collision Angle, Smit R. Patel

UNLV Theses, Dissertations, Professional Papers, and Capstones

Humans, as bipedal locomotors, are effective at reducing the mechanical cost of transport (CoTmech) by adopting movement strategies and gaits that minimize energy expenditure for a given distance. By using different gaits at different speeds, leveraging their long spring-like tendons and muscle elasticity which store and release energy during movement, humans reduce the mechanical effort required for locomotion. Current locomotion solutions offered in bipedal robots, based on legacy walking and running gait models, are not great at energy efficiency unless walking at very low speeds. Additionally, the control system of robots, designed to ensure stability and adaptability, requires substantial resources, …

Uniform 3d Scattering Point Model For Simulating The Dynamic Radar Echo From Wind Farm, Bo Tang, Zhendong Zhu, Zhiyu Shang, Huanghai Xie, Feng Wang, Jiaxu Chen

Turkish Journal of Electrical Engineering and Computer Sciences

The calculation scale of simulating wind farm dynamic radar echo is gradually growing with the increasing scale of wind farms, which can hardly meet the requirements of real-time radar echo simulation. Considering that the method of surface element division can greatly influence the result of simulation, uniform surface element division is applied to accelerate the traditional simulation algorithm based on the refined 3D scattering point model and enhance the main characteristics of the radar echo. The solution time of dynamic radar echoes from 1-8 wind turbines is calculated to test the average speed that the uniform 3D scattering point model …

An Improved Conditional Integrator Sliding Mode Controller Based On Swarm Intelligence For A Magnetic Levitation System, Abdelkader Kerraci, Mohamed Fayçal Khelfi, Zoubir Ahmed-Foitih

Turkish Journal of Electrical Engineering and Computer Sciences

This paper proposes an enhanced Conditional Integrator Sliding Mode Controller using Particle Swarm Optimization (CISMCPSO) for a magnetic levitation system (MLS). The main advantage of this controller is its robustness to uncertainties and disturbances, which also avoids chattering and ensures zero static steady-state error. The main idea of CISMCPSO is to activate its integral action only when the sliding surface reaches the boundary layer while it is reduced to zero or close to zero elsewhere, which avoids destroying the transient response caused by the conventional integral sliding-mode controller. A particle swarm optimization algorithm schedules the conditional integral term parameter of …

In-Situ Superconductor Temperature Sensor For Cryogenic Integrated Circuits, Emre Küçükyilmaz, Nazi̇f Orhun Tekci̇, Sasan Razmkhah, Ali̇ Bozbey

Turkish Journal of Electrical Engineering and Computer Sciences

Cryogenic circuits, such as those based on single flux quantum (SFQ) logic, function at extremely low temperatures. Therefore, the designs target the utilization of liquid helium (LHe) temperatures, maintaining them at 4.2 K. These specialized circuits can be subjected to measurement either within liquid helium (LHe) baths or enclosed within closed-cycle cryocoolers.However, when utilizing LHe in cryocooler systems, inherent weak thermal contact can lead to temperature gradients between the circuit chip and the cold head, where conventional temperature sensors are typically placed. To address this challenge, this study introduces an innovative on-chip temperature sensing approach that capitalizes on the temperature …

A New Dxccdita Based Meminductor Emulator And Its Application In Chaotic Oscillator, Bhawna Aggarwal, Shireesh Kumar Rai, Harsh Jain

Turkish Journal of Electrical Engineering and Computer Sciences

This work introduces a new dual-X current conveyor differential input transconductance amplifier (DXCCDITA) based meminductor emulator, alongside its application in chaotic oscillator has also been presented. To realize the designed meminductor emulator, one DXCCDITA, two resistors, and two capacitors are employed. Pinched hysteresis loops are achieved across a wide frequency range spanning from 100 Hz to 1.5 MHz, encompassing both decremental and incremental topologies. Additionally, the proposed circuit offers the flexibility to switch between incremental and decremental configurations using a simple switch. Through examination of non-volatility and transient responses, the efficiency of the presented emulator is evidently demonstrated. To further …

Fault Diagnosis Of Photovoltaic Array Based On Gated Residual Network With Multi-Head Self Attention Mechanism, Ahmed Mesai Belgacem, Mounir Hadef, Abdesslem Djerdir

Turkish Journal of Electrical Engineering and Computer Sciences

Effective fault identification and diagnosis in photovoltaic (PV) arrays is vital for improving the effectiveness, and safety of solar energy systems. While various artificial intelligence methods have successfully established fault detection and diagnosis models, introducing inefficiencies and potentially overlooking useful features. Moreover, these methods often employ neural networks with limited performance capabilities. In response to these challenges, this paper introduces an innovative intelligent model that integrates a combination of a gated residual neural network (GRN) and a multi-head self-attention mechanism (MHSA). To evaluate the proposed fault diagnosis model, the small-scale PV grid system is implemented, and fault simulation experiments, including …

A Surface-Based Approach For 3d Approximate Convex Decomposition, Onat Zeybek Kuşkonmaz, Yusuf Sahi̇lli̇oğlu

Turkish Journal of Electrical Engineering and Computer Sciences

Approximate convex decomposition enables the simplification of complex shapes into manageable convex components. In this work, we propose a novel surface-based method to achieve this which leads to efficient computation times and sufficiently convex results while avoiding over-approximating the input model. We start approximation using mesh simplification. Then we iterate over the surface polygons of the mesh and divide them into convex groups. We utilize planar and angular equations to determine suitable neighboring polygons for inclusion in forming convex groups. To ensure our method outputs a sufficient result for a wide range of input shapes, we run multiple iterations of …

Developing Linguistic Patterns To Mitigate Inherent Human Bias In Offensive Language Detection, Toygar Tanyel, Besher Alkurdi, Serkan Ayvaz

Turkish Journal of Electrical Engineering and Computer Sciences

With the proliferation of social media, there has been a sharp increase in offensive content, particularly targeting vulnerable groups, exacerbating social problems such as hatred, racism, and sexism. Detecting offensive language use is crucial to prevent offensive language from being widely shared on social media. However, the accurate detection of irony, implication, and various forms of hate speech on social media remains a challenge. Natural language-based deep learning models require extensive training with large, comprehensive, and labeled datasets. Unfortunately, manually creating such datasets is both costly and error-prone. Additionally, the presence of human-bias in offensive language datasets is a major …

A Cascade Genetic Algorithm Based Adaptive Backstepping Impedance Control For Upper Limb Rehabilitation Robot, Mawloud Aichaoui, Ameur Ikhlef

Turkish Journal of Electrical Engineering and Computer Sciences

This paper proposes a novel cascade impedance control architecture designed for the upper limb exoskeleton rehabilitation robot. The proposed architecture comprises two parts: Firstly, the impedance reference trajectory is shaped from the desired trajectory utilizing the desired impedance model and feedback contact torques. The second part of the proposed controller is an adaptive backstepping control, responsible for tracking the generated impedance reference trajectory. Notably, the proposed adaptive backstepping impedance controller is non-model-based control approach, eliminating the need for the robot's model. Furthermore, a genetic algorithm is employed as an offline tuning method for the inner position loop controller, namely the …

Lgformer: Informer-Based Personalized Modeling For Blood Glucose Prediction, Xue Yuewei, Shaopeng Guan, Jia Wanhai

Turkish Journal of Electrical Engineering and Computer Sciences

Effective diabetes management relies on precise prediction of blood glucose levels to minimize complications. However, the patterns and fluctuations in blood glucose vary significantly among patients, posing a challenge for existing prediction methods. Many current approaches fail to accommodate these individual differences, leading to less reliable predictions. In response to this challenge, we present LGformer, a novel prediction model based on the Informer architecture, designed to enhance both flexibility and accuracy. LGformer improves upon Informer by integrating LSTM and GRU layers into its probSparse Self-attention mechanism, allowing for personalized processing of blood glucose data tailored to each patient's unique profile. …

Designing Customized Loss Functions For Training Deep Neural Networks, Ali Pourramezan Fard

Electronic Theses and Dissertations

This dissertation explores the critical role of loss functions in enhancing the predictive performance of deep machine learning models. Loss functions are an integral element of all the ongoing advances we witness daily in this domain. I design custom loss functions and their impacts on various machine learning tasks, particularly in computer vision.

In the first stage of my research, I aim to improve the prediction performance of deep learning models by providing them with more precise feedback associated with task requirements. This led me to create the concept of assistive loss functions. My first proposed loss function, inspired by …

Security Vulnerabilities In Mobile Operating Systems Used In Iot Devices: An Examination Of Current Challenges And Countermeasures, Isain Cortes Jr.

Cybersecurity Undergraduate Research Showcase

No abstract provided.

Utilizing A Hybrid Apprach To Link Maternal And Neonatal Records, Vidhani S. Goel, Ana Reyes, Bertille Assoumou, Dodds P. Simangan, Farooq Abdulla, Megumi Akiyama, Deborah A. Kuhls, Kavita Batra

Undergraduate Research Symposium Posters

Linkage of independent datasets allows comprehensive and robust analysis. This study aims to utilize a hybrid strategy to link maternal records with neonatal data with an overarching goal of investigating correlates of adverse birth outcomes.

To link 126,757 records from Nevada Medicaid with 249,181 maternal records from Birth Registry, a hybrid linkage approach was utilized. Data normalization was first performed for the standardization of linkage keys. First, a deterministic approach was used to link these records using a unique identifier followed by a fuzzy or probabilistic algorithm using a set of block variables. These block variables included date of birth, …

Integrating Humanities Into Cybersecurity Education: Enhancing Ethical, Historical, And Sociopolitical Understanding In Technical Training, Joseph Frusci

Journal of Cybersecurity Education, Research and Practice

The increasing complexity of cybersecurity challenges necessitates a holistic educational approach that integrates both technical skills and humanistic perspectives. This article examines the importance of infusing humanities disciplines such as history, ethics, political science, sociology, law, and anthropology—into cybersecurity education. Through a pilot course developed for Staten Island Technical High School, aligned with the New York State K-12 Computer Science and Digital Fluency Standards, students were introduced to an interdisciplinary curriculum that combined technical cybersecurity training with historical analysis, ethical reasoning, and sociopolitical context. The results of pre- and post-course assessments demonstrated significant improvements in critical thinking, ethical decision-making, and …

Robotic Multi-Object Grasping From A Pile: Techniques And Algorithms For Enhanced Dexterity, Tianze Chen

USF Tampa Graduate Theses and Dissertations

As robots become increasingly integrated into real-world applications such as warehousing, fulfillment centers, and manufacturing, the need for efficient and adaptable robotic systems grows. One of the key challenges is enabling robots to grasp multiple objects simultaneously, as this significantly boosts the efficiency of tasks like batch picking, sorting, and object transferring, reducing both time and energy consumption. This dissertation presents a comprehensive multi-object grasping (MOG) pipeline that includes pre-grasp selection, end-pose selection, grasping synergy calculation, and a data-driven model for estimating the number of objects being grasped. Central to this work is the development of the Experience Forest structure, …

A Method For Key Node Identification In Operational Target System Based On War Gaming, Yongfu Zhang, Yang Liu, He Yuan

Journal of System Simulation

Abstract: The identification of key nodes in an operational target system is an important basis for combat command decision-making. Due to the lack of experimental verification of key node identification in the current operational target system in a campaign-level dynamic confrontation environment, a complex network model of operational target system with large-scale entities and complex interaction relationship was constructed by taking integrated air defense network as an example, with the help of the data derived from the large joint war gaming; the characteristics of wargame data were considered, and the value characteristics of combat targets and network structure characteristics were …

Platform Path Optimization Method Based On Cumulative Detection Probability Of Sonar Search, Xiang Wei, Xingxuan Liu, Dianzheng Fu, Tianji Yang, Jiaxuan Yang

Journal of System Simulation

Abstract: To address the lack of research on the optimal path of mobile search platform to search for moving targets, this paper proposes a path optimization method of mobile search platform based on cumulative search probability theory. Based on the cumulative detection probability (CDP), one of the important criteria of sensor performance evaluation, a single-peak CDP calculation formula is constructed by using a time series correlation model, namely the (λ, σ) process model. A set of target motion scenarios are constructed, and the trajectory probability of target scenarios and their CDP at different time are corrected by Bayesian posterior probability. …

Modeling For Decision Support Of Flight Ground Support Process, Zhiwei Xing, Ruiwen Yu, Biao Li, Zhaoxin Chen

Journal of System Simulation

Abstract: Aiming at the problems of insufficient decision-making ability and low operational efficiency of the flight ground support process, a decision support model of the flight ground support process based on the department of defense architecture framework (DoDAF) is proposed. Starting from the support operation, support resources, and the relationship between them, the quantitative description of the flight ground support process is performed. DoDAF and the model-based systems engineering (MBSE) modeling method are combined to establish a decision support model of the flight ground support process. The decision utility function is established to analyze the utility value of the comprehensive …

End-To-End Motion Planning Of Unmanned Vehicles Based On Multimodal Deep Reinforcement Learning, Kaiyuan Ding, Askar Hamdulla, Bin Zhu, Eksan Firkat, Zhengtang Ma

Journal of System Simulation

Abstract: Since the agent cannot sense the surrounding environment and cannot successfully avoid obstacles, reinforcement learning fails to be generalized to robot motion planning in difficult terrain. Therefore, a solution based on multimodal deep reinforcement learning, which learns to blend proprioceptive states with high-dimensional depth sensor inputs, is proposed for the motion planning of unmanned vehicles. To be specific, proprioceptive states offer contact measurement for immediate reaction, and the unmanned vehicle can learn and forecast environmental changes with its attached visual sensors, proactively navigating around obstacles and uneven terrains numerous time steps ahead. TransProAct (transformer-based proactive action), a unique end-to-end …

Flexible Job Shop Scheduling Method Based On Collaborative Agent Reinforcement Learning Algorithm, Jian Li, Huankun Li, Pengbo He, Huabei Wang, Liping Xu, Kui He

Journal of System Simulation

Abstract: To enhance the efficiency of flexible job shop scheduling, this paper develops a Markov decision process with specific constraints tailored to the scheduling problem. A cooperative agent reinforcement learning method is proposed to solve the problem of concurrent selection of workpieces and machines. During the construction of the Markov decision process, a disjunctive graph is introduced to represent the state characteristics. Two agents are introduced to select the workpieces and machines. The reward parameters governing the entire scheduling process are established by predicting variations in the minimum-maximum completion time across different time points. A GIN(graph isomorphic network) graph neural …

Dual-Resource Constrained Distributed Flexible Scheduling For Aerospace Structural Components, Yufang Wang, Dianqing Zhang, Xiaolin Hua, Binbin Yao, Fan Chen

Journal of System Simulation

Abstract: A dual-resource constrained distributed flexible job-shop scheduling model was established by taking into account the worker constraints of the finishing process and the requirements of distributed multi-factory collaboration in the production of aerospace structural components. A hybrid grey wolf optimization algorithm based on the critical factory was proposed to solve this problem. The model contained four subproblems: factory selection, operation sequencing, machine selection, and worker selection. In view of these four sub-problems, a four-layer coding and a new decoding method were designed to avoid the use conflict of machines and workers. In addition, a new mechanism for hunting and …

Automatic Detection Algorithm For Typical Defects Of Substation Based On Improved Yolov5, Zhongkai Xu, Yanling Liu, Xiaojuan Sheng, Chao Wang, Wenjun Ke

Journal of System Simulation

Abstract: In response to the challenges present in the context of defect recognition in substations, such as complex substation defects and sample imbalance, an improved YOLOv5 algorithm was proposed. The Transformer model was introduced into the YOLOv5 network structure, leveraging the self-attention mechanism to capture long-range dependencies among features. A focal loss-based optimization was employed to improve the loss function, as well as the detection accuracy and robustness of defects of small sample substations. To meet the requirements of substation defect recognition, a dedicated dataset was constructed. A clustering algorithm was applied to the real annotation boxes to generate more …

Object Detection Of Lightweight Transformer Based On Knowledge Distillation, Gaihua Wang, Kehong Li, Qian Long, Jingxuan Yao, Bolun Zhu, Zhengshu Zhou, Xuran Pan

Journal of System Simulation

Abstract: In autonomous driving, the efficiency and accuracy of object detection are significant. Object detection based on Transformer structure has gradually become the mainstream method, eliminating the complex anchor generation and non-maximum suppression (NMS). It has problems of high computing cost and slow convergence. An object detection model of the based lightweight pooling transformer (LPT) is designed, which contains a pooling backbone network and dual pooling attention mechanism. A general knowledge distillation method is intended for the DETR (detection transformer) model, which transfers prediction results, query vector, and features extracted by the teacher as knowledge to the LPT model to …

A Hybrid Genetic Search Algorithm For Capacitated Electric Vehicle Routing Problem, Dongyao Jin, Mi Liu, Yena Zhu, Yijiang Zhao

Journal of System Simulation

Abstract: The capacitated electric vehicle routing problem (CEVRP) is an NP-hard combinatorial optimization problem in logistics distribution, aiming to minimize the total delivery distance of electric vehicles while satisfying carrying capacity and battery charge constraints. A hybrid genetic search algorithm is proposed to solve CEVRP by decomposing it into two subproblems: capacitated vehicle routing problem (CVRP) and fixed-route vehicle charging problem (FRVCP). A coding scheme with a two-layer chromosome structure is designed to represent the decision variables of these two subproblems. A Split operation is employed to generate vehicle routes for solving CVRP, and five neighborhood search operators, including Relocate, …