Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

X-ARM: um modelo de representação de artefatos de software

A great challenge of the Component Based Development is the creation of mechanisms to facilitate the finding of reusable assets that fulfill the requirements of a particular system under development. In this sense, some component repositories have been proposed in order to answer such a need. However, repositories need to represent the asset characteristics that can be taken into account by the consumers when choosing the more adequate assets for their needs. In such a context, the literature presents some models proposed to describe the asset characteristics, such as identification, classification, non-functional requirements, usage and deployment information and component interfaces. Nevertheless, the set of characteristics represented by those models is insufficient to describe information used before, during and after the asset acquisition. This information refers to negotiation, certification, change history, adopted development process, events, exceptions and so on. In order to overcome this gap, this work proposes an XML-based model to represent several characteristics, of different asset types, that may be employed in the component-based development. Besides representing metadata used by consumers, useful for asset discovering, acquisition and usage, this model, called X-ARM, also focus on helping asset developers activities. Since the proposed model represents an expressive amount of information, this work also presents a tool called X-Packager, developed with the goal of helping asset description with X-ARM

Atratividade cultural e potencialidade turística: análise do evento Auto de Natal (Natal RN)

Inserted in the schedule for Christmas celebration in the city of Natal, capital of the state of Rio Grande do Norte, Brazil, the spectacle so called Auto de Natal mixes the Christmas story of Jesus birth with cultural and natural heritage of the state, making possible the integration of professionals from various fields, such as: literature, theater, dance and music. Important for local identity, Auto de Natal integrates elements of intangible heritage in the state. In this context, the research analyzed the perceptions of those who were involved in the production, presentation and organization of the event, planned to be culturally attractive to tourism. For this, it was used the descriptive and exploratory method, making use of documental, bibliographic and field researches. It was applied qualitative techniques to the interpretation of the interviews, while it was applied quantitative techniques to analyze the questionnaires. The research has discovered that Auto de Natal has the potential to add value to Cultural Tourism, diversifying the tourism product. The research has also observed that most of the respondents recognized Auto de Natal as intangible heritage, and concluded that the Christmas theme, which is alluding to the nomenclature of destiny, needs to be well-done to attract more tourists to experience the Natal in Natal

A representação social de educação tecnológica de docentes da Rede Federal de Educação Profissional e Tecnológica: CEFETs do Rio Grande do Norte

The aim of this study was to investigate the social representation of technological education teachers at the Federal Technological Education Network. The survey was conducted from 2007 to 2010, and the respondents were 275 teachers, 135 of the Federal Center for Technological Education (CEFET in portuguese) in the state of Amazonas, in Manaus unit headquarters; 140 of the CEFET in the state of Rio Grande do Norte, a unit based in Natal. We adopt the concept of technological education as the top level of professional education, that is to say, the undergraduate programs of short duration called technological courses. The Federal Technological Education Network gathers hundreds of related institutions, coordinated and supervised by the Office of Vocational and Technological Education of the Ministry of Education. Although many of these institutions offer courses in technology education, no research addressing this subject from the perspective of Social Representations Theory (SRT) was found in the literature. We seek to unravel the social representation of technological education of the teachers by adopting the procedural approach of SRT. This is a qualitative approach, focusing on significant aspects of the representative activity and the formation mechanisms of the representation. Therefore, we search the socio-genesis of the representation in the articulations between discourses, social institutions and practices. We initiated the research through applying critical reading and an analytical perspective on the historical and regulatory documents of technological education in Brazil, from the early twentieth century to the present day. We adopt the Procedure for Multiple Classifications (PMC) from the Free Words Association Technique (FWAT) to access the elements of representational content. For the analysis of the data obtained with FWAT and selection of major words / phrases pertinent to the semantic field of education technology, we used Hamlet II software. For the data analysis of PMC and Free Classification (FC) we used the SPSS ® (Statistical Package for the Social Sciences) version 17.0 and used the method of multidimensional scaling - Multidimensional scaling - (MDS). The output from the central MDS takes the form of a set of scatterplots - "perceptual maps" - of which the points are the elements of the representational content. For the FC data analysis we used the Scalogram Multidimensional Analysis (SMA) - which makes use of the original data in its raw form and allows categorical data to be interpreted in the map as measures of (di)similarity. In order to help with the understanding of the settings of the perceptual maps of FC, we used the Content Analysis of the discourse fragments of the teachers interviewed. The results confirm our initial hypothesis regarding the presence of a single plot among the socio-cognitive study subjects, which is the basis for a social representation of technological education in line with the historic assumption of the dichotomy between mental and manual labor. In spite of the three merging representational elements of the representational content, the perceptual maps compiled from the MSA statistics corroborates the dichotomy, with the exception of the map relating to the subgroup of teachers belonging to the humanities

