Mathematics Commons^™

An Exploration Of A Discrete Rhombohedral Lattice Of Possible Engineering Or Physical Relevance, Jim Mcgovern

Conference Papers

A particular discrete rhombohedral lattice consisting of four symmetrically interlaced cuboctahedral or cubic point lattices is described that is interesting because of the high degree of symmetry it exhibits. The four constituent lattices are denoted by four colours and the composite lattice is referred to as a 4-colour rhombohedral lattice. Each point of the 4-colour lattice can be referenced by an integer 4-tuple containing only the positive non-zero integers (the counting numbers). The relationship between the discrete rhombohedral lattice and a discrete Cartesian lattice is explained. Some interesting aspects of the lattice and of the counting-number 4-tuple coordinate system are …

Lectures On Computational Numerical Analysis Of Partial Differential Equations, James M. Mcdonough

Mechanical Engineering Textbook Gallery

From Chapter 1:

The purpose of these lectures is to present a set of straightforward numerical methods with applicability to essentially any problem associated with a partial differential equation (PDE) or system of PDEs independent of type, spatial dimension or form of nonlinearity.

A Model For Rolling Swarms Of Locusts, Chad M. Topaz, Andrew J. Bernoff, Sheldon Logan '06, Wyatt Toolson '07

All HMC Faculty Publications and Research

We construct an individual-based kinematic model of rolling migratory locust swarms. The model incorporates social interactions, gravity, wind, and the effect of the impenetrable boundary formed by the ground. We study the model using numerical simulations and tools from statistical mechanics, namely the notion of H-stability. For a free-space swarm (no wind and gravity), as the number of locusts increases, the group approaches a crystalline lattice of fixed density if it is H-stable, and in contrast becomes ever denser if it is catastrophic. Numerical simulations suggest that whether or not a swarm rolls depends on the statistical mechanical properties of …

Functorial Coalgebraic Logic: The Case Of Many-Sorted Varieties, Alexander Kurz, Daniela Petrişan

Engineering Faculty Articles and Research

Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generalized from endofunctors on one-sorted varieties to functors between many-sorted varieties. This yields an equational logic for the presheaf semantics of higher-order abstract syntax. As another application, we show how the move to functors between many-sorted varieties allows to modularly combine syntax and proof systems of different logics. Second, we show how to associate …

Average Min-Sum Decoding Of Ldpc Codes, Nathan Axvig, Deanna Dreher, Katherine Morrison, Eric T. Psota, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

Simulations have shown that the outputs of minsum (MS) decoding generally behave in one of two ways: the output either eventually stabilizes at a codeword or eventually cycles through a finite set of vectors that may include both codewords and non-codewords. This inconsistency in MS across iterations has significantly contributed to the difficulty in studying the performance of this decoder. To overcome this problem, a new decoder, average min-sum (AMS), is proposed; this decoder outputs the average of the min-sum output vectors over a finite set of iterations. Simulations comparing MS, AMS, linear programming (LP) decoding, and maximum likelihood (ML) …

New Classes Of Codes For Cryptologists And Computer Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Historically a code refers to a cryptosystem that deals with linguistic units: words, phrases etc. We do not discuss such codes in this book. Here codes are message carriers or information storages or information transmitters which in time of need should not be decoded or read by an enemy or an intruder. When we use very abstract mathematics in using a specific code, it is difficult for non-mathematicians to make use of it. At the same time, one cannot compromise with the capacity of the codes. So the authors in this book have introduced several classes of codes which are …

Reed-Solomon Codes Construction & Decoding, Samuel J. Parsons

Honors Capstones

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

A Universal Theory Of Pseudocodewords, Nathan Axvig, Emily Price, Eric T. Psota, Deanna Turk, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

Three types of pseudocodewords for LDPC codes are found in the literature: graph cover pseudocodewords, linear programming pseudocodewords, and computation tree pseudocodewords. In this paper we first review these three notions and known connections between them. We then propose a new decoding rule — universal cover decoding — for LDPC codes. This new decoding rule also has a notion of pseudocodeword attached, and this fourth notion provides a framework in which we can better understand the other three.

