Mathematics Commons^™

Exact Controllability Of The Lazer-Mckenna Suspension Bridge Equation, Lanxuan Yu

UNLV Theses, Dissertations, Professional Papers, and Capstones

It is well known that suspension bridges may display certain oscillations under external aerodynamic forces. Since the collapse of the Tacoma Narrows suspension bridge in 1940, suspension bridge models have been studied by many researchers. Based upon the fundamental nonlinearity in suspension bridges that the stays connecting the supporting cables and the roadbed resist expansion, but do not resist compression, new models describing oscillations in suspension bridges have been developed by Lazer and McKenna [Lazer and McKenna (1990)]. Except for a paper by Leiva [Leiva (2005)], there have been very few work on controls of the Lazer-McKenna suspension bridge models …

A Game-Theoretic Analysis Of The Nuclear Non-Proliferation Treaty, Peter Revesz

School of Computing: Conference and Workshop Papers

Although nuclear non-proliferation is an almost universal human desire, in practice, the negotiated treaties appear unable to prevent the steady growth of the number of states that have nuclear weapons. We propose a computational model for understanding the complex issues behind nuclear arms negotiations, the motivations of various states to enter a nuclear weapons program and the ways to diffuse crisis situations.

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

Ogden College of Science & Engineering Publications

No abstract provided.

Probabilistic Uncertainty Quantification And Experiment Design For Nonlinear Models: Applications In Systems Biology, Vu Cao Duy Thien Dinh

Open Access Dissertations

Despite the ever-increasing interest in understanding biology at the system level, there are several factors that hinder studies and analyses of biological systems. First, unlike systems from other applied fields whose parameters can be effectively identified, biological systems are usually unidentifiable, even in the ideal case when all possible system outputs are known with high accuracy. Second, the presence of multivariate bifurcations often leads the system to behaviors that are completely different in nature. In such cases, system outputs (as function of parameters/inputs) are usually discontinuous or have sharp transitions across domains with different behaviors. Finally, models from systems biology …

Research On Correlation Effects Between Tianjin Port And Its Inland Ports Based On Modified Gravity Model, Yayun Zhao

World Maritime University Dissertations

No abstract provided.

Evaluation System Of The Greenport Degree Based On The Fuzzy Logic Theory, Xingchen Yang

World Maritime University Dissertations

No abstract provided.

Surface Reconstruction Using Differential Invariant Signatures, Sophors Khut

Mathematics, Statistics, and Computer Science Honors Projects

This thesis addresses the problem of reassembling a broken surface. Three di- mensional curve matching is used to determine shared edges of broken pieces. In practice, these pieces may have different orientation and position in space, so edges cannot be directly compared. Instead, a differential invariant signature is used to make the comparison. A similarity score between edge signatures determines if two pieces share an edge. The Procrustes algorithm is applied to find the translations and rotations that best fit shared edges. The method is implemented in Matlab, and tested on a broken spherical surface.

Observability In Traffic Modeling: Eulerian And Lagrangian Coordinates, Sergio Contreras

UNLV Theses, Dissertations, Professional Papers, and Capstones

Traditionally, one of the ways traffic flow has been studied is by using the kinematic wave model. This model is studied in the Eulerian framework. Recently, the kinematic wave model has been transformed into Lagrangian coordinates. This model of traffic flow together with the concept of observability for linear time invariant discrete time systems is applied to study the observability of four sections of a freeway in both Eulerian and Lagrangian coordinates. A system with densities in four sections of a freeway is designed, and the observability of the system is studied with different situations for sensors. When the system …

Section Abstracts: Astronomy, Mathematics, And Physics With Materials Science

Virginia Journal of Science

Abstracts of the Astronomy, Mathematics, and Physics with Materials Science Section for the 92nd Annual Meeting of the Virginia Academy of Science, May 13-15, 2014, Virginia Commonwealth University, Richmond, Virginia

Determining The Duration Of R&D Processes Through Monte Carlo Simulation, Florentin Smarandache, Moga Monika, Calefariu Gavrila, Sarbu Flavius Aurelian

Branch Mathematics and Statistics Faculty and Staff Publications

