Engineering Commons^™

Deciding Joinability Modulo Ground Equations In Operational Type Theory, Adam Petcher, Aaron Stump

All Computer Science and Engineering Research

Operational Type Theory (OpTT) can be used to construct and check proofs related to programs, but the development of these proofs can be somewhat tedious. An algorithm is presented that can be used to automatically generate proofs of equality in OpTT. The algorithm takes as input a set of ground equations and two terms that should be tested for joinability modulo the supplied ground equations. The algorithm will equate the terms if and only if there exists an OpTT proof that can equate the two terms using only the proof rules related to evaluation under the operational semantics, symmetry, transitivity, …

Forecasting Model For Air Taxi, Commercial Airline, And Automobile Demand In The United States, Hojong Baik, Antonio A. Trani, Nicolas Hinze, Howard Swingle, Senanu Ashiabor, Anand Seshadri

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

A nationwide model predicts the annual county-to-county person roundtrips for air taxi, commercial airline, and automobile at 1-year intervals through 2030. the transportation systems analysis model (TSAM) uses the four-step transportation systems modeling process to calculate trip generation, trip distribution, and mode choice for each county origin-destination pair. Network assignment is formulated for commercial airline and air taxi demand. TSAM classifies trip rates by trip purpose, household income group, and type of metropolitan statistical area from which the round-trip started. a graphical user interface with geographic information systems capability is included in the model. Potential applications of the model are …

Detailed Characterization Of The Mouse Embryonic Stem Cell Transcriptome Reveals Novel Genes And Intergenic Splicing Associated With Pluripotency, Galih Kunarso, Kee-Yew Wong, Lawrence W. Stanton, Leonard Lipovich

Wayne State University Associated BioMed Central Scholarship

Abstract

Background

Transcriptional control of embryonic stem (ES) cell pluripotency has been a subject of intense study. Transcriptional regulators including Oct4 (Oct3/4 index), Sox2 and Nanog are fundamental for maintaining the undifferentiated state. However, the ES cell transcriptome is not limited to their targets, and exhibits considerable complexity when assayed with microarray, MPSS, cDNA/EST sequencing, and SAGE technologies. To identify novel genes associated with pluripotency, we globally searched for ES transcripts not corresponding to known genes, validated their sequences, determined their expression profiles, and employed RNAi to test their function.

Results

Gene Identification Signature (GIS) analysis, a SAGE derivative distinguished …

Ceg 404/604-01: Wireless Sensor Networks, Bin Wang

Computer Science & Engineering Syllabi

No abstract provided.

Ceg 860-01: Object-Oriented Programming, Krishnaprasad Thirunarayan

Computer Science & Engineering Syllabi

This course motivates the need for object-oriented programming, and studies, in detail, object-oriented programming techniques, languages, and technology. The lectures will focus on the foundations of OOP, while the student presentations will focus on the applications and extensions of Object Technology.

Ceg 411/611-01: Microprocessor-Based System Design, Jack Jean

Computer Science & Engineering Syllabi

No abstract provided.

Heterogeneous Catalyzed Macromolecular Hydrogenations In Oscillating Systems, Alan Bussard

LSU Doctoral Dissertations

An examination of novel oscillatory (alternating gas and liquid phase) reactors and heterogeneous catalysts for multi-phase macromolecular reactions was carried out. A monolith-containing square die with Pd/Al2O3 catalysts was used to successfully hydrogenate poly(styrene) (PS). The inherent pulse behavior of the extruder was found to be sufficient to approach intrinsic kinetics at low polymer concentrations. At higher (10 wt% PS) concentrations, forced pulsing was shown to have a greater impact on observed reaction rates. Selectivity with this extruder-fed reactor was better than with a stirred tank in all cases, due to a more plug-flow-like residence time distribution. While accurate control …

Cryopreservation Of Adipose Derived Adult Stem Cells And Multidimensional Cell Sheets, Sreedhar Thirumala

LSU Doctoral Dissertations

