Mathematics Commons^™

Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 12411 “Coalgebraic Logics”. The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.

Neutrosophic Masses & Indeterminate Models Applications To Information Fusion, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce the indeterminate models in information fusion, which are due either to the existence of some indeterminate elements in the fusion space or to some indeterminate masses. The best approach for dealing with such models is the neutrosophic logic.

Extenics In Higher Dimensions, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Prof. Dr. Florentin Smarandache, during his research period in the Summer of 2012 at

the Research Institute of Extenics and Innovation Methods, from Guangdong University of

Technology, in Guangzhou, China, has introduced the Linear and Non-Linear Attraction

Point Principle and the Network of Attraction Curves, he has generalized the 1D Extension

Distance and the 1D Dependent Function to 2D, 3D, and in general to n-D Spaces, and he

generalized Qiao-Xing Li’s and Xing-Sen Li’s definitions of the Location Value of a Point

and the Dependent Function of a Point on a Single Finite Interval from one dimension (1D) …

Erasure Techniques In Mrd Codes, Florentin Smarandache, W.B. Vasantha Kandasamy, R. Sujatha, R.S. Raja Durai

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors study the erasure techniques in concatenated Maximum Rank Distance (MRD) codes. The authors for the first time in this book introduce the new notion of concatenation of MRD codes with binary codes, where we take the outer code as the RD code and the binary code as the inner code. The concatenated code consists of the codewords of the outer code expressed in terms of the alphabets of the inner code. These new class of codes are defined as CRM codes. This concatenation techniques helps one to construct any CRM code of desired minimum distance …

Colonel Blotto Games And Lancaster's Equations: A Novel Military Modeling Combination, Andrew Collins, Patrick T. Hester

VMASC Publications

Military strategists face a difficult task when engaged in a battle against an adversarial force. They have to predict both what tactics their opponent will employ and the outcomes of any resultant conflicts in order to make the best decision about their actions. Game theory has been the dominant technique used by analysts to investigate the possible actions that an enemy will employ. Traditional game theory can be augmented by use of Lanchester equations, a set of differential equations used to determine the outcome of a conflict. This paper demonstrates a novel combination of game theory and Lanchester equations using …

The Eigenvalues Of A Tridiagonal Matrix In Biogeography, Boris Igelnik, Daniel J. Simon

Electrical and Computer Engineering Faculty Publications

We derive the eigenvalues of a tridiagonal matrix with a special structure. A conjecture about the eigenvalues was presented in a previous paper, and here we prove the conjecture. The matrix structure that we consider has applications in biogeography theory.

Improved Algorithms For Ear-Clipping Triangulation, Bartosz Kajak

UNLV Theses, Dissertations, Professional Papers, and Capstones

We consider the problem of improving ear-slicing algorithm for triangulating a simple polygon. We propose two variations of ear-slicing technique for generating “good-quality” triangulation. The first approach is based on searching for the best triangle along the boundary. The second approach considers polygon partitioning on a pre-process before applying the ear-slicing. Experimental investigation reveals that both approaches yield better quality triangulation than the standard ear-slicing method.

Cyber Physical Complex Networks, Modeling, Analysis, And Control, Neveen Shlayan

UNLV Theses, Dissertations, Professional Papers, and Capstones

This research scrutinize various attributes of complex networks; mainly, modeling, sensing, estimation, safety analysis, and control. In this study, formal languages and finite automata are used for modeling incident management processes. Safety properties are checked in order to verify the system. This method introduces a systematic approach to incident management protocols that are governed by mostly unsystematic algorithms. A portion of the used data in this study is collected by means of radar and loop detectors. A weighted t-statistics methodology is developed in order to validate these detectors. The detector data is then used to extract travel time information where …

Determination Of The Electric Field Intensity And Space Charge Density Versus Height Prior To Triggered Lightning, Christopher J. Biagi, Martin A. Uman, Jay Gopalakrishnan, J. D. Hill, Vladimir A. Rakov, T. Ngin, Douglas M. Jordan

Mathematics and Statistics Faculty Publications and Presentations

We infer the vertical profiles of space charge density and electric field intensity above ground by comparing modeling and measurements of the ground-level electric field changes caused by elevating grounded lightning-triggering wires. The ground-level electric fields at distances of 60 m and 350 m were measured during six wire launches that resulted in triggered lightning. The wires were launched when ground-level electric fields ranged from 3.2 to 7.6 kV m⁻¹ and the triggering heights ranged from 123 to 304 m. From wire launch time to lightning initiation time, the ground-level electric field reduction at 60 m ranged from 2.2 …

Modeling And Control For Heave Dynamics Of A Flexible Wing Micro Aerial Vehicle Distributed Parameter System, Lisa M. Kuhn

Doctoral Dissertations

