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. …

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 …

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 …

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 …

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 …

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 …

Intermittent Dynamics Of Dense Particulate Matter, Chao Cheng

Dissertations

Granular particle systems are scattered around the universe, and they can behave like solids when there exist strong force-bearing networks, so that the granular system can resist certain stress without deformation. When such a network is not present, particles yield to small stress and behave like a fluid. A wide range of systems exhibit intermittent dynamics as they are slowly loaded, with different dynamical regimes governing many industrial and natural phenomena. While a significant amount of research on exploring intermittent dynamics of granular systems has been carried out, not much is known about the connection between particle-scale response and the …

Development Of Deep Learning Neural Network For Ecological And Medical Images, Shaobo Liu

Dissertations

Deep learning in computer vision and image processing has attracted attentions from various fields including ecology and medical image. Ecologists are interested in finding an effective model structure to classify different species. Tradition deep learning model use a convolutional neural network, such as LeNet, AlexNet, VGG models, residual neural network, and inception models, are first used on classifying bee wing and butterfly datasets. However, insufficient data sample and unbalanced samples in each class have caused a poor accuracy. To make improvement the test accuracy, data augmentation and transfer learning are applied. Recently developed deep learning framework based on mathematical morphology …

Safe Yield Comparisons For The 1960’S And 2000’S Drought In The Passaic River Basin, Stephanie R. Santos

Dissertations

The Passaic River Basin is a complex system of rivers, tributaries, reservoirs, and some of the largest water purveyors in the State of New Jersey. Located in the northeastern part of the State, it drains approximately 800 square miles of water that is used for distribution to the five major purveyors: North Jersey District Water Supply Commission, Passaic Valley Water Commission, Jersey City, Newark, and New Jersey American Water. These purveyors operate under a safe yield, which is defined by the New Jersey Department of Environmental Protection (NJDEP) as the amount of water that should be continuously available should the …

First-Principles Density Functional Theory Studies On Perovskite Materials, Aneer Lamichhane

Dissertations

Perovskites are a family of materials with a diverse combination of different elements. As a consequence, they exhibit numerous functionalities such as pyroelectric, piezoelectric, ferroelectric, and ferromagnetic with applications in photovoltaic cells, LEDs, superconductivity, colossal magneto-resistance, and topological insulators. After 2009, perovskites have gained notoriety as suitable materials for solar cells and alternative candidates to silicon-based conventional solar cells. Generally, oxide perovskites exhibit good dielectric properties, halide perovskites display good photonic qualities, and chalcogenide perovskites are used in applications in solid-state lighting, sensing, and energy harvesting. In this dissertation, various types of perovskites ranging from oxide to halide are investigated …

Optimizing Work Zone Schedules Considering Traffic Diversion With Artificial Bee Colony Algorithm, Celina Semaan

Dissertations

Highway maintenance activities often decrease roadway capacity and intrude traffic movements. The need to finish the project on time and under a specific budget while minimizing the traffic congestion and complying with the emission standards requires an appropriate work zone schedule optimization. The objective of this research is to improve the efficiency of work zone activities and minimize the total project cost including maintenance, user, and emission cost.

While previous studies investigated the work zone optimization problem, they did not consider the implementation of emission standards nor applied a green diversion strategy. This dissertation analyzes the optimization of work zone …

Intelligent And Secure Fog-Aided Internet Of Drones, Jingjing Yao

Dissertations

Internet of drones (IoD), which utilize drones as Internet of Things (IoT) devices, deploys several drones in the air to collect ground information and send them to the IoD gateway for further processing. Computing tasks are usually offloaded to the cloud data center for intensive processing. However, many IoD applications require real-time processing and event response (e.g., disaster response and virtual reality applications). Hence, data processing by the remote cloud may not satisfy the strict latency requirement. Fog computing attaches fog nodes, which are equipped with computing, storage and networking resources, to IoD gateways to assume a substantial amount of …

Deep Learning On Image Forensics And Anti-Forensics, Zhangyi Shen

Dissertations

