Made available in DSpace on 2016-08-17T14:52:53Z (GMT). No. of bitstreams: 1 Will Ribamar Mendes Almeida.pdf: 650603 bytes, checksum: 3c389113f5c609a86b502fc0489341f4 (MD5) Previous issue date: 2004-09-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Anemometers are instruments, simply, for measuring the velocity of fluids and, in some cases, its direction. Particularly, the measurement of the air velocity extends to applications like: windmills, wind tunnels, electricity generation from Aeolian energy and meteorology. Among the most used methods for the wind velocity determination, the method based on the transit time of ultrasonic waves is stressed for being more suitable to the measurement of the velocity of gases, and which is based on the time required for an ultrasonic wave emitted from a transmitter to reach a receptor. Among the techniques for implementing the transit time the Difference of Time (DT) and Difference of Phase (DP) are emphasized, and both are addressed ins this work. A comparative study, with experimental verification, between the two techniques (DT and DP) is presented in this work, using techniques for compensating the effects of temperature variation on the sound velocity. It was taken into consideration the implementation of the measurement circuits and the propagation of uncertainties with respect to the variables that interfere in the measurement process. From the analyses carried out, the most suitable method for measuring the wind velocity was chosen, and a prototype was developed based on this method. The most suitable method is the Difference of Phase, because the observed uncertainty, in both simulations and experiments, was much smaller than for the DT method. / Anemômetros são instrumentos que, de maneira simplificada, têm a finalidade de medir velocidade de fluidos e, em alguns casos, a sua direção. Em particular a medição da velocidade do ar estende-se a aplicações como: moinhos de vento, túneis de vento, geração de energia elétrica a partir da energia eólica e meteorologia. Dentre os métodos mais comuns de determinação da velocidade de vento destacam-se os que se baseiam no Tempo de Trânsito de ondas ultra-sônicas, por serem mais adequadas para medição de velocidade de gases, e que se baseiam no tempo levado para uma onda ultra-sônica emitida por um transmissor atingir um receptor. Dentre as técnicas usadas para implementar o método do Tempo de Trânsito destacamse a Diferença de Tempo (DT) e a Diferença de Fase (DF), ambas abordadas neste trabalho.. Um estudo comparativo, com verificação experimental, entre as duas técnicas (DT e DF) é apresentado neste trabalho, usando técnicas para compensar os efeitos da variação da temperatura na velocidade do som. Foi levado em consideração na comparação à implementação dos circuitos de medição e a propagação de incertezas com relação as variáveis que interferem no processo de medição. A partir das análises realizadas escolheu-se o método mais apropriado para estimação da velocidade do vento, tendo sido desenvolvido um protótipo baseado nesse método. O método mais apropriado foi o da diferença de fase, pois foi observado, tanto por simulação quanto por experimentação, que a incerteza na estimação da velocidade do vento foi bem maior para o método DT.