The Study On The Empty Container Repositioning Of Container Leasing Company, Yi Zhao

World Maritime University Dissertations

No abstract provided.

Ua66 2007 Student Awards Ceremony, Wku Ogden College Of Science & Engineering

WKU Administration Documents

Program recognizing Ogden College students with brief list of activities for each student.

Vorticity Dynamics And Sound Generation In Two-Dimensional Fluid Flow, Raymond J. Nagem, Guido Sandri, David Uminsky

Mathematics

An approximate solution to the two-dimensional incompressible fluid equations is constructed by expanding the vorticity field in a series of derivatives of a Gaussian vortex. The expansion is used to analyze the motion of a corotating Gaussian vortex pair, and the spatial rotation frequency of the vortex pair is derived directly from the fluid vorticity equation. The resulting rotation frequency includes the effects of finite vortex core size and viscosity and reduces, in the appropriate limit, to the rotation frequency of the Kirchhoff point vortex theory. The expansion is then used in the low Mach number Lighthill equation to derive …

Lectures In Computational Fluid Dynamics Of Incompressible Flow: Mathematics, Algorithms And Implementations, James M. Mcdonough

Mechanical Engineering Textbook Gallery

From Prologue:

The present lecture notes are written to emphasize the mathematics of the Navier–Stokes (N.–S.) equations of incompressible flow and the algorithms that have been developed over the past 30 years for solving them.

Clarifications Of Rule 2 In Teaching Geometric Dimensioning And Tolerancing, Cheng Lin, Alok Verma

Engineering Technology Faculty Publications

Geometric dimensioning and tolerancing is a symbolic language used on engineering drawings and computer generated three-dimensional solid models for explicitly describing nominal geometry and its allowable variation. Application cases using the concept of Rule 2 in the Geometric Dimensioning and Tolerancing (GD&T) are presented. The rule affects all fourteen geometric characteristics. Depending on the nature and location where each feature control frame is specified, interpretation on the applicability of Rule 2 is quite inconsistent. This paper focuses on identifying the characteristics of a feature control frame to remove this inconsistency. A table is created to clarify the confusions for students …

Slow Flow Between Concentric Cones, O. Hall, C. P. Hills, A. D. Gilbert

Articles

This paper considers the low-Reynolds-number flow of an incompressible fluid contained in the gap between two coaxial cones with coincident apices and bounded by a spherical lid. The two cones and the lid are allowed to rotate independently about their common axis, generating a swirling motion. The swirl induces a secondary, meridional circulation through inertial effects. For specific configurations complex eigenmodes representing an infinite sequence of eddies, analogous to those found in two-dimensional corner flows and some three-dimensional geometries, form a component of this secondary circulation. When the cones rotate these eigenmodes, arising from the geometry, compete with the forced …

Krylov Subspaces From Bilinear Representations Of Nonlinear Systems, Marissa Condon, Rossen Ivanov

Articles

For efficient simulation of state-of-the-art dynamical systems as arise in all aspects of engineering, the development of reduced-order models is of paramount importance. While linear reduction techniques have received considerable study, increasingly nonlinear model reduction is becoming a significant field of interest. From a circuits and systems viewpoint, systems involving micromachined devices or systems involving mixed technologies necessitate the development of reduced-order nonlinear models. From a control systems viewpoint, the design of controllers for nonlinear systems is greatly facilitated by nonlinear model reduction strategies. To this end, the paper proposes two novel model-reduction strategies for nonlinear systems. The first involves …

Pi-Calculus In Logical Form, Marcello M. Bonsangue, Alexander Kurz

Engineering Faculty Articles and Research

Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard constructs in functor categories. We show that initial algebras of functors defined in terms of these constructs give rise to a logic that is sound, complete, and characterises bisimilarity. The approach is modular, and we apply it to derive a logical formulation of pi-calculus. The resulting logic is a …

A Comparison Of Techniques To Forecast Consumer Satisfaction For Vehicle Ride, Elizabeth A. Cudney, David Drain, Kenneth M. Ragsdell, Kioumars Paryani