Image forensics protect the authenticity and integrity of digital images. On the contrary, as the countermeasures of digital forensics, anti-forensics is applied to expose the vulnerability of forensics tools. Consequently, forensics researchers could develop forensics tools against possible new attacks. This dissertation investigation demonstrates two image forensics methods based on convolutional neural network (CNN) and two image anti-forensics methods based on generative adversarial network (GAN).

Detecting unsharp masking (USM) sharpened image is the first study in this dissertation. A CNN architecture comprises four convolutional layers and a classification module is proposed to discriminate sharpened images and unsharpened images. The results …

Investigation Of Topological Phonons In Discrete Mechanical Metamaterials, Kai Qian

Dissertations

The study of topological mechanical metamaterials is a new emerging field that focuses on the topological properties of artificial mechanical structures. Inspired by topological insulators, topological mechanism has attracted intensive attention in condensed matter physics and successfully connected the quantum mechanical descriptions of electrons with the classical descriptions of phonons. It has led to experiments of mechanical metamaterials possessing topological characteristics, such as topologically protected conducting edges or surfaces without back-scattering. This dissertation presents a new experimental approach for mechanically engineering topological metamaterials based on patterning magnetically coupled spinners in order to localize the propagation of vibrations and evaluate different …

Towards Improving The Security Of The Software Supply Chain, Hammad Afzali

Dissertations

A software supply chain comprises a series of steps performed to develop and distribute a software product. History has shown that each of these steps is vulnerable to attacks that can have serious repercussions and can affect many users at once. To address the attacks against the software supply chain, end users must be provided with verifiable guarantees about the individual steps of the chain and with assurances that the steps are securely chained together.

In this dissertation, the security of several individual steps in the software supply chain is enhanced. The first step of the chain, managing the source …

Improving Multi-Threaded Qos In Clouds, Weiwei Jia

Dissertations

Multi-threading and resource sharing are pervasive and critical in clouds and data-centers. In order to ease management, save energy and improve resource utilization, multi-threaded applications from different tenants are often encapsulated in virtual machines (VMs) and consolidated on to the same servers. Unfortunately, despite much effort, it is still extremely challenging to maintain high quality of service (QoS) for multi-threaded applications of different tenants in clouds, and these applications often suffer severe performance degradation, poor scalability, unfair resource allocation, and so on.

The dissertation identifies the causes of the QoS problems and improves the QoS of multi-threaded execution with three …

Coordination, Adaptation, And Complexity In Decision Fusion, Weiqiang Dong

Dissertations

A parallel decentralized binary decision fusion architecture employs a bank of local detectors (LDs) that access a commonly-observed phenomenon. The system makes a binary decision about the phenomenon, accepting one of two hypotheses (H0 (“absent”) or H1 (“present”)). The k 1 LD uses a local decision rule to compress its local observations yk into a binary local decision uk; uk = 0 if the k 1 LD accepts H0 and uk = 1 if it accepts H1. The k 1 LD sends its decision uk over a noiseless dedicated channel to a Data Fusion Center (DFC). The DFC combines the …

Drone-Assisted Emergency Communications, Di Wu

Dissertations

Drone-mounted base stations (DBSs) have been proposed to extend coverage and improve communications between mobile users (MUs) and their corresponding macro base stations (MBSs). Different from the base stations on the ground, DBSs can flexibly fly over and close to MUs to establish a better vantage for communications. Thus, the pathloss between a DBS and an MU can be much smaller than that between the MU and MBS. In addition, by hovering in the air, the DBS can likely establish a Line-of-Sight link to the MBS. DBSs can be leveraged to recover communications in a large natural disaster struck area …

A Deep Machine Learning Approach For Predicting Freeway Work Zone Delay Using Big Data, Abdullah Shabarek

Dissertations

The introduction of deep learning and big data analytics may significantly elevate the performance of traffic speed prediction. Work zones become one of the most critical factors causing congestion impact, which reduces the mobility as well as traffic safety. A comprehensive literature review on existing work zone delay prediction models (i.e., parametric, simulation and non-parametric models) is conducted in this research. The research shows the limitations of each model. Moreover, most previous modeling approaches did not consider user delay for connected freeways when predicting traffic speed under work zone conditions. This research proposes Deep Artificial Neural Network (Deep ANN) and …

