Engineering Commons^™

A Practical Approach To Automated Software Correctness Enhancement, Aleksandr Zakharchenko

Dissertations

To repair an incorrect program does not mean to make it correct; it only means to make it more-correct, in some sense, than it is. In the absence of a concept of relative correctness, i.e. the property of a program to be more-correct than another with respect to a specification, the discipline of program repair has resorted to various approximations of absolute (traditional) correctness, with varying degrees of success. This shortcoming is concealed by the fact that most program repair tools are tested on basic cases, whence making them absolutely correct is not clearly distinguishable from making them relatively more-correct. …

Energy Planning Model Design For Forecasting The Final Energy Consumption Using Artificial Neural Networks, Haidy Eissa

Theses and Dissertations

“Energy Trilemma” has recently received an increasing concern among policy makers. The trilemma conceptual framework is based on three main dimensions: environmental sustainability, energy equity, and energy security. Energy security reflects a nation’s capability to meet current and future energy demand. Rational energy planning is thus a fundamental aspect to articulate energy policies. The energy system is huge and complex, accordingly in order to guarantee the availability of energy supply, it is necessary to implement strategies on the consumption side. Energy modeling is a tool that helps policy makers and researchers understand the fluctuations in the energy system. Over the …

Comparative Analysis Of Rgb-Based Eye-Tracking For Large-Scale Human-Machine Applications, Brett Thaman, Trung Cao

Posters-at-the-Capitol

Gaze tracking has become an established technology that enables using an individual’s gaze as an input signal to support a variety of applications in the context of Human-Computer Interaction. Gaze tracking primarily relies on sensing devices such as infrared (IR) cameras. Nevertheless, in the recent years, several attempts have been realized at detecting gaze by acquiring and processing images acquired from standard RGB cameras. Nowadays, there are only a few publicly available open-source libraries and they have not been tested extensively. In this paper, we present the result of a comparative analysis that studied a commercial eye-tracking device using IR …

Robotic Olfactory-Based Navigation With Mobile Robots, Lingxiao Wang

Doctoral Dissertations and Master's Theses

Robotic odor source localization (OSL) is a technology that enables mobile robots or autonomous vehicles to find an odor source in unknown environments. It has been viewed as challenging due to the turbulent nature of airflows and the resulting odor plume characteristics. The key to correctly finding an odor source is designing an effective olfactory-based navigation algorithm, which guides the robot to detect emitted odor plumes as cues in finding the source. This dissertation proposes three kinds of olfactory-based navigation methods to improve search efficiency while maintaining a low computational cost, incorporating different machine learning and artificial intelligence methods.

A. …

A Human-Embodied Drone For Dexterous Aerial Manipulation, Dongbin Kim

UNLV Theses, Dissertations, Professional Papers, and Capstones

Current drones perform a wide variety of tasks in surveillance, photography, agriculture, package delivery, etc. However, these tasks are performed passively without the use of human interaction. Aerial manipulation shifts this paradigm and implements drones with robotic arms that allow interaction with the environment rather than simply sensing it. For example, in construction, aerial manipulation in conjunction with human interaction could allow operators to perform several tasks, such as hosing decks, drill into surfaces, and sealing cracks via a drone. This integration with drones will henceforth be known as dexterous aerial manipulation.

Our recent work integrated the worker’s experience into …

Respiratory Compensated Robot For Liver Cancer Treatment: Design, Fabrication, And Benchtop Characterization, Mishek Jair Musa

Graduate Theses and Dissertations

Hepatocellular carcinoma (HCC) is one of the leading causes of cancer-related death in the world. Radiofrequency ablation (RFA) is an effective method for treating tumors less than 5 cm. However, manually placing the RFA needle at the site of the tumor is challenging due to the complicated respiratory induced motion of the liver. This paper presents the design, fabrication, and benchtop characterization of a patient mounted, respiratory compensated robotic needle insertion platform to perform percutaneous needle interventions. The robotic platform consists of a 4-DoF dual-stage cartesian platform used to control the pose of a 1-DoF needle insertion module. The active …

Material Handling With Embodied Loco-Manipulation, Jean Chagas Vaz

UNLV Theses, Dissertations, Professional Papers, and Capstones

