Relations and Transductions Realized by Restarting Automata

Gegenstand der vorliegenden Arbeit ist die Analyse verschiedener Formalismen zur Berechnung binärer Wortrelationen. Dabei ist die Grundlage aller hier ausgeführten Betrachtungen das Modell der Restart-Automaten, welches 1995 von Jancar et. al. eingeführt wurde. Zum einen wird das bereits für Restart-Automaten bekannte Konzept der input/output- und proper-Relationen weiterführend untersucht, sowie auf Systeme von zwei parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (PC-Systeme) erweitert. Zum anderen wird eine Variante der Restart-Automaten eingeführt, die sich an klassischen Automatenmodellen zur Berechnung von Relationen orientiert. Mit Hilfe dieser Mechanismen kann gezeigt werden, dass einige Klassen, die durch input/output- und proper-Relationen von Restart Automaten definiert werden, mit den traditionellen Relationsklassen der Rationalen Relationen und der Pushdown-Relationen übereinstimmen. Weiterhin stellt sich heraus, dass das Konzept der parallel kommunizierenden Automaten äußerst mächtig ist, da bereits die Klasse der proper-Relationen von monotonen PC-Systemen alle berechenbaren Relationen umfasst. Der Haupteil der Arbeit beschäftigt sich mit den so genannten Restart-Transducern, welche um eine Ausgabefunktion erweiterte Restart-Automaten sind. Es zeigt sich, dass sich insbesondere dieses Modell mit seinen verschiedenen Erweiterungen und Einschränkungen dazu eignet, eine umfassende Hierarchie von Relationsklassen zu etablieren. In erster Linie seien hier die verschiedenen Typen von monotonen Restart-Transducern erwähnt, mit deren Hilfe viele interessante neue und bekannte Relationsklassen innerhalb der längenbeschränkten Pushdown-Relationen charakterisiert werden. Abschließend wird, im Kontrast zu den vorhergehenden Modellen, das nicht auf Restart-Automaten basierende Konzept des Übersetzens durch Beobachtung ("Transducing by Observing") zur Relationsberechnung eingeführt. Dieser, den Restart-Transducern nicht unähnliche Mechanismus, wird im weitesten Sinne dazu genutzt, einen anderen Blickwinkel auf die von Restart-Transducern definierten Relationen einzunehmen, sowie eine obere Schranke für die Berechnungskraft der Restart-Transducer zu gewinnen.

Difference between default telecoil and programmed microphone frequency response in behind-the-ear hearing aids

The notion that the default telecoil (t-coil) frequency response should match the programmed microphone frequency response to provide optimal telephone understanding for hearing aid patients has received little attention. This study addresses differences in the average frequency response of the two transducers in behind-the-ear (BTE) hearing aids.

In vitro cumulative gas production techniques: History, methodological considerations and challenges

Methodology used to measure in vitro gas production is reviewed to determine impacts of sources of variation on resultant gas production profiles (GPP). Current methods include measurement of gas production at constant pressure (e.g., use of gas tight syringes), a system that is inexpensive, but may be less sensitive than others thereby affecting its suitability in some situations. Automated systems that measure gas production at constant volume allow pressure to accumulate in the bottle, which is recorded at different times to produce a GPP, and may result in sufficiently high pressure that solubility of evolved gases in the medium is affected, thereby resulting in a recorded volume of gas that is lower than that predicted from stoichiometric calculations. Several other methods measure gas production at constant pressure and volume with either pressure transducers or sensors, and these may be manual, semi-automated or fully automated in operation. In these systems, gas is released as pressure increases, and vented gas is recorded. Agitating the medium does not consistently produce more gas with automated systems, and little or no effect of agitation was observed with manual systems. The apparatus affects GPP, but mathematical manipulation may enable effects of apparatus to be removed. The amount of substrate affects the volume of gas produced, but not rate of gas production, provided there is sufficient buffering capacity in the medium. Systems that use a very small amount of substrate are prone to experimental error in sample weighing. Effect of sample preparation on GPP has been found to be important, but further research is required to determine the optimum preparation that mimics animal chewing. Inoculum is the single largest source of variation in measuring GPP, as rumen fluid is variable and sampling schedules, diets fed to donor animals and ratios of rumen fluid/medium must be selected such that microbial activity is sufficiently high that it does not affect rate and extent of fermentation. Species of donor animal may also cause differences in GPP. End point measures can be mathematically manipulated to account for species differences, but rates of fermentation are not related. Other sources of inocula that have been used include caecal fluid (primarily for investigating hindgut fermentation in monogastrics), effluent from simulated rumen fermentation (e.g., 'Rusitec', which was as variable as rumen fluid), faeces, and frozen or freeze-dried rumen fluid (which were both less active than fresh rumen fluid). Use of mixtures of cell-free enzymes, or pure cultures of bacteria, may be a way of increasing GPP reproducibility, while reducing reliance on surgically modified animals. However, more research is required to develop these inocula. A number of media have been developed which buffer the incubation and provide relevant micro-nutrients to the microorganisms. To date, little research has been completed on relationships between the composition of the medium and measured GPP. However, comparing GPP from media either rich in N or N-free, allows assessment of contributions of N containing compounds in the sample. (c) 2005 Published by Elsevier B.V.

