Abstract:
The invention provides methods and systems for performing a matching function between a first pattern and a second pattern. This technique involves creating a set of all distance measurements between pairs of points in the first pattern and all distance measurements between pairs of points in the second pattern. This set is then partitioned into subsets of nearly equal distance elements. Those subsets containing at least one element derived from each pattern determine possible line segment matches which are then analyzed mathematically to determine the partial transform that maps the associated points of the first pattern into the points of the second pattern. The resulting set of partial transforms is then reviewed to determine matched line segments between the two patterns.

Description:
CROSS-REFERENCE TO RELATED APPLICATIONS 
   This application claims priority to U.S. Provisional Application No. 60/499,194, filed Aug. 29, 2003, the entire contents and substance of which are hereby incorporated in total by reference. 

   STATEMENT OF GOVERNMENTAL INTEREST 
   This invention was made with Government support under Contract No. N00024-98-D-8124 awarded by the Department of the Navy. The Government has certain rights in the invention. 

   FIELD OF THE INVENTION 
   The present invention relates to a pattern matching method; in particular, a method for matching these patterns by mathematically correlating sets of object state vectors contained in the respective patterns. 
   BACKGROUND OF THE INVENTION 
   Many pattern matching problems can be formulated in terms of finding similar distributions in two point sets. For instance, in star tracking a library template is matched to the star detections on a sensor&#39;s focal plane to establish spacecraft attitude. In various other pattern matching applications where such discrete points are not directly obtained, feature points of the input patterns are first obtained using well-known prior art techniques. One example of which is fingerprint identification, where minutia points are derived from a latent fingerprint. These minutia points are then used to attempt a match of the latent fingerprint with a file print. 
   Not all comparisons are performed against a stored template. Numerous applications require that a match be performed between patterns obtained by separate system sensors thereby increasing problems associated with measurement errors. By way of example, in tracking and surveillance applications, point-set matching, or correlation, is critical to determining whether multiple sensors are seeing the same objects. A common technique for correlating two point sets is least-cost assignment, such as the Munkres or Jonker-Vollgenant-Castenanon algorithm. With this approach, the cost of associating pairs of points, one from each set, is either the Euclidean or Mahalanobis distance (χ 2 -statistic). Thus, the best correlation solution is one that minimizes the sum of the distances between associated pairs. 
   This approach works well in many cases and can be applied if the sets consist of unequal numbers of points. However, there are serious limitations. It is necessary to first estimate the bias or offset between the two sets, substantially increasing the algorithm&#39;s complexity—especially if the bias has a rotation component. For example, aligning reconnaissance photos usually requires translations and rotation, and possibly scaling. Typically, such prior art algorithms also force each point in the smaller set to correlate with some point in the larger set. These forced associations may not be valid. For instance, there is no guarantee that two sensors surveying the same region will detect the same objects. Another limitation with many correlation algorithms is their limited ability to handle errors in estimating an object&#39;s location. As a consequence correlated points may not align exactly. Finally, multiple alignments may exist, indicating a degree of ambiguity that could cast suspicion on the validity of any single solution. In the extreme, any two points could be correlated if the allowable error is large enough. Further, since a typical least-cost assignment algorithm will stop with the first solution it finds, the user may never suspect the poor quality of the correlation. This is particularly critical in coordinated surveillance systems where tracks from multiple sensors must be associated with a high degree of reliability. 
   The Distance-Sort algorithm of the present invention circumvents these limitations. With the present invention bias estimation is a consequence of the correlation solution and not a necessary first step. The present invention&#39;s Distance-Sort is robust to missing data and sensor errors, finding all the possible alignments given the allowable error. 
   SUMMARY OF THE INVENTION 
   The present invention uses a distance sorting technique to perform a matching function between a first pattern and a second pattern. In one embodiment of the invention this technique involves creating a set of all distance measurements between pairs of points in the first pattern and all distance measurements between pairs of points in the second pattern. This set is then partitioned into subsets of nearly equal distance elements. Those subsets containing at least one element derived from each pattern determine possible line segment matches. 
   In additional embodiments of the invention each of such possible matches are then analyzed mathematically to determine the partial transform that maps the associated points of the first pattern into the points of the second pattern. That is, such a partial transform is calculated for each of the line segments that were determined to be approximately equal in length. The resulting set of partial transforms is then reviewed. In particular, the invention then seeks a specific optimal transform that maps the most pairs of points of the first pattern into pairs of points in the second pattern. The pairs of points associated with that optimal transform will be the matched line segments. 
   In further embodiments of the invention some limitations are imposed on the points in each pattern that are to be considered. By way of example, in patterns involving stars, only stars of a minimum magnitude would be considered. In an additional example involving fingerprint analysis, points would be classified as bifurcation points or ridge ending points. Pattern matching would then proceed between only those points contained in a like class. 

   
     BRIEF DESCRIPTION OF THE DRAWINGS 
     Various embodiments of the present invention will now be described in detail in conjunction with the annexed drawings, in which: 
       FIG. 1  is a diagram illustrating two sets of points to be compared and various mathematical terms being used by the present invention in performing that comparison; 
       FIG. 2  is a diagram showing two sets of data for which an exact correlation is present between an indicated object found in each set; 
       FIG. 3   a  graphically illustrates a set of distance measures with associated errors; 
       FIG. 3   b  illustrates a sort of the data of  FIG. 3   a;    
       FIG. 4   a  is a table of line segment measurements associated with the data of  FIG. 2 ; 
       FIG. 4   b  illustrates a sort of the data of  FIG. 4   a ; and, 
       FIGS. 5   a  and  5   b  illustrate mathematical terms used in a comparison performed by the present invention when error measurements are introduced. 
   

   BACKGROUND TERMINOLOGY 
   The purpose of this section is to formalize the correlation problem inherent in the matching function and to establish notation. Let P and Q be finite point-sets of the same cardinality, and as illustrated in  FIG. 1 , assume that each point q∈Q has an associated neighborhood N(q). Let N={N(q):q∈Q}. This neighborhood system may, for example, represent measurement errors. If there is a rigid transform (i.e., translation and rotation), β, such that for each p∈P, there is a unique point q∈Q such that β(p)∈N q (q), the mapping Γ:P→Q defined by Γ(p)=q will be called an N-correlation. 
   Now, assume P and Q are arbitrary point sets, not necessarily the same cardinality. If P i   ⊂ P, Q i   ⊂ Q, and there exists an N-correlation Γ i :P i →Q i , the triple, S i =(Γ i , P i , Q i ) is a correlation solution. Moreover, the solution is maximal if there is no other solution, S j , such that P j ⊃P i , Q j ⊃Q i , and Γ j =Γ i  on P i . The present invention addresses the general correlation problem of finding all maximal correlation solutions. Moreover it performs this function in a manner that overcomes the above discussed problems associated with the prior art. 
   If there are no measurement errors (i.e., N(q)=q for every element, q, in Q), the bias β=Γ. In general this is not the case, and the estimated bias is the rigid transformation closest to Γ in the following sense. If d 2 (u, v) denotes the squared distance between the points u, and v, the smaller the cost function 
             c   ⁡     (     β   ,     P   i     ,     Q   i       )       =       1          P   i            ⁢       ∑     p   ∈   P       ⁢       d   2     ⁡     (       β   ⁡     (   p   )       ,       Γ   i     ⁡     (   p   )         )                 
