Computer Engineering Commons^™

Oracle Guided Incremental Sat Solving To Reverse Engineer Camouflaged Circuits, Xiangyu Zhang

Masters Theses

This study comprises two tasks. The first is to implement gate-level circuit camouflage techniques. The second is to implement the Oracle-guided incremental de-camouflage algorithm and apply it to the camouflaged designs.

The circuit camouflage algorithms are implemented in Python, and the Oracle- guided incremental de-camouflage algorithm is implemented in C++. During this study, I evaluate the Oracle-guided de-camouflage tool (Solver, in short) performance by de-obfuscating the ISCAS-85 combinational benchmarks, which are camouflaged by the camouflage algorithms. The results show that Solver is able to efficiently de-obfuscate the ISCAS-85 benchmarks regardless of camouflaging style, and is able to do so 10.5x …

Measurement Of Speed Of Sound Profile Using Laaces Balloon, Zhuang Li, Brett Schaefer, Brian Schaefer, William Dever, Tyler Morgan, Matthew Foltz

2017 Academic High Altitude Conference

The goal of this mission is to test the speed of sound at different altitudes and ultimately at a maximum height of 100,000 feet (30 km). In conjunction with this testing, environmental parameters including temperature, pressure, and humidity are measured and used to calculate the speed of sound to compare to the measured results. The team constructed the payload “Dorothy” using polystyrene foam due to its lightweight and thermal isolation property. An ultrasonic sensor with a reflection mirror were installed outside payload box to measure speed of sound. All the sensors were calibrated. Software for the project was developed in …

How Iridium Satellite Tracker Model 9602-Lp Asset Affects Span Of Control In High Altitidue Balloning, Steven Hamby

2017 Academic High Altitude Conference

The Irdium Satelitte Network has greatly increased safety in the ballooning field by enabling a greater span of control in flight awarness and termination. This enhanced awareness stems from accurate high interval GPS coordinates that can be integrated into ground station tracking software. The Iridium Network creates the ability to send activation commands remotely with high reliabilty using emails. Additionally this feature has the ability to use local rf transmiters and recievers to increase the flexibilty of cutdown designs. The Iridium Modems provides significant coverage regardless of altitude and loss of ground communication. It is marketed at econmical price point …

Multiple Camera Control Using An Octaplexer In A 5.8 Ghz Video System, Uciel Garcia Olmedo, Skylar Tamke

2017 Academic High Altitude Conference

One of the greatest challenges with camera systems on High-Altitude Balloons (HAB) is to control the direction that they point. This is because the payload boxes constantly rotate during the flight. While mechanical gambles are normally used, an electronic gambled was designed using multiple cameras and a series of multiplexers. The design consists of 8 version 1 pi cameras, connected through a series of multiplexers and interfacing with an IMU to tell the direction the cameras are facing. This design attaches to the Raspberry Pi through the GPIO pins. The multiplexers turn on the camera facing the orientation desired and …

Ground Station Tracking System, Garret Hilton, Carter Mciver, Steven Hamby, Trevor Gahl, Casey Coffman, David Schwehr

2017 Academic High Altitude Conference

One of the Eclipse Ballooning Project’s main goals was to stream live video of the eclipse to the internet. To accomplish this task a tracking antenna was built to follow the balloon payload. As an added challenge, the task had to be completed on a budget. The “ground station” is the center for communication between the payload and user. This system utilizes GPS position reports from the payload via the iridium network to determine the balloons position. The computer algorithm takes in additional GPS and IMU data from the ground station to determine a relative heading to orientate the antenna …

2017 Eclipse Rfd-900 Still Image System, Tristan Running Crane, Uciel Garcia Olmedo, David Schwehr

2017 Academic High Altitude Conference

As part of the NASA Space Grant 2017 Eclipse Ballooning Project, Montana Space Grant Consortium designed a camera system capable of transmitting still images from a balloon borne payload to a remote ground station via a RFD-900 radio. This payload consists of a Raspberry Pi, a Raspberry Pi camera, custom power supply and a RFD 900MHz radio. This system was designed to record pictures at high and low resolution at altitude. The low resolution images could be selected for downlinking back to the ground via the radio, while the high resolution pictures were saved to the Raspberry Pi memory card. …

