Optimized Nonuniform FFTs and Their Application to Array Factor Computation

We deal with developing an optimized approach for implementing nonuniform fast Fourier transform (NUFFT) algorithms under a general and new perspective for 1-D transformations. The computations of nonequispaced results, nonequispaced data, and Type-3 nonuniform discrete Fourier transforms are tackled in a unified way. They exploit “uniformly sampled” exponentials to interpolate the “nonuniformly sampled” ones involved in the nonuniform discrete Fourier transforms (NUFDTs), so as to enable the use of standard fast Fourier transforms, and an optimized window. The computational costs and the memory requirements are analyzed, and their convenient performance is assessed also by comparing them with other approaches in the literature. Numerical results demonstrate that the method is more accurate and does not introduce any additional computational or memory burden. The computation of the window functions amounts to that of a Legendre polynomial expansion, i.e., a simple polynomial evaluation. This is convenient in terms of computational burden and of the proper arrangement of the calculations. A case study of electromagnetic interest has been carried out by applying the developed NUFFTs to the radiation of linear regular or irregular arrays onto a set of regular or irregular spectral points. Guidelines for multidimensional extension of the proposed approach are also presented

Journées Francophones des Langages Applicatifs 2018

National audienceLes 29èmes journées francophones des langages applicatifs (JFLA) se déroulent en 2018 à l'observatoire océanographique de Banyuls-sur-Mer. Les JFLA réunissent chaque année, dans un cadre convivial, concepteurs, développeurs et utilisateurs des langages fonctionnels, des assistants de preuve et des outils de vérification de programmes en présentant des travaux variés, allant des aspects les plus théoriques aux applications industrielles.Cette année, nous avons sélectionné 9 articles de recherche et 8 articles courts. Les thématiques sont variées : preuve formelle, vérification de programmes, modèle mémoire, langages de programmation, mais aussi théorie de l'homotopieet blockchain

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing