Physical Sciences and Mathematics Commons^™

Exercise Power Grid Display And Web Interface, Alexander (Alex) Chernetz

Computer Engineering

The 2008-2009 expansion of the Recreation Center at Cal Poly includes three new rooms with cardiovascular fitness equipment. As part of its ongoing commitment to sustainable development, the new machines connect to the main power grid and generate power during a workout. This document explains the process of quantifying and expressing the power generated using two interfaces: an autonomous display designed for a television with a text size and amount of detail adaptable to multiple television sizes and viewing distances, and an interactive, more detailed Web interface accessible with any Java-capable computer system or browser.

An Evaluation Of Potential Technologies For A Web Based Development Environment For Cs1 Students, Manuel Garcia

Computer Science and Software Engineering

The goal of this senior project was to design a web-based integrated development environment that would incorporate Web-CAT. Web-CAT is an automated testing tool designed by Stephen Edwards at Virginia Tech University, to help beginning students learn test-driven development. This tool runs on a server where a professor assigns usernames and passwords to students so they can submit code. This program can assist professors in grading, and students in showing errors in code. The development environment design waskept simple to create less confusion for beginning programming students. This development environment will be online to give all students universal access and …

A Neural Network Approach To Border Gateway Protocol Peer Failure Detection And Prediction, Cory B. White

Master's Theses

The size and speed of computer networks continue to expand at a rapid pace, as do the corresponding errors, failures, and faults inherent within such extensive networks. This thesis introduces a novel approach to interface Border Gateway Protocol (BGP) computer networks with neural networks to learn the precursor connectivity patterns that emerge prior to a node failure. Details of the design and construction of a framework that utilizes neural networks to learn and monitor BGP connection states as a means of detecting and predicting BGP peer node failure are presented. Moreover, this framework is used to monitor a BGP network …

Evaluating Head Gestures For Panning 2-D Spatial Information, Matthew O. Derry

Master's Theses

New, often free, spatial information applications such as mapping tools, topological imaging, and geographic information systems are becoming increasingly available to the average computer user. These systems, which were once available only to government, scholastic, and corporate institutions with highly skilled operators, are driving a need for new and innovative ways for the average user to navigate and control spatial information intuitively, accurately, and efficiently. Gestures provide a method of control that is well suited to navigating the large datasets often associated with spatial information applications. Several different types of gestures and different applications that navigate spatial data are examined. …

Automation In Cs1 With The Factoring Problem Generator, Joshua B. Parker

Master's Theses

As the field of computer science continues to grow, the number of students enrolled in related programs will grow as well. Though one-on-one tutoring is one of the more effective means of teaching, computer science instructors will have less and less time to devote to individual students. To address this growing concern, many tools that automate parts of an instructor’s job have been proposed. These tools can assist instructors in presenting concepts and grading student work, and they can help students learn to program more effectively. A growing group of intelligent tutoring systems attempts to tie all of this functionality …

Altruistic Task Allocation Despite Unbalanced Relationships Within Multi-Robot Communities, Ryan Morton, George A. Bekey, Christopher M. Clark

Computer Science and Software Engineering

Typical Multi-Robot Systems consist of robots cooperating to maximize global fitness functions. However, in some scenarios, the set of interacting robots may not share common goals and thus the concept of a global fitness function becomes invalid. This work examines Multi-Robot Communities(MRC), in which individual robots have independent goals. Within the MRC context, we present a task allocation architecture that optimizes individual robot fitness functions over long time horizons using reciprocal altruism.

Previous work has shown that reciprocating altruistic relationships can evolve between two willing robots, using market-based task auctions, while still protecting against selfish robots aiming to exploit …

Toward Automating Requirements Satisfaction Assessment, E. Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar

Computer Science and Software Engineering

This paper introduces the automation of satisfaction assessment: the process of determining the satisfaction mapping of natural language textual requirements to natural language design elements. Satisfaction assessment is useful because it assists in discovering unsatisfied requirements early in the lifecycle when such issues can be corrected with lower cost and impact than later. We define the basic terms and concepts for this process and explore the feasibility of developing baseline methods for its automation. This paper describes the satisfaction assessment approach algorithmically and then evaluates the effectiveness of two proposed information retrieval (IR) methods in two industrial studies - one …