is the smaller the difference between β and Γ. Therefore, a rigid transform that minimizes this cost is a bias estimate and can be computed as follows. Represent a point z=(z x , z y ) in complex form as z=z x +iz y , then the action of β can be expressed as β(z)=az+b where a and b are complex numbers; and
 
   
     
       
         
           
             c 
             ⁡ 
             
               ( 
               
                 β 
                 , 
                 P 
                 , 
                 Q 
               
               ) 
             
           
           = 
           
             
               1 
               
                  
                 P 
                  
               
             
             ⁢ 
             
               
                 ∑ 
                 
                   p 
                   ∈ 
                   P 
                 
               
               ⁢ 
               
                 
                   
                      
                     
                       ap 
                       + 
                       b 
                       - 
                       
                         Γ 
                         ⁡ 
                         
                           ( 
                           p 
                           ) 
                         
                       
                     
                      
                   
                   2 
                 
                 . 
               
             
           
         
       
     
   
   Thus, bias estimation reduces to finding a and b that minimize c(β, P, Q). This is a standard least squares minimization whose solution is 
               [         a           b         ]     =       1            P        ⁢     ∑          p        2         -          ∑   p              ⁢       (              P              -     ∑     p   _                   -     ∑   p             ∑          p        2             )     ⁡     [           ∑       Γ   ⁡     (   p   )       ⁢     p   _                   ∑     Γ   ⁡     (   p   )               ]           ,         
