Hybrid Multiscale Finite Volume method for two-phase flow in porous media

We present a novel hybrid (or multiphysics) algorithm, which couples pore-scale and Darcy descriptions of two-phase flow in porous media. The flow at the pore-scale is described by the Navier?Stokes equations, and the Volume of Fluid (VOF) method is used to model the evolution of the fluid?fluid interface. An extension of the Multiscale Finite Volume (MsFV) method is employed to construct the Darcy-scale problem. First, a set of local interpolators for pressure and velocity is constructed by solving the Navier?Stokes equations; then, a coarse mass-conservation problem is constructed by averaging the pore-scale velocity over the cells of a coarse grid, which act as control volumes; finally, a conservative pore-scale velocity field is reconstructed and used to advect the fluid?fluid interface. The method relies on the localization assumptions used to compute the interpolators (which are quite straightforward extensions of the standard MsFV) and on the postulate that the coarse-scale fluxes are proportional to the coarse-pressure differences. By numerical simulations of two-phase problems, we demonstrate that these assumptions provide hybrid solutions that are in good agreement with reference pore-scale solutions and are able to model the transition from stable to unstable flow regimes. Our hybrid method can naturally take advantage of several adaptive strategies and allows considering pore-scale fluxes only in some regions, while Darcy fluxes are used in the rest of the domain. Moreover, since the method relies on the assumption that the relationship between coarse-scale fluxes and pressure differences is local, it can be used as a numerical tool to investigate the limits of validity of Darcy's law and to understand the link between pore-scale quantities and their corresponding Darcy-scale variables.

Kuranishi type Moduli Spaces for proper CR submersions fibering over the circle

Kuranishi's fundamental result (1962) associates to any compact complex manifold X&sub&0&/sub& a finite-dimensional analytic space which has to be thought of as a local moduli space of complex structures close to X&sub&0&/sub&. In this paper, we give an analogous statement for Levi-flat CR manifolds fibering properly over the circle by describing explicitely an infinite-dimensional Kuranishi type local moduli space of Levi-flat CR structures. We interpret this result in terms of Kodaira-Spencer deformation theory making clear the likenesses as well as the differences with the classical case. The article ends with applications and examples.

Full diversity product codes for block erasure and block fading channels

We show how to build full-diversity product codes under both iterative encoding and decoding over non-ergodic channels, in presence of block erasure and block fading. The concept of a rootcheck or a root subcode is introduced by generalizing the same principle recently invented for low-density parity-check codes. We also describe some channel related graphical properties of the new family of product codes, a familyreferred to as root product codes.

Voting with preferences over margins of victory

This paper analyzes a two-alternative voting model with the distinctive feature that voters have preferences over margins of victory. We study voting contests with a finite as well as an infinite number of voters, and with and without mandatory voting. The main result of the paper is the existence and characterization of a unique equilibrium outcome in all those situations. At equilibrium, voters who prefer a larger support for one of the alternatives vote for such alternative.The model also provides a formal argument for the conditional sincerity voting condition in Alesina and Rosenthal (1995) and the benefit of voting function in Llavador (2006). Finally, we offer new insights on explaining why some citizens may vote strategically for an alternative different from the one declared as the most preferred.

Study of the mechanisms regulating the proliferative potential of human CD8+T lymphocytes over-expressing telomerase reverse transcriptase (hTERT)

