The sound-field characterisation of a power transformer

In order to effectively suppress the noise radiation from large electrical power transformers, both the structure-borne and air-borne sound fields need to be characterised. The characterisation can be made either from theoretical predictions or by in-situ measurements. This paper presents the study of the sound radiation from a large power transformer in a substation. The radiation pattern can be predicted from the measured acceleration distribution and the predicted value is not affected by other noise sources. Alternatively, the farfield sound pressure level can be predicted from the sound pressure level measured at NEMA locations. Both the near- and far-field power radiation can be in-situ measured using the sound intensity technique. It is shown that both the vibration of a transformer tank wall and the radiated noise consist of a series of tonal components mainly at the first few harmonic frequencies of 100 Hz. Also, the neglect of the noise radiation from the transformer (top and bottom) lids does not affects the accuracy of the transformer radiation characterisation. (C) 1998 Elsevier Science Ltd. All rights reserved.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Unagi-sentences in Japanese and mutual knowledge

This paper examines the so-called ’Unagi-sentence‘ in Japanese. So far, it has been taken for granted that the Unagi-sentence is incomplete syntactically and/or semantically. Because its structure apparently neither provides a fully-fledged semantic meaning, nor furnishes a plausible syntactic pattern (such as ‘subject-predicate‘), a number of previous works have considered the Unagi-sentence to be elliptic, and consequently reconstructed it as a complete sentence or established intermediate structures to account for its grammatical form. Other researchers have not used elliptic solutions, but sought to discover logical connections between the parts of the Unagi-sentence themselves. As a result, fixing their entire attention on the internal structure of the Unagi-sentence, these researchers inevitably needed to establish hypothetical constructs in order to explain the structure of the Unagi-sentence. The present author believes that the Unagi-sentence is neither incomplete nor a result of some hypothetical processes. The Unagi-sentence stands on its own as a complete utterance. It is basically an NP utterance which can be expanded to the form NP1 wa + NP2 da and its variations. The occurrence of the Unagi-sentence depends heavily on a presupposed context and its pragmatic features, without which the Unagi-sentence cannot exist. It is these features that the present article seeks to elucidate.

Agents as multi-threaded logical objects

In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Instrumentation used to measure residential magnetic fields and currents

The equipment used to measure magnetic fields and, electric currents in residences is described. The instrumentation consisted of current transformers, magnetic field probes and locally designed and, built signal conditioning modules. The data acquisition system was capable of unattended recording for extended time periods. The complete system was calibrated to verify its response to known physical inputs. (C) 2003 ISA-The Instrumentation Automation Society.

As tessituras cotidianas que compõem as práticas de cuidado nas relações entre trabalhadores da saúde mental e usuários

Para pesquisar sobre as produções de cuidado pelos trabalhadores da saúde mental na relação cotidiana do trabalho e com os usuários, utilizou-se como ferramentas metodológicas: a cartografia - por considerar os processos descritivos de ‘uma vida’ e as multiplicidades que atravessam os sujeitos - e as narrativas propostas por Walter Benjamin, como forma de contar histórias sobre estes processos que se compõem na produção de cuidado. A Reforma Psiquiátrica no Brasil foi marcada pela crítica aos modos asilares, que eram/são adoecedores e negam os desejos e os direitos das pessoas que passam pela experiência da loucura, internadas ou não. Com o olhar crítico a esse modelo hospitalocêntrico, vários atores antimanicomiais protagonizaram a criação de dispositivos que transversalizam essa forma de cuidado. O cuidado em saúde mental passou por diversas transformações como mostra Foucault (1982), principalmente com a entrada do saber científico que se apropriou do conhecimento e do controle dos corpos para lidar com a loucura, o que proporcionou o isolamento dos loucos. E, hoje, com a Reforma Psiquiátrica, temos o desafio de continuar o movimento de desinstitucionalização das práticas, dos saberes e dos manicômios mentais, que perpassam as relações de trabalho de cuidado por meio de capturas, sensíveis ou não, e que se presentificam nos corpos, nas falas e nas ações. Dessa forma, faz-se necessário que esses processos de rupturas ao modo manicomial se iniciem em nós, para que a produção de subjetividades e novos modos de existência do outro se expandam em suas (re)invenções. Por isso, o trabalho se cria a todo instante, não tendo um modelo único de cuidar na saúde mental. No entanto, é importante salientar que a intervenção seja pautada numa ética estética-política e na produção de autonomia dos sujeitos, para que o trabalho não seja tutelador, mas que permita as afirmações dos desejos dos usuários. As equipes multiprofissionais e transdisciplinares fazem toda a diferença no acolhimento, no acompanhamento e nas intervenções com os usuários, os familiares e os próprios trabalhadores da saúde mental. Como uma forma de dispositivo de trabalho para produzir cuidado, a arte e a cultura são vistas como transformadores dos modos de existência, bem como o lazer e a ocupação dos territórios e da comunidade em que os usuários estão inseridos