Proceedings Of The Scheme And Functional Programming Workshop, John Clements (Editor)

Computer Science and Software Engineering

This volume contains the papers of the tenth annual Workshop on Scheme and Functional Programming, held August 22nd at Northeastern University in close proximity to the Symposium in honor of Mitchell Wand.

Using Bpm As An Interoperability Platform, Dennis Taylor, Hisham Assal, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Data mediation is an essential component in the Modeling and Simulation field (M&S). Managing multiple data sources and exchanging data among multiple systems requires sophisticated tools and a powerful process management system. Business Process Management (BPM) provides a framework for modeling and managing business activities, both manual and automated, in a consistent manner. Managing automated processes offers an opportunity to integrate external applications into the platform. By integrating automated data transformation tools into the business processes using graphical programming, we provide an approach to achieve operational interoperability among diverse applications without the need for any application to be aware of …

Conveyance Estimator Ontology: Conceptual Models And Object Models, Xiaoshan Pan, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper proposes the construction of a Conceptual Model as a logical step prior to the preparation of the Object Model of an ontology to facilitate the design and development of software systems in which a high-level internal representation of context supports some intelligent capabilities. The intent of the Conceptual Model is to be expressive for human interpretation utilizing descriptions that are readily understood by laypersons, subject matter experts, and software developers who may be concerned with only a particular portion of the software system. The intent of the Object Model (as a subset of an ontology) is to be …

Increasing The Expressiveness Of Owl Through Procedural Attachments, Dennis Taylor, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The purpose of this paper is to provide an introduction to the OWL Web ontology language, a survey focused on the current state of the art in OWL inferencing capabilities, and a historical perspective on procedural attachments. The perspective is aligned with current OWL research. Several limitations of the OWL language and proposed extensions to overcome these limitations are discussed. A framework that provides empirical testing support for evaluating the effects of procedural attachments to the OWL inferencing capabilities is outlined. The examples presented suggest that it is possible to provide rule-based extensibility support for OWL that does not limit …

Pre-Conference Proceedings Of The Focus Symposium On Knowledge Management Systems, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

No abstract provided.

The Representation Of Context In Computer Software, Hisham Assal, Kym Pohl, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Computers do not have the equivalent of a human cognitive system and therefore store data simply as the numbers and words that are entered into the computer. For a computer to interpret data it requires an information structure that provides at least some level of context. This can be accomplished utilizing an ontology of objects with characteristics, semantic behavior, and a rich set of relationships to create a virtual version of real world situations and provide the context within which intelligent logic (e.g., agents) can automatically operate.

This paper discusses the process of developing ontologies that serve to …

Intelligent Information Management Tools In A Service-Oriented Software Environment, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper draws attention to the increasing need for agile and adaptive software environments that are capable of supporting rapid re-planning during the execution of time-critical operations involving commercial end-to-end supply chain transaction sequences, as well as disaster response and military missions. It is argued that such environments are currently best served by information-centric software tools executing within a service-oriented paradigm. Service-oriented architecture (SOA) design concepts and principles are described, with a focus on the functions of the services management framework (SMF) and enterprise service bus (ESB) components. Differentiating between data-centric and information-centric services, it is suggested that only intelligent …

Feeding Phishers, Nicholas J. Lynch

Master's Theses

Phishing campaigns continue to deceive users into revealing their credentials, despite advancing spam filters, browser and toolbar warnings, and educational efforts. Recently, researchers have begun investigating how fake credentials --- or honeytokens --- can be used to detect phishing sites and protect users. BogusBiter, one such work, creates sets of honeytokens based on users' real credentials and sends them alongside real user submissions to phishing sites. In this paper, we present Phish Feeder, an anti-phishing tool which extends the BogusBiter honeytoken generation algorithm in order to create more realistic and authentic-looking credentials. Phish Feeder also employs a ``honeytoken repository'' which …

Energetic Path Finding Across Massive Terrain Data, Andrew N. Tsui

Master's Theses

Before there were airplanes, cars, trains, boats, or bicycles, the primary means of transportation was on foot. Unfortunately, many of the trails used by ancient travelers have long since been abandoned. We present a software tool which can help visualize and predict where these forgotten trails might lie through the use of a human-centered cost metric. By comparing the paths generated by our software with known historical trails, we demonstrate how the tool can indicate likely trails used by ancient travelers. In addition, this new tool provides novel visualizations to better help the user understand alternate paths, effect of terrain, …

