A monolithic array of three-dimensional ion traps fabricated with conventional semiconductor technology

The coherent control of quantum-entangled states of trapped ions has led to significant advances in quantum information, quantum simulation, quantum metrology and laboratory tests of quantum mechanics and relativity. All of the basic requirements for processing quantum information with arrays of ion-based quantum bits (qubits) have been proven in principle. However, so far, no more than 14 ion-based qubits have been entangled with the ion-trap approach, so there is a clear need for arrays of ion traps that can handle a much larger number of qubits. Traps consisting of a two-dimensional electrode array have undergone significant development, but three-dimensional trap geometries can create a superior confining potential. However, existing three-dimensional approaches, as used in the most advanced experiments with trap arrays, cannot be scaled up to handle greatly increased numbers of ions. Here, we report a monolithic three-dimensional ion microtrap array etched from a silica-on-silicon wafer using conventional semiconductor fabrication technology. We have confined individual (88)Sr(+) ions and strings of up to 14 ions in a single segment of the array. We have measured motional frequencies, ion heating rates and storage times. Our results demonstrate that it should be possible to handle several tens of ion-based qubits with this approach.     

Towards a generic OLED lifetime model

Abstract— The limitations of t^1/2 lifetime testing for OLED displays are discussed in the context of permanent and recoverable luminance decay. Different pixel drive schemes, operating temperature, and schemes of gray‐level generation are all found to be important in determining the operational lifetime where both permanent and recoverable contributions to the luminance decay exist. In addition, the importance of assessing lifetime with respect to a particular usage model is introduced and a method of lifetime characterization is devised to account for all of the factors discussed. The method measures luminance degradation over a series of operating cycles where the stress factors on the display are randomly generated for each cycle. The luminance degradation is then analyzed with linear regression, and the regression fit coefficients give an understanding of the degradation in different usage models so that an assessment of the display's suitability for a particular application can be made.     

Bioaffinity detection of pathogens on surfaces

The demand for improved technologies capable of rapidly detecting pathogens with high sensitivity and selectivity in complex environments continues to be a significant challenge that helps drive the development of new analytical techniques. Surface-based detection platforms are particularly attractive as multiple bioaffinity interactions between different targets and corresponding probe molecules can be monitored simultaneously in a single measurement. Furthermore, the possibilities for developing new signal transduction mechanisms alongside novel signal amplification strategies are much more varied. In this article, we describe some of the latest advances in the use of surface bioaffinity detection of pathogens. Three major sections will be discussed: (i) a brief overview on the choice of probe molecules such as antibodies, proteins and aptamers specific to pathogens and surface attachment chemistries to immobilize those probes onto various substrates, (ii) highlighting examples among the current generation of surface biosensors, and (iii) exploring emerging technologies that are highly promising and likely to form the basis of the next generation of pathogenic sensors.     

Bridge strike reduction: optimising the design of markings

Cases of high-sided vehicles striking low bridges is a large problem in many countries, especially the UK. This paper describes an experiment to evaluate a new design of markings for low bridges. A full size bridge was constructed which was capable of having its overhead clearance adjusted. Subjects sat in a truck cab as it drove towards the bridge and were asked to judge whether the vehicle could pass safely under the bridge. The main objective of the research was to determine whether marking the bridge with a newly devised experimental marking would result in more cautious decisions from subjects regarding whether or not the experimental bridge structure could be passed under safely compared with the currently used UK bridge marking standard. The results show that the type of bridge marking influenced the level of caution associated with decisions regarding bridge navigation, with the new marking design producing the most cautious decisions for the two different bridge heights used, at all distances away from the bridge structure. Additionally, the distance before the bridge at which decisions were given had an effect on the level of caution associated with decisions regarding bridge navigation (the closer to the bridge, the more cautious the decisions became, irrespective of the marking design). The implications of these results for reducing the number of bridge strikes are discussed.     

Comparison of clay mineral stratigraphy to other proxy palaeoclimate indicators in the Mesozoic of NW Europe

This paper reviews the opportunities and pitfalls associated with using clay mineralogical analysis in palaeoclimatic reconstructions. Following this, conjunctive methods of improving the reliability of clay mineralogical analysis are reviewed. The Mesozoic succession of NW Europe is employed as a case study. This demonstrates the relationship between clay mineralogy and palaeoclimate. Proxy analyses may be integrated with clay mineralogical analysis to provide an assessment of aridity-humidity contrasts in the hinterland climate. As an example, the abundance of kaolinite through the Mesozoic shows that, while interpretations may be difficult, the Mesozoic climate of NW Europe was subject to great changes in rates of continental precipitation. We may compare sedimentological (facies, mineralogy, geochemistry) indicators of palaeoprecipitation with palaeotemperature estimates. The integration of clay mineralogical analyses with other sedimentological proxy indicators of palaeoclimate allows differentiation of palaeoclimatic effects from those of sea-level and tectonic change. We may also observe how widespread palaeoclimate changes were; whether they were diachronous or synchronous; how climate, sea level and tectonics interact to control sedimentary facies and what palaeoclimate indicators are reliable.     

