Applied Mathematics Commons^™

Compressive Vector Reconstruction: Hypothesis For Blind Image Deconvolution, Alonso Orea Amador

Open Access Theses & Dissertations

Alternative imaging devices propose to acquire and compress images simultaneously. These devices are based on the compressive sensing (CS) theory. A reduction in the measurement required for reconstruction without a post-compression sub-system allows imaging devices to become simpler, smaller, and cheaper. In this research, we propose a new algorithm to compress and reconstruct blurred images for CS imaging devices. Blur effect in images is common due to relative motion, lens, limited aperture dimensions, lack of focus, and/or atmospheric turbulence. Our intention is to compress a blurred image with CS techniques and then reconstruct a blur-free version using the proposed algorithm. …

How To Determine The Stiffness Of The Pavement's Upper Layer (Base) Based On The Overall Stiffness And The Stiffness Of The Lower Layer (Subgrade), Christian Servin, Vladik Kreinovich

Departmental Technical Reports (CS)

In road construction, it is important to estimate difficult-measure stiffness of the pavement's upper layer based the easier-to-measure overall stiffness and the stiffness of the lower layer. In situations when the overall stiffness is not yet sufficient, it is also important to estimate how much more we need to add to the upper layer to reach the desired overall stiffness. In this paper, for the cases when a linear approximation is sufficient, we provide analytical formulas for the desired estimations.

Why Compaction Meter Value (Cmv) Is A Good Measure Of Pavement Stiffness: Towards A Possible Theoretical Explanation, Andrzej Pownuk, Pedro Barragan Olague, Vladik Kreinovich

Departmental Technical Reports (CS)

To measure stiffness of the compacted pavement, practitioners use the Compaction Meter Value (CMV); a ratio between the amplitude for the first harmonic of the compactor's acceleration and the amplitude corresponding to the vibration frequency. Numerous experiments show that CMV is highly correlated with the pavement stiffness, but as of now, there is no convincing theoretical explanation for this correlation. In this paper, we provide a possible theoretical explanation for the empirical correlation. This explanation also explains why, the stiffer the material, the more higher-order harmonics we observe.

Modeling Of Piezoelectric Traveling Wave Rotary Ultrasonic Motors With The Finite Volume Method, Ivan Arturo Renteria Marquez

Open Access Theses & Dissertations

In 1983 Toshiiku Sashida developed a new motor concept called Piezoelectric Traveling Wave Rotary Ultrasonic Motor (PTRUSM). The advantages of these motors include high torque at low speed, absence of a generated magnetic field, and high potential for miniaturization. Unfortunately PTRUSMs have some disadvantages that limit the areas of applications for these types of motors. The disadvantages are a short operating life (about 1000 hours), small output power, and the need of a complex motor controller.

On one hand, these motors have been used in satellites, mobile phones, photocopiers, robotic arms, telescopes, automobiles, and camera autofocusing. On the other hand, …

Standing On The Shoulders Of The Giants: Why Constructive Mathematics, Probability Theory, Interval Mathematics, And Fuzzy Mathematics Are Important, Vladik Kreinovich

Departmental Technical Reports (CS)

Recent death of Ray Moore, one of the fathers of interval mathematics, inspired these thoughts on why interval computations -- and several other related areas of study -- are important, and what we can learn from the successes of these areas' founders and promoters.

Why Lattice-Valued Fuzzy Values? A Mathematical Justification, Rujira Ouncharoen, Vladik Kreinovich, Hung T. Nguyen

Departmental Technical Reports (CS)

To take into account that expert's degrees of certainty are not always comparable, researchers have used partially ordered set of degrees instead of the more traditional linearly (totally) ordered interval [0,1]. In most cases, it is assumed that this partially ordered set is a lattice, i.e., every two elements have the greatest lower bound and the least upper bound. In this paper, we prove a theorem explaining why it is reasonable to require that the set of degrees is a lattice.

Minimax Portfolio Optimization Under Interval Uncertainty, Meng Yuan, Xu Lin, Junzo Watada, Vladik Kreinovich

Departmental Technical Reports (CS)

In the 1950s, Markowitz proposed to combine different investment instruments to design a portfolio that either maximizes the expected return under constraints on volatility (risk) or minimizes the risk under given expected return. Markowitz's formulas are still widely used in financial practice. However, these formulas assume that we know the exact values of expected return and variance for each instrument, and that we know the exact covariance of every two instruments. In practice, we only know these values with some uncertainty. Often, we only know the bounds of these values -- i.e., in other words, we only know the intervals …

A Heterogeneous Multiscale Method For Poroelasticity, Paul M. Delgado

Open Access Theses & Dissertations

