TU Darmstadt / ULB / TUbiblio

Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren

Holderbaum, Michael (2007)
Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Kurzbeschreibung (Abstract)

In der vorliegenden Dissertation werden systematisch verschiedene Aspekte der Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren untersucht. In der Theorie morphologischer Bildoperatoren, die in der Monographie Morphological Image Operators von Henk Heijmans umfangreich dargestellt ist, werden binäre Bilder als Teilmengen einer Grundmenge modelliert. Ausgangspunkt ist daher die Diskretisierung dieser Grundmenge, von der angenommen wird, dass sie ein lokalkompakter Hausdorffraum ist. Eine Methode zur Diskretisierung eines solchen Raumes durch lokalendliche geordnete Mengen (die auch als T0-Räume betrachtet werden können) wird für geeignete Räume vorgestellt, welche die parakompakten und damit die metrischen Räume einschließen. Dabei approximiert dann das System von Diskretisierungen den Ausgangsraum in dem Sinne, dass dieser ein Retrakt des inversen Limes besagten Systems ist. Aus der genannten Methode wird eine Möglichkeit zur Diskretisierung und Approximation binärer Bilder abgeleitet, die als abgeschlossene Teilmengen der Grundmenge modelliert werden. Dies wiederum eröffnet eine Möglichkeit zur Diskretisierung und Approximation Scott-stetiger Binärbild-Operatoren. Grauwertbilder werden in der Theorie morphologischer Bildoperatoren als Abbildungen des Grundraums in einen vollständigen Verband von Grauwerten modelliert. Im Falle eines stark zulässigen Grauwert-Verbandes sind Ergebnisse zum Liften von Binärbild-Operatoren auf Grauwertbilder mittels Schwellenwert-Mengen bekannt. Es gibt jedoch kaum Erkenntnisse zu stark zulässige Verbänden selbst. Daher werden sie in der vorliegenden Arbeit genauer beleuchtet, wobei auch eine Charakterisierung für den endlichen Fall vorgestellt wird. Daraus ergibt sich die Vermutung, dass es sich bei stark zulässigen Verbänden beinahe um Ketten handelt. Ferner wird dargelegt, dass der Begriff des „zulässigen Verbandes“ mit dem des „vollständig distributiven Verbandes“ übereinstimmt und dass vollständig distributive Verbände eine geeignetere Voraussetzung darstellen, da sie Erweiterungen der bekannten Ergebnisse gestatten. Anschließend wird mit Hilfe von Schwellenwert-Mengen eine Diskretisierung und Approximation von Grauwertbildern aus derjenigen für Binärbilder hergeleitet. Erneut liefert das eine Möglichkeit zur Diskretisierung und Approximation Scott-stetiger Bildoperatoren – diesmal auf Grauwertbildern. Zudem wird eine Diskretisierung und Approximation von Grauwertbildern für den Fall vorgestellt, dass der Verband der Grauwerte anstelle des Grundraums diskretisiert wird. Abschließend wird die Möglichkeit betrachtet, Grauwertbilder durch Massenverteilungen zu modellieren. Hierbei werden stetige Bewertungen verwendet, die aus der Bereichstheorie bekannt sind. Es wird aufgezeigt, wie sich eine Diskretisierung und Approximation von stetigen Bewertungen aus derjenigen des Grundraums ableiten lässt.

Typ des Eintrags: Dissertation
Erschienen: 2007
Autor(en): Holderbaum, Michael
Art des Eintrags: Erstveröffentlichung
Titel: Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren
Sprache: Deutsch
Referenten: Keimel, Prof. Dr. Klaus ; Streicher, Prof. Dr. Thomas
Berater: Keimel, Prof. Dr. Klaus
Publikationsjahr: 16 März 2007
Ort: Darmstadt
Verlag: Technische Universität
Datum der mündlichen Prüfung: 12 Januar 2007
URL / URN: urn:nbn:de:tuda-tuprints-7989
Kurzbeschreibung (Abstract):

