Engineering Commons^™

Transforming C Openmp Programs For Verification In Civl, Michael Rogers

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

There are numerous way to express parallelism which can make it challenging for developers to verify these programs. Many tools only target a single dialect but the Concurrency Intermediate Verification Language (CIVL) targets MPI, Pthreads, and CUDA. CIVL provides a general concurrency model that can represent pro- grams in a variety of concurrency dialects. CIVL includes a front-end that support all of the dialects mentioned above. The back-end is a verifier that uses model checking and symbolic execution to check standard properties.

In this thesis, we have designed and implemented a transformer that will take C OpenMP programs and transform …

Bandwidth Estimation For Virtual Networks, Ertong Zhang

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Cloud computing is transforming a large part of IT industry, as evidenced by the increasing popularity of public cloud computingservices, such as Amazon Web Service, Google Cloud Platform, Microsoft Windows Azure, and Rackspace Public Cloud. Manycloud computing applications are bandwidth-intensive, and thus the network bandwidth information of clouds is important for theirusers to manage and troubleshoot the application performance.

The current bandwidth estimation methods originally developed for the traditional Internet, however, face great challenges in clouds dueto virtualization that is the main enabling technique of cloud computing. First, virtual machine scheduling, which is an importantcomponent of computer virtualization for processor …

Using Software-Defined Networking To Improve Campus, Transport And Future Internet Architectures, Adrian Lara

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Software-defined Networking (SDN) promises to redefine the future of networking. Indeed, SDN-based networks have unique capabilities such as centralized control, flow abstraction, dynamic updating of forwarding rules and software-based traffic analysis. SDN-based networks decouple the data plane from the control plane, migrating the latter to a software controller. By adding a software layer between network devices and applications, features such as network virtualization and automated management are simpler to achieve.

In this dissertation, we show how SDN-based deployments simplify network management at multiple scales such as campus and transport networks, as well as future Internet architectures. First, we propose OpenSec, …

The Bounded Edge Coloring Problem And Offline Crossbar Scheduling, Jonathan Turner

All Computer Science and Engineering Research

This paper introduces a variant of the classical edge coloring problem in graphs that can be applied to an offline scheduling problem for crossbar switches. We show that the problem is NP-complete, develop three lower bounds bounds on the optimal solution value and evaluate the performance of several approximation algorithms, both analytically and experimentally. We show how to approximate an optimal solution with a worst-case performance ratio of 3/2 and our experimental results demonstrate that the best algorithms produce results that very closely track a lower bound.

College Students' Perceptions Of Sustainability: A Regional Survey, Michael Myung Jeong, Younghan Jung, Dan Daehyun Koo

Engineering Technology Faculty Publications

Understanding college students’ perception of sustainability is paramount as today’s students will soon be driving our economy and taking on the responsibility of maintaining a sustainable society. This study conducted a survey of college students attending two regional universities in the United States to capture their current experience levels, expectations, and perceptions with regard to various aspects of sustainability utilizing a questionnaire consisting of structured questions about sustainability knowledge/familiarity levels, green product purchase behavior, attitude-behavior relationship, and sustainability education. The results reveal useful insights into the students’ views on these topics and the demographic data collected were further analyzed to …

Comments On “The Principal Axes Decomposition Of Spatial Stiffness Matrices”, Shuguang Huang, Joseph M. Schimmels

Mechanical Engineering Faculty Research and Publications

A significant amount of research has been directed toward developing a more intuitive appreciation of spatial elastic behavior. Results of these analyses have been described in terms of behavior decompositions and in terms of behavior centers. In a recent paper entitled “The Principal Axes Decomposition of Spatial Stiffness Matrices” by Chen et al. (IEEE Trans. Robot., vol. 31, no. 1, pp. 191-207), a decomposition of spatial stiffness was presented, and centers of stiffness and compliance were identified. The results presented in the paper have substantial overlap with previously published results and redefine previously used terms. The objective of this communication …

State Of The Art: The North American Handmade Bicycle Show, Jay H. Kinsinger

Engineering and Computer Science Faculty Contributions to the Popular Press

No abstract provided.

The Prediction Predicament, William "Ike" Eisenhauer

Engineering and Technology Management Faculty Publications and Presentations

The article focuses on the prediction of predicament in terms of forecasting at industrial engineering level. Topics discussed include business optimize resources via forecasting; audience who cannot comprehend the methodology used for forecasting in healthcare operations; and use of forecasting for performance measurement.

