Vertical distribution of bacterial and archaeal communities along discrete layers of a deep-sea cold sediment sample at the East Pacific Rise (similar to 13 degrees N)

The community structure and vertical distribution of prokaryotes in a deep-sea (ca. 3,191 m) cold sediment sample (ca. 43 cm long) collected at the East Pacific Rise (EPR) similar to 13 degrees N were studied with 16SrDNA-based molecular analyses. Total community DNA was extracted from each of four discrete layers EPRDS-1, -2, -3 and -4 (from top to bottom) and 16S rDNA were amplified by PCR. Cluster analysis of DGGE profiles revealed that the bacterial communities shifted sharply between EPRDS-1 and EPRDS-2 in similarity coefficient at merely 49%. Twenty-three sequences retrieved from DGGE bands fell into 11 groups based on BLAST and bootstrap analysis. The dominant groups in the bacterial communities were Chloroflexi, Gamma proteobacteria, Actinobacterium and unidentified bacteria, with their corresponding percentages varying along discrete layers. Pairwise Fst (F-statistics) values between the archaeal clone libraries indicated that the archaeal communities changed distinctly between EPRDS-2 and EPRDS-3. Sequences from the archaeal libraries were divided to eight groups. Crenarchaea Marine Group I (MGI) was prevalent in EPRDS-1 at 83%, while Uncultured Crenarchaea group II B (UCII B) abounded in EPRDS-4 at 61%. Our results revealed that the vertically stratified distribution of prokaryotic communities might be in response to the geochemical settings and suggested that the sampling area was influenced by hydrothermalism. The copresence of members related to hydrothermalism and cold deep-sea environments in the microbial community indicated that the area might be a transitional region from hydrothermal vents to cold deep-sea sediments.

Equivalent-barotropic definition of tropospheric mean temperature

An equivalent-barotropic (EB) description of the tropospheric temperature field is derived from the geostrophic empirical mode (GEM) in the form of a scalar function Gamma(p, phi), where p is pressure and phi is 300-850-mb thickness. Baroclinic parameter phi plays the role of latitude at each longitudinal section. Compared with traditional Eulerian-mean methods, GEM defines a mean field in baroclinic streamfunction space with a time scale much longer than synoptic variability. It prompts an EB concept that is only based on a baroclinic field. Monthly GEM fields are diagnosed from NCEP-NCAR reanalysis data and account for more than 90% of the tropospheric thermal variance. The circumglobal composite of GEM fields exhibits seasonal, zonal, and hemispheric asymmetries, with larger rms errors occurring in winter and in the Northern Hemisphere (NH). Zonally asymmetric features and planetary deviation from EB are seen in the NH winter GEM. Reconstruction of synoptic sections and correlation analysis reveal that the tropospheric temperature field is EB at the leading order and has a 1-day phase lag behind barotropic variations in extratropical regions.

地质导向钻井关键技术及方法

On the basis of analyzing the principle and realization of geo-steering drilling system, the key technologies and methods in it are systematically studied in this paper. In order to recognize lithology, distinguish stratum and track reservoirs, the techniques of MWD and data process about natural gamma, resistivity, inductive density and porosity are researched. The methods for pre-processing and standardizing MWD data and for converting geological data in directional and horizontal drilling are discussed, consequently the methods of data conversion between MD and TVD and those of formation description and adjacent well contrast are proposed. Researching the method of identifying sub-layer yields the techniques of single well explanation, multi-well evaluation and oil reservoir description. Using the extremum and variance clustering analysis realizes logging phase analysis and stratum subdivision and explanation, which provides a theoretical method and lays a technical basis for tracing oil reservoirs and achieving geo-steering drilling. Researching the technique for exploring the reservoir top with a holdup section provides a planning method of wellpath control scheme to trace oil and gas reservoir dynamically, which solves the problem of how to control well trajectory on condition that the layer’s TVD is uncertain. The control scheme and planning method of well path for meeting the demands of target hitting, soft landing and continuous steering respectively provide the technological guarantee to land safely and drill successfully for horizontal, extended-reach and multi-target wells. The integrative design and control technologies are researched based on geology, reservoir and drilling considering reservoir disclosing ratio as a primary index, and the methods for planning and control optimum wellpath under multi-target restriction, thus which lets the target wellpath lie the favorite position in oil reservoir during the process of geo-steering drilling. The BHA (bottomhole assembly) mechanical model is discussed using the finite element method, and the BHA design methods are given on the basis of mechanical analyses according to the shape of well trajectory and the characteristics of BHA’s structure and deformation. The methods for predicting the deflection rate of bent housing motors and designing their assemblies are proposed based on the principle of minimum potential energy, which can clearly show the relation between the BHA’s structure parameters and deflection rate, especially the key factors’ effect to the deflection rate. Moreover, the interaction model between bit and formation is discussed through the process of equivalent formation and equivalent bit considering the formation anisotropy and bit anisotropy on the basis of analyzing the influence factors of well trajectory. Accordingly, the inherence relationship among well trajectory, formation, bit and drilling direction is revealed, which lays the theory basis and technique for predicting and controlling well trajectory.

