Digital Commons Network^™

Functional Reactive Musical Performers, Justin M. Phillips

Master's Theses

Computers have been assisting in recording, sound synthesis and other fields of music production for quite some time. The actual performance of music continues to be an area in which human players are chosen over computer performers. Musical performance is an area in which personalization is more important than consistency. Human players play with each other, reacting to phrases and ideas created by the players that they are playing with. Computer performers lack the ability to react to the changes in the performance that humans perceive naturally, giving the human players an advantage over the computer performers.

This thesis creates …

Terrain Impostors, William Hamilton Hess

Master's Theses

Interactive software applications which need to render large terrain meshes can suffer from slow frame rates if the geometry of the terrain is sufficiently dense. However, the viewing angle to many distant features of the terrain does not change rapidly with respect to time. If the movement of the viewing position is limited to continuous motion and restrained to a known speed, many terrain features may be rendered once in high detail and reused for several frames.

This thesis proposes a method to increase the rendering speed of large complex terrains by splitting the terrain into contiguous chunks. If a …

Multi-Robot Boundary Tracking With Phase And Workload Balancing, Michael Boardman, Jeremy Edmonds, Kyle Francis, Christopher M. Clark

Computer Science and Software Engineering

This paper discusses the use of a cooperative multiple robot system as applied to distributed tracking and sampling of a boundary edge. Within this system the boundary edge is partitioned into subsegments, each allocated to a particular robot such that workload is balanced across the robots. Also, to minimize the time between sampling local areas of the boundary edge, it may be desirable to minimize the difference between each robots progression (i.e. phase) along its allocated sub segment of the edge. The paper introduces a new distributed controller that handles both workload and phase balancing. Simulation results are used to …

Saving Space And Time Using Index Merging, Lubomir Stanchev, Grant Weddell

Computer Science and Software Engineering

Managing digital information is an integral part of our society. Efficient access to data is supported through the use of indices. Although indices can reduce the cost of answering queries, they have two significant drawbacks: they take additional storage space and their maintenance can become a bottleneck. We address these challenges by introducing search data structures that reduce the need for storing redundant data among indices. Our experimental results with the main-memory version of these data structures show that our approach can reduce by half the storage space and can improve performance, where the highest performance improvement is achieved for …

Automated Requirements Traceability: The Study Of Human Analysts, David Cuddeback, Alex Dekhtyar, Jane Huffman Hayes

Computer Science and Software Engineering

The requirements traceability matrix (RTM) supports many software engineering and software verification and validation (V&V) activities such as change impact analysis, reverse engineering, reuse, and regression testing. The generation of RTMs is tedious and error-prone, though, thus RTMs are often not generated or maintained. Automated techniques have been developed to generate candidate RTMs with some success. When using RTMs to support the V&V of mission-or safety-critical systems, however, a human analyst must vet the candidate RTMs. The focus thus becomes the quality of the final RTM. This paper investigate show human analysts perform when vetting candidate RTMs. Specifically, a study …

Intelligent Software For Ecological Building Design, Jens G. Pohl, Hisham Assal, Kym J. Pohl

Collaborative Agent Design (CAD) Research Center

Building design is a complex process because of the number of elements and issues involved and the number of relationships that exist among them. Adding sustainability issues to the list increases the complexity of design by an order of magnitude. There is a need for computer assistance to manage the increased complexity of design and to provide intelligent collaboration in formulating acceptable design solutions. Software development technology today offers opportunities to design and build an intelligent software system environment that can serve as a reliable intelligent partner to the human designer.

In this paper the authors discuss the requirements for …

Preconference Proceedings On Advances In Adaptive Planning Capabilities, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

No abstract provided.

A Method To Implement Location Transparency In A Web Service Environment, Xiaoshan Pan, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Location transparency offers some significant benefits in the areas of middleware, Service-Oriented Architecture (SOA) and Cloud Computing. However, methods for achieving location transparency in a Web service environment are scarcely presented in the literature. This paper introduces such a method by describing a design and HTTP protocol-based implementation of location transparency. A number of benefits, including support for the creation of a virtual platform and increased mobility, availability and scalability of services, are elaborated. Two significant capabilities -performance-based load balancing and failover -are demonstrated as part of the experimental results.

