Computer Engineering Commons^™

How Can We Build A Moral Robot?, Kristen E. Clark

Capstones

Artificial intelligence is already starting to drive our cars and make choices that affect the world economy. One day soon, we’ll have robots that can take care of our sick and elderly, and even rescue us in rescue us in emergencies. But as robots start to make decisions that matter—it’s raising questions that go far beyond engineering. We’re stating to think about ethics.

Bertram Malle and Matthias Scheutz are part of a team funded by the department of defense. It's their job to answer a question that seems straight out of a sci-fi novel: How can we build a moral …

Demonstration Of Inexact Computing Implemented In The Jpeg Compression Algorithm Using Probabilistic Boolean Logic Applied To Cmos Components, Christopher I. Allen

Theses and Dissertations

Probabilistic computing offers potential improvements in energy, performance, and area compared with traditional digital design. This dissertation quantifies energy and energy-delay tradeoffs in digital adders, multipliers, and the JPEG image compression algorithm. This research shows that energy demand can be cut in half with noisesusceptible16-bit Kogge-Stone adders that deviate from the correct value by an average of 3 in 14 nanometer CMOS FinFET technology, while the energy-delay product (EDP) is reduced by 38 . This is achieved by reducing the power supply voltage which drives the noisy transistors. If a 19 average error is allowed, the adders are 13 times …

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 …

Data To Decisions For Cyberspace Operations, Steve Stone

Military Cyber Affairs

In 2011, the United States (U.S.) Department of Defense (DOD) named cyberspace a new operational domain. The U.S. Cyber Command and the Military Services are working to make the cyberspace environment a suitable place for achieving national objectives and enabling military command and control (C2). To effectively conduct cyberspace operations, DOD requires data and analysis of the Mission, Network, and Adversary. However, the DOD’s current data processing and analysis capabilities do not meet mission needs within critical operational timelines. This paper presents a summary of the data processing and analytics necessary to effectively conduct cyberspace operations.

Nd − Pdpa: N Dimensional Probability Density Profile Analysis, Arjang Fahim

Theses and Dissertations

Proteins are often referred as working molecule of a cell, performing many structural, functional and regulatory processes. Revealing the function of proteins still remains a challenging problem. Advancement in genomics sequence projects produces large protein sequence repository, but due to technical difficulty and cost related to structure determination, the number of identified protein structure is far behind. Novel structures identification are particularly important for a number of reasons: they generate models of similar proteins for comparison; identify evolutionary relationships; further contribute to our understanding of protein function and mechanism; and allow for the fold of other family members to be …

All Your Sessions Are Belong To Us: Investigating Authenticator Leakage Through Backup Channels On Android, Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo

Research Collection School Of Computing and Information Systems

Security of authentication protocols heavily relies on the confidentiality of credentials (or authenticators) like passwords and session IDs. However, unlike browser-based web applications for which highly evolved browsers manage the authenticators, Android apps have to construct their own management. We find that most apps simply locate their authenticators into the persistent storage and entrust underlying Android OS for mediation. Consequently, these authenticators can be leaked through compromised backup channels. In this work, we conduct the first systematic investigation on this previously overlooked attack vector. We find that nearly all backup apps on Google Play inadvertently expose backup data to any …

Gpu Accelerated On-The-Fly Reachability Checking, Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin

Research Collection School Of Computing and Information Systems

Model checking suffers from the infamous state space explosion problem. In this paper, we propose an approach, named GPURC, to utilize the Graphics Processing Units (GPUs) to speed up the reachability verification. The key idea is to achieve a dynamic load balancing so that the many cores in GPUs are fully utilized during the state space exploration.To this end, we firstly construct a compact data encoding of the input transition systems to reduce the memory cost and fit the calculation in GPUs. To support a large number of concurrent components, we propose a multi-integer encoding with conflict-release accessing approach. We …

On Problematic Robotic Thresholds, Adam K. Taylor

School of Computing: Dissertations, Theses, and Student Research

Large configuration spaces present difficulties for developers validating large soft- ware systems and for users selecting the proper configuration to achieve the desired runtime behavior. Robot systems face the same challenges as they may have hundreds of configurable parameters. Our work focuses on co-robotic systems, those in which robots and humans work closely together to augment each other’s capabilities. We aim to leverage the user’s knowledge about a system to help determine configuration errors. To accomplish this, users mark runtime failures while observing the system in operation. A marked error indicates the robot “did something when it should not have” …

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 …

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 …

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 …

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 …

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 …

Adapting Architectural Models For Visualization Using Virtual Reality Headsets, Bernardo Martinez

Honors Theses

Business contracts represent a main source of income for Architects. Acquiring these contracts requires the latest and most immersive technology that improves their sales against competitors. Virtual reality provides an in-depth experience that allows clients to have a reasonable assurance that the building meets their physical expectations. Videos and photos are detached and mundane; while they provide some visual representation they will not allow the user to compare his physical characteristics (height, length, width) with a 3D model. In this paper, I describe a procedure for automatically importing 3D models from Revit into Unreal4. I also describe the workflow required …

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 …

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 …

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 …

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 …

The Information Of Spam, Sawyer C. Anderson

Computer Science and Computer Engineering Undergraduate Honors Theses

