Computer Engineering Commons^™

Non Interference For Intuitionist Necessity, Radha Jagadeesan, Corin Pitcher, James Riely

Technical Reports

The necessity modality of intuitionist S4 is a comonad. In this paper, we study indexed necessity modalities that provide the logical foundation for a variety of applications; for example, to model possession of capabilities in policy languages for access control, and to track exceptions in type theories for exceptional computation.

Noninterference properties of the intuitionist logic of indexed necessity modalities capture the limitations on the information flow between formulas that are under the scope of necessity modalities with different indices. The impact of noninterference is seen in the unprovability of certain formulas. Noninterference is necessary for several applications. In models …

The Micro Check-In Framework For The Next Generation Of Location-Based Applications, Shraddha Kacha

Master's Theses

Today's mobile computing platforms provide new, convenient possibilities for location-based commercial activity. In particular, the global positioning system (GPS) provides location data for local advertising and retail activity. In this thesis, we take the next step and introduce the concept of micro check-in. Micro check-in is a simple framework that allows users to match their current location to specific objects or places at a resolution much finer than that allowed by GPS based check-in. We show that micro check-in enables customers to reveal their location at a fine level of granularity. By describing the concepts of points of service, service …

Mac's Fiesta: A Foreign Language Game For The Sifteo Platform, Karina Cordon

Computer Engineering

Mac’s Fiesta is a Spanish learning game designed on the Sifteo gaming platform for children ages four and up. The Sifteo gaming platform provides a new way of interacting with computers by giving users a set of tangible and interactive cubes. Each Sifteo cube has a clickable colored screen and can sense motion and adjacent blocks. Games on this platform are designed to encourage the development of core thinking skills. This project aims to explore how Sifteo cubes can be used for language learning as well as observe how effective they are as educational tools.

Cpe Senior Project Final Report: Roborodentia 2012 - Team Street Sweeper, Jason Miller, David Pascale

Computer Engineering

The Street Sweeper was a multi-disciplinary, autonomous robotics project constructed to compete in Cal Poly's Roborodentia XVII in 2012. The goal of the competition was to collect painted cat food cans in the team's goal area, with bonus points for stacking the cans. Street Sweeper was very much a budget robot, but due to good planning and strategy, managed to place 2nd in the competition.

Riley The Cat, Nicholas Zankich

Computer Engineering

There are many toys that exist that are comfort objects. Generally these are toys that are soft such as blankets, stuffed animals, and pillows. Robotic toys also exist such as games, interactive books, and instruments. There exists a crossover market that includes Furbys, Tomagachi pets, and Fur Real Friends. While being very popular, I believe that this crossover isn’t perfect, and that there is a lot of room for improvement. Riley (Figure 1) was created to make something that is both completely a robot and a comfort object.

Polygrasp: Reach; Myoelectric Prosthetic Hand Iteration, Devon Patrick Augustus, Mighells Blaed Deuel, Ian Noel Fraser, Nicholas Philip Moesser

Mechanical Engineering

Amputations are a common occurrence in soldiers returning home who have suffered the effects of IED and munitions explosions. For upper limb amputees, trans-radial amputations are the most common. Traditional hook devices do not offer an adequate level of normalcy for users, prompting the use of myoelectric devices. While current myoelectric devices do offer a more natural experience, they come with a host of other problems that makes their adoption by service personnel not desirable or not permitted by the VA. PolyGrasp Reach seeks to reduce weight and cost and improve performance. This addresses several of the issues with devices …

Iphone Breathalyzer: Point Oh Wait!, Gurpal Bhoot

Electrical Engineering

This final year project combines hardware and software components to create an alcohol breathalyzer that is compatible with the iPhone. The final design of the circuit and the iPhone application is original and combines multiple components to create the final product. Most of those components are seen in a simplified version of a breathalyzer, while the added components take care of the interface to the iPhone.

Frg Turbojet, Tyler Vitti

Computer Engineering

Members of the Cal Poly SLO campus club FRG work together with students of several different disciplines to build a functional turbojet engine. Engineering approaches include design, fabrication, testing, and computer sensing, control, and integration. The goal of the project is to produce a running turbojet engine monitored and controlled by embedded hardware and specialized PC software. This project is to be used by later groups for further research and development.

Patterns For Success: Women In Technology: Analyzing Top Technical Women For Repeated Mindsets, Life Experiences, And Career Navigation, Julie L. Gill

Honors College Theses

