EIT: Escalonador Inteligente de Transações

In order to guarantee database consistency, a database system should synchronize operations of concurrent transactions. The database component responsible for such synchronization is the scheduler. A scheduler synchronizes operations belonging to different transactions by means of concurrency control protocols. Concurrency control protocols may present different behaviors: in general, a scheduler behavior can be classified as aggressive or conservative. This paper presents the Intelligent Transaction Scheduler (ITS), which has the ability to synchronize the execution of concurrent transactions in an adaptive manner. This scheduler adapts its behavior (aggressive or conservative), according to the characteristics of the computing environment in which it is inserted, using an expert system based on fuzzy logic. The ITS can implement different correctness criteria, such as conventional (syntactic) serializability and semantic serializability. In order to evaluate the performance of the ITS in relation to others schedulers with exclusively aggressive or conservative behavior, it was applied in a dynamic environment, such as a Mobile Database Community (MDBC). An MDBC simulator was developed and many sets of tests were run. The experimentation results, presented herein, prove the efficiency of the ITS in synchronizing transactions in a dynamic environment

Sistema Híbrido de Inferência Baseado em Análise de Componentes Principais e Redes Neurais Artificiais Aplicado a Plantas de Processamento de Gás Natural

Nowadays, where the market competition requires products with better quality and a constant search for cost savings and a better use of raw materials, the research for more efficient control strategies becomes vital. In Natural Gas Processin Units (NGPUs), as in the most chemical processes, the quality control is accomplished through their products composition. However, the chemical composition analysis has a long measurement time, even when performed by instruments such as gas chromatographs. This fact hinders the development of control strategies to provide a better process yield. The natural gas processing is one of the most important activities in the petroleum industry. The main economic product of a NGPU is the liquefied petroleum gas (LPG). The LPG is ideally composed by propane and butane, however, in practice, its composition has some contaminants, such as ethane and pentane. In this work is proposed an inferential system using neural networks to estimate the ethane and pentane mole fractions in LPG and the propane mole fraction in residual gas. The goal is to provide the values of these estimated variables in every minute using a single multilayer neural network, making it possibly to apply inferential control techniques in order to monitor the LPG quality and to reduce the propane loss in the process. To develop this work a NGPU was simulated in HYSYS R software, composed by two distillation collumns: deethanizer and debutanizer. The inference is performed through the process variables of the PID controllers present in the instrumentation of these columns. To reduce the complexity of the inferential neural network is used the statistical technique of principal component analysis to decrease the number of network inputs, thus forming a hybrid inferential system. It is also proposed in this work a simple strategy to correct the inferential system in real-time, based on measurements of the chromatographs which may exist in process under study

Um sistema para simular o comportamento de bancos trifásicos de reguladores de tensão usados em sistemas de distribuição de energia elétrica

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

Desenvolvimento de um middleware para comunicação via web services e sua aplicação em sistemas de aquisição de dados industriais

The control of industrial processes has become increasingly complex due to variety of factory devices, quality requirement and market competition. Such complexity requires a large amount of data to be treated by the three levels of process control: field devices, control systems and management softwares. To use data effectively in each one of these levels is extremely important to industry. Many of today s industrial computer systems consist of distributed software systems written in a wide variety of programming languages and developed for specific platforms, so, even more companies apply a significant investment to maintain or even re-write their systems for different platforms. Furthermore, it is rare that a software system works in complete isolation. In industrial automation is common that, software had to interact with other systems on different machines and even written in different languages. Thus, interoperability is not just a long-term challenge, but also a current context requirement of industrial software production. This work aims to propose a middleware solution for communication over web service and presents an user case applying the solution developed to an integrated system for industrial data capture , allowing such data to be available simplified and platformindependent across the network

Aplicação prática do método de sintonia de controladores PID utilizando o método do relé com histerese

The area of research and development involving the PID tune of controllers is an active area in the academic and industrial sectors yet. All this due to the wide use of PID controllers in the industry (96% of all controllers in the industry is still PID). Controllers well tuned and tools to monitor their performance over time with the possibility of selftuning, become an item almost obligatory to maintain processes with high productivity and low cost. In a globalized world, it is essential for their self survival. Although there are several new tools and techniques that make PID tune, in this paper will explore the PID tune using the relay method, due its good acceptance in the industrial environment. In addition, we will discuss some techniques for evaluation of control loops, as IAE, ISE, Goodhart, the variation of the control signal and index Harris, which are necessary to propose new tuning for control loops that have a low performance. Will be proposed in this paper a tool for tuning and self tuning PID. Will be proposed in this paper a PID auto-tuning software using a relay method. In particular, will be highlighted the relay method with hysteresis. This method has shown tunings with satisfactory performance when applied to the didactic, simulated and real plants