Dances And Escape Of The Vortex Quartet, Brandon Behring

Dissertations

This dissertation considers the linear stability of a one-parameter family of periodic solutions of the four-vortex problem known as 'leapfrogging' orbits. These solutions, which consist of two pairs of identical yet oppositely-signed vortices, were known to W. Gröbli (1877) and A. E. H. Love (1883) and can be parameterized by a dimensionless parameter related to the geometry of the initial configuration. Simulations by Acheson and numerical Floquet analysis by Tophøj and Aref both indicate, to many digits, that the bifurcation occurs at a value related to the inverse square of the golen ratio. Acheson observed that, after an initial period …

Characterizing Reactive Iron Mineral Coatings And Their Roles In Natural Attenuation At A Site With Historical Contamination, Han Hua

Dissertations

Reactive iron mineral coatings in redox transition zones play an important role in contaminant attenuation. These mineral coatings include poorly crystalline to crystalline iron sulfides, carbonates, and oxyhydroxides, and are a signature of the biogeochemical processes occurring. To better understand these processes, reactive iron mineral coatings are characterized in an 18-m Anaerobic Core collected from a contaminated industrial site. This study targets redox transition zones uncovered in the core. A suite of complementary analyses is applied to distinguish the surface coating mineralogy using X-ray Diffraction, X-ray fluorescence, and field-emission scanning electron microscopy (FESEM) with energy dispersive X-ray analyzer (EDX). In …

The Aging And Impacts Of Atmospheric Soot: Closing The Gap Between Experiments And Models, Ogochukwu Yvonne Enekwizu

Dissertations

The main goal of this dissertation is to generate data and parameterizations to accurately represent soot aerosols in atmospheric models. Soot from incomplete combustion of fossil fuels and biomass burning is a major air pollutant and a significant contributor to climate warming. The environmental impacts of soot are strongly dependent on the particle morphology and mixing state, which evolve continuously during atmospheric transport via a process known as aging. To make predictions of soot impacts on the environment, most atmospheric models adopt simplifications of particle structure and mixing state, which lead to substantial uncertainties. Using an experimentally constrained modeling approach, …

Performance Optimization Of Big Data Computing Workflows For Batch And Stream Data Processing In Multi-Clouds, Huiyan Cao

Dissertations

Workflow techniques have been widely used as a major computing solution in many science domains. With the rapid deployment of cloud infrastructures around the globe and the economic benefits of cloud-based computing and storage services, an increasing number of scientific workflows have migrated or are in active transition to clouds. As the scale of scientific applications continues to grow, it is now common to deploy various data- and network-intensive computing workflows such as serial computing workflows, MapReduce/Spark-based workflows, and Storm-based stream data processing workflows in multi-cloud environments, where inter-cloud data transfer oftentimes plays a significant role in both workflow performance …

Modeling Mass Transfer And Chemical Reaction In Industrial Nitrocellulose Manufacturing Processes, Francis Patrick Sullivan

Dissertations

A series of models are proposed to describe the production of military grade nitrocellulose from dense cellulose materials in mixtures of nitric acid, sulfuric acid, and water. This effort is conducted to provide a predictive capability for analyzing the rate and extent of reaction achieved under a range of reaction conditions used in the industrial nitrocellulose manufacturing process for sheeted cellulose materials. Because this capability does not presently exist, nitrocellulose producers have historically relied on a very narrow range of cellulose raw materials and resorted to trial and error methods to develop processing conditions for new materials. This tool enables …

Countering Internet Packet Classifiers To Improve User Online Privacy, Sina Fathi-Kazerooni

Dissertations

Internet traffic classification or packet classification is the act of classifying packets using the extracted statistical data from the transmitted packets on a computer network. Internet traffic classification is an essential tool for Internet service providers to manage network traffic, provide users with the intended quality of service (QoS), and perform surveillance. QoS measures prioritize a network's traffic type over other traffic based on preset criteria; for instance, it gives higher priority or bandwidth to video traffic over website browsing traffic. Internet packet classification methods are also used for automated intrusion detection. They analyze incoming traffic patterns and identify malicious …