The research and development (R&D) processes influence the economic development of a company, because in an industry that is changing fast, firms must continually revise their projects and range of products. Therefore in order to determine the specific costs of research and development activity we have to highlight the efforts and effects of these activities and to calculate some indicators of economic efficiency. In the cost calculation process in R & D we have emphasized the identification of the components of cost and the duration of the R & D processes, as a component of the R&D cost, that is …

Computational-Communicative Actions Of Informational Processing, Florentin Smarandache, Stefan Vladutescu

Branch Mathematics and Statistics Faculty and Staff Publications

This study is circumscribed to the Information Science. The zetetic aim of research is double: a) to define the concept of action of informational processing and b) to design a taxonomy of actions of informational processing. First, the investigation trays to demonstrate that the computational actions of informational processing or the informational actions are computational-investigative configurations for structuring information: clusters of highly-aggregated operations which are carried out in a unitary manner operate convergently and behave like a unique computational device. From a methodological point of view, they are comprised within the category of analytical instruments for the informational processing of …

Fearless Friday: Kirsten Crear, Kirsten Crear

SURGE

Even in her last semester here at Gettysburg, Kirsten Crear ’14 is fearlessly working to make changes for the future of the campus community. This semester, Kirsten introduced a STEMinists club on campus that will give female students who are STEM (an acronym for Science-Technology-Engineering-Mathematics) majors the opportunity to come together and create a community, share and discuss the difficulties they face as women in their fields of study, and support and mentor each other as they prepare to enter their fields.

Kirsten is passionate, driven, and determined, taking the initiative to bring this group of women together on campus …

Scheduling And Resource Allocation In Wireless Sensor Networks, Yosef Alayev

Dissertations, Theses, and Capstone Projects

In computer science and telecommunications, wireless sensor networks are an active research area. Each sensor in a wireless sensor network has some pre-defined or on demand tasks such as collecting or disseminating data. Network resources, such as broadcast channels, number of sensors, power, battery life, etc., are limited. Hence, a schedule is required to optimally allocate network resources so as to maximize some profit or minimize some cost. This thesis focuses on scheduling problems in the wireless sensor networks environment. In particular, we study three scheduling problems in the wireless sensor networks: broadcast scheduling, sensor scheduling for area monitoring, and …

Evolution Of Perturbations In Flow Field Mechanics, Samantha R. Bell, David Forliti, Nils Sedano, Kriss Vanderhyde

STAR Program Research Presentations

This project explores the stability analysis of a given flow field. Specifically, where the peak disturbance occurs in a flow as this is the disturbance that is most likely to occur. In rocket combustion, it is important to understand where the maximum disturbance occurs so that the mixing of fuel can be stabilized. The instabilities are the results of frequencies in the area surrounding the flow field. The linear stability governing equations are employed to better understand the disturbance. The governing equations for continuity and momentum in the x and y directions are used to form an equation for the …

A Mathematical Framework For Unmanned Aerial Vehicle Obstacle Avoidance, Sorathan Chaturapruek

HMC Senior Theses

The obstacle avoidance navigation problem for Unmanned Aerial Vehicles (UAVs) is a very challenging problem. It lies at the intersection of many fields such as probability, differential geometry, optimal control, and robotics. We build a mathematical framework to solve this problem for quadrotors using both a theoretical approach through a Hamiltonian system and a machine learning approach that learns from human sub-experts' multiple demonstrations in obstacle avoidance. Prior research on the machine learning approach uses an algorithm that does not incorporate geometry. We have developed tools to solve and test the obstacle avoidance problem through mathematics.

Characterizing Forced Communication In Networks, Samuel C. Gutekunst

HMC Senior Theses

This thesis studies a problem that has been proposed as a novel way to disrupt communication networks: the load maximization problem. The load on a member of a network represents the amount of communication that the member is forced to be involved in. By maximizing the load on an important member of the network, we hope to increase that member's visibility and susceptibility to capture. In this thesis we characterize load as a combinatorial property of graphs and expose possible connections between load and spectral graph theory. We specifically describe the load and how it changes in several canonical classes …

Comparative Analysis Of Gps Data, Kiel Von Lindenberg

Undergraduate Journal of Mathematical Modeling: One + Two