In this Thesis, we develop and analyze a heterogeneous multiscale model for coupled fluid flow and solid deformation in porous media based on operator splitting and finite volume method. The splitting method results in two elliptic multiscale PDE's in the form of a reaction diffusion equation and a linear elasticity equation. We extend our previous multiscale method from 1D to higher dimensions and develop new approaches for the inclusion of mixed boundary conditions and source terms. We derive an error estimate for our multiscale method and analyze the stability of our splitting method. We also test the effectiveness of our …

Optimization Schemes For The Inversion Of Bouguer Gravity Anomalies, Azucena Zamora

Open Access Theses & Dissertations

Data sets obtained from measurable physical properties of the Earth structure have helped advance the understanding of its tectonic and structural processes and constitute key elements for resource prospecting. 2-Dimensional (2-D) and 3-D models obtained from the inversion of geophysical data sets are widely used to represent the structural composition of the Earth based on physical properties such as density, seismic wave velocities, magnetic susceptibility, conductivity, and resistivity. The inversion of each one of these data sets provides structural models whose consistency depends on the data collection process, methodology, and overall assumptions made in their individual mathematical processes. Although sampling …

Among Several Successful Algorithms, Simpler Ones Usually Work Better: A Possible Explanation Of An Empirical Observation, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

Often, several different algorithms can solve a certain practical problem. Sometimes, algorithms which are successful in solving one problem can solve other problems as well. How can we decide which of the original algorithms is the most promising -- i.e., which is more probable to be able to solve other problem? In many cases, the simplest algorithms turns out to be the most successful. In this paper, we provide a possible explanation for this empirical observation.

Granularity Explains Empirical Factor-Of-Three Relation Between Probabilities Of Pulmonary Embolism In Different Patient Categories, Beverly Rivera, Francisco Zapata, Vladik Kreinovich

Departmental Technical Reports (CS)

Pulmonary embolism is a very dangerous difficult-to-detect medical condition. To diagnose pulmonary embolism, medical practitioners combine indirect signs of this condition into a single score, and then classify patients into low-probability, intermediate-probability, and high-probability categories. Empirical analysis shows that, when we move from each category to the next one, the probability of pulmonary embolism increases by a factor of three. In this paper, we provide a theoretical explanation for this empirical relation between probabilities.

Examining The Consistence Of Futures Margin Levels Using Bivariate Extreme Value Copulas, X. Gong, Hung T. Nguyen, Vladik Kreinovich, Songsak Sriboonchitta

Departmental Technical Reports (CS)

This study examines the consistence of the futures margin levels of different commodities and combinations in the CME group by Extreme Value Copula (EVC). We find that if we ignore the co-movements of the commodities, the margins become consistent with each other, and the margin violation rates hover around 0.5%. However, if we consider the co-movement of the related commodities using EVC, the margin levels are found to be not consistent anymore, especially in the combinations of strongly related commodities which are in the same category. Therefore, we suggest that the CME group should try to harmonize the margins policy …

How To Gauge Unknown Unknowns: A Possible Theoretical Explanation Of The Usual Safety Factor Of 2, Joe Lorkowski, Vladik Kreinovich

Departmental Technical Reports (CS)

To gauge the accuracy of a measuring instrument, engineers analyze possible factors contributing to the instrument's inaccuracy. In addition to known factors, however, there are usually unknown factors which also contribute to the instrument's inaccuracy. To properly gauge the instrument's accuracy -- and thus, to make sure that we do not compromise our safety by underestimating the inaccuracy -- we need to also take these "unknown unknowns" into account. In practice, this is usually done by multiplying the original estimate for inaccuracy by a "safety" factor of 2. In this paper, we provide a possible theoretical explanation for this empirical …

Formalizing The Informal, Precisiating The Imprecise: How Fuzzy Logic Can Help Mathematicians And Physicists By Formalizing Their Intuitive Ideas, Olga Kosheleva, Renata Reiser, Vladik Kreinovich

Departmental Technical Reports (CS)

Fuzzy methodology transforms expert ideas -- formulated in terms of words from natural language -- into precise rules and formulas. In this paper, we show that by applying this methodology to intuitive physical and mathematical ideas, we can get known fundamental physical equations and known mathematical techniques for solving these equations. This fact makes us confident that in the future, fuzzy techniques will help physicists and mathematicians to transform their imprecise ideas into new physical equations and new techniques for solving these equations.

Kekule's Benzene Structure: A Case Study Of Teaching Usefulness Of Symmetry, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Benzene is one of the basic building blocks of organic molecules. One of the reasons for benzene's ubiquity is its unusual ring structure first discovered by Kekule in 1865. In this paper, we show that a simple symmetry-based analysis can narrow down possible benzene structures to three ring ones, including the Kekule's ring. Thus, Kekule's benzene structure provides a good pedagogical example on which one can explain usefulness of symmetries.

