Computer Engineering Commons^™

Gpu Parallel Acceleration Framework For Heuristic Optimization Algorithm, Dongjie Wang, Sixin Wen, Wanzhi Meng, Di Wu

Journal of System Simulation

Abstract: Heuristic optimization algorithm are a type of algorithm that uses large-scale populations for iterative calculations and are widely used to solve all kinds of complex optimization problems. However, such algorithm have the disadvantages of large calculation and long time consumption. To solve this problem, heuristic optimization algorithms are parallelized using GPU and compute unified device architecture (CUDA) to substantially improve computational efficiency. A GPU parallel framework for heuristic optimization algorithm is proposed, which designs an information interaction framework and algorithm parallel optimization strategy with a parallel logical structure, and solves the problem of the dissimilarity of the logical structure …

Estimation Of The Berthing Parameter Of Unmanned Surface Vessels Based On 3d Lidar, Haichao Wang, Yong Yin, Qianfeng Jing, Lin Cong

Journal of System Simulation

Abstract: Accurate estimation of berthing parameters is a prerequisite for unmanned surface vessel autonomous berthing. A method for berthing parameter estimation is proposed based on shipborne 3D LiDAR. The method consists of two main modules: ship pose estimation and berthing state estimation. In the berthing position estimation module, raw point cloud data undergoes preprocessing algorithms aims at downsampling and removing outliers. Point cloud registration algorithms are employed to determine the vessel's position during the berthing process. The berthing state estimation module extracts berth boundary information by using the MSAC algorithm, and on the basis of this information, calculates the berthing …

Research On Virtual Simulation Testing Technology For Intelligent Navigation Collision Avoidance Decision-Making And Planning, Jialun Liu, Fan Yang, Lingli Xie, Shijie Li, Tengfei Wang

Journal of System Simulation

Abstract: This paper studies virtual simulation testing technology for intelligent navigation collision avoidance decision-making and planning. The application requirements of intelligent navigation in cargo ships are introduced, and the current research status of collision avoidance decision-making strategies, path planning algorithms and decision-making planning testing technology are analyzed. For the intelligent navigation collision avoidance decision-making and planning capabilities of cargo ships, an intelligent navigation collision avoidance decision-making and planning algorithm is proposed based on the encounter situation division in the collision avoidance rules, combined with the quaternary ship field and Bezier curve interpolation theory. A simulation testing method for decision-making planning …

Digital Twin Method Of Stress Field Of Deep Submersible Spherical Shell Based On Simulation Database, Yu Cao, Jie Li, Fang Wang, Zhixiang Liu, Xueliang Wang

Journal of System Simulation

Abstract: This paper presents a method for predicting the stress field of deep diving spherical shells based on simulation databases and digital twin technology. By establishing simulation databases of stress field distribution of pressure-resistant spherical shells under different scales and loads, virtual sensing monitoring of stress states in other parts of the vessel is realized through finite sensor layout of pressureresistant shells on the submersible. Based on the DT(digital twin) technology, a three-level virtual structure layer is constructed. The Level-1 DT layer realizes the spatial mapping and cloud image display from the finite element simulation model to the digital model. …

Parametric Identification Of Ship Maneuvering Motion Response Model Based On Square Root Cubature Kalman Filtering, Qinghao Li, Junsheng Ren, Yan Hua

Journal of System Simulation

Abstract: The system identification algorithm, based on the square root cubature Kalman filter (SRCKF) is proposed to address issues such as low accuracy, poor robustness, and weak generalization ability encountered by the extended Kalman filter (EKF) algorithm in parameters identification of ship maneuvering motion models. This algorithm, within the framework of CKF, replaces the original covariance matrix with its root mean square and utilizes triangular decomposition for prediction and update to enhance identification stability. The EKF is used as a comparison algorithm to identify the parameters of the second-order nonlinear response model of a ship with rudder angles that comply …

Section Point Cloud Denoising Method Based On Enhanced Dbscan And Distance Consensus Evaluation, Chengpeng Ge, Dong Zhao, Rui Wang, Qinghua Ma

Journal of System Simulation

