Desenvolvimento de um protocolo de comunicação para automação de subestações móveis via satélite

One of the most important decisions to turn a substation automatic and no attended it relates to the communication media between this substation and Operation Center. Generally energy companies uses radio or optic fiber, depending of distances and infrastructure of each situation. This rule applies to common substations. Mobile substations are a particular case, therefore they are conceived for use at provisional situations, emergencies, preventive or corrective maintenance. Thus the telecommunication solution used at common substations are not applied so easily to mobile substations, due absence of infrastructure (media) or difficulty to insert the mobile substation data in existing automation network not long. The ideal media must supply covering in a great geographic area to satisfy presented requirements. The implantation costs of this big infrastructure are expensive, however a existing operator may be used. Two services that fulfill that requirements are satellite and cellular telephony. This work presents a solution for automation of mobile substations through satellite. It was successfully implanted at a brazilian electric energy concessionaire named COSERN. The operation became transparent to operators. Other gotten benefits had been operational security, quality in the supply of electric energy and costs reduction. The project presented is a new solution, designed to substations and general applications where few data should be transmitted, but there is difficulties in relation to the media. Despite the satellite having been used, the same resulted can be gotten using celullar telephony, through Short Messages or packet networks as GPRS or EDGE.

Uso de funções de alívio para estimar o efeito de chaveamentos corretivos na eliminação de congestionamentos em sistemas de potência

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A argumentação na petição inicial

This research investigates current sense effects at the use of linguistic resources of the argument in a corpus constituted by juridical pieces (Initial Petitions), that gave opportunity to actions originated from the Civil Special Court of the District of Currais Novos-RN. For this purpose it was established a relation between the Law and the Linguistics, mediated by the focus of the Argumentative Semantics, emphasizing, in a special way, the use of argumentative operators, which inserted in the own language, in its grammar, assume the orientation of the speech and the modalizers use, important mechanisms in the construction of the sense of the text and in the signalling in the way as that that one say is said,. This way, we began the investigation of that gender choosing as study object the section of the facts , that comprehends a part of Initial Petition where is explanted the narration of events that gave margin to the proposal for the Action. In face of the study object and the aim to be reached it was appealed, methodologically, to the notion of Rhetoric since from the classic antiquity to the emergence of the New present Rhetoric in Perelman and Olbrechts-Tyteca (2005) that, at the present time, is inserted in the studies of the Pragmatic connected to the central theses of the Ducrot s thinking (1977, 1980, 1987). Such referential allowed us to a better understanding about the production of the juridical speech on the part of the operators of the Law, as well as, to analyze in way wide the current sense effects from the use of argument linguistic marks the juridical speech. The data showed that such marks are indispensable elements to the construction of the textual web, particularly when in the range of the juridical argumentation, since they direct the speech for certain conclusions. However, we have observed that in the texts produced by the lawyers the use of those linguistic resources not always takes place in an appropriate way. The texts analyzed have also showed that it is possible to unmask, through the linguistic resources, the argumentative strategy employed by the authors for convincing of the magistrate, making evident that language is more than a system of signs, which it makes possible to see beyond the limit of the words and statements. Finally, we have verified that the categories analyzed, when used appropriately, are elements that engender argumentative maneuvers of effectiveness in the juridical text, being fundamental pieces which give argumentative strength the text, making the speech to move forward, not only the juridical, but the speech produced in any domain of the knowledge

O ensaio jornalístico na revista Veja: uma análise multidimensional

