Equivalence Checking For High-Assurance Behavioral Synthesis,
2013
Portland State University
Equivalence Checking For High-Assurance Behavioral Synthesis, Kecheng Hao
Dissertations and Theses
The rapidly increasing complexities of hardware designs are forcing design methodologies and tools to move to the Electronic System Level (ESL), a higher abstraction level with better productivity than the state-of-the-art Register Transfer Level (RTL). Behavioral synthesis, which automatically synthesizes ESL behavioral specifications to RTL implementations, plays a central role in this transition. However, since behavioral synthesis is a complex and error-prone translation process, the lack of designers' confidence in its correctness becomes a major barrier to its wide adoption. Therefore, techniques for establishing equivalence between an ESL specification and its synthesized RTL implementation are critical to bring behavioral synthesis …
The Blue Plug : A Power Consumption Regulation System,
2013
Santa Clara University
The Blue Plug : A Power Consumption Regulation System, Loquen Jones, Sahil Verma
Computer Science and Engineering Senior Theses
Our goal is to develop a system that reduces peak grid loads by 60%, which saves consumers and businesses money as well as protecting the environment by eliminating the use of fast start up generators. We accomplish this by implementing Arduinos --which are versatile microcontrollers-- equipped with networking technology that allows communication between houses in a neighborhood. Through this communication, we can schedule when appliances are used to avoid everyone using their appliances at the same time and we can eliminate the need for such exorbitant energy usage during peak hours. Our work implements ongoing research that is looking into …
Eventify : An Android-Based Planning Application,
2013
Santa Clara University
Eventify : An Android-Based Planning Application, Bryson Lam, Jeff Matsunaga, Matt Tu
Computer Science and Engineering Senior Theses
One of the common problems with social networking is the ability to plan out an event. Many applications available today simply provide for a broad or narrow audience of invitees. These tools also have the additional problem of being flooded with spam, and content with little interest to its users. To remedy this issue, we devised a new tool, Eventify. Eventify is an Android based application that potentially will make creating events and bringing groups of people together more feasible. We built this application with two main design constraints in mind: The application runs solely via text messaging, without a …
Muve : A Web Tool To Digitize Books,
2013
Santa Clara University
Muve : A Web Tool To Digitize Books, Elysia Chu, Victoria Hall, Maya Hough, Urvashi Urvashi
Computer Science and Engineering Senior Theses
Many Santa Clara University students have the luxury of having access to devices such as iPads and eBook readers which support many applications that make our lives easier. The numerous ways to read digital books today has significantly lowered the cost of gaining access to educational material. However, in rural developing communities in countries like India, this is not the case. Currently in India, people in some developing communities have basic mobile phones called feature phones which can perform basic functionalities such as texting, calling, and browsing the web. Feature phones are affordable and very popular in developing communities. There …
Mylife,
2013
Santa Clara University
Mylife, Lauren Furumoto, Will Truettner
Computer Science and Engineering Senior Theses
As we continue to utilize the web to manage organizations and institutions such as Santa Clara University Law School, we are challenged with the problem of keeping all of the different services in concise, cohesive interfaces. myLife attempts to consolidate currently scattered services relevant to SCU Law students and faculty into one dashboard for easy access and utilization. myLife requires only one set of credentials and displays the relevant mail, news, events, and course information for a given user on one userfriendly page.
Smartpark,
2013
California Polytechnic State University - San Luis Obispo
Tmc Simulator,
2013
California Polytechnic State University, San Luis Obispo
Tmc Simulator, Stuart Heater
Computer Science and Software Engineering
The goal of this project was to design and implement a graphical user interface which simulates TriTech's VisiCad Inform computer- aided dispatch well enough for trainees to learn how to efficiently and accurately use the software in a risk-free environment. The simulator should also allow the training proctor to actively create new incidents during training in order to ensure that the trainees are able to respond properly. The structure of this project allowed me to work with both more- and less-experienced programmers, particularly those who are far more experienced with networking and hardware than myself. It was my first time …
Insight - A Virtual Reality,
2013
California Polytechnic State University - San Luis Obispo
Insight - A Virtual Reality, Svyatoslav Markeyev, Brian Spence
Computer Engineering
This is a project about extending the capabilities of current consumer virtual reality systems. The goal of the project was to extend the capabilities of the Oculus Rift Headset in order to create a system which would allow a user to explore a virtual environment in an immersive way just as they would explore reality. The system created would allow a user to explore a virtual environment by walking around in a familiar immersive manner. This was accomplished using the Unreal Development Kit, a state of the art GPS system, and industry proven IMU. The user’s movements are tracked as …
Dynamic Paint For Maya: Creation And Use In The Animation Short "Color Clash",
2013
California Polytechnic State University - San Luis Obispo
Dynamic Paint For Maya: Creation And Use In The Animation Short "Color Clash", Christopher Wallis
Computer Science and Software Engineering
This write-up describes the creation and utilization of a paint effect from both the perspective of the programmer and the animator. The paint effect simulates a 2D fluid using the algorithm described in Jos Stam's ``Real-time Fluid Dynamics for Games'' \cite{stam}, bakes the results into an image sequence, and then wraps the sequence around a 3D mesh. The second half of this paper describes how the effect was integrated into the animation short, ``Color Clash'' and the animation pipeline that was used.
Hid Rw300/Rw400 Hardware Implementation Vulnerabilities And Mitigation Strategies,
2013
California Polytechnic State University - San Luis Obispo
Hid Rw300/Rw400 Hardware Implementation Vulnerabilities And Mitigation Strategies, Taylor Nelson
Computer Science and Software Engineering
The HID RW300/RW400 readers are in use and deployed in buildings around the world. Designed for industrial/commercial facilities security requirements you can find them outside biotech companies (AMGEN), educational institutions (Cal Poly San Luis Obispo), and doctors offices. In a 2010 paper entitled “Heart of Darkness - exploring the uncharted backwaters of HID iCLASSTM security” by Milosch Meriac numerous vulnerabilities were outlined. Despite this research HID continues to sell these readers to consumers.
To properly protect the safety of individuals and assets these HID devices are no longer adequate. I have verified that these attacks are feasible by a moderately …
Ticketcloud,
2013
California Polytechnic State University - San Luis Obispo
Ticketcloud, Ross Mckelvie
Computer Science and Software Engineering
TicketCloud is a digital ticket service that offers advantages to both event hosts/vendors and consumers. Using QR Codes, RESTful cloud APIs, and mobile devices TicketCloud takes an outdated market digital and opens up new methods of transacting, allowing customers to resell tickets from their couch and for vendors to reap the benefits of these transactions.
Buddy: A Breathalyzer For Iphone,
2013
California Polytechnic State University - San Luis Obispo
Buddy: A Breathalyzer For Iphone, Douglas Blaalid, Brandon Bevans
Electrical Engineering
Buddy is a Breathalyzer for the iPhone designed to be more a product than a project. Through proprietary hardware and a custom iOS application, Buddy provides users with a previously untapped link from the alcohol in their body to the display on their phones. Buddy uses an alcohol sensor connected to an Arduino Uno to accurately detect the BAC of the user’s breath. The BAC is then transmitted to an iPhone via the headphone jack where it is displayed and logged in a captivating app. The finished prototype successfully measured the approximate BAC of intoxicated users. The product website has …
High Voltage Waveform Sensor,
2013
California Polytechnic State University - San Luis Obispo
High Voltage Waveform Sensor, Nathan Stump
Computer Engineering
The purpose of this project was to build a system to measure the voltage waveform of a discharging railgun. Another group of students had built a railgun system to simulate micro asteroid impacts in low Earth orbit. The only instrumentation available to them was an analog voltmeter attached to the capacitor banks. During the lengthy (30 to 45 minute) charging process, an analog voltmeter was more than capable of measuring the voltage. However, during the discharging process the time elapsed was so short (approximately one millisecond) that waveform data could not be captured. In order to measure power dissipation during …
Inform 7 Usability Precompiler,
2013
California Polytechnic State University – San Luis Obispo
Inform 7 Usability Precompiler, Chad Robert Brantley, Timothy Phan
Computer Engineering
Inform 7 Usability Precompiler or I7UP is a project which helps Inform 7 authors with their stories by diversifying the possibilities in the author’s interactive fiction. I7UP reads and analyzes the Inform story that is passed in through python and natural language processing then provides the user with a selection of choices to add to his story and lastly automatically generates the corresponding Inform 7 code. By utilizing the combination of Python, Django, and HTML/CSS, I7UP is able to provide an easytouse interface which helps generate additional "Understand" statements and "Conjugated Verb" statements. I7UP is an authoring aid for Inform …
Automatic Text Analysis Using Drupal,
2013
California Polytechnic State University - San Luis Obispo
Automatic Text Analysis Using Drupal, Herman Chai
Computer Engineering
Natural language processing (NLP) is a field of computer science that is concerned with the interpretation of human language by computers. NLP has a multitude of different applications in the fields of computer science, artificial intelligence, and linguistics. The Automatic Text Analysis Using Drupal project is intended to increase the availability of NLP tools that can be easily used by the general public. By integrating a front-end content management system like Drupal with different back-end NLP applications, users can receive automatic analysis of their text without knowledge of the system.
Real Time Rendering Engine,
2013
California Polytechnic State University - San Luis Obispo
Real Time Rendering Engine, Kevin Ubay-Ubay
Computer Engineering
Entertaining and playable content in computer graphics requires real time rendering. Real time rendering essentially demands that frames need to be rendered within milliseconds in order to deliver an interactive experience for the client. Video games are an example of such a medium that needs real time rendering. Without frame rates in the realm of real time, video games cannot deliver an enjoyable experience. Behind virtually every video game is an engine. The architecture of video game engines usually comprises of sub engines that are specifically designed to handle physics, audio, user input and rendering. The purpose of this project …
Set-Top Box Simulator,
2013
California Polytechnic State University - San Luis Obispo
Set-Top Box Simulator, Philip Tyler
Computer Engineering
This report presents a python-based Set-top box simulation program utilizing a Simulation library called SimPy (See Appendix 1) to simulate real-time operation of a Set-top Box, or DVR. A graphical user interface, designed with PyQt4, allows a user to customize many simulation parameters such as hard drive speeds, buffer sizes, length of simulation, etc. The GUI also shows the user any errors that occur during the simulation such as buffer overflows/underflows. The results of this simulator lie within 85%-95% accuracy depending on the user-input parameters. With this simulation program, a Set-top box hardware or firmware developer can interchange the scheduling …
Human Powered Vehicle Bike Computer,
2013
California Polytechnic State University - San Luis Obispo
Human Powered Vehicle Bike Computer, Eric Yaklin, Bradley Shellnut
Computer Engineering
This project is a bike computer system built for Cal Poly’s Human Powered Vehicle Team. It was designed and built using Arduino and Android programming tools. The project consists of an Arduino Uno used to collect bike data (such as speed, temperature and GPS location) and an Android Application used to display this data in real time and save it to user profiles within the application. Although many bike computers already exist, this project was specifically designed to be used in a team racing environment rather than for individual use.
Programming Tools For Artificial Intelligence Classes,
2013
California Polytechnic State University - San Luis Obispo
Programming Tools For Artificial Intelligence Classes, Christopher Mckee
Computer Engineering
This project was begun in Winter of 2013 at California Polytechnic State University by myself, Christopher McKee, and was advised by Foaad Khosmood. The main goal of this project was to create an alternative to a current program that was being used in the Artificial Intelligence course on campus. The previous program used Java to create a Graphical User Interface (GUI) for students to use when learning how to create the various intelligent agents. In the versions created within the scope of this project, one of the environments used Java as the programming language, while the other two environments leveraged …
Channels: Easy Video Content Consumption,
2013
California Polytechnic State University - San Luis Obispo
Channels: Easy Video Content Consumption, Alexander R. Ledwith
Computer Engineering
The idea for this project is to take a user’s digital movie and television show library, and organize the individual videos into lists that will continuously and concurrently play like cable TV channels. This means that when a list of channels is switched to, video content will automatically start playing, possibly in the middle, based on a schedule. It should serve the needs of the user by allowing the user to quickly watch any of their existing channels, easily add a new channel based on chosen criteria or manual selection, and easily add new video content. In addition, the product …
