Studies on helium flow in experimental loops with different impedances operated with fountain effect pumps

An experimental flow loop with He II flow driven by fountain effect pumps (FEPs) is studied with respect to operation at different flow impedances and with thermal loads applied at different positions. The measured values of temperature, flow rate and pressure drop are compared with calculations resulting from a simplified model which assumes ideal performance of the porous plug and of the heat exchangers and which does not take into account Gorter-Mellink (GM) conduction. The main features of the loop are shown to be well described by this model. Refined calculations with a more complex model, including GM conduction of the He II, are only required for predicting the temperature distribution in some discrete regions of the loop.

Free convection about cylinders of elliptic cross section embedded in a porous medium

Numerical solutions are presented for the free convection boundary layers over cylinders of elliptic cross section embedded in a fluid-saturated porous medium. The transformed conservation equations of the nonsimilar boundary layers are solved numerically by an efficient finite-difference method. The theory was applied to a number of cylinders and the results compared very well with published analytical solutions. The results are of use in the design of underground electrical cables, power plant steam, and water distribution lines, among others.

Why the Definition of Eusociality Is Not Helpful to Understand Its Evolution and What Should We Do about It

The evolution of altruism is the central problem of the evolution of eusociality. The evolution of altruism is most likely to be understood by studying species that show altruism in spite of being capable of ''selfish'' individual reproduction. But the definition of eusociality groups together primitively eusocial species where workers retain the ability to reproduce on their own and highly eusocial species where workers have lost reproductive options. At the same time it separates the primitively eusocial species from semisocial species, species that lack life-time sterility and cooperatively breeding birds and mammals, in most of which, altruism and the associated social life are facultative. The definition of eusociality is also such that it is sometimes difficult to decide,what is eusocial and what is not. I therefore suggest that, (1) we expand the scope of eusociality to include semisocial species, primitively eusocial species, highly eusocial species as well as those cooperatively breeding birds and mammals where individuals give up substantial or all personal reproduction for aiding conspecifics, (2) there should be no requirement of overlap of generations or of life-time sterility and (3) the distinction between primitively and highly eusocial should continue, based on the presence or absence of morphological caste differentiation.

Conjectures about phase turbulence in the complex Ginzburg-Landau equation

In the complex Ginzburg-Landau equation, we consider possible ''phase turbulent'' regimes, where asymptotic correlations are controlled by phase fluctuations rather than by topological defects. Conjecturing that the decay of such correlations is governed by the Kardar-Parisi-Zhang (KPZ) model of growing interfaces, we derive the following results: (1) A scaling ansatz implies that equal-time spatial correlations in 1d, 2d, and 3d decay like e(-Ax2 zeta), where A is a nonuniversal constant, and zeta=1/2 in 1d. (2) Temporal correlations decay as exp(-t(2 beta)h(t/L(z))), with the scaling law <(beta)over bar> = <(zeta)over bar>/z, where z = 3/2, 1.58..., and 1.66..., for d = 1,2, and 3 respectively. The scaling function h(y) approaches a constant as y --> 0, and behaves like y(2(beta-<(beta)over bar>)), for large y. If in 3d the associated KPZ model turns out to be in its weak-coupling (''smooth'') phase, then, instead of the above behavior, the CGLE exhibits rotating long-range order whose connected correlations decay like 1/x in space or 1/t(1/2) in time. (3) For system sizes, L, and times t respectively less than a crossover length, L(c), and time, t(c), correlations are governed by the free-field or Edwards-Wilkinson (EW) equation, rather than the KPZ model. In 1d, we find that L(c) is large: L(c) similar to 35,000; for L < L(c) we show numerical evidence for stretched exponential decay of temporal correlations with an exponent consistent with the EW value beta(EW)= 1/4.

Mixed convection heat transfer from the bottom tip of a cylinder spinning about a vertical axis in a saturated porous medium

