Θεμελιώδης πίνακας (υπολογιστική όραση)

Στην υπολογιστική όραση, ο **θεμελιώδης πίνακας**  \mathbf{F}  είναι ένας πίνακας 3×3 που συσχετίζει αντίστοιχα σημεία σε στερεοφωνικές εικόνες. Στην επιπολική γεωμετρία, με ομοιογενείς συντεταγμένες εικόνας, **x** και **x**′, των αντίστοιχων σημείων σε ένα ζεύγος στερεοφωνικών εικόνων, ο **Fx** περιγράφει μια γραμμή (επιπολική γραμμή) στην οποία πρέπει να βρίσκεται το αντίστοιχο σημείο **x**′ στην άλλη εικόνα. Αυτό σημαίνει ότι, για όλα τα ζεύγη αντίστοιχων σημείων ισχύει 

:  \mathbf{x}'^{\top}  \mathbf{F x} = 0. 

Καθώς είναι δεύτερης τάξης και προσδιορίζεται μόνο μέχρι την κλίμακα, ο θεμελιώδης πίνακας μπορεί να εκτιμηθεί δεδομένου ότι υπάρχουν τουλάχιστον επτά αντιστοιχίες σημείων. Οι επτά παράμετροί του αντιπροσωπεύουν τις μόνες γεωμετρικές πληροφορίες για τις κάμερες που μπορούν να ληφθούν μόνο μέσω των αντιστοιχιών σημείων.

Ο όρος «θεμελιώδης πίνακας» επινοήθηκε από τον ΚΤ Λουόνγκ (QT Luong) στη σημαντική διδακτορική του διατριβή. Μερικές φορές αναφέρεται επίσης ως «διεστιακός τανυστής». Ως τανυστής είναι ένας τανυστής δύο σημείων, δεδομένου ότι είναι μια διγραμμική μορφή που συσχετίζει σημεία σε διαφορετικά συστήματα συντεταγμένων.

Η παραπάνω σχέση που ορίζει τον θεμελιώδη πίνακα δημοσιεύθηκε το 1992 από τους Ολιβιέ Φοζεράς και Ρίτσαρντ Χάρτλεϊ. Αν και ο ουσιώδης πίνακας του H. Κρίστοφερ Λονγκέ-Χίγκινς ικανοποιεί μια παρόμοια σχέση, ο ουσιώδης πίνακας είναι ένα μετρικό αντικείμενο που αφορά βαθμονομημένες κάμερες, ενώ ο θεμελιώδης πίνακας περιγράφει την αντιστοιχία με πιο γενικούς και θεμελιώδεις όρους της προβολικής γεωμετρίας. Αυτό αποτυπώνεται μαθηματικά από τη σχέση μεταξύ ενός θεμελιώδους πίνακα \mathbf{F} και του αντίστοιχου βασικού πίνακα \mathbf{E}, η οποία είναι 