Sustainability Assessment For Energy Systems And Chemical Process Industries, Michael J. Matzen

Department of Chemical and Biomolecular Engineering: Theses and Student Research

Sustainability has become an important factor in the chemical process and energy industries with a strong drive for process improvements towards more environmentally conscious solutions. However, there are many ways of defining sustainability and even more ways of trying to determine how sustainable a process is. This work looks into applying a conjunction of tools including; process simulation, multi-criteria decision matrices and life-cycle assessment to more quantitatively determine sustainability metrics. We have applied these tools for the production of electricity, methanol and dimethyl ether. A novel method of electricity production, in chemical looping combustion (CLC), was used that inherently involves …

Effects Of Sediments On Bmps For Highway Runoff Control, Matthew Garder

Department of Civil and Environmental Engineering: Dissertations, Theses, and Student Research

Numerous studies conducted on highway stormwater runoff and its control with Best Management Practices (BMPs) indicate that sediment is the major pollutant that affects performance and longevity of BMPs. Currently, there are several knowledge gaps related to the effects of sediments on highway BMPs: a) how much sediment will be generated by a construction site by a section of highway with its surrounding watershed under different conditions; b) how sediment is intercepted by different BMPs with or without pretreatment sections; and c) what are the effects of these sediments on BMPs’ hydraulic behavior, longevity, and pollutants removal or release. The …

Computational Capacity And Energy Consumption Of Complex Resistive Switch Networks, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher

Electrical and Computer Engineering Faculty Publications and Presentations

Resistive switches are a class of emerging nanoelectronics devices that exhibit a wide variety of switching characteristics closely resembling behaviors of biological synapses. Assembled into random networks, such resistive switches produce emerging behaviors far more complex than that of individual devices. This was previously demonstrated in simulations that exploit information processing within these random networks to solve tasks that require nonlinear computation as well as memory. Physical assemblies of such networks manifest complex spatial structures and basic processing capabilities often related to biologically-inspired computing. We model and simulate random resistive switch networks and analyze their computational capacities. We provide a …

Fuel Consumption Models For Tractors With Partial Drawbar Loads, Bryan Jeffrey Smith

Department of Biological Systems Engineering: Dissertations and Theses

Three models for predicting fuel consumption for agricultural tractors with partial drawbar loads were compared. Data were collected from eight John Deere tractors, JD 7230R (e23), 7250R (e23), 7270R (e23), 7290R (e23), 7290R (IVT), 8320R (16 speed), 8345RT (IVT), 8370R (IVT). The tractors were tested with 7 load levels per speed at four different travel speeds as close as possible to 4, 7.5, 10, and 13 km·h^-1. The IVT tractors were operated in Auto mode and the geared tractors were shifted up three gears and throttled back to the same travel speeds as the IVT tractors. The 7 …

Bep: Bit Error Pattern Measurement And Analysis In Ieee 802.11, Jiayue Li, Zimu Zhou, Chen Zhang, Liang Yin, Lionel M. Ni

Research Collection School Of Computing and Information Systems

The IEEE 802.11 is a set of Media Access Control (MAC) and Physical Layer (PHY) specifications which concern the Wireless Local Area Network (WLAN) service. However, most IEEE 802.11 WLAN services are easily affected by external elements, such as the homogeneous interference caused by the high-density deployment of IEEE 802.11 devices, the attenuation effect caused by complicated indoor obstacles, and the heterogeneous interference caused by other devices which operate out of unlicensed 2.4GHz ISM bands. In this paper, we first present a method to capture IEEE 802.11n Bit Error Patterns (BEP) under the network effect such as the homogeneous interference …

Hvdc Systems Fault Analysis Using Various Signal Processing Techniques, Benish Paily

Doctoral

The detection and fast clearance of faults are important for the safe and optimal operation of HVDC systems. In HVDC systems, various types of AC faults (rectifier & inverter side) and DC faults can occur. It is therefore necessary to detect the faults and classify them for better protection and diagnostics purposes. Various techniques for fault detection and classification in HVDC systems using signal processing techniques are presented and investigated in this research work. In this research work, it is shown that the wavelet transformation can effectively detect abrupt changes in system signals which are indicative of a fault. This …

Biochar From Pyrolysis Of Biosolids For Nutrient Adsorption And Turfgrass Cultivation, Daniel Elliott Carey, Patrick J. Mcnamara, Daniel Zitomer

Civil and Environmental Engineering Faculty Research and Publications

