A detailed study is proposed for understanding the use of aircraft deicing and anti-icing fluids (ADAF) and optimal use of these fluids in airport operations. A detailed literature review of past and current technologies is conducted and possible opportunities to improve the use of ADAF and relevant recommendations are derived. Mathematical optimization models (e.g. MINLP with binary variables) based on a variety of objectives, which deal with exhaustive sets of system constraints are formulated, developed and applied to case studies. One real-life case study area which routinely carries out aircraft deicing is used for testing the mathematical optimization formulations for optimal use of fluids under budgetary and environmental compliance constraints. Based on the recommendations from one of the best optimization model formulations it is hoped that it will be used for a real-time implementation. Results from these formulations show the models to be robust and applicable. / by Scott E. Ornitz. / Thesis (M.S.C.S.)--Florida Atlantic University, 2009. / Includes bibliography. / Electronic reproduction. Boca Raton, Fla., 2009. Mode of access: World Wide Web.