Store And Forward Routing For Sparse Pico-Satellite Sensor Networks With Data-Mules, Trevor Joseph Koritza

Master's Theses

Satellites are playing an increasingly important role in collecting scientific information, providing communication services, and revolutionizing navigation. Until recently satellites were large and very expensive, creating a high barrier to entry that only large corporations and government agencies could overcome. In the past few years the CubeSat project at California Polytechnic University in San Luis Obispo (Cal Poly) has worked to refine the design and launching of small, lightweight, and less expensive satellites called pico-satellites, opening space up to a wider audience. Now that Cal Poly has the launch logistics and hardware under control, a new problem has arisen. These …

Boundless Fluids Using The Lattice-Boltzmann Method, Kyle J. Haughey

Master's Theses

Computer-generated imagery is ubiquitous in today's society, appearing in advertisements, video games, and computer-animated movies among other places. Much of this imagery needs to be as realistic as possible, and animators have turned to techniques such as fluid simulation to create scenes involving substances like smoke, fire, and water. The Lattice-Boltzmann Method (LBM) is one fluid simulation technique that has gained recent popularity due to its relatively simple basic algorithm and the ease with which it can be distributed across multiple processors. Unfortunately, current LBM simulations also suffer from high memory usage and restrict free surface fluids to domains of …

Towards Traceable Test-Driven Development, Jane Huffman Hayes, Alex Dekhtyar, David S. Janzen

Computer Science and Software Engineering

Key among the grand challenges in traceability are those that lead to achieving traceability as a by-product of the natural software development life cycle. This position paper profiles test-driven development (TDD), an emerging software development practice, in which automated tests and code satisfying them are developed in rapid succession over multiple iterations. Our position is that the nature of TDD offers unique opportunities for collecting traceability information throughout the TDD life cycle and that the provision of traceability information to the software developers during TDD will improve the process and the resulting software. We discuss the opportunities, challenges, and plans …

Incremental Validation Of Formal Specifications, Paul S. Corwin

Master's Theses

This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model.

The incremental validation technique can be considered a form of "lightweight" model checking. This is in contrast to a "heavyweight" approach, wherein an entire large-scale model is validated en masse.

The validation tool is part of a formal modeling and specification language (FMSL), used in software engineering instruction. A lightweight, incremental approach to validation is beneficial …

Evaluating Test-Driven Development In An Industry-Sponsored Capstone Project, John Huan Vu, Niklas Frojd, Clay Shenkel-Therolf, David S. Janzen

Computer Science and Software Engineering

Test-Driven Development (TDD) is an agile development process wherein automated tests are created before production code is designed or constructed in short, rapid iterations. This paper discusses an experiment conducted with undergraduate students in a year-long software engineering capstone course. In this course the students designed, implemented, deployed, and maintained a software system to meet the requirements of an industry sponsor who served as the customer. The course followed an incremental process in which features were added incrementally under the direction of the industry sponsor and the professor. The fourteen students observed in the study were divided into three teams. …

Design Patterns Go To Hollywood: Teaching Patterns With Multimedia, Adam Dukovich, David S. Janzen

Computer Science and Software Engineering

Studies indicate that understanding the contexts in which design patterns are to be used is one of the most (if not the most) difficult challenge in applying design patterns, yet little research on the topic attempts to solve the problem of better teaching the contexts. This paper discusses a new paradigm through which the teaching of design patterns can be viewed, one which focuses on conceptual examples and contexts as the key elements in teaching design patterns. We created several multimedia learning modules that use this approach and we evaluated the modules by comparing them to other methods of instruction …

Pipelined Apache Http Server, Kevin Le

Master's Theses

Web servers often become overloaded with irregular surges in web traffic. Several techniques have been explored to cope with these overloads such as distributing load throughout different servers. This thesis presents Pipelined Apache HTTP Server, a modified version of the Apache Software Foundation’s HTTP Server that utilizes a pipelined execution of Apache’s request cycle. We discuss Apache’s original architecture, the modifications necessary for implementation of pipelined execution, and analyze its run time. Ultimately, we hoped to increase throughput of Apache but fall short because of unbalanced request phases and pipelining overhead.

