Filters








103,975 Hits in 9.1 sec

Verifying spatial properties of array computations

Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
2017 Proceedings of the ACM on Programming Languages  
Firstly, we report on a code analysis study on eleven real-world computational science code base, identifying common idioms of array usage and their spatial properties.  ...  Arrays computations are at the core of numerical modelling and computational science applications. However, low-level manipulation of array indices is a source of program error.  ...  Thank you to our collaborators for allowing us to analysis their code, especially Andrew Friend and the developers of E3ME. Material produced using the Met Oice Software.  ... 
doi:10.1145/3133899 dblp:journals/pacmpl/OrchardCDR17 fatcat:pkqflbkkwbcppliiofbqd2wqq4

Verifying Spatial Properties of Array Computations

D Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository
2017
Firstly, we report on a code analysis study on eleven real-world computational science code base, identifying common idioms of array usage and their spatial properties.  ...  Arrays computations are at the core of numerical modelling and computational science applications. However, low-level manipulation of array indices is a source of program error.  ...  Thank you to our collaborators for allowing us to analysis their code, especially Andrew Friend and the developers of E3ME. Material produced using the Met Office Software.  ... 
doi:10.17863/cam.13709 fatcat:hdyq7ljr2vg63ay42yqxk4kuw4

Analysis of the average performance of the multi-channel Wiener filter for distributed microphone arrays using statistical room acoustics

Toby Christian Lawin-Ore, Simon Doclo
2015 Signal Processing  
Since the position of the desired source is not always known a priori, it is of great interest in many applications to be able to compute the average performance for a specific microphone array, which  ...  In this paper, we propose to use the statistical properties of the acoustical transfer functions (ATFs) between the desired source and the microphones to derive analytical expressions for the spatially  ...  Acknowledgments This work was partly supported by the Research Unit FOR 1732 "Individualized Hearing Acoustics" and the Cluster of Excellence 1077 "Hearing4All", funded by the German Research Foundation  ... 
doi:10.1016/j.sigpro.2014.06.017 fatcat:4r24sj7qbrhkxgfd4sk5dcqdlq

Nested Arrays: A Novel Approach to Array Processing With Enhanced Degrees of Freedom

Piya Pal, P. P. Vaidyanathan
2010 IEEE Transactions on Signal Processing  
The usefulness of all the proposed methods is verified through extensive computer simulations.  ...  To utilize the degrees of freedom of the nested co-array, a novel spatial smoothing based approach to DOA estimation is also proposed, which does not require the inherent assumptions of the traditional  ...  Property (4) can be verified as follows: The LHS indicates the sum of occurences of all possible nonzero position differences .  ... 
doi:10.1109/tsp.2010.2049264 fatcat:z2uh2cjgjfhcnmymnai7kdp6q4

Scattering-coded elastic meta-boundary [article]

Tianxi Jiang, Xinxin Liao, Hao Huang, Zhi-Ke Peng, Qingbo He
2021 arXiv   pre-print
Although computational sensing has been demonstrated to be able to overcome the short-comings of transducer array by merging artificially designed structures into sensing process, coding spatial elastic  ...  Here we propose a scattering-coded elastic meta-boundary composed of randomly distributed scatterers for computational identification of objects with a single transducer.  ...  of the time-space evolution property to enable computational identification.  ... 
arXiv:2110.00136v1 fatcat:a7y52iufizdenhu2rwrtaojv64

Rapid Modeling and Parameter Estimation of Partial Differential Algebraic Equations by a Functional Spreadsheet Paradigm

Chahid Ghaddar
2018 Mathematical and Computational Applications  
Two alternative least-square dynamical minimization schemes are devised and demonstrated on a complex parameterized PDAE system with discontinues properties and coupled time derivatives.  ...  The method exploits a pure spreadsheet PDAE solver function design that encapsulates the Method of Lines and permits seamless integration with an Excel spreadsheet nonlinear programming solver.  ...  properties.  ... 
doi:10.3390/mca23030039 fatcat:5i53c7ku6nhx3izji5oea2fsrq

Average output SNR of the multichannel Wiener filter using statistical room acoustics

Toby Christian Lawin-Ore, Simon Doclo
2013 2013 IEEE Workshop on Applications of Signal Processing to Audio and Acoustics  
In this paper, we show that this analytical expression can be extended to compute the average output SNR of the MWF for a specific microphone configuration, enabling to compare the performance of different  ...  Recently, using statistical room acoustics an analytical expression for the spatially averaged output SNR, given the relative distance between the source and the microphone array, has been derived for  ...  Simulation results have shown that the spatially averaged performance measures of the MWF, computed analytically using the statistical properties of ATFs, are similar to the results obtained using simulated  ... 
doi:10.1109/waspaa.2013.6701813 dblp:conf/waspaa/Lawin-OreD13 fatcat:wmyix7b6lzcp7nm3ujgompyeyi

Direction finding in multipath environment with arbitrary array

