Physical Sciences and Mathematics Commons^™

A Catalog Of While Loop Specification Patterns, Aditi Barua, Yoonsik Cheon

Departmental Technical Reports (CS)

This document provides a catalog of while loop patterns along with their skeletal specifications. The specifications are written in a functional form known as intended functions. The catalog can be used to derive specifications of while loops by first matching the loops to the cataloged patterns and then instantiating the skeletal specifications of the matched patterns. Once their specifications are formulated and written, the correctness of while loops can be proved rigorously or formally using the functional program verification technique in which a program is viewed as a mathematical function from one program state to another.

Observable Causality Implies Lorentz Group: Alexandrov-Zeeman-Type Theorem For Space-Time Regions, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

The famous Alexandrov-Zeeman theorem proves that causality implies Lorentz group. The physical meaning of this result is that once we observe which event can causally affect which other events, then, using only this information, we can reconstruct the linear structure of the Minkowski space-time. The original Alexandrov-Zeeman theorem is based on the causality relation between events represented by points in space-time. Knowing such a point means that we know the exact moment of time and the exact location of the corresponding event - and that this event actually occurred at a single moment of time and at a single spatial …

Growth And Analysis Of Micro And Nano Cdte Arrays For Solar Cell Applications, Brandon Adrian Aguirre

Open Access Theses & Dissertations

CdTe is an excellent material for infrared detectors and photovoltaic applications. The efficiency of CdTe/CdS solar cells has increased very rapidly in the last 3 years to ~20% but is still below the maximum theoretical value of 30%. Although the short-circuit current density is close to its maximum of 30 mA/cm2, the open circuit voltage has potential to be increased further to over 1 Volt. The main limitation that prevents further increase in the open-circuit voltage and therefore efficiency is the high defect density in the CdTe absorber layer. Reducing the defect density will increase the open-circuit voltage above 1 …

Experimental Investigation Of Syngas Flame Stability Using A Multi-Tube Fuel Injector In A High Pressure Combustor, Sergio Elzar Maldonado

Open Access Theses & Dissertations

Over 92% of the coal consumed by power plants is used to generate electricity in the United States (U.S.). The U.S. has the world's largest recoverable reserves of coal, it is estimated that reserves of coal will last more than 200 years based in current production and demand levels. Integrated Gasification Combined Cycle (IGCC) power plants aim to reduce the amount of pollutants by gasifying coal and producing synThesis gas. SynThesis gas, also known as syngas, is a product of coal gasification and can be used in gas turbines for energy production. Syngas is primarily a mixture of hydrogen and …

Design And Evaluation Of A High Temperature/Pressure Supercritical Carbon Dioxide Direct Tubular Receiver For Concentrating Solar Power Applications, Jesus Daniel Ortega

Open Access Theses & Dissertations

This work focuses on the development of a solar power thermal receiver for a supercritical-carbon dioxide (sCO2), Brayton power-cycle to produce ~1 MWe. Closed-loop sCO2 Brayton cycles are being evaluated in combination with concentrating solar power to provide higher thermal-to-electric conversion efficiencies relative to conventional steam Rankine cycles. High temperatures (923 - 973 K) and pressures (20 - 25 MPa) are required in the solar receiver to achieve thermal efficiencies of ~50%, making concentrating solar power (CSP) technologies a competitive alternative to current power generation methods. In this study, the CSP receiver is required to achieve an outlet temperature of …

Water Recovery From Silica Saturated Ro Concentrate By The Concentrate Enhanced Reverse Osmosis Process, Gautam Patwardhan

Open Access Theses & Dissertations

Membrane fouling due to silica precipitation during reverse osmosis (RO) continues to be documented as the most common challenge in attaining stable continuous operation of RO systems across water treatment plants (1). Silica scale precipitation is time dependent and involves multiple steps leading to aqueous polymerization, condensation of polymers to form colloids, and deposition onto a solid surface (2). Exceeding the solubility of silica, widely considered to be in the range of 100-140 ppm, under a pH of 8 at 25 °C by various researchers, results in the precipitation of silica on the membranes, thereby limiting water recovery. Once the …

Natural Selectivity Of Nickel And Vanadium In Crude Oil, Olienka P. De La O Fernandez

Open Access Theses & Dissertations