where the summations run over elements of P.
 
   DETAILED DESCRIPTION 
   The present invention attempts to match patterns contained in two sets of data.  FIG. 2  illustrates a simple example in which these two sets of data correspond to points p&#39;s and q&#39;s, respectively. In particular, an attempt is made to match the shaded object defined by points p 1 , p 2  and p 3  with its counterpart in the q set. 
   Sorting Algorithm 
   In performing this matching function, the present invention relies on a sorting algorithm which will now be discussed. Any set, Δ={δ 1 , δ 2 , . . . δ M }, of real numbers can be decomposed into a union of subsets, 
             Δ   =       ⋃   k     ⁢     Δ   k         ,         
where each Δ k  consists of all the numbers equal to a given number. This decomposition can be found by sorting Δ in ascending order
 δ π(1) =δ π(2) = . . . =δ π(i     1     ) &lt;δ π(i     1     +1) = . . . =δ π(i     2     ) &lt; . . . &lt;δ π(i     m−1     +1) = . . . =δ π(M) , 
where π denotes the resulting permutation of the index set I Λ ={1, 2, . . . , M}. Then each Δ k ={δ π(i     k−1     +1) , . . . δ π(i     k     ) }. Alternatively, this decomposition can be expressed in terms of index sets:
 
               I   Δ     =       ⋃   k     ⁢     I   k         ,         
where I k ={π(i k−1 +1), . . . , π(i k )}.
 
   The generalized sorting algorithm of the present invention extends this decomposition to approximate equality. For each δ i ∈Δ let ε i ≧0 be an allowable error magnitude, then δ i  is approximately equal to δ j  (written δ i ≈δ j ) if the intersection of the intervals [δ i −ε i , δ i +ε i ] and [δ j −ε j , δ j +ε j ] is non-empty. Consider the folling example of data presented in Table 1: 
   
     
       
             
           
             
             
             
             
             
             
             
             
             
             
             
           
         
             
               TABLE 1 
             
             
                 
             
             
               Sample Δ with Associated Errors 
             
             
                 
             
           
           
             
                 
             
           
        
         
             
               δ i   
               2 
               4 
               7 
               4 
               9 
               13 
               4 
               7 
               7 
               10 
             
             
               ε i   
               1 
               1 
               2 
               1 
               1 
               6 
               2 
               1 
               3 
               9 
             
             
                 
             
           
        
       
     
   
     FIG. 3   a  represents the elements of Δ as a stack of horizontal line segments, with associated error neighborhoods delineated in gray. In  FIG. 3   b  these segments have been sorted according to increasing values of their lower error bounds. The largest subsets of approximately equal elements can be read off this diagram:
 I 1 ={1,2,4,7,10}, I 2 ={2,3,4,7,9,10}, I 3 ={3,7,8,9,10}, and I 4 ={3,5,6,8,9,10}. 
   The generalized sorting algorithm proceeds as follows. Set
 
 U ={δ 1 −ε 1 , δ 2 −ε 2 , . . . , δ M −ε M , δ 1 +ε 1 , δ 2 +ε 2 , . . . , δ M +ε M };
 
