983 resultados para Predicate Transformer Semantics


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper describes the application of two relatively new diagnostic techniques for the determination of insulation condition in aged transformers. The techniques are (a) measurements of interfacial polarization spectra by a DC method and (b) measurements of molecular weight and its distribution by gel permeation chromatography. Several other electrical properties of the cellulose polymer were also investigated. Samples were obtained from a retired power transformer and they were analysed by the developed techniques. Six distribution transformers were also tested with the interfacial polarization spectra measurement technique, and the molecular weight of paper/pressboard samples from these transformers were also measured by the gel permeation chromatography. The variation of the results through different locations in a power transformer is discussed in this paper. The possible correlation between different measured properties was investigated and discussed in this paper.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We study a system of two RLC oscillators coupled through a variable mutual inductance. The system is interesting because it exhibits some peculiar features of coupled oscillators: (i) there are two natural frequencies; (ii) in general, the resonant frequencies do not coincide with the natural frequencies; (iii) the resonant frequencies of both oscillators differ; (iv) for certain choices of parameters, there is only one resonant frequency, instead of the two expected.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this paper is to present and discuss a general HV topology of the solid-state Marx modulator, for unipolar or bipolar generation connected with a step-up transformer to increase the output voltage applied to a resistive load. Due to the use of an output transformer, discussion about the reset of the transformer is made to guarantee zero average voltage applied to the primary. It is also discussed the transformer magnetizing energy recovering back to the energy storage capacitors. Simulation results for a circuit that generates 100 kV pulses using 1000 V semiconductors are presented and discussed regarding the voltage and current stress on the semiconductors and result obtained.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE:To evaluate public health dentistry practices of two different family health models. METHODS: Qualitative study conducted with data obtained from focus groups consisting of 58 dentists working in the Family Health Strategy for at least three years between August-October, 2006. The Paideia Family Health Approach was used in the city of Campinas and the Oral Health Initiative as part of the Family Health Strategy was implemented in the city of Curitiba, Southeastern and Southern Brazil, respectively. Data was analyzed using the hermeneutic-dialectic method. Analysis indicators were employed to indicate backwardness, stagnation or progress in oral health practices effective from the implementation of the strategies referred. The indicators used were: work process; interdisciplinary approach; territorialization; capacity building of human resources; health promotion practices; and responsiveness to users' demands. RESULTS: There was progress in user access to services, humanization of health care, patient welcoming and patient-provider relationship. The results related to health promotion practices, territorialization, interdisciplinary approach and resource capacity building indicated a need for technical and operational enhancements in both cities. CONCLUSIONS: Both models have brought about important advances in terms of increased access to services and humanization of health care. Universal access to oral health at all levels of complexity was not achieved in both cities studied. Local health managers and oral health program coordinators must bring more weight to bear in the arena that defines public policy priorities.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aiming for teaching/learning support in sciences and engineering areas, the Remote Experimentation concept (an E-learning subset) has grown in last years with the development of several infrastructures that enable doing practical experiments from anywhere and anytime, using a simple PC connected to the Internet. Nevertheless, given its valuable contribution to the teaching/learning process, the development of more infrastructures should continue, in order to make available more solutions able to improve courseware contents and motivate students for learning. The work presented in this paper contributes for that purpose, in the specific area of industrial automation. After a brief introduction to the Remote Experimentation concept, we describe a remote accessible lab infrastructure that enables users to conduct real experiments with an important and widely used transducer in industrial automation, named Linear Variable Differential Transformer.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Computational Logic

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Health Behavior in School-aged Children is a cross-national study collecting data on social and health indicators on adolescents in 43 countries. The study provides comparable data on health behaviors and health outcomes through the use of a common protocol, which have been a back bone of the study sine its initiation in 1983. Recent years, researchers within the study have noticed a questionable comparability on the widely used item on self-rated health. One of the four response categories to the item "Would you say your health is….?" showed particular variation, as the response category "Fair" varied from 20 % in Latvia and Moldova to 3-4 % in Bulgaria and Macedonia. A qualitative mini-survey of the back-translations showed that the response category "Fair" had a negative slant in 25 countries, a positive slant in 10 countries and was considered neutral in 9 countries. This finding indicates that there are what may be called semantic issues affecting comparability in international studies, since the same original word (in an English original) is interpreted differently across countries and cultures. The paper test and discuss a few possible explanations to this, however, only leaving to future studies to hold a cautious approach to international comparisons if working with the self-rated health item with four response categories.