Computer Engineering Commons^™

A Methodology And Tool For Concurrent Fault Injection, Zhongyin Zhang

School of Computing: Dissertations, Theses, and Student Research

As the speed of microprocessors tails off, utilizing multiple processing cores per chip is becoming a common way for developers to achieve higher performance. However, writing concurrent programs can be a big challenge because of common concurrency faults. Because concurrency faults are hard to detect and reproduce, traditional testing techniques are not suitable. New techniques are needed, and these must be assessed. A typical method for assessing testing techniques is to embed faults in programs using mutation tools, and assess the ability of techniques to detect these. Although mutation testing techniques can be used to represent common faults, approaches for …

Performance Analysis Of Mobile Ad-Hoc Routing Protocols By Varying Mobility, Speed And Network Load, Nilotpal Sarmah

Department of Computer Electronics and Engineering: Dissertations, Theses, and Student Research

One of the most promising network that has emerged from the technology world is the mobile ad-hoc network or MANET. It is a type of multi-hop network. Wireless by nature, MANETs do not have a specific network infrastructure. It is a collection of wireless mobile devices that communicate with each other without the help of any third party backbone like a base-station or a router. It can be hard to imagine how every node in this type of network communicate with one another without having a router. In MANETs, nodes change locations with time, configure themselves and get the information …

Growth Of Graphene Films And Graphene Patterns, Yongfeng Lu, Wei Xiong, Yunshen Zhou

Department of Electrical and Computer Engineering: Faculty Publications

Large area graphene can be fabricated by depositing carbon and catalytic metal thin film(s) on a substrate, heating the carbon and the catalytic metal, and forming graphene on the substrate. The catalytic metal is evaporated during the heating process. The catalytic metal can be, for example, nickel, cobalt, or iron.

Measuring Autonomy And Solving General Stabilization Problems With Multi-Agent Systems, Rasheed A. Rajabzadeh

School of Computing: Dissertations, Theses, and Student Research

Many distributed complex problems address a particular form of resource scheduling where proper resource management can cut costs by stabilizing a set of stochastic fluctuating parameters. Wireless sensor network communication, supply chain management, stock trading, intelligent traffic management, and smart grid systems are examples of these problems. Among the various solutions, a common strategy often used to address this type of problems is fluctuation reduction via resource buffering combined with load shifting. Respectively, stable wireless communication, demand for supplies, liquidity, traffic speed, and power demand reduce cost and can be achieved by properly managing sensor data buffers, warehouses, capital, distance …

Thickness Determination Of Few-Layer Hexagonal Boron Nitride Films By Scanning Electron Microscopy And Auger Electron Spectroscopy, P. Sutter, E. Sutter

Department of Electrical and Computer Engineering: Faculty Publications

We assess scanning electron microscopy (SEM) and Auger electron spectroscopy (AES) for thickness measurements on few-layer hexagonal boron nitride (h-BN), the layered dielectric of choice for integration with graphene and other two-dimensional materials. Observations on h-BN islands with large, atomically flat terraces show that the secondary electron intensity in SEM reflects monolayer height changes in films up to least 10 atomic layers thickness. From a quantitative analysis of AES data, the energy-dependent electron escape depth in h-BN films is deduced. The results show that AES is suitable for absolute thickness measurements of few-layer h-BN of 1 to 6 layers.

Predicting Professional Golfer Performance Using Proprietary Pga Tour “Shotlink” Data, Brian Leahy

Dissertations

It can cost a minimum of $110,000 a year for a professional golfer to compete on the PGA Tour. For the successful golfers who earn millions every year, this is not a problem. For those lower ranked golfers, it is a problem. This is due to the fact that almost half the golfers who compete in any one PGA Tour tournament will not get paid, because they have missed the dreaded cut. When a golfer begins to consistently miss the cut, they can come under financial pressure which may manifest itself into poor further tournament performances. This dissertation attempts to …

A Brain Robot Interface For Autonomous Activities Of Daily Living Tasks, Don Indika Upashantha Pathirage

