Engineering Commons^™

A Practical Approach To Automated Software Correctness Enhancement, Aleksandr Zakharchenko

Dissertations

To repair an incorrect program does not mean to make it correct; it only means to make it more-correct, in some sense, than it is. In the absence of a concept of relative correctness, i.e. the property of a program to be more-correct than another with respect to a specification, the discipline of program repair has resorted to various approximations of absolute (traditional) correctness, with varying degrees of success. This shortcoming is concealed by the fact that most program repair tools are tested on basic cases, whence making them absolutely correct is not clearly distinguishable from making them relatively more-correct. …

Scalable Scientific Data Management On High-Performance Computing Systems, Zhenbo Qiao

Dissertations

As high-performance computing (HPC) is being scaled up to exascale to accommodate new modeling and simulation needs, I/O has continued to be a major bottleneck in the end-to-end scientific processes. To bridge the widening gap between compute and I/O, and enable data to be more efficiently stored and analyzed, simulation outputs need to be refactored, reduced, and appropriately mapped to storage tiers. Also, a major question that the community is striving to answer is how to co-design data storage and complex physics-rich analytics in a way that the time to knowledge can be minimized in post-processing. As HPC storage systems …

Hydrodynamic Characterization Of Laboratory And Production Equipment For Pharmaceutical Testing And Manufacturing Using Experimental And Computational Approaches, Chadakarn Sirasitthichoke

Dissertations

The hydrodynamics of process units used in pharmaceutical industry, i.e., the distribution of velocity profiles and shear stresses within the vessel, often controls the process performance, significantly affecting product quality. The hydrodynamics is strongly influenced by several factors such as the vessel shape, stirrer type, presence of internals and baffles, agitation intensity, and liquid properties. Most of these parameters can be varied by the process designers and the operators to achieve the desired process outcomes. The impact of the hydrodynamics on the process outcome can be profound in both large vessels (e.g., reactors) and smaller vessels (e.g., dissolution vessels), involving …

Electric-Field-Driven Processes In Multiphase Fluid Systems, Qian Lei

Dissertations

Advantages of using electric fields in miniaturized apparatuses for a wide range of applications are revealed by numerous experimental and theoretical studies over the last several decades as it offers a simple and efficient method for manipulation of multiphase fluid systems. This approach is considered to be especially beneficial for control of boiling processes and colloidal suspensions considered in the presented work.

Boiling. Today's trends for enhancing boiling heat transfer in terrestrial and space applications focus on removal of bubbles to prevent formation of a vapor layer over the surface at a high overheat. In contrast, this dissertation presents a …

The Role Of Microorganisms In Rare Earth Elements Bioaccumulation, Maedeh Soleimanifar

Dissertations

Rare earth elements (REE) are valuable raw materials in our modern life. Extensive REE application from electronic devices to medical instruments and wind turbines, and non-uniform distribution of these resources around the world, make them strategically and economically important for countries. Current REE physical and chemical mining and recycling methods could have negative environmental consequences, and biologically-mediated techniques could be applied to overcome this issue.

In this research, the first objective is to investigate the bioextraction of cerium oxide and neodymium oxide nanoparticles (REE-NP) by a pure culture Methylobacterium extorquens AM1 (ATCC®14718™). Results show that adding up to 1,000 ppm …

Design And Learning-Based Decoding Of Low-Density-Parity-Check Codes For Multiterminal Communication, Salman Habib

Dissertations

The field of information theory was initiated by Claude Shannon in 1948. According to his most notable work, data can be transmitted reliably over a noisy communication channel with high probability, as long as a suitable coding scheme is employed to protect the data from channel noise. Since then, coding theorists have made numerous attempts to design low-complexity error correcting schemes which achieve the Shannon limit.