The goal of this project is to calculate the distance traveled during a bike ride around the University of South Florida using information gathered by a GPS (Global Positioning System) application on a smartphone. We calculate the route distance in two ways: from latitudes and longitudes using the haversine formula and 2) from velocities and times using the trapezoidal rule. These computed distances were compared to the distance given by the smartphone application.

Voltage Smoothing With A Capacitor, Martin Copello

Undergraduate Journal of Mathematical Modeling: One + Two

A rectifier is an electrical circuit that converts alternating current to direct current, e.g., a half wave rectifier removes lower valleys of the AC voltage wave. If a capacitor is placed in parallel with a half wave rectifier, the transition from voltage peak to peak is smoothed to closer resemble constant DC voltage. The objective of this project was to model the voltage changes of a half wave rectifier with a parallel capacitor. It was found that the smoothness of the voltage waves increased as the capacitance of the capacitor increased.

Rocket Flight Path, Jamie Waters

Undergraduate Journal of Mathematical Modeling: One + Two

This project uses Newton’s Second Law of Motion, Euler’s method, basic physics, and basic calculus to model the flight path of a rocket. From this, one can find the height and velocity at any point from launch to the maximum altitude, or apogee. This can then be compared to the actual values to see if the method of estimation is a plausible. The rocket used for this project is modeled after Bullistic-1 which was launched by the Society of Aeronautics and Rocketry at the University of South Florida.

New Insights On Free Energies And Saint-Venant’S Principle In Viscoelasticity, L. Diseri, G. Gentili, John Murrough Golden

Articles

This work was conceived in 1999 and brought near completion by 2003. Giorgio Gentili was deeply involved in this research until his untimely death. He is greatly missed. Work pressures on the other authors forced a postponement of research on this topic, originally envisaged as lasting a few months but in the event it turned out to be nearly ten years. We now dedicate this work to the memory of Giorgio and to his Family.

Toward A Formalism Of Modeling And Simulation Using Model Theory, Saikou Y. Diallo, Jose Padilla, Ross Gore, Heber Herencia-Zapana, Andreas Tolk

VMASC Publications

This article proposes a Modeling and Simulation (M&S) formalism using Model Theory. The article departs from the premise that M&S is the science that studies the nature of truth using models and simulations. Truth in models and simulations is relative as they seek to answer specific modeling questions. Consequently, truth in M&S is relative because every model is a purposeful abstraction of reality. We use Model Theory to express the proposed formalism because it is built from the premise that truth is relative. The proposed formalism allows us to: (1) deduce formal definitions and explanations of areas of study in …

Multi-Criteria Decision Making Based On Dsmt-Ahp, Jean Dezert, Jean Marc Tacnet, Mireille Batton-Hubert, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we present an extension of the multicriteria decision making based on the Analytic Hierarchy Process (AHP) which incorporates uncertain knowledge matrices for generating basic belief assignments (bba’s). The combination of priority vectors corresponding to bba’s related to each (sub)- criterion is performed using the Proportional Conflict Redistribution rule no. 5 proposed in Dezert-Smarandache Theory (DSmT) of plausible and paradoxical reasoning. The method presented here, called DSmT-AHP, is illustrated on very simple examples.

Rheological Signatures In Limit Cycle Behaviour Of Dilute, Active, Polar Liquid Crystalline Polymers In Steady Shear, M. Gregory Forest, Panon Phuworawong, Qi Wang, Ruhai Zhou

Mathematics & Statistics Faculty Publications

We consider the dilute regime of active suspensions of liquid crystalline polymers (LCPs), addressing issues motivated by our kinetic model and simulations in Forest et al. (Forest et al. 2013 Soft Matter 9, 5207-5222 (doi:10.1039/c3sm27736d)). In particular, we report unsteady two-dimensional heterogeneous flow-orientation attractors for pusher nanorod swimmers at dilute concentrations where passive LCP equilibria are isotropic. These numerical limit cycles are analogous to longwave (homogeneous) tumbling and kayaking limit cycles and two-dimensional heterogeneous unsteady attractors of passive LCPs in weak imposed shear, yet these states arise exclusively at semi-dilute concentrations where stable equilibria are nematic. The results in Forest …

A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …

High Performance, Low Cost Subspace Decomposition And Polynomial Rooting For Real Time Direction Of Arrival Estimation: Analysis And Implementation, Mrudula V. Athi