On The Road To Intelligent Web Applications, Hisham Assal, Kym J. Pohl, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Increasing access to data sources on the Internet offers expanding opportunities for equipping intelligent applications with the content they require whether broad in scope or rich in detail. Although typically originating within the web in a semi-structured form, with the use of inference-based translation and analysis mechanisms such content can be transformed into useful information and ultimately into actionable knowledge. Service-Oriented Architecture (SOA) offers a platform for accessing the web as invocable resources and effectively incorporating multiple sources of data and capabilities on the Internet into enterprise applications. Adding inference capabilities to SOA-based applications not only aids in the translation …

Solving The Data Deluge Problem, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The paper postulates that the information technology revolution that is commonly referred to as the Information Age is currently in a transition stage between data-processing and knowledge management that should be more aptly referred to as the Data Age. Symptoms of this transition stage are a data deluge problem that is evidenced by the inability of human computer-users to effectively analyze and draw useful conclusions from the overwhelming volume of data that is being collected, the increasing complexity of networked systems, and the acknowledged vulnerability of virtually all existing digital systems to cyber security threats.

The author suggests that the …

Automated Theorem Prover Axiom Management, Ashley T. Holeman, Ewen Denney

STAR Program Research Presentations

Automated Theorem Provers (ATPs), are computer programs that use collections of axioms,which are logical statements assumed to be true, in order to prove conjectures. NASA uses these programs to verify safety and functional requirements in domains like Guidance, Navigation, and Control. There are about 30 axioms on each major topic including the theory of coordinate systems, elementary arithmetic and linear algebra. These axioms have been created over the duration of many projects and combined into a single file. One task is to manage the axioms by arranging them into logical sections, deleting unnecessary ones and rewriting some into a more …

St. Jude Medical: An Object-Oriented Software Architecture For Embedded And Real-Time Medical Devices, Atila Amiri

Master's Theses

Medical devices used for surgical or therapeutic purposes require a high degree of safety and effectiveness. Software is critical component of many such medical devices. The software architecture of a system defines organizational structure and the runtime characteristic of the application used to control the operation of the system and provides a set of frameworks that are used to develop that. As such, the design of software architecture is a critical element in achieving the intended functionality, performance, and safety requirements of a medical device. This architecture uses object-oriented design techniques, which model the underlying system as a set of …

Asynchronous Mips Processors: Educational Simulations, Robert L. Webb

Master's Theses

The system clock has been omnipresent in most mainstream chip designs. While simplifying many design problems the clock has caused the problems of clock skew, high power consumption, electromagnetic interference, and worst-case performance. In recent years, as the timing constraints of synchronous designs have been squeezed ever tighter, the efficiencies of asynchronous designs have become more attractive. By removing the clock, these issues can be mitigated. How- ever, asynchronous designs are generally more complex and difficult to debug. In this paper I discuss the advantages of asynchronous processors and the specifics of some asynchronous designs, outline the roadblocks to asynchronous …

Increasing Cubesat Downlink Capacity With Store-And-Forward Routing And Data Mules, Trevor Koritza, John M. Bellardo

Computer Science and Software Engineering

Pico-satellites have recently gained substantial traction in research and educational communities due to their relatively low cost. The largest factor in keeping the cost down, their small size, also poses their biggest engineering challenge. The tiny, low power radios used to communicate with earth have extremely slow data rates. A typical pico satellite is within communication range of the ground station for approximately 40 minutes per day with a theoretical maximum data rate of 1200 bps. At this speed a high resolution digital photograph can take weeks to download. This paper presents a novel communication protocol that allows a sparse …

On Index Merging For Semantic Web Data, Lubomir Stanchev

Computer Science and Software Engineering

In this paper we explore the properties of description indices that store concept descriptions rather than plain data. Although these novel data structures are beneficial for efficiently answering semantic web queries, expressed in a language such as nRQL or SPARQL-DL, they take extra storage and their maintenance can become a performance bottleneck. In order to alleviate these shortcomings, we introduce a procedure for merging description indices. Experimental results over the LUBM benchmark show that this technique can result in economy of storage space, while the performance is slightly affected for a static workload and is improved for a dynamic workload.

