Mathematics Commons^™

Manipulating The Mass Distribution Of A Golf Putter, Paul J. Hessler Jr.

Senior Honors Projects

Putting may appear to be the easiest but is actually the most technically challenging part of the game of golf. The ideal putting stroke will remain parallel to its desired trajectory both in the reverse and forward direction when the putter head is within six inches of the ball. Deviation from this concept will cause a cut or sidespin on the ball that will affect the path the ball will travel.

Club design plays a large part in how well a player will be able to achieve a straight back and straight through club head path near impact; specifically the …

Time Integration Methods Of Fundamental Solutions And Approximate Fundamental Solutions For Nonlinear Elliptic Partial Differential Equations, Corey Leon Jones

Dissertations

A time-dependent method is coupled with the Method of Approximate Particular Solutions (MAPS) of Delta-shaped basis functions, the Method of Fundamental Solutions (MFS), and the Method of Approximate Fundamental Solutions (MAFS) to solve a second order nonlinear elliptic partial differential equation (PDE) on regular and irregular shaped domains. The nonlinear PDE boundary value problem is first transformed into a time-dependent quasilinear problem by introducing a fictitious time. Forward Euler integration is then used to ultimately convert the problem into a sequence of time-dependent linear nonhomogeneous modified Helmholtz boundary value problems on which the superposition principle is applied to split the …

Symbolic Aggregate Approximation (Sax) Under Interval Uncertainty, Chrysostomos D. Stylios, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, we monitor a system by continuously measuring the corresponding quantities, to make sure that an abnormal deviation is detected as early as possible. Often, we do not have ready algorithms to detect abnormality, so we need to use machine learning techniques. For these techniques to be efficient, we first need to compress the data. One of the most successful methods of data compression is the technique of Symbolic Aggregate approXimation (SAX). While this technique is motivated by measurement uncertainty, it does not explicitly take this uncertainty into account. In this paper, we show that we can …

Development Of Analytical Sensitivity Analysis For Ahp Applications, Marie L. Ivanco

Mechanical & Aerospace Engineering Theses & Dissertations

Decision makers often face complex problems, which can seldom be addressed without the use of structured analytical models. Mathematical models have been developed over the last 50 years to streamline and facilitate decision making activities. The Analytic Hierarchy Process constitutes one of the most utilized Multi-Criteria Decision Analysis Methods. While AHP has been thoroughly researched and applied, the method still shows limitations in terms of integrating profile disparities of Subject Matter Experts (SMEs). This thesis develops an analytical sensitivity analysis method for AHP based on local partial derivatives to address these limitations. Four examples are presented to demonstrate and validate …

Why It Is Important To Precisiate Goals, Olga Kosheleva, Vladik Kreinovich, Hung T. Nguyen

Departmental Technical Reports (CS)

After Zadeh and Bellman explained how to optimize a function under fuzzy constraints, there have been many successful applications of this optimization. However, in many practical situations, it turns out to be more efficient to precisiate the objective function before performing optimization. In this paper, we provide a possible explanation for this empirical fact.

Simple Linear Interpolation Explains All Usual Choices In Fuzzy Techniques: Membership Functions, T-Norms, T-Conorms, And Defuzzification, Vladik Kreinovich, Jonathan Quijas, Esthela Gallardo, Caio De Sa Lopes, Olga Kosheleva, Shahnaz Shahbazova

Departmental Technical Reports (CS)

Most applications of fuzzy techniques use piece-wise linear (triangular or trapezoid) membership functions, min or product t-norms, max or algebraic sum t-conorms, and centroid defuzzification. Similarly, most applications of interval-valued fuzzy techniques use piecewise-linear lower and upper membership functions. In this paper, we show that all these choices can be explained as applications of simple linear interpolation.

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

Ogden College of Science & Engineering Publications

No abstract provided.

Identifying Locations Of Active Corrosion Growth From Successive In-Line Inspections, Tom Bubenik, William V. Harper, Pam Moreno, Steven Polasik

Mathematics Faculty Scholarship

The integrated approach covered by this paper identifies corrosion activity using a combination of statistics, inspection-signal comparisons, and engineering analyses. The approach relies on an understanding of ILI and the mechanisms that cause corrosion and its growth. Pipeline operators can use the approach to calculate remaining lives, prioritize repairs and mitigation, and extend reassessment intervals. This process is collectively known as statistically-active corrosion.

2015 Oklahoma Research Day Full Program, Northeastern State University

Oklahoma Research Day Abstracts

This document contains all abstracts from the 2015 Oklahoma Research Day held at Northeastern State University.

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

Ogden College of Science & Engineering Publications

No abstract provided.

