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...     

Development of low-alcohol isotonic beer by interrupted fermentation

Alcohol-free beer with isotonic properties is getting more popular and its production can be carried out by different production strategies; however, interrupted fermentation is still a challenge. Therefore, the objective of this study was to develop a low-alcohol isotonic beer (<0.5% v/v) by interrupted fermentation. Moreover, the major objective is to compare the developed product to commercial beverages (sports drinks, ‘Pilsen' regular beer, alcohol-free beers and low-alcohol isotonic beer). The beverages were evaluated based on pH, alcohol content (% v/v), total titratable acidity (mEq L⁻¹), osmolality (mOsmol kg⁻¹), bitterness International Bitterness Units, colour European Brewery Convention, total phenolic compounds (mg L⁻¹ gallic acid), reducing and total sugars (%) and Na and K contents (mg L⁻¹). The developed low-alcohol isotonic beer presented characteristics similar to sports drinks, with the advantage of being richer in phenolic compounds and suitable osmolality. Despite salts were added in its formulation, the grades attributed to all beers employed in the sensory evaluation, as well as the purchase intention did not present significant differences.     

Ternary Blends of Renewable Fast Pyrolysis Bio-Oil,Advanced Bioethanol,and Marine Gasoil as Potential Marine Biofuel

An alternative for reducing emissions from marine fuel is to blend bio-oil from lignocellulose non-edible feedstocks to diesel fossil fuels. Phase diagrams of the ternary systems were built to represent the transition from heterogeneous regions to homogeneous regions. Four homogeneous blends of bio-oil of eucalyptus-bioethanol-marine gasoil were experimentally characterized with respect to the most important fuel parameters for marine engines: water content, flash point, low heating value, viscosity, and acidity. Blends with closer properties to marine gasoil replacement, lower costs, and environmental impacts should be tested for large engines.     

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.

     

Dispersion-relation-preserving FDTD algorithms for large-scale three-dimensional problems

We introduce dispersion-relation-preserving (DRP) algorithms to minimize the numerical dispersion error in large-scale three-dimensional (3D) finite-difference time-domain (FDTD) simulations. The dispersion error is first expanded in spherical harmonics in terms of the propagation angle and the leading order terms of the series are made equal to zero. Frequency-dependent FDTD coefficients are then obtained and subsequently expanded in a polynomial (Taylor) series in the frequency variable. An inverse Fourier transformation is used to allow for the incorporation of the new coefficients into the FDTD updates. Butterworth or Chebyshev filters are subsequently employed to fine-tune the FDTD coefficients for a given narrowband or broadband range of frequencies of interest. Numerical results are used to compare the proposed 3D DRP-FDTD schemes against traditional high-order FDTD schemes.     

Finite-difference time-domain simulation of scattering from objectsin continuous random media

A three-dimensional (3D) finite-difference time-domain (FDTD) scheme is introduced to model the scattering from objects in continuous random media. FDTD techniques have been previously applied to scattering from random rough surfaces and randomly placed objects in a homogeneous background, but little has been done to simulate continuous random media with embedded objects where volumetric scattering effects are important. In this work, Monte Carlo analysis is used in conjunction with FDTD to study the scattering from perfectly electrically conducting (PEC) objects embedded in continuous random media. The random medium models under consideration are chosen to be inhomogeneous soils with a spatially fluctuating random permittivities and prescribed correlation functions. The ability of frequency averaging techniques to discriminate objects in this scenarion is also briefly investigated. The simulation scheme described in this work can be adapted and used to help in interpreting the scattered field data from targets in random environments such as geophysical media, biological media, or atmospheric turbulence