Material handling is an intrinsic component of disaster response. Typically, first responders, such as firefighters and/or paramedics, must carry, push, pull, and handle objects, facilitating the transportation of goods. For many years, researchers from around the globe have sought to enable full-sized humanoid robots to perform such essential material handling tasks. This work aims to tackle current limitations of humanoids in the realm of interaction with common objects such as carts, wheelbarrows, etc. Throughout this research, many methods will be applied to ensure a stable Zero Moment Point (ZMP) trajectory to allow a robust gait while loco-manipulating a cart. The …

Joint Linear And Nonlinear Computation With Data Encryption For Efficient Privacy-Preserving Deep Learning, Qiao Zhang

Electrical & Computer Engineering Theses & Dissertations

Deep Learning (DL) has shown unrivalled performance in many applications such as image classification, speech recognition, anomalous detection, and business analytics. While end users and enterprises own enormous data, DL talents and computing power are mostly gathered in technology giants having cloud servers. Thus, data owners, i.e., the clients, are motivated to outsource their data, along with computationally-intensive tasks, to the server in order to leverage the server’s abundant computation resources and DL talents for developing cost-effective DL solutions. However, trust is required between the server and the client to finish the computation tasks (e.g., conducting inference for the newly-input …

Evaluation Of Robust Deep Learning Pipelines Targeting Low Swap Edge Deployment, David Carter Cornett

Masters Theses

The deep learning technique of convolutional neural networks (CNNs) has greatly advanced the state-of-the-art for computer vision tasks such as image classification and object detection. These solutions rely on large systems leveraging wattage-hungry GPUs to provide the computational power to achieve such performance. However, the size, weight and power (SWaP) requirements of these conventional GPU-based deep learning systems are not suitable when a solution requires deployment to so called "Edge" environments such as autonomous vehicles, unmanned aerial vehicles (UAVs) and smart security cameras.

The objective of this work is to benchmark FPGA-based alternatives to conventional GPU systems that have the …

Integration Of Internet Of Things And Health Recommender Systems, Moonkyung Yang

Electronic Theses, Projects, and Dissertations

The Internet of Things (IoT) has become a part of our lives and has provided many enhancements to day-to-day living. In this project, IoT in healthcare is reviewed. IoT-based healthcare is utilized in remote health monitoring, observing chronic diseases, individual fitness programs, helping the elderly, and many other healthcare fields. There are three main architectures of smart IoT healthcare: Three-Layer Architecture, Service-Oriented Based Architecture (SoA), and The Middleware-Based IoT Architecture. Depending on the required services, different IoT architecture are being used. In addition, IoT healthcare services, IoT healthcare service enablers, IoT healthcare applications, and IoT healthcare services focusing on Smartwatch …

Contrastive Learning For Unsupervised Auditory Texture Models, Christina Trexler

Computer Science and Computer Engineering Undergraduate Honors Theses

Sounds with a high level of stationarity, also known as sound textures, have perceptually relevant features which can be captured by stimulus-computable models. This makes texture-like sounds, such as those made by rain, wind, and fire, an appealing test case for understanding the underlying mechanisms of auditory recognition. Previous auditory texture models typically measured statistics from auditory filter bank representations, and the statistics they used were somewhat ad-hoc, hand-engineered through a process of trial and error. Here, we investigate whether a better auditory texture representation can be obtained via contrastive learning, taking advantage of the stationarity of auditory textures to …

Integration Of Blockchain Technology Into Automobiles To Prevent And Study The Causes Of Accidents, John Kim

Electronic Theses, Projects, and Dissertations

Automobile collisions occur daily. We now live in an information-driven world, one where technology is quickly evolving. Blockchain technology can change the automotive industry, the safety of the motoring public and its surrounding environment by incorporating this vast array of information. It can place safety and efficiency at the forefront to pedestrians, public establishments, and provide public agencies with pertinent information securely and efficiently. Other industries where Blockchain technology has been effective in are as follows: supply chain management, logistics, and banking. This paper reviews some statistical information regarding automobile collisions, Blockchain technology, Smart Contracts, Smart Cities; assesses the feasibility …

Deep Learning Predicts Ebv Status In Gastric Cancer Based On Spatial Patterns Of Lymphocyte Infiltration, Baoyi Zhang, Kevin Yao, Min Xu, Jia Wu, Chao Cheng

Computer Vision Faculty Publications

EBV infection occurs in around 10% of gastric cancer cases and represents a distinct subtype, characterized by a unique mutation profile, hypermethylation, and overexpression of PD-L1. Moreover, EBV positive gastric cancer tends to have higher immune infiltration and a better prognosis. EBV infection status in gastric cancer is most commonly determined using PCR and in situ hybridization, but such a method requires good nucleic acid preservation. Detection of EBV status with histopathology images may complement PCR and in situ hybridization as a first step of EBV infection assessment. Here, we developed a deep learning-based algorithm to directly predict EBV infection …

Normalization Of Simulation System Credibility Index Based On Vague Set, Yuhang Ren, Li Wei, Ma Ping, Yang Ming

Journal of System Simulation

Abstract: Focus on various types of simulation system credibility indexes and the difficulty to convert the index results to credibility, a normalization method of credibility indexes based on Vague sets is proposed, which includes qualitative and quantitative conversion methods; Aiming at the problem of credibility Vague value index synthesis, the weighted arithmetic mean operator and the weighted geometric mean operator based on Vague set are given, and the applications are explained; According to the similarity principle of Vague sets, a method of transforming the credibility Vague value to the credibility single value is proposed, which improves the …

Single-Frame Image Motion Parallax Key Point Estimation Combined With Self-Supervised Learning, Zhihao Huo, Weidong Jin, Tang Peng

Journal of System Simulation

Abstract: The motion parallax key point FOE (Focus of Expansion) is an important parameter of railway catenary video inspection. The current method of calculating FOE requires multi-frame image matching estimation, which has high time complexity. Aiming at the single-frame image FOE estimation, a single-frame image FOE estimation algorithm fused with self-supervised learning is proposed. A full convolutional network F-VGG(Fully-Visual Geometry Group) is built as the FOE predictor, and the training label of the sample data is automatically generated through the fusion agent task, which realizes the end-to-end single-frame image FOE estimation. The experimental results show that the method has an …

Research On Stick-Slip Vibration Level Estimation Of Near-Bit Based On Optimized Xgboost, Hanwen Tang, Zhang Tao, Yumei Li, Li Lei, Jinghua Zhang, Dongliang Hu

Journal of System Simulation

Abstract: Stick-slip vibration is an important limiting factor affecting drilling speed, safety and cost. The establishment of a reliable stick-slip vibration classification model is very important for oil drilling decision-making. A new method based on Bayesian optimization and eXtreme Gradient Boosting (XGBoost) is proposed to evaluate the severity of stick-slip vibration near the bit. The classification processing of the near-bit stick-slip vibration data is carried out. The main feature vectors of the original data is extracted through time domain and frequency domain analysis. A stick-slip vibration level identification and prediction model based on XGBoost is established, and Bayesian algorithm is …

Simulation Of Pedestrian In Multifunctional Passageway Of Metro Station Area Based On Social Force Model, Wang Xi, Zhang Rui, Fei Shuo, Minghang Yang

Journal of System Simulation

Abstract: Transitional passageway connecting subway stations and commercial facilities is generally designed as the multifunctional passageway, in which the traffic function is the main and the service function is the auxiliary. The impact of the service facilities on both sides of the passage on pedestrian traffic is difficult to be quantitatively analyzed and simulated and modeled. Through measurement, it is found that the viscous effect of service facilities on pedestrian traffic is mainly slowing down the speed or changing the trajectory direction. Through analyzing the horizontal influence range of service facilities, dividing the passage into different areas, and introducing the …

Fuzzy Information Granulation And Improved Rvm For Rolling Bearing Life Prediction, Xiaoman Hu, Wang Yan, Zhicheng Ji

Journal of System Simulation

Abstract: Aiming at the low accuracy in life prediction and unpredictable problems of degenerative performance trends and fluctuation ranges, etc. Of the bearing life prediction, an improved complete ensemble empirical mode decomposition with adaptive noise analysis and fuzzy information granulating method of improved relevance vector machine is proposed. Focusing on bearing data containing a lot of noise, through the improved complete ensemble empirical mode decomposition with adaptive noise analysis in combination with wavelet packet denoising, the principal component analysis is carride out by exitracing a variety of characeteristics of the signal, the effective information is extracted by granulating the fuzzy …

Modeling And Simulation Of Radiation Measurement System Based On Monte Carlo Method, Jinghai Cheng, Hongzhi Wang, Luoyuan Xu, Xia Tian

Journal of System Simulation

Abstract: A method is applied to build a virtual simulation radiometric measurement system. The mathematical and physical models of gamma ray interaction with matter, radiation sources, measurement electronics system and protective materials are constructed by using Monte Carlo method. Through numerical calculation and scene simulation of the radiation measurement system, virtual simulation acquisition and energy spectrum processing of radiation measurement data are realized. It, the system, can simulate single channel measurement and computer multi-channel measurement experiments. It can realize energy measurement, activity measurement and energy spectrum measurement of mixed, unknown or custom radiation sources in different size crystals. It can …

Trajectory Tracking Control Of Planetary Entry Phase Based On Neural Network And Fractional Sliding Mode, Cunli Fan, Dai Juan, Haitao Liu, Su Zhong, Zhu Cui, Wenting Xu

Journal of System Simulation

Abstract: A fractional order sliding mode control method based on Radial Basis Function (RBF) neural network is proposed to solve the landing accuracy being affected by the interference during the landing process of planetary probe. Based on sliding mode control, a trajectory tracking control method for the entry phase of the probe is designed. Fractional calculus is introduced to alleviate the chattering caused by sliding mode control. RBF neural network is used to estimate and compensate the atmospheric density uncertainty. The method is applied to Mars landing scene simulation. The simulation results show that the proposed control method can accurately …

Optizimation Of Vaccination Supply Chain Based On Scg In Nanshan District, Zhenning Dong, Shunzhou Huang, Jiajun Chen, Huiqiong Zheng

Journal of System Simulation

Abstract: To optimize the vaccination network, inventory strategy and human resource allocation in Nanshan District, Supply Chain Guru's (SCG) network optimization method is used to select 50 alternative stations to decrease the fixed operating cost. SCG's inventory optimization method is used to set inventory strategy for each station, and simulation method is designed to compare total cost of all schemes. To optimize the opening days of vaccination stations, an medical personnel allocation rule is designed, which reduces some stations' opening days to 2 or 3 days and increases some stations' medical personnel. An simulation method is designed to compare the …

Simulation Of Zero-Speed Correction Algorithm For Underground Space Individual Positioning, Yijing Wang, Su Zhong, Li Qing, Li Lei

Journal of System Simulation

Abstract: In view of the complex and dangerous collapse environment of the tunnel, the related safety hazards of the positioning system of the tunnel rescuer are intensively analyzed, and the simulation of the inertial device worn on the chest, waist, calf, and foot surface shows that the correction on the foot surface is the best. Focus on the error accumulation of inertial devices, according to the fact that the speed is near zero when the sole of the foot fully touches the ground during walking, the algorithm of zero-speed correction for acceleration and angular velocity is compared, and a combination …

Research On Flexible Job-Shop Dynamic Scheduling Based On Game Theory, Yichen You, Wang Yan, Zhicheng Ji

Journal of System Simulation

Abstract: To quickly and effectively respond to the machine fault disturbance events in Flexible Job-shop Scheduling Problem (FJSP), a flexible job-shop dynamic scheduling based on game theory is established. A pre-scheduling scheme is generated under Non-Dominated Sort Genetic Algorithm-Ⅱ (NSGA-Ⅱ) algorithm which introduces self-adapted crossover operators to improve the population diversity. For FJSP dynamic scheduling with machine fault, a multi-stage complete information game model is built to better balance the stability and robustness indicators and respond quickly to the machine fault, in which the stability and robustness indicators are mapped to the game players, and a hybrid Nash Equilibrium which …

Short-Term Wind Power Prediction Method Based On Random Forest, Liu Xing, Wang Yan, Zhicheng Ji

Journal of System Simulation

Abstract: In order to effectively predict the power and value fluctuation range of the short-term wind, a wind power prediction method based on clustering and kernel principal component analysis combined with random forest algorithm is proposed. The clustering analysis data processing method is used to preprocess the meteorological wind power generation data to improve the data quality, and the kernel principal component analysis method is used to reduce the dimensionality of the eight groups of characteristic data to remove the correlation of the wind power data, the random forest algorithm is used to forecast the wind power, to obtain …

Research On Moffjsp Based On Multi-Strategy Fusion Quantum Particle Swarm Optimization, Cai Min, Wang Yan, Zhicheng Ji

Journal of System Simulation

Abstract: To improve the quality of the optimal scheduling solution set, a quantum particle swarm algorithm with multi-strategy fusion is proposed for the multi-objective fuzzy flexible job shop scheduling problem with fuzzy maximum completion time, fuzzy total machine load, and fuzzy bottleneck machine load as optimization objectives. Chaotic mapping is used to improve the initial population quality, and a Lévy flight strategy is introduced to enhance the algorithm's ability to jump out of the local optimum. The neighborhood search strategy based on machine mutation is designed for local search. Cross operation is used to maintain the diversity of elite individuals, …

Combination Forecasting Model Of Photovoltaic Power Based On Empirical Wavelet Transform, Chen Tao, Wang Yan, Zhicheng Ji

Journal of System Simulation

Abstract: In order to improve the prediction accuracy of short-term photovoltaic power, a variable weight combined prediction model based on Empirical Wavelet Transform (EWT) and PSO-optimized random forest(RF) is proposed. Gray correlation analysis is used to select similar days, EWT is used to decompose the power time series into sub-modes of different frequencies, and three modes of high, medium, and low frequency are reconstructed according to the frequency, PSO-RF and PSO-BP and PSO-LSSVM prediction models are established to dynamically calculate their respective weights for reconstruction, and error correction is performed to output the prediction results. By predicting the output power …

Adaptive Center Node Selection Method For Unmanned Cluster, Hua Xiang, Chenglong Shi, Baohua Li, Jietao Zhang, Jiaxian Zuo

Journal of System Simulation

Abstract: In the unmanned cluster task execution, following the change of relative position of unmanned system, network changes in real time leads to the change of node importance of each unmanned system, and the corresponding change of data transmission and communication flow. For the better network management, the central node for controlling data communication needs to be selected. An adaptive selection method for the center node of unmanned cluster is proposed, and the mapping and feature of unmanned cluster network is expressed as graph theory. Laplacian centrality is introduced to evaluate the importance of nodes themselves. Weakening factors are …

System Performance Evaluation Method Based On Multi-Source Prior Data, Haozhe Liu, Li Wei, Ma Ping, Yang Ming

Journal of System Simulation

Abstract: When using the Bayes method to evaluate the performance of the system with multi-source prior data, the multi-source prior data is fused, the posterior distribution is calculated by synthesizing the fused prior distribution and test data. The parameters of posterior distribution are estimated to obtain the performance evaluation results. A weighted fusion method of multi-source prior data based on Kullback-Leibler divergence is proposed, which can effectively integrate the multi-source prior data. The commonly used Markov Chain Monte Carlo method is used to estimate the parameters of Bayes posterior distribution. The influence of different proposal distributions on the sampling results …

Research On Six Degrees Of Freedom Platform Control In Special Vehicle Simulated Driving Training, Yihao Li, Zhili Zhang, Xiangyang Li, Long Yong

Journal of System Simulation

Abstract: In order to simulate various postures of driving the special vehicles in a limited space, a set of six-degree-of-freedom motion platform for the simulation driving training system of special vehicles is developed. The mechanical structure of the six-degree-of-freedom motion platform is designed to meet the motion posture simulation requirement. The control of each degree of freedom in the motion platform is realized through the design of the embedded control system. The displacement of each electric cylinder is obtained by inverse solution algorithm, and the somatosensory simulation of acceleration and angular displacement is realized by the wash-out algorithm. It has …

An Electromechanical-Electromagnetic Transient Stability Simulation System For Ac/Dc Hybrid Power System, Weijie Dong, Huang Min, Guoqing He, Bao Wei, Yilong Wang, Liu Quan

Journal of System Simulation

Abstract: In order to improve the hybrid simulation speed of AC/DC power grid, it is necessary to improve the simulation method of sub grid parallel. An electromechanical transient stability simulation system is presented for AC/DC hybrid power grid. The AC/DC sub network module is used to divide the large AC/DC power grid into small AC/DC sub networks, so that each sub network can be simulated in parallel. The numerical calculation method is improved for the efficiency and accuracy of simulation calculation. Taking IEEE 10-39 bus as an example, the effectiveness of the method is verified in PSCAD (Power Systems Computer …