Orientador: Eurípedes Guilherme de Oliveira Nóbrega / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-23T01:49:32Z (GMT). No. of bitstreams: 1 Souza_PabloRodrigode_D.pdf: 10455045 bytes, checksum: b8461069008fc0a12ec07525f9bd8d2e (MD5) Previous issue date: 2013 / Resumo: O resumo poderá ser visualizado no texto completo da tese digital / Abstract: The abstract is available with the full electronic document / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Orientador: Elnatan Chagas Ferreira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-19T01:27:01Z (GMT). No. of bitstreams: 1 Cremonezi_AlcidesOliveira_M.pdf: 4474466 bytes, checksum: 5a33efaeb2ab330c00861ab393b6c732 (MD5) Previous issue date: 2011 / Resumo: Os sensores a fibra óptica são imunes à interferência eletromagnética (EMI), eles são normalmente encontrados em ambientes eletricamente ruidosos, especialmente em linhas de transmissão de alta voltagem. Essa é a característica principal que faz desse tipo de sensores ideais para empresas de Energia Elétrica. Esse trabalho apresenta uma nova abordagem, de precisão moderada, robusta e de baixo custo, para a fabricação de um transdutor de corrente elétrica para alta tensão, com detecção magnetostritiva utilizando material inteligente, Terfenol-D, e sensoriamento óptico através de grade de Bragg em fibra óptica (FBG). O núcleo magnético foi desenvolvido em formato toroidal e construído utilizando usinagem através de eletro-erosão, o que resultou em uma peça única com projeto mecânico robusto. Aplicando compressão mecânica ao sensor toroidal e fazendo sua resposta ficar muito próxima a uma função quadrática, foi possível calcular o valor RMS da corrente diretamente do sinal de saída do sensor, e com isso, eliminar qualquer polarização magnética DC utilizada em técnicas anteriores reportadas na literatura. Foi utilizada com sucesso, uma nova técnica de circuito eletrônico de interrogação que permite a medida de sinais AC e mantém o ponto de operação DC da FBG. Resultados experimentais medidos com o transdutor óptico desenvolvido mostraram que entre correntes de aproximadamente 200 a 900A o erro observado foi de apenas 1,2% e sua dependência com a temperatura dentro de um range de 25 a 450C mostrou erro máximo de 2%. O sistema desenvolvido apresenta rápida resposta a transiente e precisa de somente 34ms para alcançar o estado estacionário quando submetido a um aumento de 150% da corrente nele medida. Os resultados mostram que o projeto sugerido é adequado e muito promissor para a construção comercial de um transdutor óptico de corrente para alta tensão / Abstract: Optical sensors are passives and immunes to electromagnetic interferences (EMI), they are well suited for applications in electrically noisy environments, especially in high voltages transmission lines. This is the main characteristic that makes them ideal to electrical energy companies. A new approach to the fabrication of, moderated precision, robust and low-cost fiber Bragg gratings (FBG) optical current transducers using a Terfenol-D magnetostrictive smart material is presented. Electro-erosion was used to manufacture a magnetic core in a toroidal shape which resulted in a single piece robust mechanical design. By applying mechanical compression to the toroidal sensor and making its response very close to a quadratic function, it is possible to calculate the RMS value of the current directly from the output of the sensor and eliminate the DC biasing magnetic field used in previous literature reported techniques. A new electronic interrogation circuit technique which allows the measurement of AC signals and keeps the DC operation point of the FBG was implemented and successfully used in the prototype. Experimental results measured in the developed optical current transducer showed that an error of 1.2% was achieved for currents over approximately the 200 to 900A range and its temperature dependence in a range of 25 to 450C has showed a maximum error of 2%. The developed system presents a fast transient response, and needs only 34ms to reach the steady state after a 150% amplitude step increase is applied to current being measured. The results shows that the developed project is feasible and also very promisor to be considered on commercial applications / Mestrado / Eletrônica, Microeletrônica e Optoeletrônica / Mestre em Engenharia Elétrica