Abstract: A denoising method based on the improved DBSCAN(density-based spatial clustering of applications with noise) algorithm is proposed to address the problem of removing noise points in point cloud data. The statistical filtering method is applied to pre-screen isolated outliers and remove largescale noise from the point cloud. The DBSCAN algorithm is optimized to reduce computational time complexity and achieve adaptive parameter adjustment, thereby dividing the point cloud into normal clusters, suspected clusters and abnormal clusters, and immediately removing abnormal clusters. Distance consensus assessment is applied, and suspect clusters are further evaluated. By calculating the distance between the suspected point …

A Method Based On Deep Learning For Assisting Sins/Dvl Integrated Navigation, Xinghong Kuang, Aowei Huang

Journal of System Simulation

Abstract: The navigation and positioning accuracy of an Autonomous Underwater Vehicle (AUV) affects the efficiency of the AUV to a certain extent, and since GNSS cannot be used underwater, the integrated navigation system of Strapdown Inertial Navigation System/ Doppler Velocity Log (SINS/DVL) has been widely favored. However, DVL will fail in some cases, and if DVL is isolated directly, the system will become a pure inertial navigation system, which seriously affects the accuracy of navigation and positioning. In order to cope with the situation that DVL is missing in some beams, a DLinear-Informer assisted integrated navigation algorithm is proposed. Through …

Dynamic Data Driven Simulation: An Overview, Xu Xie, Xiaogang Qiu, Yizheng Bao, Kai Xu

Journal of System Simulation

Abstract: Dynamic data driven simulation is a simulation paradigm which integrates simulation and data together. This paradigm continuously feeds real-time data into the simulation, enabling the simulation be dynamically adjusted by the data, which thus improves the simulation-based estimation and prediction capability. Due to this integration, the dynamic data driven simulation can estimate system states and predict future state evolution more accurately. This paper reviews the origins and basic concept of dynamic data driven simulation, and introduces several simulation paradigms originated from the idea of "integrating models with data", and identifies the linkages and differences among them. The particle filterbased …

Uav Dynamic Path Planning Algorithm Combined With Dynamic Window Approach, Bin Liu, Ying Lan, Wentao Huang, Qinqin Fan

Journal of System Simulation

Abstract: To solve the problem of the poor search for optimal performance and obstacle avoidance ability of path planning algorithms in complex dynamic environments, a UAV dynamic path planning algorithm combined with dynamic window approach (UAV-DPPA-DWA) is proposed. In the UAVDPPA- DWA algorithm, a novel elliptic tangent graph algorithm based on the evaluation of offset degree and obstacle distance is proposed to obtain the optimal guidance path for the UAV in static environments. If the UAV detects moving obstacles, a localized obstacle avoidance trajectory will be generated using the dynamic window method with adaptive parameters. Otherwise, the UAV will continue …

Study On Robust Chance Constrained Optimization Of Multi-Energy Supply System Based On Wind And Solar Power Combined Output Simulation, Zhe Bao, Wei Li, Xiaofang Zhang, Zongyuan An, Ye Xu

Journal of System Simulation

Abstract: In order to effectively avoid potential imbalance between supply and demand caused by the uncertainty of wind and solar power outputs, and promote the sustained development of the multi-energy supply system, a robust chance-constrained optimization model is developed for identifying optimal operation strategies under complexities and uncertainties through incorporating Copula theory, chance-constrained programming, and robust programming within a general framework. The results show that this model can not only accurately characterize the distribution probability of combined outputs of wind and solar power and formulate the operational strategies under low default risk conditions, but also reduce the proportion of highrisk …

Digital Twin-Driven Structural Thermal Deformation Compensation System For Radio Telescopes, Zhen Lei, Yuhua Liu, Kai Ding, Haoxiang Chen, Dongwei Li

Journal of System Simulation

Abstract: The structural thermal deformation of large-scale radio telescopes under solar thermal load cannot be measured in real-time and compensated dynamically. To solve this problem, a digital twin-driven structural thermal deformation compensation method and system is studied. Based on the fusion of measured data and simulation data, a temperature field modeling method is proposed. A simulation and prediction model of structural thermal deformation is established, and a dynamic compensation model of structural thermal deformation is built. A digital twin-driven dynamic structural thermal deformation compensation system for radio telescopes is developed. A micro-experimental model is studied to verify the effectiveness of …

Research On Digital Twins Technology In Cyberspace Security, Qiankun Ren, Xinli Xiong, Jingju Liu, Qian Yao

Journal of System Simulation