University Of Maine High Altitude Ballooning Eclipse Experience, Kent Seneres, Derek Haas, William Bessette, Richard Eason

2017 Academic High Altitude Conference

The University of Maine High Altitude Ballooning (UMHAB) team launched two balloons during the August 21, 2017 total solar eclipse, producing a consistent online video stream of the eclipse to an altitude of 110,000 feet. This paper discusses the key factors that lead to a successful launch and recovery, such as thorough testing procedures, redesign of components, choice of launch site, and a touch of luck. In preparation for the event, the team tested the equipment and code over eleven balloon launches. Airplane based testing and land testing were conducted for the tracking and video stream components. The payloads and …

Grouping Environmental Factors Influencing Individual Decision-Making Behavior In Software Projects: A Cluster Analysis, Luiz Fernando Capretz

Electrical and Computer Engineering Publications

An individual’s decision-making behavior is heavily influenced by and adapted to external environmental factors. Given that software development is a human-centered activity, individual decision-making behavior may affect the software project quality. Although environmental factors affecting decision-making behavior in software projects have been identified in prior literature, there is not yet an objective and a full taxonomy of these factors. Thus, it is not trivial to manage these complex and diverse factors. To address this deficiency, we first design a semantic similarity algorithm between words by utilizing the synonymy and hypernymy relationships in WordNet. Further, we propose a method to measure …

Answering Food Insecurity: Serving The Community With Food And Knowledge Using Technology, Courtney Simpson

Purdue Journal of Service-Learning and International Engagement

The courses of Tech120, CGT110, and ENGT 180/181 and Red Gold at Purdue collaborated to design a robot that would plant and water a garden for a local community charter school. The students centered the project on the users’ needs for fresh food, nutrition education, and early exposure to STEM for children. The school, Anderson Preparatory Academy (APA), is comprised of many children who come from low-income families and are in the free or reduced lunch program. Inspired from “Farm Bot,” a similar system that allows for almost hands-free gardening, the “Boiler Bot” is designed to be scalable so children …

Working On A Start-Up: A Case For An Applied Entrepreneurship Oriented Course For Senior Undergraduates, Cristinel Ababei

Electrical and Computer Engineering Faculty Research and Publications

In this paper, we describe a new teaching approach whose objective is to implement entrepreneurship-based learning. The proposed teaching approach is essentially a project-based approach, but, with two novel key components that give it the entrepreneurship emphasis. First, the main idea is to divide students into groups of four or five members and have each team go through the process of starting-up a company. This process tries to emulate all steps through which entrepreneurs go when a new start-up idea is taken from concept to product realization. These steps include proposing a novel start-up idea, writing a business plan, coming …

An Advanced Three-Level Active Neutral-Point-Clamped Converter With Improved Fault-Tolerant Capabilities, Ramin Katebi, Jiangbiao He, Nathan Weise

Electrical and Computer Engineering Faculty Research and Publications

A resilient fault-tolerant silicon carbide (SiC) three-level power converter topology is introduced based on the traditional active neutral-point-clamped converter. This novel converter topology incorporates a redundant leg to provide fault tolerance during switch open-circuit faults and short-circuit faults. Additionally, the topology is capable of maintaining full output voltage and maximum modulation index in the presence of switch open and short-circuit faults. Moreover, the redundant leg can be employed to share load current with other phase legs to balance thermal stress among semiconductor switches during normal operation. A 25-kW prototype of the novel topology was designed and constructed utilizing 1.2-kV SiC …

Dynamic Energy Management For Chip Multi-Processors Under Performance Constraints, Milad Ghorbani Moghaddam, Cristinel Ababei

Electrical and Computer Engineering Faculty Research and Publications

We introduce a novel algorithm for dynamic energy management (DEM) under performance constraints in chip multi-processors (CMPs). Using the novel concept of delayed instructions count, performance loss estimations are calculated at the end of each control period for each core. In addition, a Kalman filtering based approach is employed to predict workload in the next control period for which voltage-frequency pairs must be selected. This selection is done with a novel dynamic voltage and frequency scaling (DVFS) algorithm whose objective is to reduce energy consumption but without degrading performance beyond the user set threshold. Using our customized Sniper based CMP …