:  \mathbf{E} = ({\mathbf{K}'})^{\top} \; \mathbf{F} \; \mathbf{K} 
\mathbf{K} και \mathbf{K}' είναι η εγγενής βαθμονόμηση
πίνακες των δύο εμπλεκόμενων εικόνων.

## Εισαγωγή

Ο θεμελιώδης πίνακας είναι μια σχέση μεταξύ δύο οποιωνδήποτε εικόνων της ίδιας σκηνής που περιορίζει πού μπορεί να εμφανιστεί η προβολή σημείων από τη σκηνή και στις δύο εικόνες. Δεδομένης της προβολής ενός σημείου της σκηνής σε μια από τις εικόνες, το αντίστοιχο σημείο στην άλλη εικόνα περιορίζεται σε μια γραμμή, βοηθώντας την αναζήτηση και επιτρέποντας την ανίχνευση λανθασμένων αντιστοιχιών.  Η σχέση μεταξύ των αντίστοιχων σημείων, που αντιπροσωπεύεται από τον θεμελιώδη πίνακα, ονομάζεται επιπολικός περιορισμός, περιορισμός αντιστοιχίας, περιορισμός διακριτής αντιστοιχίας ή σχέση πρόσπτωσης.

## Θεώρημα προβολικής ανακατασκευής

Ο θεμελιώδης πίνακας μπορεί να προσδιοριστεί από ένα σύνολο αντιστοιχιών σημείων. Επιπλέον, αυτά τα αντίστοιχα σημεία της εικόνας μπορούν να τριγωνοποιηθούν σε σημεία του κόσμου με τη βοήθεια μητρών κάμερας που προκύπτουν απευθείας από αυτόν τον θεμελιώδη πίνακα. Η σκηνή που αποτελείται από αυτά τα κοσμικά σημεία βρίσκεται εντός ενός προβολικού μετασχηματισμού της πραγματικής σκηνής.

### Απόδειξη
Ας υποθέσουμε ότι η αντιστοιχία σημείων εικόνας \mathbf{x} \leftrightarrow \mathbf{x'} προκύπτει από το κοσμικό σημείο \textbf{X} υπό τους πίνακες της κάμερας \left ( \textbf{P}, \textbf{P}' \right ) ως εξής

:
\begin{align}
\mathbf{x} & = \textbf{P} \textbf{X} \\
\mathbf{x'} & = \textbf{P}' \textbf{X}
\end{align}


Ας πούμε ότι μετατρέπουμε το χώρο με ένα γενικό πίνακα ομοιογραφίας \textbf{H}_{4 \times 4} έτσι ώστε \textbf{X}_0 = \textbf{H} \textbf{X}.

Οι κάμερες στη συνέχεια μετασχηματίζονται ως εξής

:
\begin{align}
\textbf{P}_0 & = \textbf{P} \textbf{H}^{-1} \\
\textbf{P}_0' & = \textbf{P}' \textbf{H}^{-1} 
\end{align}


:\textbf{P}_0 \textbf{X}_0 = \textbf{P} \textbf{H}^{-1} \textbf{H} \textbf{X} = \textbf{P} \textbf{X} = \mathbf{x} και ομοίως με \textbf{P}_0' εξακολουθούν να μας δίνουν τα ίδια σημεία εικόνας.

## Παραγωγή του θεμελιώδους πίνακα με χρήση της συνθήκης συνεπιπεδότητας
Ο θεμελιώδης πίνακας μπορεί επίσης να προκύψει χρησιμοποιώντας τη συνθήκη συνεπιπεδότητας.

## Για δορυφορικές εικόνες
Ο θεμελιώδης πίνακας εκφράζει την επιπολική γεωμετρία στις στερεοφωνικές εικόνες. Η επιπολική γεωμετρία στις εικόνες που λαμβάνονται με προοπτικές κάμερες εμφανίζεται ως ευθείες γραμμές. Ωστόσο, στις δορυφορικές εικόνες, η εικόνα σχηματίζεται κατά τη διάρκεια της κίνησης του αισθητήρα κατά μήκος της τροχιάς του (αισθητήρας ώθησης). Ως εκ τούτου, υπάρχουν πολλαπλά κέντρα προβολής για μια σκηνή εικόνας και η επιπολική γραμμή σχηματίζεται ως επιπολική καμπύλη. Εντούτοις, σε ειδικές συνθήκες, όπως μικρά πλακίδια εικόνας, οι δορυφορικές εικόνες θα μπορούσαν να διορθωθούν με τη χρήση του θεμελιώδους πίνακα.

## Ιδιότητες

Ο θεμελιώδης πίνακας είναι βαθμού 2. Ο πυρήνας του ορίζει το επίπολο.

## Δημοσιεύσεις

* 

* 

*

*

* 

*

*
*

* 

*

*

*

*

*

*

## Δείτε επίσης

* Field Arithmetic
* Πραγματικό προβολικό επίπεδο
* Μιγαδικός αριθμός 
* Αντιερμιτιανός πίνακας
* Μέγιστος κοινός διαιρέτης
* Υπολογιστική βιολογία
* Ελάσσων (γραμμική άλγεβρα)
* Προβολή (γραμμική άλγεβρα)
* Συμμετρικός πίνακας
* Άλγεβρα Μπουλ
* Πολλαπλασιασμός πινάκων
* Επαναλαμβανόμενη συνάρτηση
* Ιδιοτιμές και ιδιοδιανύσματα
* Πεπερασμένο σώμα
* Θεωρία πιθανοτήτων
* High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form

## Εξωτερικοί σύνδεσμοι

*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
*Matrix calculator
* Matrix Analysis
* Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
* Foundation Mathematics for Computer Science: A Visual Approach
* Multidimensional Statistical Analysis and Theory of Random Matrices ...
* Quantum Probability and Spectral Analysis of Graphs.
* Symplectic Methods in Harmonic Analysis and in Mathematical Physics...
* Computer Analysis of Images and Patterns: 16th International Conference ...
* Matrix Algebra: Theory, Computations, and Applications in Statistics ..
* Geometric Computing with Clifford Algebras: Theoretical Foundations and .....
*  Visual Control of Wheeled Mobile Robots: Unifying Vision and Control in ...

## Παραπομπές

* Epipolar Geometry and the Fundamental Matrix (chapter from Hartley &amp; Zisserman)
* Visualization of epipolar geometry (originally by Sylvain Bougnoux of INRIA Robotvis, requires Java)
* The Fundamental Matrix Song Video demonstrating laws of epipolar geometry.
* 

 

Κατηγορία:Αριθμητική γραμμική άλγεβρα
Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Θεωρήματα της γραμμικής άλγεβρας
Κατηγορία:Πίνακες (μαθηματικά)
Κατηγορία:Θεωρία πινάκων
Κατηγορία:Μηχανική όραση