Engineering Commons^™

Characterizing Linearizable Qaps By The Level-1 Reformulation-Linearization Technique, Lucas Waddell, Warren Adams

Faculty Journal Articles

The quadratic assignment problem (QAP) is an extremely challenging NP-hard combinatorial optimization program. Due to its difficulty, a research emphasis has been to identify special cases that are polynomially solvable. Included within this emphasis are instances which are linearizable; that is, which can be rewritten as a linear assignment problem having the property that the objective function value is preserved at all feasible solutions. Various known sufficient conditions for identifying linearizable instances have been explained in terms of the continuous relaxation of a weakened version of the level-1 reformulation-linearization-technique (RLT) form that does not enforce nonnegativity on a subset …

Quantification Of Antiviral Drug Tenofovir (Tfv) By Surface-Enhanced Raman Spectroscopy (Sers) Using Cumulative Distribution Functions (Cdfs), Marguerite R. Butler, Jana Hrncirova, Meredith Clark, Sucharita Dutta, John B. Cooper

Chemistry & Biochemistry Faculty Publications

Surface-enhanced Raman spectroscopy (SERS) is an ultrasensitive spectroscopic technique that generates signal-enhanced fingerprint vibrational spectra of small molecules. However, without rigorous control of SERS substrate active sites, geometry, surface area, or surface functionality, SERS is notoriously irreproducible, complicating the consistent quantitative analysis of small molecules. While evaporatively prepared samples yield significant SERS enhancement resulting in lower detection limits, the distribution of these enhancements along the SERS surface is inherently stochastic. Acquiring spatially resolved SERS spectra of these dried surfaces, we have shown that this enhancement is governed by a power law as a function of analyte concentration. Consequently, by definition, …

Structured Invariant Subspace And Decomposition Of Systems With Time Delays And Uncertainties, Huan Phan-Van, Keqin Gu

SIUE Faculty Research, Scholarship, and Creative Activity

This article discusses invariant subspaces of a matrix with a given partition structure. The existence of a nontrivial structured invariant subspace is equivalent to the possibility of decomposing the associated system with multiple feedback blocks such that the feedback operators are subject to a given constraint. The formulation is especially useful in the stability analysis of time-delay systems using the Lyapunov-Krasovskii functional approach where computational efficiency is essential in order to achieve accuracy for large scale systems. The set of all structured invariant subspaces are obtained (thus all possible decompositions are obtained as a result) for the coupled differential-difference equations …

Experimental Analysis Of Nonlinear Wave Propagation In Bistable Mechanical Metamaterials With A Defect, Samuel R. Harre

Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research

Mechanical metamaterials built up of compliant units can support the propagation of linear and nonlinear waves. A popular architecture consists of a one-dimensional chain of bistable elements connected by linear springs. This type of chain can support nonlinear transition waves that switch each element from one stable state to the other as they propagate along the chain. One way to manipulate the propagation of such waves is via introduction of a local inhomogeneity, i.e., a defect in the otherwise periodic chain. Recent analytical and numerical work has shown that based on its initial velocity, a transition wave may be reflected, …

The Role Of Nanofluids In Renewable Energy Engineering, M. M. Bhatti, K. Vafai, Sara I. Abdelsalam

Basic Science Engineering

No abstract provided.

A Unit-Load Approach For Reliability-Based Design Optimization Of Linear Structures Under Random Loads And Boundary Conditions, Robert James Haupin, Gene Jean-Win Hou

Mechanical & Aerospace Engineering Faculty Publications

The low order Taylor’s series expansion was employed in this study to estimate the reliability indices of the failure criteria for reliability-based design optimization of a linear static structure subjected to random loads and boundary conditions. By taking the advantage of the linear superposition principle, only a few analyses of the structure subjected to unit-loads are needed through the entire optimization process to produce acceptable results. Two structural examples are presented in this study to illustrate the effectiveness of the proposed approach for reliability-based design optimization: one deals with a truss structure subjected to random multiple point constraints, and the …

Accurate Covariance Estimation For Pose Data From Iterative Closest Point Algorithm, Rick H. Yuan, Clark N. Taylor, Scott L. Nykl

Faculty Publications