Using Second-Order Probabilities To Make Maximum Entropy Approach To Copulas More Reasonable, Hung T. Nguyen, Vladik Kreinovich, Berlin Wu

Departmental Technical Reports (CS)

Copulas are a general way of describing dependence between two or more random variables. When we only have partial information about the dependence, i.e., when several different copulas are consistent with our knowledge, it is often necessary to select one of these copulas. A frequently used method of selecting this copula is the maximum entropy approach, when we select a copula with the largest entropy. However, in some cases, the maximum entropy approach leads to an unreasonable selection -- e.g., even if we know that the two random variables are positively correlated, the maximum entropy approach completely ignores this information. …

Observable Causality Implies Lorentz Group: Alexandrov-Zeeman-Type Theorem For Space-Time Regions, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

The famous Alexandrov-Zeeman theorem proves that causality implies Lorentz group. The physical meaning of this result is that once we observe which event can causally affect which other events, then, using only this information, we can reconstruct the linear structure of the Minkowski space-time. The original Alexandrov-Zeeman theorem is based on the causality relation between events represented by points in space-time. Knowing such a point means that we know the exact moment of time and the exact location of the corresponding event - and that this event actually occurred at a single moment of time and at a single spatial …

How To Modify Grade Point Average (Gpa) To Make It More Adequate, Joe Lorkowski, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

At present, the amounts of knowledge acquired by different graduates of the same program are usually compared by comparing their GPAs. We argue that this is not always the most adequate description: for example, if, after completing all required classes with the highest grade of "excellent" (A), a student takes an additional challenging class and gets a "satisfactory" grade (C), the amount of her knowledge increases, but the GPA goes down. We propose a modification of the GPA which is free of this drawback and is, thus, more adequate for describing the student's knowledge. We also provide a psychological explanation …

In Category Of Sets And Relations, It Is Possible To Describe Functions In Purely Category Terms, Vladik Kreinovich, Martine Ceberio, Quentin Brefort

Departmental Technical Reports (CS)

We prove that in the category of sets and relations, it is possible to describe functions in purely category terms.

For Each Mathematical Statement, Only Finitely Many Of Its Generalizations Are Useful: A Formal Proof Of E. Bishop's Idea, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Generalization is one of the main mathematical activities. Some generalizations turn out to be useful for working mathematics, while many other generalizations have so far been not very useful. E. Bishop believed that most fruitless-so-far generalizations are hopeless, that every mathematical statement has only a few useful generalizations. In this paper, we show that, under a natural definition of the notion of useful generalization, Bishop's belief can be proven -- moreover, it turns out that for each mathematical statement, only finitely many of its generalizations are useful.

Deep Mathematical Results Are The Ones That Connect Seemingly Unrelated Areas: Towards A Formal Proof Of Gian-Carlo Rota's Thesis, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

When is a mathematical result deep? At first glance, the answer to this question is subjective: what is deep for one mathematician may not sound that deep for another. A renowned mathematician Gian-Carlo Rota expressed an opinion that the notion of deepness is more objective that we may think: namely, that a mathematical statement is deep if and only if it connects two seemingly unrelated areas of mathematics. In this paper, we formalize this thesis, and show that in this formalization, Gian Carlo Rota's thesis becomes a provable mathematical result.

Predicting Propylene Loss With Inferential Model Development Using Design Of Experiments (Doe) And Historical Data, Jeffrey Allen Wheeler

Open Access Theses & Dissertations

Inferential models are a highly researched topic as the science of digital automation becomes more prevalent as information is in abundance. Welldeveloped inferred models can augment the use of analyzers in steady state processing and highly correlated ones can even replace online analytics. The use of design of experiments (DOE) inferred models with historical process data and a rigorous plant simulator can reduce the case study duration while achieving a high degree of accuracy. This paper uses surface response and full factorial models as the first step in model development, and then uses actual historical plant data to create a …

A Block Precondtioner For A Mixed Finite Element Method For Biot;S Equations, Maranda Lee Bean

Open Access Theses & Dissertations

In this Thesis, we explore the solution methods for the linear system resulting from a mixed finite element method applied to the Biot's consolidation model. This model describes the coupled interactions between a porous solid and the fluid contained within it. Specifically, we use a method developed by Yi [Numer. Methods for PDEs, 29(5), pp. 1749-1777] that expands Biot's system to include fluid pressure, solid displacement, fluid flux and total stress as primary unknowns.

As the resulting linear system is a large, sparse, saddle point system, we attempt to solve this system via a Schur complement preconditioned iterative method. Using …