Inter-laboratory variation of in vitro cumulative gas production profiles of feeds using manual and automated methods

A study was conducted to estimate variation among laboratories and between manual and automated techniques of measuring pressure on the resulting gas production profiles (GPP). Eight feeds (molassed sugarbeet feed, grass silage, maize silage, soyabean hulls, maize gluten feed, whole crop wheat silage, wheat, glucose) were milled to pass a I mm screen and sent to three laboratories (ADAS Nutritional Sciences Research Unit, UK; Institute of Grassland and Environmental Research (IGER), UK; Wageningen University, The Netherlands). Each laboratory measured GPP over 144 h using standardised procedures with manual pressure transducers (MPT) and automated pressure systems (APS). The APS at ADAS used a pressure transducer and bottles in a shaking water bath, while the APS at Wageningen and IGER used a pressure sensor and bottles held in a stationary rack. Apparent dry matter degradability (ADDM) was estimated at the end of the incubation. GPP were fitted to a modified Michaelis-Menten model assuming a single phase of gas production, and GPP were described in terms of the asymptotic volume of gas produced (A), the time to half A (B), the time of maximum gas production rate (t(RM) (gas)) and maximum gas production rate (R-M (gas)). There were effects (P<0.001) of substrate on all parameters. However, MPT produced more (P<0.001) gas, but with longer (P<0.001) B and t(RM gas) (P<0.05) and lower (P<0.001) R-M gas compared to APS. There was no difference between apparatus in ADDM estimates. Interactions occurred between substrate and apparatus, substrate and laboratory, and laboratory and apparatus. However, when mean values for MPT were regressed from the individual laboratories, relationships were good (i.e., adjusted R-2 = 0.827 or higher). Good relationships were also observed with APS, although they were weaker than for MPT (i.e., adjusted R-2 = 0.723 or higher). The relationships between mean MPT and mean APS data were also good (i.e., adjusted R 2 = 0. 844 or higher). Data suggest that, although laboratory and method of measuring pressure are sources of variation in GPP estimation, it should be possible using appropriate mathematical models to standardise data among laboratories so that data from one laboratory could be extrapolated to others. This would allow development of a database of GPP data from many diverse feeds. (c) 2005 Published by Elsevier B.V.

Speed sensorless vector control of induction machines

A novel rotor velocity estimation scheme applicable to vector controlled induction motors has been described. The proposed method will evaluate rotor velocity, ωr, on-line, does not require any extra transducers or injection of any signals, nor does it employ complicated algorithms such as MRAS or Kalman filters. Furthermore, the new scheme will operate at all velocities including zero with very little error. The procedure employs motor model equations, however all differential and integral terms have been eliminated giving a very fast, low-cost, effective and practical alternative to the current available methods. Simulation results verify the operation of the scheme under ideal and PWM conditions.

Binaural prediction of speech intelligibility in reverberant rooms with multiple noise sources

When speech is in competition with interfering sources in rooms, monaural indicators of intelligibility fail to take account of the listener’s abilities to separate target speech from interfering sounds using the binaural system. In order to incorporate these segregation abilities and their susceptibility to reverberation, Lavandier and Culling [J. Acoust. Soc. Am. 127, 387–399 (2010)] proposed a model which combines effects of better-ear listening and binaural unmasking. A computationally efficient version of this model is evaluated here under more realistic conditions that include head shadow, multiple stationary noise sources, and real-room acoustics. Three experiments are presented in which speech reception thresholds were measured in the presence of one to three interferers using real-room listening over headphones, simulated by convolving anechoic stimuli with binaural room impulse-responses measured with dummy-head transducers in five rooms. Without fitting any parameter of the model, there was close correspondence between measured and predicted differences in threshold across all tested conditions. The model’s components of better-ear listening and binaural unmasking were validated both in isolation and in combination. The computational efficiency of this prediction method allows the generation of complex “intelligibility maps” from room designs. © 2012 Acoustical Society of America

CHANGES OF GENE EXPRESSION IN ELECTRICALLY STIMULATED AND CONTRALATERAL RAT SOLEUS MUSCLES

In this study we investigate the effect of a single session of high-intensity contractions on expression of pleiotropic genes and, in particular, those genes associated with metabolism in soleus muscle from electrically stimulated (ES) and contralateral (CL) limbs. The right limbs of male Wistar rats were submitted to contractions by 200-ms trains of electrical stimulation at 100-Hz frequency with pulses of 0.1 ms (voltage 24 3 V) delivered each second for 1 hour. Soleus muscles were isolated 1 hour after contraction, and gene expression was analyzed by a macroarray technique (Atlas Toxicology 1.2 Array; Clontech Laboratories). Electrical stimulation increased expression in 92 genes (16% of the genes present in the membrane). Sixty-six genes were upregulated in both ES and CL soleus muscles, and expression of 26 genes was upregulated in the ES muscle only. The most altered genes were those related to stress response and metabolism. Electrical stimulation also raised expression of transcription factors, translation and posttranslational modification of proteins, ribosomal proteins, and intracellular transducers/effectors/modulators. The results indicate that a single session of electrical stimulation upregulated expression of genes related to metabolism and oxidative stress in soleus muscle from both ES and CL limbs. These findings may indicate an association with tissue hypertrophy and metabolic adaptations induced by physical exercise training not only in the ES but also in the CL non-stimulated muscle, suggesting a cross-education phenomenon. Muscle Nerve 40: 838-846, 2009

The Schenberg spherical gravitational wave detector: the first commissioning runs

Here we present a status report of the first spherical antenna project equipped with a set of parametric transducers for gravitational detection. The Mario Schenberg, as it is called, started its commissioning phase at the Physics Institute of the University of Sao Paulo, in September 2006, under the full support of FAPESP. We have been testing the three preliminary parametric transducer systems in order to prepare the detector for the next cryogenic run, when it will be calibrated. We are also developing sapphire oscillators that will replace the current ones thereby providing better performance. We also plan to install eight transducers in the near future, six of which are of the two-mode type and arranged according to the truncated icosahedron configuration. The other two, which will be placed close to the sphere equator, will be mechanically non-resonant. In doing so, we want to verify that if the Schenberg antenna can become a wideband gravitational wave detector through the use of an ultra-high sensitivity non-resonant transducer constructed using the recent achievements of nanotechnology.

The Schenberg data acquisition and analysis: results from its first commissioning run

The Mario Schenberg gravitational wave detector has started its commissioning phase at the Physics Institute of the University of Sao Paulo. We have collected almost 200 h of data from the instrument in order to check out its behavior and performance. We have also been developing a data acquisition system for it under a VXI System. Such a system is composed of an analog-to-digital converter and a GPS receiver for time synchronization. We have been building the software that controls and sets up the data acquisition. Here we present an overview of the Mario Schenberg detector and its data acquisition system, some results from the first commissioning run and solutions for some problems we have identified.

