Experimental and numerical investigation on forced convection in circular tubes with nanofluids

This paper was presented at the 4th Micro and Nano Flows Conference (MNF2014), which was held at University College, London, UK. The conference was organised by Brunel University and supported by the Italian Union of Thermofluiddynamics, IPEM, the Process Intensification Network, the Institution of Mechanical Engineers, the Heat Transfer Society, HEXAG - the Heat Exchange Action Group, and the Energy Institute, ASME Press, LCN London Centre for Nanotechnology, UCL University College London, UCL Engineering, the International NanoScience Community, www.nanopaprika.eu.In this paper an experimental and numerical study to investigate the convective heat transfer characteristics of fully developed turbulent flow of a water–Al2O3 nanofluid in a circular tube is presented. The numerical simulations are accomplished on the experimental test section configuration. In the analysis, the fluid flow and the thermal field are assumed axial-symmetric, two-dimensional and steady state. The single-phase model is employed to model the nanofluid mixture and k-ε model is used to describe the turbulent fluid flow. Experimental and numerical results are carried out for different volumetric flow rates and nanoparticles concentration values. Heat transfer convective coefficients as a function of flow rates and Reynolds numbers are presented. The results indicate that the heat transfer coefficients increase for all nanofluids concentrations compared to pure water at increasing volumetric flow rate. Heat transfer coefficient increases are observed at assigned volumetric flow rate for nanofluid mixture with higher concentrations whereas Nusselt numbers present lower values than the ones for pure water

The effect of experience and of dots\u2019 density and duration on the detection of coherent motion in dogs

Knowledge about the mechanisms underlying canine vision is far from being exhaustive, especially that concerning post- retinal elaboration. One aspect that has received little attention is motion perception, and in spite of the common belief that dogs are extremely apt at detecting moving stimuli, there is no scientific support for such an assumption. In fact, we recently showed that dogs have higher thresholds than humans for coherent motion detection (Kanizsar et al. in Sci Rep UK 7:11259, 2017). This term refers to the ability of the visual system to perceive several units moving in the same direction, as one coherently moving global unit. Coherent motion perception is commonly investigated using random dot displays, containing variable proportions of coherently moving dots. Here, we investigated the relative contribution of local and global integra- tion mechanisms for coherent motion perception, and changes in detection thresholds as a result of repeated exposure to the experimental stimuli. Dogs who had been involved in the previous study were given a conditioned discrimination task, in which we systematically manipulated dot density and duration and, eventually, re-assessed our subjects\u2019 threshold after extensive exposure to the stimuli. Decreasing dot duration impacted on dogs\u2019 accuracy in detecting coherent motion only at very low duration values, revealing the efficacy of local integration mechanisms. Density impacted on dogs\u2019 accuracy in a linear fashion, indicating less efficient global integration. There was limited evidence of improvement in the re-assessment but, with an average threshold at re-assessment of 29%, dogs\u2019 ability to detect coherent motion remains much poorer than that of humans

Laser driven self-assembly of shape-controlled potassium nanoparticles in porous glass

We observe growth of shape-controlled potassium nanoparticles inside a random network of glass nanopores, exposed to low-power laser radiation. Visible laser light plays a dual role: it increases the desorption probability of potassium atoms from the inner glass walls and induces the self-assembly of metastable metallic nanoparticles along the nanopores. By probing the sample transparency and the atomic light-induced desorption flux into the vapour phase, the dynamics of both cluster formation/evaporation and atomic photo-desorption processes are characterized. Results indicate that laser light not only increases the number of nanoparticles embedded in the glass matrix but also influences their structural properties. By properly choosing the laser frequency and the illumination time, we demonstrate that it is possible to tailor the nanoparticles'shape distribution. Furthermore, a deep connection between the macroscopic behaviour of atomic desorption and light-assisted cluster formation is observed. Our results suggest new perspectives for the study of atom/surface interaction as well as an effective tool for the light-controlled reversible growth of nanostructures.Comment: 14 pages,6 figures, http://iopscience.iop.org/1612-202X/11/8/085902

Significant reduction in arc frequency biased solar cells: Observations, diagnostics, and mitigation technique(s)