Nickel and Vanadium have always been found in crude oil all around the world. The metal content is found mainly in porphyrin structures in the asphaltene fraction of the petroleum. In order to determine the reason for this natural preference, a set of experiments testing thermodynamics, kinetics, and other factors were performed. Candidate metalloporphyrins containing Vanadyl, Chromium, Iron, Nickel, Copper and Zinc were analyzed through chemical reactions characterized using Silica Column Chromatography, HPLC, MS and UV-Visible. Theoretical analysis of the stability of metalloporphyrins was conducted using DFT/NRLMOL for computational calculation. The analysis of all factors leads us to conclude that …

Alkali Promoted Molybdenum (Iv) Sulfide Based Catalysts, Development And Characterization For Alcohol Synthesis From Carbon Monoxide And Hydrogen, Belinda Delilah Molina

Open Access Theses & Dissertations

For more than a century transition metal sulfides (TMS) have been the anchor of hydro-processing fuels and upgrading bitumen and coal in refineries worldwide. As oil supplies dwindle and environmental laws become more stringent, there is a greater need for cleaner alternative fuels and/or synthetic fuels. The depletion of oil reserves and a rapidly increasing energy demand worldwide, together with the interest to reduce dependence on foreign oil makes alcohol production for fuels and chemicals via the Fischer Tropsch synthesis (FTS) very attractive. The original Fischer-Tropsch (FT) reaction is the heart of all gas-to-liquid technologies; it creates higher alcohols and …

Digitally Manufactured Spatially Variant Photonic Crystals, Javier Jair Pazos

Open Access Theses & Dissertations

Metamaterials and photonic crystals are engineered composites that exhibit electromagnetic properties superior to those found in nature. They have been shown to produce novel and useful phenomena that allow extraordinary control over the electromagnetic field. One of these phenomena is self-collimation, an effect observed in photonic crystals in which a beam of light propagates without diffraction and is forced to flow in the direction of the crystal. Self-collimation however, like many of the mechanisms enabled through dispersion engineering, is effective in directions only along the principal axes of the lattice. To this effect, a general purpose synThesis procedure was developed …

Solar Pv Power Generation Forecasting Using Hybrid Intelligent Algorithms And Uncertainty Quantification Based On Bootstrap Confidence Intervals, Donna Alhakeem

Open Access Theses & Dissertations

This Thesis focuses on short-term photovoltaic forecasting (STPVF) for the power generation of a solar PV system using probabilistic forecasts and deterministic forecasts. Uncertainty estimation, in the form of a probabilistic forecast, is emphasized in this Thesis to quantify the uncertainties of the deterministic forecasts. Two hybrid intelligent models are proposed in two separate chapters to perform the STPVF. In Chapter 4, the framework of the deterministic proposed hybrid intelligent model is presented, which is a combination of wavelet transform (WT) that is a data filtering technique and a soft computing model (SCM) that is generalized regression neural network (GRNN). …

Simulation Of Heat And Mass Transfer In Suns River Solar Distillation, Houman Azari

Open Access Theses & Dissertations

Many regions around the world have limited fresh water resources, and we need to desalinate brackish water resources for drinking and irrigation purposes. Most of the world is also facing energy challenges which encourages engineers and scientists to use renewable energy resources instead of hydrocarbon fuels. Arid regions such as the Middle East, many African countries, and the southwestern United States typically have abundant solar irradiance and brackish or saline water supplies. Solar-thermal desalination could be an important supply of fresh water in these regions.

The classic solar still is not efficient for providing large amounts of clean water for …

The Study Of The Dielectric Properties Of The Endohedral Fullerenes, Shusil Bhusal

Open Access Theses & Dissertations

Dielectric response of the metal nitride fullerenes is studied using the density functional theory at the all-electron level using generalized gradient approximation. The dielectric response is studied by computing the static dipole polarizabilities using the finite field method, i.e. by numerically differentiating the dipole moments with respect to electric field. The endohedral fullerenes studied in this work are Sc3N@C68(6140), Sc3N@C68(6146), Sc3N@C70(7854), Sc3N@C70(7960), Sc3N@C76(17490), Sc3N@C78(22010), Sc3N@C80(31923), Sc3N@C80(31924), Sc3N@C82(39663), Sc3N@C90(43), Sc3N@C90(44), Sc3N@C92(85), Sc3N@C94(121), Sc3N@C96(186), Sc3N@C98(166). Using the Voronoi and Hirschfield approaches as implemented in our NRLMOL code, we determine the atomic contributions to the total polarizability. The site-specific contributions to the polarizability …

Numerical Investigation Of Impact Of Relative Humidity On Droplet Accumulation And Film Cooling, Luz Irene Bugarin

Open Access Theses & Dissertations