Detection of phenolic compounds using impedance spectroscopy measurements

Langmuir-Blodgett (LB) and layer-by-layer films (LbL) of a PPV (p-phenylenevinylene) derivative, an azo compound and tetrasulfonated phthalocyanines were successfully employed as transducers in an ""electronic tongue"" system for detecting trace levels of phenolic compounds in water. The choice of the materials was based on their distinct electrical natures, which enabled the array to establish a fingerprint of very similar liquids. Impedance spectroscopy measurements were taken in the frequency range from 10 Hz to 1 MHz, with the data analysed with principal component analysis (PCA). The sensing units were obtained from five-layer LB films of (poly[(2-methoxy-5-n-hexyloxy)-p-phenylenevinylene]), OC(1)OC(18)-PPV (poly(2-methoxy,5-(n-octadecyl)-p-phenylenevinylene)), DR (HEMA-co-DR13MA (poly-(hydroxyethylmethacrylate-co-[4`-[[2-(methacryloyloxy)-ethyl]ethylamino]-2-chloro-4-nitroazobenzene]))) and five-bilayer LbL films of tetrasulfonated metallic phthalocyanines deposited onto gold interdigitated electrodes. The sensors were immersed into phenol, 2-chloro-4-methoxyphenol, 2-chlorophenol and 3-chlorophenol (isomers) solutions at 1 x 10(-9) mol L(-1), with control experiments carried out in ultra pure water. Samples could be distinguished if the principal component analysis (PCA) plots were made with capacitance values taken at 10(3) Hz, which is promising for detection of trace amounts of phenolic pollutants in natural water.

Physical Vapor Deposited Thin Films of Lignins Extracted from Sugar Cane Bagasse: Morphology, Electrical Properties, and Sensing Applications

The concern related to the environmental degradation and to the exhaustion of natural resources has induced the research on biodegradable materials obtained from renewable sources, which involves fundamental properties and general application. In this context, we have fabricated thin films of lignins, which were extracted from sugar cane bagasse via modified organosolv process using ethanol as organic solvent. The films were made using the vacuum thermal evaporation technique (PVD, physical vapor deposition) grown up to 120 nm. The main objective was to explore basic properties such as electrical and surface morphology and the sensing performance of these lignins as transducers. The PVD film growth was monitored via ultraviolet-visible (UV-vis) absorption spectroscopy and quartz crystal microbalance, revealing a linear relationship between absorbance and film thickness. The 120 nm lignin PVD film morphology presented small aggregates spread all over the film surface on the nanometer scale (atomic force microscopy, AFM) and homogeneous on the micrometer scale (optical microscopy). The PVD films were deposited onto Au interdigitated electrode (IDE) for both electrical characterization and sensing experiments. In the case of electrical characterization, current versus voltage (I vs V) dc measurements were carried out for the Au IDE coated with 120 nm lignin PVD film, leading to a conductivity of 3.6 x 10(-10) S/m. Using impedance spectroscopy, also for the Au IDE coated with the 120 nm lignin PVD film, dielectric constant of 8.0, tan delta of 3.9 x 10(-3)) and conductivity of 1.75 x 10(-9) S/m were calculated at 1 kHz. As a proof-of-principle, the application of these lignins as transducers in sensing devices was monitored by both impedance spectroscopy (capacitance vs frequency) and I versus time dc measurements toward aniline vapor (saturated atmosphere). The electrical responses showed that the sensing units are sensible to aniline vapor with the process being reversible. AFM images conducted directly onto the sensing units (Au IDE coated with 120 nm lignin PVD film) before and after the sensing experiments showed a decrease in the PVD film roughness from 5.8 to 3.2 nm after exposing to aniline.

Characterization of residential chimney conditions for flue gas flow measurements

A literature survey and a theoretical study were performed to characterize residential chimney conditions for flue gas flow measurements. The focus is on Pitot-static probes to give sufficient basis for the development and calibration of a velocity pressure averaging probe suitable for the continuous dynamic (i.e. non steady state) measurement of the low flow velocities present in residential chimneys. The flow conditions do not meet the requirements set in ISO 10780 and ISO 3966 for Pitot-static probe measurements, and the methods and their uncertainties are not valid. The flow velocities in residential chimneys from a heating boiler under normal operating condi-tions are shown to be so low that they in some conditions result in voiding the assumptions of non-viscous fluid justifying the use of the quadratic Bernoulli equation. A non-linear Reynolds number dependent calibration coefficient that is correcting for the viscous effects is needed to avoid significant measurement errors. The wide range of flow velocity during normal boiler operation also results in the flow type changing from laminar, across the laminar to turbulent transition region, to fully turbulent flow, resulting in significant changes of the velocity profile during dynamic measurements. In addition, the short duct lengths (and changes of flow direction and duct shape) used in practice are shown to result in that the measurements are done in the hydrodynamic entrance region where the flow velocity profiles most likely are neither symmetrical nor fully developed. A measurement method insensitive to velocity profile changes is thus needed, if the flow velocity profile cannot otherwise be determined or predicted with reasonable accuracy for the whole measurement range. Because of particulate matter and condensing fluids in the flue gas it is beneficial if the probe can be constructed so that it can easily be taken out for cleaning, and equipped with a locking mechanism to always ensure the same alignment in the duct without affecting the calibration. The literature implies that there may be a significant time lag in the measurements of low flow rates due to viscous effects in the internal impact pressure passages of Pitot probes, and the significance in the discussed application should be studied experimentally. The measured differential pressures from Pitot-static probes in residential chimney flows are so low that the calibration and given uncertainties of commercially available pressure transducers are not adequate. The pressure transducers should be calibrated specifically for the application, preferably in combination with the probe, and the significance of all different error sources should be investigated carefully. Care should be taken also with the temperature measurement, e.g. with averaging of several sensors, as significant temperature gradients may be present in flue gas ducts.

Projeto, construção e analise de células de carga de placa e de anel

Iniciamos o presente trabalho fazendo um estudo comparativo entre duas células de carga de compressão, ambas em formato cilíndrico, possuindo internamente, à meia altura do corpo, uma placa engastada. Estas duas células de carga são de aço SAE 1045; para uma delas adaptamos um modelo matemático teórico, através do qual foram pré-determinadas as suas dimensões, objetivando em comportamento ótimo no que se refere às distribuições de tensões e deformações, esta denominamos de Célula de Carga I. Na outra, denominada de Célula de Carga II, alteramos algumas dimensões, com a finalidade de comparar seu comportamento em relação à primeira. Também, no transcorrer do trabalho analisamos e comparamos os resultados matemáticos com os valores práticos encontrados. Frente aos resultados obtidos neste estudo prévio, projetamos, construímos e analisamos cinco outras células de carga (Células de Carga III, IV, V, VI e VII), em termos de geometria, material e tratamento térmico, visando o aperfeiçoamento de tais transdutores de força no que concerne a usinagem, resposta de sinal elétrico, limitações e aplicações industriais.

Automação de equipamento triaxial visando o estudo de solos tropicais cimentados

O presente trabalho descreve o desenvolvimento de um equipamento de ensaios triaxiais, com aquisição automática de dados e controle automático de trajetórias de tensões, e resultados de ensaios utilizando este equipamento. Medidores locais de deformaçòes axial e radial foram utilizados viabilizando a análise do comportamento de solos a baixos níveis de deformações. O equipamento foi construído com componentes já existentes e elementos de baixo custo. Um programa de controle foi desenvolvido para controlar tanto trajetórias lineares de tensões como a trajetória de deformação radial nula. O sistema foi desenvolvido visando o estudo de solos tropicais cimentados, tendo sido utilizado na execução de ensaios triaxiais em um solo residual regional de arenito - arenito Botucatu. Os resultados evidenciam a adequabilidade do sistema construído ao estudo proposto tornando possível a determinação de importantes características de comportamento deste solo.

Molecular architecture of thin films fabricated via physical vapor deposition and containing a poly(azo)urethane

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)