Determination of ionic resistance and optimal composition in the anodic catalyst layers of DMFC using AC impedance

In the present study, a method based on transmission-line mode for a porous electrode was used to measure the ionic resistance of the anode catalyst layer under in situ fuel cell operation condition. The influence of Nafion content and catalyst loading in the anode catalyst layer on the methanol electro-oxidation and direct methanol fuel cell (DMFC) performance based on unsupported Pt-Ru black was investigated by using the AC impedance method. The optimal Nafion content was found to be 15 wt% at 75 degrees C. The optimal Pt-Ru loading is related to the operating temperature, for example, about 2.0 mg/cm(2) for 75-90 degrees C, 3.0 mg/cm2 for 50 degrees C. Over these values, the cell performance decreased due to the increases in ohmic and mass transfer resistances. It was found that the peak power density obtained was 217 mW/cm(2) with optimal catalyst and Nafion loading at 75 degrees C using oxygen. (c) 2005 International Association for Hydrogen Energy. Published by Elsevier Ltd. All rights reserved.

Optical and ion-scattering study of SiO2 layers thermally grown on 4H-SiC

Jenkins, Tudor; Hayton, D.J.; Bailey, P.; Noakes, T.C.Q., (2002) 'Optical and ion-scattering study of SiO2 layers thermally grown on 4H-SiC', Semiconductor Science and Technology 17 pp.L29-L32 RAE2008

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Inferring Intersection Typings that are Equivalent to Call-by-Name and Call-by-Value Evaluations

We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.

A Self-Organizing Neural Model for Motor Equivalent Phoneme Production

This paper describes a model of speech production called DIVA that highlights issues of self-organization and motor equivalent production of phonological units. The model uses a circular reaction strategy to learn two mappings between three levels of representation. Data on the plasticity of phonemic perceptual boundaries motivates a learned mapping between phoneme representations and vocal tract variables. A second mapping between vocal tract variables and articulator movements is also learned. To achieve the flexible control made possible by the redundancy of this mapping, desired directions in vocal tract configuration space are mapped into articulator velocity commands. Because each vocal tract direction cell learns to activate several articulator velocities during babbling, the model provides a natural account of the formation of coordinative structures. Model simulations show automatic compensation for unexpected constraints despite no previous experience or learning under these constraints.

A Neural Network Model of Speech Acquisition and Motor Equivalent Speech Production

This article describes a neural network model that addresses the acquisition of speaking skills by infants and subsequent motor equivalent production of speech sounds. The model learns two mappings during a babbling phase. A phonetic-to-orosensory mapping specifies a vocal tract target for each speech sound; these targets take the form of convex regions in orosensory coordinates defining the shape of the vocal tract. The babbling process wherein these convex region targets are formed explains how an infant can learn phoneme-specific and language-specific limits on acceptable variability of articulator movements. The model also learns an orosensory-to-articulatory mapping wherein cells coding desired movement directions in orosensory space learn articulator movements that achieve these orosensory movement directions. The resulting mapping provides a natural explanation for the formation of coordinative structures. This mapping also makes efficient use of redundancy in the articulator system, thereby providing the model with motor equivalent capabilities. Simulations verify the model's ability to compensate for constraints or perturbations applied to the articulators automatically and without new learning and to explain contextual variability seen in human speech production.

A Self-Organizing Neural Model of Motor Equivalent Reaching and Tool Use by a Multijoint Arm