Engineering Management and Systems Engineering Faculty Research & Creative Works

This paper presents a comparison of methods for the identification of a reduced set of useful variables using a multidimensional system. the Mahalanobis-Taguchi System and a standard statistical technique are used reduce the dimensionality of vehicle ride based on consumer satisfaction ratings. the Mahalanobis-Taguchi System and cluster analysis are applied to vehicle ride. the research considers 67 vehicle data sets for the 6 vehicle ride parameters. This paper applies the Mahalanobis-Taguchi System to forecast consumer satisfaction and provides a comparison of results with those obtained from a standard statistical approach to the problem. Copyright © 2007 SAE International.

Effective Use Of Process Capability Indices For Supplier Management, Elizabeth A. Cudney, David Drain

Engineering Management and Systems Engineering Faculty Research & Creative Works

Process capability indices were originally invented to enable an organization to make economically sound decisions for process management. Process capability is a comparison of the voice of the process with the voice of the customer. Current practice is to use Cp and Cpk regardless of the validity of the underlying assumptions necessary for their use. Even if all necessary assumptions are satisfied, important problems can be missed if these indices are the sole process evaluation examined. Customer-supplier axioms are introduced to motivate more useful process evaluations and foster long-term harmonious relationships. This paper explores the alternative capability indices Cpm, Cpmk, …

2nd Annual Undergraduate Research Conference Abstract Book, University Of Missouri--Rolla

Undergraduate Research Conference at Missouri S&T

No abstract provided.

Multiple Lebesgue Integration On Time Scales, Gusein Sh. Guseinov, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

We study the process of multiple Lebesgue integration on time scales. The relationship of the Riemann and the Lebesgue multiple integrals is investigated.

Coalgebras And Their Logics, Alexander Kurz

Engineering Faculty Articles and Research

"Transition systems pervade much of computer science. This article outlines the beginnings of a general theory of specification languages for transition systems. More specifically, transition systems are generalised to coalgebras. Specification languages together with their proof systems, in the following called (logical or modal) calculi, are presented by the associated classes of algebras (e.g., classical propositional logic by Boolean algebras). Stone duality will be used to relate the logics and their coalgebraic semantics."

Melting And Solidification Study Of As-Deposited And Recrystallized Bi Thin Films, M. K. Zayed, H. E. Elsayed-Ali

Electrical & Computer Engineering Faculty Publications

Melting and solidification of as-deposited and recrystallized Bi crystallites, deposited on highly oriented 002-graphite at 423 K, were studied using reflection high-energy electron diffraction (RHEED). Films with mean thickness between 1.5 and 33 ML (monolayers) were studied. Ex situ atomic force microscopy was used to study the morphology and the size distribution of the formed nanocrystals. The as-deposited films grew in the form of three-dimensional crystallites with different shapes and sizes, while those recrystallized from the melt were formed in nearly similar shapes but different sizes. The change in the RHEED pattern with temperature was used to probe the melting …

The Formal Laplace-Borel Transform Of Fliess Operators And The Composition Product, Yaqin Li, W. Steven Gray

Electrical & Computer Engineering Faculty Publications

The formal Laplace-Borel transform of an analytic integral operator, known as a Fliess operator, is defined and developed. Then, in conjunction with the composition product over formal power series, the formal Laplace-Borel transform is shown to provide an isomorphism between the semigroup of all Fliess operators under operator composition and the semigroup of all locally convergent formal power series under the composition product. Finally, the formal Laplace-Borel transform is applied in a systems theory setting to explicitly derive the relationship between the formal Laplace transform of the input and output functions of a Fliess operator. This gives a compact interpretation …

Advances And Applications Of Dezert-Smarandache Theory (Dsmt) For Information Fusion (Collected Works), Vol. 2, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

This second volume dedicated to Dezert-Smarandache Theory (DSmT) in Information Fusion brings in new fusion quantitative rules (such as the PCR1-6, where PCR5 for two sources does the most mathematically exact redistribution of conflicting masses to the non-empty sets in the fusion literature), qualitative fusion rules, and the Belief Conditioning Rule (BCR) which is different from the classical conditioning rule used by the fusion community working with the Mathematical Theory of Evidence.