Projecto e implementação de um sistema de alimentação para um transformador de alta tensão

Neste trabalho pretende-se estudar, dimensionar e implementar experimentalmente de um sistema de alimentação para transformadores de alta tensão a alta frequência. Este sistema será constituído por dois elementos principais, um rectificador monofásico em ponte totalmente controlado e por um inversor de tensão. Inicialmente realizou-se um estudo sobre as diferentes topologias possíveis para o rectificador considerando diferentes tipos de carga. Realizou-se, também, um estudo sobre o circuito de geração dos impulsos de disparo dos tiristores, executado com base num circuito integrado TCA 785, dimensionou-se os elementos constituintes do circuito de disparo, e de um sistema de controlo da tensão de saída do rectificador. Posteriormente estudou-se o funcionamento do inversor de tensão, definindo-se os modos de operação e dimensionou-se um circuito ressonante tendo em conta os parâmetros construtivos do transformador que se pretende utilizar. Finalmente procedeu-se à implementação prática dos sistemas previamente dimensionados e simulados e à apresentação dos respectivos resultados.

Multilingualism and interpreting: training for the EU

AGM and Conference in Mechelen 27 – 30 April 2010

Power systems reliability calculation based on fuzzy data mining

This paper presents a methodology supported on the data base knowledge discovery process (KDD), in order to find out the failure probability of electrical equipments’, which belong to a real electrical high voltage network. Data Mining (DM) techniques are used to discover a set of outcome failure probability and, therefore, to extract knowledge concerning to the unavailability of the electrical equipments such us power transformers and high-voltages power lines. The framework includes several steps, following the analysis of the real data base, the pre-processing data, the application of DM algorithms, and finally, the interpretation of the discovered knowledge. To validate the proposed methodology, a case study which includes real databases is used. This data have a heavy uncertainty due to climate conditions for this reason it was used fuzzy logic to determine the set of the electrical components failure probabilities in order to reestablish the service. The results reflect an interesting potential of this approach and encourage further research on the topic.

Children's metalinguistic activity in the construction of linguistic existence

In this paper we examine the construction of first entities in narratives produced by children of 5, 7, 10 years and adults1 . The study demonstrates that when children reformulate they try to construct entities detached from the situation of enunciation, which means that they construct a detached or a translated plane and they construct linguistic existence of entities. Entities must first be introduced into the enunciative space and then comments will be made in subsequent utterances. Constructing existence supposes extraction. This consists of “singling out an occurrence, that is, isolating and drawing its spatiotemporal boundaries” (Culioli, 1990, p. 182) . Once the occurrence of the notion is constructed (which means it has become a separate occurrence with situational properties), children can predicate about it. However, there are children who do not construct the linguistic existence of entities. I hypothesize that the mode of task presentation influences the success of constructing linguistic existence. Sharing the investigator’s knowledge about the stimulus images, children do not ascribe an existential status to the occurrence of the notional domain.

Funções penalidade para o tratamento das variáveis discretas do problema de fluxo de potência ótimo reativo

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Transformador para fonte de alta-tensão contínua

Dissertação para a obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Determinação do teor de compostos aromáticos policíclicos de óleos minerais isolantes para transformadores

Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química

Fractional order electromagnetics

The Maxwell equations constitute a formalism for the development of models describing electromagnetic phenomena. The four Maxwell laws have been adopted successfully in many applications and involve only the integer order differential calculus. Recently, a closer look for the cases of transmission lines, electrical motors and transformers, that reveal the so-called skin effect, motivated a new perspective towards the replacement of classical models by fractional-order mathematical descriptions. Bearing these facts in mind this paper addresses the concept of static fractional electric potential. The fractional potential was suggested some years ago. However, the idea was not fully explored and practical methods of implementation were not proposed. In this line of thought, this paper develops a new approximation algorithm for establishing the fractional order electrical potential and analyzes its characteristics.