Engineering Commons^™

Stamina: Stochastic Approximate Model-Checker For Infinite-State Analysis, Thakur Neupane

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Reliable operation of every day use computing system, from simple coffee machines to complex flight controller system in an aircraft, is necessary to save time, money, and in some cases lives. System testing can check for the presence of unwanted execution but cannot guarantee the absence of such. Probabilistic model checking techniques have demonstrated significant potential in verifying performance and reliability of various systems whose execution are defined with likelihood. However, its inability to scale limits its applicability in practice.

This thesis presents a new model checker, STAMINA, with efficient and scalable model truncation for probabilistic verification. STAMINA uses a …

System Of Systems (Sos) Architecture For Digital Manufacturing Cybersecurity, Lirim Ashiku, Cihan H. Dagli

Engineering Management and Systems Engineering Faculty Research & Creative Works

Technology advancements of real time connectivity and computing powers has evolved the way people manage activities triggering heavy reliance on smart devices. This has reshaped the ability to memorize crucial information, instead accumulate the information into devices allowing real-time fingertip access when needed. Inability to access such information when needed is routinely assumed with device malfunctioning bypassing the probability of compromise, but what if the information is now being accessed by adversaries depriving the data-owner access to crucial information? Cyber manufacturing systems are not immune from these issues. It is possible to approach this problem as generating SoS meta-architecture. In …

Bioactive Glass Fiber Fabrication Via A Combination Of Sol-Gel Process With Electro-Spinning Technique, Malvika Nagrath, Adel Alhalawani, Alireza Rahimnejad Yazdi, Mark R. Towler

Chemical and Biochemical Engineering Faculty Research & Creative Works

No abstract provided.

Cyber-Enabled Product Lifecycle Management: A Multi-Agent Framework, Vishwa V. Kumar, Avimanyu Sahoo, Frank W. Liou

Mechanical and Aerospace Engineering Faculty Research & Creative Works

Trouble free use of a product and its associated services for a specified minimum period of time is a major factor to win the customer's trust in the product. Rapid and easy serviceability to maintain its functionalities plays a key role in achieving this goal. However, the sustainability of such a model cannot be promised unless the current health status of the product is monitored and condition-based maintenance is exercised. Internet of Things (IoT), an important connectivity paradigm of recent times, which connects physical objects to the internet for real-time information exchange and execution of physical actions via wired/wireless protocols. …

Predictive Model For Thermal And Stress Field In Selective Laser Melting Process -- Part I, Lan Li, Lei Yan, Wenyuan Cui, Yitao Chen, Tan Pan, Xinchang Zhang, Aaron Flood, Frank W. Liou

Mechanical and Aerospace Engineering Faculty Research & Creative Works

During the part forming in laser powder bed fusion process, thermal distortion is one big problem due to the thermal stress which is caused by the high cooling rate and temperature gradient. Therefore, it is important to know the effect of process parameters on thermal and stress evolution in the melt zone. In this paper, a 3D finite element model for Selective Laser Melting (SLM) process based on sequentially coupled thermo-mechanical field analysis was developed for accurately predicting thermal history and surface features, like distortion and residual stress. Temperature dependent material properties for performed material 304L stainless steel are incorporated …

Fusion Of Interpolated Frames Superresolution In The Presence Of Atmospheric Optical Turbulence, Russell C. Hardie, Michael A. Rucci, Barry K. Karch, Alexander J. Dapore, Douglas R. Droege, Joseph C. French

Electrical and Computer Engineering Faculty Publications

An extension of the fusion of interpolated frames superresolution (FIF SR) method to perform SR in the presence of atmospheric optical turbulence is presented. The goal of such processing is to improve the performance of imaging systems impacted by turbulence. We provide an optical transfer function analysis that illustrates regimes where significant degradation from both aliasing and turbulence may be present in imaging systems. This analysis demonstrates the potential need for simultaneous SR and turbulence mitigation (TM). While the FIF SR method was not originally proposed to address this joint restoration problem, we believe it is well suited for this …

Customization Of Aneurysm Scaffold Geometries For In Vitro Tissue-Engineered Blood Vessel Mimics To Use As Models For Neurovascular Device Testing, Camille D. Villadolid

Master's Theses

