Phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters

Analog Integrated Circuits and Signal Processing - This paper presents the complete design of a phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters. The...     

A novel ceramic matrix composite based on YNbO4–TiO2 for microwave applications

This work presents the dielectric properties of YNbO₄ (YNO)–TiO₂ composites in the microwave range. X-ray diffraction analysis demonstrates that the addition of TiO₂ to YNO results in the formation of a Y(Nb_0.5Ti_0.5)₂O₆ phase. In the microwave range, the values of permittivity and dielectric loss did not present major changes with the increment of TiO₂. Moreover, the addition of TiO₂ results in an improvement in the thermal stability of YNO, with YNO63 demonstrating a resonant frequency of ?8.96 ppm.°C^?1. We utilised numerical simulations to evaluate the behaviour of these materials as dielectric resonator antennae and it is found that they exhibit a reflection coefficient below ?10 dB at the resonant frequency, with a realised gain of 4.94 – 5.76 dBi, a bandwidth of 665–1050 MHz and a radiation efficiency above 84%. Our results indicate that YNO–TiO₂ composites are interesting candidates for microwave operating devices.     

Increasing the photocatalytic and fungicide activities of Ag3PO4 microcrystals under visible-light irradiation

The present study reports for the first time the performance of silver phosphate (Ag₃PO₄) microcrystals as photocatalyst (degradation of Rodamine B-RhB) and antifungal agent (against Candida albicans–C. albicans) under visible-light irradiation (455 nm). Ag₃PO₄ microcrystals were synthesized by a simple co-precipitation (CP) method at room temperature. The structural and electronic properties of the as-synthetized Ag₃PO₄ have been investigated before and after 4 cycles of RhB degradation under visible light using X-ray diffraction (XRD), micro-Raman spectroscopy, UV–Vis spectrophotometer and field emission scanning electron microscopy (FE-SEM) images. The antifungal activity was analyzed in planktonic cells and 48h-biofilm of C. albicans by colony forming units (CFU) counting, confocal laser and FE-SE microscopies. Statistical analysis was carried out using SPSS software. Morphological and structural modifications of Ag₃PO₄ were observed upon recycling. After 4 recycles, the material maintained its photodegradation property; an eightfold increase in the efficiency of Ag₃PO₄ was observed in planktonic cells and a two fold increase in biofilm when irradiated under visible light. Thus, higher antifungal effectiveness against C. albicans was obtained when associated with visible-light irradiation.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.