During the summer, high inlet temperatures affect the power output of gas turbine systems. Evaporative coolers have gained popularity as an inlet cooling method for these systems. Wet compression has been one of the common evaporative cooling methods implemented to increase power output of gas turbine systems due to its simple installation and low cost. This process involves injection of water droplets into the continuous phase of compressor to reduce the temperature of the flow entering the compressor and in turn increase the power output of the whole gas turbine system. This study focused on a single stage rotor-stator compressor …

A Study Of Ti-Doped Wo3 Thin Films Using Comparative Theoretical And Experimental Approach, Aurelio Paez

Open Access Theses & Dissertations

Metal oxides like Tungsten Oxide (WO3) are well documented and characterized in the literature, with uses in darkening windows and mirrors, flat computer displays, solar panel cooling, and sensors (of interest in this study). Ti doping of WO3 is less documented and the focus of this study. Sample thin films of pure WO3 and varyingly Ti doped WO3 were prepared using Radio Frequency magnetron sputtering (RF) (13.56 MHz) to grow thin films on a silicon substrate. This study aims to compare multiple Ti doping percentages in WO3 theoretically and then compare with experimental data taken from thin films of various …

Evaluation Of Ozone Trends In Southern Doña Ana County, New Mexico Thru Wind Rose Analysis And Use Of Noaa Hysplit Model, Maria Aurelia Sisneros

Open Access Theses & Dissertations

The objective of this study was to determine whether increasing ozone concentrations in 2012 and 2013 at the Santa Teresa air quality monitor in Doña Ana County, New Mexico were due to a local point source impacting this monitor only or part of a regional phenomenon that affects all the monitors within the Paso del Norte Region. In addition, the study focused on identifying local and regional/long-range source areas contributing transport ozone to the study area (southern Doña Ana County).

The study showed that increasing ozone levels were not unique to the Santa Teresa monitor due to the fact that …

Why Ricker Wavelets Are Successful In Processing Seismic Data: Towards A Theoretical Explanation, Afshin Gholamy Salehabady

Open Access Theses & Dissertations

In many engineering applications ranging from engineering seismology to petroleum engineering and civil engineering, processing seismic data plays a key role. In processing seismic data, it turns out to be very efficient to describe the signal's spectrum as a linear combination of Ricker wavelet spectra.

In this Thesis, we provide a possible theoretical explanation for this empirical efficiency. Specifically, signal propagation through several layers is discussed, and it is shown that the Ricker wavelet is the simplest non-trivial solution for the corresponding data processing problem, under the condition that the described properties of the approximation family are satisfied.

Geochemical Studies Of Backfill Aggregates, Lake Sediment Cores And The Hueco Bolson Aquifer, Anita Thapalia

Open Access Theses & Dissertations

This Dissertation comprises of three different researches that focuses on the application of geochemistry from aggregates, lake sediment cores and Hueco Bolson Aquifer. Each study is independent and presented in the publication format. The first chapter is already published and the second chapter is in revision phase. Overall, three studies measure the large scale (field) as well as bench scale (lab) water-rock interactions influenced by the climatic and anthropogenic factors spans from the field of environmental geology to civil engineering.

The first chapter of this Dissertation addresses the chemical evaluation of coarse aggregates from six different quarries in Texas. The …

Permit Tool: Development Of An Algorithm To Determine Performance Life Of Hma Mixes In Texas, Luis Alberto Torres Escobedo

Open Access Theses & Dissertations

A number of hot mix asphalt (HMA) types, such as permeable friction course (PFC), stone mastic asphalt (SMA), performance design mixes and conventional dense graded mixes are currently used to construct or overlay Texas roads. One of the important inputs into current pavement design programs used by the Texas Department of Transportation (TxDOT) is the performance lives of HMA mixes. To determine the best mix type for a particular job or to analyze the performance of a mix or a road, a new system can be developed to rationally quantify the HMA mix performance. This system must have access to …

Predicting Propylene Loss With Inferential Model Development Using Design Of Experiments (Doe) And Historical Data, Jeffrey Allen Wheeler

Open Access Theses & Dissertations

Inferential models are a highly researched topic as the science of digital automation becomes more prevalent as information is in abundance. Welldeveloped inferred models can augment the use of analyzers in steady state processing and highly correlated ones can even replace online analytics. The use of design of experiments (DOE) inferred models with historical process data and a rigorous plant simulator can reduce the case study duration while achieving a high degree of accuracy. This paper uses surface response and full factorial models as the first step in model development, and then uses actual historical plant data to create a …