Physical Sciences and Mathematics Commons^™

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 …

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 …

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.

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 …

Tall Fescue (Lolium Arundinaceum (Schreb.) S.J. Darbyshire) Cultivar Performance In The Central California Coastal Region, Seril Shimizu

Master's Theses

Tall fescue (Lolium arundinaceum (Schreb.) S.J. Darbyshire) has long been known as a turfgrass that utilizes lower levels of inputs than most other cool season turfgrasses (Turgeon, 2005). In recent years, turf breeders have been selecting for cultivars of tall fescue that have finer leaf textures. As the use of tall fescue expands, consumers want to now what cultivar to use and how to manage it. This study looked at 18 tall fescue cultivars grown at two mowing heights of five and 10 centimeters and evaluated plant quality based on stand density, leaf texture, and genetic plant color. In the …

An Exploration Of Tablet-Based Presentation Systems And Learning Styles, Ngan T. Phan

Master's Theses

Learning in the classroom can occur as a combination of students' personal effort to study class material, the instructor's attempt to present class material, and the interaction that takes place between instructor and students. In a more traditional setting, instructors can lecture by writing notes on a chalkboard or a whiteboard. If instructors want to display prepared lecture slides, they can use the overhead projector and write additional notes on top of these overhead transparencies. With many technological advances, various researchers are advocating towards integration between technology and learning. With the advent of tablet PCs, researchers recognize the potential usefulness …

Quaternary Deposits Near The San Emigdio Mountains, California: Evidence For A Paleolandscape?, Paul G. Lavelle

Earth and Soil Sciences

Discontinuous low-relief surfaces are scattered throughout relatively high topography within the San Emigdio Mountains, California. These surfaces are considered anomalous, as they are preserved in a dissected, mountainous region that is affected by ongoing orogeny. Previous research has suggested that the low-relief surfaces may represent a once-contiguous alluvial surface. This project utilizes field mapping and sedimentological analysis to determine if the surfaces represent a paleo landscape. What is apparent from field work is the presence of two morphologically distinct lithologic units that most likely represent surficial geologic components of the same relict landscape.

Achieving Energy Efficiency In Buildings In Developing Countries, Pavel Ponomarev

Physics

No abstract provided.

A Novel Distributed Denial-Of-Service Detection Algorithm, Brett Tsudama

Master's Theses

The applicability of implementing Ratio-based SYN Flood Detection (RSD) on a network processor is explored, and initial results are presented.