Why In Mayan Mathematics, Zero And Infinity Are The Same: A Possible Explanation, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In Mayan mathematics, zero is supposed to be, in some sense, equal to infinity. At first glance, while this statement may have a deep philosophical meaning, it does not seem to make much mathematical sense. In this paper, we show, that this statement may be made mathematically reasonable. Specifically, on a real line, it is often useful to consider both −∞ and +∞ as a single infinity. When we deal with very small and very large numbers, it makes sense to use floating point representation, i.e., in effect, consider logarithms of the original values. In terms of logarithms, the original …

Peak-End Rule: A Utility-Based Explanation, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, people judge their overall experience by only taking into account the peak and the last levels of pleasantness or unpleasantness. While this peak-end rule is empirically supported by numerous psychological experiments, it seems to contradict our general theoretical ideas about people's preferences. In this paper, we show that, contrary to this impression, the end-peak rule can be justified based on the main ideas of the traditional utility-based decision theory.

Functional Data Analysis To Guide A Conditional Likelihood Regression In A Case-Crossover Study Investigating Whether Social Characteristics Modify The Health Effects Of Air Pollution, Juana Maribel Herrera Hernandez

Open Access Theses & Dissertations

In this study we are focused on exploring whether social characteristics modify the relationship between air pollution and hospitalizations due to asthma or chronic pulmonary obstructive disease (COPD) in El Paso, Tx. The case-crossover design with conditional regression analysis was used, here the controls and the case are the same subject at different

times and has the advantage of removing confounding by permanently confounding factors. Social characteristics are included in the models as interactions with the pollutants, variables included are age, sex, ethnicity and insurance status as indicator for the socio-economic status. The pollutant's lags were chosen using the historical …

On Different Techniques For The Calculation Of Bouguer Gravity Anomalies For Joint Inversion And Model Fusion Of Geophysical Data In The Rio Grande Rift, Azucena Zamora

Open Access Theses & Dissertations

Density variations in the Earth result from different material properties, which reflect the tectonic processes attributed to a region. Density variations can be identified through measurable material properties, such as seismic velocities, gravity field, magnetic field, etc. Gravity anomaly inversions are particularly sensitive to density variations but suffer from significant non-uniqueness. However, using inverse models with gravity Bouguer anomalies and other geophysical data, we can determine three dimensional structural and geological properties of the given area. We explore different techniques for the calculation of Bouguer gravity anomalies for their use in joint inversion of multiple geophysical data sets and a …

Automatic Elucidation Of Gpi Molecular Structures With Grid Computing Technology, Juan Clemente Aguilar Bonavides

Open Access Theses & Dissertations

Glycosylphosphatidylinositol (GPI)-anchored proteins are involved in many biological processes and are of medical importance. The identification and analysis of the entire collection of free and protein-linked GPIs within an organism (i.e., GPIomics) requires highly sensitive instruments. At present, liquid chromatography-tandem mass spectrometry (LC-MS/MS or -MSⁿ) is the most efficient laboratory technique for these tasks. As a typical MSⁿ experiment produces hundreds of thousands of spectra, the data analysis creates a major bottleneck in high-throughput GPIomic projects. Yet, no computational tool for characterizing the chemical structures of GPI is available to date. We propose a library-search algorithm to …

Post-Pareto Optimality Methods For The Analysis Of Large Pareto Sets In Multi-Objective Optimization, Victor Manuel Carrillo

Open Access Theses & Dissertations

Multiple objective optimization involves the simultaneous optimization of more than one, possibly conflicting, objectives. Multiple objective optimization problems arise in a variety of real-world applications. In general, the main difference between single and multi-objective optimization is that in multi-objective optimization there is usually no single optimal solution, but a set of equally good alternatives with different trade-offs, also known as Pareto-optimal solutions. There are two general approaches to solve multiple objective optimization problems: mathematical methods and meta-heuristic methods. The first approach involves the aggregation of the attributes into a linear combination of the objective functions, also known as scalarization. The …

Unconstrained L1 Optimization With Applications To Signal And Image Processing, Carlos Andres Ramirez

Open Access Theses & Dissertations

In recent years, the applied mathematical community has witnessed a revolution that is changing the paradigm of classical signal and image processing. Novel and e efficient numerical algorithms have emerged for solving new challenges in large scale signal retrieval, where both constrained and unconstrained L1 minimization methods play a fundamental role.

In this work, we present a new methodology for solving unconstrained L1 minimization problems in the context of image and signal processing. Our approach consists in solving a sequence of relaxed unconstrained minimization problems depending on a positive regularization parameter that converges to zero. The optimality conditions of each …