A variety of experiments were performed which identify key factors contributing to the arcing of negatively biased high voltage solar cells. These efforts have led to reduction of greater than a factor of 100 in the arc frequency of a single cell following proper remediation procedures. Experiments naturally lead to and focussed on the adhesive/encapsulant that is used to bond the protective cover slip to the solar cell. An image-intensified charge coupled device (CCD) camera system recorded UV emission from arc events which occurred exclusively along the interfacial edge between the cover slip and the solar cell. Microscopic inspection of this interfacial region showed a bead of encapsulant along this entire edge. Elimination of this encapsulant bead reduced the arc frequency by two orders of magnitude. Water contamination was also identified as a key contributor which enhances arcing of the encapsulant bead along the solar cell edge. Spectrally resolved measurements of the observable UV light shows a feature assignable to OH(A-X) electronic emission, which is common for water contaminated discharges. Experiments in which the solar cell temperature was raised to 85 C showed a reduced arcing frequency, suggesting desorption of H2O. Exposing the solar cell to water vapor was shown to increase the arcing frequency. Clean dry gases such as O2, N2, and Ar show no enhancement of the arcing rate. Elimination of the exposed encapsulant eliminates any measurable sensitivity to H2O vapor

Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost

We report on the actual industrial use of formal methods during the development of a software bus. During an internship at Neopost Inc., of 14 weeks, we developed the server component of a software bus, called the XBus, using formal methods during the design, validation and testing phase: we modeled our design of the XBus in the process algebra mCRL2, validated the design using the mCRL2-simulator, and fully automatically tested our implementation with the model-based test tool JTorX. This resulted in a well- tested software bus with a maintainable architecture. Writing the model (mdev), simulating it, and testing the implementation with JTorX only took 17% of the total development time. Moreover, the errors found with model-based testing would have been hard to find with conventional test methods. Thus, we show that formal engineering can be feasible, beneficial and cost-effective.\ud The findings above, reported earlier by us in (Sijtema et al., 2011) [1], were well- received, also in industrially oriented conferences (Ferreira and Romanenko, 2010) [2] and [3]. In this paper, we look back on the case study, and carefully analyze its merits and shortcomings. We reflect on (1) the added benefits of model checking, (2) model completeness and (3) the quality and performance of the test process.\ud Thus, in a second phase, after the internship, we model checked the XBus protocol—this was not done in [1] since the Neopost business process required a working implementation after 14 weeks. We used the CADP tool evaluator4 to check the behavioral requirements obtained during the development. Model checking did not uncover errors in model mdev, but revealed that model mdev was neither complete nor optimized: in particular, requirements to the so-called bad weather behavior (exceptions, unexpected inputs, etc.) were missing. Therefore, we created several improved models, checked that we could validate them, and used them to analyze quality and performance of the test process. Model checking was expensive: it took us approx. 4 weeks in total, compared to 3 weeks for the entire model-based testing approach during the internship.\ud In the second phase, we analyzed the quality and performance of the test process, where we looked at both code and model coverage. We found that high code coverage (almost 100%) is in most cases obtained within 1000 test steps and 2 minutes, which matches the fact that the faults in the XBus were discovered within a few minutes.\ud Summarizing, we firmly believe that the formal engineering approach is cost-effective, and produces high quality software products. Model checking does yield significantly better models, but is also costly. Thus, system developers should trade off higher model quality against higher costs

Quantum harmonic oscillator state synthesis by reservoir engineering

The robust generation of quantum states in the presence of decoherence is a primary challenge for explorations of quantum mechanics at larger scales. Using the mechanical motion of a single trapped ion, we utilize reservoir engineering to generate squeezed, coherent and displaced-squeezed states as steady states in the presence of noise. We verify the created state by generating two-state correlated spin-motion Rabi oscillations resulting in high contrast measurements. For both cooling and measurement, we use spin-oscillator couplings that provide transitions between oscillator states in an engineered Fock state basis. Our approach should facilitate studies of entanglement, quantum computation, and open-system quantum simulations in a wide range of physical systems.Comment: 17 pages, 4 figures, typos correcte

Time-dependent Hamiltonian estimation for Doppler velocimetry of trapped ions