Optimization Of Patch Antennas Via Multithreaded Simulated Annealing Based Design Exploration, James Richie, Cristinel Ababei

Electrical and Computer Engineering Faculty Research and Publications

In this paper, we present a new software framework for the optimization of the design of microstrip patch antennas. The proposed simulation and optimization framework implements a simulated annealing algorithm to perform design space exploration in order to identify the optimal patch antenna design. During each iteration of the optimization loop, we employ the popular MEEP simulation tool to evaluate explored design solutions. To speed up the design space exploration, the software framework is developed to run multiple MEEP simulations concurrently. This is achieved using multithreading to implement a manager-workers execution strategy. The number of worker threads is the same …

Modeling Dormant Fruit Trees For Agricultural Automation, Henry Medeiros, Donghun Kim, Jianxin Sun, Hariharan Seshadri, Shayan A. Akbar, Noha M. Elfiky, Johnny Park

Electrical and Computer Engineering Faculty Research and Publications

Dormant pruning of fruit trees is one of the most costly and labor‐intensive activities in specialty crop production. We present a system that solves the first step in the process of automated pruning: accurately measuring and modeling the fruit trees. Our system employs a laser sensor to collect observations of fruit trees from multiple perspectives, and it uses these observations to measure parameters needed for pruning. A split‐and‐merge clustering algorithm divides the collected data into three sets of points: trunk candidates, junction point candidates, and branches. The trunk candidates and junction point candidates are then further refined by a robust …

Event And Time-Triggered Control Module Layers For Individual Robot Control Architectures Of Unmanned Agricultural Ground Vehicles, Tyler Troyer

Department of Agricultural and Biological Systems Engineering: Dissertations, Theses, and Student Research

Automation in the agriculture sector has increased to an extent where the accompanying methods for unmanned field management are becoming more economically viable. This manifests in the industry’s recent presentation of conceptual cab-less machines that perform all field operations under the high-level task control of a single remote operator. A dramatic change in the overall workflow for field tasks that historically assumed the presence of a human in the immediate vicinity of the work is predicted. This shift in the entire approach to farm machinery work provides producers increased control and productivity over high-level tasks and less distraction from operating …

Development And Grasp Analysis Of A Sensorized Underactuated Finger, Mahyar Abdeetedal, Mehrdad Kermani Ph.D., P.Eng.

Electrical and Computer Engineering Publications

No abstract provided.

Grasp Evaluation Method For Applying Static Loads Leading To Beam Failure, Mahyar Abdeetedal, Mehrdad Kermani Ph.D., P.Eng.

Electrical and Computer Engineering Publications

This paper deals with the problem of purposefully failing or yielding an object by a robotic gripper. We propose a grasp quality measure fabricated for robotic harvesting in which picking a crop from its stem is desired. The proposed metric characterizes a suitable grasp configuration for systematically controlling the failure behavior of an object to break it at the desired location while avoiding damage on other areas. Our approach is based on failure task information and gripper wrench insertion capability. Failure task definition is accomplished using failure theories. Gripper wrench insertion capability is formulated by modeling the friction between the …

A Novel Real-Time Non-Invasive Hemoglobin Level Detection Using Video Images From Smartphone Camera, Golam Mushih Tanimul Ahsan, Md. O. Gani, Md Kamrul Hasan, Sheikh Iqbal Ahamed, William Chu, Mohammad Adibuzzaman, Joshua Field

Electrical and Computer Engineering Faculty Research and Publications

Hemoglobin level detection is necessary for evaluating health condition in the human. In the laboratory setting, it is detected by shining light through a small volume of blood and using a colorimetric electronic particle counting algorithm. This invasive process requires time, blood specimens, laboratory equipment, and facilities. There are also many studies on non-invasive hemoglobin level detection. Existing solutions are expensive and require buying additional devices. In this paper, we present a smartphone-based non-invasive hemoglobin detection method. It uses the video images collected from the fingertip of a person. We hypothesized that there is a significant relation between the fingertip …

Micro-Contacts Testing Using A Micro-Force Sensor Compatible With Biological Systems, Ronald A. Coutu Jr., Dushyant Tomer

Electrical and Computer Engineering Faculty Research and Publications

