Physical Sciences and Mathematics Commons^™

Algebraic Properties Of Edge Ideals, Rachelle R. Bouchat

University of Kentucky Doctoral Dissertations

Given a simple graph G, the corresponding edge ideal I_G is the ideal generated by the edges of G. In 2007, Ha and Van Tuyl demonstrated an inductive procedure to construct the minimal free resolution of certain classes of edge ideals. We will provide a simplified proof of this inductive method for the class of trees. Furthermore, we will provide a comprehensive description of the finely graded Betti numbers occurring in the minimal free resolution of the edge ideal of a tree. For specific subclasses of trees, we will generate more precise information including explicit formulas for …

An Evolutionary Method For The Minimum Toll Booth Problem: The Methodology, Lihui Bai, Matthew T. Stamps, R. Corban Harwood, Christopher J. Kollmann

Faculty Publications - Department of Mathematics

This paper considers the minimum toll booth problem (MINTB) for determining a tolling strategy in a transportation network that requires the least number of toll locations, and simultaneously causes the most efficient use of the network. The paper develops a methodology for using the genetic algorithm to solve MINTB and presents the algorithm GAMINTB. The proposed method is tested and validated through a computational study with six example networks. Additional numerical test discovers some interesting properties for the proposed method, and provides guidelines for further application of the GAMINTB.

Average Min-Sum Decoding Of Ldpc Codes, Nathan Axvig, Deanna Dreher, Katherine Morrison, Eric T. Psota, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

Simulations have shown that the outputs of minsum (MS) decoding generally behave in one of two ways: the output either eventually stabilizes at a codeword or eventually cycles through a finite set of vectors that may include both codewords and non-codewords. This inconsistency in MS across iterations has significantly contributed to the difficulty in studying the performance of this decoder. To overcome this problem, a new decoder, average min-sum (AMS), is proposed; this decoder outputs the average of the min-sum output vectors over a finite set of iterations. Simulations comparing MS, AMS, linear programming (LP) decoding, and maximum likelihood (ML) …

Towards Universal Cover Decoding, Nathan Axvig, Deanna Dreher, Katherine Morrison, Eric T. Psota, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

Low complexity decoding of low-density paritycheck (LDPC) codes may be obtained from the application of iterative message-passing decoding algorithms to the bipartite Tanner graph of the code. Arguably, the two most important decoding algorithms for LDPC codes are the sum-product decoder and the min-sum (MS) decoder. On a bipartite graph without cycles (a tree), the sum-product decoder minimizes the probability of bit error, while the min-sum decoder minimizes the probability of word error [9]. While the behavior of sum-product and min-sum is easily understood when operating on trees, their behavior becomes much more difficult to characterize when the Tanner graph …

Optimal Control Of Delay-Differential Inclusions With Multivalued Initial Conditions In Infinite Dimensions, Boris S. Mordukhovich, Dong Wang, Lianwen Wang

Mathematics Research Reports

This paper is devoted to the study of a general class of optimal control problems described by delay-differential inclusions with infinite-dimensional state spaces, endpoints constraints, and multivalued initial conditions. To the best of our knowledge, problems of this type have not been considered in the literature, except some particular cases when either the state space is finite-dimensional or there is no delay in the dynamics. We develop the method of discrete approximations to derive necessary optimality conditions in the extended Euler-Lagrange form by using advanced tools of variational analysis and generalized differentiation in infinite dimensions. This method consists of the …

Multivariate List Decoding Of Evaluation Codes With A Gröbner Basis Perspective, Philip Busse

University of Kentucky Doctoral Dissertations

Please download dissertation to view abstract.

Use Of Trees By The Texas Ratsnake (Elaphe Obsoleta) In Eastern Texas, Josh B. Pierce, Robert R. Fleet, Lance Mcbrayer, D. Craig Rudolph

Faculty Publications

We present information on the use of trees by Elaphe obsoleta (Texas Ratsnake) in a mesic pine-hardwood forest in eastern Texas. Using radiotelemetry, seven snakes (3 females, 4 males) were relocated a total of 363 times from April 2004 to May 2005, resulting in 201 unique locations. Snakes selected trees containing cavities and used hardwoods and snags for a combined 95% of arboreal locations. Texas Ratsnake arboreal activity peaked during July and August, well after the peak of avian breeding activity, suggesting arboreal activity involves factors other than avian predation.