In recent years, much research has been motivated by the idea of biologically-inspired flight. It is a conjecture of the United States Air Force that incorporating characteristics of biological flight into air vehicles will significantly improve the maneuverability and performance of modern aircraft. Although there are studies which involve the aerodynamics, structural dynamics, modeling, and control of flexible wing micro aerial vehicles (MAVs), issues of control and vehicular modeling as a whole are largely unexplored. Modeling with such dynamics lends itself to systems of partial differential equations (PDEs) with nonlinearities, and limited control theory is available for such systems.

In …

Section Abstracts: Astronomy, Mathematics And Physics With Materials Science

Virginia Journal of Science

Abstracts for the Astronomy, Mathematics, and Physics with Materials Science Section for the 89th Annual Meeting of the Virginia Academy of Science, May 25-27, 2011, University of Richmond, Richmond VA.

Examination Timetabling With Mathematical Programming An Application In Turkish Air Force Academy, Emrah Koksalmis

Engineering Management & Systems Engineering Theses & Dissertations

The focus of this thesis is the educational timetabling problem, which is a very challenging problem to solve especially with a high number of the departments, branches, classes, and students. Due to the large scale of educational timetabling problems and preferences of the stakeholders, it is almost impossible to form a general model that solves all of the timetabling problems in the literature. This resulted in the need to develop and employ specific models for specific institutions.

The purpose of this study is to develop a mathematical programming model that solves the examination timetabling problem in Turkish Air Force Academy …

Relocatable Field Programmable Gate Array Bitstreams For Fault Tolerance, David P. Montminy, Rusty O. Baldwin, Paul D. Williams

AFIT Patents

A Field Programmable Gate Array (FPGA) circuit capable of operating through at least one fault. The FPGA circuit includes a configuration memory and an embedded microprocessor. The embedded microprocessor having access to the configuration memory, static modules, at least one relocatable module, and at least one spare module. The relocatable module being relocatable from a first target area to a second target area. The relocatable module being relocatable by manipulating a partial bitstream with the embedded microprocessor. The microprocessor calculating a plurality of bitstream changes, to relocate the at least one relocatable module using at least triple modular redundancy (TMR).

Evidence Of The Harmonic Faraday Instability In Ultrasonic Atomization Experiments With A Deep, Inviscid Fluid, Andrew P. Higginbotham '09, Aaron Guillen '11, Nathan C. Jones '10, Thomas D. Donnelly, Andrew J. Bernoff

All HMC Faculty Publications and Research

A popular method for generating micron-sized aerosols is to submerge ultrasonic (ω~MHz) piezoelectric oscillators in a water bath. The submerged oscillator atomizes the fluid, creating droplets with radii proportional to the wavelength of the standing wave at the fluid surface. Classical theory for the Faraday instability predicts a parametric instability driving a capillary wave at the subharmonic (ω/2) frequency. For many applications it is desirable to reduce the size of the droplets; however, using higher frequency oscillators becomes impractical beyond a few MHz. Observations are presented that demonstrate that smaller droplets may also be created by …

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

Polynomial Extension Operators. Part Iii, Leszek Demkowicz, Jay Gopalakrishnan, Joachim Schöberl

Mathematics and Statistics Faculty Publications and Presentations

In this concluding part of a series of papers on tetrahedral polynomial extension operators, the existence of a polynomial extension operator in the Sobolev space H(div) is proven constructively. Specifically, on any tetrahedron K, given a function w on the boundary ∂K that is a polynomial on each face, the extension operator applied to w gives a vector function whose components are polynomials of at most the same degree in the tetrahedron. The vector function is an extension in the sense that the trace of its normal component on the boundary ∂K coincides with w. Furthermore, the extension operator is …

Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.

Minimal And Symmetric Global Partition Polynomials For Reproducing Kernel Elements, Mario Jesus Juha

USF Tampa Graduate Theses and Dissertations

The Reproducing Kernel Element Method is a numerical technique that combines finite element and meshless methods to construct shape functions of arbitrary order and continuity, yet retains the Kronecker-δ property. Central to constructing these shape functions is the construction of global partition polynomials on an element. This dissertation shows that asymmetric interpolations may arise due to such things as changes in the local to global node numbering and that may adversely affect the interpolation capability of the method. This issue arises due to the use in previous formulations of incomplete polynomials that are subsequently non-affine invariant. This dissertation lays out …

A New Approach To Algebraic Coding Theory Through The Applications Of Soft Sets, Florentin Smarandache, Mumtaz Ali

Branch Mathematics and Statistics Faculty and Staff Publications

Algebraic codes play a signifcant role in the minimisation of data corruption which caused by defects such as inference, noise channel, crosstalk, and packet loss. In this paper, we introduce soft codes (soft linear codes) through the application of soft sets which is an approximated collection of codes. We also discuss several types of soft codes such as type-1 soft codes, complete soft codes etc. Further, we construct the soft generator matrix and soft parity check matrix for the soft linear codes. Moreover, we develop two techniques for the decoding of soft codes.

Uniform And Partially Uniform Redistribution Rules, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces two new fusion rules for combining quantitative basic belief assignments. These rules although very simple have not been proposed in literature so far and could serve as useful alternatives because of their low computation cost with respect to the recent advanced Proportional Conflict Redistribution rules developed in the DSmT framework.