This paper presents the performance and reliability testing of microelectromechanical systems (MEMS) switches by using a micro-force sensor which was originally designed/used to conduct mechanical testing of biological cells. MEMS switches are key components for radio frequency (RF) applications due to their extremely low power consumption and small geometries over conventional technologies. However, unstable electrical contact resistance severely degrades the performance and reliability of such micro-switches. Therefore, our focus is to improve the performance and reliability of “cold” switched micro-contacts by using novel contact materials and engineered micro-contact surfaces. The contact metallurgies considered in this work are “similar” thin film …

Data Improving In Time Series Using Arx And Ann Models, Hermine Nathalie Akouemo Kengmo Kenfack, Richard J. Povinelli

Electrical and Computer Engineering Faculty Research and Publications

Anomalous data can negatively impact energy forecasting by causing model parameters to be incorrectly estimated. This paper presents two approaches for the detection and imputation of anomalies in time series data. Autoregressive with exogenous inputs (ARX) and artificial neural network (ANN) models are used to extract the characteristics of time series. Anomalies are detected by performing hypothesis testing on the extrema of the residuals, and the anomalous data points are imputed using the ARX and ANN models. Because the anomalies affect the model coefficients, the data cleaning process is performed iteratively. The models are re-learned on “cleaner” data after an …

The Subject Librarian Newsletter, Engineering And Computer Science, Fall 2017, Buenaventura "Ven" Basco

Libraries' Newsletters

No abstract provided.

Forensic State Acquisition From Internet Of Things (Fsaiot): A General Framework And Practical Approach For Iot Forensics Through Iot Device State Acquisition, Christopher S. Meffert, Devon R. Clark, Ibrahim Baggili, Frank Breitinger

Electrical & Computer Engineering and Computer Science Faculty Publications

IoT device forensics is a difficult problem given that manufactured IoT devices are not standardized, many store little to no historical data, and are always connected; making them extremely volatile. The goal of this paper was to address these challenges by presenting a primary account for a general framework and practical approach we term Forensic State Acquisition from Internet of Things (FSAIoT). We argue that by leveraging the acquisition of the state of IoT devices (e.g. if an IoT lock is open or locked), it becomes possible to paint a clear picture of events that have occurred. To this end, …

Parallel Computation Using Mems Oscillator-Based Computing System, Xinrui Wang, Ilias Bilionis, Salar Safarkhani

The Summer Undergraduate Research Fellowship (SURF) Symposium

In recent years, parallel computing systems such as artificial neural networks (ANNs) have been of great interest. In these systems which emulate the behavior of human brains, the processing is carried out simultaneously. However, it is still a challenging engineering problem to design highly efficient hardware for parallel computing systems. We will study the properties of networks of Microelectromechanical System (MEMS) oscillators to explore their capabilities as parallel computing infrastructure. Furthermore, we simulate the time-variant states of MEMS oscillators network under various initial conditions and performance of certain tasks. Recent theoretical results show that networks of MEMS oscillators have some …

Web-Based Interactive Social Media Visual Analytics, Diego Rodríguez-Baquero, Jiawei Zhang, David S. Ebert, Sorin A. Matei

The Summer Undergraduate Research Fellowship (SURF) Symposium

Real-time social media platforms enable quick information broadcasting and response during disasters and emergencies. Analyzing the massive amount of generated data to understand the human behavior requires data collection and acquisition, parsing, filtering, augmentation, processing, and representation. Visual analytics approaches allow decision makers to observe trends and abnormalities, correlate them with other variables and gain invaluable insight into these situations. In this paper, we propose a set of visual analytic tools for analyzing and understanding real-time social media data in times of crisis and emergency situations. First, we model the degree of risk of individuals’ movement based on evacuation zones …

Ethanol Purification Using Activated Natural Zeolite, Chandra Wahyu Purnomo, Nelliza Putri, Indra Perdana, Hirofumi Hinode

Makara Journal of Technology

Bio ethanol is one of the potential fuels in the future. However, ethanol in water mixture has an azeotropic concentration of 95.6 wt. %, which makes it difficult to purify further. The common method of purification is by using an azeotropic distillation column, which requires an intensive energy and an addition of specific solvent. In this study, ethanol purification is done using an adsorption column packed with zeolite Raschig rings. The natural zeolite ring was modified beforehand using the NaOH solution to enhance the material’s water adsorption performance. The ethanol purity can reach more than 99% with the modified zeolite …