One of the fundamental problems of robotics and navigation is the estimation of the relative pose of an external object with respect to the observer. A common method for computing the relative pose is the iterative closest point (ICP) algorithm, where a reference point cloud of a known object is registered against a sensed point cloud to determine relative pose. To use this computed pose information in downstream processing algorithms, it is necessary to estimate the uncertainty of the ICP output, typically represented as a covariance matrix. In this paper, a novel method for estimating uncertainty from sensed data is …

Gradient-Based Trade-Off Design For Engineering Applications, Lena A. Royster, Gene Hou

Mechanical & Aerospace Engineering Faculty Publications

The goal of the trade-off design method presented in this study is to achieve newly targeted performance requirements by modifying the current values of the design variables. The trade-off design problem is formulated in the framework of Sequential Quadratic Programming. The method is computationally efficient as it is gradient-based, which, however, requires the performance functions to be differentiable. A new equation to calculate the scale factor to control the size of the design variables is introduced in this study, which can ensure the new design achieves the targeted performance objective. Three formal approaches are developed in this study for trade-off …

An Lp-Based Characterization Of Solvable Qap Instances With Chess-Board And Graded Structures, Lucas Waddell, Jerry Phillips, Tianzhu Liu, Swarup Dhar

Faculty Journal Articles

The quadratic assignment problem (QAP) is perhaps the most widely studied nonlinear combinatorial optimization problem. It has many applications in various fields, yet has proven to be extremely difficult to solve. This difficulty has motivated researchers to identify special objective function structures that permit an optimal solution to be found efficiently. Previous work has shown that certain such structures can be explained in terms of a mixed 0-1 linear reformulation of the QAP known as the level-1 reformulation-linearization-technique (RLT) form. Specifically, the objective function structures were shown to ensure that a binary optimal extreme point solution exists to the continuous …

Chatgpt As Metamorphosis Designer For The Future Of Artificial Intelligence (Ai): A Conceptual Investigation, Amarjit Kumar Singh (Library Assistant), Dr. Pankaj Mathur (Deputy Librarian)

Library Philosophy and Practice (e-journal)

Abstract

Purpose: The purpose of this research paper is to explore ChatGPT’s potential as an innovative designer tool for the future development of artificial intelligence. Specifically, this conceptual investigation aims to analyze ChatGPT’s capabilities as a tool for designing and developing near about human intelligent systems for futuristic used and developed in the field of Artificial Intelligence (AI). Also with the helps of this paper, researchers are analyzed the strengths and weaknesses of ChatGPT as a tool, and identify possible areas for improvement in its development and implementation. This investigation focused on the various features and functions of ChatGPT that …

Evolution Of Coronal Magnetic Field Parameters During X5.4 Solar Flare, Seth H. Garland, Benjamin F. Akers, Vasyl B. Yurchyshyn, Robert D. Loper, Daniel J. Emmons

Faculty Publications

The coronal magnetic field over NOAA Active Region 11,429 during a X5.4 solar flare on 7 March 2012 is modeled using optimization based Non-Linear Force-Free Field extrapolation. Specifically, 3D magnetic fields were modeled for 11 timesteps using the 12-min cadence Solar Dynamics Observatory (SDO) Helioseismic and Magnetic Imager photospheric vector magnetic field data, spanning a time period of 1 hour before through 1 hour after the start of the flare. Using the modeled coronal magnetic field data, seven different magnetic field parameters were calculated for 3 separate regions: areas with surface |Bz| ≥ 300 G, areas of flare brightening seen …

Morton-Ordered Gpu Lattice Boltzmann Cfd Simulations With Application To Blood Flow, Gerald Gallagher, Fergal J. Boyle

Conference Papers

Computational fluid dynamics (CFD) is routinely used for numerically predicting cardiovascular-system medical device fluid flows. Most CFD simulations ignore the suspended cellular phases of blood due to computational constraints, which negatively affects simulation accuracy. A graphics processing unit (GPU) lattice Boltzmann-immersed boundary (LB-IB) CFD software package capable of accurately modelling blood flow is in development by the authors, focusing on the behaviour of plasma and stomatocyte, discocyte and echinocyte red blood cells during flow. Optimised memory ordering and layout schemes yield significant efficiency improvements for LB GPU simulations. In this work, comparisons of row-major-ordered Structure of Arrays (SoA) and Collected …