A hybrid system for embedded machine vision using FPGAs and neural networks

This paper presents a hybrid model for embedded machine vision combining programmable hardware for the image processing tasks and a digital hardware implementation of an artificial neural network for the pattern recognition and classification tasks. A number of possible architectural implementations are compared. A prototype development system of the hybrid model has been created, and hardware details and software tools are discussed. The applicability of the hybrid design is demonstrated with the development of a vision application: real-time detection and recognition of road signs.     

Type inference and strong static type checking for Promela

The Spin model checker and its specification language Promela have been used extensively in industry and academia to check the logical properties of distributed algorithms and protocols. Model checking with Spin involves reasoning about a system via an abstract Promela specification, thus the technique depends critically on the soundness of this specification. Promela includes a rich set of data types including first-class channels, but the language syntax restricts the declaration of channel types so that it is not generally possible to deduce the complete type of a channel directly from its declaration. We present the design and implementation of Etch, an enhanced type checker for Promela, which uses constraint-based type inference to perform strong type checking of Promela specifications, allowing static detection of errors that Spin would not detect until simulation/verification time, or that Spin may miss completely. We discuss theoretical and practical problems associated with designing a type system and type checker for an existing language, and formalise our approach using a Promela-like calculus. To handle subtyping between base types, we present an extension to a standard unification algorithm to solve a system of equality and subtyping constraints, based on bounded substitutions.     

FOOD SECURITY RISK LEVEL ASSESSMENT: A FUZZY LOGIC-BASED APPROACH

A fuzzy logic (FL)-based food security risk level assessment system is designed and is presented in this article. Three inputs—yield, production, and economic growth—are used to predict the level of risk associated with food supply. A number of previous studies have related food supply with risk assessment for particular types of food, but none of the work was specifically concerned with how the wider food chain might be affected. The system we describe here uses the Mamdani method. The resulting system can assess risk level against three grades: severe, acceptable, and good. The method is tested with UK (United Kingdom) cereal data for the period from 1988 to 2008. The approach is discussed on the basis that it could be used as a starting point in developing tools that may either assess current food security risk or predict periods or regions of impending pressure on food supply.     

High-Throughput Screening for High Affinity Antibodies

The UCB SLAM process described here has had a positive and dramatic effect on the way we select therapeutic candidate antibodies. An example of the number of cells that can be screened using UCB SLAM is shown in Table 2. UCB previously used the hybridoma method to generate antibodies for both research and for therapy.^{[5] and [6]} This method, we believed, was not particularly amenable to automation, due to the large amount of cell culture involved in both setting up the fusion and then maintaining the hybridoma cell lines, although this approach has been adopted by others.⁷ The in vitro culture of B cells, combined with the process automation has allowed many more antibodies to be screened, with hybridoma only those B cells that have fused with the myeloma are available for screening, this is only a small proportion of the total number of B cells. UCB SLAM B cell cultures can be screened a week after they are set up compared with 2–3 weeks for hybridoma. Advances in the molecular biology have allowed us to move away from the time-consuming dilution cloning of cells to select antibodies; the antibody genes can be isolated, sequenced, and recombinant antibody transiently expressed in 2 weeks. The method does not require a species specific, myeloma cell line as a fusion partner, which means there is no constraint on B cell source species. The lack of a B cell fusion event means that a highly efficient sampling of the B cell repertoire can be achieved. We have found the process to be applicable to generating research reagents, high quality antibodies to animal target antigens.⁸ These research reagents can be raised to different target antigen epitopes than used in both in vitro and in vivo mechanistic and disease models. The research reagents are a significant aid to investigate the complex biology of our targets. The lack of species-specific fusion partners makes this approach a challenge for hybridoma, particularly when there is a need to generate antibodies to mouse and rat antigens.     

Metamodel-based collaborative optimization framework

This paper focuses on the metamodel-based collaborative optimization (CO). The objective is to improve the computational efficiency of CO in order to handle multidisciplinary design optimization problems utilising high fidelity models. To address these issues, two levels of metamodel building techniques are proposed: metamodels in the disciplinary optimization are based on multi-fidelity modelling (the interaction of low and high fidelity models) and for the system level optimization a combination of a global metamodel based on the moving least squares method and trust region strategy is introduced. The proposed method is demonstrated on a continuous fiber-reinforced composite beam test problem. Results show that methods introduced in this paper provide an effective way of improving computational efficiency of CO based on high fidelity simulation models.