This paper describes a self-organizing neural model for eye-hand coordination. Called the DIRECT model, it embodies a solution of the classical motor equivalence problem. Motor equivalence computations allow humans and other animals to flexibly employ an arm with more degrees of freedom than the space in which it moves to carry out spatially defined tasks under conditions that may require novel joint configurations. During a motor babbling phase, the model endogenously generates movement commands that activate the correlated visual, spatial, and motor information that are used to learn its internal coordinate transformations. After learning occurs, the model is capable of controlling reaching movements of the arm to prescribed spatial targets using many different combinations of joints. When allowed visual feedback, the model can automatically perform, without additional learning, reaches with tools of variable lengths, with clamped joints, with distortions of visual input by a prism, and with unexpected perturbations. These compensatory computations occur within a single accurate reaching movement. No corrective movements are needed. Blind reaches using internal feedback have also been simulated. The model achieves its competence by transforming visual information about target position and end effector position in 3-D space into a body-centered spatial representation of the direction in 3-D space that the end effector must move to contact the target. The spatial direction vector is adaptively transformed into a motor direction vector, which represents the joint rotations that move the end effector in the desired spatial direction from the present arm configuration. Properties of the model are compared with psychophysical data on human reaching movements, neurophysiological data on the tuning curves of neurons in the monkey motor cortex, and alternative models of movement control.

Design and implementation of the embedded capacitance layers for decoupling of wireless sensor nodes

In this paper, the embedded capacitance material (ECM) is fabricated between the power and ground layers of the wireless sensor nodes, forming an integrated capacitance to replace the large amount of decoupling capacitors on the board. The ECM material, whose dielectric constant is 16, has the same size of the wireless sensor nodes of 3cm*3cm, with a thickness of only 14μm. Though the capacitance of a single ECM layer being only around 8nF, there are two reasons the ECM layers can still replace the high frequency decoupling capacitors (100nF in our case) on the board. The first reason is: the parasitic inductance of the ECM layer is much lower than the surface mount capacitors'. A smaller capacitance value of the ECM layer could achieve the same resonant frequency of the surface mount decoupling capacitors. Simulation and measurement fit this assumption well. The second reason is: more than one layer of ECM material are utilized during the design step to get a parallel connection of the several ECM capacitance layers, finally leading to a larger value of the capacitance and smaller value of parasitic. Characterization of the ECM is carried out by the LCR meter. To evaluate the behaviors of the ECM layer, time and frequency domain measurements are performed on the power-bus decoupling of the wireless sensor nodes. Comparison with the measurements of bare PCB board and decoupling capacitors solution are provided to show the improvement of the ECM layer. Measurements show that the implementation of the ECM layer can not only save the space of the surface mount decoupling capacitors, but also provide better power-bus decoupling to the nodes.

Atomic layer deposition of interface control layers for the fabrication of III/V MOS devices

The continued advancement of metal oxide semiconductor field effect transistor (MOSFET) technology has shifted the focus from Si/SiO2 transistors towards high-κ/III-V transistors for high performance, faster devices. This has been necessary due to the limitations associated with the scaling of the SiO2 thickness below ~1 nm and the associated increased leakage current due to direct electron tunnelling through the gate oxide. The use of these materials exhibiting lower effective charge carrier mass in conjunction with the use of a high-κ gate oxide allows for the continuation of device scaling and increases in the associated MOSFET device performance. The high-κ/III-V interface is a critical challenge to the integration of high-κ dielectrics on III-V channels. The interfacial chemistry of the high-κ/III-V system is more complex than Si, due to the nature of the multitude of potential native oxide chemistries at the surface with the resultant interfacial layer showing poor electrical insulating properties when high-κ dielectrics are deposited directly on these oxides. It is necessary to ensure that a good quality interface is formed in order to reduce leakage and interface state defect density to maximise channel mobility and reduce variability and power dissipation. In this work, the ALD growth of aluminium oxide (Al2O3) and hafnium oxide (HfO2) after various surface pre-treatments was carried out, with the aim of improving the high-κ/III-V interface by reducing the Dit – the density of interface defects caused by imperfections such as dangling bonds, dimers and other unsatisfied bonds at the interfaces of materials. A brief investigation was performed into the structural and electrical properties of Al2O3 films deposited on In0.53Ga0.47As at 200 and 300oC via a novel amidinate precursor. Samples were determined to experience a severe nucleation delay when deposited directly on native oxides, leading to diminished functionality as a gate insulator due to largely reduced growth per cycle. Aluminium oxide MOS capacitors were prepared by ALD and the electrical characteristics of GaAs, In0.53Ga0.47As and InP capacitors which had been exposed to pre-pulse treatments from triethyl gallium and trimethyl indium were examined, to determine if self-cleaning reactions similar to those of trimethyl aluminium occur for other alkyl precursors. An improved C-V characteristic was observed for GaAs devices indicating an improved interface possibly indicating an improvement of the surface upon pre-pulsing with TEG, conversely degraded electrical characteristics observed for In0.53Ga0.47As and InP MOS devices after pre-treatment with triethyl gallium and trimethyl indium respectively. The electrical characteristics of Al2O3/In0.53Ga0.47As MOS capacitors after in-situ H2/Ar plasma treatment or in-situ ammonium sulphide passivation were investigated and estimates of interface Dit calculated. The use of plasma reduced the amount of interface defects as evidenced in the improved C-V characteristics. Samples treated with ammonium sulphide in the ALD chamber were found to display no significant improvement of the high-κ/III-V interface. HfO2 MOS capacitors were fabricated using two different precursors comparing the industry standard hafnium chloride process with deposition from amide precursors incorporating a ~1nm interface control layer of aluminium oxide and the structural and electrical properties investigated. Capacitors furnished from the chloride process exhibited lower hysteresis and improved C-V characteristics as compared to that of hafnium dioxide grown from an amide precursor, an indication that no etching of the film takes place using the chloride precursor in conjunction with a 1nm interlayer. Optimisation of the amide process was carried out and scaled samples electrically characterised in order to determine if reduced bilayer structures display improved electrical characteristics. Samples were determined to exhibit good electrical characteristics with a low midgap Dit indicative of an unpinned Fermi level

