Semi-analytic slope delay model for CMOS switch-level timing verification

A novel slope delay model for CMOS switch-level timing verification is presented. It differs from conventional methods in being semianalytic in character. The model assumes that all input waveforms are trapezoidal in overall shape, but that they vary in their slope. This simplification is quite reasonable and does not seriously affect precision, but it facilitates rapid solution. The model divides the stages in a switch-level circuit into two types. One corresponds to the logic gates, and the other corresponds to logic gates with pass transistors connected to their outputs. Semianalytic modeling for both cases is discussed.

GROOVE FORMATION AND INTERACTION DURING ABRASION OF COPPER.

A pin on cylinder wear rig has been built with precision stepping motor drives to both rotary and axial motions which enable accurate positional control to be achieved. Initial experiments using sapphire indenters running against copper substrates have investigated the build up of a single wear groove by repeated sliding along the same track. An approximate three dimensional ploughing analysis is also presented and the results of theory and experiment compared.

A backward particle interpretation of Feynman-Kac formulae

We design a particle interpretation of Feynman-Kac measures on path spaces based on a backward Markovian representation combined with a traditional mean field particle interpretation of the flow of their final time marginals. In contrast to traditional genealogical tree based models, these new particle algorithms can be used to compute normalized additive functionals "on-the-fly" as well as their limiting occupation measures with a given precision degree that does not depend on the final time horizon. We provide uniform convergence results with respect to the time horizon parameter as well as functional central limit theorems and exponential concentration estimates. Our results have important consequences for online parameter estimation for non-linear non-Gaussian state-space models. We show how the forward filtering backward smoothing estimates of additive functionals can be computed using a forward only recursion.

A Bayesian approach to tracking in single molecule fluorescence microscopy

Using fluorescence microscopy with single molecule sensitivity it is now possible to follow the movement of individual fluorophore tagged molecules such as proteins and lipids in the cell membrane with nanometer precision. These experiments are important as they allow many key biological processes on the cell membrane and in the cell, such as transcription, translation and DNA replication, to be studied at new levels of detail. Computerized microscopes generate sequences of images (in the order of tens to hundreds) of the molecules diffusing and one of the challenges is to track these molecules to obtain reliable statistics such as speed distributions, diffusion patterns, intracellular positioning, etc. The data set is challenging because the molecules are tagged with a single or small number of fluorophores, which makes it difficult to distinguish them from the background, the fluorophore bleaches irreversibly over time, the number of tagged molecules are unknown and there is occasional loss of signal from the tagged molecules. All these factors make accurate tracking over long trajectories difficult. Also the experiments are technically difficulty to conduct and thus there is a pressing need to develop better algorithms to extract the maximum information from the data. For this purpose we propose a Bayesian approach and apply our technique to synthetic and a real experimental data set.

Rhythm generation in monkey motor cortex explored using pyramidal tract stimulation.

We investigated whether stimulation of the pyramidal tract (PT) could reset the phase of 15-30 Hz beta oscillations observed in the macaque motor cortex. We recorded local field potentials (LFPs) and multiple single-unit activity from two conscious macaque monkeys performing a precision grip task. EMG activity was also recorded from the second animal. Single PT stimuli were delivered during the hold period of the task, when oscillations in the LFP were most prominent. Stimulus-triggered averaging of the LFP showed a phase-locked oscillatory response to PT stimulation. Frequency domain analysis revealed two components within the response: a 15-30 Hz component, which represented resetting of on-going beta rhythms, and a lower frequency 10 Hz response. Only the higher frequency could be observed in the EMG activity, at stronger stimulus intensities than were required for resetting the cortical rhythm. Stimulation of the PT during movement elicited a greatly reduced oscillatory response. Analysis of single-unit discharge confirmed that PT stimulation was capable of resetting periodic activity in motor cortex. The firing patterns of pyramidal tract neurones (PTNs) and unidentified neurones exhibited successive cycles of suppression and facilitation, time locked to the stimulus. We conclude that PTN activity directly influences the generation of the 15-30 Hz rhythm. These PTNs facilitate EMG activity in upper limb muscles, contributing to corticomuscular coherence at this same frequency. Since the earliest oscillatory effect observed following stimulation was a suppression of firing, we speculate that inhibitory feedback may be the key mechanism generating such oscillations in the motor cortex.