The Malta Cistern Mapping Project: Underwater Robot Mapping And Localization Within Ancient Tunnel Systems, Cory White, Daniel Hiranandani, Christopher S. Olstad, Keith Buhagiar, Timmy Gambin, Christopher M. Clark

Computer Science and Software Engineering

This paper documents the development of an underwater robot system enabled with several mapping and localization techniques applied to a particular archaeological expedition. The goal of the expedition was to explore and map ancient cisterns located on the islands of Malta and Gozo. The cisterns of interest acted as water storage systems for fortresses, private homes, and churches. Such cisterns often consisted of several connected chambers, still containing water. A sonar-equipped remotely operated vehicle (ROV) was deployed into these cisterns to obtain both video footage and sonar range measurements. Six different mapping and localization techniques were employed, including (1) sonar …

Hidra: Hierarchical Inter-Domain Routing Architecture, Bryan Clevenger, Daniel Nelson, John M. Bellardo

Computer Science and Software Engineering

The size of the Internet’s forwarding table is growing rapidly, generating concerns about the ability for high performance routing equipment to economically keep pace. The primary contributors to this growth are end site multihoming, traffic engineering, and in the foreseeable future, IPv6 deployment. This paper presents HIDRA, a hierarchal network architecture designed to reduce both the immediate size of the Internet’s forwarding table as well as its growth rate while maximizing compatibility with the existing In ternet architecture. This includes the ability to use exist ing high performance routers, existing routing protocols, and existing number allocation policies. HIDRA is prototyped …

Wii-Mote Head Tracking: A Three Dimensional Virtual Reality Display, David Fairman

Computer Engineering

The goal of this project is to create a customizable three dimensional virtual reality display on a system available to any non-technical user. This System will use the infrared camera component of a standard Nintendo Wii-mote to track a user's head motions in all six major directions. The virtual reality will be a customizable image projected onto a screen or simply shown on a computer or TV monitor. In order to appear 3-dimensional, the image will continually change according to the position of the user's head. As the user moves their head to the left and right, portions of the …

Max Flow Spill Code Placement Algorithm Implemented In Gcc 4.4.3, Stephen Robert Beard

Computer Engineering

The placement of spill code plays an important role in the register allocator of an optimizing compiler. Many computer architectures possess a register linkage convention that dictates which registers are preserved across function calls and which are not. This project addresses the problem of optimizing spill code that is associated with register linkage conventions.

This algorithm was created by Dr. Chris Lupo and is described in the paper Beyond Register Allocation: a Novel Algorithm for Spill-Code Placement. The algorithm was implemented for GCC 2.5.7 for a PA-RISC architecture [4]. The work in this project will involve porting the existing code …

Optimization Of P3ht-Pcbm Polymer Solar Cells Through Device Simulation And Manufacturing, James Boom

Computer Engineering

Given a good model and implementation of that model, computer simulation can be used to reduce the time and material costs of research. To this end I worked with other students to manufacture, test and simulate the single layer P3HT-PCBM solar cell. Using the data collected from this project, future work can then be done with the project's simulator to further optimize these types of solar cell devices.

Measurement And Interpolation Of Sea Surface Temperature And Salinity In The Tropical Pacific: A 9,000 Nautical Mile Research Odyssey, Amber Brooks

Earth and Soil Sciences

The purpose of this project was to compare spline and inverse distance weighting interpolation tools on data collected in the tropical Pacific Ocean by ship and data from a global network of CTD floats, known as Argo floats (fig.1), to provide evidence that technological advancement and integration is aiding our understanding of the ocean-atmosphere system of planet Earth. Thirty-one sea surface temperature and salinity samples were manually taken across a 9,000 nautical mile trek of the Pacific Ocean for the months of April, May and June 2008. Argo ASCII globally gridded monthly averaged sea surface temperature and salinity data, from …

Customer Communicator, Eddie Tavarez

Computer Science and Software Engineering

No abstract provided.

Graduation Outliner, Jason Boyle

Computer Science and Software Engineering

Planning a quarterly course schedule is a difficult and laborious process for university students which must be repeated every quarter. Students are expected to determine which courses to take based on a large and complex set of requirement criteria. Most academic scheduling research has focused on faculty availability and desires. This project attempts to address the needs of students for whom no quarterly course schedule planning tool is widely available. A Java Swing-based application is described that allows students to create a graphical quarter-by-quarter visualization of the courses they plan to take. The application also accepts a list of graduation …