Automatic segmentation of seven retinal layers in SDOCT images congruent with expert manual segmentation.

Segmentation of anatomical and pathological structures in ophthalmic images is crucial for the diagnosis and study of ocular diseases. However, manual segmentation is often a time-consuming and subjective process. This paper presents an automatic approach for segmenting retinal layers in Spectral Domain Optical Coherence Tomography images using graph theory and dynamic programming. Results show that this method accurately segments eight retinal layer boundaries in normal adult eyes more closely to an expert grader as compared to a second expert grader.

Construction of invisibility cloaks of arbitrary shape and size using planar layers of metamaterials

Transformation optics (TO) is a powerful tool for the design of electromagnetic and optical devices with novel functionality derived from the unusual properties of the transformation media. In general, the fabrication of TO media is challenging, requiring spatially varying material properties with both anisotropic electric and magnetic responses. Though metamaterials have been proposed as a path for achieving such complex media, the required properties arising from the most general transformations remain elusive, and cannot implemented by state-of-the-art fabrication techniques. Here, we propose faceted approximations of TO media of arbitrary shape in which the volume of the TO device is divided into flat metamaterial layers. These layers can be readily implemented by standard fabrication and stacking techniques. We illustrate our approximation approach for the specific example of a two-dimensional, omnidirectional "invisibility cloak", and quantify its performance using the total scattering cross section as a practical figure of merit. © 2012 American Institute of Physics.

Improving Photovoltaics with High Luminescence Efficiency Quantum Dot Layers

A solar cell relies on its ability to turn photons into current. Because short wavelength photons are typically absorbed near the top surface of a cell, the generated charge carriers recombine before being collected. But when a layer of quantum dots (nanoscale semiconductor particles) is placed on top of the cell, it absorbs short wavelength photons and emits them into the cell at longer wavelengths, which enables more efficient carrier collection. However, the resulting power conversion efficiency of the system depends critically on the quantum dot luminescence efficiency – the nature of this relationship was previously unknown. Our calculations suggest that a quantum dot layer must have high luminescence efficiency (at least 80%) to improve the current output of existing photovoltaic (PV) cells; otherwise, it may worsen the cell’s efficiency. Our quantum dot layer (using quantum dots with over 85% quantum yield) slightly reduced the efficiency of our PV cells. We observed a decrease in short circuit current of a commercial-grade cell from 0.1977 A to 0.1826 A, a 7.6% drop, suggesting that improved optical coupling from the quantum dot emission into the solar cell is needed. With better optical coupling, we predict current enhancements between ~6% and ~8% for a solar cell that already has an antireflection coating. Such improvements could have important commercial impacts if the coating could be deployed in a scalable fashion.