The purpose of this thesis is to discuss and discover why some women are so successful in the computing fields when public opinion continues to hold that computing is not a women’s field because there are so few women in computing. The roots for this shortage begin in theAmerican educational system, “Nationwide only about 20 percent of the bachelor's degrees incomputer science go to women,” according to a November 11, 2011 NPR story titled “Addressing the Shortage of Women in Silicon Valley”. This shortage is well noted and heavily researched, Plausible solutions have been proposed and it is critically important …

Robotron, Fabian Rodriguez, Oscar Daniel Muneton, Adelaido Jimenez

Computer Engineering

Roborodentia 2012 is a competition where students and alumni could build an autonomous robot to perform a certain task for points. This report is about Robotron, the 3rd place winner of this competition, and how it came to be.

California Polytechnic State University Senior Project Winter-Spring 2012, Roborodentia Xvii, Stack-E, Alejandro Ignacio, Austin Hobbs

Computer Engineering

The main goal for our project is to design and build a functional autonomous robot that is capable of navigating an open arena while avoiding obstacles, as well as identify other objects or cans on the field. It must also be capable of stacking and containing these cans. Deliverables will include the fully assembled robot chassis containing the essential hardware components needed to accomplish the navigation and movement, as well as capabilities like identification of objects and stacking of cans. Alongside the hardware, there will also be software developed to showcase these capabilities of the robot design, including the vision …

Ifalcon: A Neural Architecture For Hierarchical Planning, Budhitama Subagdja, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Hierarchical planning is an approach of planning by composing and executing hierarchically arranged predefined plans on the fly to solve some problems. This approach commonly relies on a domain expert providing all semantic and structural knowledge. One challenge is how the system deals with incomplete ill-defined knowledge while the solution can be achieved on the fly. Most symbolic-based hierarchical planners have been devised to allow the knowledge to be described expressively. However, in some cases, it is still difficult to produce the appropriate knowledge due to the complexity of the problem domain especially if the missing knowledge must be acquired …

Energy-Efficient Continuous Activity Recognition On Mobile Phones: An Activity-Adaptive Approach, Zhixian Yan, Vigneshwaran Subbaraju, Dipanjan Chakraborty, Archan Misra, Karl Aberer

Research Collection School Of Computing and Information Systems

Power consumption on mobile phones is a painful obstacle towards adoption of continuous sensing driven applications, e.g., continuously inferring individual’s locomotive activities (such as ‘sit’, ‘stand’ or ‘walk’) using the embedded accelerometer sensor. To reduce the energy overhead of such continuous activity sensing, we first investigate how the choice of accelerometer sampling frequency & classification features affects, separately for each activity, the “energy overhead” vs. “classification accuracy” tradeoff. We find that such tradeoff is activity specific. Based on this finding, we introduce an activity-sensitive strategy (dubbed “A3R” – Adaptive Accelerometer-based Activity Recognition) for continuous activity recognition, where the choice of …

Real World Computer Forensics, Jessica Riccio

Liberal Arts and Engineering Studies

No abstract provided.

Improvement Of Statistical Process Control At St. Jude Medical's Cardiac Manufacturing Facility, Christopher Lance Edwards

Master's Theses

Sig sigma is a methodology where companies strive to reproduce results ending up having a 99.9996% chance their product will be void of defects. In order for companies to reach six sigma, statistical process control (SPC) needs to be introduced. SPC has many different tools associated with it, control charts being one of them. Control charts play a vital role in managing how a process is behaving. Control charts allow users to identify special causes, or shifts, and can therefore change the process to keep producing good products, free of defects.

There are many factories and manufacturing facilities having implemented …

Lottery Scheduling In The Linux Kernel: A Closer Look, David Zepp

Master's Theses

This paper presents an implementation of a lottery scheduler, presented from design through debugging to performance testing. Desirable characteristics of a general purpose scheduler include low overhead, good overall system performance for a variety of process types, and fair scheduling behavior. Testing is performed, along with an analysis of the results measuring the lottery scheduler against these characteristics. Lottery scheduling is found to provide better than average control over the relative execution rates of processes. The results show that lottery scheduling functions as a good mechanism for sharing the CPU fairly between users that are competing for the resource. While …

Cuda Web Api Remote Execution Of Cuda Kernels Using Web Services, Massimo J. Becker

Master's Theses

Massively parallel programming is an increasingly growing field with the recent introduction of general purpose GPU computing. Modern graphics processors from NVIDIA and AMD have massively parallel architectures that can be used for such applications as 3D rendering, financial analysis, physics simulations, and biomedical analysis. These massively parallel systems are exposed to programmers through in- terfaces such as NVIDIAs CUDA, OpenCL, and Microsofts C++ AMP. These frame- works expose functionality using primarily either C or C++. In order to use these massively parallel frameworks, programs being implemented must be run on machines equipped with massively parallel hardware. These requirements limit …