This paper explores the value of information contained in spam tweets as it pertains to prediction accuracy. As a case study, tweets discussing Bitcoin were collected and used to predict the rise and fall of Bitcoin value. Precision of prediction both with and without spam tweets, as identified by a naive Bayesian spam filter, were measured. Results showed a minor increase in accuracy when spam tweets were included, indicating that spam messages likely contain information valuable for prediction of market fluctuations.

Modeling Information Reliability And Maintenance: A Systematic Literature Review, Daysi A. Guerra Garcia

Industrial Engineering Undergraduate Honors Theses

Operating a business efficiently depends on effective everyday decision-making. In turn, those decisions are influenced by the quality of data used in the decision-making process, and maintaining good data quality becomes more challenging as a business expands. Protecting the quality of the data and the information it generates is a challenge faced by many companies across all industrial sectors. As companies begin to use data from these large data bases they will need to begin to develop strategies for maintaining and assessing the reliability of the information they generate using this data. A considerable amount of literature exists on data …

Exclusive-Or Preprocessing And Dictionary Coding Of Continuous-Tone Images., Takiyah K. Cooper

Electronic Theses and Dissertations

The field of lossless image compression studies the various ways to represent image data in the most compact and efficient manner possible that also allows the image to be reproduced without any loss. One of the most efficient strategies used in lossless compression is to introduce entropy reduction through decorrelation. This study focuses on using the exclusive-or logic operator in a decorrelation filter as the preprocessing phase of lossless image compression of continuous-tone images. The exclusive-or logic operator is simply and reversibly applied to continuous-tone images for the purpose of extracting differences between neighboring pixels. Implementation of the exclusive-or operator …

A Network Topology Control And Identity Authentication Protocol With Support For Movable Sensor Nodes, Ying Zhang, Wei Chen, Jixing Liang, Bingxin Zheng, Shengming Jiang

Computer Science Faculty Research

It is expected that in the near future wireless sensor network (WSNs) will be more widely used in the mobile environment, in applications such as Autonomous Underwater Vehicles (AUVs) for marine monitoring and mobile robots for environmental investigation. The sensor nodes’ mobility can easily cause changes to the structure of a network topology, and lead to the decline in the amount of transmitted data, excessive energy consumption, and lack of security. To solve these problems, a kind of efficient Topology Control algorithm for node Mobility (TCM) is proposed. In the topology construction stage, an efficient clustering algorithm is adopted, which …

Hands-Free Computer Interaction Using A Sip/Puff Sensor As A Mouse, Daniel Williams

Computer Engineering

No abstract provided.

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 …

The Bounded Edge Coloring Problem And Offline Crossbar Scheduling, Jonathan Turner

All Computer Science and Engineering Research

This paper introduces a variant of the classical edge coloring problem in graphs that can be applied to an offline scheduling problem for crossbar switches. We show that the problem is NP-complete, develop three lower bounds bounds on the optimal solution value and evaluate the performance of several approximation algorithms, both analytically and experimentally. We show how to approximate an optimal solution with a worst-case performance ratio of 3/2 and our experimental results demonstrate that the best algorithms produce results that very closely track a lower bound.

Faster Maximium Priority Matchings In Bipartite Graphs, Jonathan Turner

All Computer Science and Engineering Research

A maximum priority matching is a matching in an undirected graph that maximizes a priority score defined with respect to given vertex priorities. An earlier paper showed how to find maximum priority matchings in unweighted graphs. This paper describes an algorithm for bipartite graphs that is faster when the number of distinct priority classes is limited. For graphs with k distinct priority classes it runs in O(kmn1/2) time, where n is the number of vertices in the graph and m is the number of edges.

Generalized Techniques For Using System Execution Traces To Support Software Performance Analysis, Thelge Manjula Peiris

Open Access Dissertations

This dissertation proposes generalized techniques to support software performance analysis using system execution traces in the absence of software development artifacts such as source code. The proposed techniques do not require modifications to the source code, or to the software binaries, for the purpose of software analysis (non-intrusive). The proposed techniques are also not tightly coupled to the architecture specific details of the system being analyzed. This dissertation extends the current techniques of using system execution traces to evaluate software performance properties, such as response times, service times. The dissertation also proposes a novel technique to auto-construct a dataflow model …

Bandwidth Estimation For Virtual Networks, Ertong Zhang

School of Computing: Dissertations, Theses, and Student Research

Cloud computing is transforming a large part of IT industry, as evidenced by the increasing popularity of public cloud computingservices, such as Amazon Web Service, Google Cloud Platform, Microsoft Windows Azure, and Rackspace Public Cloud. Manycloud computing applications are bandwidth-intensive, and thus the network bandwidth information of clouds is important for theirusers to manage and troubleshoot the application performance.

The current bandwidth estimation methods originally developed for the traditional Internet, however, face great challenges in clouds dueto virtualization that is the main enabling technique of cloud computing. First, virtual machine scheduling, which is an importantcomponent of computer virtualization for processor …

Control Of Cation Ordering In Zinc Tin Nitride And In-Situ Monitoring Of Growth, Brian Christopher Durant

Masters Theses

Semiconducting materials with a band gap around 1.5 eV are very much sought after due to their close match to the solar spectrum. However, some compounds that have shown promise for highly efficient solar cells contain rare, expensive, and sometimes toxic elements, such as indium and gallium. As such, a search for earth abundant materials has become more prominent recently. One such earth abundant semiconducting material that has garnered interest is ZnSnN₂. It has been shown through previous studies that there is the possibility of continuously tuning the band gap between 1.0 and 2.0 eV by controlling the …