Synchronization Of Bistatic Radar Using Chaotic Amplitude And Frequency Modulated Signals, Chandra Sekhar Pappu

Open Access Theses & Dissertations

The purpose of this work is to develop a synchronization scheme for bistatic radar that uses a 3-D chaotic system to generate and process wideband AM and FM signals, which allows for the extraction of high range-resolution information from targets. For AM bistatic radar, the setup includes a drive oscillator at the transmitter and a response oscillator at the receiver. The challenge is synchronizing the response oscillator to the drive oscillator with a scaled version of the transmitted signal sr(t, x) = αs t(t, x), where x is a chaotic state variable and α is a scaling factor. Here, α …

Approximation Of Nested Fixpoints, Alexander Kurz

Engineering Faculty Articles and Research

The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products, coproducts and fixpoints. We argue that the right methodology is on one hand coalgebraic (to deal with possible nontermination and infinite data) and on the other hand 2-categorical (to deal with parameters in a disciplined manner). We prove a coalgebraic version of Bekic lemma that allows us to reduce simultaneous fixpoints to a single fix point. Thus a possibly infinite object of interest is …

Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot

Engineering Faculty Articles and Research

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …

Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil

Engineering Faculty Articles and Research

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …

Modeling, Optimization, And Sensitivity Analysis Of A Continuous Multi-Segment Crystallizer For Production Of Active Pharmaceutical Ingredients, Bradley James Ridder

Open Access Dissertations

We have investigated the simulation-based, steady-state optimization of a new type of crystallizer for the production of pharmaceuticals. The multi-segment, multi-addition plug-flow crystallizer (MSMA-PFC) offers better control over supersaturation in one dimension compared to a batch or stirred-tank crystallizer. Through use of a population balance framework, we have written the governing model equations of population balance and mass balance on the crystallizer segments. The solution of these equations was accomplished through either the method of moments or the finite volume method. The goal was to optimize the performance of the crystallizer with respect to certain quantities, such as maximizing the …

Predicting Scenarios For Successful Autodissemination Of Pyriproxyfen By Malaria Vectors From Their Resting Sites To Aquatic Habitats; Description And Simulation Analysis Of A Field-Parameterizable Model, Samson Sifael Kiware, George F. Corliss, Stephen Merrill, Dickson W. Lwetoijera, Gregor J. Devine, Silas Majambere, Gerry F. Killeen

Electrical and Computer Engineering Faculty Research and Publications

Background

Large-cage experiments indicate pyriproxifen (PPF) can be transferred from resting sites to aquatic habitats by Anopheles arabiensis - malaria vector mosquitoes to inhibit emergence of their own offspring. PPF coverage is amplified twice: (1) partial coverage of resting sites with PPF contamination results in far higher contamination coverage of adult mosquitoes because they are mobile and use numerous resting sites per gonotrophic cycle, and (2) even greater contamination coverage of aquatic habitats results from accumulation of PPF from multiple oviposition events.

Methods and Findings

Deterministic mathematical models are described that use only field-measurable input parameters and capture the biological …

Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil

Engineering Faculty Articles and Research

We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.

Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”.

Professional Formation Of Engineers: Enhancing The First Year Student Experience, Eileen Goold

Conference Papers

This paper reports on a study investigating engineering students’ perceptions of engineering practice and whether engineering students’ cognitive engagement benefits from bridging the gap between the technical issues in their education and the practical realities of modern engineering practice.

Parameters Estimation Of Material Constitutive Models Using Optimization Algorithms, Kiswendsida Jules Kere

Williams Honors College, Honors Research Projects

Optimization Algorithms are very useful for solving engineering problems. Indeed, optimization algorithms can be used to optimize engineering designs in terms of safety and economy. Understanding the proprieties of materials in engineering designs is very important in order to make designs safe. Materials are not really perfectly homogeneous and there are heterogeneous distributions in most materials. In this paper, Self-OPTIM which is an inverse constitutive parameter identification framework will be used to identify parameters of a linear elastic material constitutive model. Data for Self-OPTIM will be obtained using ABAQUS simulation of a dog-bone uniaxial test. Optimization Algorithms will be used …

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 …

Generation And Validation Of Optimal Topologies For Solid Freeform Fabrication, Purnajyoti Bhaumik

Masters Theses

"The study of fabricating topologically optimized parts is presented hereafter. The mapping of topology optimization results for Standard Tessellation Language (STL) writing would enable the solid freeform fabrication of lightweight mechanisms. Aerospace leaders such as NASA, Boeing, Airbus, European Aeronautic Defense And Space Company (EADS), and GE Aero invest in topology optimization research for the production of lightweight materials. Certain concepts such as microstructural homogenization, discretization, and mapping are reviewed and presented in the context of topology optimization. Future biomedical applications of solid freeform fabrication such as organ printing stand to save millions of lives through the robust development of …