Stochastic Differential Equations With Jumps, Jose L. Menaldi

Mathematics Faculty Research Publications

Part I Stochastic Processes with Jumps Chapters: Probability Spaces, Semigroup Theory - Part II Stochastic Differential Equations with Jumps Chapters: Stochastic Calculus, Stochastic Differential Equations - Part III Reflected SDE with Jumps Chapters: Stochastic Differential Equations II, Stochastic Differential Equations III.

Comment: This is last version from 2014-01-07. *This Initial version 15/May/2008 was corrected and augmented to produce the others 5 volumes.

The Adaptability Principle Of Mechanical Law And The Scale-Invariant Principle Of Mechanical Law In Fractal Space, Yang Xiaojun

Xiao-Jun Yang

The adaptability principle of mechanical law and the scale-invariant principle of mechanical law in fractal space are proved by using parameter-space and scale-space transforms in renormalization groups.From the space-transform angle,the transform of mechanical law from fractal space to European space is the scale-invariant transform while the transform of mechanical law from European space to fractal space is the adaptability transform.Their deductions are that law of conservation of energy and vectorial resultant of force and displacement in fractal space hold the line in form and Carpinteri's dimensional formula of fractal space is also proved. Namely,the spilling dimension of volume in fractal …

Fractional Definite Integral, Yang Xiaojun

Xiao-Jun Yang

Fractional definite integral is that a value of the integral calculus over given interva1．Under the circumstance of fractional dimension，fractional definite integral is important to compute some value in given interva1．It is complied with starting introducing definition，the properties，leads into fractional integral function of definition and the properties，and then induces to basic theorems for fractional integral calculus

Optimal Switching Control For Microbial Fed-Batch Culture, Chongyang Liu, Zhaohua Gong, Enmin Feng, Hongchao Yin

Chongyang Liu

In fed-batch culture of glycerol bio-dissimilation to 1,3-propanediol (1,3-PD), the aim of adding glycerol is to obtain as much 1,3-PD as possible. Hence, a proper feed strategy is required during the process. In this paper, we present an optimal switching control model based on our proposed controlled switching system. Some properties of the controlled switching system are obtained. Subsequently, we prove the existence of optimal control. In order to deduce the optimality conditions, we transcribe the optimal switching control model into an equivalent one with fixed switching instants and parameters. Finally, the optimality conditions of the equivalent problem are investigated …

Identification Of Intracellular Kinetic Parameters In Continuous Bioconversion Of Glycerol By Klebsiella Pneumoniae, Enmin Feng, Chongyang Liu, Zhaohua Gong, Yaqin Sun

Chongyang Liu

In this paper, we propose a hybrid nonlinear dynamical system to describe the concentration changes of extracellular and intracellular substances of glycerol bioconversion to 1,3- propanedol (1,3-PD) in microbial continuous cultures. It is proved that the solution to the system exists and is continuous with respect to kinetic parameters. Subsequently, a novel quantitative definition of biological robustness is investigated. We present a performance index based on experiment data of extracellular concentrations and biological robustness. Taking the proposed hybrid nonlinear dynamical system as a constraint, we establish an identification model to determine the most reasonable metabolic pathway and optimal kinetic parameters. …

Malonic Acid Concentration As A Control Parameter In The Kinetic Analysis Of The Belousov–Zhabotinsky Reaction Under Batch Conditions, Zeljko D. Cupic

Zeljko D Cupic

No abstract provided.

Stoichiometric Network Analysis And Associated Dimensionless Kinetic Equations. Application To A Model Of The Bray-Liebhafsky Reaction, Zeljko D. Cupic

Zeljko D Cupic

No abstract provided.

The Chaotic Sequences In The Bray–Liebhafsky Reaction In An Open Reactor, Zeljko D. Cupic

Zeljko D Cupic

No abstract provided.

Experimentally Observable Transitions Between Dynamical States In Complex Reaction Systems, Zeljko D. Cupic

Zeljko D Cupic