Cerebral aneurysms occur due to the ballooning of blood vessels in the brain. Rupture of aneurysms can cause a subarachnoid hemorrhage, which, if not fatal, can cause permanent neurologic deficits. Minimally invasive neurovascular devices, such as embolization coils and flow diverters, are methods of treatment utilized to prevent aneurysm rupture. The rapidly growing market for neurovascular devices necessitates the development of accurate aneurysm models for preclinical testing. In vivo models, such as the rabbit elastase model, are commonly chosen for preclinical device testing; however, these studies are expensive, and aneurysm geometries are difficult to control and often do not replicate …

Load Variation Reduction By Aggregation In A Community Of Rooftop Pv Residences, Huangjie Gong, Vandana Rallabandi, Dan M. Ionel

Power and Energy Institute of Kentucky Faculty Publications

This paper performs computational studies and develops control schemes for a virtual power plant (VPP) network formed by a community of homes with rooftop solar PV generation, and battery energy storage. Appropriate control and scheduling of the battery operations, and peer-peer power flow between the homes provide a possible solutions for reducing the higher costs and uncertainties brought to grid by high solar PV penetration. The residential community studied here includes twelve homes categorized into four types depending on whether they have energy storage or rooftop solar PV panels. The homes exchange power among themselves, and the real-time electricity rate …

Use Of Rice Husk Ash (Rha) In Flowable Fill Concrete Mix Material, Zahid Hossain, Kazi Tamzidul Islam

Data

Corresponding data set for Tran-SET Project No. 18CASU03. Abstract of the final report is stated below for reference:

"In the way of finding sustainable development, the flowable fill is a relatively new construction technology. Flowable fill is a self-compacting material, which has been developed in recent years. Flowable fill has been used for different applications such as backfilling walls, sewer trenches, bridge abutments, conduit trenches, pile excavations, and retaining walls. This study examines the potential uses of Rice Husk Ash (RHA) as a sustainable cementitious material (SCM) in the preparation of flowable fill concrete. (RHA is an agricultural by-product of …

Self-Healing Concrete Using Encapsulated Bacterial Spores In A Simulated Hot Subtropical Climate, Marwa Hassan, Jose Milla, Tyson Rupnow, Ahsennur Soysal

Data

Corresponding data set for Tran-SET Project No. 18CLSU02. Abstract of the final report is stated below for reference:

"Bacterial concrete has become one of the most promising self-healing alternatives due to its capability to seal crack widths through microbial induced calcite precipitation (MICP). In this study, two bacterial strains were embedded at varying dosages (by weight of cement) in concrete. Beam specimens were used to identify the maximum crack-sealing efficiency, while cylinder samples were used to determine their effects on the intrinsic mechanical properties, as well as its stiffness recovery over time after inducing damage. The concrete specimens were cured …

Use Of Bagasse Ash As A Concrete Additive For Road Pavement Application, Gabriel Arce, Marwa Hassan, Maria Gutierrez-Wing, Michele Barbato

Data

Corresponding data set for Tran-SET Project No. 18CLSU03. Abstract of the final report is stated below for reference:

"The objective of this study was to evaluate the use of sugarcane bagasse ash (SCBA) as a partial replacement of cement in concrete for road pavement application. The study explored the pozzolanic activity of SCBA produced from three different processing methodologies (i.e., raw SCBA, controlled SCBA and post-processed SCBA). The experimental results revealed that SCBA produced by the controlled burning of sugarcane bagasse fiber (SBF) at 650°C and grinding (C-650), presented the maximum pozzolanic activity. However, this SCBA production process was deemed …

Uhpc Shear Keys In Concrete Bridge Superstructures, Craig Newtson, Brad Weldon, Elsy Flores, Jordan Varbel, William Toledo

Data

Corresponding data set for Tran-SET Project No. 18CNMS01. Abstract of the final report is stated below for reference:

"This research investigated the use of locally produced ultra-high performance concrete (UHPC) as a grouting material to repair deteriorated shear keys. Shear keys are used in adjacent girder superstructures to produce monolithic behavior and load transfer across the structure. Shear key durability is a concern since shear key degradation can jeopardize the integrity of the structure. Transportation agencies have reported that 75% of distress in adjacent girder bridges is due to cracking and de-bonding along shear keys. Previous research has shown that …

Evaluation And Enhancement Of Carbon Sequestration Potential Of Existing Vegetation Along Roadsides, Vikram Kapoor, Jeffrey Hutchinson, Samer Dessouky

Data

Corresponding data set for Tran-SET Project No. 18HSTSA01. Abstract of the final report is stated below for reference:

