Computer Engineering Commons^™

Unresolved Object Detection Using Synthetic Data Generation And Artificial Neural Networks, Yong U. Sinn

Theses and Dissertations

This research presents and solves constrained real-world problems of using synthetic data to train artificial neural networks (ANNs) to detect unresolved moving objects in wide field of view (WFOV) electro-optical/infrared (EO/IR) satellite motion imagery. Objectives include demonstrating the use of the Air Force Institute of Technology (AFIT) Sensor and Scene Emulation Tool (ASSET) as an effective tool for generating EO/IR motion imagery representative of real WFOV sensors and describing the ANN architectures, training, and testing results obtained. Deep learning using a 3-D convolutional neural network (3D ConvNet), long short term memory (LSTM) network, and U-Net are used to solve the …

Hyper-Parameter Optimization Of A Convolutional Neural Network, Steven H. Chon

Theses and Dissertations

In the world of machine learning, neural networks have become a powerful pattern recognition technique that gives a user the ability to interpret high-dimensional data whereas conventional methods, such as logistic regression, would fail. There exists many different types of neural networks, each containing its own set of hyper-parameters that are dependent on the type of analysis required, but the focus of this paper will be on the hyper-parameters of convolutional neural networks. Convolutional neural networks are commonly used for classifications of visual imagery. For example, if you were to build a network for the purpose of predicting a specific …

A Stochastic Game Theoretical Model For Cyber Security, Michael T. Larkin

Theses and Dissertations

The resiliency of systems integrated through cyber networks is of utmost importance due to the reliance on these systems for critical services such as industrial control systems, nuclear production, and military weapons systems. Current research in cyber resiliency remains largely limited to methodologies utilizing a singular technique that is predominantly theoretical with limited examples given. This research uses notional data in presenting a novel approach to cyber system analysis and network resource allocation by leveraging multiple techniques including game theory, stochastic processes, and mathematical programming. An operational network security problem consisting of 20 tactical normal form games provides an assessment …

A Flexible, Natural Deduction, Automated Reasoner For Quick Deployment Of Non-Classical Logic, Trisha Mukhopadhyay

USF Tampa Graduate Theses and Dissertations

Automated Theorem Provers (ATP) are software programs which carry out inferences over logico-mathematical systems, often with the goal of finding proofs to some given theorem. ATP systems are enormously powerful computer programs, capable of solving immensely difficult problems. Currently, many automated theorem provers exist like E, vampire, SPASS, ACL2, Coq etc. However, all the available theorem provers have some common problems: (1) Current ATP systems tend not to try to find proofs entirely on their own. They need help from human experts to supply lemmas, guide the proof, etc. (2) There is not a single proof system available which provides …

Sustainability In An It Context, Dikran Kassabian

Sustainability Research & Practice Seminar Presentations

No abstract provided.

Effective Geometric Modeling For Scientific Computing And Forensic Reconstruction, Celong Liu

LSU Doctoral Dissertations

Geometric modeling is a fundamental and critical problem for many computer graphic and computer vision problems. We usually want to build a parameterization which establishes a low-distortion one-to-one map between geometric data and canonical parametric domain, and it is a fundamental tool to support many visual data processing tasks such as mesh generation, finite element simulations, visual analytics, geometric reconstruction, etc. In this dissertation, I studied two problems. The first is to construct low- distortion canonical (polycube) parameterization of large-scale geometric regions, with which high-quality semi-structured quad meshes can be generated and used to facilitate more efficient scientific computing. The …

An Extensive Game-Based Resource Allocation For Securing D2d Underlay Communications, Oleksii Rudenko, Yuhong Liu, Chenwei Wang, Susanto Rahardja

Computer Science and Engineering

Device-to-device (D2D) communication has been increasingly attractive due to its great potential to improve cellular communication performance. While resource allocation optimization for improving the spectrum efficiency is of interest in the D2D-related work, communication security, as a key issue in the system design, has not been well investigated yet. Recently, a few studies have shown that D2D users can actually serve as friendly jammers to help enhance the security of cellular user communication against eavesdropping attacks. However, only a few studies considered the security of D2D communications. In this paper, we consider the secure resource allocation problem, particularly, how to …

Stochastic Methods To Find Maximum Likelihood For Spam E-Mail Classification, Seyed M. -H. Mansourbeigi

Computer Science Student Research

The increasing volume of unsolicited bulk e-mails leads to the need for reliable stochastic spam detection methods for the classification of the received sequence of e-mails. When a sequence of emails is received by a recipient during a time period, the spam filters have already classified them as spam or not spam. Due to the dynamic nature of the spam, there might be emails marked as not spam but are actually real spams and vice versa. For the sake of security, it is important to be able to detect real spam emails. This paper utilizes stochastic methods to refine the …

