Applied Mathematics Commons^™

Elliptic Curves And Cryptography, Linh Nguyen, Andrew Shallue, Faculty Advisor

John Wesley Powell Student Research Conference

No abstract provided.

In Pursuit Of The Ringel-Kotzig Conjecture: Uniform K-Distant Trees Are Graceful, Kimberly Wenger, Daniel Roberts, Faculty Advisor

John Wesley Powell Student Research Conference

Graph labeling has been an active area of research since 1967, when Rosa introduced the concept. Arguably, the biggest open conjecture in the field is referred to as the Ringel-Kotzig conjecture, which states that all trees admit a graceful labeling. In this talk, we will give a bit of background on the problem, as well as present our own results. Namely, that a certain infinite class of trees (called uniform k-distant trees) admits a graceful labeling.

Decomposing Complete Graphs Into A Graph Pair Of Order 6, Yizhe Gao, Daniel Roberts, Faculty Advisor

John Wesley Powell Student Research Conference

Firstly, a graph G consists of a vertex set V (G), and an edge set E (G) of endpoints which relate two vertices with each edge. Also, a decomposition of a graph is a list of subgraphs such that each edge appears in exactly one subgraph in the list. In the field of graph theory, graph decomposition is an active field of research. A graph pair is a pair of graphs on the same vertex set whose union is the complete graph. Abueida and Daven studied decompositions of complete graphs into graph-pairs of order four and five. We are extending …

Well-Posedness And Stability Of A Semilinear Mindlin–Timoshenko Plate Model, Pei Pei

Department of Mathematics: Dissertations, Theses, and Student Research

I will discuss well-posedness and long-time behavior of Mindlin-Timoshenko plate equations that describe vibrations of thin plates. This system of partial differential equations was derived by R. Mindlin in 1951 (though E. Reissner also considered an analogous model earlier in 1945). It can be regarded as a generalization of the Timoshenko beam model (1937) to flat plates, and is more accurate than the classical Kirchhoff-Love plate theory (1888) because it accounts for shear deformations.

I will present a semilinear version of the Mindlin-Timoshenko system. The primary feature of this model is the interplay between nonlinear frictional forces (``damping”) and nonlinear …

In Category Of Sets And Relations, It Is Possible To Describe Functions In Purely Category Terms, Vladik Kreinovich, Martine Ceberio, Quentin Brefort

Departmental Technical Reports (CS)

We prove that in the category of sets and relations, it is possible to describe functions in purely category terms.

Numerical Solutions For Problems With Complex Physics In Complex Geometry, Yifan Wang

Doctoral Dissertations

In this dissertation, two high order accurate numerical methods, Spectral Element Method (SEM) and Discontinuous Galerkin method (DG), are discussed and investigated. The advantages of both methods and their applicable areas are studied. Particular problems in complex geometry with complex physics are investigated and their high order accurate numerical solutions obtained by using either SEM or DG are presented. Furthermore, the Smoothed Particle Hydrodynamics (SPH) (a mesh-free weighted interpolation method) is implemented on graphics processing unit (GPU). Some numerical simulations of the complex flow with a free surface are presented and discussed to show the advantages of SPH method in …

Modeling And Simulation Of Shape Changes Of Red Blood Cells In Shear Flow, John Gounley

Mathematics & Statistics Theses & Dissertations

A description of the biomechanical character of red blood cells is given, along with an introduction to current computational schemes which use deformable capsules to simulate red blood cell shape change. A comprehensive two- and three-dimensional framework for the fluid-structure interaction between a deformable capsule and an ambient flow is provided. This framework is based on the immersed boundary method, using lattice Boltzmann and finite element methods for the fluid and structure, respectively. The characteristic response and recovery times of viscoelastic circular and spherical capsules are compared, and their dependence on simulation parameters is shown. The shape recovery of biconcave …

Analyzing Cholera Dynamics In Homogeneous And Heterogeneous Environments, Drew Posny

Mathematics & Statistics Theses & Dissertations

Cholera continues to be a serious public health concern in developing countries and the global increase in the number of reported outbreaks suggests that activities to control the diseases and surveillance programs to identify or predict the occurrence of the next outbreaks are not adequate. Mathematical models play a critical role in predicting and understanding disease mechanisms, and have long provided basic insights in the possible ways to control infectious diseases. This dissertation is concerned with mathematical modeling and analysis of cholera dynamics. First, we study an autonomous model in a homogeneous environment with added controls that involves both direct …

Adverse Impacts Of Furlough Programs On Employee Work Rate And Organizational Productivity, Adedeji B. Badiru

Faculty Publications

This article is primarily a research-provoking exposition against the management approach used in the 2013 government furlough program. It is intended to prompt potentially productive research investigations on the impact of personnel furloughs, particularly on defense acquisition programs. Defense acquisition programs are time-sensitive and systems oriented. What appears as a minor delay in one unit of an acquisition life cycle can lead to long-term encumbrances within the entire defense system, resulting in enormous cost escalation. Pertinent analytical techniques/methodologies are provided to illustrate potential pathways for further research studies of furloughs and how they adversely impact organizational productivity. The author’s intent …

One-Parameter Families Of Supersymmetric Isospectral Potentials From Riccati Solutions In Function Composition Form, Haret C. Rosu, S.C. Mancas, Pisin Chen

Publications