Detecting Netflix Service Outages Through Analysis Of Twitter Posts, Cailin Cushing

Master's Theses

Every week there are over a billion new posts to Twitter services and many of those messages contain feedback to companies about their services. One company that has recognized this unused source of information is Netflix. That is why Netflix initiated the development of a system that will let them respond to the millions of Twitter and Netflix users that are acting as sensors and reporting all types of user visible outages. This system will enhance the feedback loop between Netflix and its customers by increasing the amount of customer feedback that is being received by Netflix and reducing the …

Wireless Medical Sensor Networks: Design Requirements And Enabling Technologies, Cecilia H. Vallejos De Schatz, Henry P. Medeiros, Fabio K. Schneider, Paulo J. Abatti

Electrical and Computer Engineering Faculty Research and Publications

This article analyzes wireless communication protocols that could be used in healthcare environments (e.g., hospitals and small clinics) to transfer real-time medical information obtained from noninvasive sensors. For this purpose the features of the three currently most widely used protocols—namely, Bluetooth^® (IEEE 802.15.1), ZigBee (IEEE 802.15.4), and Wi-Fi (IEEE 802.11)—are evaluated and compared. The important features under consideration include data bandwidth, frequency band, maximum transmission distance, encryption and authentication methods, power consumption, and current applications. In addition, an overview of network requirements with respect to medical sensor features, patient safety and patient data privacy, quality of service, and interoperability …

Using Inductance As A Tuning Parameter For Rf Meta-Atoms, Derrick Langley, Ronald A. Coutu Jr., Peter J. Collins

Electrical and Computer Engineering Faculty Research and Publications

The resonant frequency of metamaterials structured with split ring resonator (SRR) meta-atoms is determined primarily through the capacitance and inductance of the individual meta-atoms. Two designs that vary inductance incrementally were modeled, simulated, fabricated, and tested to investigate the role inductance plays in metamaterial designs. The designs consisted of strategically adding sections to the SRR to increase the inductance, but in a manner that minimized capacitance variations. Each design showed a shift in resonant frequency that was proportional to the length of the added section. As the length of each section was increased, the resonant frequency shifted from 2.78 GHz …

Fault-Tolerant Operation Of Delta-Connected Scalar- And Vector-Controlled Ac Motor Drives, Ahmed Mohamed Sayed Ahmed, Nabeel Demerdash

Electrical and Computer Engineering Faculty Research and Publications

Operation and analysis of delta-connected ac motor-drive systems under fault-tolerant open-phase mode of operation is introduced in this paper for both scalar- and vector-controlled motor-drive systems. This technique enables the operation of the three-phase motor upon a failure in one of its phases without the need of a special fault-detection algorithm. It is mainly used to significantly mitigate torque pulsations, which are caused by an open-delta configuration in the stator windings. The performance of the fault-tolerant system was verified using a detailed time stepping finite element simulation as well experimental tests for a 5-hp 460-V induction motor-drive system and the …

Modeling And Parametric Design Of Permanent-Magnet Ac Machines Using Computationally Efficient Finite-Element Analysis, Gennadi Y. Sizov, Dan M. Ionel, Nabeel Demerdash

Electrical and Computer Engineering Faculty Research and Publications