This work has as objective generality to make a multidimensional analysis in the genre journalistic assay, communicative genre that, beyond complex and multimodal, presents hybrid characteristics. Specifically, with the intention to propose defining criteria of the cited genre, this research looks for to establish differences and similarities between the assay and other genres of the same sphere, from the description and interpretation of used multimodal resources. The analysis of the formal, schematical and rhetorical resources identified in the formatting of the journalistic assay sample that the analyses are supported in the socio-semiotic and socio-rhetorical approaches. In the formal dimension, we contemplate elements that constitute design of the text, including the forms of representation from the typography, the colors, images, as well as the aspects communicative-linguistics: the modalization indices, the communicative operators and the category time; in the schematical dimension, we present the organizational structure, considering the rhetorical movements postulates for Swales (1990) and in the rhetorical dimension we observe the categories: who writes, for who it writes, on what it writes and where writes. The adopted methodologicals postulates are of qualitative nature and the procedure is documentary, data that in we are valid them written texts of this genre as analysis object. Corpus it is constituted by a composed sample for 14 extracted texts of a set of 173 propagated journalistic assays weekly for the magazine Veja, in the period between August of 2004 and January of 2008. The analysis of the data showed that the journalistic assay, object of this study, materializes through multiple symbolic representations and multiple subjects that turn since a small episode of the daily facts of great social relevance in the present time, of historical and cultural nature, nationwide or international. Used for the first time by Montaigne in 1580, to assign, in saying of the proper author, written fast on its life and historical events, which could nor be remembered later , the term `assay' was enriched with other specifications, of form to enclose the one that if they call scientific assay today, academic assay, journalistic assay and other types of specific assays. These denominations have to see with the enrollment of the members of diverse of practices communities, in virtue of the multiplicity of activities carried through in these spheres. The conclusions the one that we arrive had been the following ones: 1. the discursive genre is not a pure entity, in virtue of the multiplicity of situations where the sorts if insert in the social actions; 2. the institutions define the configuration of one definitive genre, also its proper assignment, since for backwards of all discursive genre a voice exists to discipline - institutional voice, and in the case of the assays for analyzed us, the institutional voice if it presents, really, as a defining trace; 3. the journalistic assay, for its multiple symbolic representations, multiple subjects and for passing explicit or implicit opinions of its author, resembles it other genres, being able, therefore, to be inserted in a colony of opinionatives genres

Análise textual dos discursos: responsabilidade enunciativa no texto jurídico

This investigation aims at describing, analyzing and interpreting the Commitment in Initial Petitions, which is a genre circumscribed in the judicial domain. For this purpose, we have chosen sections, facts as found and relevant law , sections of the petition, with the understanding that, in this way, respectively, the narration of events, which gives margin to the propositioning to the judicial action, and the exposition of the law that upholds the author s intention. We base our discussion on the field of Linguistics, more precisely, Textual Discourse Analysis (TDA), whose theoretical basis is derived from Textual Linguistics (TL) and Enunciative Linguistics. We foreground, particularly, the way in which the author of texts, objects of analysis, use discursive strategies that evidence ER. The relevance of this study, then, is in the formation of a critique of the judicial text, as it conceives of a dialogical approach to the point of view, raising not only questions about the way in which a linguistic instance conceives an object of discourse, but also considering questions of language inherent to technical writing and, in this aspect, contributing to the work of those operating in Law about the many ways ER is formed in the body of a petition. We selected two categories to analyze that, according to Adam (2011), characterize the degree of ER in the textual material of the propositional enunciations: the different types of representation of speech and the indications of profile of mediators. In this sense, with this task as an objective, we base our study regarding point of view on Rabatel (2003, 2009a, 2010) with relation to the enunciative approach, including the study of PDV in polyphonic and dialogical theoretical framework to study the ER from different types of speech representations that conceive forms of transmission of discourse and the role of the enunciating subject, mainly the responsibility and the prerogative by the propositional contents. In the same way, intending to study the indications of the mediator profiles, we observed the postulations of Guentchéva (1994, 1996), which develop the notion of mediative grammatical categories, of which permit the linguistic marking of distance and engagement of the enunciator with regard to the information expressed. The methodology we adopted was based on qualitative research, of an interpretive and introspective nature, in light of the fact that his study focuses on processes and strategies underlying language use. The corpus of the research is comprised of Initial Petitions, which gave rise to actions originating in the Civil Court of Currais Novos County RN. The data analysis shows that an object of discourse is always perspective oriented and presents the point of view of one or more enunciators. Consequently, the producer of a text, using the PDV of other enunciators, influences and establishes the argumentative orientation of the text. In the same way, it evidences the relevance of the use of mediated constructions in the judicial text, as they function as strategies attenuated to the responsibility of the producer of the text with what is said, and at the same time points to a discourse of authority through the entrance of the sources of law. Moreover, it reveals the documental and international importance of this practice, at the same time that it exposes the compositional and normative difficulties with regard to legal and linguistic aspects

Espectro das ondas de spin lineares e não-lineares em multicamadas magnéticas anisotrópicas

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Comportamento de parâmetros fisiológicos de homens e mulheres em condições de estresse laboral submetidos à técnica Watsu

The physiological variations of parameters in situations of laboral stress can function like indicator in the sprouting of disorder. Those conditions have led researchers to investigate alternatives that can favor the quality of life in persons under stress laboral. The present research had as objectives investigate the physiological behavior of parameters (blood pressure, heart hat and respiratory hat) of men and women in condition of stress laboral submitted to the technique Watsu. It was used a experimental methodology with a group formed by men and women in reproductive age, that work as salesclerk in a supermarket net in Natal/RN. The seven individuals selected were submitted to the three phases of the study (dependent groups), that consisted of the phase 1 of obtaining from the measure basal (control 1), in the phase 2 of immersion in the water (control 2), and phase 3 from the application the technique Watsu (experimental phase). It was verified that during the phase basal (condition 1) the physiological parameters (BPS, BPD, HH and RH) of both sexes evaluated showed the medium values of the women (average±detour-standard: BSP = 104.1±7.92; BPD = 70.83 ±7.92; HH = 77.58 ±3.87; RH = 19.83 ±2.58) similar those presented by the men (BPS = 118.75 ±7.55; BPD = 75.00 ±9.91; HH = 71.75 ±14.95; RH = 16.62 ±3.99). The evaluation of those parameters before and after immersion of the volunteers in the water (condition 2) showed a significant reduction (W = 3.0: p≤0.05) barely for the values of BPS presented by the sex females after immersion. In the men group, all of the physiological parameters analyzed did not vary significantly. Regarding the profile of those variables before and after application of the watsu (condition 3), was verified a significant increase (W= 0,0: p≤0.05) for the BPS one and SABP in the women. The Men did not show significant variation for all of the physiological parameters. Faced with the results presented, we are able to conclude that the systolic and diastolic blood pressures were the physiological parameters that are on influence from the Technique Watsu, only for the kind females

Validade e confiabilidade da versão informatizada do inventário Million de estilos de personalidade

Currently, several psychological and non-psychological tests can be found in publishes without standardization on procedures set in different psychological areas, like intelligence, emotional states, attitudes, social skills, vocation, preferences and others. The computerized psychological testing is a extension of traditional testing psychological practices. However, it has own psychometrics qualities, either by its matching in a computerized environment or by the extension that can be developed in it. The current research, developed from a necessity to study process of validity and reliability on a computerized test, drew a methodological structure to provide parallel applications in numerous kinds of operational groups, evaluating the influences of the time and approach in the computerization process. This validity refers to normative values groups, reproducibility in computerized applications process and data processing. Not every psychological test can be computerized. Therefore, our need to find a good test, with quality and plausible properties to transform in computerized application, leaded us to use The Millon Personality Inventory, created by Theodore Millon. This Inventory assesses personality according to 12 bipolarities distributed in 24 factors, distributed in categories motivational styles, cognitive targets and interpersonal relations. This instrument doesn t diagnose pathological features, but test normal and non adaptive aspects in human personality, comparing with Theodore Millon theory of personality. In oder to support this research in a Brazilian context in psychological testing, we discuss the theme, evaluating the advantages and disadvantages of such practices. Also we discuss the current forms in computerization of psychological testing and the main specific criteria in this psychometric specialized area of knowledge. The test was on-line, hosted in the site http://www.planetapsi.com, during the years of 2007 and 2008, which was available a questionnaire to describe social characteristics before test. A report was generated from the data entry of each user. An application of this test was conducted in a linear way through a national coverage in all Brazil regions, getting 1508 applications. Were organized nine groups, reaching 180 applications in test and retest subject, where three periods of time and three forms of retests for studies of on-line tests were separated. Parallel to this, we organized multi-application session offline group, 20 subjects who received tests by email. The subjects of this study were generally distributed by the five Brazilian regions, and were noticed about the test via the Internet. The performance application in traditional and on-line tested groups subsidies us to conclude that on-line application provides significantly consistency in all criteria for validity studied and justifies its use. The on-line test results were related not only among themselves but were similar to those data of tests done on pencil and paper (0,82). The retests results demonstrated correlation, between 0,92 and, 1 while multisessions had a good correlation in these comparisons. Moreover, were assessed the adequacy of operational criteria used, such as security, the performance of users, the environmental characteristics, the organization of the database, operational costs and limitations in this on-line inventory. In all these five items, there were excellent performances, concluding, also, that it s possible a self-applied psychometric test. The results of this work are a guide to question and establish of methodologies studies for computerization psychological testing software in the country

Sono e percepção visuoespacial em trabalhadores de uma empresa petroquímica submetidos a esquemas de trabalho em turnos alternantes

Shift work consists of an array of unusual work hours, such as evenings and weekends, and increasing workload, in order to meet the uninterrupted production, which leads to changes in the quality, duration and regularity of sleep. Research indicates that sleep alteration cause cognitive processes to become slower, unstable and prone to errors, leading to loss of cognitive functions such as visuospatial perception. In this sense, this research aimed to evaluate sleep quality and its relation to visuospatial perception in workers in alternating shifts. Participants were 21 panel operators in a petrochemical company, male, aged 19-53 years. All participants were subjected to schedules of alternating shifts (day and night) of 12 nonstop hours and data were collected from 10 workers who were assigned to the day shift and 11 workers assigned to the night shift. For the sleep evaluation were used the Sleep Diary, the Sleep Habits Questionnaire, the Chronotype Identification Questionnaire and the Pittsburgh Sleep Quality Index (PSQI). The visuospatial skills were assessed using the Rey Complex Figure Test and attention was assessed using a portable version of the Psychomotor Vigilance Task (PVT). The results showed that the general sample of workers obtained poor sleep quality on working days and good sleep quality during the work break. There was shortened sleep duration in the work week and appropriate duration in the work break. No losses were found in the workers visuospatiality, but the good quality of sleep during the work break was correlated to adequate visuospatial performance, for the day shift workers. The attention performance oscillated throughout the work hours, especially on the night shift. It is concluded that the alternating shifts work scheme can be detrimental to the sleep quality workers and a good sleep quality can contribute to a better visuospatial performance

O dispositivo alta nos Centros de Atenção Psicossocial/CAPS : loucura, vida cotidiana e organização social

The present paper proposes an analysis about the Brazilian Psychiatric Reform as a public policy and deriving from a research developed with the workers of a Psychosocial Attention Centre III (CAPS III) and the managers of the Psychosocial Attention Web (REAP) in Aracaju. This analysis is developed as an investigation of the discharge at those services, understood not as a procedure, but as a dispositive from which different elements can be articulated: users, knowledge, technical procedures, police measures, juridical decisions, laws, services edifying. This, form the background of the articulation between mental alienation and the subject of right alienation, in the ways through which this articulation develops to the relations between madness,citizenship, internment and substitutive practices. Our investigation about the discharge as a dispositive was built with some narrative constructions, as a discourse analysis inspired by Michel Foucault s method, from the perspective of some of the main dispositive operators: workers and managers. The main aspect observed were: the articulations built by the discharge as a dispositive based on two discursive grate, the Reform as a new treatment substituting internship, and the Reform as juridical insertion and users rights practice; the exercise of these discursive grades based on the workers and managers perspective; the transference of limitations and contradictions of these grades to the competence of the dispositive operators, emerged in an outstanding way, as sometimes those operators are liable for the emergent limitations and difficulties, and some other times they are restrained by their institutional role, which is to maintain the domination relations articulated by the dispositive; finally, some aspects extracted which the dispositive operators - when they were expected to act in a way to maintain certain power relations - were capable to resist, managing other power relations from the dispositive, that we call, as Agamben, dispositive profanity

O problema do caixeiro viajante alugador : um estudo algorítmico

The Car Rental Salesman Problem (CaRS) is a variant of the classical Traveling Salesman Problem which was not described in the literature where a tour of visits can be decomposed into contiguous paths that may be performed in different rental cars. The aim is to determine the Hamiltonian cycle that results in a final minimum cost, considering the cost of the route added to the cost of an expected penalty paid for each exchange of vehicles on the route. This penalty is due to the return of the car dropped to the base. This paper introduces the general problem and illustrates some examples, also featuring some of its associated variants. An overview of the complexity of this combinatorial problem is also outlined, to justify their classification in the NPhard class. A database of instances for the problem is presented, describing the methodology of its constitution. The presented problem is also the subject of a study based on experimental algorithmic implementation of six metaheuristic solutions, representing adaptations of the best of state-of-the-art heuristic programming. New neighborhoods, construction procedures, search operators, evolutionary agents, cooperation by multi-pheromone are created for this problem. Furtermore, computational experiments and comparative performance tests are conducted on a sample of 60 instances of the created database, aiming to offer a algorithm with an efficient solution for this problem. These results will illustrate the best performance reached by the transgenetic algorithm in all instances of the dataset

CES: Um Mecanismo Genérico de Composição de Eventos para Sistemas Sensíveis ao Contexto

Pervasive applications use context provision middleware support as infrastructures to provide context information. Typically, those applications use communication publish/subscribe to eliminate the direct coupling between components and to allow the selective information dissemination based in the interests of the communicating elements. The use of composite events mechanisms together with such middlewares to aggregate individual low level events, originating from of heterogeneous sources, in high level context information relevant for the application. CES (Composite Event System) is a composite events mechanism that works simultaneously in cooperation with several context provision middlewares. With that integration, applications use CES to subscribe to composite events and CES, in turn, subscribes to the primitive events in the appropriate underlying middlewares and notifies the applications when the composed events happen. Furthermore, CES offers a language with a group of operators for the definition of composite events that also allows context information sharing

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Algorítmo evolucionário para a distribuição de produtos de petróleo por redes de polidutos

The distribution of petroleum products through pipeline networks is an important problem that arises in production planning of refineries. It consists in determining what will be done in each production stage given a time horizon, concerning the distribution of products from source nodes to demand nodes, passing through intermediate nodes. Constraints concerning storage limits, delivering time, sources availability, limits on sending or receiving, among others, have to be satisfied. This problem can be viewed as a biobjective problem that aims at minimizing the time needed to for transporting the set of packages through the network and the successive transmission of different products in the same pipe is called fragmentation. This work are developed three algorithms that are applied to this problem: the first algorithm is discrete and is based on Particle Swarm Optimization (PSO), with local search procedures and path-relinking proposed as velocity operators, the second and the third algorithms deal of two versions based on the Non-dominated Sorting Genetic Algorithm II (NSGA-II). The proposed algorithms are compared to other approaches for the same problem, in terms of the solution quality and computational time spent, so that the efficiency of the developed methods can be evaluated

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.