Résumé La plupart des cellules issues du sang ont une durée de vie limitée. Dans les cellules somatiques humaines, y incluant les lymphocytes T, la taille des télomères diminue progressivement à chaque division cellulaire, pouvant aboutir à des instabilités chromosomiques. L'expression ectopique du gène de la transcriptase réverse de la télomérase (hTERT) dans les cellules restaure l'activité de la télomérase, et permet un rallongement de leur vie réplicative. Malgré l'absence de signes caractéristiques de transformation, nous ne savons pas encore si les cellules somatiques qui surexpriment hTERT sont physiologiquement indiscernables des cellules normales. Certaines études récentes proposent que la télomérase joue plusieurs rôles additionnels dans d'autres phénomènes biologiques tels que la réparation de l'ADN, la survie et la croissance des cellules. Dans notre étude, nous avons utilisé des clones issus de lymphocytes T cytotoxiques surexprimant la télomérase afin d'étudier les mécanismes moléculaires qui règlent leur prolifération et leur sénescence. Nous avons montré que les «jeunes » cellules T exprimant ou non hTERT révèlent des taux de croissance identiques suite à des réponses de stimulation induites par des mitogènes. De plus, aucun changement global dans leur expression des gènes n'a pu être mis en évidence. Curieusement, nous avons observé des réponses réduites dans la prolifération des cellules transduites avec la télomérase qui présentaient une élongation des télomères et une durée de vie prolongée. Ces cellules, malgré le maintien d'un niveau élevé de l'expression de gènes impliqués dans la progression du cycle cellulaire, ont également montré une expression accrue de plusieurs gènes trouvés en commun avec nos lymphocytes T vieillissants n'exprimant pas de télomérase. En particulier, les cellules ayant une durée de vie prolongée grâce à l'expression de la télomérase accumulaient également certains inhibiteurs du cycle cellulaire tels que p16Ink4a et p21Cip1, associés à l'arrêt de la croissance cellulaire. En résumé, nos résultats indiquent la présence fonctionnelle de mécanismes alternatifs pouvant contrôler la croissance réplicative de ces cellules; ils sont donc encourageants dans l'optique d'une utilisation à moindre risque de lymphocytes T «immortalisés » à des fins thérapeutiques pour traiter les tumeurs malignes ou les infections. Summary Most mature blood cells have a finite life span. In human somatic cells, including T lymphocytes, telomeres progressively shorten with each cell division eventually leading to chromosomal instability. Ectopic expression of the human telomerase reverse transcriptase (hTERT) gene in cells restores telomerase activity and results in the extension of their replicative life span. Despite lack of transformation characteristics, it is yet unknown whether somatic cells that over-express telomerase are biologically and physiologically indistinguishable from normal cells. Recent data suggest that telomerase might mediate additional functions in DNA repair, cell survival and cell growth. Using CD8+ T lymphocyte clones over-expressing telomerase we investigated the molecular mechanisms that regulate T cell proliferation and senescence. Here we show that early-passage T cell clones transduced or not with hTERT displayed identical growth rates upon mitogenic stimulation and no marked global changes in gene expression. Surprisingly, reduced proliferative responses were observed in hTERT-transduced cells with elongated telomeres and extended life span. These cells, despite maintaining high expression level of genes involved in cell cycle division and progression, also showed increased expression of several genes associated with normal aging T lymphocytes. In particular, late passage T cells over-expressing telomerase accumulated the cyclin-dependent inhibitors p16INK4a and p21CIP1 that have largely been associated with in vitro growth arrest. Whether tumor-reactive CD8+ T cells that ectopically express telomerase could now be used for adoptive transfer therapy in cancer patients remains unclear at this point. Nevertheless, our results regarding the safe and effective use of hTERT-transduced lymphocytes are encouraging, since they indicate that alternative growth arrest mechanisms such as p 16 and p21 are still functional in these cells and regulate to some extend their growth potential.

Comment on "Influence of bulk properties on the surface structure of finite nuclei"

We comment on a recent paper by Uma Maheswari et al. in which it is claimed that quantal calculations of the half-infinite nuclear matter, in contrast to semiclassical approximations, exhibit an unusually strong dependence of the 90%10% surface thickness of the density profile on the Fermi momentum kF at saturation. This conclusion was carried over to the surface incompressibility. On the contrary we find essential agreement between semiclassical and quantal results and very weak dependence on kF of the quantities in question.

(K)over-bar* mesons in dense matter