At water resource recovery facilities, nutrient removal is often required and energy recovery is an ever-increasing goal. Pyrolysis may be a sustainable process for handling wastewater biosolids because energy can be recovered in the py-gas and py-oil. Additionally, the biochar produced has value as a soil conditioner. The objective of this work was to determine if biochar could be used to adsorb ammonia from biosolids filtrate and subsequently be applied as a soil conditioner to improve grass growth. The maximum carrying capacity of base modified biochar for NH₃−N was 5.3 mg/g. Biochar containing adsorbed ammonium and potassium was …

Ecohydrological Controls On Grass And Shrub Above-Ground Net Primary Productivity In A Seasonally Dry Climate, Anthony J. Parolari, Michael L. Goulden, Rafael L. Bras

Civil and Environmental Engineering Faculty Research and Publications

Seasonally dry, water‐limited regions are often co‐dominated by distinct herbaceous and woody plant communities with contrasting ecohydrological properties. We investigated the shape of the above‐ground net primary productivity (ANPP) response to annual precipitation (P_a) for adjacent grassland and shrubland ecosystems in Southern California, with the goal of understanding the role of these ecohydrological properties on ecosystem function. Our synthesis of observations and modelling demonstrates grassland and shrubland exhibit distinct ANPP‐P_a responses that correspond with characteristics of the long‐term P_a distribution and mean water balance fluxes. For annual grassland, no ANPP occurs below a ‘precipitation …

Increased Lower Limb Spasticity But Not Strength Or Function Following A Single-Dose Serotonin Reuptake Inhibitor In Chronic Stroke, Krishnaj Gourab, Brian D. Schmit, T. George Hornby

Biomedical Engineering Faculty Research and Publications

Objective: To investigate the effects of single doses of a selective serotonin reuptake inhibitor (SSRI) on lower limb voluntary and reflex function in individuals with chronic stroke.

Design: Double-blind, randomized, placebo-controlled crossover trial.

Setting: Outpatient research setting.

Participants: Individuals (N=10; 7 men; mean age ± SD, 57±10y) with poststroke hemiplegia of >1 year duration who completed all assessments.

Interventions: Patients were assessed before and 5 hours after single-dose, overencapsulated 10-mg doses of escitalopram (SSRI) or placebo, with 1 week between conditions.

Main Outcome Measures: Primary assessments included maximal ankle and knee isometric strength, and velocity-dependent (30°/s–120°/s) plantarflexor stretch reflexes under …

Retinal Architecture In ​Rgs9- And ​R9ap-Associated Retinal Dysfunction (Bradyopsia), Rupert W. Strauss, Adam M. Dubis, Robert F. Cooper, Rola Ba-Abbad, Anthony T. Moore, Andrew R. Webster, Alfredo Dubra, Joseph Carroll, Michel Michaelides

Biomedical Engineering Faculty Research and Publications

Purpose

To characterize photoreceptor structure and mosaic integrity in subjects with RGS9- and R9AP-associated retinal dysfunction (bradyopsia) and compare to previous observations in other cone dysfunction disorders such as oligocone trichromacy.

Design

Observational case series.

Methods

setting: Moorfields Eye Hospital (United Kingdom) and Medical College Wisconsin (USA). study population: Six eyes of 3 subjects with disease-causing variants in RGS9 or R9AP. main outcome measures: Detailed retinal imaging using spectral-domain optical coherence tomography and confocal adaptive-optics scanning light ophthalmoscopy.

Results

Cone density at 100 μm from foveal center ranged from 123 132 cones/mm²to 140 013 cones/mm^{2 …}

A Proposed Integrated Data Collection, Analysis And Sharing Platform For Impact Evaluation, Andreas Kipt, Waylon Brunette, Jordon Kellerstrass, Matthew Podolsky, Javier Rosa, Mitchell Sundt, Daniel Wilson, Gaetano Borriello, Eric Brewer, Evan A. Thomas

Mechanical and Materials Engineering Faculty Publications and Presentations

Global poverty reduction efforts value monitoring and evaluation, but often struggle to translate lessons learned from one intervention into practical application in another intervention. Commonly, data is not easily or often shared between interventions and summary data collected as part of an impact evaluation is often not available until after the intervention is complete. Equally limiting, the workflows that lead to research results are rarely published in a reproducible, reusable, and easy-to-understand fashion for others. Information and communication technologies widely used in commercial and government pro- grams are growing in relevance for international global development professionals and offer a potential …