USF Tampa Graduate Theses and Dissertations

There have been substantial improvements in the area of rehabilitation robotics in the recent past. However, these advances are inaccessible to a large number of people with disabilities who are in most need of such assistance. This group includes people who are in a severely paralyzed state, that they are completely "locked-in" in their own bodies. Such persons usually retain full cognitive abilities, but have no voluntary muscle control.

For these persons, a Brain Computer Interface (BCI) is often the only way to communicate with the outside world and/or control an assistive device. One major drawback to BCI devices is …

Self-Organizing Microstructures Orientation Control In Femtosecond Laser Patterning On Silicon Surface, Pengjun Liu, Lan Jiang, Jie Hu, Shuai Zhang, Yongfeng Lu

Department of Electrical and Computer Engineering: Faculty Publications

Self-organizing rippled microstructures are induced on silicon surface by linearly polarized femtosecond laser pulses. At a near threshold fluence, it is observed that ripple orientation is co-determined by the laser polarization direction and laser scanning parameters (scanning direction and scanning speed) in surface patterning process. Under fixed laser polarization, the ripple orientation can be controlled to rotate by about 40° through changing laser scanning parameters. In addition, it is also observed that the ripple morphology is sensitive to the laser scanning direction, and it is an optimal choice to obtain ordered ripple structures when the angle between laser scanning and …

Oswald Physical And Engineering Sciences Honorable Mention: Summer 2012 Lip6 Write Up, Josiah Hanna

Kaleidoscope

Planning under uncertainty is a central problem in developing intelligent autonomous systems. The traditional representation for these problems is a Markov Decision Process (MDP). The MDP model can be extended to a Multi-criteria MDP (MMDP) for planning under uncertainty while trying to optimize multiple criteria. However, due to the trade-offs involved in multi criteria problems there may be infinitely many optimal solutions. The focus of this project has been to find a method that efficiently computes a subset of solutions that represents the entire set of optimal solutions for bi-objective MDPs.

Simulation Of Light Propagation In Skin And Subcutaneous Blood Vessels, Robert Polski, Ricardo Huancaya, Hyun J. Kwon

Posters, Presentations, and Papers

The VeinViewer, produced by the Luminetx Corporation, projects an image of subcutaneous veins onto the surface of the skin by using the discovery that near infrared (NIR) light passes through and transmits back out of the skin issue except at the blood vessels as a result of the presence of hemoglobin¹. We aim to improve the function of the VeinViewer by using computational models to interpret changes in properties of the subject,such as skin pigmentation, and settings on the device, such as light frequency. We also look to decrease error, as a result of the geometry of veins …

Human Brain Networks: Spiking Neuron Models, Multistability, Synchronization, Thermodynamics, Maximum Entropy Production, And Anesthetic Cascade Mechanisms, Wassim H. Haddad, Qing Hui, James M. Bailey

Department of Electrical and Computer Engineering: Faculty Publications

Advances in neuroscience have been closely linked to mathematical modeling beginning with the integrate-and-fire model of Lapicque and proceeding through the modeling of the action potential by Hodgkin and Huxley to the current era. The fundamental building block of the central nervous system, the neuron, may be thought of as a dynamic element that is “excitable”, and can generate a pulse or spike whenever the electrochemical potential across the cell membrane of the neuron exceeds a threshold. A key application of nonlinear dynamical systems theory to the neurosciences is to study phenomena of the central nervous system that exhibit nearly …

Getting It Right The First Time: Verification Of Behavior-Based Multirobot Missions, Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagon Harrington, Matthew O'Brien

Faculty Publications

No abstract provided.

Leveraging Area Bounds Information For Autonomous Multi-Robot Exploration, Tsung-Ming Liu, Damian M. Lyons

Faculty Publications

In this paper we propose an approach, the Space-Based Potential Field (SBPF) approach, to controlling multiple robots for area exploration missions that focus on robot dispersion. The SBPF method is based on a potential field approach that leverages knowledge of the overall bounds of the area to be explored. This additional information allows a simpler potential field control strategy for all robots but which nonetheless has good dispersion and overlap performance in all the multi-robot scenarios while avoiding potential minima. Both simulation and robot experimental results are presented as evidence.

