697 research outputs found

    Testing theory in practice: a simple experiment

    Get PDF
    In this paper we discuss the experiences gained in conducting a simple testing experiment. The goal of this experiment is to apply the abstract, formal testing framework [8] in a practical setting, and to indicate the critical aspects in its application to realistic testing situations. For that purpose a formal description of the system under test (SUT) is made from which tests are systematically derived. These tests are interpreted and executed by a tester against concrete implementations, thereby giving an indication about the correctness of these implementations

    Carbon Nanotube Doped Tellurite Glasses

    Get PDF
    In the past it was observed that buck ball doped glasses showed enhanced optical nonlinearities. However, carbon nanotubes are much more stable than buck ball and should be a better choice for that purpose. Therefore we decided to investigate the possibility to produce carbon nanotubes doped tellurite glasses and measured their optical nonlinearities. Tellurite glasses already have a larger nonlinearity compared to silica, and other, glasses. We produced TeO 2-ZnO tellurite family glasses doped with multi wall Carbon Nanotube (CNT). The CNTs acquired from Carbolex were vigorously mechanically mixed with the tellurite glass precursors and melted in platinum crucible around 650°C in a controlled atmosphere inside an electrical induction furnace. We used the lowest temperature possible and controlled atmosphere to avoid the CNT oxidation. The glass melt was cast in a stainless steel and thermally treated at 300°C for 5 hours to relieve internal stresses. The samples were than cutted and polished to perform the optical characterization. We measured refractive index and thermo physical properties, such as vitreous transition Tg, crystallization onset Tx and melting Tf temperatures. Raman spectroscopy showed the possible presence of CNTs.6890Iijima, S., (1991) Nature, 354, p. 56http://www.ati.surrey.ac.uk/news/n, onlinearDiMaio, J., Rhyne, S., Yang, Z., Fu, K., Czerw, R., Xu, J., Webster, S., Ballato, J., (2003) Information Sciences, 149, p. 69Aoki, Y., Okubo, S., Kataura, H., Nagasawa, H., Achiba, Y., (2005) Chem. Lett, 34 (4), p. 562Misra, S.K., Watts, P.C.P., Valappil, S.P., Silva, S.R.P., Roy, I., Boccaccini, A.R., (2007) Nanotechnology, 18, p. 07570

    Collapse of ρxx\rho_{xx} ringlike structures in 2DEGs under tilted magnetic fields

    Full text link
    In the quantum Hall regime, the longitudinal resistivity ρxx\rho_{xx} plotted as a density--magnetic-field (n2DBn_{2D}-B) diagram displays ringlike structures due to the crossings of two sets of spin split Landau levels from different subbands [e.g., Zhang \textit{et al.}, Phys. Rev. Lett. \textbf{95}, 216801 (2005)]. For tilted magnetic fields, some of these ringlike structures "shrink" as the tilt angle is increased and fully collapse at θc6\theta_c \approx 6^\circ. Here we theoretically investigate the topology of these structures via a non-interacting model for the 2DEG. We account for the inter Landau-level coupling induced by the tilted magnetic field via perturbation theory. This coupling results in anti-crossings of Landau levels with parallel spins. With the new energy spectrum, we calculate the corresponding n2DBn_{2D}-B diagram of the density of states (DOS) near the Fermi level. We argue that the DOS displays the same topology as ρxx\rho_{xx} in the n2DBn_{2D}-B diagram. For the ring with filling factor ν=4\nu=4, we find that the anti-crossings make it shrink for increasing tilt angles and collapse at a large enough angle. Using effective parameters to fit the θ=0\theta = 0^\circ data, we find a collapsing angle θc3.6\theta_c \approx 3.6^\circ. Despite this factor-of-two discrepancy with the experimental data, our model captures the essential mechanism underlying the ring collapse.Comment: 3 pages, 2 figures; Proceedings of the PASPS V Conference Held in August 2008 in Foz do Igua\c{c}u, Brazi

    Suppression of tritium retention in remote areas of ITER by nonperturbative reactive gas injection

    Get PDF
    A technique based on reactive gas injection in the afterglow region of the divertor plasma is proposed for the suppression of tritium-carbon codeposits in remote areas of ITER when operated with carbon-based divertor targets. Experiments in a divertor simulator plasma device indicate that a 4¿¿nm/min deposition can be suppressed by addition of 1¿¿Pa·m3¿s-1 ammonia flow at 10 cm from the plasma. These results bolster the concept of nonperturbative scavenger injection for tritium inventory control in carbon-based fusion plasma devices, thus paving the way for ITER operation in the active phase under a carbon-dominated, plasma facing component background. © 2010 The American Physical Society

    Persistent spin splitting of a two-dimensional electron gas in tilted magnetic fields

    Full text link
    By varying the orientation of the applied magnetic field with respect to the normal of a two-dimensional electron gas, the chemical potential and the specific heat reveal persistent spin splitting in all field ranges. The corresponding shape of the thermodynamic quantities distinguishes whether the Rashba spin-orbit interaction RSOI, the Zeeman term or both dominate the splitting. The interplay of the tilting of the magnetic field and RSOI resulted to an amplified splitting in weak fields. The effects of changing the RSOI strength and the Landau level broadening are also investigated.Comment: 10 pages, 5 figure

    Mito-nuclear sequencing is paramount to correctly identify sympatric hybridizing fishes

    Get PDF
    Background. Hybridization may drive speciation and erode species, especially when intrageneric sympatric species are involved. Five sympatric Luciobarbus species—Luciobarbus sclateri (Günther, 1868), Luciobarbus comizo (Steindachner, 1864), Luciobarbus microcephalus (Almaça, 1967), Luciobarbus guiraonis (Steindachner, 1866), and Luciobarbus steindachneri (Almaça, 1967)—are commonly identified in field surveys by diagnostic morphological characters. Assuming that i) in loco identification is subjective and observer-dependent, ii) there is previous evidence of interspecific hybridization, and iii) the technical reports usually do not include molecular analyses, our main goal was to assess the concordance between in loco species identification based on phenotypic characters with identifications based on morphometric indices, mtDNA only, and a combination of mito-nuclear markers. Materials and methods. Specimens of Luciobarbus from six Guadiana River sub-basins were collected and sequenced for the cytochrome b and beta-actin genes. For comparative purposes, samples of Luciobarbus from other 12 river basins were also used. Four levels of taxonomical identification were conducted based on: identification made in the field (in loco identification), cytb gene only, beta-actin gene only, and mito-nuclear combined genomes. Results. Results showed that interspecific hybridization seems to be high (around 41%) and likely favoured by non-random mating and the loss of fluvial connectivity. About 34% of the hybrids showed mito-nuclear discordance. Misidentifications were frequent when only phenotypic characters are considered, and the use of a single mitochondrial gene is not sufficient: the use of two mito-nuclear markers showed that around 82% of the in loco identifications based on the phenotype were not correct. Conclusion. Incorrect species assignment likely generated biased results in previous studies on the biology and ecology of Guadiana barbels and in the assignment of conservation status and, consequently, on the establishment of conservation management measuresinfo:eu-repo/semantics/publishedVersio

    The formation of planetary disks and winds: an ultraviolet view

    Full text link
    Planetary systems are angular momentum reservoirs generated during star formation. This accretion process produces very powerful engines able to drive the optical jets and the molecular outflows. A fraction of the engine energy is released into heating thus the temperature of the engine ranges from the 3000K of the inner disk material to the 10MK in the areas where magnetic reconnection occurs. There are important unsolved problems concerning the nature of the engine, its evolution and the impact of the engine in the chemical evolution of the inner disk. Of special relevance is the understanding of the shear layer between the stellar photosphere and the disk; this layer controls a significant fraction of the magnetic field building up and the subsequent dissipative processes ougth to be studied in the UV. This contribution focus on describing the connections between 1 Myr old suns and the Sun and the requirements for new UV instrumentation to address their evolution during this period. Two types of observations are shown to be needed: monitoring programmes and high resolution imaging down to, at least, milliarsecond scales.Comment: Accepted for publication in Astrophysics and Space Science 9 figure

    Optical diagnostics for high electron density plasmas

    Get PDF
    Nowadays high electron density plasmas are, beside their fundamental interest, widely used for many applications, e.g., light sources and plasma processing. The well known examples of high electron density plasmas can be found among the class of thermal plasmas as, e.g., the Inductively Coupled Plasma (ICP) and the Wall Stabilized Cascaded Arc (WSCA). Usually the pressure of the plasma is high, i.e., sub atmospheric to atmospheric. Other examples are the plasmas generated in tokamaks for fusion purposes and the recently exploited plasmas for etching and deposition devices such as the Electron Cyclotron Resonance plasmas. For the plasmas mentioned, the electron density is typical in the range of 1018 to 1023 m3, and the electron velocity distribution is close to a Maxwellian velocity distribution

    Probing the 3D molecular and mineralogical heterogeneity in oil reservoir rocks at the pore scale

    Get PDF
    Innovative solutions have been designed to meet the global demand for energy and environmental sustainability, such as enhanced hydrocarbon recovery and geo sequestration of CO2. These processes involve the movement of immiscible fluids through permeable rocks, which is affected by the interfacial properties of rocks at the pore scale. Overcoming major challenges in these processes relies on a deeper understanding about the fundamental factors that control the rock wettability. In particular, the efficiency of oil recovery strategies depends largely on the 3D wetting pattern of reservoir rocks, which is in turn affected by the adsorption and deposition of contaminant molecules on the pores surface. Here, we combined high resolution neutron tomography NT and synchrotron X ray tomography XRT to probe the previously unobserved 3D distribution of molecular and mineralogical heterogeneity of oil reservoir rocks at the pore scale. Retrieving the distribution of neutron attenuation coefficients by Monte Carlo simulations, 3D molecular chemical mappings with micrometer dimensions could be provided. This approach allows us to identify co localization of mineral phases with chemically distinct hydrogen containing molecules, providing a solid foundation for the understanding of the interfacial phenomena involved in multiphase fluid flow in permeable medi

    Noncanonical and reversible cysteine ubiquitination prevents the overubiquitination of PEX5 at the peroxisomal membrane

    Get PDF
    PEX5, the peroxisomal protein shuttling receptor, binds newly synthesized proteins in the cytosol and transports them to the organelle. During its stay at the peroxisomal protein translocon, PEX5 is monoubiquitinated at its cysteine 11 residue, a mandatory modification for its subsequent ATP-dependent extraction back into the cytosol. The reason why a cysteine and not a lysine residue is the ubiquitin acceptor is unknown. Using an established rat liver-based cell-free in vitro system, we found that, in contrast to wild-type PEX5, a PEX5 protein possessing a lysine at position 11 is polyubiquitinated at the peroxisomal membrane, a modification that negatively interferes with the extraction process. Wild-type PEX5 cannot retain a polyubiquitin chain because ubiquitination at cysteine 11 is a reversible reaction, with the E2-mediated deubiquitination step presenting faster kinetics than PEX5 polyubiquitination. We propose that the reversible nonconventional ubiquitination of PEX5 ensures that neither the peroxisomal protein translocon becomes obstructed with polyubiquitinated PEX5 nor is PEX5 targeted for proteasomal degradation
    corecore