Abstract: Combined with digital twins and cyber-space modeling and simulation, the network digital twins (NDT) technology with in-deep research can enable the development of diverse techniques of cyber security. The basic concept and research history of NDT are summarized, and a taxonomy is proposed to survey applications of NDT. A cyber security-oriented network digital twin model (CyS-NDT) is concluded through the literature. The relationship between the internal security problem of NDT and the method of enabling network security technology is discussed to prospect further challenges and opportunities.

Faids: Artificial Intelligence Developmental Systems Framework For Predicting And Preventing Cyberattacks In Supply Chain Networks, Lordt Becklines

Research & Publications

Cyber threats and attacks disrupt and damages supply chain networks (SCNs), which are complex and interlinked. Current methods to predict and prevent cyberattacks are inadequate and ineffective. This research proposes an AI developmental systems framework (FAIDS) to protect SCNs from cyberattacks. The framework has four components: (1) an AI threat intelligence system; (2) an AI risk assessment system; (3) an AI decision support system; and (4) an AI learning and adaptation system. The framework is tested on a simulated retail SCN. The results show that the framework can predict and prevent cyberattacks and improve the network's resilience and security. The …

Synthetic Data Generation For Accurate, Fair, And Private Recommender Systems, Derek B. Lilienthal

Master's Theses

A notorious challenge for recommender systems on online platforms is to accurately and fairly recommend items that align with users’ preferences while retaining user privacy. These systems often rely on historical data that is partially labeled and includes incomplete user information, leading to the over-representation of majority groups and disproportionately favoring popular items. Substituting user data with synthetic data can address these concerns, but accurately replicating real-world datasets has been a challenging problem. Recent advancements in generative AI have demonstrated the impressive capabilities of diffusion models in generating realistic data across several domains. In this work, we introduce two variations …

Analyzing The Usability, Performance, And Cost-Efficiency Of Deploying Ml Models On Various Cloud Computing Platforms, Hongyu Wang

Masters Theses (Archived)

With the enhanced computing capabilities and accessibility to cloud resources, major cloud computing providers such as Google Cloud Platform (GCP), Amazon Web Services (AWS), and Microsoft Azure offer Machine Learning (ML) and AI services. Their primary purpose is to provide efficiency, scalability, and adaptability in modern software development and IT operations while reducing overall costs and operational complexity. However, prospective customers of the services often question which ML-AI service will best suit their organizational and business needs. This study compares and analyzes the usability, performance, and cost-efficiency of deploying Machine Learning (ML) models across three cloud platforms: GCP, AWS, and …

Controllable Physics-Informed Latent Space For Acoustic Wave Manipulation, Tristan Shah

Master's Theses

Partial Differential Equations (PDEs) are foundational descriptive tools in scientific and engineering disciplines, enabling the exploration of phenomena from material design to climate dynamics and the propagation of pandemics and wildfires. Establishing control of PDEs, especially when the underlying phenomena are only partially observable, holds great potential for fostering technological innovations. This ambition faces considerable obstacles, as a robust sample-based solution remains elusive. Addressing this challenge, this thesis introduces a framework leveraging physics-informed machine learning (ML) to enable control of PDEs. Central to this framework is an agent, equipped with sensors to perceive its environment, that generates a low-dimensional physics-informed …

An Exploration Of Dimensionality Reduction Of Dynamics On Lie Groups Via Structure-Aware Canonical Correlation Analysis, Wooyoung Chung

Master's Theses

Incorporating prior knowledge into a data-driven modeling problem can drastically improve performance, reliability, and generalization outside of the training sample. The stronger the structural properties, the more effective these improvements become. Manifolds are a powerful nonlinear generalization of Euclidean space for modeling finite dimensions. When additionally assuming that the manifold carries (Lie) group structure, this imposes a drastically stricter global constraint. The range of their applications is very wide and includes the important case of robotic tasks. We apply this idea to Canonical Correlation Analysis (CCA). In traditional CCA one constructs a hierarchical sequence of maximal correlations of up to …

Reinforcement Learning Based Planning And Control For Robotic Source Seeking Inspired By Fruit Flies, Gauravkumar Koradiya

Master's Theses

