Guessers for Finite-State Transducer Lexicons

Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we need to indicate their inflectional paradigm. We present a new generally applicable method for creating an entry generator, i.e. a paradigm guesser, for finite-state transducer lexicons. As a guesser tends to produce numerous suggestions, it is important that the correct suggestions be among the first few candidates. We prove some formal properties of the method and evaluate it on Finnish, English and Swedish full-scale transducer lexicons. We use the open-source Helsinki Finite-State Technology to create finitestate transducer lexicons from existing lexical resources and automatically derive guessers for unknown words. The method has a recall of 82-87 % and a precision of 71-76 % for the three test languages. The model needs no external corpus and can therefore serve as a baseline.

The Effect of Evacuated Backside Cavity on the Dynamic Characteristics of a Capacitive Micromachined Ultrasonic Transducer

In this paper, we investigate the effect of vacuum sealing the backside cavity of a Capacitive Micromachined Ultrasonic Transducer (CMUT). The presence or absence of air inside the cavity has a marked effect upon the system parameters, such as the natural frequency, damping, and the pull-in voltage. The presence of vacuum inside the cavity of the device causes a reduction in the effective gap height which leads to a reduction in the pull-in voltage. We carry out ANSYS simulations to quantify this reduction. The presence of vacuum inside the cavity of the device causes stress stiffening of the membrane, which changes the natural frequency of the device. A prestressed modal analysis is carried out to determine the change in natural frequency due to stress stiffening. The equivalent circuit method is used to evaluate the performance of the device in the receiver mode. The lumped parameters of the device are obtained and an equivalent circuit model of the device is constructed to determine the open circuit receiving sensitivity of the device. The effect of air in the cavity is included by incorporating an equivalent compliance and an equivalent resistance in the equivalent circuit.

Proposal for generalised supersymmetry Les Houches Accord for see-saw models and PDG numbering scheme

The SUSY Les Houches Accord (SLHA) 2 extended the first SLHA to include various generalisations of the Minimal Supersymmetric Standard Model (MSSM) as well as its simplest next-to-minimal version. Here, we propose further extensions to it, to include the most general and well-established see-saw descriptions (types I/II/III, inverse, and linear) in both an effective and a simple gauged extension of the MSSM framework. In addition, we generalise the PDG numbering scheme to reflect the properties of the particles. (c) 2012 Elsevier B.V. All rights reserved.

Non-deterministic transducer models of retransmission protocols over noisy channels

Retransmission protocols such as HDLC and TCP are designed to ensure reliable communication over noisy channels (i.e., channels that can corrupt messages). Thakkar et al. 15] have recently presented an algorithmic verification technique for deterministic streaming string transducer (DSST) models of such protocols. The verification problem is posed as equivalence checking between the specification and protocol DSSTs. In this paper, we argue that more general models need to be obtained using non-deterministic streaming string transducers (NSSTs). However, equivalence checking is undecidable for NSSTs. We present two classes where the models belong to a sub-class of NSSTs for which it is decidable. (C) 2015 Elsevier B.V. All rights reserved.

ZnO film based surface acoustic wave micro-pump

In this study, a micro-pump unit based on surface acoustic wave (SAW) on piezoelectric ZnO film is designed and fabricated as a micro-fluidic device. It employs a mechanical wave, which is generated electrically using an aluminum interdigital transducer (IDT), and propagates on the surface of the ZnO film. The ZnO film was used in this study because it has a high electromechanical coefficient and an excellent bonding with various substrate materials, in particular silicon. The sputtering parameters for ZnO film deposition have been optimized, and the ZnO films with different thickness from 1 micron to 5.5 microns were prepared. The film properties have been characterized using different methods, such as scanning electron microscopy, X-ray diffraction and atomic force microscopy. Aluminum IDT with a finger width and spacing of 8 microns was patterned on the ZnO film using a lift-off process. The frequency generated was measured using a network analyzer, and it varies from 130 MHz to 180 MHz as a function of film thickness. A signal generator was used to generate the frequency with a power amplifier to amplify the signal, which was then applied to aluminum IDT to generate the surface acoustic wave. If a liquid droplet exists on the surface carrying the acoustic wave, the energy and the momentum of the SAW will be coupled into the fluid, causing the liquid to vibrate and move on film surface. The strength of this movement is determined by the applied voltage and frequency. The volume of the liquid drop loaded on the SAW device in this study is of several hundreds of nanoliters. The movement of the liquid inside the droplet and also on the ZnO film surface can be demonstrated. The performance of ZnO SAW device was characterized as a function of film thickness. © 2007 IOP Publishing Ltd.

A thermal insulation method for a piezoelectric transducer

This study deals with the sources of signal distortion of a piezoelectric transducer heated by measured gas flow. These signal distortions originate from both unloading of preload on a piezocrystal because of expansion of a diaphragm in the test apparatus and the pyroelectric effect of a heated piezoelectric crystal. A plastic film on the diaphragm of the transducer can effectively insulate the diaphragm and the piezocrystal within transducer from heating by gas flow, eliminating the sources of distortion. A method for evaluating the thickness of the film is proposed.