"The objectives of this study were to evaluate the vegetative composition and carbon sequestration potential of vegetation along a major roadway in Texas. Soil and vegetation were evaluated along IH-35 within Bexar County for composition and carbon content. Three 20 m transects were placed at each site and percent vegetative cover was estimated and above ground plant biomass, and soil was collected from three 0.25 m2 subplots along each transect. Plant and soil samples were analyzed for carbon content. Two non-native grasses, …

Karst Sinkhole Detecting And Mapping Using Airborne Lidar, Su Zhang, Shirley Baros, Susan Bogus

Data

Corresponding data set for Tran-SET Project No. 18GTUNM01. Abstract of the final report is stated below for reference:

"The focus of this study is to detect sinkhole hazards using airborne light detection and ranging (LiDAR) data. The premise is sinkholes, particularly those close to transportation infrastructure assets, could cause substantial damages to infrastructure assets, and therefore, being able to accurately and rapidly detect them is essential. However, it is expensive, time-consuming, labor-intensive, and unsafe to survey sinkholes using conventional ground observation methods. This research project was focused on developing accurate and rapid airborne LiDAR-based sinkhole detection and mapping methods, and …

A Comprehensive Framework For Life-Cycle Cost Assessment Of Reinforced Concrete Bridge Decks, Mohamed Soliman, Samir Ahmed, Ligang Shen

Data

Corresponding data set for Tran-SET Project No. 18STOKS02. Abstract of the final report is stated below for reference:

"Various environmental and mechanical stressors cause deterioration of concrete bridge decks. Normal wear and tear, freeze and thaw cycles, and chloride penetration due to deicing salts can cause aggressive deterioration that usually require frequent interventions during the life-cycle of the bridge. These interventions include deck maintenance and repairs (e.g., application of sealers or overlay placement) as well as bridge deck replacement. The quantification of the life-cycle cost of bridge decks considering maintenance and repair activities represents a significant challenge facing local and …

Structural Vulnerability Of Coastal Bridges Under Extreme Hurricane Conditions, Arturo Montoya, Adolfo Matamoros, Firat Testik, Reza Nasouri, Adnan Shahriar, Arsalan Majlesi

Data

Corresponding data set for Tran-SET Project No. 18STTSA04. Abstract of the final report is stated below for reference:

"This work presents the results of a numerical study evaluating the response of coastal bridges due to hurricane-induced waves. The analyses were conducted using the Coupled Eulerian-Lagrangian (CEL) approach, available on the commercial finite element software Abaqus, which allows modeling the interaction between water and the bridge. The work concentrated on (1) establishing an approach for modeling the desired wave characteristics (i.e., wave height, and frequency) within the CEL simulation, (2) conducting simulations using actual bridge dimensions of historically damaged bridges, (3) …

Assessing The Impacts Of Super Storm Flooding In The Transportation Infrastructure – Case Study: San Antonio, Texas, Marcio Giacomoni, Francisco Olivera, Cesar Do Lago

Data

Corresponding data set for Tran-SET Project No. 18HSTSA02. Abstract of the final report is stated below for reference:

"Flooding are likely to increase worldwide due to climate change. Large storms, referred here as superstorms, defined as events with return period equal or larger than 100 years, can lead to an increase of property damages and loss of life. The ability to predict and plan for the impacts of superstorms on transportation infrastructure is key to mitigate future damages and losses. This study analyzed 51 combinations of future projections for representative concentration pathways (RCP) 4.5 and 8.5 scenarios, which were used …

Workforce Development Symposiums For Uhpc, Brad Weldon, Craig Newtson, Grace Mcmurry, Leticia Davila

Data

Corresponding data set for Tran-SET Project No. 18TTNMS02. Abstract of the final report is stated below for reference:

"Ultra-high performance concrete (UHPC) is a cementitious material with a dense microstructure that contributes to high compressive strengths as well as enhanced durability properties. UHPC also possesses significant post-cracking strength and ductility due to the addition of fibers. These characteristics produce a material that provides advantages over conventional concrete; however, high costs attributed to materials and production, lack of industry familiarity and knowledge, and the absence of standardized design procedures have impeded its widespread use. To help disseminate knowledge on UHPC, two …

Augmented Reality Enhancing The Inspections Of Transportation Infrastructure: Research, Education, And Industry Implementation, Fernando Moreu, Chris Lippitt, Dilendra Maharjan, Marlon Aguero, Xinxing Yuan