Creating A Highway Information System For Safety Roadway Features, Brian K. Howell, Kenneth R. Agent, Eric Green

Kentucky Transportation Center Research Report

Roadway departures are the leading cause of roadside fatalities. The Kentucky Transportation Cabinet (KYTC) has undertaken a number of roadside safety measures to reduce roadway departures. Specifically, KYTC has installed several low-cost, systemic roadway safety treatments to Kentucky’s roadways in recent years. These treatments include cable barriers, high friction surface treatments, rumble stripes, and Safety Edges. KYTC has installed approximately 44 cable barrier systems over 265 miles of roadway,112 HFST applications over 20 miles of roadway, 750 rumble stripe installations over 2,500 miles of roadway, and 147 Safety Edge treatments on 580 miles of roadway. The project team developed a …

Dgtd Analysis Of Electromagnetic Scattering From Penetrable Conductive Objects With Ibc, Ping Li, Yifei Shi, Li (Lijun) Jun Jiang, Hakan Bagci

Electrical and Computer Engineering Faculty Research & Creative Works

To avoid straightforward volumetric discretization, a discontinuous Galerkin time-domain (DGTD) method integrated with the impedance boundary condition (IBC) is presented in this paper to analyze the scattering from objects with finite conductivity. Two situations are considered. 1) The skin depth is smaller than the thickness of the conductive volume. 2) The skin depth is larger than the thickness of a thin conductive sheet. For the first situation, a surface impedance boundary condition (SIBC) is employed, wherein the surface impedance usually exhibits a complex relation with the frequency. To incorporate the SIBC into DGTD, the surface impedance is first approximated by …

Biomechanical Performances Of Networked Polyethylene Glycol Diacrylate: Effect Of Photoinitiator Concentration, Temperature, And Incubation Time, Morshed Khandaker, Albert Orock, Stefano Tarantini, Jeremiah White, Ozlem Yasar

Publications and Research

Nutrient conduit networks can be introduced within the Polyethylene Glycol Diacrylate (PEGDA) tissue construct to enable cells to survive in the scaffold. Nutrient conduit networks can be created on PEGDA by macrochannel to nanochannel fabrication techniques. Such networks can influence the mechanical and cell activities of PEGDA scaffold. There is no study conducted to evaluate the effect of nutrient conduit networks on the maximum tensile stress and cell activities of the tissue scaffold.The study aimed to explore the influence of the network architecture on the maximum tensile stress of PEGDA scaffold and compared with the nonnetworked PEGDA scaffold. Our study …

Adaptive Duty Cycling In Sensor Networks With Energy Harvesting Using Continuous-Time Markov Chain And Fluid Models, Ronald Wai Hong Chan, Pengfei Zhang, Ido Nevat, Sai Ganesh Nagarajan, Alvin Cerdena Valera, Hwee Xian Tan

Research Collection School Of Computing and Information Systems

The dynamic and unpredictable nature of energy harvesting sources available for wireless sensor networks, and the time variation in network statistics like packet transmission rates and link qualities, necessitate the use of adaptive duty cycling techniques. Such adaptive control allows sensor nodes to achieve long-run energy neutrality, where energy supply and demand are balanced in a dynamic environment such that the nodes function continuously. In this paper, we develop a new framework enabling an adaptive duty cycling scheme for sensor networks that takes into account the node battery level, ambient energy that can be harvested, and application-level QoS requirements. We …

Comparative Estimates Of Anthropogenic Heat Emission In Relation To Surface Energy Balance Of A Subtropical Urban Neighborhood, Changhyoun Park, Gunnar W. Schade, Nicholas D. Werner, David J. Sailor, Cheolhee Kim

Mechanical and Materials Engineering Faculty Publications and Presentations

Long-term eddy covariance measurements have been conducted in a subtropical urban area, an older neighborhood north of downtown Houston. The measured net radiation (Q*), sensible heat flux (H) and latent heat flux (LE) showed typical seasonal diurnal variations in urban areas: highest in summer; lowest in winter. From an analysis of a subset of the first two years of measurements, we find that approximately 42% of Q* is converted into H, and 22% into LE during daytime. The local anthropogenic heat emissions were estimated conventionally using the long-term residual method and the heat emission inventory approach. We also …

Could Application Of Column-Grid-Array (Cga) Technology Result In Inelastic-Strain-Free State-Of-Stress In Solder Material?, Ephraim Suhir, Reza Ghaffarian, Johann Nicolics

Mechanical and Materials Engineering Faculty Publications and Presentations