Desenvolvimento de uma unidade laboratorial para quantificação de BTX como poluentes atmosféricos, usando microextração em fase sólida

This dissertation aims the development of an experimental device to determine quantitatively the content of benzene, toluene and xylenes (BTX) in the atmosphere. BTX are extremely volatile solvents, and therefore play an important role in atmospheric chemistry, being precursors in the tropospheric ozone formation. In this work a BTX new standard gas was produced in nitrogen for stagnant systems. The aim of this dissertation is to develop a new method, simple and cheaper, to quantify and monitor BTX in air using solid phase microextraction/ gas chromatography/mass spectrometry (SPME/CG/MS). The features of the calibration method proposed are presented in this dissertation. SPME sampling was carried out under non-equilibrium conditions using a Carboxen/PDMS fiber exposed for 10 min standard gas mixtures. It is observed that the main parameters that affect the extraction process are sampling time and concentration. The results of the BTX multicomponent system studied have shown a linear and a nonlinear range. In the non-linear range, it is remarkable the effect of competition by selective adsorption with the following affinity order p-xylene > toluene > benzene. This behavior represents a limitation of the method, however being in accordance with the literature. Furthermore, this behavior does not prevent the application of the technique out of the non-linear region to quantify the BTX contents in the atmosphere.

Bioética e odontologia: um perfil dos problemas éticos vividos por cirurgiões-dentistas

Bioethics studies human behavior in the fields ofbiological sciences and health care. Tt strives for humanization in health services along with promoting the rights of patients. In view of the lack of dental research dealing with this topic, the present study was undertaken to identify, from the viewpoint of dental surgeons, ethical problems experienced in dental practice,understand how they occur and how professionals deal with them. It is a descriptive exploratory investigation within a qualitative approach. Empirical material was collected through semi-structured interviews performed with 15 dental surgeons who work both in private and public practice in the state of Rio Grande do Norte, Brazil. The content of the interviews was systemized and organized, resulting in the identification of topics, from which were grouped the ethical problems reported by the participants. The resu1ts indicate that many of the ethical problems coincide with infringements of the norms and mIes of the Dental Code of Ethics, confirming a dental ethic acquired during professional formation and therefore, inadequate for solving the problems that emerge in professional practice. Other questions stand out such as low salaries, competition and poor working conditions. Associated to these problems are lack of commitment and professional responsibility with the patients. Concem with maintaining user autonomy, guaranteeing access to specialized services, and the need for performing only procedures for which they are technically qualified arise in the responses, leading to difficulties in consolidating the principIes proclaimed by bioethics: autonomy, justice, nonmaleficence and beneficence. We concluded that the ethical problems identified in professional practice need to be understood beyond the dental dimension, towards a human approach. It is therefore necessary to incorporate health care management technologies into health practices, including dentistry, which implies recognizing the difTerent dimensions that surround individuaIs, that is, social, economic, political and cultural

Ofensiva do Capital e Desmobilização das Forças do Trabalho: As Estratégias Gerenciais Burguesas para a Desarticulação das Classes Trabalhadoras

The problematic that gives shape to this research is the question of the historical process of demobilization of the movement of the working classes in your accented contemporary moment. Their object of study, however, and that it particularizes, it relates to a portion this problematic; it relates to set of determinations that comprise a broader set of determinations of this historical process: it is a set of determinations forged and mediated by bourgeois strategies of management for the conformation of the circumstances necessary for the domination and for the conduct of labor force on operations in work processes for the production of surplus value. What we investigated are, because, the strategies of disarticulation that the bourgeoisie utilizes, under the mantle of subsidies conceptual and interventive of its management of work processes and the sieve of class struggles, to obstruct the union of workers; hamper the movements proletarians. Managerial strategies that intentionally or unintentionally, instill in the social relations of production means to produce and reproduce, activate and reactivate conditions of incitement of individualism and competition between the workers themselves. We shall see, thus, by analyzing means, centrally, from some of the fundamentals of disarticulation in the managerial strategies bourgeois and some of the fundamental strategies of management bourgeois hegemonized with the restructuring productive of 1970, that the disarticulation, and also the demobilization, is a concrete condition, is an objective condition, that is beyond a question that can be "solved" only by enlightenment cognitive, only by formation criticism intellectual. In everyday of the work spaces permeated by managerial strategies bourgeois there elements, then, operating as a material force putting difficulties important for the articulation of the workers, the solidarity of the proletariat; elements that constitute obstacle significant to an awareness of class and belonging; elements act in favor of the atomization of the worker - even if engenders, in the same process, as a contradiction, potentiality of resistance and fight the forces of labor

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Feira livre de Macaíba/RN : um estudo das modificações na dinâmica socioespacial (1960/2006)