Data

Corresponding data set for Tran-SET Project No. 18STUNM03. Abstract of the final report is stated below for reference:

"Transportation infrastructure needs continuous monitoring that is conducted by field inspectors regularly in the field. Currently, infrastructure inspectors climb, measure, and photograph structures annually to inform repair needs and prioritize decisions. In order to promote and accelerate early learner's expertise in decision-making capabilities during infrastructure inspections, this research project developed various software applications using augmented reality (AR) as an inspection tool for bridges and bridge management, more specifically. By objectively quantifying infrastructure field inspections, inspectors can make more accurate field assessments and …

Developing Implementable Climatic Input Data And Moisture Boundary Conditions For Pavement Analysis And Design, Rifat Bulut, Amir Hossein Javid

Data

Corresponding data set for Tran-SET Project No. 18POKS03. Abstract of the final report is stated below for reference:

"The main objective of this study is to develop a practical and implementable numerical model for predicting the moisture (suction) regime within the pavement subgrade system. The research quality and uniformly-dispersed climate data over short distances from Oklahoma Mesonet and the Mitchell based moisture (suction) prediction methods establish the main background of the research study. The study involved numerical modeling and statistical analysis of climatic weather data. The proposed moisture variation model predicts the suction distribution throughout the soil subgrade by solving …

Computational Fluid Dynamic Simulation Of Inhaled Radon Dilution By Auxiliary Ventilation In A Stone-Coal Mine Laneway And Dosage Assessment Of Miners, Bin Zhou, Ping Chang, Guang Xu

Mining Engineering Faculty Research & Creative Works

Inhaled radon status in the laneways of some Chinese stone-coal mines is a cause of concern. In this study, computational fluid dynamics simulations were employed to investigate three flowrates of the dilution gas (2.5, 5, and 7.5 m³/s) and radon distributions at realistic breathing levels (1.6, 1.75, and 1.9 m). The results showed that there are obvious jet-flow, backflow, and vortex zones near the heading face, and a circulation flow at the rear of the laneway. A high radon concentration area was found to be caused by the mining machinery. As the ventilation rate increased, the radon concentrations …

Development Of Metals Corrosion Maps Of Arkansas And Maintenance Of Cross-Drains, Zahid Hossain, Ashraf Elsayed, Mdariful Hasan

Data

Corresponding data set for Tran-SET Project No. 18GTASU01. Abstract of the final report is stated below for reference:

"Corrosion potential of metallic structures in alluvial soils is governed by chemical and electromagnetic properties of the soils. Geotechnical engineers are generally more concerned about different types of soils and their physical and mechanical properties than the chemical aspects. The main objective of this study is to analyze the geotechnical, electrochemical and electromagnetic properties of soils in Arkansas. Important parameters (e.g., soil resistivity) related to corrosion potential of metal culverts have been predicted through neural network (NN) models. The developed NN models …

Uhpc Shear Keys In Concrete Bridge Superstructures, Craig Newtson, Brad Weldon, Elsy Flores, Jordan Varbel, William Toledo

Publications

This research investigated the use of locally produced ultra-high performance concrete (UHPC) as a grouting material to repair deteriorated shear keys. Shear keys are used in adjacent girder superstructures to produce monolithic behavior and load transfer across the structure. Shear key durability is a concern since shear key degradation can jeopardize the integrity of the structure. Transportation agencies have reported that 75% of distress in adjacent girder bridges is due to cracking and de-bonding along shear keys. Previous research has shown that locally produced UHPC has excellent mechanical and durability properties. UHPC has also been shown to have good bonding …

Vehicle Sensing And Communications Using Led Headlights To Enhance The Performance Of Intelligent Transportation Systems: Proof Of Concept, Implementation, And Applications, Sabit Ekin, Samir Ahmed

Data

Corresponding data set for Tran-SET Project No. 18ITSOKS01. Abstract of the final report is stated below for reference:

"This project investigates the use of vehicle light-emitting diode (LED) headlamp devices for improving the accuracy and reliability of traffic (sensing and communication) data measurements required for developing effective intelligent transportation systems (ITS) technologies and solutions.

Vehicular communication and sensing technologies are mainly based on conventional radio frequency (RF) or laser technologies. These systems suffer from several issues such as RF interference and poor performance in scenarios where the incidence angle between the speed detector and the vehicle is rapidly varying. Introducing …