In the exploration of mobile sensing agents such as robots equipped with sensors, these agents have the potential to measure unknown scalar fields, ranging from chemical concentrations to temperature fluctuations. One of the primary interests is the robots’ ability to gravitate towards the peaks or troughs of these fields, a phenomenon termed as “source seeking”. This behavior is invaluable in practical scenarios, like detecting chemical leaks or locating survivors after catastrophes. However, the challenge becomes significantly more pronounced when operating in turbulent flow fields, where the erratic nature of odorant plumes makes predictions and simulations highly unreliable. Interestingly, fruit flies …

Domain Specific Aspect Extraction For Product Design, Divyam Sobti

Master's Theses

As technology advances, computers become increasingly proficient at interpreting and translating human language into machine-understandable text. With the help of algorithms in natural language processing (NLP), machines can now translate textual data. These algorithms help identify and extract specific text components known as aspects. The aspects represent specific attributes or topics within textual data. For instance, an Amazon review states,“ This phone has good battery life but poor camera quality,” and attributes like ‘battery life’ and ‘camera quality’ represent aspects in the text. Aspect extraction is a pivotal process involving identifying and isolating key features or topics within text. This …

Healthcare Assistance Challenges-Driven Neurosymbolic Ai, Kaushik Roy

Publications

Although Artificial Intelligence technology has proven effective in providing healthcare assistance by analyzing health data, it still falls short in supporting decision-making. This deficiency largely stems from the predominance of opaque neural networks, particularly in mental health care AI applications, which raise concerns about their unpredictable and unverifiable nature. This skepticism hinders the transition from information support to decision support. This presentation will explore neurosymbolic approaches that combine neural networks with symbolic control and verification mechanisms. These approaches aim to unlock AI’s full potential by enhancing information analysis and decision-making support for healthcare assistance.

A Personalized Chat Application For Career Profiling: A Case Study, Dhiraj Choithramani

Harrisburg University Dissertations and Theses

Artificial intelligence (AI) has rapidly transformed numerous fields over the past decade, significantly influencing industries such as software engineering and computer science. One of the most impactful developments in this area is the rise of AI-driven chat applications, which have evolved from simple, rule-based systems to sophisticated platforms capable of simulating human-like conversations. These chatbots are increasingly being utilized across various sectors, including customer service, healthcare, and education, to provide users with quick, personalized responses. This research paper presents a case study of a personalized chat application designed specifically for career profiling, leveraging advanced AI technologies to deliver contextually relevant …

A Step Towards Automated Ethical Analysis In Journalism: Measuring Llms’ Performance In Extracting Sourcing Information, Jingsen Wang

Computer Science and Engineering Master's Theses

This thesis explores the potential of Large Language Models (LLMs) in automating the extraction of sourcing information from news articles, a crucial step towards enhancing transparency and ethical analysis in journalism. We evaluate the performance of two state-of-the-art LLMs, GPT-4 and Claude 3, in identifying and categorizing various source types across four diverse news articles. The thesis employs a zero-shot learning approach with two different prompt designs, assessing the models’ ability to adapt to varying source structures and prompt instructions.

Our findings reveal that while LLMs show promise in extracting sourcing information, their performance varies significantly across different article types …

Activity Map Generation And Event-Based Sensor Processing With Spiking Autoencoders And Sparse Dictionary Learning, Jack Easton

Computer Science and Engineering Theses and Dissertations

This thesis explores the potential of Spiking Neural Networks (SNNs) in processing event sensor data and generating high-fidelity activity maps. Event sensors capture asynchronous binary events with high dynamic range, but traditional processing methods often fail to leverage their advantages fully. SNNs, with their asynchronous, event-driven nature, offer a promising alternative.

A Spiking Autoencoder (SAE) was employed in this thesis to handle the stochastic and sparse event data, integrating deep dictionary learning to enhance the feature space and improve activity map quality. The encoder, modeled after the VGG network, extracts features from event streams generated by speckle patterns, which are …

Evaluating The Role Of Data Enrichment Approaches Towards Rare Event Analysis In Manufacturing, Chathurangi Shyalika, Ruwan Wickramarachchi, Fadi El Kalach, Ramy Harik, Amit P. Sheth

Publications

Rare events are occurrences that take place with a significantly lower frequency than more common, regular events. These events can be categorized into distinct categories, from frequently rare to extremely rare, based on factors like the distribution of data and significant differences in rarity levels. In manufacturing domains, predicting such events is particularly important, as they lead to unplanned downtime, a shortening of equipment lifespans, and high energy consumption. Usually, the rarity of events is inversely correlated with the maturity of a manufacturing industry. Typically, the rarity of events affects the multivariate data generated within a manufacturing process to be …