Bbt Acoustic Alternative Top Bracing Cadd Data Set-Norev-2022jun28, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set consists of an overview presentation (PDF-formatted) file and companion video (MP4) and CADD files (DWG & DXF) for laser cutting the ETSU-developed alternate top bracing designs and marking templates for the STEM Guitar Project’s BBT (OM-sized) standard acoustic guitar kit. The three (3) alternative BBT top bracing designs in this release are
(a) a one-piece base for the standard kit's (Martin-style) bracing,
(b) 277 Ladder-style bracing, and
(c) an X-braced fan-style bracing similar to traditional European or so-called 'classical' acoustic guitars.

The CADD data set for each of the three (3) top bracing designs includes …

Robust Sensor Design For The Novel Reduced Models Of The Mead-Marcus Sandwich Beam Equation, Ahmet Aydin

Masters Theses & Specialist Projects

Novel space-discretized Finite Differences-based model reductions are proposed for the partial differential equations (PDE) model of a multi-layer Mead-Marcus-type beam with (i) hinged-hinged and (ii) clamped-free boundary conditions. The PDE model describes transverse vibrations for a sandwich beam whose alternating outer elastic layers constrain viscoelastic core layers, which allow transverse shear. The major goal of this project is to design a single boundary sensor, placed at the tip of the beam, to control the overall dynamics on the beam.

For (i), it is first shown that the PDE model is exactly observable by the so-called nonharmonic Fourier series approach. However, …

Bbt Side Mold Assy, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set covers the design and fabrication information of the ETSU Guitar Building Project’s BBT (OM-sized) Side Mold Assy for use with the STEM Guitar Project’s standard acoustic guitar kit. The extended 'as built' data set contains an overview file and companion video, the 'parent' CADD drawing, CADD data for laser etching and cutting a drill &/or layout template, CADD drawings in AutoCAD .DWG and .DXF R12 formats of the centerline tool paths for creating the mold assembly pieces on an AXYZ CNC router, and support documentation for CAM applications including router bit specifications, feeds, speed, multi-pass …

Robust Error Estimation Based On Factor-Graph Models For Non-Line-Of-Sight Localization, O. Arda Vanli, Clark N. Taylor

Faculty Publications

This paper presents a method to estimate the covariances of the inputs in a factor-graph formulation for localization under non-line-of-sight conditions. A general solution based on covariance estimation and M-estimators in linear regression problems, is presented that is shown to give unbiased estimators of multiple variances and are robust against outliers. An iteratively re-weighted least squares algorithm is proposed to jointly compute the proposed variance estimators and the state estimates for the nonlinear factor graph optimization. The efficacy of the method is illustrated in a simulation study using a robot localization problem under various process and measurement models and measurement …

Strengthening A Linear Reformulation Of The 0-1 Cubic Knapsack Problem Via Variable Reordering, Richard Forrester, Lucas Waddell

Faculty Journal Articles

The 0-1 cubic knapsack problem (CKP), a generalization of the classical 0-1 quadratic knapsack problem, is an extremely challenging NP-hard combinatorial optimization problem. An effective exact solution strategy for the CKP is to reformulate the nonlinear problem into an equivalent linear form that can then be solved using a standard mixed-integer programming solver. We consider a classical linearization method and propose a variant of a more recent technique for linearizing 0-1 cubic programs applied to the CKP. Using a variable reordering strategy, we show how to improve the strength of the linear programming relaxation of our proposed reformulation, which ultimately …

A Literature Review On Combining Heuristics And Exact Algorithms In Combinatorial Optimization, Hesamoddin Tahami, Hengameh Fakhravar

Engineering Management & Systems Engineering Faculty Publications

There are several approaches for solving hard optimization problems. Mathematical programming techniques such as (integer) linear programming-based methods and metaheuristic approaches are two extremely effective streams for combinatorial problems. Different research streams, more or less in isolation from one another, created these two. Only several years ago, many scholars noticed the advantages and enormous potential of building hybrids of combining mathematical programming methodologies and metaheuristics. In reality, many problems can be solved much better by exploiting synergies between these approaches than by “pure” classical algorithms. The key question is how to integrate mathematical programming methods and metaheuristics to achieve such …