Implications Of Integrating Test-Driven Development Into Cs1/Cs2 Curricula, Chetan Desai, David S. Janzen, John Clements

Computer Science and Software Engineering

Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testing in academia. This paper demonstrates how TDD can be integrated into existing course materials without reducing topic coverage. Two controlled experiments were conducted in a CS1/CS2 course in Winter 2008. Following a test-driven learning approach, unit testing was introduced at the beginning of the course and reinforced through example. Results indicate that while student work loads may increase with the incorporation of TDD, students are able to successfully develop unit tests while learning to …

Decentralized Robust Control Of Robot Manipulators With Harmonic Drive Transmission And Application To Modular And Reconfigurable Serial Arms, Z. Li, W. W. Melek, Christopher M. Clark

Computer Science and Software Engineering

In this paper, we propose a decentralized robust control algorithm for modular and reconfigurable robots (MRRs) based on Lyapunov’s stability analysis and backstepping techniques. In using decentralized control schemes with robot manipulators, each joint is considered as an independent subsystem, and the dynamical effects from the other links and joints are treated as disturbance. However, there exist many uncertainties due to unmodeled dynamics, varying payloads, harmonic drive (HD) compliance, HD complex gear meshing mechanisms, etc. Also, while the reconfigurability of MRRs is advantageous, modifying the configuration will result in changes to the robot dynamics parameters, thereby making it challenging to …

Planning For Success: The Interdisciplinary Approach To Building Bayesian Models, Alex Dekhtyar, Judy Goldsmith, Beth Goldstein, Krol Kevin Mathias, Cynthia Isenhour

Computer Science and Software Engineering

This paper describes a process by which anthropologists, computer scientists, and social welfare case managers collaborated to build a stochastic model of welfare advising in Kentucky. In the process of collaboration,the research team rethought the Bayesian network model of Markov decision processes and designed a new knowledge elicitation format. We expect that this model will have wide applicability in other domains.

Icodes Global Services (Gs): A Single Load-Planning Capability, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Over the past decade the Collaborative Agent Design Research Center (CADRC) at California Polytechnic State University (Cal Poly, San Luis Obispo) and its commercial arm CDM Technologies, Inc. (CDM) have developed a suite of information-centric software tools in support of military deployment and distribution processes. All of these tools feature agents that are capable of reasoning about data in the context provided by an internal information model. Together they represent an evolving suite of adaptive Knowledge Management Enterprise Services (KMES) that can be readily configured into a net-centric, Service-Oriented Architecture (SOA) based planning and decision-support toolset for a particular application …

The Theory Of Interval Probabilistic Logic Programs, Alex Dekhtyar, Michael I. Dekhtyar

Computer Science and Software Engineering

Two approaches to logic programming with probabilities emerged over time: Bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying the logic programming research to the body of work on Bayes networks. The second approach ties, from the point of view of computation, reasoning about probabilities to linear programming, and allows for natural expression of imprecision in probabilities via the use of intervals. In this paper we construct precise semantics for one PSAT-based formalism for reasoning with interval probabilities: disjunctive probabilistic logic programs (dp-programs). It has two origins: (1) disjunctive logic programs, a powerful language for …

Energetic Path Finding Across Massive Terrain Data, Andrew Tsui, Zoë J. Wood

Computer Science and Software Engineering

Throughout history, the primary means of transportation for humans has been on foot. We present a software tool which can help visualize and predict where historical trails might lie through the use of a human-centered cost metric, with an emphasis on the ability to generate paths which traverse several thousand kilometers. To accomplish this, various graph simplification and path approximation algorithms are explored. We show that it is possible to restrict the search space for a path finding algorithm while not sacrificing accuracy. Combined with a multi-threaded variant of Dijkstra’s shortest path algorithm, we present a tool capable of computing …

A Unified Resource Platform For The Rapid Development Of Scalable Web Applications, Russell Palmiter

Master's Theses

This thesis presents Web Utility Kit (WUT): a platform that helps to simplify the process of creating modern web applications. It addresses the need to simplify the web development process through the creation of a hosted service that provides access to a unified set of resources. The resources are made available through a variety of protocols and formats to help simplify their consumption. It also provides a uniform model across all of its resources making multi-resource development an easier and more familiar task. WUT saves the time and cost associated with deployment, maintenance, and hosting of the hardware and software …