Human adipose tissue provides a uniquely abundant and accessible source of adult stem cells. In response to chemical, hormonal or structural stimuli, these human adipose-derived adult stem (ASCs) cells can differentiate along multiple lineage pathways, including adipocytes, chondrocytes, myocytes, neurons and osteoblasts. Successful cryopreservation of scientifically and commercially important ASCs would revolutionize the tissue engineering and regenerative medicine industry. In this research, we have investigated the water transport phenomenon during freezing of several passages of adipose derived adult stem cells and generated the membrane permeability parameters in the presence and absence of cryoprotective agents. These measured permeability parameters were then …

Catalytic Synthesis Of Ethanol From Biomass-Derived Syngas, Adefemi Adelanwa Egbebi

LSU Doctoral Dissertations

Syngas produced by gasification of biomass or coal can be converted directly to ethanol and higher alcohols by processes based on heterogeneous catalysts. Ethanol can be used as a neat fuel or fuel additive or as a hydrogen carrier. Rhodium-based catalysts have been found to be most selective for the formation of C₂ oxygenates from the hydrogenation of CO when suitably promoted. Here, we explore the effects of Mn, Fe, and Li promoters on Rh/TiO₂. Rh-TiO₂, Rh-Li/TiO₂, Rh-Mn/TiO₂, Rh-Mn-Li/TiO₂ and Rh-Mn-Li-Fe/TiO₂ catalysts were tested for the hydrogenation of CO …

Expectation-Maximization Optical Tomosynthetic Volume Imaging, Philip M. Hanna

Browse all Theses and Dissertations

Optical tomosynthetic imaging of 3-D objects from disparate 2-D images has been limited in the past by a lack of algorithmic enforcement of physical constraints, in particular within-scene obscuration and object self-occlusion. This paper presents a stochastic observation model of a tomosynthetic collection that explicitly includes an obscuration operator that is unknown by the sensor. The expectation-maximization algorithm is used to iteratively estimate the obscuration operator and to reconstruct the 3-D volume of interest. Explicit inclusion of obscuration effects greatly enhances the spatial and spectral accuracy of 3-D results without use of costly post-processing techniques. Performance metrics are introduced and …

Botminer: Clustering Analysis Of Network Traffic For Protocol- And Structure-Independent Botnet Detection, Guofei Gu, Roberto Perdisci, Junjie Zhang, Wenke Lee

Computer Science and Engineering Faculty Publications

Botnets are now the key platform for many Internet attacks, such as spam, distributed denial-of-service (DDoS), identity theft, and phishing. Most of the current botnet detection approaches work only on specific botnet command and control (C&C) protocols (e.g., IRC) and structures (e.g., centralized), and can become ineffective as botnets change their C&C techniques. In this paper, we present a general detection framework that is independent of botnet C&C protocol and structure, and requires no a priori knowledge of botnets (such as captured bot binaries and hence the botnet signatures, and C&C server names/addresses). We start from the definition and essential …

Effect Of Carbon Nanofiber-Matrix Adhesion On Polymeric Nanocomposite Properties—Part Ii, Khalid Lafdi, William Fox, Matthew Matzek, Emel Yildiz

Chemical and Materials Engineering Faculty Publications

A successful integration of two independent phases with good adhesion is imperative for effective translation of superior carbon nanofiber filler properties into a physically superior carbon nanocomposite. Carbon nanofibers were subjected to electrochemical oxidation in 0.1 M nitric acid for varying times.

The strength of adhesion between the nanofiber and an epoxy matrix was characterized by flexural strength and modulus. The surface functional groups formed and their concentration of nanofibers showed a dependence on the degree of oxidation. The addition of chemical functional groups on the nanofiber surface allows them to physically and chemically adhere to the continuous resin matrix. …

Carbon Nanoadditives To Enhance Latent Energy Storage Of Phase Change Materials, Shadab Shaikh, Khalid Lafdi, Kevin P. Hallinan

Chemical and Materials Engineering Faculty Publications

Latent energy storage capacity was analyzed for a system consisting of carbon nanoparticlesdopedphase changematerials (PCMs). Three types of samples were prepared by doping shell wax with single wall carbon nanotubes(SWCNTs), multiwall CNTs, and carbon nanofibers. Differential scanning calorimetry was used to measure the latent heat of fusion. The measured values of latent heat for all the samples showed a good enhancement over the latent heat of pure wax. A maximum enhancement of approximately 13% was observed for the wax/SWCNT composite corresponding to 1% loading of SWCNT. The change in latent heat was modeled by using an approximation for the intermolecular …