We study the properties of (K) over bar* mesons in nuclear matter using a unitary approach in coupled channels within the framework of the local hidden gauge formalism and incorporating the (K) over bar pi decay channel in matter. The in-medium (K) over bar *N interaction accounts for Pauli blocking effects and incorporates the (K) over bar* self-energy in a self-consistent manner. We also obtain the (K) over bar* (off-shell) spectral function and analyze its behavior at finite density and momentum. At a normal nuclear matter density, the (K) over bar* meson feels a moderately attractive potential, while the (K) over bar* width becomes five times larger than in free space. We estimate the transparency ratio of the gamma A -> K+K*(-) A` reaction, which we propose as a feasible scenario at the present facilities to detect changes in the properties of the (K) over bar* meson in nuclear medium.

Finite-size scaling investigation of the liquid-liquid critical point in ST2 water and its stability with respect to crystallization.

The liquid-liquid critical point scenario of water hypothesizes the existence of two metastable liq- uid phases low-density liquid (LDL) and high-density liquid (HDL) deep within the supercooled region. The hypothesis originates from computer simulations of the ST2 water model, but the stabil- ity of the LDL phase with respect to the crystal is still being debated. We simulate supercooled ST2 water at constant pressure, constant temperature, and constant number of molecules N for N ≤ 729 and times up to 1 μs. We observe clear differences between the two liquids, both structural and dynamical. Using several methods, including finite-size scaling, we confirm the presence of a liquid-liquid phase transition ending in a critical point. We find that the LDL is stable with respect to the crystal in 98% of our runs (we perform 372 runs for LDL or LDL-like states), and in 100% of our runs for the two largest system sizes (N = 512 and 729, for which we perform 136 runs for LDL or LDL-like states). In all these runs, tiny crystallites grow and then melt within 1 μs. Only for N ≤ 343 we observe six events (over 236 runs for LDL or LDL-like states) of spontaneous crystal- lization after crystallites reach an estimated critical size of about 70 ± 10 molecules.

Statistical properties of population differentiation estimators under stepwise mutation in a finite island model.

Microsatellite loci mutate at an extremely high rate and are generally thought to evolve through a stepwise mutation model. Several differentiation statistics taking into account the particular mutation scheme of the microsatellite have been proposed. The most commonly used is R(ST) which is independent of the mutation rate under a generalized stepwise mutation model. F(ST) and R(ST) are commonly reported in the literature, but often differ widely. Here we compare their statistical performances using individual-based simulations of a finite island model. The simulations were run under different levels of gene flow, mutation rates, population number and sizes. In addition to the per locus statistical properties, we compare two ways of combining R(ST) over loci. Our simulations show that even under a strict stepwise mutation model, no statistic is best overall. All estimators suffer to different extents from large bias and variance. While R(ST) better reflects population differentiation in populations characterized by very low gene-exchange, F(ST) gives better estimates in cases of high levels of gene flow. The number of loci sampled (12, 24, or 96) has only a minor effect on the relative performance of the estimators under study. For all estimators there is a striking effect of the number of samples, with the differentiation estimates showing very odd distributions for two samples.

Proteomic and transcriptomic analysis of human CD8(+) T lymphocytes over-expressing telomerase.

Human T lymphocytes have a finite life span resulting from progressive telomere shortening that occurs at each cell division, eventually leading to chromosomal instability. It has been shown that ectopic expression of the human telomerase reverse transcriptase (hTERT) gene into various human cells results in the extension of their replicative life span, without inducing changes associated with transformation. However, it is still unclear whether cells that over-express telomerase are physiologically and biochemically indistinguishable from normal cells. To address this question, we compared the proteome of young and aged human CD8(+) T lymphocytes with that of T cells transduced with hTERT. Interestingly, we found no global changes in the protein pattern in young T cells, irrespective of telomerase expression. In contrast, several relevant proteins with differential expression patterns were observed in hTERT-transduced T cells with extended life span upon long-term culture. Altogether, our data revealed that T lymphocytes over-expressing telomerase displayed an intermediate protein pattern, sharing a similar protein expression not only with young T cells, but also with aged T cells. Finally, the results obtained from this global proteomic approach are in agreement with the overall gene transcription profiling performed on the same T-cell derived clones.

Electromagnetic Design of a Solid Steel Rotor Motor for Demanding Operation Environments

The solid-rotor induction motor provides a mechanically and thermally reliable solution for demanding environments where other rotor solutions are prohibited or questionable. Solid rotors, which are manufactured of single pieces of ferromagnetic material, are commonly used in motors in which the rotationspeeds exceed substantially the conventional speeds of laminated rotors with squirrel-cage. During the operation of a solid-rotor electrical machine, the rotor core forms a conductor for both the magnetic flux and the electrical current. This causes an increase in the rotor resistance and rotor leakage inductance, which essentially decreases the power factor and the efficiency of the machine. The electromagnetic problems related to the solid-rotor induction motor are mostly associated with the low performance of the rotor. Therefore, the main emphasis in this thesis is put on the solid steel rotor designs. The rotor designs studied in thisthesis are based on the fact that the rotor construction should be extremely robust and reliable to withstand the high mechanical stresses caused by the rotational velocity of the rotor. In addition, the demanding operation environment sets requirements for the applied materials because of the high temperatures and oxidizing acids, which may be present in the cooling fluid. Therefore, the solid rotors analyzed in this thesis are made of a single piece of ferromagnetic material without any additional parts, such as copper end-rings or a squirrel-cage. A pure solid rotor construction is rigid and able to keep its balance over a large speed range. It also may tolerate other environmental stresses such as corroding substances or abrasive particles. In this thesis, the main target is to improve the performance of an induction motor equipped with a solid steel rotor by traditional methods: by axial slitting of the rotor, by selecting a proper rotor core material and by coating the rotor with a high-resistive stainless ferromagnetic material. In the solid steel rotor calculation, the rotor end-effects have a significant effect on the rotor characteristics. Thus, the emphasis is also put on the comparison of different rotor endfactors. In addition, a corrective slip-dependent end-factor is proposed. The rotor designs covered in this thesis are the smooth solid rotor, the axially slitted solid rotor and the slitted rotor having a uniform ferromagnetic coating cylinder. The thesis aims at design rules for multi-megawatt machines. Typically, mega-watt-size solidrotor machines find their applications mainly in the field of electric-motor-gas-compression systems, in steam-turbine applications, and in various types of largepower pump applications, where high operational speeds are required. In this thesis, a 120 kW, 10 000 rpm solid-rotor induction motor is usedas a small-scale model for such megawatt-range solid-rotor machines. The performance of the 120 kW solid-rotor induction motors is determined by experimental measurements and finite element calculations.

An alternative finite element formulation for determination of streamlines in two-dimensional problems

It is well known that the numerical solutions of incompressible viscous flows are of great importance in Fluid Dynamics. The graphics output capabilities of their computational codes have revolutionized the communication of ideas to the non-specialist public. In general those codes include, in their hydrodynamic features, the visualization of flow streamlines - essentially a form of contour plot showing the line patterns of the flow - and the magnitudes and orientations of their velocity vectors. However, the standard finite element formulation to compute streamlines suffers from the disadvantage of requiring the determination of boundary integrals, leading to cumbersome implementations at the construction of the finite element code. In this article, we introduce an efficient way - via an alternative variational formulation - to determine the streamlines for fluid flows, which does not need the computation of contour integrals. In order to illustrate the good performance of the alternative formulation proposed, we capture the streamlines of three viscous models: Stokes, Navier-Stokes and Viscoelastic flows.

Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type

Subshifts are sets of configurations over an infinite grid defined by a set of forbidden patterns. In this thesis, we study two-dimensional subshifts offinite type (2D SFTs), where the underlying grid is Z2 and the set of for-bidden patterns is finite. We are mainly interested in the interplay between the computational power of 2D SFTs and their geometry, examined through the concept of expansive subdynamics. 2D SFTs with expansive directions form an interesting and natural class of subshifts that lie between dimensions 1 and 2. An SFT that has only one non-expansive direction is called extremely expansive. We prove that in many aspects, extremely expansive 2D SFTs display the totality of behaviours of general 2D SFTs. For example, we construct an aperiodic extremely expansive 2D SFT and we prove that the emptiness problem is undecidable even when restricted to the class of extremely expansive 2D SFTs. We also prove that every Medvedev class contains an extremely expansive 2D SFT and we provide a characterization of the sets of directions that can be the set of non-expansive directions of a 2D SFT. Finally, we prove that for every computable sequence of 2D SFTs with an expansive direction, there exists a universal object that simulates all of the elements of the sequence. We use the so called hierarchical, self-simulating or fixed-point method for constructing 2D SFTs which has been previously used by Ga´cs, Durand, Romashchenko and Shen.

Bounds on edit metric codes with combinatorial DNA constraints

The design of a large and reliable DNA codeword library is a key problem in DNA based computing. DNA codes, namely sets of fixed length edit metric codewords over the alphabet {A, C, G, T}, satisfy certain combinatorial constraints with respect to biological and chemical restrictions of DNA strands. The primary constraints that we consider are the reverse--complement constraint and the fixed GC--content constraint, as well as the basic edit distance constraint between codewords. We focus on exploring the theory underlying DNA codes and discuss several approaches to searching for optimal DNA codes. We use Conway's lexicode algorithm and an exhaustive search algorithm to produce provably optimal DNA codes for codes with small parameter values. And a genetic algorithm is proposed to search for some sub--optimal DNA codes with relatively large parameter values, where we can consider their sizes as reasonable lower bounds of DNA codes. Furthermore, we provide tables of bounds on sizes of DNA codes with length from 1 to 9 and minimum distance from 1 to 9.

Construction of I-Deletion-Correcting Ternary Codes

Finding large deletion correcting codes is an important issue in coding theory. Many researchers have studied this topic over the years. Varshamov and Tenegolts constructed the Varshamov-Tenengolts codes (VT codes) and Levenshtein showed the Varshamov-Tenengolts codes are perfect binary one-deletion correcting codes in 1992. Tenegolts constructed T codes to handle the non-binary cases. However the T codes are neither optimal nor perfect, which means some progress can be established. Latterly, Bours showed that perfect deletion-correcting codes have a close relationship with design theory. By this approach, Wang and Yin constructed perfect 5-deletion correcting codes of length 7 for large alphabet size. For our research, we focus on how to extend or combinatorially construct large codes with longer length, few deletions and small but non-binary alphabet especially ternary. After a brief study, we discovered some properties of T codes and produced some large codes by 3 different ways of extending some existing good codes.