High-Performing Pgm-Free Aemfc Cathodes From Carbon-Supported Cobalt Ferrite Nanoparticles, Xiong Peng, Varchaswal Kashyap, Benjamin Ng, Sreekumar Kurungot, Lianqin Wang, John R. Varcoe, Mustain E William

Faculty Publications

Efficient and durable non-precious metal electrocatalysts for the oxygen reduction reaction (ORR) are highly desirable for several electrochemical devices, including anion exchange membrane fuel cells (AEMFCs). Here, cobalt ferrite (CF) nanoparticles supported on Vulcan XC-72 carbon (CF-VC) were created through a facile, scalable solvothermal method. The nano-sized CF particles were spherical with a narrow particle size distribution. The CF-VC catalyst showed good ORR activity, possessing a half-wave potential of 0.71 V. Although the intrinsic activity of the CF-VC catalyst was not as high as some other platinum group metal (PGM)-free catalysts in the literature, where this catalyst really shined was …

Diagnosis Of Brain Diseases Via Multi-Scale Time-Series Model, Zehua Zhang, Junhai Xu, Jijun Tang, Quan Zou, Fei Guo

Faculty Publications

The functional magnetic resonance imaging (fMRI) data and brain network analysis have been widely applied to automated diagnosis of neural diseases or brain diseases. The fMRI time series data not only contains specific numerical information, but also involves rich dynamic temporal information, those previous graph theory approaches focus on local topology structure and lose contextual information and global fluctuation information. Here, we propose a novel multi-scale functional connectivity for identifying the brain disease via fMRI data. We calculate the discrete probability distribution of co-activity between different brain regions with various intervals. Also, we consider nonsynchronous information under different time dimensions, …

Recipe For Disaster, Zac Travis

MFA Thesis Exhibit Catalogs

Today’s rapid advances in algorithmic processes are creating and generating predictions through common applications, including speech recognition, natural language (text) generation, search engine prediction, social media personalization, and product recommendations. These algorithmic processes rapidly sort through streams of computational calculations and personal digital footprints to predict, make decisions, translate, and attempt to mimic human cognitive function as closely as possible. This is known as machine learning.

The project Recipe for Disaster was developed by exploring automation in technology, specifically through the use of machine learning and recurrent neural networks. These algorithmic models feed on large amounts of data as a …

Wiwear: Wearable Sensing Via Directional Wifi Energy Harvesting, Huy Vu Tran, Archan Misra, Jie Xiong, Rajesh Krishna Balan

Research Collection School Of Computing and Information Systems

Energy harvesting, from a diverse set of modes such as light or motion, has been viewed as the key to developing batteryless sensing devices. In this paper, we develop the nascent idea of harvesting RF energy from WiFi transmissions, applying it to power a prototype wearable device that captures and transmits accelerometer sensor data. Our solution, WiWear, has two key innovations: 1) beamforming WiFi transmissions to significantly boost the energy that a receiver can harvest ~23 meters away, and 2) smart zero-energy, triggering of inertial sensing, that allows intelligent duty-cycled operation of devices whose transient power consumption far exceeds what …

Long-Term Trajectories Of Human Civilization, Seth D. Baum, Stuart Armstrong, Timoteus Ekenstedt, Olle Häggström, Robin Hanson, Karin Kuhlemann, Matthijs M. Maas, James D. Miller, Markus Salmela, Anders Sandberg, Kaj Sotala, Phil Torres, Alexey Turchin, Roman V. Yampolskiy

Faculty and Staff Scholarship

Purpose: This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. Design/methodology/approach: This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological …

Statistical Algorithm For Nonuniformity Correction In Focal-Plane Arrays, Majeed M. Hayat, Sergio N. Torres, Ernest Armstrong, Stephen C. Cain, Brian Yasuda

Electrical and Computer Engineering Faculty Research and Publications

A statistical algorithm has been developed to compensate for the fixed-pattern noise associated with spatial nonuniformity and temporal drift in the response of focal-plane array infrared imaging systems. The algorithm uses initial scene data to generate initial estimates of the gain, the offset, and the variance of the additive electronic noise of each detector element. The algorithm then updates these parameters by use of subsequent frames and uses the updated parameters to restore the true image by use of a least-mean-square error finite-impulse-response filter. The algorithm is applied to infrared data, and the restored images compare favorably with those restored …