Data Driven Bayesian Network To Predict Critical Alarm, Joseph Mietkiewicz, Anders Madsen

Articles

Modern industrial plants rely on alarm systems to ensure their safe and effective functioning. Alarms give the operator knowledge about the current state of the industrial plants. Trip alarms indicating a trip event indicate the shutdown of systems. Trip events in power plants can be costly and critical for the running of the operation.This paper demonstrates how trips events based on an alarm log from an offshore gas production can be reliably predicted using a Bayesian network. If a trip event is reliably predicted and the main cause of it is identified, it will allow the operator to prevent it. …

New Development Of Neutrosophic Probability, Neutrosophic Statistics, Neutrosophic Algebraic Structures, And Neutrosophic Plithogenic Optimizations, Florentin Smarandache, Yanhui Guo

Branch Mathematics and Statistics Faculty and Staff Publications

This collective book presents state-of-the-art papers on new topics related to neutrosophic theories, such as neutrosophic algebraic structures, neutrosophic triplet algebraic structures, neutrosophic extended triplet algebraic structures, neutrosophic algebraic hyperstructures, neutrosophic triplet algebraic hyperstructures, neutrosophic n-ary algebraic structures, neutrosophic n-ary algebraic hyperstructures, refined neutrosophic algebraic structures, refined neutrosophic algebraic hyperstructures, quadruple neutrosophic algebraic structures, refined quadruple neutrosophic algebraic structures, neutrosophic image processing, neutrosophic image classification, neutrosophic computer vision, neutrosophic machine learning, neutrosophic artificial intelligence, neutrosophic data analytics, neutrosophic deep learning, and neutrosophic symmetry, as well as their applications in the real world.

Real-Time Cavity Fault Prediction In Cebaf Using Deep Learning, Md. M. Rahman, K. Iftekharuddin, A. Carptenter, T. Mcguckin, C. Tennant, L. Vidyaratne, Sandra Biedron (Ed.), Evgenya Simakov (Ed.), Stephen Milton (Ed.), Petr M. Anisimov (Ed.), Volker R.W. Schaa (Ed.)

Electrical & Computer Engineering Faculty Publications

Data-driven prediction of future faults is a major research area for many industrial applications. In this work, we present a new procedure of real-time fault prediction for superconducting radio-frequency (SRF) cavities at the Continuous Electron Beam Accelerator Facility (CEBAF) using deep learning. CEBAF has been afflicted by frequent downtime caused by SRF cavity faults. We perform fault prediction using pre-fault RF signals from C100-type cryomodules. Using the pre-fault signal information, the new algorithm predicts the type of cavity fault before the actual onset. The early prediction may enable potential mitigation strategies to prevent the fault. In our work, we apply …

Numerical Investigation On The Effect Of Spectral Radiative Heat Transfer Within An Ablative Material, Raghava S. C. Davuluri, Rui Fu, Kaveh A. Tagavi, Alexandre Martin

Mechanical Engineering Faculty Publications

The spectral radiative heat flux could impact the material response. In order to evaluate it, a coupling scheme between KATS - MR and P1 approximation model of radiation transfer equation (RTE) is constructed and used. A Band model is developed that divides the spectral domain into small bands of unequal widths. Two verification studies are conducted: one by comparing the simulation computed by the Band model with pure conduction results and the other by comparing with similar models of RTE. The comparative results from the verification studies indicate that the Band model is computationally efficient and can be used to …

Fully Coupled Internal Radiative Heat Transfer For The 3d Material Response Of Heat Shield, Raghava S. C. Davuluri, Rui Fu, Kaveh A. Tagavi, Alexandre Martin

Mechanical Engineering Faculty Publications

The radiative transfer equation (RTE) is strongly coupled to the material response code KATS. A P-1 approximation model of RTE is used to account for radiation heat transfer within the material. First, the verification of the RTE model is performed by comparing the numerical and analytical solutions. Next, the coupling scheme is validated by comparing the temperature profiles of pure conduction and conduction coupled with radiative emission. The validation study is conducted on Marschall et al. cases (radiant heating, arc-jet heating, and space shuttle entry), 3D Block, 2D IsoQ sample, and Stardust Return Capsule. The validation results agree well for …

