Engineering Commons^™

An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in …

Mathematical Modeling Of Light Utilization And The Effects Of Temperature Cycles On Productivity In A Steady-State Algal Photobioreactor, Peter Edwin Zemke

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The work presented here investigated two methods of improving productivity in microalgal photobioreactors: applying temperature cycles intended to maximize photosynthesis and minimize respiration, and development of a mathematical model that predicts improvements in photon utilization using temporal light dilution (flashing).

The experiments conducted on diurnal temperature cycles with Dunaliella tertiolecta in 30-L outdoor photobioreactors showed that a properly chosen temperature cycle can improve mass and energy productivity by 18% over an identical photobioreactor with a constant temperature. However, excessively large temperature cycle amplitudes reduced productivity. A 4-7% increase in energy content was observed in microalgae exposed to temperature cycles. The …