Generalisations of the Algebraic Theory Of

Total Page:16

File Type:pdf, Size:1020Kb

Generalisations of the Algebraic Theory Of GENERALISATIONS OF THE ALGEBRAIC THEORY OF CONNECTIVE SEGMENTATION Seidon Alsaody1 Project Report for the Degree of Master of Science ... Supervisor: Prof. Em. Jean Serra, ESIEE Paris Examiner: Prof. Volodymyr Mazorchuk, Uppsala University ... Spring Semester 2010 1(Visiting) Universite´ Paris-Est, Laboratoire d’Informatique Gaspard-Monge, Equipe AS3I, ESIEE Paris (2, boulevard Blaise Pascal, Cite´ Descartes, BP 99, 93162 Noisy le Grand Cedex, France). Abstract We begin by defining the set-up and the framework of connective segmentation. Then we start from a theorem based on connective criteria established for the lattice of subsets of an arbitrary set and formulate and prove its analogue for more general lattices. This also requires generalising the underlying definitions. Secondly, we consider partial partitions and partial connections. We recall the definitions, and quote a result that gives a characterisation of (partial) connections. We link this approach to the above one by means of a commutative diagram; then, as a continuation of the work in the first part, we state generalised versions of the concepts and results that underlie this char- acterisation, thereafter giving the characterisation in the generalised setting as well. Finally we generalise the commutative diagram to the general setting in two manners. Contents 1 Introduction 2 1.1 Outline of the Paper . 2 1.2 Origin of the Problems . 3 1.3 Note on Terminology and Notation . 3 1.4 Fundamental Conventions . 3 1.5 Note on the References . 3 1.6 The Author’s Acknowledgements . 4 1.7 Basic Definitions . 4 1.7.1 Some Examples . 6 1.8 Fundamentals of Connective Segmentation . 7 2 The Characterisation Theorem of Connective Segmentation 9 2.1 Serra’s Theorem . 9 2.2 First Generalisation: Viscous Lattices . 9 2.2.1 Further Definitions . 9 2.2.2 Adapting the Set-Up . 12 2.2.3 Generalising the Theorem to Viscous Lattices . 13 2.3 Main Generalisation . 15 2.3.1 Adapting the Set-Up . 16 2.3.2 Step I: Atomistic Lattices . 17 2.3.3 Step II: (Generally) Non-Atomistic Lattices . 19 3 Partial Connections & Partial Partitions 21 3.1 Main Definitions . 22 3.2 Openings on Partial Partitions and Ronse’s Corollary . 23 3.3 Relating Ronse’s Approach to Serra’s . 24 4 Generalising Ronse’s Corollary 25 4.1 Basic Concepts . 26 4.2 Underlying Results . 27 4.3 The Corollary Generalised . 33 5 Relating Serra’s & Ronse’s Approaches in General Lattices 34 5.1 Maintaining the Non-Partial Setting . 35 5.2 Using Partiality . 36 6 Concluding Remarks 37 A Appendix: On Partitions, Partial Partitions and Partial Connections 39 B Appendix: On an Augmentation to the Theory 41 B.1 The Non-Partial Setting . 41 B.2 The Partial Setting . 43 1 1 Introduction 1.1 Outline of the Paper This paper lies within the field of complete lattices in the theory of partially ordered sets. We start by recalling some basic properties, and then consider the collection of all subsets of a given set, and recognise its proprties of a complete lattice. We then pass to the theory of math- ematical morphology1. Two themes, namely the notion of connectivity and that of a partition, are central in this work, and their definitions are quoted. We also quote the definition of a criterion, and thus arrive by the end of Section 1 at the apparatus of connective segmentation. This theory has been introduced and studied thoroughly by Serra and, among others, Ronse. Having done this, we generalise in Section 2 a theorem of Serra that characterises seg- mentation in terms of so called connective criteria, in that we replace the subset lattice (to be understood as the lattice of all subsets of a given set) by an arbitrary complete lattice. The first step is the case of viscous lattices, which are images of the subset lattice under a certain class of maps. The importance of this case is that such lattices lack several properties that hold for the subset lattice. To this end, we generalise the set-up and prove an analogue of the original theorem, thus establishing that it is, in this sense, independent of these properties. We then take the final step of generalising the set-up, now to the case of arbitrary complete lattices, and state the theorem. As the reader will see, the theorem holds in its original sense in a large sub-class of such lattices, namely atomistic lattices (defined below); however, for the most general case, we prove a weaker version, as well as present an example showing that the original version of the theorem does not generalise as far. In Section 3, we present an approach to segmentation that uses a broader notion, namely so called partial connectivity instead of connectivity. This comprises the introduction of partial partitions; indeed, it has been shown that partial connections are characterised by a class of operators on partial partitions. An important aim of Section 3 is to demonstrate, through a commutative diagram, the link between this result (obtained by Ronse) and the theorem of Serra from Section 2. This section is entirely concerned with the case of the subset lattice. Motivated by the generalisation in Section 2 and the link of Section 3, section 4 is dedicated to generalising the set-up of partial connections and partial partitions to arbitrary complete lattices. Ronse’s result is generalised as well; it holds in full strength even in the most general case, due to the notion of partial partitions. Having done this, we return in Section 5 to the commutative diagram of Section 3, aim- ing at generalising it as well. The treatment of this section consists of two parts. In the first, we generalise the diagram as faithfully as possible, whereas in the second, we use the adap- tation of Serra’s theorem into partial connections and partial partitions [4]; as we will have seen in Section 4, this adaptation generalises completely to arbitrary complete lattices. Thus we reformulate it in terms of connective criteria, and produce the commutative diagram in question. The first Appendix is dedicated to the proofs that the sets of partitions, partial partitions, and partial connections, as defined in the general setting, are all complete lattices. These 1See section 1.2 2 results underly various arguments in different sections of this work. The second appendix generalises an augmentation made in [4] to the theory of connective segmentation. 1.2 Origin of the Problems The notion of connective segmentation, introduced in Definitions 5–9 below, is a subfield of the field of mathematical morphology, which is, briefly, the study and analysis of images, using a lattice-theoretic framework. Image segmentation consists of subdividing, or segment- ing, an image into its different components, e.g. foreground and background. This is the practical application of the concepts studied below, and hopefully explains the terminology. The principle of mathematical morphology is to express the problems of image analysis in mathematical terms, using this theoretical set-up. It should be stressed that this is a paper in mathematics and hence is entirely concerned with the theoretical apparatus of mathematical morphology, in particular its algebraic parts. The applications into image analysis are outside the scope of this paper, and the interested reader is recommended to consult the appropriate literature listed in the bibliography. 1.3 Note on Terminology and Notation In the field under study, it sometimes occurs that different terminologies are used, and many notions have more than one name. The choices made in this work aim at maximising legibility and accuracy. Whenever possible, alternative terminology will be provided, in brackets, in the definitions. For more details on differences of terminology, Ronse [5] has made an extensive account. 1.4 Fundamental Conventions Throughout this paper, all sets considered, that are not explicitely stated to be subsets of other sets (i.e. all “ground sets”, usually denoted by E) are assumed to be non-empty, unless otherwise stated. Analogously, all complete lattices (to be defined below) that do not arise from a construction on other complete lattices (i.e. all “ground complete lattices”, usually denoted by L) are assumed to contain at least two different elements. 1.5 Note on the References At the formulation of Definitions 19, 24 and 26, the author was unaware of the existence of the articles [2] and [6]. Thus, those definitions were made independently of these sources, which explains the parantheses at each occurrence. The articles are however listed as references since they were, to the author’s knowledge, the first to introduce the notions of Definitions 24 and 26. 3 1.6 The Author’s Acknowledgements I am most grateful to Professor Emeritus Jean Serra for his invitation and efforts in order for this Master Thesis project to take place, as well as for being attentive to my research interests, and supervising and nourishing the work in progress with valuable remarks and ideas, and I am moreover much indebted for his warm welcoming and friendliness during the progress of the work. I would further like to express my deep gratitude to Doctor Hugues Talbot for arranging the financial support without which this work could not have been done, and for steadily and patiently being willing to help. I also wish to express my thankfulness to the entire team at ESIEE Paris among whose members I have spent a very enriching period of time. Moreover, I would like to thank Professor Christian Ronse for bringing the sources [2] and [6] to my attention. I am sincerely grateful to Professor Volodymyr Mazorchuk for undertaking the responsi- bility of examining this Master Thesis, and for offering me the possibility to give a presenta- tion at the Algebra and Geometry Seminar at Uppsala University.
Recommended publications
  • Morphological Image Processing Introduction
    Morphological Image Processing Introduction • In many areas of knowledge Morphology deals with form and structure (biology, linguistics, social studies, etc) • Mathematical Morphology deals with set theory • Sets in Mathematical Morphology represents objects in an Image 2 Mathematic Morphology • Used to extract image components that are useful in the representation and description of region shape, such as – boundaries extraction – skeletons – convex hull (italian: inviluppo convesso) – morphological filtering – thinning – pruning 3 Mathematic Morphology mathematical framework used for: • pre-processing – noise filtering, shape simplification, ... • enhancing object structure – skeletonization, convex hull... • segmentation – watershed,… • quantitative description – area, perimeter, ... 4 Z2 and Z3 • set in mathematic morphology represent objects in an image – binary image (0 = white, 1 = black) : the element of the set is the coordinates (x,y) of pixel belong to the object a Z2 • gray-scaled image : the element of the set is the coordinates (x,y) of pixel belong to the object and the gray levels a Z3 Y axis Y axis X axis Z axis X axis 5 Basic Set Operators Set operators Denotations A Subset B A ⊆ B Union of A and B C= A ∪ B Intersection of A and B C = A ∩ B Disjoint A ∩ B = ∅ c Complement of A A ={ w | w ∉ A} Difference of A and B A-B = {w | w ∈A, w ∉ B } Reflection of A Â = { w | w = -a for a ∈ A} Translation of set A by point z(z1,z2) (A)z = { c | c = a + z, for a ∈ A} 6 Basic Set Theory 7 Reflection and Translation Bˆ = {w ∈ E 2 : w
    [Show full text]
  • Lecture 5: Binary Morphology
    Lecture 5: Binary Morphology c Bryan S. Morse, Brigham Young University, 1998–2000 Last modified on January 15, 2000 at 3:00 PM Contents 5.1 What is Mathematical Morphology? ................................. 1 5.2 Image Regions as Sets ......................................... 1 5.3 Basic Binary Operations ........................................ 2 5.3.1 Dilation ............................................. 2 5.3.2 Erosion ............................................. 2 5.3.3 Duality of Dilation and Erosion ................................. 3 5.4 Some Examples of Using Dilation and Erosion . .......................... 3 5.5 Proving Properties of Mathematical Morphology .......................... 3 5.6 Hit-and-Miss .............................................. 4 5.7 Opening and Closing .......................................... 4 5.7.1 Opening ............................................. 4 5.7.2 Closing ............................................. 5 5.7.3 Properties of Opening and Closing ............................... 5 5.7.4 Applications of Opening and Closing .............................. 5 Reading SH&B, 11.1–11.3 Castleman, 18.7.1–18.7.4 5.1 What is Mathematical Morphology? “Morphology” can literally be taken to mean “doing things to shapes”. “Mathematical morphology” then, by exten- sion, means using mathematical principals to do things to shapes. 5.2 Image Regions as Sets The basis of mathematical morphology is the description of image regions as sets. For a binary image, we can consider the “on” (1) pixels to all comprise a set of values from the “universe” of pixels in the image. Throughout our discussion of mathematical morphology (or just “morphology”), when we refer to an image A, we mean the set of “on” (1) pixels in that image. The “off” (0) pixels are thus the set compliment of the set of on pixels. By Ac, we mean the compliment of A,or the off (0) pixels.
    [Show full text]
  • Hit-Or-Miss Transform
    Hit-or-miss transform • Used to extract pixels with specific neighbourhood configurations from an image • Grey scale extension exist • Uses two structure elements B1 and B2 to find a given foreground and background configuration, respectively C HMT B X={x∣B1x⊆X ,B2x⊆X } • Example: 1 Morphological Image Processing Lecture 22 (page 1) 9.4 The hit-or-miss transformation Illustration... Morphological Image Processing Lecture 22 (page 2) Objective is to find a disjoint region (set) in an image • If B denotes the set composed of X and its background, the• match/hit (or set of matches/hits) of B in A,is A B =(A X) [Ac (W X)] ¯∗ ª ∩ ª − Generalized notation: B =(B1,B2) • Set formed from elements of B associated with B1: • an object Set formed from elements of B associated with B2: • the corresponding background [Preceeding discussion: B1 = X and B2 =(W X)] − More general definition: • c A B =(A B1) [A B2] ¯∗ ª ∩ ª A B contains all the origin points at which, simulta- • ¯∗ c neously, B1 found a hit in A and B2 found a hit in A Hit-or-miss transform C HMT B X={x∣B1x⊆X ,B2x⊆X } • Can be written in terms of an intersection of two erosions: HMT X= X∩ X c B B1 B2 2 Hit-or-miss transform • Simple example usages - locate: – Isolated foreground pixels • no neighbouring foreground pixels – Foreground endpoints • one or zero neighbouring foreground pixels – Multiple foreground points • pixels having more than two neighbouring foreground pixels – Foreground contour points • pixels having at least one neighbouring background pixel 3 Hit-or-miss transform example • Locating 4-connected endpoints SEs for 4-connected endpoints Resulting Hit-or-miss transform 4 Hit-or-miss opening • Objective: keep all points that fit the SE.
    [Show full text]
  • Digital Image Processing
    Digital Image Processing Lecture # 11 Morphological Operations 1 Image Morphology 2 Introduction Morphology A branch of biology which deals with the form and structure of animals and plants Mathematical Morphology A tool for extracting image components that are useful in the representation and description of region shapes The language of mathematical morphology is Set Theory 3 Morphology: Quick Example Image after segmentation Image after segmentation and morphological processing 4 Introduction Morphological image processing describes a range of image processing techniques that deal with the shape (or morphology) of objects in an image Sets in mathematical morphology represents objects in an image. E.g. Set of all white pixels in a binary image. 5 Introduction foreground: background I(p )c I(p)0 This represents a digital image. Each square is one pixel. 6 Set Theory The set space of binary image is Z2 Each element of the set is a 2D vector whose coordinates are the (x,y) of a black (or white, depending on the convention) pixel in the image The set space of gray level image is Z3 Each element of the set is a 3D vector: (x,y) and intensity level. NOTE: Set Theory and Logical operations are covered in: Section 9.1, Chapter # 9, 2nd Edition DIP by Gonzalez Section 2.6.4, Chapter # 2, 3rd Edition DIP by Gonzalez 7 Set Theory 2 Let A be a set in Z . if a = (a1,a2) is an element of A, then we write aA If a is not an element of A, we write aA Set representation A{( a1 , a 2 ),( a 3 , a 4 )} Empty or Null set A 8 Set Theory Subset: if every element of A is also an element of another set B, the A is said to be a subset of B AB Union: The set of all elements belonging either to A, B or both CAB Intersection: The set of all elements belonging to both A and B DAB 9 Set Theory Two sets A and B are said to be disjoint or mutually exclusive if they have no common element AB Complement: The set of elements not contained in A Ac { w | w A } Difference of two sets A and B, denoted by A – B, is defined as c A B { w | w A , w B } A B i.e.
    [Show full text]
  • Chapter III: Opening, Closing
    ChapterChapter III:III: Opening,Opening, ClosingClosing Opening and Closing by adjunction Algebraic Opening and Closing Top-Hat Transformation Granulometry J. Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology III. 1 AdjunctionAdjunction OpeningOpening andand ClosingClosing The problem of an inverse operator Several different sets may admit a same erosion, or a same dilate. But among all possible inverses, there exists always a smaller one (a larger one). It is obtained by composing erosion with the adjoint dilation (or vice versa) . The mapping is called adjunction opening, structuring and is denoted by element γ Β = δΒ εΒ ( general case) XoB = [(X B) ⊕ Β] (τ-operators) Erosion By commuting the factors δΒ and εΒ we obtain the adjunction closing ϕ ==εε δ ? Β Β Β (general case), X•Β = [X ⊕ Β) B] (τ-operators). ( These operators, due to G. Matheron are sometimes called morphological) J. Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology III. 2 PropertiesProperties ofof AdjunctionAdjunction OpeningOpening andand ClosingClosing Increasingness Adjunction opening and closing are increasing as products of increasing operations. (Anti-)extensivity By doing Y= δΒ(X), and then X = εΒ(Y) in adjunction δΒ(X) ⊆ Y ⇔ X ⊆ εΒ(Y) , we see that: δ ε ε δ ε (δ ε ) ε (ε δ )ε εεΒ δδΒ εεΒ ==ε==εεεΒ δΒΒ εΒΒ(X)(X) ⊆ ⊆XX ⊆⊆ εΒΒ δΒΒ (X) (X) hence Β Β Β ⊆ Β ⊆ Β Β Β⇒ Β Β Β Β Idempotence The erosion of the opening equals the erosion of the set itself. This results in the idempotence of γ Β and of ϕΒ : γ γ = γ γΒΒ γΒΒ = γΒΒand,and, εΒ (δΒ εΒ) = εΒ ⇒ δΒ εΒ (δΒ εΒ) = δΒ εΒ i.e.
    [Show full text]
  • Grayscale Mathematical Morphology Václav Hlaváč
    Grayscale mathematical morphology Václav Hlaváč Czech Technical University in Prague Czech Institute of Informatics, Robotics and Cybernetics 160 00 Prague 6, Jugoslávských partyzánů 1580/3, Czech Republic http://people.ciirc.cvut.cz/hlavac, [email protected] also Center for Machine Perception, http://cmp.felk.cvut.cz Courtesy: Petr Matula, Petr Kodl, Jean Serra, Miroslav Svoboda Outline of the talk: Set-function equivalence. Top-hat transform. Umbra and top of a set. Geodesic method. Ultimate erosion. Gray scale dilation, erosion. Morphological reconstruction. A quick informal explanation 2/42 Grayscale mathematical morphology is the generalization of binary morphology for images with more gray levels than two or with voxels. 3 The point set A ∈ E . The first two coordinates span in the function (point set) domain and the third coordinate corresponds to the function value. The concepts supremum ∨ (also the least upper bound), resp. infimum ∧ (also the greatest lower bound) play a key role here. Actually, the related operators max, resp. min, are used in computations with finite sets. Erosion (resp. dilation) of the image (with the flat structuring) element assigns to each pixel the minimal (resp. maximal) value in the chosen neighborhood of the current pixel of the input image. The structuring element (function) is a function of two variables. It influences how pixels in the neighborhood of the current pixel are taken into account. The value of the (non-flat) structuring element is added (while dilating), resp. subtracted (while eroding) when the maximum, resp. minimum is calculated in the neighborhood. Grayscale mathematical morphology explained via binary morphology 3/42 It is possible to introduce grayscale mathematical morphology using the already explained binary (black and white only) mathematical morphology.
    [Show full text]
  • Computer Vision – A
    CS4495 Computer Vision – A. Bobick Morphology CS 4495 Computer Vision Binary images and Morphology Aaron Bobick School of Interactive Computing CS4495 Computer Vision – A. Bobick Morphology Administrivia • PS7 – read about it on Piazza • PS5 – grades are out. • Final – Dec 9 • Study guide will be out by Thursday hopefully sooner. CS4495 Computer Vision – A. Bobick Morphology Binary Image Analysis Operations that produce or process binary images, typically 0’s and 1’s • 0 represents background • 1 represents foreground 00010010001000 00011110001000 00010010001000 Slides: Linda Shapiro CS4495 Computer Vision – A. Bobick Morphology Binary Image Analysis Used in a number of practical applications • Part inspection • Manufacturing • Document processing CS4495 Computer Vision – A. Bobick Morphology What kinds of operations? • Separate objects from background and from one another • Aggregate pixels for each object • Compute features for each object CS4495 Computer Vision – A. Bobick Morphology Example: Red blood cell image • Many blood cells are separate objects • Many touch – bad! • Salt and pepper noise from thresholding • How useable is this data? CS4495 Computer Vision – A. Bobick Morphology Results of analysis • 63 separate objects detected • Single cells have area about 50 • Noise spots • Gobs of cells CS4495 Computer Vision – A. Bobick Morphology Useful Operations • Thresholding a gray-scale image • Determining good thresholds • Connected components analysis • Binary mathematical morphology • All sorts of feature extractors, statistics (area, centroid, circularity, …) CS4495 Computer Vision – A. Bobick Morphology Thresholding • Background is black • Healthy cherry is bright • Bruise is medium dark • Histogram shows two cherry regions (black background has been removed) Pixel counts Pixel 0 Grayscale values 255 CS4495 Computer Vision – A. Bobick Morphology Histogram-Directed Thresholding • How can we use a histogram to separate an image into 2 (or several) different regions? Is there a single clear threshold? 2? 3? CS4495 Computer Vision – A.
    [Show full text]
  • Morphological Operations on Matrix-Valued Images
    Morphological Operations on Matrix-Valued Images Bernhard Burgeth, Martin Welk, Christian Feddern, and Joachim Weickert Mathematical Image Analysis Group Faculty of Mathematics and Computer Science, Bldg. 27 Saarland University, 66041 Saarbruc¨ ken, Germany burgeth,welk,feddern,weickert @mia.uni-saarland.de f g http://www.mia.uni-saarland.de Abstract. The output of modern imaging techniques such as diffusion tensor MRI or the physical measurement of anisotropic behaviour in materials such as the stress-tensor consists of tensor-valued data. Hence adequate image processing methods for shape analysis, skeletonisation, denoising and segmentation are in demand. The goal of this paper is to extend the morphological operations of dilation, erosion, opening and closing to the matrix-valued setting. We show that naive approaches such as componentwise application of scalar morphological operations are unsatisfactory, since they violate elementary requirements such as invariance under rotation. This lead us to study an analytic and a geo- metric alternative which are rotation invariant. Both methods introduce novel non-component-wise definitions of a supremum and an infimum of a finite set of matrices. The resulting morphological operations incorpo- rate information from all matrix channels simultaneously and preserve positive definiteness of the matrix field. Their properties and their per- formance are illustrated by experiments on diffusion tensor MRI data. Keywords: mathematical morphology, dilation, erosion, matrix-valued imaging, DT-MRI 1 Introduction Modern data and image processing encompasses more and more the analysis and processing of matrix-valued data. For instance, diffusion tensor magnetic reso- nance imaging (DT-MRI), a novel medical image acquisition technique, measures the diffusion properties of water molecules in tissue.
    [Show full text]
  • Minimal Representations for Translation-Invariant Set
    Minimal Representations for Translation-Invariant Set Mappings by Mathematical Morphology Author(s): Gerald Jean Francis Banon and Junior Barrera Source: SIAM Journal on Applied Mathematics, Vol. 51, No. 6 (Dec., 1991), pp. 1782-1798 Published by: Society for Industrial and Applied Mathematics Stable URL: http://www.jstor.org/stable/2102371 . Accessed: 02/04/2013 13:46 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Society for Industrial and Applied Mathematics is collaborating with JSTOR to digitize, preserve and extend access to SIAM Journal on Applied Mathematics. http://www.jstor.org This content downloaded from 200.130.19.189 on Tue, 2 Apr 2013 13:46:44 PM All use subject to JSTOR Terms and Conditions SIAM J. APPL. MATH. ? 1991 Society for Industrial and Applied Mathematics Vol. 51, No. 6, pp. 1782-1798, December 1991 018 MINIMAL REPRESENTATIONS FOR TRANSLATION-INVARIANT SET MAPPINGS BY MATHEMATICAL MORPHOLOGY* GERALD JEAN FRANCIS BANONt AND JUNIOR BARRERAt Abstract. In his 1975 book, Matheron introduced a pair of dual representations, written in terms of erosions and dilations, for increasing translation invariant set mappings, using the concept of a kernel. Based on hit-miss topology, Maragos, in his 1985 Ph.D.
    [Show full text]
  • Applications of Set Theory in Digital Image Processing-IJAERD
    e-ISSN (O): 2348-4470 Scientific Journal of Impact Factor (SJIF): 4.72 p-ISSN (P): 2348-6406 International Journal of Advance Engineering and Research Development Volume 4, Issue 11, November -2017 Applications of Set Theory in Digital Image Processing Suresha M Department of Computer Science, Kuvempu University, Karnataka, India. Abstract: Set Theory is an important language and tool in digital image processing. It has fundamental ideas in computer science from theory to practice. Many ideas and methodologies in computer science are inspired by set theory. One among those ideas, morphological image processing is the application of set theory. Basic morphological algorithms and application in finger print identification has been discussed in this chapter. Keywords: Set Theory, Morphological Operations, Finger Print, Recognition. 1. Morphological Image Processing The word morphology commonly denotes a branch of biology that deals with the form and structure of animals and plants. The same word here in the context of mathematical morphology as a tool for extracting image components. Here explained and illustrated several important concepts in mathematical morphology. Many of the ideas introduced here can be formulated in terms of n-dimensional Euclidean space, En. However, here discussing on binary images (Refer Appendix I for image types) whose elements are elements of Z2. The language of mathematical morphology is a set theory. As such, morphology offers a unified and powerful approach to numerous image processing problems. Sets in mathematical morphology represent objects in an image. For example, the set of all white pixels in a binary image is a complete morphological description of the image.
    [Show full text]
  • Generation of Fuzzy Mathematical Morphologies
    CORE Metadata, citation and similar papers at core.ac.uk Provided by UPCommons. Portal del coneixement obert de la UPC Mathware & Soft Computing 8 (2001) 31-46 Generation of Fuzzy Mathematical Morphologies P. Burillo 1, N. Frago 2, R. Fuentes 1 1 Dpto. Automática y Computatión - 2 Dpto Matemática e Informática. Univ. Pública Navarra Campus de Arrosadía 31006 Pamplona, Navarra. {pburillo, noe.frago, rfuentes}@unavarra.es Abstract Fuzzy Mathematical Morphology aims to extend the binary morphological operators to grey-level images. In order to define the basic morphological operations fuzzy erosion, dilation, opening and closing, we introduce a general method based upon fuzzy implication and inclusion grade operators, including as particular case, other ones existing in related literature In the definition of fuzzy erosion and dilation we use several fuzzy implications (Annexe A, Table of fuzzy implications), the paper includes a study on their practical effects on digital image processing. We also present some graphic examples of erosion and dilation with three different structuring elements B(i,j)=1, B(i,j)=0.7, B(i,j)=0.4, i,j∈{1,2,3} and various fuzzy implications. Keywords: Fuzzy Mathematical Morphology, Inclusion Grades, Erosion and Dilation. 1 Introduction Mathematical morphology provides a set of operations to process and analyse images and signals based on shape features. These morphological transformations are based upon the intuitive notion of “fitting” a structuring element. It involves the study of the different ways in which a structuring element interacts with the image under study, modifies its shape, measures and reduces it to one other image, which is more expressive than the initial one.
    [Show full text]
  • International Journal of Advance Engineering and Research Development Volume 1, Issue 12, December -2014
    Scientific Journal of Impact Factor (SJIF): 3.134 ISSN (Online): 2348-4470 ISSN (Print) : 2348-6406 International Journal of Advance Engineering and Research Development Volume 1, Issue 12, December -2014 A Survey Report on Hit-or-Miss Transformation Wala Riddhi Ashokbhai1 Department of Computer Engineering, Darshan Institute of Engineering and Technology, Rajkot, Gujarat, India [email protected] Abstract- Hit or miss is a field of morphological digital image processing which is basically used to detect shape of regular as well as irregular objects. Initially, it was defined for binary images, as a morphological approach to the problem of template matching, but can be extended for gray scale images. For gray-scale it has been debatable, leading to multiple definitions that have been only recently unified by means of a similar theoretical foundation. Various structuring elements are used which are disjoint by nature in order to determine the output. Many authors have proposed newer versions of the original binary HMT so that it can be applied to gray-scale data. Hit or miss transformation operation takes a binary image as input and a kernel (also known as structuring element), and the result is another binary image as output. Main motive of this survey is to use Hit-or-miss transformation in order to detect various features in a given image. Keywords-Hit-and-Miss transform, Hit-or-miss transformation, Morphological image technology, digital image processing, HMT I. INTRODUCTION The hit-or-miss transform (HMT) is a powerful morphological technique that was among the initial morphological transforms developed by Serra (1982) and Matheron (1975).
    [Show full text]