The present work is a numerical study of heat transfer characteristics from the bottom tip of a cylinder spinning about a vertical axis in an infinitely saturated porous medium. The problem is axisymmetric. The non-dimensionalized governing equations are solved using the SIMPLER algorithm on a staggered grid. The influence of rotational Reynolds numbers and Darcy numbers on the heat transfer for a Grashof number of 104 and Prandtl number of 7.0 is studied. It is found that for very high Darcy numbers, over a wide range of rotational Reynolds numbers, the heat transfer takes place mainly due to conduction. The convective heat transfer takes place for lower Darcy numbers and for higher rotational Reynolds numbers. Moreover, there is a rapid increase in the overall Nusselt number below a certain Darcy number with increase in the rotational Reynolds numbers. The effect of the Darcy number and the rotational Reynolds number on the heat transfer and fluid flow in the porous medium is depicted in the form of streamline and isotherm plots. The variation of the overall Nusselt number with respect to the Darcy number for various rotational Reynolds numbers is plotted. The variation of the local Nusselt number with respect to the radial coordinate at the heated tip of the vertical cylinder is plotted for various Darcy and rotational Reynolds numbers.

Probabilistic extension to realistic abductive reasoning model

In this paper, we give a method for probabilistic assignment to the Realistic Abductive Reasoning Model, The knowledge is assumed to be represented in the form of causal chaining, namely, hyper-bipartite network. Hyper-bipartite network is the most generalized form of knowledge representation for which, so far, there has been no way of assigning probability to the explanations, First, the inference mechanism using realistic abductive reasoning model is briefly described and then probability is assigned to each of the explanations so as to pick up the explanations in the decreasing order of plausibility.

What's the hype about CDK5RAP2?

Cyclin dependent kinase 5 regulatory subunit-associated protein 2 (CDK5RAP2) has gained attention in the last years following the discovery, in 2005, that recessive mutations cause primary autosomal recessive microcephaly. This disease is seen as an isolated developmental defect of the brain, particularly of the cerebral cortex, and was thus historically also referred to as microcephalia vera. Unraveling the pathomechanisms leading to this human disease is fascinating scientists because it can convey insight into basic mechanisms of physiologic brain development (particularly of cortex formation). It also finds itself in the spotlight because of its implication in trends in mammalian evolution with a massive increase in the size of the cerebral cortex in primates. Here, we provide a timely overview of the current knowledge on the function of CDK5RAP2 and mechanisms that might lead to disease in humans when the function of this protein is disturbed.

Register Allocation and Optimal Spill code Scheduling in Software Pipelined Loops using 0-1 Integer Linear Programming Formulation

In achieving higher instruction level parallelism, software pipelining increases the register pressure in the loop. The usefulness of the generated schedule may be restricted to cases where the register pressure is less than the available number of registers. Spill instructions need to be introduced otherwise. But scheduling these spill instructions in the compact schedule is a difficult task. Several heuristics have been proposed to schedule spill code. These heuristics may generate more spill code than necessary, and scheduling them may necessitate increasing the initiation interval. We model the problem of register allocation with spill code generation and scheduling in software pipelined loops as a 0-1 integer linear program. The formulation minimizes the increase in initiation interval (II) by optimally placing spill code and simultaneously minimizes the amount of spill code produced. To the best of our knowledge, this is the first integrated formulation for register allocation, optimal spill code generation and scheduling for software pipelined loops. The proposed formulation performs better than the existing heuristics by preventing an increase in II in 11.11% of the loops and generating 18.48% less spill code on average among the loops extracted from Perfect Club and SPEC benchmarks with a moderate increase in compilation time.

About the transparent electrode of the organic photovoltaic cells