Maryam Johnny, Vahid TabaTaba Vakili, Mansour Sheikhan
2012 20th Iranian Conference on Electrical Engineering (ICEE2012)  
to conventional spatial smoothing.  ...  Keywords-Array interpolation, direction of arrival (DOA), Music, Cumulant, uniform linear array (ULA). I.  ...  array, Having decided on their locations we can compute the array manifold of the interpolated array.  ... 
doi:10.1109/iraniancee.2012.6292538 fatcat:l63ffzcaxfhknfmptpjr3nykue

Direction of Arrival Estimation for MIMO Radar via Unitary Nuclear Norm Minimization

Xianpeng Wang, Mengxing Huang, Xiaoqin Wu, Guoan Bi
2017 Sensors  
Because of using the noncircular properties of signals to extend the virtual array aperture and an additional real structure to suppress the noise, the proposed method provides better performance compared  ...  In the proposed method, the noncircular properties of signals are used to double the virtual array aperture, and the real-valued data are obtained by utilizing unitary transformation.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/s17040939 pmid:28441770 pmcid:PMC5426935 fatcat:2gatuooopnac3bgkmstfjtxzwu

The Real-Valued Sparse Direction of Arrival (DOA) Estimation Based on the Khatri-Rao Product

Tao Chen, Huanxin Wu, Zhongkai Zhao
2016 Sensors  
The simulation results demonstrate the superior performance and the low computational complexity of the proposed algorithm.  ...  Finally, the sparse DOA estimation is solved by utilizing the idea of a sparse representation of array covariance vectors (SRACV).  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/s16050693 pmid:27187409 pmcid:PMC4883384 fatcat:d5xayof7tzg5zc4gs7lqc5k4ue

Spatial Fading Simulator Using a Cavity-Excited Circular Array (CECA) for Performance Evaluation of Antenna Arrays

C. PARK
2006 IEICE transactions on communications  
In this paper we propose a novel spatial fading simulator to evaluate the performance of an array antenna and show its spatial stochastic characteristics by computer simulation based on parameters verified  ...  The computer simulation results with respect to fading and AS show that CECA works well as a spatial fading simulator for performance evaluation of an antenna array.  ...  We showed the computer simulation results on spatial stochastic characteristics to verify CECA as a spatial fading simulator for antenna array.  ... 
doi:10.1093/ietcom/e89-b.3.906 fatcat:pobaehckszhmvle6o3rxylqyam

Investigation of Wavenumber Domain Imaging Algorithm for Ground-Based Arc Array SAR

Zengshu Huang, Jinping Sun, Weixian Tan, Pingping Huang, Kuoye Han
2017 Sensors  
Finally, we analyze the two-dimensional (2D) spatial resolution of GB-AA-SAR, and verify the effectiveness of the proposed algorithm through numerical simulation experiments.  ...  In order to obtain higher data acquisition efficiency and a wider view angle, we introduce arc antenna array technology into the GB-SAR system, which realizes a novel kind of system: ground-based arc array  ...  So, the spatial resolution of GB-AA-SAR in polar coordinates has spatially invariant properties.  ... 
doi:10.3390/s17122950 fatcat:qgr7olpp3rfqvofylp2qmeujpq

2D-DOA Estimation for Coprime L-shaped Arrays with MUSIC Algorithm

Dong-lin YANG, Wei-tao LIU, Qian-lin CHENG, Zhong-xi XIA, Xiao-fei ZHANG
2017 DEStech Transactions on Computer Science and Engineering  
the resolution of the array, but meanwhile causes phase ambiguity.  ...  And the simulation results on MATLAB verify the algorithm's effectiveness and advantages.  ...  In paper [9] , authors construct a sparse coprime L-shaped array, and exploit the array extending capability of FOCs and the coprime property between subarrays to achieve accurate DOA estimation without  ... 
doi:10.12783/dtcse/cece2017/14456 fatcat:6ld6ikdsa5hjlma32dmegwleg4

Temporal ghost imaging with pseudo-thermal speckle light

Fabrice Devaux, Kien Phan Huy, Séverine Denis, Eric Lantz, Paul-Antoine Moreau
2016 Journal of Optics  
The temporal information is retrieved by computing the spatial intensity correlations between this time integrated image and each speckle pattern of the set.  ...  We report ghost imaging of a single non-reproducible temporal signal in the range of tens kHz by using pseudo-thermal speckle light patterns and a single detector array with a million of pixels working  ...  Indeed, as for original computational ghost imaging arrangement [15] , the use of pre-computing and reproducible random binary patterns provides us to use a second array detector with a temporal resolution  ... 
doi:10.1088/2040-8986/aa5328 fatcat:3ycjgqybqzgo5hekl36ywkpdxa

Improvement of a System for Prime Factorization Based on Optical Interferometer [chapter]

Kouichi Nitta, Nobuto Katsuta, Osamu Matoba
2009 Lecture Notes in Computer Science  
As results, it is experimentally verified that the improved method can provide correct results in factorization of 30bits integer.  ...  In 1980's, many methods based on spatial parallelism have been developed in the research field of digital optical computing.  ...  Requirement to accuracy of alignment in the optical set up is not so critical in prime factorization. This feature is caused by properties of the algorithm.  ... 
doi:10.1007/978-3-642-10442-8_16 fatcat:n5pf4kvkqjagxifwy7xuv56g6a
« Previous Showing results 1 — 15 out of 103,975 results