and let ℑ(U) denote the set obtained by sorting the elements of U into ascending order, and π the resulting permutation of the indices. Further, let i 1 &lt;i 2 &lt; . . . &lt;i M  be the indices in I ℑ(U)  for which π −1 (i k )&gt;M. The index sets are constructed by applying the recursion:
 
   
     
       
             
             
           
             
             
           
             
             
           
             
             
           
             
             
           
             
             
           
             
             
           
         
             
                 
                 
             
           
           
             
                 
               k = 1 
             
             
                 
               I 1  = π −1  {2, 3, ..., i 1 } 
             
             
                 
               for 1 = 2 : M 
             
           
        
         
             
                 
               if i l  = i l−1  + 1 
             
           
        
         
             
                 
               I k  = I k  ∪ π −1  {i l }; 
             
           
        
         
             
                 
               else 
             
           
        
         
             
                 
               k = k + 1 
             
             
                 
               I k  = I k−1  ∪ π −1  {i l−1  + 1, ..., i l } 
             
             
                 
               I k  = I k  \π −1  {i 1 , ..., i l−1 } 
             
             
                 
               I k  = I k  \ {π −1  {i l } − M} 
             
           
        
         
             
                 
               end 
             
           
        
         
             
                 
               end 
             
             
                 
               Reduce each I k  by subtracting M from indices greater than M. 
             
             
                 
                 
             
           
        
       
     
   
   The last step in the inner loop reduces indices that appear twice. That is, π(i l )−M is always in the previous I k  (for example, π(1)=π(i l )−M). However, I k  may also contain π(i l ). Therefore, if one of these elements is not removed, I k  could contain the same index twice. 
   The Distance-Sort Algorithm of the Present Invention 
   Once the data associated with the patterns to be matched has been processed by the above described sorting algorithm, the actual distance-sort algorithm of the present invention is performed. 
   Some additional terminology will now be defined. A similarity transform, τ, is uniquely determined by a pair of complex numbers (a, b), where the action of τ is defined by τ(z)=az+b. In polar form, a=re iθ , and, thus, a scales by r and rotates through angle θ (τ is rigid if and only if r=1). Adding b translates the result. As shown below, τ is uniquely determined by its action on any directed line segment p=(p 1 , p 2 ), since 
   
     
       
         
           a 
           = 
           
             
               
                 
                   
                     τ 
                     ⁡ 
                     
                       ( 
                       
                         p 
                         1 
                       
                       ) 
                     
                   
                   - 
                   
                     τ 
                     ⁡ 
                     
                       ( 
                       
                         p 
                         2 
                       
                       ) 
                     
                   
                 
                 
                   
                     p 
                     1 
                   
                   - 
                   
                     p 
                     2 
                   
                 
               
               ⁢ 
               
                   
               
               ⁢ 
               and 
               ⁢ 
               
                   
               
               ⁢ 
               b 
             
             = 
             
               
                 
                   
                     
                       p 
                       1 
                     
                     ⁢ 
                     
                       τ 
                       ⁡ 
                       
                         ( 
                         
                           p 
                           2 
                         
                         ) 
                       
                     
                   
                   - 
                   
                     
                       p 
                       2 
                     
                     ⁢ 
                     
                       τ 
                       ⁡ 
                       
                         ( 
                         
                           p 
                           1 
                         
                         ) 
                       
                     
                   
                 
                 
                   
                     p 
                     1 
                   
                   - 
                   
                     p 
                     2 
                   
                 
               
               . 
             
           
         
       
     
   
   Conversely, given two line segments p and q, there is a unique similarity transform, τ, called a partial transform, such that τ(p)=q. The notation τ=τ(p; q)=τ(p 1 , p 2 ; q 1 , q 2 ) is used to indicate the defining line segments. It should be noted that τ(p; q) is rigid if and only if p and q are of the same length. If p t =(p 2 , p 1 ) denotes the segment directed opposite to p, then τ(p t ; q t )=τ(p; q). Moreover, τ(p; q) is rigid if and only if τ(p; q t ) is rigid. 
   An embodiment of the present invention will now be applied to the example depicted in FIG.  2 —where an exact correlation is possible between the two depicted shaded areas. The triangle (p 1 , p 2 , p 3 ) can be mapped to the triangle (q 1 , q 4 , q 5 ) by a rigid transformation. Consequently, the partial transforms
 
τ(p 1 , p 2 ; q 1 , q 4 )
 
τ(p 2 , p 3 ; q 4 , q 5 )
 