A Comparison Of Combined Overlap Block Fuzzy Cognitive Maps (Cobfcm) And Combined Overlap Block Neutrosophic Cognitive Map (Cobncm) In Finding The Hidden Patterns And Indeterminacies In Psychological Causal Models: Case Study Of Adhd, Hojjatollah Farahani, Florentin Smarandache, Lihshing Leigh Wang

Branch Mathematics and Statistics Faculty and Staff Publications

In spite of researchers’ concerns to find causalities, reviewing the literature of psychological studies one may argue that the classical statistical methods applied in order to find causalities are unable to find uncertainty and indeterminacies of the relationships between concepts.

In this paper, we introduce two methods to find effective solutions by identifying “hidden” patterns in the patients’ cognitive maps. Combined Overlap Block Fuzzy Cognitive Map (COBFCM) and Combined Overlap Block Neutrosophic Map (COBNCM) are effective when the number of concepts can be grouped and are large in numbers. In the first section, we introduce COBFCM, COBNCM, their applications, and …

Inteligencia Artificial Y Analítica De Datos Para Un Futuro Sostenible, Florentin Smarandache, Michael Y. Leyva Vazquez

Branch Mathematics and Statistics Faculty and Staff Publications

1-De los mitos a la Inteligencia Artificial moderna

2-Evolución e Impacto de la Inteligencia Artificial Generativa

3-Sostenibilidad en la Era de la Inteligencia Artificial: Impactos y Desafíos

3-Neutrosofía másalláde lo verdaderoy lo falso

Neutrosophic Precalculus And Neutrosophic Calculus, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic Analysis is a generalization of Set Analysis, which in its turn is a generalization of Interval Analysis.

Neutrosophic Precalculus is referred to indeterminate staticity, while Neutrosophic Calculus is the mathematics of indeterminate change.

The Neutrosophic Precalculus and Neutrosophic Calculus can be developed in many ways, depending on the types of indeterminacy one has and on the methods used to deal with such indeterminacy.

In this book, the author presents a few examples of indeterminacies and several methods to deal with these specific indeterminacies, but many other indeterminacies there exist in our everyday life, and they have to be studied …

Teacher Influence On Elementary School Students’ Participation In Science, Technology, Engineering, And Mathematics, Courtney Hartman

Honors College Theses

The purpose of this study is to explore the influence of elementary school teachers on encouraging students’ interest and participation in Science, Technology, Engineering, and Mathematics. The researcher sought to understand what methods teachers use in their classrooms to encourage students to participate in STEM subjects and programs. This mixed methods study consisted of a questionnaire to collect quantitative data, as well as an interview of selected teachers who participated in the questionnaire to collect qualitative data. The data was analyzed to determine the overall perceptions of teachers regarding the importance of encouraging students to participate in STEM. The qualitative …

Key Factors Driving Personnel Downsizing In Multinational Military Organizations, Ilksen Gorkem, Resit Unal, Pilar Pazos

Engineering Management & Systems Engineering Faculty Publications

Although downsizing has long been a topic of research in traditional organizations, there are very few studies of this phenomenon in military contexts. As a result, we have little understanding of the key factors that drive personnel downsizing in military setting. This study contributes to our understanding of key factors that drive personnel downsizing in military organizations and whether those factors may differ across NATO nations’ cultural clusters. The theoretical framework for this study was built from studies in non-military contexts and adapted to fit the military environment.

This research relies on historical data from one of the largest multinational …

Question 1: "Up" — A Fermi Question About Buoyancy; Question 2: Traffic Jams, Larry Weinstein

Physics Faculty Publications

Is it possible for a house to fly by the uplift of balloons, like in the movie "Up"? (written by R. Allart, A. Cazenave, and A. Müller, University of Geneva)

How much total time do Americans spend waiting in traffic each year? What is the total cost of this time?

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

Ogden College of Science & Engineering Publications

No abstract provided.

Truckload Shipment Planning And Procurement, Neo Nguyen

Graduate Theses and Dissertations

This dissertation presents three issues encountered by a shipper in the context of truckload transportation. In all of the studies, we utilize optimization techniques to model and solve the problems. Each study is inspired from the real world and much of the data used in the experiments is real data or representative of real data.

The first topic is about the freight consolidation in truckload transportation. We integrate it with a purchase incentive program to increase truckload utilization and maximize profit. The second topic is about supporting decision making collaboration among departments of a manufacturer. It is a bi-objective optimization …