Computer Engineering Commons^™

Formal Modeling And Verification Of Delay-Insensitive Circuits, Hoon Park

Dissertations and Theses

Einstein's relativity theory tells us that the notion of simultaneity can only be approximated for events distributed over space. As a result, the use of asynchronous techniques is unavoidable in systems larger than a certain physical size. Traditional design techniques that use global clocks face this barrier of scale already within the space of a modern microprocessor chip. The most common response by the chip industry for overcoming this barrier is to use Globally Asynchronous Locally Synchronous (GALS) design techniques. The circuits investigated in this thesis can be viewed as examples of GALS design. To make such designs trustworthy it …

From Boolean Equalities To Constraints, Sergio Antoy, Michael Hanus

Computer Science Faculty Publications and Presentations

Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. Functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction …

Dynamic Modeling, Parameter Estimation And Control Of A Leg Prosthesis Test Robot, Hanz Richter, Daniel Simon, William Smith, Sergey Samorezov

Hanz Richter

Robotic testing can facilitate the development of new concepts, designs and control systems for prosthetic limbs. Human subject test clearances, safety and the lack of repeatability associated with human trials can be reduced or eliminated with automated testing, and test modalities are possible which are dangerous or inconvenient to attempt with patients. This paper describes the development, modeling, parameter estimation and control of a robot capable of reproducing two degree-of-freedom hip motion in the sagittal plane. Hip vertical displacement and thigh angle motion profiles are applied to a transfemoral prosthesis attached to the robot. A treadmill is used as walking …

Data And Network Optimization Effect On Web Performance, Steven Rosenberg, Surbhi Dangi, Isuru Warnakulasooriya

Surbhi Dangi

In this study, we measure the effects of two software approaches to improving data and network performance: 1. Content optimization and compression; and 2. Optimizing network protocols. We achieve content optimization and compression by means of BoostEdge by ActivNetworks and employ the SPDY network protocol by Google to lower the round trip time for HTTP transactions. Since the data and transport layers are separate, we conclude our investigation by studying the combined effect of these two techniques on web performance. Using document mean load time as the measure, we found that with and without packet loss, both BoostEdge and SPDY …

Vanadium Oxide Thin-Film Variable Resistor-Based Rf Switches, Kuanchang Pan, Weisong Wang, Eunsung Shin, Kelvin Freeman, Guru Subramanyam

Guru Subramanyam

Vanadium dioxide (VO2) is a unique phase change material (PCM) that possesses a metal-to-insulator transition property. Pristine VO2 has a negative temperature coefficient of resistance, and it undergoes an insulator-to-metal phase change at a transition temperature of 68°C. Such a property makes the VO2 thin-film-based variable resistor (varistor) a good candidate in reconfigurable electronics to be integrated with different RF devices such as inductors, varactors, and antennas. Series single-pole single-throw (SPST) switches with integrated VO2 thin films were designed, fabricated, and tested. The overall size of the device is 380 μm × 600 μm. The SPST switches were fabricated on …

A High Performance Ceramic-Polymer Separator For Lithium Batteries, Jitendra Kumar, Padmakar Kichambare, Amarendra K. Rai, Rabi Bhattacharya, Stanley J. Rodrigues, Guru Subramanyam

Guru Subramanyam

A three-layered (ceramic-polymer-ceramic) hybrid separator was prepared by coating ceramic electrolyte [lithium aluminum germanium phosphate (LAGP)] over both sides of polyethylene (PE) polymer membrane using electron beam physical vapor deposition (EB-PVD) technique. Ionic conductivities of membranes were evaluated after soaking PE and LAGP/PE/LAGP membranes in a 1 Molar (1M) lithium hexafluroarsenate (LiAsF6) electrolyte in ethylene carbonate (EC), dimethyl carbonate (DMC) and ethylmethyl carbonate (EMC) in volume ratio (1:1:1). Scanning electron microscopy (SEM) and X-ray diffraction (XRD) techniques were employed to evaluate morphology and structure of the separators before and after cycling performance tests to better understand structure-property correlation. As compared …

Industry-University Collaboration: A University Of Dayton Model, Guru Subramanyam

Guru Subramanyam

