Numerical Analysis and Computation Commons^™

Physics Embedded Neural Network: A Novel Data-Free Numerical Method For Solving Computational Physics Problems, Pawan Gaire

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

A novel approach for solving partial differential equations (PDEs) using neural networks for scientific computing is introduced. The proposed approach, referred to as physics-embedded neural network (PENN), features a unique architecture that incorporates the PDE and boundary conditions information directly within the final fully-connected layer of the feed-forward neural network (NN). The key aspect of PENN is the parallel numerical embedding of a differential equation associated with physical problems within the activation function of the network’s final layer. This integration leads to a new class of computational solvers competitive with classical methods like the Finite Element Method (FEM) and capable …

Using Permutation Groups To Identify Families Of Capacity Achieving Codes, Daniel Welchons

Department of Mathematics: Dissertations, Theses, and Student Research

When communicating over a noisy channel, the probability of message interference sets a maximum possible transmission rate known as the channel capacity. Any family of codes which have rates converging to the channel capacity and arbitrarily low probability of decoding failure is called capacity achieving. Such codes have been known to exist since the birth of information theory, but are difficult to find explicitly. It has recently been shown that the permutation groups of a family of codes can be used to show that the family is capacity achieving on the q-ary erasure channel.

This thesis seeks to apply the …

Using Permutation Groups To Identify Family Of Capacity Achieving Codes, Daniel Joseph Welchons

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

When communicating over a noisy channel, the probability of message interference sets a maximum possible transmission rate known as the channel capacity. Any family of codes which have rates converging to the channel capacity and arbitrarily low probability of decoding failure is called capacity achieving. Such codes have been known to exist since the birth of information theory but are difficult to find explicitly. It has recently been shown that the permutation groups of a family of codes can be used to show that the family is capacity achieving on the q-ary erasure channel.

This this thesis seeks to …

Towards Advancing Streamflow And Peak Flow Prediction With Machine Learning: Identifying Infrastructure At Risk, Sudan Pokharel

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

Due to climate change and its impact, the need for adaptive strategies for natural disaster mitigation and resource management has never been more urgent. Central to this is water resource management, which is essential for sustainable human activities, ecological balance, and the mitigation of natural hazards like floods. Streamflow is a crucial element of water resource management and plays a vital role in planning and building water infrastructure, implementing emergency response plans, supporting flood mitigation initiatives, and regulating agricultural and industrial use. However, accurate prediction of streamflow still remains a challenge due to the complex non-linear and non-stationary interaction between …

Quantitative Verification For Massive Linear Systems, Qing Liu

School of Computing: Dissertations, Theses, and Student Research

The verification of linear systems has been an active area of research for decades. Reachability analysis is a key component in verification problems. It involves computing the system’s reachable set, the set of reachable states in the state space from a given set of initial states. Most verification methods primarily focus on qualitative verification, which answers whether or not a system may violate specified safety conditions. This paper extends this qualitative verification to quantitative verification by introducing a novel approach, employing probabilistic stars (Probstars) to compute reachable sets, which augment traditional star sets by integrating Gaussian-distributed random variables with …

Game-Theoretic Approaches To Optimal Resource Allocation And Defense Strategies In Herbaceous Plants, Molly R. Creagar

Department of Mathematics: Dissertations, Theses, and Student Research

Empirical evidence suggests that the attractiveness of a plant to herbivores can be affected by the investment in defense by neighboring plants, as well as investment in defense by the focal plant. Thus, allocation to defense may not only be influenced by the frequency and intensity of herbivory but also by defense strategies employed by other plants in the environment. We incorporate a neighborhood defense effect by applying spatial evolutionary game theory to optimal resource allocation in plants where cooperators are plants investing in defense and defectors are plants that do not. We use a stochastic dynamic programming model, along …

Convolutional Neural Network-Based Gene Prediction Using Buffalograss As A Model System, Michael Morikone

Complex Biosystems Program: Dissertations and Student Research

The task of gene prediction has been largely stagnant in algorithmic improvements compared to when algorithms were first developed for predicting genes thirty years ago. Rather than iteratively improving the underlying algorithms in gene prediction tools by utilizing better performing models, most current approaches update existing tools through incorporating increasing amounts of extrinsic data to improve gene prediction performance. The traditional method of predicting genes is done using Hidden Markov Models (HMMs). These HMMs are constrained by having strict assumptions made about the independence of genes that do not always hold true. To address this, a Convolutional Neural Network (CNN) …

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 …

Common Unit Conversions For Irrigation, Dean E. Eisenhauer, Derrel L. Martin, Derek M. Heeren, Glenn J. Hoffman

Open Learning Resources, General/Selected

A fact sheet that includes common unit conversions for irrigation in international system of units (SI) and United States customary system of units (USCS).

Includes units for: length, area, volume, flow, weight and mass, pressure, crop yield, temperature, and the United States public land survey system.

Optimal Allocation Of Two Resources In Annual Plants, David Mcmorris

Department of Mathematics: Dissertations, Theses, and Student Research

The fitness of an annual plant can be thought of as how much fruit is produced by the end of its growing season. Under the assumption that annual plants grow to maximize fitness, we can use techniques from optimal control theory to understand this process. We introduce two models for resource allocation in annual plants which extend classical work by Iwasa and Roughgarden to a case where both carbohydrates and mineral nutrients are allocated to shoots, roots, and fruits in annual plants. In each case, we use optimal control theory to determine the optimal resource allocation strategy for the plant …

Individual Based Model To Simulate The Evolution Of Insecticide Resistance, William B. Jamieson

Department of Mathematics: Dissertations, Theses, and Student Research

Insecticides play a critical role in agricultural productivity. However, insecticides impose selective pressures on insect populations, so the Darwinian principles of natural selection predict that resistance to the insecticide is likely to form in the insect populations. Insecticide resistance, in turn, severely reduces the utility of the insecticides being used. Thus there is a strong economic incentive to reduce the rate of resistance evolution. Moreover, resistance evolution represents an example of evolution under novel selective pressures, so its study contributes to the fundamental understanding of evolutionary theory.

Insecticide resistance often represents a complex interplay of multiple fitness trade-offs for individual …

Studies Of Boundary Layer Transition From Laminar To Turbulent, Elizabeth Spaulding

Honors Program: Senior Projects (Public)

In engineering applications, there is a strong desire to reduce energy losses due to turbulent energy production. However, the theoretical understanding of turbulent and transition flow is still lacking due to the absence of an exact mathematical solution for turbulent flow. In the current project, transition and turbulent behavior in wall-bounded flow is studied, with an emphasis on concepts from boundary layer theory. Organized structures, such as streaks, waves, and vortices, which occur in such flows, are analyzed. Especially for near-wall structures, control strategies for suppressing such structures are discussed. Using mathematical equations which govern fluid flow, models for different …

Pawnee Dam Inflow Design Flood (Idf) Update And Stage-Frequency Curve Development Using Rmcrfa, Jennifer P. Christensen, Joshua J. Melliger

United States Geological Survey: Water Reports and Publications

Pawnee Dam is one of the ten Salt Creek Dams designed and built in the 1960s to mitigate flooding in Lincoln, Nebraska. This short paper illustrates the update of the Pawnee Dam inflow design flood (IDF) through calibration to recent high flow events and the development of its stage-frequency or hydrologic loading curve with the U.S. Army Corps of Engineers’ Risk Management Center Reservoir Frequency Analysis (RMC-RFA) model. The IDF update follows Engineering Regulation 1110-8-2, Inflow Design Flood for Dams and Reservoirs, including unit hydrograph peaking and two antecedent pool elevations. Background information on the original design of the dam …

On The Well-Posedness And Global Boundary Controllability Of A Nonlinear Beam Model, Jessie Jamieson

Department of Mathematics: Dissertations, Theses, and Student Research

The theory of beams and plates has been long established due to works spanning many fields, and has been explored through many investigations of beam and plate mechanics, controls, stability, and the well-posedness of systems of equations governing the motions of plates and beams. Additionally, recent investigations of flutter phenomena by Dowell, Webster et al. have reignited interest into the mechanics and stability of nonlinear beams. In this thesis, we wish to revisit the seminal well-posedness results of Lagnese and Leugering for the one dimensional, nonlinear beam from their 1991 paper, "Uniform stabilization of a nonlinear beam by nonlinear boundary …

Recta: Regulon Identification Based On Comparative Genomics And Transcriptomics Analysis, Xin Chen, Anjun Ma, Adam Mcdermaid, Hanyuan Zhang, Chao Liu, Huansheng Cao, Qin Ma

School of Computing: Faculty Publications

Regulons, which serve as co-regulated gene groups contributing to the transcriptional regulation of microbial genomes, have the potential to aid in understanding of underlying regulatory mechanisms. In this study, we designed a novel computational pipeline, regulon identification based on comparative genomics and transcriptomics analysis (RECTA), for regulon prediction related to the gene regulatory network under certain conditions. To demonstrate the effectiveness of this tool, we implemented RECTA on Lactococcus lactis MG1363 data to elucidate acid-response regulons. A total of 51 regulons were identified, 14 of which have computational-verified significance. Among these 14 regulons, five of them were computationally predicted to …

Multiphysics Modeling To Enhance Understanding Of Microwave Heating Of Food In Domestic Ovens, Jiajia Chen