Orientadores: Eduardo Tavares Costa, Rosana Almada Bassani / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-19T01:08:15Z (GMT). No. of bitstreams: 1 Buiochi_ElaineBelassiano_D.pdf: 9610613 bytes, checksum: 5fefa9e6cf5eaf8478c002d7ab57dc23 (MD5) Previous issue date: 2011 / Resumo: No ultrassom diagnóstico faz-se uso de ondas acústicas de baixa intensidade para investigar os tecidos biológicos, sendo uma técnica não invasiva. Ondas ultrassônicas de maior intensidade podem alterar as características do tecido, e isto é de interesse para aplicações terapêuticas, nas quais a ocorrência de efeitos biológicos é, até certo ponto, desejável. Com relação à cardiologia, o uso do ultrassom diagnóstico é bem estabelecido, enquanto há um potencial inexplorado para aplicações terapêuticas. Soma-se a isso o fato de que os tratamentos disponíveis para as arritmias com estimulação elétrica são limitados por sérias complicações, incluindo infecção sistêmica, choques desnecessários, potencial para pró-arritmia, falha em estimular e, até mesmo, morte. O ultrassom pode se mostrar uma alternativa atraente à estimulação elétrica, porém há poucos estudos sobre a possibilidade de aplicação do ultrassom para o tratamento de arritmias. O objetivo deste estudo foi desenvolver transdutores ultrassônicos de potência e usá-los para investigar conjuntos de parâmetros acústicos capazes de interferir na atividade cardíaca, sem provocar danos teciduais, buscando possíveis aplicações terapêuticas do ultrassom em cardiologia. Os parâmetros acústicos variados foram frequência de ressonância, modo de operação, frequência de repetição de pulso, e pressão de saída. Dois dos sete transdutores construídos se mostraram mais eficientes e, portanto, foram calibrados e usados nos experimentos biológicos. Em experimentos preliminares realizados em corações isolados de ratos Wistar, foi observada geração esporádica de arritmia usando-se o transdutor de 65 kHz, e aumento da frequência espontânea, acompanhada por redução da força de contração do miocárdio, usando-se o transdutor de 1MHz em exposição contínua prolongada. Em estudos in vivo, dez ratos Sprague-Dawley foram anestesiados com isoflurano e expostos a uma seqüência terapêutica de ultrassom, e outros cinco ratos foram usados como grupo controle. A estimulação ultrassônica consistiu de bursts de 1MHz, ciclo de trabalho de 1%, pico de pressão negativa de 3MPa (ISPTA=3W/cm2), e freqüência de repetição de pulso variável e decrescente. O ultrassom transtorácico exerceu efeito cronotrópico negativo, uma vez que foi capaz de reduzir a freqüência cardíaca em 19% logo ao final do período de estimulação. Os efeitos duraram, no mínimo, 15 minutos, sem aparente prejuízo hemodinâmico, que foi monitorado principalmente por meio da medição da fração de ejeção. Trata-se de um fenômeno promissor para o tratamento de taquiarritmias. O regime de exposição utilizado excluiu efeitos térmicos, de forma que o efeito observado foi provavelmente resultante de mecanismos não-térmicos, possivelmente da força da radiação. A variação na frequência de repetição de pulso parece ter sido a chave para a indução do efeito em questão, uma vez que experimentos realizados com frequências de repetição constantes não resultaram em tal efeito / Abstract: Diagnostic ultrasound consists of application of low intensity acoustic waves to noninvasively investigate biological tissues. Higher ultrasound intensities may alter tissue characteristics, and this is of interest for therapeutic applications, when the occurrence of bioeffects is - to a certain extent - desirable. The use of diagnostic ultrasound in Cardiology is well established, although there is an unexplored potential for therapeutic applications. The currently available treatments of arrhythmias by electrical stimulation are limited by serious complications, including systemic infection, inappropriate shock delivery, proarrhythmia, failure to pace and to defibrillate, and even death. Ultrasound can be an interesting alternative for electrical stimulation, but there are only a few studies that investigate the possibility of applying ultrasound for treating arrhythmias. The objective of this study was to develop power ultrasonic transducers to be applied to the investigation of sets of acoustical parameters able to interfere with the cardiac activity without causing tissue damage, thus aiming at potential therapeutic applications of ultrasound in cardiology. The acoustical parameters investigated were resonance frequency, operation mode, pulse repetition frequency, and output pressure. The two most efficient out of the seven transducers built were calibrated and used in biological experiments. In preliminary experiments conducted on isolated hearts from Wistar rats, arrhythmia was esporadically observed at the onset of ultrasound application using the 65kHz transducer, whereas an increase in spontanous beating rate accompanied by a reduction in the force developed by the myocardium occurred during continuous, prolonged exposure using the 1MHz transducer. In in vivo studies, ten Sprague-Dawley rats were anesthetized with isoflurane and exposed to a sequence of therapeutic ultrasound, and other five rats were used as a control group. The ultrasonic stimulation consisted of 1-MHz bursts of 1% duty cycle, 3 MPa peak negative pressure (ISPTA=3W/cm2), and decreasingly variable pulse repetition frequencies. Transthoracic ultrasound application was able to promote a negative chronotropic effect, decreasing the heart rate by 19% just after stimulation ceased. The effect lasted at least 15 minutes, without apparent alteration of pumping function, which was monitored mainly by evaluation of the ejection fraction. This phenomenon is promising for treating tachyarrhythmias. The insonification scheme used in this study excluded thermal effects, so the observed effect seems to have resulted from nonthermal mechanisms, possibly from radiation force. The variation in the pulse repetition frequency seems to be the key element for induction of the described effect, because the latter was not observed for constant repetition rates / Doutorado / Engenharia Biomedica / Doutor em Engenharia Elétrica