The objective of the current piece of research is to reflect upon the diverse changes that have occurred in the social and spatial dynamics of the Macaíba fair in the period between 1960 and 2006. During the second half of the 19th century, Macaíba had in the commerce one of this principle economic base a contribution for which the city became one of the main commercial warehouses of the East coast of the Rio Grande do Norte region. This helped lead to the growth of Macaíba s fair, which proved to be one of the most important existing in the state until the 1970 s. In the last two decades of the 20th century, certain elements represented challenges to the fair at Macaíba. These challenges stimulated substantial changes in the fair s dynamics which include the growth and expansion of the commercial and service sector, primarily though supermarkets; consolidation among the commercial and distribution networks, represented by the Central Office of Supply of the Rio Grande do Norte S/A (Ceasa/RN), by the wholesale and refrigeration companies; and the modernization of transportation methods, which permitted an expanded reach for these networks. Even with all these changes, the fair continues to be one of the strongest aspects of the city being the center of resistance against the surge of new forms of commerce and consumption in the city (notable the supermarkets) and the diffusion of other aspects of globalization. The fair has economic importance, as it offers a popular marketplace for the commercialization of very different products and a means for supplying goods to the residents of the city and the rural communities of Macaíba and the surrounding municipalities; and socio-cultural importance in that the fair is a place where popular tradition is expressed, a place where a great number of parallel activities occur, a place for meeting again and again, of conversations, of manifestations of culture and art, and of socialization in all of its dimensions

Ciclos clássicos num ambiente de racionalidade limitada

O presente trabalho toma como ponto de partida o modelo macrodinâmico de Richard M. Goodwin, apresentado no clássico artigo A Growth Cycle (1967). Neste modelo a interação entre distribuição de renda e acumulação de capital gera um ciclo de crescimento que oscila em torno de uma trajetória de crescimento equilibrado. O objetivo do presente trabalho é investigar a possibilidade de existência de ciclos goodwinianos com heterogeneidade de salários e de taxas de lucro. Essa análise é realizada considerando o processo de concorrência entre trabalhadores num ambiente de racionalidade limitada. Para formalizar o processo de concorrência entre trabalhadores foram utilizados dois recursos: (i) a alegoria das ilhas , que tem sido amplamente adotada na macroeconomia moderna, a fim de apreender situações de informação imperfeita; e (ii) os instrumentos analíticos desenvolvidos pela teoria dos jogos evolucionários aplicada a ambientes sociais. O modelo construído combina o modelo de Goodwin com uma formalização estilizada do fluxo de trabalho como um processo de imitação num ambiente de racionalidade limitada (dinâmica de replicação num contexto social). Neste modelo demonstra-se a possibilidade de o sistema econômico não convergir para um estado de equilíbrio de longo prazo e a possibilidade do sistema econômico convergir para um ciclo goodwiniano caracterizado por heterogeneidade de salários e de taxas de lucro.

Valorização da reserva operativa em um ambiente competitivo para geradores hidrelétricos

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

Inovação tecnológica na indústria automobilística: características e evolução recente

O objetivo principal deste artigo é analisar as características básicas da evolução recente do processo de inovação tecnológica na indústria automobilística. A hipótese de trabalho é que estariam ocorrendo mudanças na intensidade do processo de inovação técnica nessa indústria. O ponto de partida é a observação de que, nos últimos anos, tem havido na indústria automotiva - provavelmente em decorrência da intensificação da concorrência setorial e de uma maior oportunidade tecnológica - tanto uma ampliação dos gastos em P&D quanto uma crescente incorporação da microeletrônica (nos produtos e nos processos produtivos). Finalmente, são feitas também algumas considerações procurando relacionar os resultados obtidos neste artigo com a discussão do processo de de-maturity (rejuvenescimento) industrial, proposto por Abernathy e outros autores.

Acordo sobre a aplicação de medidas sanitarias e fitosanitarias: balanço de uma década buscando o equilíbrio entre a proteção do comércio e a proteção da saúde dos consumidores

Incluye Bibliografía