In the 1960s, Robert Gallager introduced sparse graph-based low-density-parity-check (LDPC) codes which are practically suitable for various coding applications, mainly due to their low encoding and decoding complexity compared to classical codes (e.g., Reed-Muller …

Bodipy Based Photodynamic Therapy And Potassium Probes, Xiangshan Liu

Dissertations

Boron dipyrromethene (BODIPY) has become more and more popular in photophysical and biological applications. BODIPY based fluorescence compounds have numerous advantage properties including low toxicity, high absorption extinction coefficients, high fluorescence quantum yields, sharp fluorescence emissions, and resistance to photobleaching. All the good properties lead to the wide applications of BODIPY based compounds. In this research, two different kinds of BODIPY are synthesized. Firstly, BDBrC containing carbazole and BODIPY core is synthesized. Cellular uptake research shows BDBrC can target on lysosome and singlet oxygen generation research result indicates that BDBrC can be used in photodynamic therapy. BDBrC also shows pH-sensitive …

Synthesis And Characterization Of Glycosaminoglycan Mimetic Variants For Cartilage Tissue Engineering Applications, Richard David Vincent Jr.

Dissertations

No abstract provided.

Itraconazole Nanocomposites Prepared Via Rotary Evaporator Drying Of Nanomilled Suspensions, Alexander Santos Coelho

Theses

The aim of this study is to explore the feasibility of rotary evaporation for drying wetmilled drug suspensions as a novel approach to produce drug nanocomposites that exhibit fast redispersion and immediate drug release. To this end, the physical stability of the nanomilled itraconazole (drug) suspensions, a.k.a., nanosuspensions, during the milling and storage; the drying of the itraconazole nanosuspensions via the rotary evaporator; and the type/loading of various polymers/surfactants (dispersants) on aqueous redispersion and drug release from the nanocomposites were examined. Our results suggest that smaller drug particle size, owing to nanomilling, and smaller nanocomposite particle size, owing to optimized …

Flexible Microfluidic Device With Nonplanar Interdigitated Microelectrodes, Saud Alssaidy

Theses

The lab-on-a-chip concept has improved significantly in recent years to meet global demand for various applications with the advent of new technologies. Much progress has been achieved, but many microfluidic devices still suffer from design limitations in terms of sensitivity and selectivity because they use rigid, fragile substrate materials and conventional electrodes, which do not provide high sensitivity or selectivity and suffer from signal-to-noise ratio issues. This work proposes a novel device architecture that uses flexible, transparent top and bottom layers integrated with (nonplanar interdigitated microelectrodes) to create a sandwich-like flexible substrate base. The top and bottom layers consist of …

Stem For All Showcase Report, Bruce G. Bukiet, James M. Lipuma

STEM Month

This article and the associated STEM for all showcase submission video (https://www.youtube.com/watch?v=Clps427rdDc) was presented at the NSF 2021 STEM FOR ALL COVID, Equity & Social Justice Conference, May 11-18.

This article provides a description of the development of the STEM in your Home project in the STEM for Success initiative.

Short-Term Crash Risk Prediction Considering Proactive, Reactive, And Driver Behavior Factors, Sina Darban Khales

Dissertations

Providing a safe and efficient transportation system is the primary goal of transportation engineering and planning. Highway crashes are among the most significant challenges to achieving this goal. They result in significant societal toll reflected in numerous fatalities, personal injuries, property damage, and traffic congestion. To that end, much attention has been given to predictive models of crash occurrence and severity. Most of these models are reactive: they use the data about crashes that have occurred in the past to identify the significant crash factors, crash hot-spots and crash-prone roadway locations, analyze and select the most effective countermeasures for reducing …

Colloidal Quantum Dot (Cqd) Based Mid-Wavelength Infrared Optoelectronics, Shihab Bin Hafiz

Dissertations

Colloidal quantum dot (CQD) photodetectors are a rapidly emerging technology with a potential to significantly impact today’s infrared sensing and imaging technologies. To date, CQD photodetector research is primarily focused on lead-chalcogenide semiconductor CQDs which have spectral response fundamentally limited by the bulk bandgap of the constituent material, confining their applications to near-infrared (NIR, 0.7-1.0 um) and short-wavelength infrared (SWIR, 1-2.5 um) spectral regions. The overall goal of this dissertation is to investigate a new generation of CQD materials and devices that advances the current CQD photodetector research toward the technologically important thermal infrared region of 3-5 ?m, known as …

Advances In Modeling Gas Adsorption In Porous Materials For The Characterization Applications, Max A. Maximov

Dissertations

The dissertation studies methods for mesoporous materials characterization using adsorption at various levels of scale and complexity. It starts with the topic introduction, necessary notations and definitions, recognized standards, and a literature review.

Synthesis of novel materials requires tailoring of the characterization methods and their thorough testing. The second chapter presents a nitrogen adsorption characterization study for silica colloidal crystals (synthetic opals). These materials have cage-like pores in the range of tens of nanometers. The adsorption model can be described within a macroscopic approach, based on the Derjaguin-Broekhoff-de Boer (DBdB) theory of capillary condensation. A kernel of theoretical isotherms is …

Gradient Free Sign Activation Zero One Loss Neural Networks For Adversarially Robust Classification, Yunzhe Xue

Dissertations

The zero-one loss function is less sensitive to outliers than convex surrogate losses such as hinge and cross-entropy. However, as a non-convex function, it has a large number of local minima, andits undifferentiable attribute makes it impossible to use backpropagation, a method widely used in training current state-of-the-art neural networks. When zero-one loss is applied to deep neural networks, the entire training process becomes challenging. On the other hand, a massive non-unique solution probably also brings different decision boundaries when optimizing zero-one loss, making it possible to fight against transferable adversarial examples, which is a common weakness in deep learning …

Multi-Stage Stochastic Optimization And Reinforcement Learning For Forestry Epidemic And Covid-19 Control Planning, Sabah Bushaj

Dissertations

This dissertation focuses on developing new modeling and solution approaches based on multi-stage stochastic programming and reinforcement learning for tackling biological invasions in forests and human populations. Emerald Ash Borer (EAB) is the nemesis of ash trees. This research introduces a multi-stage stochastic mixed-integer programming model to assist forest agencies in managing emerald ash borer insects throughout the U.S. and maximize the public benets of preserving healthy ash trees. This work is then extended to present the first risk-averse multi-stage stochastic mixed-integer program in the invasive species management literature to account for extreme events. Significant computational achievements are obtained using …

Towards Adversarial Robustness With 01 Lossmodels, And Novel Convolutional Neural Netsystems For Ultrasound Images, Meiyan Xie

Dissertations

This dissertation investigates adversarial robustness with 01 loss models and a novel convolutional neural net systems for vascular ultrasound images.

In the first part, the dissertation presents stochastic coordinate descent for 01 loss and its sensitivity to adversarial attacks. The study here suggests that 01 loss may be more resilient to adversarial attacks than the hinge loss and further work is required.

In the second part, this dissertation proposes sign activation network with a novel gradient-free stochastic coordinate descent algorithm and its ensembling model. The study here finds that the ensembling model gives a high minimum distortion (as measured by …

Stochastic Programming And Agent-Based Simulation Approaches For Epidemics Control And Logistics Planning, Xuecheng Yin

Dissertations

This dissertation addresses the resource allocation challenges of fighting against infectious disease outbreaks. The goal of this dissertation is to formulate multi-stage stochastic programming and agent-based models to address the limitations of former literature in optimizing resource allocation for preventing and controlling epidemics and pandemics. In the first study, a multi-stage stochastic programming compartmental model is presented to integrate the uncertain disease progression and the logistics of resource allocation to control a highly contagious infectious disease. The proposed multi-stage stochastic program, which involves various disease growth scenarios, optimizes the distribution of treatment centers and resources while minimizing the total expected …

Modeling Dewetting, Demixing, And Thermal Effects In Nanoscale Metal Films, Ryan Howard Allaire

Dissertations

Thin film dynamics, particularly on the nanoscale, is a topic of extensive interest. The process by which thin liquids evolve is far from trivial and can lead to dewetting and drop formation. Understanding this process involves not only resolving the fluid mechanical aspects of the problem, but also requires the coupling of other physical processes, including liquid-solid interactions, thermal transport, and dependence of material parameters on temperature and material composition. The focus of this dissertation is on the mathematical modeling and simulation of nanoscale liquid metal films, which are deposited on thermally conductive substrates, liquefied by laser heating, and subsequently …

Modeling And Design Optimization For Membrane Filters, Yixuan Sun

Dissertations

Membrane filtration is widely used in many applications, ranging from industrial processes to everyday living activities. With growing interest from both industrial and academic sectors in understanding the various types of filtration processes in use, and in improving filter performance, the past few decades have seen significant research activity in this area. Experimental studies can be very valuable, but are expensive and time-consuming, therefore theoretical studies offer potential as a cost-effective and predictive way to improve on current filter designs. In this work, mathematical models, derived from first principles and simplified using asymptotic analysis, are proposed for: (1) pleated membrane …

Shale Softening Based On Pore Network And Laboratory Investigations, Di Zhang

Dissertations

This dissertation consists of two major parts: Firstly, experimental investigation of four major shale softening mechanisms and quantifications of structural parameters. Secondly, numerical simulations of nano-scale flow behaviors using the previous experiments determined parameters based on modified pore network modeling.

Hydraulic fracturing is widely applied to economical gas production from shale reservoirs. Still, the gradual swelling of the clay micro/nano-pores due to retained fluid from hydraulic fracturing causes a gradual reduction of gas production. Four different gas-bearing shale samples are investigated to quantify the expected shale swelling due to hydraulic fracturing. These shale samples are subject to heated deionized (DI) …

Data-Driven Learning For Robot Physical Intelligence, Leidi Zhao

Dissertations

The physical intelligence, which emphasizes physical capabilities such as dexterous manipulation and dynamic mobility, is essential for robots to physically coexist with humans. Much research on robot physical intelligence has achieved success on hyper robot motor capabilities, but mostly through heavily case-specific engineering. Meanwhile, in terms of robot acquiring skills in a ubiquitous manner, robot learning from human demonstration (LfD) has achieved great progress, but still has limitations handling dynamic skills and compound actions. In this dissertation, a composite learning scheme which goes beyond LfD and integrates robot learning from human definition, demonstration, and evaluation is proposed. This method tackles …

Feedstock Powders For Reactive Structural Materials, Daniel Hastings

Dissertations

Metals as fuels have higher energy density per unit mass or volume compared to any hydrocarbon. At the same time, metals are common structural materials. Exploring metals as reactive structural materials may combine their high energy density with attractive mechanical properties. Preparing such materials, however, is challenging. Requirements that need to be met for applications include density, strength, and stability enabling the component to sustain the structure during its desired operation; added requirements are the amount and rate of the energy release upon impact or shock. Powder technology and additive manufacturing are approaches considered for design of reactive structural materials. …

Analysis Of Container Throughput: Demand Forecast And Seaport Competitiveness Assessment, Hussain Talat Sulaimani

Dissertations

Seaports play a crucial role in the container industry, where they act as important nodes in the transport chain to facilitate international trade. In a competitive market, port capacity plays a significant role in defining its competitive position to attract demand and avoid congestion. Failing to provide suitable capacity results in the loss of market share. Therefore, port decision-makers face the challenge of maintaining and developing suitable port facilities to provide efficient services to port users. One of the aspects that decision-makers consider in the planning and development process is analyzing container demand. The analysis of container demand can be …

Towards Understanding The Role Of Central Processing In Release From Masking, Nima Alamatsaz

Dissertations

People with normal hearing have the ability to listen to a desired target sound while filtering out unwanted sounds in the background. However, most patients with hearing impairment struggle in noisy environments, a perceptual deficit which current hearing aids and cochlear implants cannot resolve. Even though peripheral dysfunction of the ears undoubtedly contribute to this deficit, surmounting evidence has implicated central processing in the inability to detect sounds in background noise. Therefore, it is essential to better understand the underlying neural mechanisms by which target sounds are dissociated from competing maskers. This research focuses on two phenomena that help suppress …

Constructive Solution Methodologies To The Capacitated Newsvendor Problem And Surrogate Extension, Pinyuan Shan

Dissertations

The newsvendor problem is a single-period stochastic model used to determine the order quantity of perishable product that maximizes/minimizes the profit/cost of the vendor under uncertain demand. The goal is to fmd an initial order quantity that can offset the impact of backlog or shortage caused by mismatch between the procurement amount and uncertain demand. If there are multiple products and substitution between them is feasible, overstocking and understocking can be further reduced and hence, the vendor's overall profit is improved compared to the standard problem. When there are one or more resource constraints, such as budget, volume or weight, …

Towards Quality By Design (Qbd) Of Pharmaceutical Oral Films Loaded With Poorly Watersoluble Drugs, Eylul Cetindag

Dissertations

Oral films are an emerging drug delivery dosage form with numerous advantages such as ease of handling, the possibility to circumvent the first-pass metabolism, better patient compliance, capability for continuous manufacturing, and as a platform for personalized medicine. As films are different from other final dosages by their dimensions and their matrix form, further research is required to better understand the impact of excipient and drug on product performance to assure a consistent and good quality product. Therefore, this dissertation aims to contribute towards the processability and manufacturability of films by examining the impact of the materials and processes. First, …

Learning Of Radar System For Target Detection, Wei Jiang

Dissertations

In this dissertation, the problem of data-driven joint design of transmitted waveform and detector in a radar system is addressed. Two novel learning-based approaches to waveform and detector design are proposed based on end-to-end training of the radar system. The first approach consists of alternating supervised training of the detector for a fixed waveform and reinforcement learning of the transmitter for a fixed detector. In the second approach, the transmitter and detector are trained simultaneously. Various operational waveform constraints, such as peak-to-average-power ratio (PAR) and spectral compatibility, are incorporated into the design. Unlike traditional radar design methods that rely on …

Exploring Fused Deposition Modeling (Fdm) Three-Dimensional Printing Tablet Design Options For Pharmaceutical Dosage Forms, Guluzar Gorkem Buyukgoz

Dissertations

This dissertation examines the use of Fused Deposition Modeling (FDM) based three-dimensional (3D) printing approach for developing patient-specific dosage forms and addressing related technical challenges in such drug delivery systems. The first main objective is to explore pharmaceutical tablet design options using novel FDM 3D printing technology as the drug delivery platform such that drug form and tablet properties are tailored by considering patient age-specific formulations and dissolution control. Of the five different design options, two proposed options meet the main objective of providing similar drug release, whereas the popular option of fixed drug concentration but differing tablet size could …

Temporal Evolution Of Structure And Function In The Periphery And Central Auditory Systems With Mild Blast Induced Tinnitus In Rat Animal Models, Ningning Shao

Dissertations

Exposure to blast causes debilitating trauma including tinnitus among soldiers and civilians (Cave et al., 2007; Remenschneider et al., 2014; Singh et al., 2016). Tinnitus is a constant ringing noise perception without external acoustic event; it affects sleep, concentration, behavior, leading to suicidal tendencies (Swan et al., 2017). Though blast induced tinnitus has been studied, structural and functional dysfunctions along auditory systems have not been systematically studied. It was hypothesized in this work that blast causes tinnitus even while the ears are mechanically protected, and the damage occurred in both central and peripheral auditory systems, which contributed to increased anxiety …