Computationally efficient finite-element analysis (FEA) (CE-FEA) fully exploits the symmetries of electric and magnetic circuits of sine-wave current-regulated synchronous machines and yields substantial savings of computational efforts. Motor performance is evaluated through Fourier analysis and a minimum number of magnetostatic solutions. The major steady-state performance indices (average torque, ripple and cogging torque, back-electromotive-force waveforms, and core losses) are satisfactorily estimated as compared with the results of detailed time-stepping (transient) FEA. In this paper, the CE-FEA method is presented and applied to a parametric design study for an interior-permanent-magnet machine. Significant reduction of simulation times is achieved (approximately two orders of …

A Discriminative Imaging-Based Framework For Road Sign Condition Assessment Using Local Features And Svm Classifiers, Jafar Jameel Abukhait

Dissertations

Transportation departments are required to monitor the condition of road signs through appropriate condition assessment mechanisms to improve road safety and keep drivers properly informed. Typically, these mechanisms include visual inspection or specialized equipment such as retroreflectometers. These methods are costly, tedious, and risky since they need direct contact with road signs. Efforts to use emerging computer vision techniques for the assessment of road signs condition combined with the availability of road data inventories are allowing the automation of these processes, thus easing the inspection process, reducing costs of equipment, and decreasing the risks associated with the need for maintenance …

Digital Evidence Education In Schools Of Law, Aaron Alva, Barbara Endicott-Popovsky

Annual ADFSL Conference on Digital Forensics, Security and Law

An examination of State of Connecticut v. Julie Amero provides insight into how a general lack of understanding of digital evidence can cause an innocent defendant to be wrongfully convicted. By contrast, the 101-page opinion in Lorraine v. Markel American Insurance Co. provides legal precedence and a detailed consideration for the admission of digital evidence. An analysis of both cases leads the authors to recommend additions to Law School curricula designed to raise the awareness of the legal community to ensure such travesties of justice, as in the Amero case, don’t occur in the future. Work underway at the University …

A Case Study Of The Challenges Of Cyber Forensics Analysis Of Digital Evidence In A Child Pornography Trial, Richard Boddington

Annual ADFSL Conference on Digital Forensics, Security and Law

Perfunctory case analysis, lack of evidence validation, and an inability or unwillingness to present understandable analysis reports adversely affect the outcome course of legal trials reliant on digital evidence. These issues have serious consequences for defendants facing heavy penalties or imprisonment yet expect their defence counsel to have clear understanding of the evidence. Poorly reasoned, validated and presented digital evidence can result in conviction of the innocent as well as acquittal of the guilty. A possession of child pornography Case Study highlights the issues that appear to plague case analysis and presentation of digital evidence relied on in these odious …

After Five Years Of E-Discovery Missteps: Sanctions Or Safe Harbor?, Milton Luoma, Vicki Luoma

Annual ADFSL Conference on Digital Forensics, Security and Law

In 2003 the Zubulake case became the catalyst of change in the world of e-discovery. In that case Judge Shira Scheindlin of the United States District Court for the Southern District of New York set guidelines for e-discovery that served as the basis for amending the Federal Rules of Civil Procedure (FRCP) in December 2006. The amendments incorporated a number of concepts that were described by Judge Scheindlin in the Zubulake case. ( Zubulake v. UBS Warburg LLC, 2003) Since the Zubulake case and the FRCP amendments, numerous cases have interpreted these rules changes, but one of the main points …

Multi-Parameter Sensitivity Analysis Of A Bayesian Network From A Digital Forensic Investigation, Richard E. Overill, Echo P. Zhang, Kam-Pui Chow

Annual ADFSL Conference on Digital Forensics, Security and Law

A multi-parameter sensitivity analysis of a Bayesian network (BN) used in the digital forensic investigation of the Yahoo! email case has been performed using the principle of ‘steepest gradient’ in the parameter space of the conditional probabilities. This procedure delivers a more reliable result for the dependence of the posterior probability of the BN on the values used to populate the conditional probability tables (CPTs) of the BN. As such, this work extends our previous studies using singleparameter sensitivity analyses of BNs, with the overall aim of more deeply understanding the indicative use of BNs within the digital forensic and …

Facilitating Forensics In The Mobile Millennium Through Proactive Enterprise Security, Andrew R. Scholnick

Annual ADFSL Conference on Digital Forensics, Security and Law

This work explores the impact of the emerging mobile communication device paradigm on the security-conscious enterprise, with regard to providing insights for proactive Information Assurance and facilitation of eventual Forensic analysis. Attention is given to technology evolution in the areas of best practices, attack vectors, software and hardware performance, access and activity monitoring, and architectural models.

Keywords: Forensics, enterprise security, mobile communication, best practices, attack vectors.

Vector Coprocessor Sharing Techniques For Multicores: Performance And Energy Gains, Spiridon Florin Beldianu

Dissertations

Vector Processors (VPs) created the breakthroughs needed for the emergence of computational science many years ago. All commercial computing architectures on the market today contain some form of vector or SIMD processing.

Many high-performance and embedded applications, often dealing with streams of data, cannot efficiently utilize dedicated vector processors for various reasons: limited percentage of sustained vector code due to substantial flow control; inherent small parallelism or the frequent involvement of operating system tasks; varying vector length across applications or within a single application; data dependencies within short sequences of instructions, a problem further exacerbated without loop unrolling or other …

Energy-Efficient Multi-Criteria Packet Forwarding In Multi-Hop Wireless Networks, Komlan Egoh

Dissertations

Reliable multi-hop packet forwarding is an important requirement for the implementation of realistic large-scale wireless ad-hoc networks. However, packet forwarding methods based on a single criterion, such as the traditional greedy geographic forwarding, are not sufficient in most realistic wireless settings because perfect-reception-within-rangecannot be assumed. Furthermore, methods where the selection of intermediate relaying nodes is performed at the transmitter-side do not adapt well to rapidly changing network environments. Although a few link-aware geographic forwarding schemes have been reported in the literature, the tradeoffs between multiple decision criteria and their impact on network metrics such as throughput, delay and energy …