Nitrogen And Hydrogen Plasma Treatments Of Multiwalled Carbon Nanotubes, John G. Jones, A. R. Waite, Christopher Muratore, Andrey A. Voevodin

Chemical and Materials Engineering Faculty Publications

This article investigates plasma treatment of vertically aligned multiwall carbon nanotube (CNT) films in different plasma environments for modification of surface chemistry and morphology. The surfaces of the CNTs were functionalized with a pulsed dc plasma treatment, where the power was directly applied to the nanotube film in low pressure argon/nitrogen and argon/hydrogen backgrounds. Optical emission spectroscopy was used to detect atomic and molecular excitations in the gas mixtures as well as in pure gases in the vicinity of the CNT films. In situx-ray photoelectron spectroscopy was performed on the treated samples to examine CNT surface chemistry after treatment. …

Focused Follow-Up To 2005 National Capstone Survey, Susannah Howe

Engineering: Faculty Publications

This work details a survey of engineering capstone design courses focused on faculty teaching load and capstone funding levels. The survey was distributed to the attendees of the inaugural National Capstone Design Course Conference in June 2007. The survey yielded responses from 59 participants, representing 45 institutions. The results of the survey provide valuable insight into number and duration of design projects, team size, capstone teaching credit, faculty involvement, direct project costs, and external funding levels.

A New Method Of Synthesizing Black Birnessite Nanoparticles: From Brown To Black Birnessite With Nanostructures, Marcos A. Cheney, Pradip K. Bhowmik, Shizhi Qian, Sang W. Joo, Wensheng Hou, Joseph M. Okoh

Mechanical & Aerospace Engineering Faculty Publications

A new method for preparing black birnessite nanoparticles is introduced. The initial synthesis process resembles the classical McKenzie method of preparing brown birnessite except for slower cooling and closing the system from the ambient air. Subsequent process, including wet-aging at 7° C for 48 hours, overnight freezing, and lyophilization, is shown to convert the brown birnessite into black birnessite with complex nanomorphology with folded sheets and spirals. Characterization of the product is performed by X-ray diffraction (XRD), transmission electron microscopy (TEM), high-resolution transmission electron microscopy (HRTEM), thermogravimetric analysis (TGA), and N(2) adsorption ( BET) techniques. Wet-aging and lyophilization times are …

The Effect Of Stirring On The Morphology Of Birnessite Nanoparticles, Marcos A. Cheney, Pradip K. Bhowmik, Shingo Moriuchi, Mario Villabos, Shizhi Qian, Sang W. Joo

Mechanical & Aerospace Engineering Faculty Publications

The effect of mechanical stirring on the morphology of hexagonal layer- structure birnessite nanoparticles produced from decomposition of KMnO₄ in dilute aqueous H₂SO₄ is investigated, with characterization by X- ray diffraction (XRD), scanning electron microscopy (SEM), transmission electron microscopy (TEM), high- resolution transmission electron microscopy (HRTEM), thermogravimetric analysis (TGA), and N₂ adsorption (BET). Mechanical stirring during an initial stage of synthesis is shown to produce black birnessite containing nanofibers, whereas granular particulates of brown birnessite are produced without stirring. This is the first reduction synthesis of black birnessite nanoparticles with dendritic morphology without any use …

Screening The Phytoremediation Potential Of Native Plants Growing On Mine Tailings In Arizona, Usa, Md Nazmul Haque

Open Access Theses & Dissertations

Mining companies have been playing an important role for the utilization of the Earth's natural resources for the prosperity of human society. However, the mining of resources has generated solid wastes called tailings that have become a serious environmental threat worldwide. Technologies such as soil caping have been used to remediate the problem. Nevertheless, the remediation of mine tailings using conventional technologies is costly and environmentally unpleasant. Since the last few decades, a plant based technology known as phytoremediation has appeared as a promising alternative. Several plant species have demonstrated to have phytoremediation capabilities; though, best results have been obtained …

