Nominal Unification from a Higher-Order Perspective

Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, called atoms, and instantiable variables are considered as distinct entities. Moreover, atoms are capturable by instantiations, breaking a fundamental principle of lambda-calculus. Despite these differences, nominal unification can be seen from a higher-order perspective. From this view, we show that nominal unification can be reduced to a particular fragment of higher-order unification problems: Higher-Order Pattern Unification. This reduction proves that nominal unification can be decided in quadratic deterministic time, using the linear algorithm for Higher-Order Pattern Unification. We also prove that the translation preserves most generality of unifiers

Óxidos y estructuras híbridas de respuesta multifuncional

Informe final del proyecto: Óxidos y estructuras híbridas de respuesta multifuncionalEl subproyecto MAT2011-29269-C03-02 ha tenido como objetivo el diseño y caracterización de dispositivos sintonizables. Para ello se han realizado actividades en el desarrollo de plataformas de caracterización y herramientas de síntesis y diseño de filtros teniendo en cuenta las propiedades de los materiales. Se han apartado importantes avances en ambas líneas de investigación.Postprint (published version

Third-Harmonic and intermodulation distortion in bulk acoustic-wave resonators

This article discusses on the measured third-order intermodulation (IMD3) products and third harmonics (H3) appearing in a set of six different solidly mounted resonators (SMR) and bulk acoustic-wave (BAW) resonators with different shapes and stack configurations. The discussion is supported by a comprehensive nonlinear distributed circuit model that considers the nonlinear effects potentially occurring in any layer of the resonator stack. The aluminum-nitride (AlN) and silicon-dioxide (SiO2) layers are identified as the most significant contributors to the IMD3 and H3. The frequency profile of the third-order spurious signals also reveals that, in temperature-compensated resonators, where the SiO2 layers are usually thicker, the remixing effects from the second-order nonlinear terms are the major contributors to the IMD3 and H3. These second-order terms are those that explain the second-harmonic (H2) generation, whose measurements are also reported in this article. Unique values of the nonlinear material constants can explain all the measurements despite the resonators have different shapes, resonance frequencies, and stack configurations.Peer ReviewedPostprint (author's final draft

Synthesis procedure for ladder acoustic wave filters starting in series resonator

This work provides a new procedure to synthesize acoustic wave ladder filters starting with series resonators. The novelty of this method relies in a new synthesis methodology to extract a series inductance in filter configurations starting in series resonators. As a matter of fact, this new synthesis provides solutions with a reduced value of the electrostatic capacitance, thereby giving resonators with smaller size.This work have been supported by the Spanish Government through grants TEC2017-84817-C2-2-R, TEC2017-88343-C4- 2-R, the Secretary of Universities and Research of the Generalitat de Catalunya through 2017 SGR 813.Peer ReviewedPostprint (author's final draft

Sub-nanosecond tuning of microwave resonators fabricated on ruddlesden–popper dielectric thin films

This is the peer reviewed version of the following article: A. M. Hagerstrom, X. Lu, N. M. Dawley, H. P. Nair, J. Mateu, R. D. Horansky, C. A. E. Little, J. C. Booth, C. J. Long, D. G. Schlom, N. D. Orloff, Adv. Mater. Technol. 2018, 3, 1800090. https://doi-org.recursos.biblioteca.upc.edu/10.1002/admt.201800090, which has been published in final form at https://doi.org/10.1002/admt.201800090. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving.Voltage-tunable dielectric materials are widely used for microwave-frequency signal processing. Among tunable dielectric thin films, (SrTiO3)nSrO Ruddlesden–Popper (RP) superlattices have exceptionally low loss at high frequencies. This paper reports the first realization of resonators, a ubiquitous building block of microwave components, fabricated on RP films, and an analysis of their static and dynamic tuning behavior. The RP film has a ferroelectric-paraelectric phase transition at ˜200 K, and the tunability is strongest at this temperature. The resonators have approximately 2.5% tuning of the resonance frequency at room temperature and 20% tuning at 200 K, and a tuning time scale of less than a nanosecond, which is limited by the measurement circuit rather than material properties.Peer ReviewedPostprint (author's final draft

Correction to "Nonlinear Analysis of Disk Resonators: Application to Material Characterization and Filter Design

A procedure for the numerical prediction of the microwave nonlinear behavior (intermodulation products, degradation of quality factors, etc.) of TM010 disk resonators has been developed. The procedure is based on relating a very general description of HTS nonlinearities with the circuit elements of a nonlinear radial transmission line. This radial transmission line is then analyzed using the harmonic balance algorithm. Successful cross-checks are performed by comparing simulations with theoretical results obtained for a specific model of HTS nonlinearity. The application of this procedure to the determination of nonlinear material parameters from disk resonator measurements is illustrated as well as its use for simulating filters with several inter-coupled disks. Correction: J. Mateu, IEEE Trans. Appl. Superconduct., vol. 11, pp. 135–138, Mar. 2001. On p. 137 of the above paper, the first sentence of the paragraph immediately following equation (14) should read as follows.Peer Reviewe

Correction to "Nonlinear Analysis of Disk Resonators: Application to Material Characterization and Filter Design

A procedure for the numerical prediction of the microwave nonlinear behavior (intermodulation products, degradation of quality factors, etc.) of TM010 disk resonators has been developed. The procedure is based on relating a very general description of HTS nonlinearities with the circuit elements of a nonlinear radial transmission line. This radial transmission line is then analyzed using the harmonic balance algorithm. Successful cross-checks are performed by comparing simulations with theoretical results obtained for a specific model of HTS nonlinearity. The application of this procedure to the determination of nonlinear material parameters from disk resonator measurements is illustrated as well as its use for simulating filters with several inter-coupled disks. Correction: J. Mateu, IEEE Trans. Appl. Superconduct., vol. 11, pp. 135–138, Mar. 2001. On p. 137 of the above paper, the first sentence of the paragraph immediately following equation (14) should read as follows.Peer Reviewe

Modeling superconducting transmission line bends and their impact on nonlinear effects.

This paper reports on a numerical technique to obtain the current distribution in the annular bent sections of planar layouts. This is used to obtain the linear and nonlinear circuit distributed parameters modeling a superconducting strip bend and its impact on intermodulation distortion. As an example, we analyze a superconductive open-loop resonator and assess the linear and nonlinear contribution of its bends in its overall linear and nonlinear performance. These simulations are very useful for optimizing the resonators of a filter in order to minimize its nonlinear distortion.Peer Reviewe

Comparison between nonlinear measurements in patterned and unpatterned thin films

This work compares two alternative methods of characterizing the nonlinearities in a 10 × 10 mm2 superconducting thin film. Both methods are based on measuring the intermodulation distortion in high temperature superconducting (HTS) films. The first method measures the unpatterned film by using a rutile loaded cavity operating at the TE011 mode. The second method is based on intermodulation measurements made in a resonant coplanar line which is patterned on the same film that is used in the rutile cavity. In both experiments we use closed-form expressions and numerical techniques to extract local parameters related to the nonlinearities of the superconductor. The intermodulation data in both type of measurements can be fitted with identical nonlinear parameters of the HTS.Peer Reviewe