In the context of supersymmetric quantum mechanics, we define a potential through a particular Riccati solution of the composition form (F∘f)(x)=F(f(x)) and obtain a generalized Mielnik construction of one-parameter isospectral potentials when we use the general Riccati solution. Some examples for special cases of F and f are given to illustrate the method. An interesting result is obtained in the case of a parametric double well potential generated by this method, for which it is shown that the parameter of the potential controls the heights of the localization probability in the two wells, and for certain values of the parameter …

Euler-Poincar´E Equations For G-Strands, Darryl Holm, Rossen Ivanov

Conference papers

The G-strand equations for a map R×R into a Lie group G are associated to a G-invariant Lagrangian. The Lie group manifold is also the configuration space for the Lagrangian. The G-strand itself is the map g(t,s):R×R→G, where t and s are the independent variables of the G-strand equations. The Euler-Poincar'e reduction of the variational principle leads to a formulation where the dependent variables of the G-strand equations take values in the corresponding Lie algebra g and its co-algebra, g^∗ with respect to the pairing provided by the variational derivatives of the Lagrangian. We review examples of different G-strand …

A Contagion Model Of Emergency Airplane Evacuations, Junyuan Lin

Seaver College Research And Scholarly Achievement Symposium

Motivated by the Asiana Flight 214 crash in San Francisco this summer, this project focuses on modeling an emergency airplane evacuation. Our models are based on the Particle Swarm Optimization (PSO) algorithm, where each agent's position is compared to a fitness function that describes the current environment. Each agent moves according to its knowledge of its own previous best position and the group's current best position. The static environment is modeled by a potential function that describes the layout of the airplane that includes the exits and physical barriers such as the seats. We model the interactions within the swarm …

Existence And Uniqueness Of Solutions For A Fractional Boundary Value Problem On A Graph, John R. Graef, Lingju Kong, Min Wang

College of Science & Mathematics Departmental Research

In this paper, the authors consider a nonlinear fractional boundary value problem defined on a star graph. By using a transformation, an equivalent system of fractional boundary value problems with mixed boundary conditions is obtained. Then the existence and uniqueness of solutions are investigated by fixed point theory.

Airborne Wireless Communication Modeling And Analysis With Matlab, Matthew J. Vincie

Theses and Dissertations

Over the past decade, there has been a dramatic increase in the use of unmanned aerial vehicles (UAV) for military, commercial, and private applications. Critical to maintaining control and a use for these systems is the development of wireless networking systems [1]. Computer simulation has increasingly become a key player in airborne networking developments though the accuracy and credibility of network simulations has become a topic of increasing scrutiny [2-5]. Much of the inaccuracies seen in simulation are due to inaccurate modeling of the physical layer of the communication system. This research develops a physical layer model that combines antenna …

Model Uncertainty And Test Of A Segmented Mirror Telescope, Luke C. Dras

Theses and Dissertations

The future of large aperture telescopes relies heavily on the development of segmented array designs. Today's monolithic mirror technology has reached a barrier, particularly for space-based telescopes. These large diameter, dense mirrors allow stable high-resolution imaging but are incompatible with optimized space launch. Segmented mirror telescopes are designed to balance lightweight with compact stowage. The structure necessary to support the flexible mirror array often combines isogrid geometry and complex actuation hardware. High-fidelity finite element models are commonly used to economically predict how the optics will perform under different environmental conditions. The research detailed herein integrates superelement partitioning and complexity simplifying …

A Generalization Of Aztec Diamond Theorem, Part I, Tri Lai

Department of Mathematics: Faculty Publications

We consider a new family of 4-vertex regions with zigzag boundary on the square lattice with diagonals drawn in. By proving that the number of tilings of the new regions is given by a power 2, we generalize both Aztec diamond theorem and Douglas’ theorem. The proof extends an idea of Eu and Fu for Aztec diamonds, by using a bijection between domino tilings and non-intersecting Schr¨oder paths, then applying Lindstr¨om-Gessel-Viennot methodology.

For Each Mathematical Statement, Only Finitely Many Of Its Generalizations Are Useful: A Formal Proof Of E. Bishop's Idea, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Generalization is one of the main mathematical activities. Some generalizations turn out to be useful for working mathematics, while many other generalizations have so far been not very useful. E. Bishop believed that most fruitless-so-far generalizations are hopeless, that every mathematical statement has only a few useful generalizations. In this paper, we show that, under a natural definition of the notion of useful generalization, Bishop's belief can be proven -- moreover, it turns out that for each mathematical statement, only finitely many of its generalizations are useful.

Deep Mathematical Results Are The Ones That Connect Seemingly Unrelated Areas: Towards A Formal Proof Of Gian-Carlo Rota's Thesis, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

When is a mathematical result deep? At first glance, the answer to this question is subjective: what is deep for one mathematician may not sound that deep for another. A renowned mathematician Gian-Carlo Rota expressed an opinion that the notion of deepness is more objective that we may think: namely, that a mathematical statement is deep if and only if it connects two seemingly unrelated areas of mathematics. In this paper, we formalize this thesis, and show that in this formalization, Gian Carlo Rota's thesis becomes a provable mathematical result.

Ua66 Ogden College Of Science & Engineering Newsletter, Cheryl Stevens, Dean

Ogden College of Science & Engineering Publications

No abstract provided.

Conditional Tests On Basins Of Attraction With Finite Fields, Ian H. Dinwoodie

Mathematics and Statistics Faculty Publications and Presentations

An iterative method is given for computing the polynomials that vanish on the basin of attraction of a steady state in discrete polynomial dynamics with finite field coefficients. The algorithm is applied to dynamics of a T cell survival network where it is used to compare transition maps conditional on a basin of attraction.