Quantifying Anisotropy In Asphalt Concrete Pavements Using An Ultrasonic Method, Monica C. Jurado

Open Access Theses & Dissertations

Asphalt concrete is a bonded granular material whose internal structure is anisotropic. Such anisotropy is due to anisotropic particles and void's structure, particle distribution and orientation, and restrain and force pattern used during compaction. Even with this knowledge asphalt concrete design is made considering asphalt concrete as an isotropic material. The biggest difference between an isotropic and anisotropic material is that, an isotropic material is characterized by two independent constants and an anisotropic material could be characterized by up to 81 constants. An extensive research to characterize and quantify anisotropy is only available for some composite materials. Based on the …

Expert System Design Guide For Lower Classification Roads Over High Pi Clays, Yaqi Wanyan

Open Access Theses & Dissertations

This research was focused on low-volume roads over expansive clayey soils in Texas. In spite of the redundant pavement designs recommended and widely used in Texas for roads in high PI clay areas, these pavements often fail prematurely. This failure occurs primarily because of the highly variable properties of the clayey subgrade throughout the year due to moisture fluctuations. The problematic nature of high PI clays, despite the fact that volumetric changes such as heaving are sometime considered in the design, is of concern since they contribute to roughness and longitudinal shrinkage cracking of the road, and as such the …

Homography Based Multiple Camera Detection Of Camouflaged Targets, Jesus Flores Guerra

Open Access Theses & Dissertations

This Thesis proposes an improvement on segmentation of camouflaged objects by combining information from multiple static cameras with overlapping views onto a common reference plane. Previous camouflage detection work relies on a single camera and focuses on pattern recognition, gray level co-occurrence matrix (GLCM) computation, convexity detection and operations such as connected components or morphology. These methods make real-time implementation computationally expensive. The proposed work diverges from these techniques, taking advantage of the added information from several viewpoints. Background subtraction is performed on each individual camera and then, the segmentation result is transformed onto a common plane using homography. A …

Audio And Video Tempo Analysis For Dance Detection, Ryan Faircloth

Electronic Theses and Dissertations

The amount of multimedia in existence has become so extensive that the organization of this data cannot be performed manually. Systems designed to maintain such quantity need superior methods of understanding the information contained in the data. Aspects of Computer Vision deal with such problems for the understanding of image and video content. Additionally large ontologies such as LSCOM are collections of feasible high-level concepts that are of interest to identify within multimedia content. While ontologies often include the activity of dance it has had virtually no coverage in Computer Vision literature in terms of actual detection. We will demonstrate …

Inter-Satellite Microwave Radiometer Calibration, Liang Hong

Electronic Theses and Dissertations

The removal of systematic brightness temperature (Tb) biases is necessary when producing decadal passive microwave data sets for weather and climate research. It is crucial to achieve Tb measurement consistency among all satellites in a constellation as well as to maintain sustained calibration accuracy over the lifetime of each satellite sensor. In-orbit inter-satellite radiometric calibration techniques provide a long term, group-wise solution; however, since radiometers operate at different frequencies and viewing angles, Tb normalizations are made before making intermediate comparisons of their near-simultaneous measurements. In this dissertation, a new approach is investigated to perform these normalizations from one satellite's measurements …

Effects Of Orthophosphate Corrosion Inhibitor In Blended Water Quality Environments, Erica Stone

Electronic Theses and Dissertations

This study evaluated the effects of orthophosphate (OP) inhibitor addition on iron, copper, and lead corrosion on coupons exposed to different blends of groundwater, surface water, and desalinated seawater. The effectiveness of OP inhibitor addition on iron, copper, and lead release was analyzed by statistical comparison between OP treated and untreated pilot distribution systems (PDS). Four different doses of OP inhibitor, ranging from zero (control) to 2 mg/L as P, were investigated and non-linear empirical models were developed to predict iron, copper, and lead release from the water quality and OP doses. Surface characterization evaluations were conducted using X-ray Photoelectron …

A Framework To Align Strategy, Improvement Performance, And Customer Satisfaction Using An Integration Of Six Sigma And Balanced, Adriana Rodriguez