The present work proposes visibly pushdown transducers (VPTs) for defining transformations of documents with a nesting structure. We show that this subclass of pushdown transducers enjoy good properties. Notably, we show that functionality is decidable in PTime and k-valuedness in co-NPTime. While this class is not closed under composition and its type checking problem against visibly pushdown automata is undecidable, we identify a subclass, the well-nested VPTs, closed under composition and with a decidable type checking problem. Furthermore, we show that the class of VPTs is closed under look-ahead, and that the deterministic VPTs with look-ahead characterize the functional VPTs transductions. Finally, we investigate the resources necessary to perform transformations defined by VPTs. We devise a memory efficient algorithm. Then we show that it is decidable whether a VPT transduction can be performed with a memory that depends on the level of nesting of the input document but not on its length. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Preliminary studies have stirred the hope that sound-field stimulation through auditory steady state evoked potentials can be used to assess aided thresholds in the difficult-to-test population. Before the introduction of ASSEP into the clinical field, as a technique for the prediction of aided thresholds in the difficult-to-test population, a question arises concerning its clinical validation. The application of ASSEP through sound field stimulation, in the determination of aided thresholds and for the evaluation of amplification fittings, is dependent on the determination of unaided responses. Subsequently the estimation of unaided thresholds in the hearing impaired population is dependent on the establishment of normative data from the normal hearing population. The aim of this study was to determine the influence of insert earphones and sound field speaker presentation on threshold estimations using monotic auditory steady state evoked potentials, in a group of normal hearing adults. To achieve the aim of the study, a comparative, within-group experimental design was selected. The results of the current study indicated that the monotic single ASSEP technique under both insert earphone- and sound field conditions provided a reasonable estimation (25-35 dB HL for inset earphones; 20-33 dB HL for sound field speaker presentation) of the behavioural pure tone thresholds. The minimum response levels obtained under insert earphone conditions differed significantly from those obtained under sound field conditions for all the frequencies tested except 2 kHz (p < 0.01). Subsequently, the current study indicates that minimum response levels obtained using a specific transducer should serve as the basis of comparison with behavioural thresholds obtained under the same transducer. Therefore, behavioural pure tone thresholds obtained under insert earphone conditions will not suffice as a basis of comparison for minimum response levels obtained for the ASSEP technique under sound field conditions, and vice versa. This research endeavour concluded that the monotic ASSEP technique under both insert earphone and sound field conditions provide useful information for the estimation of frequency specific thresholds, but that the results are transducer specific and that comparison across transducers should be avoided. / Dissertation (M (Communication Pathology))--University of Pretoria, 2006. / Speech-Language Pathology and Audiology / Unrestricted

Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective function on the variables. Such a model is given to a general-purpose solver performing systematic search to find constraint-satisfying domain values for the variables, giving an optimal value to the objective function. A constraint predicate (also known as a global constraint) does two things: from the modelling perspective, it allows a modeller to express a commonly occurring combinatorial substructure, for example that a set of variables must take distinct values; from the solving perspective, it comes with a propagation algorithm, called a propagator, which removes some but not necessarily all impossible values from the current domains of its variables when invoked during search. Although modern CP solvers have many constraint predicates, often a predicate one would like to use is not available. In the past, the choices were either to reformulate the model or to write one's own propagator. In this dissertation, we contribute to the automatic design of propagators for new predicates. Integer time series are often subject to constraints on the aggregation of the features of all maximal occurrences of some pattern. For example, the minimum width of the peaks may be constrained. Automata allow many constraint predicates for variable sequences, and in particular many time-series predicates, to be described in a high-level way. Our first contribution is an algorithm for generating an automaton-based predicate description from a pattern, a feature, and an aggregator. It has previously been shown how to decompose an automaton-described constraint on a variable sequence into a conjunction of constraints whose predicates have existing propagators. This conjunction provides the propagation, but it is unknown how to propagate it efficiently. Our second contribution is a tool for deriving, in an off-line process, implied constraints for automaton-induced constraint decompositions to improve propagation. Further, when a constraint predicate functionally determines a result variable that is unchanged under reversal of a variable sequence, we provide as our third contribution an algorithm for deriving an implied constraint between the result variables for a variable sequence, a prefix thereof, and the corresponding suffix.

Sonic Activation is a multimedia performance-installation featuring sound sculptures, video projections, and performance with live electronics for solo and mixed ensembles. The work aims to unpack the nature in which we hear and interact with sound, space, and gesture. It is a project that recontextualizes the typical practice of performance and installation modes of music and art. The event uses 12 loudspeakers spaced around a gallery to create a densely layered sonic atmosphere that gently fluctuates and slowly evolves. Throughout the event, the audience is encouraged to freely navigate the gallery and experience the subtle changes in sound as they manifest in the space.

Formal verification methods offer a large potential to provide automated software correctness checking (based on sound mathematical roots), which is of vital importance. One such technique is abstract regular model checking, which encodes sets of reachable configurations and one-step transitions between them using finite automata and transducers, respectively. Though this method addresses problems that are undecidable in general, it facilitates termination in many practical cases, while also significantly reducing the state space explosion problem. This is achieved by accelerating the computation of reachability sets using incrementally refinable abstractions, while eliminating spurious counterexamples caused by overapproximation using a counterexample-guided abstraction refinement technique. The aim of this thesis is to create a well designed tool for abstract regular model checking, which has so far only been implemented in prototypes. The new tool will model systems using symbolic automata and transducers instead of their (less concise) classic alternatives.

This thesis deals with formal and syntax directed translation. This thesis contains theoretical part, which defines regular, context free, context sensitive and recursively enumerable languages a grammar. There are given examples of grammars which are able to generate languages that are not context free. Covered by this thesis are matrix grammars, random context grammars and programed grammars. Researched are also finite, pushdown, deep and regular automata, transducers and their part within format syntax directed translation. This project also defines regular transducers based as regulated automata. Thesis defines regulated methods of syntax analysis based on predictive parsers. These methods cover analysis of studied regulated grammars. The final part of this thesis describes new language capable of effective description of these grammars and compiler producing parser code for these grammars written in this new language and their graphical analyzer.