Breaking Into The Vault: Privacy, Security And Forensic Analysis Of Android Vault Applications, Xiaolu Zhang, Ibrahim Baggili, Frank Breitinger

Electrical & Computer Engineering and Computer Science Faculty Publications

In this work we share the first account for the forensic analysis, security and privacy of Android vault applications. Vaults are designed to be privacy enhancing as they allow users to hide personal data but may also be misused to hide incriminating files. Our work has already helped law enforcement in the state of Connecticut to reconstruct 66 incriminating images and 18 videos in a single criminal case. We present case studies and results from analyzing 18 Android vault applications (accounting for nearly 220 million downloads from the Google Play store) by reverse engineering them and examining the forensic artifacts …

Spectroscopic Contrast Of Diarylethene Molecules On Octanethiol Monolayer, Arramel Arramel, Tibor Kudernac, Nathalie Katsonis, Bernard Lucas Feringa, Bart Jan Van Wees

Makara Journal of Technology

We present a systematic scanning tunneling microscopy (STM) study of bias-dependent imaging of disulfur diarylethene (2S-DE) molecules on octanethiol (C8) monolayer at room temperature. In a rigid confinement of the C8 matrix, we did not observe any significant variation in the appearance of the 2S-DE. On the contrary, a reversal in the apparent height of the 2S-DE was present when the molecule was situated on a gold vacancy island. We attributed this finding to the presence of a new electronic state that became accessible for a tunneling event. In addition, the C8 surface structure underwent a reversible phase transformation from …

An Efficient Palladium-Thiourea Catalysed Heck Cross-Coupling Reaction For Molecular Electronic Interest, Wan M. Khairul, Mohd Shahrul Shahmi Md Shariff, Rafizah Rahamathullah, Adibah Izzati Daud, Mustaffa Shamsuddin, Siti Kamilah Che Soh

Makara Journal of Technology

The synthesis and utilization of C-C bonds formation are concerned about the key steps for the building of several conducting molecular electronics involving many asymmetric catalysts approached, which is an essential task that most researchers would ignore in preparing these materials to enhance the production yield of cross-coupling materials. Despite the enormous progress, there still remains a great demand for economic and practicable cross-coupling processes involving ultra-low catalyst loadings with high turnover numbers due to the employment of conventional metal catalyst. Thus, there has been an excessive interest to cultivate non-phosphine palladium catalysts for excellent achievement of activity, stability, and …

Urban Drainage Management And Flood Control Improvement Using The Duflow Case Study: Aur Sub Catchment, Palembang, South Sumatra, Indonesia, Charlotte De Fraiture, Robiyanto Hendro Susanto, F.X. Suryadi, Harrini Mutiara Hapsari Wahyu

Makara Journal of Technology

Urban flooding often times staggers the livelihood in an urban area, which most likely happens in the lowland urban area. Therefore, the existing urban drainage system should be improved in order to tackle the upcoming urban flooding events, which are more than likely to be more devastating than those in the previous years. The research location is in Palembang, Sumatra, Indonesia, where 30% of its urban part is a lowland area. The selected Aur Sub Catchment is located in Silaberanti. The main objective of this research is to improve the current drainage system in order to achieve the optimal design …

A Study On Dielectric Properties Of The Cellulose Derivative-Nh4br-Glycerol- Based The Solid Polymer Electrolyte System, Nur Muhitul Jalilah Rasali, Saifful Kamaluddin Muzakir, Ahmad Salihin Samsudin

Makara Journal of Technology

The characterization of biopolymer-based solid polymer electrolytes (SPEs) has been carried out in this present work. Cellulose derivative was chosen due to its superior physical attributes. In this work, NH4Br-doped glycerol plasticized carboxyl methylcellulose-based SPEs were successfully prepared via the solution casting method. The conductivity and dielectric properties of the prepared films were investigated using the impedance analysis which presented ~1.91×10-3 Scm-1 (with addition of 6 wt% of glycerol). In addition, the studied SPE system shows a non-Debye behaviour without a single relaxation time. The findings of the research indicate that the complexes of NH4Br and glycerol in the cellulose …