Mathematics Commons^™

Technology And Mathematics Standards: An Integrated Approach, Chris Merrill, Mark Comerford

Publications

The article focuses on the use of standards-based teaching and learning that has been gaining significant attention in the education world. State and national associations now base their specific subject area or discipline solely on standards, i.e., International Technology Education Association (ITEA), National Council of Teachers of Mathematics (NCTM), National Science Education Association (NSEA). Moreover, at the public school level, state boards of education are holding school districts accountable for teaching standards-based curricula. It is with the latter definition in mind that the authors created a standards-based, integrated technology and mathematics lesson using the design and construction of stair systems.

Advances And Applications Of Dezert-Smarandache Theory (Dsmt), Vol. 1, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

The Dezert-Smarandache Theory (DSmT) of plausible and paradoxical reasoning is a natural extension of the classical Dempster-Shafer Theory (DST) but includes fundamental differences with the DST. DSmT allows to formally combine any types of independent sources of information represented in term of belief functions, but is mainly focused on the fusion of uncertain, highly conflicting and imprecise quantitative or qualitative sources of evidence. DSmT is able to solve complex, static or dynamic fusion problems beyond the limits of the DST framework, especially when conflicts between sources become large and when the refinement of the frame of the problem under consideration …

On The Empirical Balanced Truncation For Nonlinear Systems, Marissa Condon, Rossen Ivanov

Articles

Novel constructions of empirical controllability and observability gramians for nonlinear systems for subsequent use in a balanced truncation style of model reduction are proposed. The new gramians are based on a generalisation of the fundamental solution for a Linear Time-Varying system. Relationships between the given gramians for nonlinear systems and the standard gramians for both Linear Time-Invariant and Linear Time-Varying systems are established as well as relationships to prior constructions proposed for empirical gramians. Application of the new gramians is illustrated through a sample test-system.

Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T, we construct an endofunctor L such that L-algebras provide a sound and complete (algebraic) semantics of the logic. We show that if L is dual to T, then soundness and completeness of the algebraic semantics immediately yield the …

Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on S-referential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we also show how the Vietoris endofunctor on referential algebras extends the Vietoris endofunctor on Stone spaces. From another point of view, we examine when a category of ‘spaces’ (X,A), ie sets X …

Preface, Thomas Hildebrandt, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

Evaluating The Performance Of Multiple Classifier Systems: A Matrix Algebra Representation Of Boolean Fusion Rules, Justin M. Hill

Theses and Dissertations

Given a finite collection of classifiers one might wish to combine, or fuse, the classifiers in hopes that the multiple classifier system (MCS) will perform better than the individuals. One method of fusing classifiers is to combine their final decision using Boolean rules (e.g., a logical OR, AND, or a majority vote of the classifiers in the system). An established method for evaluating a classifier is measuring some aspect of its Receiver Operating Characteristic (ROC) curve, which graphs the trade-off between the conditional probabilities of detection and false alarm. This work presents a unique method of estimating the performance of …

Protocols For Disease Classification From Mass Spectrometry Data, Michael Wagner, Dayanand Naik, Alex Pothen

Mathematics & Statistics Faculty Publications

We report our results in classifying protein matrix-assisted laser desorption/ionizationtime of flight mass spectra obtained from serum samples into diseased and healthy groups. We discuss in detail five of the steps in preprocessing the mass spectral data for biomarker discovery, as well as our criterion for choosing a small set of peaks for classifying the samples. Cross-validation studies with four selected proteins yielded misclassification rates in the 10-15% range for all the classification methods. Three of these proteins or protein fragments are down-regulated and one up-regulated in lung cancer, the disease under consideration in this data set. When cross-validation studies …

Stone Coalgebras, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. This yields a duality between the category of modal algebras and that of coalgebras over the Vietoris functor. Building on this idea, we introduce the notion of a Vietoris polynomial functor over the category of Stone spaces. …

Pattern Recognition For Electric Power System Protection, Yong Sheng

Doctoral Dissertations

The objective of this research is to demonstrate pattern recognition tools such as decision trees (DTs) and neural networks that will improve and automate the design of relay protection functions in electric power systems. Protection functions that will benefit from the research include relay algorithms for high voltage transformer protection (TP) and for high impedance fault (HIF) detection. A methodology, which uses DTs and wavelet analysis to distinguish transformer internal faults from other conditions that are easily mistaken for internal faults, has been developed. Also, a DT based solution is proposed to discriminate HIFs from normal operations that may confuse …