Segregação socioespacial e turismo: estudo da representação fílmica criada pelos turistas e residentes sobre Natal Rio Grande do Norte

This study emerges and develops, from a note by Italo Calvino, who in his novel Invisible Cities advised to avoid saying "that sometimes different cities follow on the same site and with the same name, born and die without knowing, without communication among itself ". The research with a transdisciplinary work ( using elements of sociology, anthropology, geography and communication) made a reflection about segregation and tourism: poverty-richness, center-periphery, tradition- spectaclezation , the visitor-visited maping the touristic circuit and discussing about the phenomenon on the real city and touristic place: Natal and the "Sun City" - Rio Grande do Norte, studying videos produced by residents (documentary) and tourists ( posted on the Internet). Doing a comparative analysis between the realities of these two subjects (resident and tourist), the research found few similarities, many differences on the urban experience, with the existence of two distinct realities (tourist region X the periphery region). Based on theory of phenomenology, social representation, and using content analysis of film, it was noted that promotes to the visitor a trip segmented and disintegrated to daily life, culture and contact with the resident. Resident that, in largely part, lives in a unattended area, with no prospect of life (represented by Novo Horizonte Community). The confinement and segregation occurs even in his moments of leisure and cultural expressions (represented by Redinha‟s Beach), because the private an public leisure areas of tourism indirectly prevent access by people who can not contribute to the consumption on this places. This papper concluded that the tourism in Natal is an activity-phenomenon that directs and focuses on public investments for infrastructure tourist region (Ponta Negra Beach), in detriment of the poorest and periphery areas of the city

Detecção e diagnóstico de falhas não-supervisionados baseados em estimativa de densidade recursiva e classificador fuzzy auto-evolutivo

In this work, we propose a two-stage algorithm for real-time fault detection and identification of industrial plants. Our proposal is based on the analysis of selected features using recursive density estimation and a new evolving classifier algorithm. More specifically, the proposed approach for the detection stage is based on the concept of density in the data space, which is not the same as probability density function, but is a very useful measure for abnormality/outliers detection. This density can be expressed by a Cauchy function and can be calculated recursively, which makes it memory and computational power efficient and, therefore, suitable for on-line applications. The identification/diagnosis stage is based on a self-developing (evolving) fuzzy rule-based classifier system proposed in this work, called AutoClass. An important property of AutoClass is that it can start learning from scratch". Not only do the fuzzy rules not need to be prespecified, but neither do the number of classes for AutoClass (the number may grow, with new class labels being added by the on-line learning process), in a fully unsupervised manner. In the event that an initial rule base exists, AutoClass can evolve/develop it further based on the newly arrived faulty state data. In order to validate our proposal, we present experimental results from a level control didactic process, where control and error signals are used as features for the fault detection and identification systems, but the approach is generic and the number of features can be significant due to the computationally lean methodology, since covariance or more complex calculations, as well as storage of old data, are not required. The obtained results are significantly better than the traditional approaches used for comparison

Tratamento técnico informacional de discos sonoros: uma abordagem voltata para a análise, representação e organização de acervos musicais

Aborda o tratamento técnico informacional de discos sonoros na Biblioteca Especializada em Música Pe. Jaime Diniz, da Universidade Federal do Rio Grande do Norte. Caracteriza os discos sonoros enquanto suporte informacional. Relata as dificuldades encontradas no processo de tratamento da informação musical em materiais especiais. Objetiva estabelecer diretrizes para a análise, representação e organização do acervo de discos sonoros. Utiliza a pesquisa bibliográfica em fontes impressas e eletrônicas para o suporte teórico, tendo como metodologia o estudo de caso. Conclui que as regras e padrões para o tratamento técnico da informação no campo da Biblioteconomia podem sofrer adaptações para melhor representar o conteúdo musical dos discos sonoros, considerando a necessidade do profissional da informação em aperfeiçoar seus conhecimentos em música.