Traveling Wave Solutions For Two Species Competitive Chemotaxis Systems, T. B. Issa, R. B. Salako, W. Shen

Faculty Research, Scholarly, and Creative Activity

In this paper, we consider two species chemotaxis systems with Lotka–Volterra competition reaction terms. Under appropriate conditions on the parameters in such a system, we establish the existence of traveling wave solutions of the system connecting two spatially homogeneous equilibrium solutions with wave speed greater than some critical number c∗. We also show the non-existence of such traveling waves with speed less than some critical number c∗0 , which is independent of the chemotaxis. Moreover, under suitable hypotheses on the coefficients of the reaction terms, we obtain explicit range for the chemotaxis sensitivity coefficients ensuring c∗ = c∗0 , which …

Modernization Of Scienttific Mathematics Formula In Technology, Iwasan D. Kejawa Ed.D, Prof. Iwasan D. Kejawa Ed.D

Department of Mathematics: Faculty Publications

Abstract
Is it true that we solve problem using techniques in form of formula? Mathematical formulas can be derived through thinking of a problem or situation. Research has shown that we can create formulas by applying theoretical, technical, and applied knowledge. The knowledge derives from brainstorming and actual experience can be represented by formulas. It is intended that this research article is geared by an audience of average knowledge level of solving mathematics and scientific intricacies. This work details an introductory level of simple, at times complex problems in a mathematical epidermis and computability and solvability in a Computer Science. …

Universal Biological Motions For Educational Robot Theatre And Games, Rajesh Venkatachalapathy, Martin Zwick, Adam Slowik, Kai Brooks, Mikhail Mayers, Roman Minko, Tyler Hull, Bliss Brass, Marek Perkowski

Systems Science Faculty Publications and Presentations

Paper presents a concept that is new to robotics education and social robotics. It is based on theatrical games, in motions for social robots and animatronic robots. Presented here motion model is based on Drift Differential Model from biology and Fokker-Planck equations. This model is used in various areas of science to describe many types of motion. The model was successfully verified on various simulated mobile robots and a motion game of three robots called "Mouse and Cheese."

Novel And Fast Peridynamic Models For Material Degradation And Failure, Siavash Jafarzadeh

Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research

Fracture is one of the main mechanisms of structural failure. Corroded surfaces with chemically-induced damage are, notably, potential sites for crack initiation and propagation in metals, which can lead to catastrophic failure of structures. Despite some progress in simulating fracture and damage using classical models, realistic prediction of complex damage progression and failure has been out of reach for many decades. Peridynamics (PD), a nonlocal theory introduced in 2000, opened up new avenues in modeling material degradation and failure. Existing numerical methods used to discretize PD equations, however, are quite expensive as the PD nonlocal interactions make them unaffordable for …

Lecture 08: Partial Eigen Decomposition Of Large Symmetric Matrices Via Thick-Restart Lanczos With Explicit External Deflation And Its Communication-Avoiding Variant, Zhaojun Bai

Mathematical Sciences Spring Lecture Series

There are continual and compelling needs for computing many eigenpairs of very large Hermitian matrix in physical simulations and data analysis. Though the Lanczos method is effective for computing a few eigenvalues, it can be expensive for computing a large number of eigenvalues. To improve the performance of the Lanczos method, in this talk, we will present a combination of explicit external deflation (EED) with an s-step variant of thick-restart Lanczos (s-step TRLan). The s-step Lanczos method can achieve an order of s reduction in data movement while the EED enables to compute eigenpairs in batches along with a number …

Lecture 11: The Road To Exascale And Legacy Software For Dense Linear Algebra, Jack Dongarra

Mathematical Sciences Spring Lecture Series

In this talk, we will look at the current state of high performance computing and look at the next stage of extreme computing. With extreme computing, there will be fundamental changes in the character of floating point arithmetic and data movement. In this talk, we will look at how extreme-scale computing has caused algorithm and software developers to change their way of thinking on implementing and program-specific applications.

Lecture 00: Opening Remarks: 46th Spring Lecture Series, Tulin Kaman

Mathematical Sciences Spring Lecture Series

Opening remarks for the 46th Annual Mathematical Sciences Spring Lecture Series at the University of Arkansas, Fayetteville.