Physical Sciences and Mathematics Commons^™

Numerical Ocean Modeling And Simulation With Cuda, Jason Mak, Paul Choboter, Chris Lupo

Computer Science and Software Engineering

ROMS is software that models and simulates an ocean region using a finite difference grid and time stepping. ROMS simulations can take from hours to days to complete due to the compute-intensive nature of the software. As a result, the size and resolution of simulations are constrained by the performance limitations of modern computing hardware. To address these issues, the existing ROMS code can be run in parallel with either OpenMP or MPI. In this work, we implement a new parallelization of ROMS on a graphics processing unit (GPU) using CUDA Fortran. We exploit the massive parallelism offered by modern …

On Human Analyst Performance In Assisted Requirements Tracing: Statistical Analysis, A. Dekhtyar, O. Dekhtyar, J. Holden, D. Cuddeback, W. K. Kong

Computer Science and Software Engineering

Assisted requirements tracing is a process in which a human analyst validates candidate traces produced by an automated requirements tracing method or tool. The assisted requirements tracing process splits the difference between the commonly applied time-consuming, tedious, and error-prone manual tracing and the automated requirements tracing procedures that are a focal point of academic studies. In fact, in software assurance scenarios, assisted requirements tracing is the only way in which tracing can be at least partially automated. In this paper, we present the results of an extensive 12 month study of assisted tracing, conducted using three different tracing processes at …

Polysat’S Next Generation Avionics Design, Greg Manyak, John M. Bellardo

Computer Science and Software Engineering

The CubeSat platform provides a unique challenge for flight software design due to the incredible size and power constraints. A number of tradeoffs must be made to balance effectiveness, fault tolerance, and cost. These basic requirements have been combined with the lessons learned from Cal Poly’s past 8-bit avionics system to design a significant revision based around a 32-bit microprocessor running Linux. This work analyzes both generations of avionics design, including a discussion of major design principles that are relevant to other CubeSat missions.

Real-Time Visualizations Of Ocean Data Collected By The Norus Glider In Svalbad, Norway, Daniel Medina, Mark A. Moline, Christopher M. Clark, Zoë J. Wood

Computer Science and Software Engineering

Modern robotics and sensors have expanded the ability to collect science data in underwater settings. Oftentimes, the collected data are deposited into files and databases where they sit in their separate and unique formats. Without easy to use visualization tools, it is difficult to understand and interpret the information within these data sets. NORUS, the North America-Norway educational program, has a scientific focus on how climate-induced changes impact the living resources and ecosystems in the Arctic. In order to obtain the necessary science data, the NORUS program utilizes the Slocum Glider, a form of underwater robot. We present a compelling, …

Coffee_Shop: Investigations Into Modern Word Processors., Nathaniel Welch

Computer Science and Software Engineering

My senior project was spent building a desktop application similar to WriteRoom and OmmWriter. These two applications are both word processors for the Macintosh OS X operating system. Both of these applications are designed to be a reset on word processing software, bringing their interfaces back to the days of Microsoft Word 3.0 and Word Perfect. They do this by spending more time on focusing on the design of the software interface, and focusing on keeping it minimalistic, instead of filling the product with new obscure features, which is a common complaint against the current iterations of Microsoft Word.

The …

Contextual Android Education, J Reed, D. S. Janzen

Computer Science and Software Engineering

Advances in mobile phone hardware and development platforms have drastically increased the demand, interest, and potential of mobile applications. We report on development of a new special topics software engineering course that combines the appeal of Android application development with software engineering topics and entrepreneurial thinking. The primary contribution of this project and the focus of this paper is a series of detailed educational laboratory exercises that are designed to supplement the Android documentation by providing contextual examples, activities, and tutorials. The labs were contributed to the Google Code University under the Creative Commons license, resulting in over 30,000 visits …

Supporting Introductory Test-Driven Labs With Webide, T. Dvornik, D. S. Janzen, J. Clements, O. Dekhtyar

Computer Science and Software Engineering

WebIDE is a new web-based development environment for entry-level programmers with two primary goals: minimize tool barriers to writing computer programs and introduce software engineering best practices early in a student's educational career. Currently, WebIDE focuses on Test-Driven Learning (TDL) by using small iterative examples and introducing lock-step labs, which prevent the student from moving forward until they finish the current step. However, WebIDE does not require that labs follow TDL. Instructors can write their own labs for WebIDE using any software engineering or pedagogical approach. Likewise, instructors can build custom evaluators - written in any language - to support …

Finding Good Paths: Applications Of Least Cost Caloric Path Computations, Zoë J. Wood, Greg Hoffman, Mark Wazny

Computer Science and Software Engineering

As you walk around during your daily life, you commonly make path finding decisions based on the world around you. For example, when you are walking in the outdoors, you take the path of least resistance over a terrain. We present two applications which demonstrate the importance of using the least cost caloric cost path computation in two different domain settings. One application uses the popular Google Earth API to explore the use of least cost caloric path computations to create an interactive path-finding tool. The second tool uses least cost caloric path computations to enhance crowd simulations in the …