Evidence Supporting Measure Of Similarity For Reducing The Complexity In Information Fusion, Florentin Smarandache, Jean Dezert, Xinde Li, Xinhan Huang

Branch Mathematics and Statistics Faculty and Staff Publications

This paper presents a new method for reducing the number of sources of evidence to combine in order to reduce the complexity of the fusion processing. Such a complexity reduction is often required in many applications where the real-time constraint and limited computing resources are of prime importance. The basic idea consists in selecting, among all sources available, only a subset of sources of evidence to combine. The selection is based on an evidence supporting measure of similarity (ESMS) criterion which is an efficient generic tool for outlier sources identification and rejection. The ESMS between two sources of evidence can …

Evidence Supporting Measure Of Similarity For Reducing The Complexity In Information Fusion, Xinde Li, Jean Dezert, Florentin Smarandache, Xinhan Huang

Branch Mathematics and Statistics Faculty and Staff Publications

This paper proposes a new solution for reducing the number of sources of evidence to be combined in order to diminish the complexity of the fusion process required in some applications where the real-time constraint and strong computing resource limitation are of prime importance. The basic idea consists in selecting, among the whole set of sources of evidence, only the biggest subset of sources which are not too contradicting based on a criterion of Evidence Supporting Measure of Similarity (ESMS) in order to process solely the coherent information received. The ESMS criterion serves actually as a generic tool for outlier …

Economic Optimization Of Offshore Wind Farms Using The Geometric Algorithm, Mahidhar Nandigam

Electrical & Computer Engineering Theses & Dissertations

The research project related to this thesis focuses on the optimization of electrical systems for offshore wind farms for a given capacity. The optimal design and planning is a critical issue for developing cost effectively Offshore Wind Farms in energy systems. The Geometric Optimization Algorithms approach has been adopted to develop an optimization program, where the main components of the electrical system of an offshore wind farm and key technical specifications are used as parameters to be optimized for a minimum cost with necessary constraints. The effectiveness of the optimization program can be evaluated with real-time comparison between offshore wind …

An Investigation Of Wavelets, Wendy Bergh

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

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

Virginia Journal of Science

Abstracts of papers of the Astronomy, Mathematics, and Physics (Including Materials Science) Section for the 88th Annual Meeting of the Virginia Academy of Science, May 20-21, 2010, James Madison University, Harrisonburg, VA.

Towards A Formal Theory Of Interoperability, Saikou Y. Diallo

Computational Modeling & Simulation Engineering Theses & Dissertations

This dissertation proposes a formal theory of interoperability that explains 1) what interoperability is as opposed to how it works, 2) how to tell whether two or more systems can interoperate and 3) how to identify whether systems are interoperating or merely exchanging bits and bytes. The research provides a formal model of data in M&S that captures all possible representations of a real or imagined thing and distinguishes between existential dependencies and transformational dependencies. Existential dependencies capture the relationships within a model while transformational dependencies capture the relationships between interactions with a model. These definitions are used to formally …

Non Bayesian Conditioning And Deconditioning, Jean Dezert, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we present a Non-Bayesian conditioning rule for belief revision. This rule is truly Non-Bayesian in the sense that it doesn’t satisfy the common adopted principle that when a prior belief is Bayesian, after conditioning by X, Bel(X|X) must be equal to one. Our new conditioning rule for belief revision is based on the proportional conflict redistribution rule of combination developed in DSmT (Dezert-Smarandache Theory) which abandons Bayes’ conditioning principle. Such Non-Bayesian conditioning allows to take into account judiciously the level of conflict between the prior belief available and the conditional evidence. We also introduce the deconditioning problem …

Verification Of Kam Theory On Earth Orbiting Satellites, Christian L. Bisher

Theses and Dissertations

This paper uses KAM torus theory and Simplified General Perturbations 4 (SGP4) orbit prediction techniques compiled by Dr. William Wiesel and compares it to Analytical Graphics ® Incorporated (AGI) Satellite Toolkit ® (STK) orbit data. The goal of this paper is to verify KAM torus theory can be used to describe and propagate an Earth satellite orbit with similar accuracy to existing general perturbation techniques. Using SGP4 code including only truncated geopotential effects, KAM torus generating code, and other utilities were used to describe a particular satellite orbit as a torus and then propagate the satellite using traditional and KAM …

Numerical Investigation Of Pre-Detonator Geometries For Pde Applications, Robert T. Fievisohn

Theses and Dissertations

A parametric study was performed to determine optimal geometries to allow the successful transition of a detonation from a pre-detonator into the thrust tube of a pulse detonation engine. The study was performed using a two-dimensional Euler solver with progress variables to model the chemistry. The geometrical configurations for the simulations look at the effect of shock reflections, flow obstructions, and detonation diffraction to determine successful geometries. It was observed that there are success and failure rates associated with pre-detonators. These success rates appear to be determined by the transverse wave structure of a stably propagating detonation wave and must …