This paper introduces industry-university collaboration activities currently in place at the University of Dayton's School of Engineering. These collaborations are important to prepare industry-ready graduates who excel in technical, entrepreneurial, and leadership skills. One of the key curricular components is the industry-sponsored multidisciplinary projects. Industry involvement in advisory committee, strategic research partnerships, and other forms are discussed.

Independency Of Elasticity On Residual Stress Of Room Temperature Rolled Stainless Steel 304 Plates For Structure Materials, Parikin Parikin, David Allen

Makara Journal of Technology

Mechanical strengths of materials are widely expected in general constructions of any building. These properties depend on its formation (cold/hot forming) during fabrication. This research was carried out on cold-rolled stainless steel (SS) 304 plates, which were deformed to 0, 34, 84, and 152% reduction in thickness. The tests were conducted using Vickers method. Ultra micro indentation system (UMIS) 2000 was used to determine the mechanical properties of the material, i.e.: hardness, modulus elasticity, and residual stresses. The microstructures showed lengthening outcropping due to stress corrosion cracking for all specimens. It was found that the tensile residual stress in a …

Effect Of Fly Ash Fortification In The Manufacture Process Of Making Concrete Towards Characteristics Of Concrete In Sulfuric Acid Solution, Asep Handaya Saputra, Muhammad Shohibi, Masatoshi Kubouchi

Makara Journal of Technology

Fly ash is a silica or alumino silica material that can be used as a constituent of cement in the concrete manufacturing process. Utilization of fly ash aims to improve durability and minimize the reduction of concrete’s compressive strength exposed to an acidic environment, which can be achieved through the pozzolanic reaction of fly ash with Ca(OH)2 within concrete. The reduced content of Ca(OH)2 through pozzolanic reaction will minimize the tendency of ettringite formation (compounds that cause deterioration and decrease the compressive strength of concrete). In order to determine the relation between fly ash replenishment into concrete with concrete’s characteristics …

Improvement Of Quality Of Carica Papaya L. With Clove Oil As Preservative In Edible Coating Technology, Eny Kusrini, Anwar Usman, Chrispine Deksita Wisakanti, Rita Arbianti, Dedy Alharis Nasution

Makara Journal of Technology

We have studied utilization of essential clove oil, extracted from clove buds by hydrodistillation, as preservative in edible packaging technology. Preservative of essential clove oil was applied on chopped papaya fruits by using two methods, namely spray and brush. The effects of concentration of clove oil from 0.05 to 0.20% on the preservation of papaya fruits (Carica papaya L.) at room temperature (25 °C) were also evaluated. Physicochemical and in vitro microbiological activities on the papaya fruits that were stored at 25 oC and 85-90% relative humidity were investigated in details. The results indicate that the clove oil at concentration …

Oxidation Process Of H 2 O /Uv For Cod Reduction Of Wastewater From Soybean Tofu Production, Komala Pontas, Abrar Muslim

Makara Journal of Technology

Chemical Oxygen Demand (COD) reduction of wastewater from soybean tofu production was studied by conducting advanced oxidation process (AOP) using hydrogen peroxide with UV radiation catalysts in a closed cylindrical glass reactor. The hydroxyl radical (*OH) concentration from H2O2 decomposition was modeled, and exponential trends were found for the *OH concentration over radiation time and operation temperature. As a result, it was found that the maximal *OH concentration was 0.209 mol L-1 at 240 minutes and 50 °C. The *OH concentration exponentially increased following rise in operation temperature. The H2O2/UV AOP application reduced COD concentration to approximately 42.41% from 10,545 …

Improving Renewable Energy Transition Acceptance: A Simulation Gaming Approach On A Multi Actor Setting In The Netherlands, Aziiz Sutrisno, Jac A. M. Vennix, Noor Syaifudin

Makara Journal of Technology

The Netherlands have tried very hard to increase their renewable energy sources (RES) shares to fulfill the European Union target in 2050. However, RES performance did not show the expected result as the performance declined in 2009 producing even wider gap compare to the target. The Dutch government’s tried to incorporate all interested stakeholders by forming the Dutch energy transition task force. Nevertheless, the task force’s result is also not showing a desirable trend. Key reasons behind the Dutch low RES performance are the lack of shared understanding and positive attitude toward RES development among interested actors. This research uses …