Nonlocal And Quantum-Tunneling Contributions To Harmonic Generation In Nanostructures: Electron-Cloud-Screening Effects, Michael Scalora, Maria Antonietta Vincenti, Domenico De Ceglia, Joseph W. Haus

Electrical and Computer Engineering Faculty Publications

Our theoretical examination of second- and third-harmonic generation from metal-based nanostructures predicts that nonlocal and quantum-tunneling phenomena can significantly exceed expectations based solely on local, classical electromagnetism. Mindful that the diameter of typical transition-metal atoms is approximately 3 Å, we adopt a theoretical model that treats nanometer-size features and/or subnanometer-size gaps or spacers by taking into account (i) the limits imposed by atomic size to fulfill the requirements of continuum electrodynamics, (ii) spillage of the nearly free electron cloud into the surrounding vacuum, and (iii) the increased probability of quantum tunneling as objects are placed in close proximity.

Our approach …

Getting It Right The First Time: Verification Of Autonomous Behavior-Based Multirobot Missions, Ronald C. Arkin, Damian M. Lyons

Faculty Publications

No abstract provided.

An Examination Of The Factors Determining Successful Implementation Of An Electronic Medical Record (Emr) System In A Regional Hospital, Mehrdad Motamed

Morehead State Theses and Dissertations

A Thesis Presented to the Faculty of the College of Business and Public Affairs Morehead State University in Partial Fulfillment of the Requirements for the Degree Master of Science by Mehrdad Motamed in July of 2014.

Forensicloud: An Architecture For Digital Forensic Analysis In The Cloud, Cody Miller, Dae Glendowne, David Dampier, Kendall Blaylock

Computer Sciences and Electrical Engineering Faculty Research

The amount of data that must be processed in current digital forensic examinations continues to rise. Both the volume and diversity of data are obstacles to the timely completion of forensic investigations. Additionally, some law enforcement agencies do not have the resources to handle cases of even moderate size. To address these issues we have developed an architecture for a cloud-based distributed processing platform we have named Forensicloud. This architecture is designed to reduce the time taken to process digital evidence by leveraging the power of a high performance computing platform and by adapting existing tools to operate within this …

How To Estimate Forecasting Quality: A System-Motivated Derivation Of Symmetric Mean Absolute Percentage Error (Smape) And Other Similar Characteristics, Vladik Kreinovich, Hung T. Nguyen, Rujira Ouncharoen

Departmental Technical Reports (CS)

When comparing how well different algorithms forecast time series, researchers use an average value of the ratio |x-y|/(|x|+|y|)/2), known as the Symmetric Mean Absolute Percentage Error (SMAPE). In this paper, we provide a system-motivated explanation for this formula. We also explain how this formula explains the use of geometric mean to combine different forecasts.

Increased Climate Variability Is More Visible Than Global Warming: A General System-Theory Explanation, Octavio Lerma, Craig Tweedie, Vladik Kreinovich

Departmental Technical Reports (CS)

While global warming is a statistically confirmed long-term phenomenon, its most visible consequence is not the warming itself but, somewhat surprisingly, the increased climate variability. In this paper, we use the general system theory ideas to explain why increased climate variability is more visible than the global warming itself.

Paxos Based Directory Updates For Geo-Replicated Cloud Storage, Srivathsava Rangarajan

Open Access Theses

Modern cloud data stores (e.g., Spanner, Cassandra) replicate data across geographically distributed data centers for availability, redundancy and optimized latencies.^ An important class of cloud data stores involves the use of directories to track the location of individual data objects. Directory-based datastores allow flexible data placement, and the ability to adapt placement in response to changing workload dynamics. However, a key challenge is maintaining and updating the directory state when replica placement changes.^ In this thesis, we present the design and implementation of a system to address the problem of correctly updating these directories. Our system is built around JPaxos, …