Automatic Junit Creation Tool: An Exploration In High Level Process Driven Automatic Test Case Creation, William Whitney

Computer Science and Software Engineering

Many software developers do not enjoy writing unit test code. Often their excuses range from testing is slow to testing is hard. Yet perhaps test derivation has to be neither. The aim of this senior project is to examine the current state of unit test creation for the Java programming language. In particular, inefficiencies with the JUnit test framework regarding test derivation are analyzed. Ultimately, a JUnit test creation tool is created that provides a high-level process for test derivation.

Employee Time Scheduling, Mark Peter Smith

Computer Science and Software Engineering

Small business managers face the common problem of employee time scheduling. There is a solution to this problem in the form of an application called Lemming Scheduler. Lemming Scheduler is a Java based employee time scheduling program. Its features include a desktop based application that stores employee and business information as well as a web interface for employees to view schedules and update availability. The desktop application uses employee and shift information to automatically generate schedules. The generated schedules are viewable by employees outside of work by way of the web interface. Lemming Scheduler provides a light weight interface for …

Reducing Cluster Power Consumption By Dynamically Suspending Idle Nodes, Brian Michael Oppenheim

Master's Theses

Close to 1% of the world's electricity is consumed by computer servers. Given that the increased use of electricity raises costs and damages the environment, optimizing the world's computing infrastructure for power consumption is worthwhile. This thesis is one attempt at such an optimization. In particular, I began by building a cluster of 6 Intel Atom based low-power nodes to perform work analogous to data center clusters. Then, I installed a version of Hadoop modified with a novel power management system on the cluster. The power management system uses different algorithms to determine when to turn off idle nodes in …

Real-Time Visualizations Of Ocean Data Collected By The Norus Glider, Daniel M. Medina

Master's Theses

Scientific visualization computer applications generate visual representations of large and complex sets of science data. These types of applications allow scientists to gain greater knowledge and insight into their data. For example, the visualization of environmental data is of particular interest to biologists when trying to understand how complex variables interact. Modern robotics and sensors have expanded the ability to collect environmental data, thus, the size and variety of these data-sets have likewise grown. 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 …

On Building An Index Advisor For Semantic Web Queries, Lubomir Stanchev, Grant Weddell

Computer Science and Software Engineering

Current optimization techniques for answering queries over Semantic Web data use realization to precalculate the individuals associated with every concept in the given ontology. However, this technique does not take into account the type of queries, written for example in nRQL or SPARQL-DL, that will arrive at the system. In this paper we propose how this additional knowledge can be used to create query-specific indices. We include experimental results that show how our approach can be used to improve the performance of the Pellet query engine for the popular LUBM benchmark.

Development Of A Systematic And Practical Methodology For The Design Of Vehicles Semi-Active Suspension Control System, Hamidreza Bolandhemmat, Christopher M. Clark, Farid Golnaraghi

Computer Science and Software Engineering

In this paper, a novel systematic and practical methodology is presented for design of vehicle semi-active suspension systems. Typically, the semi-active control strategies developed to improve vehicle ride comfort and stability have a switching nature. This makes the design of the controlled suspension systems difficult and highly dependent on an extensive trial-and-error process. The proposed methodology maps the discontinuous control system model to a continuous linear region, where all the time and frequency design techniques, established in the conventional control system theory, can be applied. If the semi-active control system is designed to satisfy some ride and stability requirements, an …

Hidra: Hierarchical Inter-Domain Routing Architecture, Bryan Clevenger

Master's Theses

As the Internet continues to expand, the global default-free zone (DFZ) forwarding table has begun to grow faster than hardware can economically keep pace with. Various policies are in place to mitigate this growth rate, but current projections indicate policy alone is inadequate. As such, a number of technical solutions have been proposed. This work builds on many of these proposed solutions, and furthers the debate surrounding the resolution to this problem. It discusses several design decisions necessary to any proposed solution, and based on these tradeoffs it proposes a Hierarchical Inter-Domain Routing Architecture - HIDRA, a comprehensive architecture with …