Computationally Efficient Strand Eddy Current Loss Calculation In Electric Machines, Alireza Fatemi, Dan M. Ionel, Nabeel Demerdash, Dave A. Staton, Rafal Wrobel, Yew Chuan Chong

Electrical and Computer Engineering Faculty Research and Publications

A fast finite element (FE) based method for the calculation of eddy current losses in the stator windings of randomly wound electric machines is presented in this paper. The method is particularly suitable for implementation in large-scale design optimization algorithms where a qualitative characterization of such losses at higher speeds is most beneficial for identification of the design solutions that exhibit the lowest overall losses including the ac losses in the stator windings. Unlike the common practice of assuming a constant slot fill factor s _f for all the design variations, the maximum s _f in the developed method is …

Freelabel: A Publicly Available Annotation Tool Based On Freehand Traces, Philipe A. Dias, Zhou Shen, Amy Tabb, Henry P. Medeiros

Electrical and Computer Engineering Faculty Research and Publications

Large-scale annotation of image segmentation datasets is often prohibitively expensive, as it usually requires a huge number of worker hours to obtain high-quality results. Abundant and reliable data has been, however, crucial for the advances on image understanding tasks recently achieved by deep learning models. In this paper, we introduce FreeLabel, an intuitive open-source web interface that allows users to obtain high-quality segmentation masks with just a few freehand scribbles, in a matter of seconds. The efficacy of FreeLabel is quantitatively demonstrated by experimental results on the PASCAL dataset as well as on a dataset from the agricultural domain. Designed …

Hybrid Field Oriented And Direct Torque Control For Sensorless Bldc Motors Used In Aerial Drones, Kellen Carey, Nathan M. Zimmerman, Cristinel Ababei

Electrical and Computer Engineering Faculty Research and Publications

In this study, a sensorless hybrid control scheme for brushless direct current (BLDC) motors for use in multirotor aerial vehicles is introduced. In such applications, the control scheme must satisfy high-performance demands for a wide range of rotor speeds and must be robust to motor parameter uncertainties and measurement noise. The proposed controller combines field-oriented control (FOC) and direct torque control (DTC) techniques to take benefit of the advantages offered by each of these techniques individually. Simulation results demonstrate the effectiveness of the proposed control scheme over a wide range of rotor speeds as well as good robustness against parameter …

A State-Of-The-Art Survey On Deep Learning Theory And Architectures, Md Zahangir Alom, Tarek M. Taha, Christopher Yakopcic, Stefan Westberg, Paheding Sidike, Mst Shamima Nasrin, Mahmudul Hasan, Brian C. Van Essen, Abdul A. S. Awwal, Vijayan K. Asari

Electrical and Computer Engineering Faculty Publications

In recent years, deep learning has garnered tremendous success in a variety of application domains. This new field of machine learning has been growing rapidly and has been applied to most traditional application domains, as well as some new areas that present more opportunities. Different methods have been proposed based on different categories of learning, including supervised, semi-supervised, and un-supervised learning. Experimental results show state-of-the-art performance using deep learning when compared to traditional machine learning approaches in the fields of image processing, computer vision, speech recognition, machine translation, art, medical imaging, medical information processing, robotics and control, bioinformatics, natural language …

Frameup: An Incriminatory Attack On Storj: A Peer To Peer Blockchain Enabled Distributed Storage System, Xiaolu Zhang, Justin Grannis, Ibrahim Baggili, Nicole Lang Beebe

Electrical & Computer Engineering and Computer Science Faculty Publications

In this work we present a primary account of frameup, an incriminatory attack made possible because of existing implementations in distributed peer to peer storage. The frameup attack shows that an adversary has the ability to store unencrypted data on the hard drives of people renting out their hard drive space. This is important to forensic examiners as it opens the door for possibly framing an innocent victim. Our work employs Storj as an example technology, due to its popularity and market size. Storj is a blockchain enabled system that allows people to rent out their hard drive space …

Decreasing Technology Design Costs By Using Youtube Video To Evaluate User Acceptance, Tom Chappelear

UNO Student Research and Creative Activity Fair

User acceptance is a measure that contributes to technology feasibility which is a decision point that entrepreneurs use to help make better investment decisions (Hoffer, 2011). User acceptance testing is part of a design strategy where the system designer attempts to minimize risks and provide design information that an entrepreneur can use to make better investment decisions (Hoffer, 2011). A user acceptance testing instruments can range from a low-cost coffeeshop review to expensive lab-based user testing (Shneiderman, 2017). This study builds upon the User Acceptance of Information Technology (UTAUT) model to measure user acceptance for the system being evaluated (Venkatesh, …