Other fusion rules are constructed based on T-norm and T-conorm (hence using fuzzy logic and fuzzy set in information fusion), or more general fusion rules based on N-norm …

A Numerical Method For Obtaining An Optimal Temperature Distribution In A 3d Triple-Layered Cylindrical Skin Structure, Le Zhang

Doctoral Dissertations

In recent years, it has been interesting to research hyperthermia combined with radiation and cytotoxic drugs to enhance the killing of tumors. The crucial problem is that when heating the tumor tissues, one needs to keep the surrounding normal tissue below a temperature that will produce harm. Thus, it is important to obtain the temperature field of the entire treatment region. The objective of this dissertation is to develop a numerical model for obtaining an optimal temperature distribution in a 3D triple-layered cylindrical skin structure. To this end, we pre-specify the temperatures to be obtained at the center and perimeter …

A Multi-Server Markovian Queueing Model With Primary And Secondary Services, Valentina Klimenok, Srinivas R. Chakravarthy, Alexander Dudin

Industrial & Manufacturing Engineering Presentations And Conference Materials

We study a multi-server queueing model in which the arrivals occur according to a Markovian arrival process. An arriving customer either (a) is lost due to all main servers being busy; or (b) enters into service with one of the main servers and leaves the system (as a satisfied primary customer); (c) enters into a service with one of the main servers, gets service in self-service mode, and is impatient to get a final service with one of the main servers, may leave the system (as a dissatisfied secondary customer); or (d) enters into service with one of the main …

An Explicit Mapping Between The Frequency Domain And The Time Domain Representations Of Nonlinear Systems, Marissa Condon, Rossen Ivanov

Articles

Explicit expressions are presented that describe the input-output behaviour of a nonlinear system in both the frequency and the time domain. The expressions are based on a set of coefficients that do not depend on the input to the system and are universal for a given system. The anharmonic oscillator is chosen as an example and is discussed for different choices of its physical parameters. It is shown that the typical approach for the determination of the Volterra Series representation is not valid for the important case when the nonlinear system exhibits oscillatory behaviour and the input has a pole …

Interval Neutrosophic Sets And Logic; Theory And Applications In Computing, Haibin Wang, Florentin Smarandache, Yan-Qing Zhang, Rajshekhar Sunderraman

Branch Mathematics and Statistics Faculty and Staff Publications

This book presents the advancements and applications of neutrosophics. Chapter 1 first introduces the interval neutrosophic sets which is an instance of neutrosophic sets. In this chapter, the definition of interval neutrosophic sets and set-theoretic operators are given and various properties of interval neutrosophic set are proved. Chapter 2 defines the interval neutrosophic logic based on interval neutrosophic sets including the syntax and semantics of first order interval neutrosophic propositional logic and first order interval neutrosophic predicate logic. The interval neutrosophic logic can reason and model fuzzy, incomplete and inconsistent information. In this chapter, we also design an interval neutrosophic …

Weak Factorizations, Fractions And Homotopies, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show that the homotopy category can be assigned to any category equipped with a weak factorization system. A classical example of this construction is the stable category of modules. We discuss a connection with the open map approach to bisimulations proposed by Joyal, Nielsen and Winskel.

A Template Functional-Gage Design Using Parameter-File Table In Autodesk Inventor, Cheng Lin, Moustafa Moustafa

Engineering Technology Faculty Publications

A systematic approach using Autodesk Inventor to design the functional gages of Geometric Dimensioning & Tolerancing (GD&T) is presented. The gages can be used to check straightness, angularity, perpendicularity, parallelism, and position tolerances of a part when geometric tolerances are specified with Maximum Material Condition (MMC). Four steps are proposed to accomplish the task: (1) creation of two-dimensional (2-D) initial template files, (2) generation of hierarchical folders for the template files, (3) creation a 3-D gage model from a specific template file, and (4) dimensioning and generation of the gage drawing. Results show that, by following this approach, students can …