τ(p 3 , p 1 ; q 5 , q 1 )
 
are identical to the optimal transform. In this embodiment of the invention, correlation solutions are determined by searching for this kind of cluster in the set of all rigid partial transforms, τ=τ(p; q), where p is from P and q is from Q.
 
   In analyzing the data of  FIG. 2  the above described sorting algorithm is first employed. That is, the algorithm determines Δ(P), the set of segment lengths for all pairs of points in P, and similarly determines Δ(Q). Let Δ=Δ(P)∪Δ(Q).  FIG. 4   a  displays the results of this analysis, where for example, the data entries appearing in the first row of the table represent the distance (“4.4”) of the line segment between points q 1  and q 2  (identified as “12” in the first column). Table entries relating to points in P are underlined. 
   These Δ entries of  FIG. 4   a  are then sorted to obtain the decomposition 
             Δ   =       ⋃   k     ⁢     Δ   k         ,         
keeping track of the points associated with each difference vector.  FIG. 4   b  illustrates the results of this analysis where the elements of the Δ are listed in ascending order and where the underline indicates lengths derived from P (although note illustrated, the associated points corresponding to each of the distance measures are maintained). At this point only the Δ k  containing segment lengths from both P and Q need be further considered, since the partial transforms are defined by these paired segments. In this example, these Δ k  correspond to the three segment lengths 1.4,2, and 3.2.
 
   In this embodiment of the invention, partial transforms are then derived from these sets. These results are listed in Table 2 below: 
   
     
       
             
             
             
             
           
             
             
             
             
           
         
             
               TABLE 2 
             
             
                 
             
             
               Index 
               τ 
               A 
               b 
             
             
                 
             
           
           
             
                 
             
           
        
         
             
               1 
                τ(p 2 , p 3 ; q 4 , q 5 )* 
                 0.6428 + 0.7660i 
                 3.0000 + 3.0000i 
             
             
               2 
               τ(p 2 , p 3 ; q 5 , q 4 ) 
               −0.6428 + 0.7660i 
                 2.0000 + 2.0000i 
             
             
               3 
                τ(p 1 , p 2 ; q 1 , q 4 )* 
                 0.6428 + 0.7660i 
                 3.0000 + 3.0000i 
             
             
               4 
               τ(p 1 , p 2 ; q 4 , q 1 ) 
               −0.7660 + 0.6428i 
                 1.0000 + 1.0000i 
             
             
               5 
               τ(p 1 , p 2 ; q 2 , q 3 ) 
               −0.7660 + 0.6428i 
                 1.0000 + 3.0000i 
             
             
               6 
               τ(p 1 , p 2 ; q 3 , q 2 ) 
               −0.6428 − 0.7660i 
               −1.0000 + 1.0000i 
             
             
               7 
               τ(p 1 , p 2 ; q 3 , q 4 ) 
                 0.7660 − 0.6428i 
                 3.0000 − 3.0000i 
             
             
               8 
               τ(p 1 , p 2 ; q 4 , q 3 ) 
                 0.7660 + 0.6428i 
                 3.0000 − 1.0000i 
             
             
               9 
                τ(p 1 , p 3 ; q 1 , q 5 )* 
                 0.6428 + 0.7660i 
                 3.0000 + 3.0000i 
             
             
               10 
               τ(p 1 , p 3 ; q 5 , q 1 ) 
               −0.2272 + 0.9739i 
                 3.0000 + 3.0000i 
             
             
               11 
               τ(p 1 , p 3 ; q 3 , q 5 ) 
                 0.6428 + 0.7660i 
                 5.0000 + 1.0000i 
             
             
               12 
               τ(p 1 , p 3 ; q 5 , q 3 ) 
                 0.9739 + 0.2272i 
                 5.0000 + 1.0000i 
             
             
               13 
               τ(p 1 , p 3 ; q 3 , q 7 ) 
               −0.6428 + 0.7660i 
                 0.0000 + 2.0000i 
             
             
               14 
               τ(p 1 , p 3 ; q 7 , q 3 ) 
                 0.2272 − 0.9739i 
                 2.0000 − 0.0000i 
             
             
               15 
               τ(p 1 , p 3 ; q 4 , q 7 ) 
               −0.6428 − 0.7660i 
                 2.0000 − 0.0000i 
             
             
               16 
               τ(p 1 , p 3 ; q 7 , q 4 ) 
               −0.9739 − 0.2272i 
                 2.0000 + 2.0000i 
             
             
                 
             
           
        
       
     
   
   The partial transform clusters corresponding to correlation solutions can be found by partitioning the real and imaginary parts of columns a and b, into equal-value subsets as follows. First, partition the real part of column a. Thus, for the example this yields:
 