Modeling And Experimental Verification Of Growth Of An Axisymmetric Cylindrical Rod By Three-Dimensional Laser-Induced Chemical Vapor Deposition, Qing Chen

Doctoral Dissertations

Three-dimensional laser-induced chemical vapor deposition (3D-LCVD) is a recently developed micro-manufacturing process that holds great potential for the production of complex microstructures with high aspect ratio. A laser beam is focused through a vacuum chamber window onto a movable substrate. The heat from the laser at or near the focal spot on the substrate induces the decomposition reaction of precursor gas in the chamber. As a result, solid-phase reaction products are deposited on the substrate to form the microstructure. In this dissertation, a numerical model is developed for simulating kinetically-limited growth of an axisymmetric cylindrical rod by pre-specifying the surface …

Flow Patterns In A Two-Roll Mill, Christopher Hills

Articles

The two-dimensional flow of a Newtonian fluid in a rectangular box that contains two disjoint, independently-rotating, circular boundaries is studied. The flow field for this two-roll mill is determined numerically using a finite-difference scheme over a Cartesian grid with variable horizontal and vertical spacing to accommodate satisfactorily the circular boundaries. To make the streamfunction numerically determinate we insist that the pressure field is everywhere single-valued. The physical character, streamline topology and transitions of the flow are discussed for a range of geometries, rotation rates and Reynolds numbers in the underlying seven-parameter space. An account of a preliminary experimental study of …

Preface, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.

Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.

Eddy Structures Induced Within A Wedge By A Honing Circular Arc, C. P. Hills

Articles

In this paper we outline an expeditious numerical procedure to calculate the Stokes flow in a corner due to the rotation of a scraping circular boundary. The method is also applicable to other wedge geometries. We employ a collocation technique utilising a basis of eddy (similarity) functions introduced by Moffatt (1964) that allows us to satisfy automatically the governing equations for the streamfunction and all the boundary conditions on the surface of the wedge. The circular honing problem thereby becomes one-dimensional requiring only the satisfaction of conditions on the circular boundary. The advantage of using the Moffatt eddy functions as …

Eddies Induced In Cylindrical Containers By A Rotating End Wall, Christopher Hills

Articles

The flow generated in a viscous liquid contained in a cylindrical geometry by a rotating end wall is considered. Recent numerical and experimental work has established several distinct phases of the motion when fluid inertia plays a significant role. The current paper, however, establishes the nature of the flow in the thus far neglected low Reynolds number regime. Explicitly, by employing biorthogonality relations appropriate to the current geometry, it is shown that a sequence of exponentially decaying eddies extends outward from the rotating end wall. The cellular structure is a manifestation of the dominance of complex eigensolutions to the homogeneous …

The Problem Of A Viscoelastic Cylinder Rolling On A Rigid Half-Space, John Murrough Golden, G.A.C. Graham

Articles

The problem of a viscoelastic cylinder rolling on a rigid base, propelled by a line force acting at its centre, is solved in the noninertial approximation. The method used is based on a decomposition of hereditary integrals developed by the authors in previous work, and on the viscoelastic Kolosov-Muskhelishvili equations which are used to generate a Hilbert problem. In this formulation, the problem reduces to a nonsingular integral equation in space and time, which simplifies under steady-state conditions and for exponential decay materials, to algebraic form. There are also two subsidiary conditions.

In the case of a standard linear model, …

Modal Rules Are Co-Implications, Alexander Kurz

Engineering Faculty Articles and Research

In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.

Cramer-Rao Bound And Optimal Amplitude Estimator Of Superimposed Sinusoidal Signals With Unknown Frequencies, Shaohui Jia

Doctoral Dissertations

This dissertation addresses optimally estimating the amplitudes of superimposed sinusoidal signals with unknown frequencies. The Cramer-Rao Bound of estimating the amplitudes in white Gaussian noise is given, and the maximum likelihood estimator of the amplitudes in this case is shown to be asymptotically efficient at high signal to noise ratio but finite sample size. Applying the theoretical results to signal resolutions, it is shown that the optimal resolution of multiple signals using a finite sample is given by the maximum likelihood estimator of the amplitudes of signals.

Diffusion Problems In Wound Healing And A Scattering Approach To Immune System Interactions, Julia Suzanne Arnold

Mathematics & Statistics Theses & Dissertations

A theoretical model for the existence of a Critical Size Defect (CSD) in certain animals is the focus of the majority of this dissertation. Adam [1] recently developed a one-dimensional model of this phenomenon, and chapters I–V address the exist the CSD in a two-dimensional model and a three-dimensional model. The two dimensional (or 1-d circular) model is the more appropriate for a study of CSD's. In that model we assume a circular wound of uniform depth and develop a time-independent form of the diffusion equation relevant to the study of the CSD phenomenon. It transpires that the range of …

