Az Iverson-operátor a számítógépes látás területén a képek éleinek észlelésére szolgáló operátor. Lee Iverson [1] és Steven Zucker [2] fejlesztette ki . A módszer leírása először az 1995. októberi IEEE Transactions on Pattern Analysis and Machine Intelligence-ben jelent meg [3] .
Ennek a módszernek az volt a célja, hogy javítsa a meglévő lineáris operátorok határfelismerési teljesítményét azáltal, hogy logikai ellenőrzéseket ad hozzá a határ meglétére. Ez lehetővé tette a hibásan felismert vonalak számának csökkentését az érzékenység elvesztése nélkül.
Az algoritmus fő előnye a hamis pozitív válaszok számának jelentős csökkenése (a nem létező határok felismerése) a korábban létező algoritmusokhoz képest.
Ezenkívül az Iverson operátor lehetővé teszi, hogy világosan megkülönböztessen 3 típusú határt:
Ez az algoritmus az úgynevezett logikai/lineáris operátorok családján alapul , amelyek egyesítik a lineáris operátorok elméletét és a logikai algebrát . Az ezekben az állításokban szereplő vizsgálati feltételek 2 különböző osztályba sorolhatók:
A kétdimenziós logikai / lineáris operátor általános formája a következő:
Ahol a helyi ortonormális koordinátarendszer. Ez az operátor két egydimenziós logikai/lineáris operátor derékszögű szorzata. Az operátor (tangenciális operátor) a vizsgált határ folytonosságát, az operátor (normál operátor) pedig a határ meglétét ellenőrzi, ahol az index a figyelembe vett határ típusát határozza meg:
Az operátor mindhárom szegélytípusnál azonos.
A könnyű vonalak normál operátorának formája a következő:
Sötét vonalak esetén az operátor kifejezései teljesen ellentétes jelentést kapnak:
Az élek normál operátora:
A tangenciális operátor , amely a határ folytonosságát ellenőrzi, a következő alakú:
A fenti logikai/lineáris normális operátorok lineáris komponensei a Gauss -féle deriváltjait használó forma kifejezései , ahol a megfelelő derivált sorrendjét jelzi, és a bal oldalon a deriváltot, a jobb oldalon a deriváltot vagy a deriváltot adott pont.
Lineáris komponensek a következő értékekhez és vegyék fel ezeket:
Lineáris alkatrészek a következőhöz:
Az operátorok lineáris komponenseinek konvolúcióját használva a kép bemeneti jelének függvényével az Iverson algoritmus lehetővé teszi, hogy ellenőrizze a helyi feltételeket a határok meglétére a kép egy bizonyos területén.