Smart Charging Of Future Electric Vehicles Using Roadway Infrastructure, Sara Ahmed, Ethan Ahn, Mahmoud Reda Taha, Samer Dessouky, Moneeb Genedy, Daniel Fernandez, Ann Sebestian, Patience Raby

Data

Corresponding data set for Tran-SET Project No. 18ITSTSA03. Abstract of the final report is stated below for reference:

"Inspired by the fact that there is an immense amount of renewable energy sources available on the roadways such as mechanical pressure and frictional heat, this study presented the development and implementation of an innovative charging technique for future electric vehicles (EVs) by fully utilizing the existing roadways and the state-of-the-art nanotechnology and power electronics. The project introduced a novel wireless charging system, SIC (Smart Illuminative Charging), that uses LEDs powered by piezoelectric nanomaterials as the energy transmitter source and thin film …

Disaster Resilient And Self-Assessing Multifunctional Transportation Structures, Ibrahim Karaman, Darren Hartl

Data

Corresponding data set for Tran-SET Project No. 18STTAM02. Abstract of the final report is stated below for reference:

"This research designs and characterizes multifunctional materials, in particular inexpensive shape memory alloys, for transportation structures that possess excellent mechanical properties and self-sensing capabilities for strengthening and health monitoring. The properties are the Fe-SMAs are sensitive to part size in that the grain size of the material, which can be grown to several inches, should exceed the smallest dimension of the part. In the current work, maximum part size of the large dimension Fe-SMA rods were determined through detailed microstructural investigations. Samples …

Lifecycle Environmental Impact Of High-Speed Rail System In The I-45 Corridor, Raghava Kommalapati, Venkata Botlaguduru, Doeun Choe

Publications

The Houston-Dallas (I-45) corridor is the busiest route among 18 traffic corridors in Texas. The expected population growth and the surge in passenger mobility could result in a significant impact on the regional environment. This study uses a life cycle framework to estimate the net change in environmental impact with the development of a high speed rail system (HSR) along the I-45 corridor. The study follows ISO 14040 principles and standards of life cycle assessment and uses SimaPro 8.5® software and the Ecoinvent 3.3 inventory database. Infrastructure construction, vehicle manufacturing, system operation, and end of life phases are included in …

Smart Charging Of Future Electric Vehicles Using Roadway Infrastructure, Sara Ahmed, Ethan Ahn, Mahmoud Reda Taha, Samer Dessouky, Moneeb Genedy, Daniel Fernandez, Ann Sebestian, Patience Raby

Publications

Inspired by the fact that there is an immense amount of renewable energy sources available on the roadways such as mechanical pressure and frictional heat, this study presented the development and implementation of an innovative charging technique for future electric vehicles (EVs) by fully utilizing the existing roadways and the state-of-the-art nanotechnology and power electronics. The project introduced a novel wireless charging system, SIC (Smart Illuminative Charging), that uses LEDs powered by piezoelectric nanomaterials as the energy transmitter source and thin film solar panels placed at the bottom of the EVs as the receiver, which is then poised to deliver …

Decision-Making Tool For Road Preventive Maintenance Using Vehicle Vibration Data, Changbum Ahn, Chao Wang, Jing Du

Data

Corresponding data set for Tran-SET Project No. 18PLSU08. Abstract of the final report is stated below for reference:

"Automated and timely road pavement damage inspection is critical to the preventive maintenance and the long-term sustainability and resilience of roads in Region 6. Current road inspection practices rely heavily on a manual process. Sensor-based methods (e.g., LiDAR scanning) are promising but can be too expensive for a wider adoption. This study employs a crowdsourcing approach of using the vibration patterns of regular vehicles in inferring specific types of road damages. A cloud-based smart phone app and system was developed to collect …

Lifecycle Environmental Impact Of High-Speed Rail System In The I-45 Corridor, Raghava Kommalapati, Venkata Botlaguduru, Doeun Choe

Data

Corresponding data set for Tran-SET Project No. 18PPPVU01. Abstract of the final report is stated below for reference:

"The Houston-Dallas (I-45) corridor is the busiest route among 18 traffic corridors in Texas. The expected population growth and the surge in passenger mobility could result in a significant impact on the regional environment. This study uses a life cycle framework to estimate the net change in environmental impact with the development of a high speed rail system (HSR) along the I-45 corridor. The study follows ISO 14040 principles and standards of life cycle assessment and uses SimaPro 8.5® software and the …