Inference approach to grammar construction

A system of computer assisted grammar construction (CAGC) is presented in this paper. The CAGC system is designed to generate broad-coverage grammars for large natural language corpora by utilizing both an extended inside-outside algorithm and an automatic phrase bracketing (AUTO) system which is designed to provide the extended algorithm with constituent information during learning. This paper demonstrates the capability of the CAGC system to deal with realistic natural language problems and the usefulness of the AUTO system for constraining the inside-outside based grammar re-estimation. Performance results, including coverage, recall and precision, are presented for a grammar constructed for the Wall Street Journal (WSJ) corpus using the Penn Treebank.

Spoken document representations for probabilistic retrieval

This paper presents some developments in query expansion and document representation of our spoken document retrieval system and shows how various retrieval techniques affect performance for different sets of transcriptions derived from a common speech source. Modifications of the document representation are used, which combine several techniques for query expansion, knowledge-based on one hand and statistics-based on the other. Taken together, these techniques can improve Average Precision by over 19% relative to a system similar to that which we presented at TREC-7. These new experiments have also confirmed that the degradation of Average Precision due to a word error rate (WER) of 25% is quite small (3.7% relative) and can be reduced to almost zero (0.2% relative). The overall improvement of the retrieval system can also be observed for seven different sets of transcriptions from different recognition engines with a WER ranging from 24.8% to 61.5%. We hope to repeat these experiments when larger document collections become available, in order to evaluate the scalability of these techniques.

The development of aerodynamic performance measurements in a transient test facility

Transient test facilities offer the potential for the simultaneous study of turbine aerodynamic performance, unsteady flow phenomena and the heat transfer characteristics of a turbine stage. This paper describes the development of aerodynamic performance measurement techniques in the Oxford Rotor Facility (ORF). The solutions to the technological issues involved with transient testing presented in this paper are expected to achieve levels of precision uncertainty comparable with traditional steady flow test rigs. The theoretical background to the measurement of aerodynamic performance is presented together with a comprehensive pre-test uncertainty analysis. The instrumentation scheme for the measurement of stage mass flow rate is discussed in detail, the measurements of shaft power, total inlet enthalpy, and stage pressure ratio are also outlined. The current working section features a 62% scale, 1-1/2 stage, high-pressure shroudless transonic turbine. The required inlet flow conditions are provided by an Isentropic Light Piston Tunnel (ILPT) with a quasi-steady state run time of approximately 70ms. The testing is conducted at engine representative specific speed, pressure ratio, gas-to-wall temperature ratio, Mach number and Reynolds number.

Losses in inductor-less piezoelectric transformer ballast for compact fluorescent lamps

In this study an inductor-less piezoelectric transformer (PT) based ballast for a 5 W CFL has been designed and simulated. The predictions of circuit currents and losses closely match experimentally measured values. The total simulated loss figure was confirmed against practically determined losses using a precision mini-calorimeter. Using simulation to disaggregate the total loss figure, it is seen that the PT makes the largest contribution to the total losses in such ballast.

Physiological modelling for improved reliability in silhouette-driven gradient-based hand tracking

We present a gradient-based motion capture system that robustly tracks a human hand, based on abstracted visual information - silhouettes. Despite the ambiguity in the visual data and despite the vulnerability of gradient-based methods in the face of such ambiguity, we minimise problems related to misfit by using a model of the hand's physiology, which is entirely non-visual, subject-invariant, and assumed to be known a priori. By modelling seven distinct aspects of the hand's physiology we derive prior densities which are incorporated into the tracking system within a Bayesian framework. We demonstrate how the posterior is formed, and how our formulation leads to the extraction of the maximum a posteriori estimate using a gradient-based search. Our results demonstrate an enormous improvement in tracking precision and reliability, while also achieving near real-time performance. © 2009 IEEE.