Calibration Of Numerical Model For Shoreline Change Prediction Using Satellite Imagery Data, Sigit Sutikno, Keisuke Murakami, Dwi Puspo Handoyo, Manyuk Fauzi

Makara Journal of Technology

This paper presents a method for calibration of numerical model for shoreline change prediction using satellite imagery data in muddy beach. Tanjung Motong beach, a muddy beach that is suffered high abrasion in Rangsang Island, Riau province, Indonesia was picked as study area. The primary numerical modeling tool used in this research was GENESIS (GENEralized Model for Simulating Shoreline change), which has been successfully applied in many case studies of shoreline change phenomena on a sandy beach.The model was calibrated using two extracted coastlines satellite imagery data, such as Landsat-5 TM and Landsat-8 OLI/TIRS. The extracted coastline data were analyzed …

Dual-Band Singly-Fed Proximity-Coupled Tip-Truncated Triangular Patch Array For Land Vehicle Mobile System, Basari Basari, Josaphat Tetuko Sri Sumantyo

Makara Journal of Technology

This paper proposes a dual-band left-handed circularly polarized triangular-patch array that is developed for land vehicle mobile system aimed at mobile satellite communications. The array consists of six tip-truncated triangular patches, which the first three patches are used for reception and the second three patches are used for transmission purpose. Each of three-patches has a beam pattern that can be switched in three different 120°-coverage beam in azimuth-cut plane at a minimum targeted gain at a desired elevation angle. The targeted minimum gain of the array is 5 dBic, in order for data communications with a large geostationary satellite can …

Uplift Of Shoreline Regions On Pagai Island Due To The September 12, 2007 Mw 8.4 Earthquake Captured By Sar Image, Ashar Muda Lubis

Makara Journal of Technology

At least 25 people were killed by the September 12, 2007 Mw 8.4 Bengkulu earthquake, and many buildings were destroyed in Bengkulu and West Sumatra provinces. It is very important to estimate the earth surface deformation due to the earthquake to understand the rupture size and its process. The aim of this research is to estimate the shoreline change and vertical displacement on Pagai Island associated with the September 12, 2007 Mw 8.4 Bengkulu earthquake. The intensity of ALOS-PALSAR satellite images is used to access the pattern of displacement. The result shows that Pagai Island demonstrated huge uplift due to …

Plasmonic Field Confinement For Separate Absorption-Multiplication In Ingaas Nanopillar Avalanche Photodiodes, Alan C. Farrell, Pradeep Senanayake, Chung-Hong Hung, George El-Howayek, Abhejit Rajagopal, Marc Currie, Majeed M. Hayat, Diana L. Huffaker

Electrical and Computer Engineering Faculty Research and Publications

Avalanche photodiodes (APDs) are essential components in quantum key distribution systems and active imaging systems requiring both ultrafast response time to measure photon time of flight and high gain to detect low photon flux. The internal gain of an APD can improve system signal-to-noise ratio (SNR). Excess noise is typically kept low through the selection of material with intrinsically low excess noise, using separate-absorption-multiplication (SAM) heterostructures, or taking advantage of the dead-space effect using thin multiplication regions. In this work we demonstrate the first measurement of excess noise and gain-bandwidth product in III–V nanopillars exhibiting substantially lower excess noise factors …

Using Gpu To Accelerate Linear Computations In Power System Applications, Xue Li

Doctoral Dissertations

With the development of advanced power system controls, the industrial and research community is becoming more interested in simulating larger interconnected power grids. It is always critical to incorporate advanced computing technologies to accelerate these power system computations. Power flow, one of the most fundamental computations in power system analysis, converts the solution of non-linear systems to that of a set of linear systems via the Newton method or one of its variants. An efficient solution to these linear equations is the key to improving the performance of power flow computation, and hence to accelerating other power system applications based …

Neuron Clustering For Mitigating Catastrophic Forgetting In Supervised And Reinforcement Learning, Benjamin Frederick Goodrich

Doctoral Dissertations