Electronic Theses and Dissertations

This dissertation investigated the development, implementation, and evaluation of a management methodology founded on the alignment among the strategy, performance, and customer to bring value to any organization. A case study/action research in a service organization, called Institution "Z," provided the opportunity to assess the effects of the proposed Six Sigma Scorecard (SSS) methodology in the productivity indicators (measured by cycle time, line capacity, and number of errors). The Case study/action research was conducted in three phases: Model and Concepts Design, Data Collection, and Findings. During the research, validity was pursued by using triangulation and theory to help maintain the …

Information Retrieval Performance Enhancement Using The Average Standard Estimator And The Multi-Criteria Decision Weighted Set, Tareq Ahram

Electronic Theses and Dissertations

Information retrieval is much more challenging than traditional small document collection retrieval. The main difference is the importance of correlations between related concepts in complex data structures. These structures have been studied by several information retrieval systems. This research began by performing a comprehensive review and comparison of several techniques of matrix dimensionality estimation and their respective effects on enhancing retrieval performance using singular value decomposition and latent semantic analysis. Two novel techniques have been introduced in this research to enhance intrinsic dimensionality estimation, the Multi-criteria Decision Weighted model to estimate matrix intrinsic dimensionality for large document collections and the …

Effects Of Internal Oxidation On Thermo-Mechanical Properties Of Atmospheric Plasma Sprayed Conicraly Coatings, Travis Patterson

Electronic Theses and Dissertations

Thermal barrier coatings (TBC) with MCrAlY (M=Co and/or Ni) bond coats have been widely used in hot sections of gas turbines to protect underlying superalloys from high temperatures, oxidation, and hot corrosion. Deposition of MCrAlY bond coats using atmospheric plasma spray (APS), as oppose to conventionally employed vacuum/low-pressure plasma spray and high velocity oxy-fuel deposition, allows greater flexibility in ability to coat economically and rapidly for parts with complex geometry including internal surfaces. There were three objectives of this study. First, relationships between APS spray parameters and coating microstructure was examined to determine optimum spray parameters to deposit APS CoNiCrAlY …

Design And Experimental Study Of An Integrated Vapor Chamber -" Thermal Energy Storage System, Krishna Kota

Electronic Theses and Dissertations

Future defense, aerospace and automotive technologies involve electronic systems that release high pulsed waste heat like during high power microwave and laser diode applications in tactical and combat aircraft, and electrical and electronic systems in hybrid electric vehicles, which will require the development of an efficient thermal management system. A key design issue is the need for fast charging so as not to overheat the key components. The goal of this work is to study the fabrication and technology implementation feasibility of a novel high energy storage, high heat flux passive heat sink. Key focus is to verify by theory …

Thermal Modeling And Laser Beam Shaping For Microvias Drilling In High Density Packaging, Chong Zhang

Electronic Theses and Dissertations

Laser drilling of microvias for organic packaging applications is studied in present research. Thermal model is essential to understand the laser-materials interactions and to control laser drilling of blind micro holes through polymeric dielectrics in multilayer electronic substrates. In order to understand the profile of the drilling front irradiated with different laser beam profiles, a transient heat conduction model including vaporization parameters is constructed. The absorption length in the dielectric is also considered in this model. Therefore, the volumetric heating source criteria are applied in the model and the equations are solved analytically. The microvia drilling speed, temperature distribution in …

Evaluating Tactical Combat Casualty Care Training Treatments Effects On Combat Medic Trainees In Light Of Select Human Descripti, Teresita Sotomayor

Electronic Theses and Dissertations

The use of military forces in urban operations has increased considerably over the past years. As illustrated by the current conflict in Iraq, the Army finds itself fighting its toughest battles in urban areas facing unconventional forces. Soldiers face many threats in hostile fire environments, whether conducting large-scale mechanized warfare, low-intensity conflicts, or operations other than war. Through 1970, there has been no demonstrable reduction in battlefield mortality rate as a percentage of all casualties since data was kept since before the Civil War. For that period of time, nearly all the reduction in overall mortality rate occurred through reduced …