Physical Sciences and Mathematics Commons^™

Apparent Contours For Piecewise Smooth Surfaces, Sarah Marie Jackman

UNF Graduate Theses and Dissertations

The set of points on an embedded surface $M$ that are tangent to a set viewing direction $\mathbf{v}$ is called the contour generator of $M$. The projection of those points to an image plane is called a surface's apparent contour. Apparent contours hold certain properties that allow for reconstruction of the original surface using only the information of the apparent contour. In this paper, we explore the structure of the apparent contour through contact classes and singularity types. Additionally we examine the properties of apparent contours that allow for 3 dimensional reconstruction. Our goal is to extend the properties of …

Elliptic Functions And Iterative Algorithms For Π, Eduardo Jose Evans

UNF Graduate Theses and Dissertations

Preliminary identities in the theory of basic hypergeometric series, or `q-series', are proven. These include q-analogues of the exponential function, which lead to a fairly simple proof of Jacobi's celebrated triple product identity due to Andrews. The Dedekind eta function is introduced and a few identities of it derived. Euler's pentagonal number theorem is shown as a special case of Ramanujan's theta function and Watson's quintuple product identity is proved in a manner given by Carlitz and Subbarao. The Jacobian theta functions are introduced as special kinds of basic hypergeometric series and various relations between them derived using the triple …

The Lie Algebra Sl2(C) And Krawtchouk Polynomials, Nkosi Alexander

UNF Graduate Theses and Dissertations

The Lie algebra L = sl2(C) consists of the 2 × 2 complex matrices that have trace zero, together with the Lie bracket [y, z] = yz − zy. In this thesis we study a relationship between L and Krawtchouk polynomials. We consider a type of element in L said to be normalized semisimple. Let a, a^∗ be normalized semisimple elements that generate L. We show that a, a^∗ satisfy a pair of relations, called the Askey-Wilson relations. For a positive integer N, we consider an (N + 1)-dimensional irreducible L-module V consisting of the homogeneous polynomials in two variables …

Dynamics Of Mutualism In A Two Prey, One Predator System With Variable Carrying Capacity, Randy Huy Lee

UNF Graduate Theses and Dissertations

We considered the livelihood of two prey species in the presence of a predator species. To understand this phenomenon, we developed and analyzed two mathematical models considering indirect and direct mutualism of two prey species and the influence of one predator species. Both types of mutualism are represented by an increase in the preys' carrying capacities based on direct and indirect interactions between the prey. Because of mutualism, as the death rate parameter of the predator species goes through some critical value, the model shows transcritical bifurcation. Additionally, in the direct mutualism model, as the death rate parameter decreases to …

Opioid Epidemic On The First Coast​, Jeremiah Baclig, Noah Dedeo, Rukhaiya Husain, Iliya Kulbaka, Michelle Dedeo

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

Project of Merit Winner

The nation has been focusing on the opioid epidemic for many years. Aggregate quarterly data on opioid distribution at a general level has been available through the Drug Enforcement Administration (DEA) but cannot be used to do analyses on the effects of opioids in local areas. Quantifying impacts of the opioid epidemic at the local level has never been easy: what little data was provided by the DEA was not user-friendly, overly broad and did not follow the desired timeline of data collection. This project focuses on database exploration and uses statistical methods and Decision Tree …

Curve Reconstruction From The Apparent Contour Graph, Nkosi Alexander-Williams

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

Project of Merit Winner

This project concerns the two-dimensional Scenery Reconstruction Problem (2D-AC), a simplified version of the Scenery Reconstruction Problem (3D-AC) studied by Bellettini, Beorchia, Paolini, and Pasquarelli. In our research, we take a picture of a 2D object, take information from the picture, specifically the edges of the object as seen in the picture, and from this information, we determine if we can reconstruct the original 2D object. Utilizing knowledge of the concepts regarding contour generators and apparent contours, we determine the labelings for these points and call the labelings the Apparent Contour Graph. This project answers the …

Minimizing Reaction Systems, Matthew R. Thomas

UNF Graduate Theses and Dissertations

The theoretical model for reaction systems is a relatively new framework originally proposed as a mathematical model for biochemical processes which take place in living cells. Growing interest in this research area has lead to the abstraction of the model for non-biological purpose as well. Reaction systems, with a well understood behavior, have become important for studying transition systems. As with any mathematical model, we want to simplify a given implementation of the model as much as possible while maintaining functional equivalence. This paper discusses the formal model for reaction systems, how we can simplify them with minimization techniques, some …

Uniform Random Variate Generation With The Linear Congruential Method, Joseph Free

PANDION: The Osprey Journal of Research and Ideas

This report considers the issue of using a specific linear congruential generator (LCG) to create random variates from the uniform(0,1) distribution. The LCG is used to generate multiple samples of pseudo-random numbers and statistical computation techniques are used to assess whether those samples could have resulted from a uniform(0,1) distribution. Source code is included with this report in the appendix along with annotations.

Tournaments And A Fibonacci Link, Michael Long, Daniela Genova

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

Round robin tournaments are a type of directed graphs with applications to athletic competitions and transportation logistics. The presentation begins with a brief series of informative theorems and properties of directed graphs, which are imperative to our understanding of the properties that make directed graphs (and, subsequently, round robin tournaments) uniquely interesting. We then present a number of results about the properties of tournaments (defined as a complete directed graph), including transitivity–a relatively uncommon property used to determine domination in a round robin tournament–and connectivity, which can most often be seen in determining means of transportation between any two locations. …

Predator-Prey Model With Herding Behavior And Hunting Quota, Randy Lee, Mahbubar Rahman Phd

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

The Lotka-Volterra predator-prey model is widely studied and used in many disciplines such as biology, ecology and economics. It is used to describe the growth and coexistence of two interacting populations. The model consists of a pair of first-order nonlinear differential equations. In this paper, we studied steady states, stability of steady states, existence of limit cycles, and bifurcation behavior of the predator-prey model by modifying the existing model with hunting quota. We also illustrated our results with numerical simulations.

Block Designs, Lucien Poulin, Daniela Genova

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

Block designs are a type of combinatorial structures that can be used to model many different types of problems ranging from experimental design to computer software testing. They can be used to construct schemes that ensure complete optimization and efficiency of the given experiment. We focus mainly on Steiner and Kirkman triple systems, as well as, on different ways for constructing block designs. Well known results in combinatorics such as Fisher’s inequality and Kirkman’s schoolgirl problem are also discussed.

Insights From The Influx Of Prescription Painkillers In Northeast Florida: A Retrospective Analysis, Joseph Free, Michelle Dedeo

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

The opioid epidemic has had, and will have, long-lasting ramifications in the United States. To better understand its impact in the Northeast Florida, this research seeks to identify relationships between hydro- and oxycodone pill concentration at the county and zip code levels and socio-economic factors such as average adjusted gross income and opioid related mortality. This project utilizes time series, regression, and GIS methods to examine local opioid saturation and has led to the development of an interactive Tableau dashboard which allows users to view opioid saturation at various levels of granularity. This analysis is made possible by longitudinal data …

Simulation Environment For Object Manipulation With Soft Robots In Shared Autonomy, Devin Hunter, Fabio Stroppa, Allison Okamura

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

The robots of today have grown to be of much more significant use than their predecessors. Robots are now being used in industries outside of the factory setting which can be seen primarily in the medical, transportation, and social fields. With robots taking on all of these new roles within our society, the establishment of robust human-robot collaboration is crucial in order for robots to be able to successfully complete desired tasks without becoming a hinderance to nearby humans. We explored this concept by implementing a shared-autonomy algorithm named MBSA (Motion Based Smart Assistance) to a soft robot simulation and …

Embedding Graphs On Surfaces And Graph Minors, Tracy Leung, Mya Salas, Dylan Wilson

Showcase of Osprey Advancements in Research and Scholarship (SOARS)

A planar graph is a graph that can be drawn in such a way in the plane, so that no edges cross each other. In other words, it is a graph that can be embedded in the plane. We discuss the conditions that make a graph embeddable on a sphere with k handles. Then, using vertex deletions and edge contractions, which produce graph minors, we examine if a graph is minimally nonembeddable on a surface. To conclude, we discuss an important result, that the set of minimally nonembeddable graphs on a surface is finite.

The Subconstituent Algebra Of A Hypercube, Jared B. Billet

UNF Graduate Theses and Dissertations

We study the hypercube and the associated subconstituent algebra. Let Q_D denote the hypercube with dimension D and let X denote the vertex set of Q_D. Fix a vertex x in X. We denote by A the adjacency matrix of Q_D and by A* = A*(x) the diagonal matrix with yy-entry equal to D − 2i, where i is the distance between x and y. The subconstitutent algebra T = T(x) of Q_D with respect to x is generated by A and A* . We show that A 2A* − 2AA*A + A*A 2 = 4A* A*2A − 2A*AA* + …

Maximality And Applications Of Subword-Closed Languages, Rhys Davis Jones

UNF Graduate Theses and Dissertations

Characterizing languages D that are maximal with the property that D^* ⊆ S^⊗ is an important problem in formal language theory with applications to coding theory and DNA codewords. Given a finite set of words of a fixed length S, the constraint, we consider its subword closure, S^⊗, the set of words whose subwords of that fixed length are all in the constraint. We investigate these maximal languages and present characterizations for them. These characterizations use strongly connected components of deterministic finite automata and lead to polynomial time algorithms for generating such languages. We prove that …

Harmonic Morphisms With One-Dimensional Fibres And Milnor Fibrations, Murphy Griffin

UNF Graduate Theses and Dissertations

We study a problem at the intersection of harmonic morphisms and real analytic Milnor fibrations. Baird and Ou establish that a harmonic morphism from G: \mathbb{R}^m \setminus V_G \rightarrow \mathbb{R}^n\setminus \{0\} defined by homogeneous polynomials of order p retracts to a harmonic morphism \psi|: S^{m-1} \setminus K_\epsilon \rightarrow S^{n-1} that induces a Milnor fibration over the sphere. In seeking to relax the homogeneity assumption on the map G, we determine that the only harmonic morphism $\varphi: \mathbb{R}^m \setminus V_G \rightarrow S^{m-1}\K_\epsilon$ that preserves \arg G is radial projection. Due to this limitation, we confirm Baird and Ou's result, yet establish …

On Representations Of The Jacobi Group And Differential Equations, Benjamin Webster

UNF Graduate Theses and Dissertations

In PDEs with nontrivial Lie symmetry algebras, the Lie symmetry naturally yield Fourier and Laplace transforms of fundamental solutions. Applying this fact we discuss the semidirect product of the metaplectic group and the Heisenberg group, then induce a representation our group and use it to investigate the invariant solutions of a general differential equation of the form .

Self-Assembly Of Dna Graphs And Postman Tours, Katie Bakewell

UNF Graduate Theses and Dissertations

DNA graph structures can self-assemble from branched junction molecules to yield solutions to computational problems. Self-assembly of graphs have previously been shown to give polynomial time solutions to hard computational problems such as 3-SAT and k-colorability problems. Jonoska et al. have proposed studying self-assembly of graphs topologically, considering the boundary components of their thickened graphs, which allows for reading the solutions to computational problems through reporter strands. We discuss weighting algorithms and consider applications of self-assembly of graphs and the boundary components of their thickened graphs to problems involving minimal weight Eulerian walks such as the Chinese Postman Problem and …

Superdegenerate Hypoelliptic Differential Operators., Denis Bell

Showcase of Faculty Scholarly & Creative Activity

A proof of a Hormander theorem applicable to sum of squares operators with degeneracies of exponential order.

On The Expression Of Higher Mathematics In American Sign Language, John Tabak

Journal of Interpretation

Abstract

The grammar and vocabulary of higher mathematics are different from the grammar and vocabulary of conversational English and conversational American Sign Language (ASL). Consequently, mathematical language presents interpreters with a unique set of challenges. This article characterizes those aspects of mathematical grammar that are peculiar to the subject. (A discussion of mathematical vocabulary and its expression in ASL can be found elsewhere (Tabak, 2014).) An increased awareness of the grammar of mathematical language will prove useful to those interpreters for the deaf and deaf mathematics professionals seeking to express higher mathematics in ASL.

In this article one will, for …

The Simulation & Evaluation Of Surge Hazard Using A Response Surface Method In The New York Bight, Michael H. Bredesen

UNF Graduate Theses and Dissertations

Atmospheric features, such as tropical cyclones, act as a driving mechanism for many of the major hazards affecting coastal areas around the world. Accurate and efficient quantification of tropical cyclone surge hazard is essential to the development of resilient coastal communities, particularly given continued sea level trend concerns. Recent major tropical cyclones that have impacted the northeastern portion of the United States have resulted in devastating flooding in New York City, the most densely populated city in the US. As a part of national effort to re-evaluate coastal inundation hazards, the Federal Emergency Management Agency used the Joint Probability Method …

What Is Higher Mathematics? Why Is It So Hard To Interpret? What Can Be Done?, John Tabak

Journal of Interpretation

Courses and seminars in higher mathematics are some of the most challenging assignments faced by academic interpreters. Difficulties interpreting higher mathematics can adversely impact the academic and professional aspirations of deaf mathematics students and professionals. This paper discusses the nature of higher mathematics with the goal of identifying what distinguishes higher mathematics from other subjects; it then reviews the history of attempts to sign/interpret higher mathematics with particular attention to current challenges associated with expressing higher mathematics in sign. The final part of the paper discusses strategies for more effectively expressing higher mathematics in American Sign Language.

Transitions In Line Bitangency Submanifolds For A One-Parameter Family Of Immersion Pairs, William Edward Olsen

UNF Graduate Theses and Dissertations

Consider two immersed surfaces M and N. A pair of points (p,q) in M x N is called a line bitangency if there is a common tangent line between them. Furthermore, we define the line bitangency submanifold as the union of all such pairs of points in M x N. In this thesis we investigate the dynamics of the line bitangency submanifold in a one-parameter family of immersion pairs. We do so by translating one of the surfaces and studying the wide range of transitions the submanifold may undertake. We then characterize these transitions by the local geometry of each …

Singular Value Inequalities: New Approaches To Conjectures, Peter Chilstrom

UNF Graduate Theses and Dissertations

Singular values have been found to be useful in the theory of unitarily invariant norms, as well as many modern computational algorithms. In examining singular value inequalities, it can be seen how these can be related to eigenvalues and how several algebraic inequalities can be preserved and written in an analogous singular value form. We examine the fundamental building blocks to the modern theory of singular value inequalities, such as positive matrices, matrix norms, block matrices, and singular value decomposition, then use these to examine new techniques being used to prove singular value inequalities, and also look at existing conjectures.

The Weil Pairing On Elliptic Curves And Its Cryptographic Applications, Alex Edward Aftuck

UNF Graduate Theses and Dissertations

This thesis presents the Weil pairing on elliptic curves as a tool to implement a tripartite Diffie-Helman key exchange. Elliptic curves are introduced, as well as the addition operation that creates a group structure on its points. In leading to the definition of the Weil pairing, divisors of rational functions are studied, as well as the Weierstrass }-function, which shows the complex lattice as isomorphic to elliptic curves. Several important qualities of the Weil pairing are proved, and Miller's algorithm for quick calculation is shown. Next, the bipartite Diffie-Helman key exchange is discussed over finite fields and elliptic curves. Finally …

A Comparison Of Methods For Generating Bivariate Non-Normally Distributed Random Variables, Jaimee E. Stewart

UNF Graduate Theses and Dissertations

Many distributions of multivariate data in the real world follow a non-normal model with distributions being skewed and/or heavy tailed. In studies in which multivariate non-normal distributions are needed, it is important for simulations of those variables to provide data that is close to the desired parameters while also being fast and easy to perform. Three algorithms for generating multivariate non-normal distributions are reviewed for accuracy, speed and simplicity. They are the Fleishman Power Method, the Fifth-Order Polynomial Transformation Method, and the Generalized Lambda Distribution Method. Simulations were run in order to compare the three methods by how well they …

Tests For Correlation On Bivariate Nonnormal Distributions, Louanne Margaret Beversdorf

UNF Graduate Theses and Dissertations

Many samples in the real world are very small in size and often do not follow a normal distribution. Existing tests for correlation have restrictions on the distribution of data and sample sizes, therefore the current tests cannot be used in some real world situations.

In this thesis, two tests are considered to test hypotheses about the population correlation coefficient. The tests are based on statistics transformed by a saddlepoint approximation and by Fisher's Z-transformation. The tests are conducted on small samples of bivariate nonnormal data and found to perfom well.

Simulations were run in order to compare the type …

Modeling And Synergy Testing Of Drug Combination Data: A Pharmacokinetic Analysis, Jacy Rebecca Crosby

UNF Graduate Theses and Dissertations

In this paper, we present and implement a method to assess the mathematical synergy of two-drug combinations based on a stochastic model. The drugs in question are two isomers that are applied to the human eye via a liquid eye drop. Techniques applied to the data in this paper can be applied to other two-drug combination studies.

We derive the mean and the variance terms of the drug combination "effects" in closed form using Ito's method of stochastic differential equations. The model fit of the data to the individual subject is examined by both statistical and graphical methods. Two estimation …

The Kronecker Product, Bobbi Jo Broxson

UNF Graduate Theses and Dissertations

This paper presents a detailed discussion of the Kronecker product of matrices. It begins with the definition and some basic properties of the Kronecker product. Statements will be proven that reveal information concerning the eigenvalues, singular values, rank, trace, and determinant of the Kronecker product of two matrices. The Kronecker product will then be employed to solve linear matrix equations. An investigation of the commutativity of the Kronecker product will be carried out using permutation matrices. The Jordan - Canonical form of a Kronecker product will be examined. Variations such as the Kronecker sum and generalized Kronecker product will be …