Neural networks have had many great successes in recent years, particularly with the advent of deep learning and many novel training techniques. One issue that has affected neural networks and prevented them from performing well in more realistic online environments is that of catastrophic forgetting. Catastrophic forgetting affects supervised learning systems when input samples are temporally correlated or are non-stationary. However, most real-world problems are non-stationary in nature, resulting in prolonged periods of time separating inputs drawn from different regions of the input space.

Reinforcement learning represents a worst-case scenario when it comes to precipitating catastrophic forgetting in neural networks. …

Arithmetic Logic Unit Architectures With Dynamically Defined Precision, Getao Liang

Doctoral Dissertations

Modern central processing units (CPUs) employ arithmetic logic units (ALUs) that support statically defined precisions, often adhering to industry standards. Although CPU manufacturers highly optimize their ALUs, industry standard precisions embody accuracy and performance compromises for general purpose deployment. Hence, optimizing ALU precision holds great potential for improving speed and energy efficiency. Previous research on multiple precision ALUs focused on predefined, static precisions. Little previous work addressed ALU architectures with customized, dynamically defined precision. This dissertation presents approaches for developing dynamic precision ALU architectures for both fixed-point and floating-point to enable better performance, energy efficiency, and numeric accuracy. These new …

Real-Time Digital Effects Processing Using Ios, Jonah W. Clinard

Computer Engineering

In today’s society, we are seeing incredible improvements in terms of creating smaller technological devices that behave more and more like the personal computers of yesterday. Mobile “Smart” devices, in particular, are becoming incredibly powerful not just in terms of processing power, but in the fact that they are able to provide assistance to users in their everyday lives. Application developers are now able utilize the power and size of these devices, to create and realize ideas that would have been previously viewed as impossible. This project applies the fields of digital signal processing, music, and mobile application development, to …

On Reliability Of Smart Grid Neighborhood Area Networks, Shengjie Xu, Yi Qian, Rose Qingyang Hu

Department of Electrical and Computer Engineering: Faculty Publications

With the integration of the advanced computing and communication technologies, smart grid system is dedicated to enhance the efficiency and the reliability of future power systems greatly through renewable energy resources, as well as distributed communication intelligence and demand response. Along with advanced features of smart grid, the reliability of smart grid communication system emerges to be a critical issue, since millions of smart devices are interconnected through communication networks throughout critical power facilities, which has an immediate and direct impact on the reliability of the entire power infrastructure. In this paper, we present a comprehensive survey of reliability issues …

Computer Aided Brain Tumor Edge Extraction Using Morphological Operations, Warqaa Shaher Alazawee

Masters Theses

Detecting the precise boundary of the area containing a recognized brain tumor is a complex problem and must be addressed since it applies to many medical modalities and tumor types. The objective of this thesis is to provide an efficient algorithm for detecting edges of brain tumors to help neurosurgeons identify the border of the critical area and distinguish the precise margin of the tumor from the rest of the brain tissue during the surgery. This thesis work exploits MRI brain tumor images as a tool to aid surgeons. MRI image segmentation is an essential step as a preliminary process …

Dividing And Conquering Meshes Within The Nist Fire Dynamics Simulator (Fds) On Multicore Computing Systems, Donald Charles Collins

Masters Theses

The National Institute for Standards and Technology (NIST) Fire Dynamics Simulator (FDS) provides a computational fluid dynamics model of a fire, which can be visualized by using NIST Smokeview (SMV). Users must create a configuration file (*.fds) that describes the environment and other characteristics of the fire scene so that the FDS software can produce the output file (*.smv) needed for visualization.The processing can be computationally intensive, often taking between several minutes and several hours to complete. In many cases, a user will create a file that is not optimized for a multicore computing system. By dividing meshes within the …

An Integrated Framework For Cardiac Sounds Diagnosis, Zichun Tong

Masters Theses

The Phonocardiogram (PCG) signal contains valuable information about the cardiac condition and is a useful tool in recognizing dysfunction and heart failure. By analyzing the PCG, early detection and diagnosis of heart diseases can be accomplished since many pathological conditions of the cardiovascular system cause murmurs or abnormal heart sounds. This thesis presents an algorithm to classify normal and abnormal heart sound signals using PCG. The proposed analysis is based on a framework composed of several statistical signal analysis techniques such as wavelet based de-noising, energy-based segmentation, Hilbert-Huang transform based feature extraction, and Support Vector Machine based classification. The MATLAB …