Physically meaningful and easy-to-use analytical stress model is developed for a short cylinder (beam) clamped at the ends and subjected to bending caused by the ends offset. The offset is due, in its turn, to an external lateral force that has to be determined from the known offset. It is envisioned that such a beam can adequately represent the state of stress in a column-grid-array (CGA) solder joint interconnection experiencing thermal loading due to the thermal expansion/contraction mismatch of the IC package and the printed circuit board (PCB). The CGA designs are characterized by considerably higher stand-off heights than ball-grid-array …

Predicted Stresses In A Ball-Grid-Array (Bga)/Column-Grid-Array (Cga) Assembly With A Low Modulus Solder At Its Ends, Ephraim Suhir, Reza Ghaffarian

Mechanical and Materials Engineering Faculty Publications and Presentations

A simple, easy-to-use and physically meaningful predictive model is suggested for the assessment of thermal stresses in a ball-grid-array or a column-grid-array with a low modulus solder material at the peripheral portions of the assembly. It is shown that the application of such a design can lead to a considerable relief in the interfacial stresses, even to an extent that inelastic strains in the solder joints could be avoided. If this happens, the fatigue strength of the bond and of the assembly as a whole will be improved dramatically: low-cycle fatigue conditions will be replaced by the elastic fatigue condition, …

Background Differences In Baseline And Stimulated Mmp Levels Influence Abdominal Aortic Aneurysm Susceptibility, Matthew A. Dale, Melissa K. Suh, Shijia Zhao, Trevor Meisinger, Linxia Gu, Vicki J. Swier, Devendra K. Agrawal, Timothy Greiner, Jeffrey S. Carson, B. Timothy Baxter, Wanfen Xiong

Department of Mechanical and Materials Engineering: Faculty Publications

Objective: Evidence has demonstrated profound influence of genetic background on cardiovascular phenotypes. Murine models in Marfan syndrome (MFS) have shown that genetic background-related variations affect thoracic aortic aneurysm formation, rupture, and lifespan of mice. MFS mice with C57Bl/6 genetic background are less susceptible to aneurysm formation compared to the 129/SvEv genetic background. In this study, we hypothesize that susceptibility to abdominal aortic aneurysm (AAA) will be increased in 129/SvEv mice versus C57Bl/6 mice. We tested this hypothesis by assessing differences in aneurysm size, tissue properties, immune response, and MMP expression.

Methods: Mice of C57Bl/6 or 129/SvEv background underwent AAA induction …

Learning Query And Image Similarities With Ranking Canonical Correlation Analysis, Ting Yao, Tao Mei, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

One of the fundamental problems in image search is to learn the ranking functions, i.e., similarity between the query and image. The research on this topic has evolved through two paradigms: feature-based vector model and image ranker learning. The former relies on the image surrounding texts, while the latter learns a ranker based on human labeled query-image pairs. Each of the paradigms has its own limitation. The vector model is sensitive to the quality of text descriptions, and the learning paradigm is difficult to be scaled up as human labeling is always too expensive to obtain. We demonstrate in this …

Adaptive Scaling Of Cluster Boundaries For Large-Scale Social Media Data Clustering, Lei Meng, Ah-Hwee Tan, Donald C. Wunsch

Research Collection School Of Computing and Information Systems

The large scale and complex nature of social media data raises the need to scale clustering techniques to big data and make them capable of automatically identifying data clusters with few empirical settings. In this paper, we present our investigation and three algorithms based on the fuzzy adaptive resonance theory (Fuzzy ART) that have linear computational complexity, use a single parameter, i.e., the vigilance parameter to identify data clusters, and are robust to modest parameter settings. The contribution of this paper lies in two aspects. First, we theoretically demonstrate how complement coding, commonly known as a normalization method, changes the …

Robust Execution Strategies For Project Scheduling With Unreliable Resources And Stochastic Durations, Na Fu, Hoong Chuin Lau, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

The resource-constrained project scheduling problem with minimum and maximum time lags (RCPSP/max) is a general model for resource scheduling in many real-world problems (such as manufacturing and construction engineering). We consider RCPSP/max problems where the durations of activities are stochastic and resources can have unforeseen breakdowns. Given a level of allowable risk, (Formula presented.), our mechanisms aim to compute the minimum robust makespan execution strategy. Robust makespan for an execution strategy is any makespan value that has a risk less than (Formula presented.). The risk for a makespan value, (Formula presented.) given an execution strategy, is the probability that a …