Clemson Projects

Formal Methods

I took a class on Formal Methods (CPSC 828). The specification language used was Z (pronounced Zed). For one assignment we had to write a formal specification for a queue and a priority queue. These were written in Latex to be checked using the Fuzz tool. Unfortunately, I have since cleaned out my machine so I no longer have the tool (or the style sheet). These are the Latex documents I wrote:

• A Queue
• A Priority Queue

Also to see the specification in HTML follow this link: Specification Web Page

Intro to Graphics System Design

The goal of this class is to build a GUI that allowed users to view, light, rotate, etc, 3D objects. It also has incorporated into it a particle system of various types. My includes waterfalls, explosions, and gravity. However, I am unable to provide pictures since I apparently did a poor job of writing it and am unable to run it any more (This is something I had feared). I also have little desire to fix it since its 3+ years old.

Virtual Reality

For this class (CPSC 411) there were several assignments, including creation of a world viewer that read "VDF" files and rendered them in 3D using OpenGL. The final project we were allowed to do whatever we wanted. So Rebecca Johnson, Deborah Wright, Brian Cumming and I created a VR Haunted House, controlled from VR Helmet. For more details check out Brian's Web Site. Another requirement was to do a radiosity rendering of a room. This is a picture of my room:

Clemson Room

CAEFF: Non-Newtonian Fluid Dynamics (More Specifically Viscoelastic Fluids)

This is less a project and more a job I was working on. I was part of a software group that was working on writing a modular and extendible C++ program to efficiently model fluids. The Finite Element Method was used to solve the Stokes equations and constitutive equations specific to polymers. This work was done with collaboration between MIT Chemical Engineers and Clemson. It provided me with a tough project and my first chance to really know if I wanted to continue to be involved with Scientific Computing.

From working with this group I had three papers published. The papers mainly dealt with Software Engineering issues with writing C++ Finite Element code. Two of them discuss the use of design patterns, while the third talks about Generative programming techniques.

Hopefully I will be able to get pictures showing the results of the simulation.

Here are links to the papers (if they exist):

• Using Design Patterns and XML to Construct an Extensible Finite Element System
• An Internet-Accessible Software Package for Modeling Viscoelastic Flow
• An Efficient C++ Finite Element Viscoelastic Flow Code Exploiting Generative Programming Techniques

And a presentation I did at UIUC Presentation 2/2/04

Last updated May 14, 2007