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.     

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.     

Multi-step transformation in numerical renormalization group

We compute the temperature dependent magnetic susceptibility of the single-impurity, two-channel Anderson model with an alternative multi-step numerical renormalization-group transformation, previously applied only to the two-impurity single-channel Kondo model. Compared with the traditional transformation, the new procedure requires substantially less memory and computational time, and opens therefore perspectives for the application of the numerical renormalization-group procedure to more complex Hamiltonians.     

Gas Permeability of Wetwood and Normal Wood of Subalpine Fir in Relation to Drying

Subalpine fir (Abies lasiocarpa Hook) lumber containing wetpockets (wetwood) was used for the measurements of gas permeability and the results were then compared to the gas permeability of normal wood, which was free of the wetpockets. The impacts of pretreatment methods were also investigated, including steaming at green condition, steaming at fiber saturation point (FSP), microwave treatment, and radio-frequency treatment. Results from this study demonstrated that both the transverse and the longitudinal gas permeability of subalpine fir wetwood are greater than that of normal wood. There is no significant change in the permeability after 4-h steaming pretreatment at green condition and at FSP. The impacts of microwave and radio-frequency pretreatments were not significant, but the findings cannot be generalized because they may depend on the power intensity applied.     

Nephrotic syndrome. What is new since the 1988 study?

Hormone-refractory prostate cancer (HRPC) patients often have nonmeasurable disease. In such patients, predictive biomarkers other than tumor response may be required to compare therapeutic effects. We examined the predictive value for survival of various clinical and laboratory parameters, including prostate-specific antigen (PSA), in HRPC patients treated with suramin. Data from 103 HRPC patients were analyzed using various survival analyses, the likelihood ratio approach, and logistic regression analyses. When pretreatment factors, percentage decrease in PSA at 4 weeks from start of treatment (deltaPSA), and updated survival data were fit by a multivariate Cox proportional hazards model, acid phosphatase, lactate dehydrogenase, and deltaPSA were significant, with risk ratios close to 1. There was a decrease in likelihood ratio with increasing APSA. A logistic regression model was developed to predict the probability of <1 year of survival from the start of treatment. Hemoglobin and deltaPSA were found to be significant variables. However, in view of the complexities involving the relationship between PSA expression and prostate cancer growth and possible selective effect of treatment on PSA, further prospective testing is necessary. Therefore, deltaPSA cannot necessarily be used as a biomarker for survival response in individual patients during the evaluation of the therapeutic response of HRPC to new antineoplastic drugs.     

Automatically running experiments on checking multi-party contracts

Contracts play an important role in business management where relationships among different parties are dictated by legal rules. Electronic contracts have emerged mostly due to technological advances and electronic trading between companies and customers. New challenges have then arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenario, automatic verification of electronic contracts appeared as an imperative support, specially the conflict detection task of multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but there are few, if any, methods and practical tools that can deal with multi-party contracts using a contract language with deontic and dynamic aspects as well as relativizations, over the same formalism. In this work we present an automatic checker for finding conflicts on multi-party contracts modeled by an extended contract language with deontic operators and relativizations. Moreover a well-known case study of sales contract is modeled and automatically verified by our tool. Further, we performed practical experiments in order to evaluate the efficiency of our method and the practical tool.

     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.