I Δ ={1, 3, 9, 11}∪{2, 6, 13, 15}∪{4, 5}∪{7, 8}∪{10}∪{12}∪{14}∪{16}.
 
   Next, a partitioning is performed on these component subsets based on the imaginary part of a. In the example, none of these subsets are further subdivided. Repeating the procedure for the b column, partitioning based on the real part gives:
 
I Δ {1,3,9}∪{11}∪{2,15}∪{6}∪{13}∪{4,5}∪{7,8}∪{10}∪{12}∪{14}∪{16};
 
and after partitioning based on the imaginary part, the index set decomposes into
 
I Δ ={1,3,9}∪{2}∪{4}∪{5}∪{6}∪{7}∪{8}∪{10}∪{11}∪{12}∪{13}∪{14}∪{15}∪{16}.
 
   The index set I 1 ={1,3,9} corresponds to the cluster of three identical partial transforms, denoted by τ 1 , but derived from different line segment pairs. If P 1  is the set of all endpoints of line segments in P occurring in the definition of these partial transforms, and, similarly, Q 1  is the set of all endpoints of defining line segments in Q, then
 
τ i ( z )=(0.6428+0.7660 i ) z +(3.0000+3.0000 i )
 
P i ={p 1 , p 2 , p 3 }
 
Q i ={q 1 , q 4 , q 5 }.
 
   Thus, S 1 =(τ 1 , P 1 , Q 1 ) is the 3-point correlation solution (asterisks in Table 2 indicate the cluster corresponding to this solution). In this way the correlation solutions are in a one-to-one correspondence with the index sets in the decomposition of I Δ . Although the singleton sets (e.g., the last row of Table 2 representing index 16) determine solutions that map two points in P into two points in Q, these are generally trivial and can be excluded by specifying that a solution must have at least a minimum number of correlated points. 
   In further embodiments of the invention this approach can be generalized to N-correlations where the error neighborhoods are circular with radius ε. That is, the method just illustrated is extended to situations where line segments are approximately equal. In these additional embodiments this approximate equality is given an appropriate meaning based on an ε. Thus as indicated in  FIG. 5   a , any pair of line segments, l 1  and l 2  beginning and ending in circles of radius ε are approximately equal. Accordingly, the error neighborhoods for the sort on line segment lengths are intervals of length 4ε. 
   In these embodiments, as before, the generalized sorting algorithm is applied, all approximately equal-length pairs are identified, and the set of partial transforms τ=τ(p; q) are constructed. It should be noted in such cases the partial transforms are not necessarily rigid because they map approximately equal segments to one another (however, they are close to being rigid). 
   In the example depicted in  FIG. 5   b , suppose the left-most triangle in  FIG. 5   b  (whose vertices p 1 , p 2  and p 3  correspond to points in P) can be rotated and translated into the solid triangle shown in the right half of  FIG. 5   b  in such a way that its vertices lie in the error neighborhoods corresponding to the vertices of a triangle (black-line) in Q. Then the partial transforms τ i , (i=1,2,3) defined in  FIG. 5   b  form a cluster of approximately equal partial transforms. All such clusters can be found by applying the generalized sorting algorithm to a and b with appropriately chosen error neighborhoods, as described above. 
   While the above examples used to illustrate the invention have addressed simple patterns involving triangles, the invention is not so limited. That is, objects defined by any number of points can be compared with the present invention. Further, while the invention has been described with reference to the preferred embodiment thereof, it will be appreciated by those of ordinary skill in the art that modifications can be made to the structure and elements of the invention without departing from the spirit and scope of the invention as a whole.