A Group Theoretic Tabu Search Approach To The Traveling Salesman Problem, Shane N. Hall

Theses and Dissertations

The traveling salesman problem (TSP) is a combinatorial optimization problem that is mathematically modeled as a binary integer program. The TSP is a very important problem for the operations research academician and practitioner. This research demonstrates a Group Theoretic Tabu Search (GTTS) Java algorithm for the TSP. The tabu search metaheuristic continuously finds near-optimal solutions to the TSP under various different implementations. Algebraic group theory offers a more formal mathematical setting to study the TSP providing a theoretical foundation for describing tabu search. Specifically, this thesis uses the Symmetric Group on n letters, S(n), which is the set of all …

Rotary Honing: A Variant Of The Taylor Paint-Scraper Problem, Christopher Hills, H. Moffatt

Articles

The three-dimensional Row in a corner of fixed angle α induced by the rotation in its plane of one of the boundaries is considered. A local similarity solution valid in a neighbourhood of the centre of rotation is obtained and the streamlines are shown to be closed curves. The effects of inertia are considered and are shown to be significant in a small neighbourhood of the plane of symmetry of the flow. A simple experiment confirms that the streamlines are indeed nearly closed; their projections on planes normal to the line of intersection of the boundaries are precisely the 'Taylor' …

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Maximally Disjoint Solutions Of The Set Covering Problem, David J. Rader, Peter L. Hammer

Mathematical Sciences Technical Reports (MSTR)

This paper is concerned with finding two solutions of a set covering problem that have a minimum number of variables in common. We show that this problem is NP­ complete, even in the case where we are only interested in completely disjoint solutions. We describe three heuristic methods based on the standard greedy algorithm for set covering problems. Two of these algorithms find the solutions sequentially, while the third finds them simultaneously. A local search method for reducing the overlap of the two given solutions is then described. This method involves the solution of a reduced set covering problem. Finally, …

The Solution Of Hypersingular Integral Equations With Applications In Acoustics And Fracture Mechanics, Richard S. St. John

Mathematics & Statistics Theses & Dissertations

The numerical solution of two classes of hypersingular integral equations is addressed. Both classes are integral equations of the first kind, and are hypersingular due to a kernel containing a Hadamard singularity. The convergence of a Galerkin method and a collocation method is discussed and computationally efficient algorithms are developed for each class of hypersingular integral equation.

Interest in these classes of hypersingular integral equations is due to their occurrence in many physical applications. In particular, investigations into the scattering of acoustic waves by moving objects and the study of dynamic Griffith crack problems has necessitated a computationally efficient technique …

Representations, Approximations, And Algorithms For Mathematical Speech Processing, Laura R. Suzuki

Theses and Dissertations

Representing speech signals such that specific characteristics of speech are included is essential in many Air Force and DoD signal processing applications. A mathematical construct called a frame is presented which captures the important time-varying characteristic of speech. Roughly speaking, frames generalize the idea of an orthogonal basis in a Hilbert space, Specific spaces applicable to speech are L₂(R) and the Hardy spaces H_p(D) for p> 1 where D is the unit disk in the complex plane. Results are given for representations in the Hardy spaces involving Carleson's inequalities (and its extensions), …

Sparse Equation-Eigen Solvers For Symmetric/Unsymmetric Positive-Negative-Indefinite Matrices With Finite Element And Linear Programming Applications, Hakakizumwami Birali Runesha

Civil & Environmental Engineering Theses & Dissertations

Vectorized sparse solvers for direct solutions of positive-negative-indefinite symmetric systems of linear equations and eigen-equations are developed. Sparse storage schemes, re-ordering, symbolic factorization and numerical factorization algorithms are discussed. Loop unrolling techniques are also incorporated in the coding to enhance the vector speed. In the indefinite solver, which employs various pivoting strategies, a simple rotation matrix is introduced to simplify the computer implementation. Efficient usage of the incore memory is accomplished by the proposed "restart memory management" schemes. A sparse version of the Interior Point Method, IPM, has also been implemented that incorporates the developed indefinite sparse solver for linear …

Mass Transfer With Chemical Reaction In The Process Of Ammonia Desorption From Aqueous Solutions Containing Carbon Dioxide, Wojciech M. Budzianowski

Wojciech Budzianowski

No abstract provided.