Losses in self-oscillating ballasts for electrode-type compact fluorescent lamps

Commercially available integrated compact fluorescent lamps (CFLs) use self-resonant ballasts on grounds of simplicity and cost. To understand how to improve ballast efficiency, it is necessary to quantify the losses. The losses occurring in these ballasts have been directly measured using a precision mini-calorimeter. In addition, a Pspice model has been used to simulate the performance of an 18 W integrated CFL. The lamp has been represented by a behavioural model and Jiles-Atherton equations were used to model the current transformer core. The total loss is in close agreement with measurements from the mini-calorimeter, confirming the accuracy of the model. The total loss was then disaggregated into component losses by simulation, showing that the output inductor is the primary source of loss, followed by the inverter switches. © 2011 The Institution of Engineering and Technology.

RNA processing and Arabidopsis flowering time control.

Plants control their flowering time in order to ensure that they reproduce under favourable conditions. The components involved in this complex process have been identified using a molecular genetic approach in Arabidopsis and classified into genetically separable pathways. The autonomous pathway controls the level of mRNA encoding a floral repressor, FLC, and comprises three RNA-binding proteins, FCA, FPA and FLK. FCA interacts with the 3'-end RNA-processing factor FY to autoregulate its own expression post-transcriptionally and to control FLC. Other components of the autonomous pathway, FVE and FLD, regulate FLC epigenetically. This combination of epigenetic and post-transcriptional control gives precision to the control of FLC expression and flowering time.

Measurement of liquid film thickness by optical fluorescence and its application to an oscillating piston positive displacement flowmeter

The movement of the circular piston in an oscillating piston positive displacement flowmeter is important in understanding the operation of the flowmeter, and the leakage of liquid past the piston plays a key role in the performance of the meter. The clearances between the piston and the chamber are small, typically less than 60 νm. In order to measure this film thickness a fluorescent dye was added to the water passing through the meter, which was illuminated with UV light. Visible light images were captured with a digital camera and analysed to give a measure of the film thickness with an uncertainty of less than 7%. It is known that this method lacks precision unless careful calibration is undertaken. Methods to achieve this are discussed in the paper. The grey level values for a range of film thicknesses were calibrated in situ with six dye concentrations to select the most appropriate one for the range of liquid film thickness. Data obtained for the oscillating piston flowmeter demonstrate the value of the fluorescence technique. The method is useful, inexpensive and straightforward and can be extended to other applications where measurement of liquid film thickness is required. © 2011 IOP Publishing Ltd.

Fibre laser microvia drilling and ablation of Si with tuneable pulse shapes

The dramatic increase in hole quality on single crystalline silicon with an 1 μm fiber laser has been reported recently, it redefines the processing options for Si at that wavelength. This study investigated the effects of the MOPA based pulse tuning on the changes of the machined depth and the mass removal mechanism for the generation of microvia holes. Hole depths were measured and surface morphology studied using SEM and optical interferometric profilometry. The pulse peak power was found to strongly influence the material removal mechanism with fixed pulse duration. High peak powers (>1 kW) gave vaporization dominated ablation, left a limited re solidified molten layer and clean hole formation. The pulse duration was found to strongly influence the machined depth. Longer pulse durations generated deeper holes with constant peak power (>1 kW). In comparison with the DPSS UV laser, the IR fiber laser of longer pulse durations machined deeper holes and generated less resolidifed melt beyond the hole rim at high fluencies. The comparison suggests that some applications (microvia drilling) of the DPSS UV laser can be replaced with the more flexible, low cost IR fiber laser. © KSPE and Springer 2012.