Intermediate Representations For Controllers In Chip Generators, Kyle Kelley, Megan Wachs, Andrew Danowitz, Pete Stevenson, Stephen Richardon, Mark Horowitz

Computer Science and Software Engineering

Creating parameterized “chip generators” has been proposed as one way to decrease chip NRE costs. While many approaches are available for creating or generating flexible data path elements, the design of flexible controllers is more problematic. The most common approach is to create a microcoded engine as the controller, which offers flexibility through programmable table-based lookup functions. This paper shows that after “programming” the hardware for the desired application, or applications, these flexible controller designs can be easily converted to efficient fixed (or less programmable) solutions using partial evaluation capabilities that are already present in most synthesis tools.

Semantically-Enhanced Information Extraction, Hisham Assal, John Seng, Franz Kurfess, Emily Schwarz, Kym Pohl

Computer Science and Software Engineering

Information Extraction using Natural Language Processing (NLP) produces entities along with some of the relationships that may exist among them. To be semantically useful, however, such discrete extractions must be put into context through some form of intelligent analysis. This paper1,2 offers a two-part architecture that employs the statistical methods of traditional NLP to extract discrete information elements in a relatively domain-agnostic manner, which are then injected into an inference-enabled environment where they can be semantically analyzed. Within this semantic environment, extractions are woven into the contextual fabric of a user-provided, domain-centric ontology where users together with user-provided logic can …

Amid The Vipers: Establishing Malware's Position Within The Information Ecosystem, Shawn Louis Everett Robertson

Computer Science and Software Engineering

The paper consists of a detailed examination of malware broken down into three main sections.

1. Introduction: Malware in the World Today. Begins with a definition of terms, examination of the types of malware, research into historical pieces of malicious code, a detailed analysis of the attackers, why malware is so prevalent, and why it is so hard to defend against. This section finishes with a comparison of reasons to create and not to create malware.
2. Background: "Good" Pieces of Malware. Examination of what makes malware effective. Analysis of the existing CVSS standard and proposal of the alternative VIPERS classification system. …

Efficient Access To Non-Sequential Elements Of A Search Tree, Lubomir Stanchev

Computer Science and Software Engineering

This article describes how a search tree can be extended in order to allow efficient access to predefined subsets of the stored elements. This is achieved by marking some of the elements of the search tree with marker bits. We show that our approach does not affect the asymptotic logarithmic complexity for existing operations. At the same time, it is beneficial because the modified search tree can now efficiently support requests on predefined subsets of the search elements that it previously could not.

Efficient Access To Non-Sequential Elements Of A Search Tree, Lubomir Stanchev

Computer Science and Software Engineering

This article describes how a search tree can be extended in order to allow efficient access to predefined subsets of the stored elements. This is achieved by marking some of the elements of the search tree with marker bits. We show that our approach does not affect the asymptotic logarithmic complexity for existing operations. At the same time, it is beneficial because the modified search tree can now efficiently support requests on predefined subsets of the search elements that it previously could not.

Spatial Interactions Between Humans And Assistive Agents, Franz J. Kurfess, Greg Flanagan, Mehul Bhatt

Computer Science and Software Engineering

While computers assist humans with tasks such as navigation that involve spatial aspects, agents that can interact in a meaningful way in this context are still in their infancy. One core issue is the mismatch in the representation of spatial information a computer-based system is likely to use, and the one a human is likely to use. Computers are better suited for quantitative schemes such as maps or diagrams that rely on measurable distances between entities. Humans frequently use higher-level, domain-specific conceptual representations such as buildings, rooms, or streets for orientation purposes. Combined with the person-centric world view that we …

Surface Reconstruction Of Maltese Cisterns Using Rov Sonar Data For Archeological Study, C. Forney, J. Forrester, B. Bagley, W. Mcvicker, J. White, T. Smith, J. Batryn, A. Gonzalez, J. Lehr, T. Gambin, C. M. Clark, Zoë J. Wood

Computer Science and Software Engineering

We present a methodology and algorithm for the reconstruction of three dimensional geometric models of ancient Maltese water storage systems, i.e. cisterns, from sonar data. This project was conducted as a part of a four week expedition on the islands of Malta and Gozo. During this expedition, investigators used underwater robot systems capable of mapping ancient underwater cisterns and tunnels. The mapping included probabilistic algorithms for constructing the maps of the sonar data and computer graphics for surface reconstruction and visualization. This paper presents the general methodology for the data acquisition and the novel application of algorithms from computer graphics …

An Approach To Point Based Approximate Color Bleeding With Volumes, Christopher J. Gibson, Zoë J. Wood

Computer Science and Software Engineering

Achieving realistic or believable global illumination in scenes with participating media is expensive. Light interacts with the particles of a volume, creating complex radiance patterns. This paper introduces an explicit extension to the commonly used point-based color bleeding technique which allows fast, believable in- and out-scattering effects building on existing data structures and paradigms. The proposed method achieves results comparable to that of existing Monte Carlo integration methods, that is realistic looking renders of scenes which include volume data elements, obtaining render speeds between 10 and 36 times faster while keeping memory overhead under 5%.