The time evolution of a closed quantum system is connected to its Hamiltonian through Schroedinger's equation. The ability to estimate the Hamiltonian is critical to our understanding of quantum systems, and allows optimization of control. Though spectroscopic methods allow time-independent Hamiltonians to be recovered, for time-dependent Hamiltonians this task is more challenging. Here, using a single trapped ion, we experimentally demonstrate a method for estimating a time-dependent Hamiltonian of a single qubit. The method involves measuring the time evolution of the qubit in a fixed basis as a function of a time-independent offset term added to the Hamiltonian. In our system the initially unknown Hamiltonian arises from transporting an ion through a static, near-resonant laser beam. Hamiltonian estimation allows us to estimate the spatial dependence of the laser beam intensity and the ion's velocity as a function of time. This work is of direct value in optimizing transport operations and transport-based gates in scalable trapped ion quantum information processing, while the estimation technique is general enough that it can be applied to other quantum systems, aiding the pursuit of high operational fidelities in quantum control.Comment: 10 pages, 8 figure

The pasta phase within density dependent hadronic models

In the present paper we investigate the onset of the pasta phase with different parametrisations of the density dependent hadronic model and compare the results with one of the usual parametrisation of the non-linear Walecka model. The influence of the scalar-isovector virtual delta meson is shown. At zero temperature two different methods are used, one based on coexistent phases and the other on the Thomas-Fermi approximation. At finite temperature only the coexistence phases method is used. npe matter with fixed proton fractions and in beta-equilibrium are studied. We compare our results with restrictions imposed on the the values of the density and pressure at the inner edge of the crust, obtained from observations of the Vela pulsar and recent isospin diffusion data from heavy-ion reactions, and with predictions from spinodal calculations.Comment: 15 pages, 11 figures and 7 table

Eigenvalue distributions for some correlated complex sample covariance matrices

The distributions of the smallest and largest eigenvalues for the matrix product $Z^\dagger Z$, where $Z$ is an $n \times m$ complex Gaussian matrix with correlations both along rows and down columns, are expressed as $m \times m$ determinants. In the case of correlation along rows, these expressions are computationally more efficient than those involving sums over partitions and Schur polynomials reported recently for the same distributions.Comment: 11 page

Propionibacterium acnes bacteriophages display limited genetic diversity and broad killing activity against bacterial skin isolates.

UnlabelledInvestigation of the human microbiome has revealed diverse and complex microbial communities at distinct anatomic sites. The microbiome of the human sebaceous follicle provides a tractable model in which to study its dominant bacterial inhabitant, Propionibacterium acnes, which is thought to contribute to the pathogenesis of the human disease acne. To explore the diversity of the bacteriophages that infect P. acnes, 11 P. acnes phages were isolated from the sebaceous follicles of donors with healthy skin or acne and their genomes were sequenced. Comparative genomic analysis of the P. acnes phage population, which spans a 30-year temporal period and a broad geographic range, reveals striking similarity in terms of genome length, percent GC content, nucleotide identity (>85%), and gene content. This was unexpected, given the far-ranging diversity observed in virtually all other phage populations. Although the P. acnes phages display a broad host range against clinical isolates of P. acnes, two bacterial isolates were resistant to many of these phages. Moreover, the patterns of phage resistance correlate closely with the presence of clustered regularly interspaced short palindromic repeat elements in the bacteria that target a specific subset of phages, conferring a system of prokaryotic innate immunity. The limited diversity of the P. acnes bacteriophages, which may relate to the unique evolutionary constraints imposed by the lipid-rich anaerobic environment in which their bacterial hosts reside, points to the potential utility of phage-based antimicrobial therapy for acne.ImportancePropionibacterium acnes is a dominant member of the skin microflora and has also been implicated in the pathogenesis of acne; however, little is known about the bacteriophages that coexist with and infect this bacterium. Here we present the novel genome sequences of 11 P. acnes phages, thereby substantially increasing the amount of available genomic information about this phage population. Surprisingly, we find that, unlike other well-studied bacteriophages, P. acnes phages are highly homogeneous and show a striking lack of genetic diversity, which is perhaps related to their unique and restricted habitat. They also share a broad ability to kill clinical isolates of P. acnes; phage resistance is not prevalent, but when detected, it appears to be conferred by chromosomally encoded immunity elements within the host genome. We believe that these phages display numerous features that would make them ideal candidates for the development of a phage-based therapy for acne