Representação de gestantes tabagistas sobre o uso do cigarro: estudo realizado em hospital do interior paulista

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

O uso da representação cartográfica e a cartofobia: analisando a prática e a formação inicial docente na Geografia do ensino público em Teresina-PI

This word has objective to analyzer the relevance of the use of the cartographic representations, in the constructions of the geographical knowledge, during the process of the teaching-learning in the classes of the Geographic of the High School, drawing liam with the formation docent of the regulars courses of teacher training in the regular courses of Degree in Geography. Delimit is the area of empiric search to College State Zacarias de Goes (CEZG) Liceu Piauiense, and to regulars courses of Degree in Geography of the University Federal of the Piauí (UFPI) and University State of the Piauí (UESPI), educational institutions of the public network, located in the city of the Teresina Piauí. Expression of the problematic searched is gaps to been demystified on the vision cartofógica, when has reference to use of the cartographic representations, in the practice, and the initial formation docent in the Geography. To analyze the dynamics of the use of the cartographic resources, tried demystify the Cartography while of the space during the teaching of discipline Geography. So, the lyam with the initial formation in the begree search understand the impasses of construction to academic know and the possibilities of the didactic transposition to the restructure of the know scholar to teacher who works in the Geography, trying to make the teaching of this discipline more interesting and value

SUBSTITUIÇÃO do LIGAMENTO da CABEÇA do FÊMUR COM AUTO-ENXERTO DE FÁSCIA LATA NA LUXAÇÃO COXOFEMORAL em CÃES

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

Incidência das dermatopatias auto-imunes em cães e gatos e estudo retrospectivo de 40 casos de lupus eritematoso discóide atendidos no serviço de dermatologia da Faculdade de Medicina Veterinária e Zootecnia da UNESP – Botucatu

The objectives of this study were to do a survey of the autoimmune skin diseases and update the records regarding the occurrence of discoid lupus erythematosus in canine and feline populations attended at the Dermatology Service of the College of Veterinary Medicine and Animal Science of UNESP - Botucatu, including species, gender, breed, age, location and characteristic of the lesions. Results have shown that the order of occurrence, regarding the number of cases of autoimmune skin diseases in the animals attended by the Dermatology Service in the period from 1988 to 2007 was: discoid lupus erythematosus, pemphigus folliaceus, uveo-dermatologic syndrome, pemphigus vulgaris, systemic lupus erythematosus, necrolytic migratory erythema, multiforme erythema and plasmacytic pododermatitis. All the animals with discoid lupus erythematosus were dogs and most of them were mongrel females. More frequently breeds affected by discoid lupus erythematosus were german shepherd and akita and the mean age was 56 months. Most lesions were located in nasal planum, narines and periocular area and were characterized by crusting, depigmentation and erythema.

Comparação de dois métodos de avaliação da fenologia de plantas, sua interpretação e representação

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

Reações ácido-base: conceito, representação e generalização a partir das energias envolvidas nas transformações

Undergraduate students on the first year of Chemistry Courses are unfamiliar with the representation of acid-base reactions using the ionic equation H+ + OH- → H2O. A chemistry class was proposed about acid-base reactions using theory and experimental evaluation of neutralization heat to discuss the energy involved when water is formed from H+ and OH- ions. The experiment is suggested using different strong acids and strong base pairs. The presentation of the theme within a chemistry class for high school teachers increased the number of individuals that saw the acid-base reaction from this perspective.

Método da histerese por auto-ajuste para minimização de esforço de controle no separador submarino VASPS

Neste trabalho apresenta-se o estudo do desenvolvimento de um controlador não-tradicional baseado em um mecanismo de histerese com auto-ajuste para o controle de nível de líquido de um sistema de separação e bombeio submarino conhecido como VASPS. O controlador desenvolvido gera sinais enviados para a bomba centrífuga submersa para controlar o nível de líquido no tanque do separador, evitando que ele atinja valores muito baixos que poderiam danificar a bomba ou valores muito altos que reduziriam a eficiência da separação líquido/gás. Os sinais de controle gerados pelo controlador visam solicitar a bomba o mínimo possível de modo a evitar o seu desgaste e falhas prematuras. Nas simulações, o controlador desenvolvido foi testado sob grandes variações nas condições de operação, tais como golfadas, produzindo resultados bastante satisfatórios e promissores.