Patent ID: 11940531
Assignee: THE TRUSTEES OF PRINCETON UNIVERSITY
Field: Measurement (Instruments)
Classification: CPC A  G | IPC A  G

Claim 9:
10. The system of claim 1, wherein the processor is further configured to evaluate, ⁢
      
        (
        
          
            x
            r
          
          ,
          
            
              f
              s
            
            ;
            τ
          
        
        )
      
    
    =
    
      
        1
        
          Δ
          ⁢
          τ
        
      
      ⁢
      
        
          ∫
          τ
          
            τ
            +
            
              Δ
              ⁢
              τ
            
          
        
        ⁢
        
          
            
              P
              
                s
                ⁢
                y
                ⁢
                n
              
            
            ⁡
            
              (
              
                
                  x
                  r
                
                ,
                t
              
              )
            
          
          ⁢
          
            e
            
              
                -
                2
              
              ⁢
              i
              ⁢
              π
              ⁢
              
                
                  f
                  s
                
                ⁡
                
                  (
                  
                    t
                    -
                    τ
                  
                  )
                
              
            
          
          ⁢
          d
          ⁢
          t
        
      
    
  

  
    
      ∀
      
        {
        
          s
          ,
          r
        
        }
      
    
    ,
    
      ∀
      ϵ
    
    ,
    
      ∃
      
        
          T
          
            s
            ⁢
            s
          
        
        ⁢
        
          
        
        ⁢
        such
        ⁢
        
          
        
        ⁢
        that
        ⁢
        
          
        
        ⁢
        
          ∀
          
            τ
            >
            
              
                T
                
                  s
                  ⁢
                  s
                
              
              :
              
                

              
              ⁢
              
                
                  
                  
                    
                                            ⁢
                      
                        (
                        
                          
                            x
                            r
                          
                          ,
                          
                            
                              f
                              s
                            
                            ;
                            τ
                          
                        
                        )
                      
                    
                    -
                    
                                            ⁢
                      
                        (
                        
                          
                            x
                            r
                          
                          ,
                          
                            
                              f
                              s
                            
                            ;
                            
                              T
                              
                                s
                                ⁢
                                s
                              
                            
                          
                        
                        )
                      
                    
                  
                  
                
                <
                ϵ
              
            
          
        
      
    
  

where s represents a given source simulated in simulation, r represents a given receiver, that records a given source s, xr is the position of the receiver r, t is time of the simulation, r is time after Tss, Psyn is a wavefield simulated by a solver, ƒs is a frequency associated with source s, and ε can be any value.