Design Of Digital Down Converter Chain For Software Defined Radio Systems On Fpga, Nagarjun Marappa

Masters Theses

Modern communication systems have increasingly attempted to trade off the digital signal processing for analog circuitry. In performing this tradeoff, advanced algorithms have been implemented in both custom programmable hardware and in software; such systems are commonly called Software Defined Radios (SDR). Advanced software defined radios consist of highly configurable hardware and computers used as digital signal processing (DSP) platforms that provide the technology for realizing current and future generations of digital wireless communication infrastructure. Many sophisticated signal processing tasks are performed in SDR, including compression algorithms, channel estimation, equalization, forward error correction and protocol management. This research has focused …

Morphology Based Framework For Improved Driver's Visibility In Inclement Weather Conditions, Saleem Farhood Hussein

Masters Theses

The U.S. Department of Transportation reports that on average there are 5,870,000 vehicle accidents each year. Twenty-three percent (23%) of these accidents are attributed to weather conditions with an annual average of more than 6,000 people are killed and 480,000 people are injured. Weather-related accidents occur mainly because of the low visibility on the roads under inclement conditions such as snow, rain and fog. While these conditions can be predictable and individuals try to avoid driving in inclement weather, there are circumstances that require driving in such conditions such as emergency responders or when the severity of the storm has …

Design Of A New Digital Relay For Transmission Line Fault Detection, Classification And Localization Based On A New Composite Relay And Artificial Neural Network Approach, Ahmed Sabri Altaie

Masters Theses

This thesis focuses on new approach to detect, classify, and localize the fault in transmission line. Firstly, fault detection was carried out using the New Composite Relay (CR) which, has different characteristics and the ability to detect any type of fault including series faults. Secondly, fault classification was conducted using the Feed Forward Artificial Neural Network (FFANN). In addition, the fault classification led to the investigation of the best use of the FFANN. The data used come from MATLAB/SIMULINK three phase series compensated network. The results obtained using FFANN, were compared with the type of the fault that have been …

A Lidar Based Semi-Autonomous Collision Avoidance System And The Development Of A Hardware-In-The-Loop Simulator To Aid In Algorithm Development And Human Studies, Thomas F. Stevens

Master's Theses

In this paper, the architecture and implementation of an embedded controller for a steering based semi-autonomous collision avoidance system on a 1/10^th scale model is presented. In addition, the development of a 2D hardware-in-the-loop simulator with vehicle dynamics based on the bicycle model is described. The semi-autonomous collision avoidance software is fully contained onboard a single-board computer running embedded GNU/Linux. To eliminate any wired tethers that limit the system’s abilities, the driver operates the vehicle at a user-control-station through a wireless Bluetooth interface. The user-control-station is outfitted with a game-controller that provides standard steering wheel and pedal controls along …

Performance Analysis Of Hybrid Algorithms For Lossless Compression Of Climate Data, Bharath Chandra Mummadisetty

UNLV Theses, Dissertations, Professional Papers, and Capstones

Climate data is very important and at the same time, voluminous. Every minute a new entry is recorded for different climate parameters in climate databases around the world. Given the explosive growth of data that needs to be transmitted and stored, there is a necessity to focus on developing better transmission and storage technologies. Data compression is known to be a viable and effective solution to reduce bandwidth and storage requirements of bulk data. So, the goal is to develop the best compression methods for climate data.

The methodology used is based on predictive analysis. The focus is to implement …

Compression Of Climate Data Through Artificial Neural Networks, Astha Puri

UNLV Theses, Dissertations, Professional Papers, and Capstones

Lately, there has been a tremendous increase in the number of climate monitoring

stations in various parts of the country producing abundant climate data. Among climate data parameters, humidity and temperature are the two parameters influencing hydrological and agricultural processes, weather monitoring, and having critical effect on living organisms. As more data is being generated over time, there is a strong need to develop compression methods for efficient transfer and storage of this data.

The main goal of this thesis is to perform compression of humidity and temperature

data via prediction. As these are critical components of climate, it is …