Electrodes and the nature of their contact with organic materials play a crucial role in the realization of efficient optoelectronic components. Whether the injection (organic light-emitting diodes - OLEDs) or collection (organic photovoltaic cells - OPV cells) of carriers, contacts must be as efficient as possible. To do this, it is customary to refer to electrode surface treatment and/or using a buffer layer all things to optimize the contact. Efficiency of organic photovoltaic cells based on organic electron donor/organic electron acceptor junctions can be strongly improved when the transparent conductive anode is coated with a buffer layer (ABL). We show that an ultra-thin gold (0.5 nm) or a thin molybdenum oxide (3-5 nm) can be used as efficient ABL. However, the effects of these ABL depend on the highest occupied molecular orbital (HOMO) of different electron donors of the OPV cells. The results indicate that, in the case of metal ABL, a good matching between the work function of the anode and the highest occupied molecular orbital of the donor material is the major factor limiting the hole transfer efficiency. Indeed, gold is efficient as ABL only when the HOMO of the organic donor is close to its work function Phi(Au). MoO3 has a wider field of application as ABL than gold. The role of the oxide is not so clearly understood than that of Au, different models proposed to interpret the experimental results are discussed.

Runtime dependence computation and execution of loops on heterogeneous systems

GPUs have been used for parallel execution of DOALL loops. However, loops with indirect array references can potentially cause cross iteration dependences which are hard to detect using existing compilation techniques. Applications with such loops cannot easily use the GPU and hence do not benefit from the tremendous compute capabilities of GPUs. In this paper, we present an algorithm to compute at runtime the cross iteration dependences in such loops. The algorithm uses both the CPU and the GPU to compute the dependences. Specifically, it effectively uses the compute capabilities of the GPU to quickly collect the memory accesses performed by the iterations by executing the slice functions generated for the indirect array accesses. Using the dependence information, the loop iterations are levelized such that each level contains independent iterations which can be executed in parallel. Another interesting aspect of the proposed solution is that it pipelines the dependence computation of the future level with the actual computation of the current level to effectively utilize the resources available in the GPU. We use NVIDIA Tesla C2070 to evaluate our implementation using benchmarks from Polybench suite and some synthetic benchmarks. Our experiments show that the proposed technique can achieve an average speedup of 6.4x on loops with a reasonable number of cross iteration dependences.

ABOUT FORMS OF ELECTRONIC AND IONIC DEVICES WITH THERMIONIC CATHODES.

The miniaturization of electronic and ionic devices with thermionic cathodes and thc improvement of their vacuum properties are questions of very great interest to the electronic engineer. However there have bcen no proposals so far to analyse the problem of miniaturization of such devices In a fundamental way. The present work suggests a choice of the geometrical shape of the cathode, the anode and the envelope of the device, that may help towards such a fundamcnlal approach.It is shown that a design, in which the cathode and the envelope of the tube are made of thm prismatic shape and the anode coincides with the cnvclope, offers a slriknrg advantage over the conventional cylindrical design, in respect of over-all size. The use of the prismatic shape will lead to considerable economy in msterials and may facilitate simpler prodoct~ont echn~ques. I n respect of the miin criteria of vacuum, namely the grade of vacuum, the internal volume occupied by residual gases, the evolution of gases in the internal space and the diffusion of gases from outside into the devicc, it is shown that the prismatic form is at least as good as, if not somewhat superior lo, the cylindrical form.In the actual construction of thin prismatic tubes, manv practical problems will arise, the most important being the mechanical strength and stablity of the structure. But the changeover from the conventional cylindrical to the new prirmaiic form, with its basic advantages, is a development that merits close attention.

A Novel Design Method for SOGI-PLL for Minimum Settling Time and Low Unit Vector Distortion

Phase-locked loops (PLLs) are necessary in grid connected systems to obtain information about the frequency, amplitude and phase of the grid voltage. In stationary reference frame control, the unit vectors of PLLs are used for reference generation. It is important that the PLL performance is not affected significantly when grid voltage undergoes amplitude and frequency variations. In this paper, a novel design for the popular single-phase PLL topology, namely the second-order generalized integrator (SOGI) based PLL is proposed which achieves minimum settling time during grid voltage amplitude and frequency variations. The proposed design achieves a settling time of less than 27.7 ms. This design also ensures that the unit vectors generated by this PLL have a steady state THD of less than 1% during frequency variations of the grid voltage. The design of the SOGI-PLL based on the theoretical analysis is validated by experimental results.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.