Dissertations, Master's Theses and Master's Reports - Open

This thesis develops high performance real-time signal processing modules for direction of arrival (DOA) estimation for localization systems. It proposes highly parallel algorithms for performing subspace decomposition and polynomial rooting, which are otherwise traditionally implemented using sequential algorithms. The proposed algorithms address the emerging need for real-time localization for a wide range of applications. As the antenna array size increases, the complexity of signal processing algorithms increases, making it increasingly difficult to satisfy the real-time constraints. This thesis addresses real-time implementation by proposing parallel algorithms, that maintain considerable improvement over traditional algorithms, especially for systems with larger number of antenna …

Safety Effect Of Missouri's Strategic Highway Safety Plan: Missouri's Blueprint For Safer Roadways, Mojtaba A. Mohammadi, V. A. Samaranayake, Ghulam H. Bham

Mathematics and Statistics Faculty Research & Creative Works

This study systematically evaluated the changes in motor vehicle crashes that occurred on the Missouri Interstate highway system following the implementation of the Missouri Strategic Highway Safety Plan (MSHSP) between 2004 and 2007. The MSHSP implemented crash injury reduction strategies in enforcement, education, engineering, and public policy. Empirical Bayesian methods were commonly used to evaluate the effects of any change in safety as a result of countermeasures. This paper presents a simple new approach to evaluating the effects of Missouri's safety plans on roadway crashes. For crash data associated with traffic and roadway characteristics, negative binomial regression models were developed …

Robust Calibration Of Cameras With Telephoto Lens Using Regularized Least Squares, Mingpei Liang, Xinyu Huang, Chung-Hao Chen, Gaolin Zheng, Alade Tokuta

Electrical & Computer Engineering Faculty Publications

Cameras with telephoto lens are usually used to recover details of an object that is either small or located far away from the cameras. However, the calibration of this kind of cameras is not as accurate as the one of cameras with short focal lengths that are commonly used in many vision applications. This paper has two contributions. First, we present a first-order error analysis that shows the relation between focal length and estimation uncertainties of camera parameters. To our knowledge, this error analysis with respect to focal length has not been studied in the area of camera calibration. Second, …

Generator Polynomial Formulation For Parallel Counters With Applications, Lee A. Belfore Ii

Electrical & Computer Engineering Faculty Publications

Parallel counters have been studied for several decades as a component in high speed multipliers and multi-operand adder circuits. Using a generator polynomial as a formalism for describing parallel counters in the general case, parallel counter properties can be derived and inferred. Furthermore, the structure and decomposition of the generator polynomial can suggest different implementation strategies. These include simple implementations of (7,3) and (15,4) parallel counters. By grouping factors, the design of a fast (7,3) parallel counter is presented. Finally, the generator polynomial is extended to permit factors of different weights. This extension provides a means for describing the design …

Mathematical Methods Applied To Digital Image Processing, Yi-Hung Liu, Chung Hao Chen, Paul C.P. Chao

Electrical & Computer Engineering Faculty Publications

Introduction: Digital image processing (DIP) is an important research area since it spans a variety of applications. Although over the past few decades there has been a rapid rise in this field, there still remain issues to address. Examples include image coding, image restoration, 3D image processing, feature extraction and analysis, moving object detection, and face recognition. To deal with these issues, the use of sophisticated and robust mathematical algorithms plays a crucial role. The aim of this special issue is to provide an opportunity for researchers to publish their latest theoretical and technological achievements in mathematical methods and their …

Sensor Selection And Integration To Improve Video Segmentation In Complex Environments, Adam R. Reckley, Wei-Wen Hsu, Chung-Hao Chen, Gangfeng Ma, E-Wen Huang

Electrical & Computer Engineering Faculty Publications

Background subtraction is often considered to be a required stage of any video surveillance system being used to detect objects in a single frame and/or track objects across multiple frames in a video sequence. Most current state-of-the-art techniques for object detection and tracking utilize some form of background subtraction that involves developing a model of the background at a pixel, region, or frame level and designating any elements that deviate from the background model as foreground. However, most existing approaches are capable of segmenting a number of distinct components but unable to distinguish between the desired object of interest and …