Physical Sciences and Mathematics Commons^™

Funqual: User-Defined, Statically-Checked Call Graph Constraints In C++, Andrew P. Nelson

Master's Theses

Static analysis tools can aid programmers by reporting potential programming mistakes prior to the execution of a program. Funqual is a static analysis tool that reads C++17 code ``in the wild'' and checks that the function call graph follows a set of rules which can be defined by the user. This sort of analysis can help the programmer to avoid errors such as accidentally calling blocking functions in time-sensitive contexts or accidentally allocating memory in heap-sensitive environments. To accomplish this, we create a type system whereby functions can be given user-defined type qualifiers and where users can define their own …

Preparation Of Supramolecular Amphiphilic Cyclodextrin Bilayer Vesicles For Pharmaceutical Applications, Kate E. Frischkorn

Master's Theses

Recent pharmaceutical developments have investigated using supramolecular nanoparticles in order to increase the bioavailability and solubility of drugs delivered in various methods. Modification of the carbohydrate cyclodextrin increases the ability to encapsulate hydrophobic pharmaceutical molecules by forming a carrier with a hydrophobic core and hydrophilic exterior. Guest molecules are commonly added to these inclusion complexes in order to add stability and further increase targeting abilities of the carriers. One such guest molecule is adamantine combined with a poly(ethylene glycol) chain. Vesicles are formed by hydrating a thin film of amphiphilic cyclodextrin and guest molecules in buffer solution that mimics physiological …

Rotordynamic Analysis Of Theoretical Models And Experimental Systems, Cameron R. Naugle

Master's Theses

This thesis is intended to provide fundamental information for the construction and

analysis of rotordynamic theoretical models, and their comparison the experimental

systems. Finite Element Method (FEM) is used to construct models using Timoshenko

beam elements with viscous and hysteretic internal damping. Eigenvalues

and eigenvectors of state space equations are used to perform stability analysis, produce

critical speed maps, and visualize mode shapes. Frequency domain analysis

of theoretical models is used to provide Bode diagrams and in experimental data

full spectrum cascade plots. Experimental and theoretical model analyses are used

to optimize the control algorithm for an Active Magnetic Bearing …