No abstract provided.

Use Of Modeling And Simulation In Pulp And, Dr. Erik Dahlquist

Dr. Erik Dahlquist

The book is a handbook for operators and process engineers in primarily pulp and paper industry, but also other process industries about how to utilise simulation as a tool for enhanced process operations. The book has been written as part of a EU COST action on Process Simulation, with 14 countries and 50 researchers and process industry representatives involved.

Generalized Solitary Solution And Compacton-Like Solution Of The Jaulent–Miodek Equations Using The Exp-Function Method, Li-Na Zhang

Ji-Huan He

A new generalized solitary solution of the Jaulent–Miodek equations is obtained using the Exp-function method. By a transformation, the solitary solution can be easily converted into a generalized compacton-like solution. The free parameters in the obtained generalized solutions might imply some meaningful results in physical process.

Morphologies And Kinetics Of A Dewetting Ultrathin Solid Film, Mikhail Khenner

Mikhail Khenner

The surface evolution model based on geometric partial differential equation is used to numerically study the kinetics of dewetting and dynamic morphologies for the localized pinhole defect in the surface of the ultrathin solid film with the strongly anisotropic surface energy. Depending on parameters such as the initial depth and width of the pinole, the strength of the attractive substrate potential and the strength of the surface energy anisotropy, the pinhole may either extend to the substrate and thus rupture the film, or evolve to the quasiequilibrium shape while the rest of the film surface undergoes phase separation into a …

Enhanced Stability Of A Dewetting Thin Liquid Film In A Single-Frequency Vibration Field, Sergey Shklyaev, Mikhail Khenner, Alexei Alabuzhev

Mikhail Khenner

Dynamics of a thin dewetting liquid film on a vertically oscillating substrate is considered. We assume moderate vibration frequency and large (compared to the mean film thickness) vibration amplitude. Using the lubrication approximation and the averaging method, we formulate the coupled sets of equations governing the pulsatile and the averaged fluid flows in the film, and then derive the nonlinear amplitude equation for the averaged film thickness. We show that there exists a window in the frequency-amplitude domain where the parametric and shear-flow instabilities of the pulsatile flow do not emerge. As a consequence, in this window the averaged description …

Constructive Perception Of Self-Motion, Jan E. Holly, Gin Mccollum

Gin McCollum

This review focusses attention on a ragged edge of our knowledge of self-motion perception, where understanding ends but there are experimental results to indicate that present approaches to analysis are inadequate. Although self-motion perception displays processes of “top-down” construction, it is typically analyzed as if it is nothing more than a deformation of the stimulus, using a “bottom-up” and input/output approach beginning with the transduction of the stimulus. Analysis often focusses on the extent to which passive transduction of the movement stimulus is accurate. Some perceptual processes that deform or transform the stimulus arise from the way known properties of …

A Model For Rolling Swarms Of Locusts, Chad M. Topaz, Andrew J. Bernoff, Sheldon Logan, Wyatt Toolson

Chad M. Topaz

We construct an individual-based kinematic model of rolling migratory locust swarms. The model incorporates social interactions, gravity, wind, and the effect of the impenetrable boundary formed by the ground. We study the model using numerical simulations and tools from statistical mechanics, namely the notion of H-stability. For a free-space swarm (no wind and gravity), as the number of locusts increases, the group approaches a crystalline lattice of fixed density if it is H-stable, and in contrast becomes ever denser if it is catastrophic. Numerical simulations suggest that whether or not a swarm rolls depends on the statistical mechanical properties of …

Patterns Of Upper Layer Circulation Variability In The South China Sea From Satellite Altimetry Using The Self-Organizing Map, Yonggang Liu, Robert H. Weisberg, Yaochu Yuan

Yonggang Liu

Patterns of the South China Sea (SCS) circulation variability are extracted from merged satellite altimetry data from October 1992 through August 2004 by using the self-organizing map (SOM). The annual cycle, seasonal and inter-annual variations of the SCS surface circulation are identified through the evolution of the characteristic circulation patterns. The annual cycle of the SCS gener- al circulation patterns is described as a change between two opposite basin-scale SW-NE oriented gyres embedded with eddies: low sea surface height anomaly (SSHA) (cyclonic) in winter and high SSHA (anticyclonic) in summer half year. The transition starts from July--August (January--February) with a …