Story Of Your Lazy Function’S Life: A Bidirectional Demand Semantics For Mechanized Cost Analysis Of Lazy Programs, Liyao Xia, Laura Israel, Maite Kramarz, Stephanie Weirich, Koen Claessen, Nicolas Coltharp, Yao Li

Computer Science Faculty Publications and Presentations

Lazy evaluation is a powerful tool that enables better compositionality and potentially better performance in functional programming, but it is challenging to analyze its computation cost. Existing works either require manually annotating sharing, or rely on separation logic to reason about heaps of mutable cells. In this paper, we propose a bidirectional demand semantics that allows for extrinsic reasoning about the computation cost of lazy programs without relying on special program logics. To show the effectiveness of our approach, we apply the demand semantics to a variety of case studies including insertion sort, selection sort, Okasaki's banker's queue, and the …

A Hierarchical Framework For Interpretable, Safe, And Specialised Deep Reinforcement Learning, Ammar Abbas

Doctoral

Safety-critical systems, which are crucial for human safety and the environment, are difficult to control and operate. Traditional controllers need precise models of these complex systems, which is hard to develop. \acrfull{drl} offers a potential solution by learning from interactions rather than detailed models, but it faces limitations such as non-transparent decision-making and an expensive, unsafe learning process. Additionally, a key challenge in DRL is ensuring effective decision-making in rare situations.

This thesis proposes a novel approach called the \acrfull{prop_frame} that enables safe and reliable control of critical systems. SRLA combines probabilistic modelling with reinforcement learning to create an interpretable …

Improving Expressive Capacity Of Deep Neural Networks, Clayton Harper

Computer Science and Engineering Theses and Dissertations

Deep learning has had remarkable success in a variety of fields. However, architectures often rely on hyperparameter searches and heuristics for improved model performance. Performing hyperparameter searches is an arduous task--often time-consuming and potentially expensive to run on accelerated hardware. As a result, practitioners often rely on heuristics which may lead to sub-optimal results. In the context of deep learning, hyperparameters are set by the user prior to the training process and remain fixed. Deep learning uses gradient descent to learn complex feature representations from data, limiting human intervention. While the weights of the architecture can learn directly through data …

Iot Technologies To Enable Location Based Services (Lbs) For Smart Tourism, Dharmik Chhatbar

University Honors Program Senior Projects

Location-based Services (LBS) are special types of services that are triggered to deliver certain content (e.g., text, image, video) to users with respect to the users’ exact or approximate location or proximity to certain points of interest. LBS can address the field of smart museums with a goal of enhancing the museum experience for visitors with dynamic and personalized content. In this UHP thesis, we explore a set of Internet of Things (IoT) technologies that can enable the work of LBS in the field of smart museums. The project envisions an immersive museum journey where visitors can seamlessly access interactive …

Vision-Based Autonomy Stacks For Farm Tractors And Intelligent Spraying Systems In Orchards, Shengli Xu

All Dissertations

Autonomous tractors equipped with intelligent sprayers have become a pivotal aspect of smart farming (SF), marking a transformative shift in traditional agricultural practices and holding the potential to revolutionize the farming industry. With 2,453,620 fruit-bearing acres in the United States as of 2022, there is a pressing need for the implementation of autonomous systems for farm tractors and intelligent spraying systems in orchards. These advancements can significantly reduce labor costs, address labor shortages, and minimize spray loss. Furthermore, to enhance profitability and productivity, it is essential to develop low-cost yet effective vision-based autonomy systems that can operate efficiently across various …

Convex Approach To Data-Driven Optimal Control With Safety Constraints Using Linear Transfer Operator, Joseph Raphel Moyalan

All Dissertations

This thesis is concerned with the data-driven solution to the optimal control problem with safety constraints for a class of control-affine nonlinear systems. Designing optimal control satisfying safety constraints is a problem of interest in various applications, including robotics, power systems, transportation networks, and manufacturing. This problem is known to be non-convex. One of this thesis's main contributions is providing a convex formulation to this non-convex problem. The second main contribution is providing a data-driven framework for solving the control problem with safety constraints. The linear operator theoretic framework involving Perron-Frobenius and Koopman operators provides the convex formulation and associated …