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.     

Biodegradation of poly(lactic acid)—cassava bagasse composites produced by injection molding

Neat poly (lactic acid) (PLA) and PLA/cassava bagasse (CB) composites were used to produce seedling tubes by extrusion and injection molding. The tubes were buried in simulated soil, and their biodegradation was investigated by weight loss, scanning electron microscopy (SEM), and Fourier transform infrared spectroscopy (FTIR). After 180 days, the composites' biodegradation was higher than neat PLA material, and the higher the CB content, the higher the biodegradation, which caused fissures and voids in the material. The biodegradation of PLA/CB composites increased the phosphorus content in the soil after 180 days. Composites of PLA with CB, an abundant agro-industrial residue in Brazil, are promising because they can reduce the environmental impact due to CB's proper destination, and the composites' costs and biodegradation are faster than pure PLA material. Both the faster biodegradation of the tube and the higher P content are advantageous for seedling tubes.     

Polyetherimide-LaNi5 composite films for hydrogen storage applications

This study investigates the preparation of polyetherimide (PEI) – LaNi₅ composites films for hydrogen storage. Prior to the polymer addition, LaNi₅ was ball-milled at different conditions (250, 350, and 450 RPM) and annealed at 500 °C for 1 h under vacuum. The composites were produced with BM-LaNi₅-350 (PEI/LaNi₅-350) and annealed BM-LaNi₅-350 (PEI/LaNi₅-350-TT). Membranes were successfully produced through solvent casting assisted by an ultrasonic bath. The particles dispersion and the film morphology did not change after hydrogenation cycles. In the H₂ sorption experiments at 43 °C and 20 bar, the films stored H₂ without incubation time; both samples reached a capacity of ~0.6 wt%. The H₂ sorption kinetics of PEI/LaNi₅-350 was comparable to that of BM-LaNi₅-350, whereas PEI/LaNi₅-350-TT presented significantly slower kinetics. LaNi₅ oxidation was hindered by PEI, showing that it can be explored to improve metal hydrides air resistance. The results demonstrated that PEI films filled with LaNi₅ are promising materials for hydrogen storage.     

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.

     

Characterization of the Residence Time Distribution in Spray Dryers

In this work it is presented a study on the residence time distribution (RTD) of particles in a co-current pilot-plant spray dryer operated with a rotary atomization system. A nuclear technique is applied to investigate the RTD responses of spray dryers. The methodology is based on the injection of a radioisotope tracer in the feed stream followed by the monitoring of its concentration at the outlet stream. The experiments were performed during the drying of aqueous suspensions of gadolinium oxide. The RTD responses obtained experimentally presented good reproducibility, indicating that the technique applied is well suited to investigating fluid-dynamics of spray dryers. In addition to the experimental investigation, a mathematical model was used to describe the RTD experimental curves.     

Three-dimensional fracture simulation with a single-domain,direct boundary element formulation

An efficient hypersingular boundary integral equation method for three-dimensional fracture mechanics was presented in a previous paper. The details of the numerical implementation of this method are further discussed herein. In particular, an algorithm for achieving the required differentiability of the crack surface displacement function is discussed. To illustrate the utility of the method, computational results for several strongly interacting multiple-crack geometries are presented. The calculated stress intensity factors are in excellent agreement with those obtained by an approximate analytical method due to Kachanov and Laures.     

Wake and aerodynamics loads in multiple bodies—application to turbomachinery blade rows

Two-dimensional, unsteady flow around bodies of complex geometry (or multiple bodies) at high Reynolds number is simulated using the vortex method. This method is modified to take into account the sub-grid scale phenomena through a second order velocity structure function model adapted to the Lagrangian scheme. The dynamics of the body wake is computed using the convection-diffusion splitting algorithm; the convection process is carried out with a Lagrangian Adams-Bashforth time-marching scheme and the diffusion process is simulated using the random walk method. The pressure distribution is obtained using an integral equation derived from the pressure Poisson equation, which was first developed for a single body. Results for the numerical simulation around a linear cascade of airfoils are presented. As the flow is periodic in the y direction, the discrete vortex shedding need only be considered for a reference airfoil. The flow characteristics around the NACA 65-410 series airfoils are calculated and comparisons are made with results available in the literature.