Department of Agricultural and Biological Systems Engineering: Dissertations, Theses, and Student Research

Nonuniform heating is the biggest issue in the microwave heating of prepared meals. Multiphysics based models are promising tools to improve microwave heating uniformity by properly designing the food product. However, limited availability of accurate temperature-dependent material properties, inadequate model prediction accuracy, and high computational power and complexity in model development are three gaps that greatly limited the application of these models in the food industry.

To fill in the gaps, firstly, we developed a multitemperature calibration protocol to measure temperature-dependent dielectric properties (dielectric constant and loss factor). The temperature-dependent dielectric and thermal (thermal conductivity and specific heat capacity) properties …

An Applied Functional And Numerical Analysis Of A 3-D Fluid-Structure Interactive Pde, Thomas J. Clark

Department of Mathematics: Dissertations, Theses, and Student Research

We will present qualitative and numerical results on a partial differential equation (PDE) system which models a certain fluid-structure dynamics. In Chapter \ref{ChWellposedness}, the wellposedness of this PDE model is established by means of constructing for it a nonstandard semigroup generator representation; this representation is essentially accomplished by an appropriate elimination of the pressure. This coupled PDE model involves the Stokes system which evolves on a three dimensional domain $\mathcal{O}$ being coupled to a fourth order plate equation, possibly with rotational inertia parameter $\rho >0$, which evolves on a flat portion $\Omega$ of the boundary of $\mathcal{O}$. The coupling on …

Two-Source Energy Balance Model To Calculate E, T, And Et: Comparison Of Priestley-Taylor And Penman-Monteith Formulations And Two Time Scaling Methods, Paul D. Colaizzi, Nurit Agam, Judy A. Tolk, Steven R. Evett, Terry A. Howell, Prasanna H. Gowda, Susan A. O'Shaughnessy, William P. Kustas, Martha C. Anderson

United States Department of Agriculture-Agricultural Research Service / University of Nebraska-Lincoln: Faculty Publications

The two-source energy balance (TSEB) model calculates the energy balance of the soil-canopy-atmosphere continuum, where transpiration is initially determined by the Priestley-Taylor equation. The TSEB was revised recently using the Penman-Monteith equation to replace the Priestley-Taylor formulation, thus better accounting for the impact of large and varying vapor pressure deficits (VPD) typical of advective, semiarid climates. This study is a comparison of the Priestley- Taylor and Penman-Monteith versions of the TSEB (termed TSEB-PT and TSEB-PM, respectively). Evaporation (E), transpiration (T), and evapotranspiration (ET) calculated by the TSEB-PT and TSEB-PM versions were compared to measurements obtained with microlysimeters, sap flow gauges, …

Random Search Models Of Foraging Behavior: Theory, Simulation, And Observation, Ben C. Nolting

Department of Mathematics: Dissertations, Theses, and Student Research

Many organisms, from bacteria to primates, use stochastic movement patterns to find food. These movement patterns, known as search strategies, have recently be- come a focus of ecologists interested in identifying universal properties of optimal foraging behavior. In this dissertation, I describe three contributions to this field. First, I propose a way to extend Charnov's Marginal Value Theorem to the spatially explicit framework of stochastic search strategies. Next, I describe simulations that compare the efficiencies of sensory and memory-based composite search strategies, which involve switching between different behavioral modes. Finally, I explain a new behavioral analysis protocol for identifying the …

Modeling And Mathematical Analysis Of Plant Models In Ecology, Eric A. Eager

Department of Mathematics: Dissertations, Theses, and Student Research

Population dynamics tries to explain in a simple mechanistic way the variations of the size and structure of biological populations. In this dissertation we use mathematical modeling and analysis to study the various aspects of the dynamics of plant populations and their seed banks.

In Chapter 2 we investigate the impact of structural model uncertainty by considering different nonlinear recruitment functions in an integral projection model for Cirsium canescens. We show that, while having identical equilibrium populations, these two models can elicit drastically different transient dynamics. We then derive a formula for the sensitivity of the equilibrium population to …

From Energy Gradient And Natural Selection To Biodiversity And Stability Of Ecosystems, Bo Deng

Department of Mathematics: Faculty Publications

The purpose of this paper is to incorporate well-established ecological principles into a foodweb model consisting of four trophic levels --- abiotic resources, plants, herbivores, and carnivores. The underlining principles include Kimura's neutral theory of genetic evolution, Liebig's Law of the Minimum for plant growth, Holling's functionals for herbivore foraging and carnivore predation, the One-Life Rule for all organisms, and Lotka-Volterra's model for intraand interspecific competitions. Numerical simulations of the model led to the following statistical findings: (a) particular foodwebs can give contradicting observations on biodiversity and productivity, in particular, all known functional forms -- - positive, negative, sigmoidal, and …