Non-Preemptive Shunting In M/M/1 And Dynamic Service Queueing Systems, Steven Lacek

Theses, Dissertations and Capstones

We provide a study of two queueing systems, namely, an M/M/1 queueing system in which an incoming customer shunts, or skips line, and a dynamic server in an infinite capacity system moving among service nodes. In the former, we explore various aspects of the system, including waiting time, and the relationships between shunting and position in queue and rate of service. Through use of global balance equations, we find the probability that an arriving non-priority customer, finding customers waiting in the system, will shunt to a position other than behind the queue. In the latter, we explore a system in …

A Study Of Present Value Maximization For The Monopolist Problem In Time Scales, Keshav Prasad Pokhrel

Theses, Dissertations and Capstones

There are some mathematical characters in the abstract that will not transfer. Refer to the download to read full abstract.

General results for time scales with right dense points are established. A study of issues that arise when unifying (C) and (D) is included in the analysis

Qualitative Properties Of Nonlinear Volterra Integral Equations, Muhammad Islam, Jeffrey T. Neugebauer

Mathematics Faculty Publications

In this article, the contraction mapping principle and Liapunov's method are used to study qualitative properties of nonlinear Volterra equations of the form x(t)=a(t)−∫^t₀C(t,s)g(s,x(s))ds,t≥0. In particular, the existence of bounded solutions and solutions with various L^p properties are studied under suitable conditions on the functions involved with this equation.

Origin Of Conductive Surface Layer In Annealed Zno, David C. Look, B. Claflin, Helen Smith

Mathematics and Statistics Faculty Publications

The highly conductive surface layers found in nearly all as-grown or annealed bulk ZnO wafers are studied by temperature-dependent Hall-effect and secondary-ion mass spectroscopy (SIMS) measurements. In this work, we have used annealing in N₂ at 900 degrees C, and forming gas (5% H₂ in N₂) at 600 degrees C, to cause a large enough surface conduction that SIMS measurements can be reliably employed. The increased near-surface donor density, as determined from two-layer Hall-effect modeling, is consistent with an increased near-surface concentration of Al, Ga, and In atoms, resulting from diffusion. There is no evidence for …

Reduction Of Boundary Value Problem To Possio Integral Equation In Theoretical Aeroelasticity, A. V. Balakrishnan, Marianna A. Shubov

Mathematics & Statistics

The present paper is the first in a series of works devoted to the solvability of the Possio singular integral equation. This equation relates the pressure distribution over a typical section of a slender wing in subsonic compressible air flow to the normal velocity of the points of a wing (downwash). In spite of the importance of the Possio equation, the question of the existence of its solution has not been settled yet. We provide a rigorous reduction of the initial boundary value problem involving a partial differential equation for the velocity potential and highly nonstandard boundary conditions to a …

Predictive Control Of A Munition Using Low-Speed Linear Theory, Nathan Slegers

Faculty Publications - Biomedical, Mechanical, and Civil Engineering

"Modified linear theory provides reasonable impact predictions at high speeds. However, for typical small UAS mission speeds, less than 20-m/s impact errors were substantial due to large angles of attack and pitch rates. Low-speed linear theory was developed by including higher-order terms involving w and q that modified linear theory neglects. As a result, the angle of attack, pitch, and yaw predictions are significantly improved, leading to accurate impact predictions even at very low speeds. A predictive control scheme was developed to reduce dispersion using control surfaces near the tail. The predictive controller uses low-speed linear theory to rapidly predict …

An Order Model For Infinite Classical States, Joe Mashburn

Mathematics Faculty Publications

In 2002 Coecke and Martin (Research Report PRG-RR-02-07, Oxford University Computing Laboratory,2002) created a model for the finite classical and quantum states in physics. This model is based on a type of ordered set which is standard in the study of information systems. It allows the information content of its elements to be compared and measured. Their work is extended to a model for the infinite classical states. These are the states which result when an observable is applied to a quantum system. When this extended order is restricted to a finite number of coordinates, the model of Coecke and …