In der vorliegenden Dissertation werden systematisch verschiedene Aspekte der Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren untersucht. In der Theorie morphologischer Bildoperatoren, die in der Monographie Morphological Image Operators von Henk Heijmans umfangreich dargestellt ist, werden binäre Bilder als Teilmengen einer Grundmenge modelliert. Ausgangspunkt ist daher die Diskretisierung dieser Grundmenge, von der angenommen wird, dass sie ein lokalkompakter Hausdorffraum ist. Eine Methode zur Diskretisierung eines solchen Raumes durch lokalendliche geordnete Mengen (die auch als T0-Räume betrachtet werden können) wird für geeignete Räume vorgestellt, welche die parakompakten und damit die metrischen Räume einschließen. Dabei approximiert dann das System von Diskretisierungen den Ausgangsraum in dem Sinne, dass dieser ein Retrakt des inversen Limes besagten Systems ist. Aus der genannten Methode wird eine Möglichkeit zur Diskretisierung und Approximation binärer Bilder abgeleitet, die als abgeschlossene Teilmengen der Grundmenge modelliert werden. Dies wiederum eröffnet eine Möglichkeit zur Diskretisierung und Approximation Scott-stetiger Binärbild-Operatoren. Grauwertbilder werden in der Theorie morphologischer Bildoperatoren als Abbildungen des Grundraums in einen vollständigen Verband von Grauwerten modelliert. Im Falle eines stark zulässigen Grauwert-Verbandes sind Ergebnisse zum Liften von Binärbild-Operatoren auf Grauwertbilder mittels Schwellenwert-Mengen bekannt. Es gibt jedoch kaum Erkenntnisse zu stark zulässige Verbänden selbst. Daher werden sie in der vorliegenden Arbeit genauer beleuchtet, wobei auch eine Charakterisierung für den endlichen Fall vorgestellt wird. Daraus ergibt sich die Vermutung, dass es sich bei stark zulässigen Verbänden beinahe um Ketten handelt. Ferner wird dargelegt, dass der Begriff des „zulässigen Verbandes“ mit dem des „vollständig distributiven Verbandes“ übereinstimmt und dass vollständig distributive Verbände eine geeignetere Voraussetzung darstellen, da sie Erweiterungen der bekannten Ergebnisse gestatten. Anschließend wird mit Hilfe von Schwellenwert-Mengen eine Diskretisierung und Approximation von Grauwertbildern aus derjenigen für Binärbilder hergeleitet. Erneut liefert das eine Möglichkeit zur Diskretisierung und Approximation Scott-stetiger Bildoperatoren – diesmal auf Grauwertbildern. Zudem wird eine Diskretisierung und Approximation von Grauwertbildern für den Fall vorgestellt, dass der Verband der Grauwerte anstelle des Grundraums diskretisiert wird. Abschließend wird die Möglichkeit betrachtet, Grauwertbilder durch Massenverteilungen zu modellieren. Hierbei werden stetige Bewertungen verwendet, die aus der Bereichstheorie bekannt sind. Es wird aufgezeigt, wie sich eine Diskretisierung und Approximation von stetigen Bewertungen aus derjenigen des Grundraums ableiten lässt.

Alternatives oder übersetztes Abstract:
Alternatives AbstractSprache

In the present thesis various aspects concerning discretisation and approximation of images and morphological image operators are systematically investigated. Binary images in the context of morphological image operators, which is considerably presented in the monograph Morphological Image Operators by Henk Heijmans, are modelled as subsets of a basic set. Thus the starting point is the discretisation of this basic set which will be assumed to be a locally compact Hausdorff space. A method to discretize such a space by locally finite ordered sets (that can also be viewed as T0-spaces) is presented for suitable spaces including paracompact thus metric spaces. There the notion of the considered space being approximated by its discretisations is given by the fact that it is a retract of the inverse limit of its system of discretisations. A way to discretize and approximate binary images which are modelled as closed subsets of the basic set is then derived from the mentioned method. That in turn leads to a way to discretize and approximate Scott-continuous image operators for binary images. Greyscale images in the context of morphological image operators are modelled as mappings from the basic set to a complete lattice of grey-values. In case of a strongly admissible grey-value lattice there are known results about lifting binary image operators to greyscale image operators by means of threshold-sets. However, little is yet known about strongly admissible lattices in general. They are therefore studied more precisely in the present work where in particular a characterization for the finite case is given. This leads to the assumption that these lattices are nearly chains. It is further shown that the terms “admissible lattice” and “completely distributive lattice” agree and that completely distributive lattices are more appropriate as they allow extensions of the known results. Next, threshold-sets are used in this work to derive a discretisation and approximation of greyscale images from the already mentioned discretisation of binary images. Again a discretisation and approximation of Scott-continuous operators can be achieved, this time for greyscale images. Moreover a discretisation and approximation of greyscale images is shown in the case that the grey-value lattice is discretized instead of the basic set. Finally, the possibility to model greyscale images by mass distributions is considered. At this, continuous valuations are used that are known from domain theory. It is shown that a discretisation and approximation of continuous valuations can be derived from that of the basic set.

Englisch
Freie Schlagworte: lokalkompakter Hausdorffraum, binäres Bild, Grauwertbild, morphologischer Bildoperator, Adjunktion, Hit-or-Miss-Topologie, vollständiger Verband, vollständig distributiver Verband, stetige Bewertung
Schlagworte:
Einzelne SchlagworteSprache
locally compact Hausdorff space, binary image, greyscale image, morphological image operator, adjunction, hit-or-miss-topology, complete lattice, completely distributive lattice, continuous valuationEnglisch
Sachgruppe der Dewey Dezimalklassifikatin (DDC): 500 Naturwissenschaften und Mathematik > 510 Mathematik
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 17 Okt 2008 09:22
Letzte Änderung: 26 Aug 2018 21:25
PPN:
Referenten: Keimel, Prof. Dr. Klaus ; Streicher, Prof. Dr. Thomas
Datum der mündlichen Prüfung / Verteidigung / mdl. Prüfung: 12 Januar 2007
Schlagworte:
Einzelne SchlagworteSprache
locally compact Hausdorff space, binary image, greyscale image, morphological image operator, adjunction, hit-or-miss-topology, complete lattice, completely distributive lattice, continuous valuationEnglisch
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen