Numerical solution of the eXtended Pom-Pom model for viscoelastic free surface flows

In this paper we present a finite difference method for solving two-dimensional viscoelastic unsteady free surface flows governed by the single equation version of the eXtended Pom-Pom (XPP) model. The momentum equations are solved by a projection method which uncouples the velocity and pressure fields. We are interested in low Reynolds number flows and, to enhance the stability of the numerical method, an implicit technique for computing the pressure condition on the free surface is employed. This strategy is invoked to solve the governing equations within a Marker-and-Cell type approach while simultaneously calculating the correct normal stress condition on the free surface. The numerical code is validated by performing mesh refinement on a two-dimensional channel flow. Numerical results include an investigation of the influence of the parameters of the XPP equation on the extrudate swelling ratio and the simulation of the Barus effect for XPP fluids. (C) 2010 Elsevier B.V. All rights reserved.

Black-box decomposition approach for computational hemodynamics: One-dimensional models

Increasing efforts exist in integrating different levels of detail in models of the cardiovascular system. For instance, one-dimensional representations are employed to model the systemic circulation. In this context, effective and black-box-type decomposition strategies for one-dimensional networks are needed, so as to: (i) employ domain decomposition strategies for large systemic models (1D-1D coupling) and (ii) provide the conceptual basis for dimensionally-heterogeneous representations (1D-3D coupling, among various possibilities). The strategy proposed in this article works for both of these two scenarios, though the several applications shown to illustrate its performance focus on the 1D-1D coupling case. A one-dimensional network is decomposed in such a way that each coupling point connects two (and not more) of the sub-networks. At each of the M connection points two unknowns are defined: the flow rate and pressure. These 2M unknowns are determined by 2M equations, since each sub-network provides one (non-linear) equation per coupling point. It is shown how to build the 2M x 2M non-linear system with arbitrary and independent choice of boundary conditions for each of the sub-networks. The idea is then to solve this non-linear system until convergence, which guarantees strong coupling of the complete network. In other words, if the non-linear solver converges at each time step, the solution coincides with what would be obtained by monolithically modeling the whole network. The decomposition thus imposes no stability restriction on the choice of the time step size. Effective iterative strategies for the non-linear system that preserve the black-box character of the decomposition are then explored. Several variants of matrix-free Broyden`s and Newton-GMRES algorithms are assessed as numerical solvers by comparing their performance on sub-critical wave propagation problems which range from academic test cases to realistic cardiovascular applications. A specific variant of Broyden`s algorithm is identified and recommended on the basis of its computer cost and reliability. (C) 2010 Elsevier B.V. All rights reserved.

Numerical Solution of the Upper-Convected Maxwell Model for Three-Dimensional Free Surface Flows

This work presents a finite difference technique for simulating three-dimensional free surface flows governed by the Upper-Convected Maxwell (UCM) constitutive equation. A Marker-and-Cell approach is employed to represent the fluid free surface and formulations for calculating the non-Newtonian stress tensor on solid boundaries are developed. The complete free surface stress conditions are employed. The momentum equation is solved by an implicit technique while the UCM constitutive equation is integrated by the explicit Euler method. The resulting equations are solved by the finite difference method on a 3D-staggered grid. By using an exact solution for fully developed flow inside a pipe, validation and convergence results are provided. Numerical results include the simulation of the transient extrudate swell and the comparison between jet buckling of UCM and Newtonian fluids.

An alternative approach for general covariant Horava-Lifshitz gravity and matter coupling

Recently, in [3] Horava and Melby-Thompson proposed a nonrelativistic gravity theory with extended gauge symmetry that is free of the spin-0 graviton. We propose a minimal substitution recipe to implement this extended gauge symmetry which reproduces the results obtained by them. Our prescription has the advantage of being manifestly gauge invariant and immediately generalizable to other fields, like matter. We briefly discuss the coupling of gravity with scalar and vector fields found by our method. We show also that the extended gauge invariance in gravity does not force the value of. to be lambda = 1 as claimed in [3]. However, the spin-0 graviton is eliminated even for general lambda.

An inductor-free realization of the Chua`s circuit based on electronic analogy

Although literature presents several alternatives, an approach based on the electronic analogy was still not considered for the implementation of an inductor-free realization of the double scroll Chua`s circuit. This paper presents a new inductor-free configuration of the Chua`s circuit based on the electronic analogy. This proposal results in a versatile and functional inductorless implementation of the Chua`s circuit that offers new and interesting features for several applications. The analogous circuit is implemented and used to perform an experimental mapping of a large variety of attractors.

A New Approach to the Prediction of Partition Coefficients in Water/Organic Interfaces

In the present work, a new approach for the determination of the partition coefficient in different interfaces based on the density function theory is proposed. Our results for log P(ow) considering a n-octanol/water interface for a large super cell for acetone -0.30 (-0.24) and methane 0.95 (0.78) are comparable with the experimental data given in parenthesis. We believe that these differences are mainly related to the absence of van der Walls interactions and the limited number of molecules considered in the super cell. The numerical deviations are smaller than that observed for interpolation based tools. As the proposed model is parameter free, it is not limited to the n-octanol/water interface.

A proposed EPR approach to evaluating agonist binding site of a peptide receptor

Angiotensin II (Ang II) and its transmembrane AT(1) receptor were selected in order to test an innovative strategy that might allow the assessment of the agonist binding site in the receptor molecule. With the use of the 2,2,6,6-tetramethylpiperidine-1-oxyl-4-amino-4-carboxylic acid (TOAC) paramagnetic probe, a biologically active agonist (TOAC(1)-Ang II), as well as an inactive control (TOAC(4)-Ang II) analogs were mixed in solution with various synthesized AT(1) fragments. Comparative intermolecular interactions, as estimated by analyzing the EPR spectra of solutions, suggested the existence of an agonist binding site containing a sequence composed of portions of the N-terminal (13-17) and the third extracellular loop (266-278) fragments of the AT(1) molecule. Therefore, this combined EPR-TOAC approach shows promise as an alternative for use also in other applications related to specific intermolecular association processes.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Effects of environmental conditions, human activity, reproduction, antler cycle and grouping on fecal glucocorticoids of free-ranging Pampas deer stags (Ozotoceros bezoarticus bezoarticus)

In this study, a commercial enzyme immunoassay (EIA) was validated in detecting glucocorticoids in Pampas deer feces, in order to investigate the influence of several factors on the adrenocortical function. Fecal samples, behavioral data and information concerning male grouping and antlers status were collected at a monthly basis during a 1 year period from free-ranging stags living at Emas National Park, Brazil (18 degrees S/52 degrees W). The results revealed that concentrations of fecal glucocorticoids in winter were significantly higher than those corresponding to spring and summer. In addition, dry season data presented higher levels than during the wet season. Significant difference was found between fecal levels of breeding stags in summer and nonbreeding stags, whereas no difference was observed between breeding stags in winter and nonbreeding stags. on the other hand, males from areas with frequent human disturbance exhibited higher glucocorticoid concentrations and flight distances than individuals from areas of lower human activity. Males with antlers in velvet had elevated levels compared with animals in hard antler or antler casting. Also, we found that glucocorticoid levels were higher in groups with three or more males than in groups with only one male. The flight distances showed positive correlation with fecal glucocorticoid. These data indicate that fecal glucocorticoid provides a useful approach in the evaluation of physiological effects of environment, inter-individuals relationship and human-induced stressors on free-ranging Pampas deer stags. (c) 2005 Elsevier B.V. All rights reserved.

Numerical solution of the eXtended Pom-Pom model for viscoelastic free surface flows

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Preparation and characterization of free films of high amylose/pectin mixtures cross-linked with sodium trimetaphosphate

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Ghost free dual vector theories in 2+1 dimensions

We explore here the issue of duality versus spectrum equivalence in dual theories generated through the master action approach. Specifically we examine a generalized self-dual (GSD) model where a Maxwell term is added to the self-dual model. A gauge embedding procedure applied to the GSD model leads to a Maxwell-Chern-Simons (MCS) theory with higher derivatives. We show here that the latter contains a ghost mode contrary to the original GSD model. By figuring out the origin of the ghost we are able to suggest a new master action which interpolates between the local GSD model and a nonlocal MCS model. Those models share the same spectrum and are ghost free. Furthermore, there is a dual map between both theories at classical level which survives quantum correlation functions up to contact terms. The remarks made here may be relevant for other applications of the master action approach.

Damping behavior of continuous fiber/metal composite materials by the free vibration method

Fiber metal laminates (FML) offer significant improvements over current available materials for aircraft structures due to their excellent mechanical characteristics and relatively low density. Non-destructive testing techniques are being used in the characterization of composite materials. Among these, vibration testing is one of the most used tools because it allows the determination of the mechanical properties. In this work, the viscoelastic properties such as elastic (E') and viscous (E) responses were obtained for aluminum 2024 alloy; carbon fiber/epoxy; glass fiber/epoxy and their hybrids aluminum 2024 alloy/carbon fiber/epoxy and aluminum 2024 alloy/glass fiber/epoxy composites. The experimental results were compared to calculated E modulus values by using the composite micromechanics approach. For all specimens studied, the experimental values showed good agreement with the theoretical values. The damping behavior, i.e. The storage modulus and the loss factor, from the aluminum 2024 alloy and fiber epoxy composites can be used to estimate the viscoelastic response of the hybrid FML. (c) 2005 Elsevier Ltd. All rights reserved.

Approach combining on-line metal exchange and tangential-flow ultrafiltration for in-situ characterization of metal species in humic hydrocolloids

This paper deals with the development and optimization of an analytical procedure using ultrafiltration and a flow-injection system, and its application in in-situ experiments to characterize the lability and availability of metal species in humic-rich hydrocolloids. The on-line system consists of a tangential flow ultrafiltration device equipped with a 3-kDa filtration membrane. The concentration of free ions in the filtrate was determined by atomic-absorption spectrometry, assuming that metals not complexed by aquatic humic substances (AHS) were separated from the complexed species (M-AHS) retained by the membrane. For optimization, exchange experiments using Cu(II) solutions and AHS solutions doped with the metal ions Ni(II), Mn(II), Fe(III), Cd (II), and Zn(II) were carried out to characterize the stability of the metal-AHS complexes. The new procedure was then applied in-situ at a tributary of the Ribeira do Iguape river (Iguape, São Paulo State, Brazil) and evaluated using the ions Fe(III) and Mn(II), which are considered to be essential constituents of aquatic systems. From the exchange between metal-natural organic matter (M-NOM) and the Cu(II) ions it was concluded that Cu(II) concentrations > 485 mu g L(-1) were necessary to obtain maximum exchange of the complexes Mn-NOM and Fe-NOM, corresponding to 100% Mn and 8% Fe. Moreover, the new analytical procedure is simple and opens up new perspectives for understanding the complexation, transport, stability, and lability of metal species in humic-rich aquatic environments.

A novel biomagnetic approach to study caecocolonic motility in humans

Motility patterns play a major role in human colonic functions; however, its physiological significance is poorly understood. Several studies have been introducing the Alternating Current Biosusceptometry (ACB) as a valuable tool in gastroenterology and pharmaceutical research. Using gold standard techniques, great effort has been made to validate ACB as a method for measuring gastrointestinal motility in humans and animals. The aim of this study was to evaluate caecocolonic motility and its response to a meal in healthy volunteers. The results showed a dominant frequency of 3.17 +/- 0.13 cycles per minute (mean +/- SD) that remained unchanged even after a standardized meal (P > 0.01). The colonic response to a meal was recorded as a considerable increase in amplitude, reflected by motility index (P < 0.01) and was observed for all the volunteers. The caecocolonic motility could be assessed by the ACB providing new insights into physiological patterns of motility. Moreover, the method is non-invasive, radiation-free, cost-effective and independent of bowel preparation.