Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

WI-BIO: redes de monitoramento de pacientes em ambientes de automação hospitalar utilizando o padrão IEEE 802.11

The monitoring of patients performed in hospitals is usually done either in a manual or semiautomated way, where the members of the healthcare team must constantly visit the patients to ascertain the health condition in which they are. The adoption of this procedure, however, compromises the quality of the monitoring conducted since the shortage of physical and human resources in hospitals tends to overwhelm members of the healthcare team, preventing them from moving to patients with adequate frequency. Given this, many existing works in the literature specify alternatives aimed at improving this monitoring through the use of wireless networks. In these works, the network is only intended for data traffic generated by medical sensors and there is no possibility of it being allocated for the transmission of data from applications present in existing user stations in the hospital. However, in the case of hospital automation environments, this aspect is a negative point, considering that the data generated in such applications can be directly related to the patient monitoring conducted. Thus, this thesis defines Wi-Bio as a communication protocol aimed at the establishment of IEEE 802.11 networks for patient monitoring, capable of enabling the harmonious coexistence among the traffic generated by medical sensors and user stations. The formal specification and verification of Wi-Bio were made through the design and analysis of Petri net models. Its validation was performed through simulations with the Network Simulator 2 (NS2) tool. The simulations of NS2 were designed to portray a real patient monitoring environment corresponding to a floor of the nursing wards sector of the University Hospital Onofre Lopes (HUOL), located at Natal, Rio Grande do Norte. Moreover, in order to verify the feasibility of Wi-Bio in terms of wireless networks standards prevailing in the market, the testing scenario was also simulated under a perspective in which the network elements used the HCCA access mechanism described in the IEEE 802.11e amendment. The results confirmed the validity of the designed Petri nets and showed that Wi-Bio, in addition to presenting a superior performance compared to HCCA on most items analyzed, was also able to promote efficient integration between the data generated by medical sensors and user applications on the same wireless network

Sistema supervisório para poços de petróleo baseados no método de elevação artificial Plunger Lift

The several existing methods for oil artificial lifting and the variety of automation equipment for these methods many times lead the supervisory systems to be dedicated to a unique method and/or to a unique manufacturer. To avoid this problem, it has been developed the supervisory system named SISAL, conceived to supervise wells with different lifting methods and different automation equipments. The SISAL system is working in several Brazilian states but, nowadays, it is only supervising rod pump-based wells. The objective of this work is the development of a supervision module to the plunger lift artificial lift method. The module will have the same characteristics of working with automation hardware of many manufacturers. The module will be integrated to the SISAL system, incorporating the capacity to supervise the plunger lift artificial lift method.

Uma arquitetura para sistemas supervisórios industriais e sua aplicação em processos de elevação artificial de petróleo

The using of supervision systems has become more and more essential in accessing, managing and obtaining data of industrial processes, because of constant and frequent developments in industrial automation. These supervisory systems (SCADA) have been widely used in many industrial environments to store process data and to control the processes in accordance with some adopted strategy. The SCADA s control hardware is the set of equipments that execute this work. The SCADA s supervision software accesses process data through the control hardware and shows them to the users. Currently, many industrial systems adopt supervision softwares developed by the same manufacturer of the control hardware. Usually, these softwares cannot be used with other equipments made by distinct manufacturers. This work proposes an approach for developing supervisory systems able to access process information through different control hardwares. An architecture for supervisory systems is first defined, in order to guarantee efficiency in communication and data exchange. Then, the architecture is applied in a supervisory system to monitor oil wells that use distinct control hardwares. The implementation was modeled and verified by using the formal method of the Petri networks. Finally, experimental results are presented to demonstrate the applicability of the proposed solution

Sistema supervisório para poços de petróleo baseados no método de elevação artificial Plunger Lift

The several existing methods for oil artificial lifting and the variety of automation equipment for these methods many times lead the supervisory systems to be dedicated to a unique method and/or to a unique manufacturer. To avoid this problem, it has been developed the supervisory system named SISAL, conceived to supervise wells with different lifting methods and different automation equipments. The SISAL system is working in several Brazilian states but, nowadays, it is only supervising rod pump-based wells. The objective of this work is the development of a supervision module to the plunger lift artificial lift method. The module will have the same characteristics of working with automation hardware of many manufacturers. The module will be integrated to the SISAL system, incorporating the capacity to supervise the plunger lift artificial lift method.

O Uso das Redes Socais no Âmbito das Bibliotecas Universitárias Federais Brasileiras

Aborda a questão das Redes Sociais Virtuais como ferramenta na comunicação e no repasse de informações nas Bibliotecas Universitárias Federais brasileiras. Objetiva analisar o uso das Redes Sociais como recurso estratégico na comunicação e na melhoria de produtos e serviços no ambiente de bibliotecas universitárias brasileiras, observando suas vantagens e dificuldades de manutenção na visão dos profissionais bibliotecários. A metodologia empregada foi a da pesquisa bibliográfica e estudo de caso, utilizando como universo de pesquisa as Bibliotecas Universitárias Federais do Brasil, com observações e aplicação de questionário como instrumento para coleta de dados. Ressalta ao final que o uso das Redes Sociais torna-se relevante na atual sociedade, como também nas Bibliotecas Universitárias, por possibilitar um repasse de informação mais eficiente e uma comunicação mais ativa e participativa em seus ambientes.

Análise de desempenho sobre redes IEEE 802.3/PM-AH: protoclo multicilos para automação hospitalar

Com a incorporação de conceitos da automação em ambientes hospitalares surge uma série de novos requisitos pertinentes a área médica. Dentre esses requisitos, um que merece destaque é a necessidade do estabelecimento de uma rede de comunicação segura e eficiente entre os elementos do ambiente hospitalar, visto que, os mesmos encontram-se de maneira distribuída. Nesse sentido, existe uma série de protocolos que podem ser utilizados no estabelecimento dessa rede, dentre os quais, um que merece destaque é o PM-AH (Protocolo Multiciclos para Automação Hospitalar) justamente por ser voltado a automatização de ambientes hospitalares tanto no que diz respeito ao cumprimento dos requisitos impostos nesse tipo de ambiente, como pelo fato de ser projetado para funcionar sobre a tecnologia Ethernet, padrão esse que é comumente utilizado pela rede de dados dos hospitais. Em decorrência disso, o presente trabalho aborda uma análise de desempenho comparativa entre redes PM-AH e puramente Ethernet visando atestar a eficiência do primeiro no que diz respeito ao cumprimento dos requisitos impostos pela automação hospitalar

Redes interorganizacionais e inovação: o caso do pólo joalheiro de Belém

This work is a case study based on Belém Jewelry Pole, whose main issue is to understand how the social network (which the Pole is inserted) influences on innovation process on this area. The main objective is to analyze how interorganizational networks impacted/impact on the potential for innovation, creating both limits and opportunities for the companies development. The adopted method analyzed the historical jewelry industry trajectory since the beginning of mineral extraction in the city of Itaituba (in the Pará State) until nowadays. Primary and secondary data were used allowing the view of the dynamics of the network during transformation periods of the main involved actors in the process. The prospect of embeddedness structural as analysis technique allowed verifying the quality of interactors ties, as well as the visualization of their structures. During the jewelry industry trajectory was verified a change in the quality of social relations, modifying the information flow, trust and associations of various links in the production chain. Both direct and indirect ties facilitated the access to remote networks entering new information related to new products, processes and market aspects. This interaction has led to raising the innovation potential causing a qualitative and quantitative improvement in competitiveness of organizations. Some embedded ties allowed the formation of partnerships bringing various economic earnings for those involved in the relationship. Thus, it is understood how aspects related to the position, architecture and quality of ties in a wide social network influenced on the innovation process and eventual jewelry industry trajectory

A importância das redes de relacionamento para se formar uma parceria : um estudo de caso na ALESAT

This paper consists in a study case at the Alesat company, which aims at analyzing how the networks from the former companies Ale and Sat influence the formation of partnerships. The study was based on literature by Burt (1992), Granovetter (1973), Uzzi (1997), Contractor and Lorange (1988), Gulati (1998), Child and Faulkner (1998), and others, to verify how important the social relations were between the companies to the formation of a strategic alliance. The research method we adopted analyzed the first partnership between Ale and Sat and the last one that ended up with the merger of the companies resulting in a new company, Alesat. Semi-structured interviews were conducted in 2008 with the council board of the company. Secondary data were also collected from specific web sites from the area, such as ANP, Sindicom and Fecombustíveis, as well as from important newspapers in the market. The primary data were analyzed through the content analysis technique from Triviños (1987). The secondary data were analyzed through the documental analysis technique from Richardson (1985). This way, through the data collected, it can be concluded that the social ties between the companies were important in the partnership, and among the reasons that made the companies get together, the key one was the fact that the union would make possible to the companies act in regions in which they didn t have too much market share, making them a bigger player nationally wise

Previsão do índice bovespa por meio de redes neurais artificiais: uma análise comparada aos métodos tradicionais de séries de tempo

Forecast is the basis for making strategic, tactical and operational business decisions. In financial economics, several techniques have been used to predict the behavior of assets over the past decades.Thus, there are several methods to assist in the task of time series forecasting, however, conventional modeling techniques such as statistical models and those based on theoretical mathematical models have produced unsatisfactory predictions, increasing the number of studies in more advanced methods of prediction. Among these, the Artificial Neural Networks (ANN) are a relatively new and promising method for predicting business that shows a technique that has caused much interest in the financial environment and has been used successfully in a wide variety of financial modeling systems applications, in many cases proving its superiority over the statistical models ARIMA-GARCH. In this context, this study aimed to examine whether the ANNs are a more appropriate method for predicting the behavior of Indices in Capital Markets than the traditional methods of time series analysis. For this purpose we developed an quantitative study, from financial economic indices, and developed two models of RNA-type feedfoward supervised learning, whose structures consisted of 20 data in the input layer, 90 neurons in one hidden layer and one given as the output layer (Ibovespa). These models used backpropagation, an input activation function based on the tangent sigmoid and a linear output function. Since the aim of analyzing the adherence of the Method of Artificial Neural Networks to carry out predictions of the Ibovespa, we chose to perform this analysis by comparing results between this and Time Series Predictive Model GARCH, developing a GARCH model (1.1).Once applied both methods (ANN and GARCH) we conducted the results' analysis by comparing the results of the forecast with the historical data and by studying the forecast errors by the MSE, RMSE, MAE, Standard Deviation, the Theil's U and forecasting encompassing tests. It was found that the models developed by means of ANNs had lower MSE, RMSE and MAE than the GARCH (1,1) model and Theil U test indicated that the three models have smaller errors than those of a naïve forecast. Although the ANN based on returns have lower precision indicator values than those of ANN based on prices, the forecast encompassing test rejected the hypothesis that this model is better than that, indicating that the ANN models have a similar level of accuracy . It was concluded that for the data series studied the ANN models show a more appropriate Ibovespa forecasting than the traditional models of time series, represented by the GARCH model

Tecendo vivências e sentidos do câncer infantil : família, doença e redes de apoio social em Natal-RN

This paper discusses the experiences related to the treatment of children´s cancer which had children, their mothers and families as their main characters. They were mainly originated from areas in the countryside and urban poor areas in the State of Rio Grande do Norte. The non-governmental organization Grupo de Apoio à Criança com Câncer (GACC) was the privileged ethnographic location. In this setting, the mother, which was called acompanhante (companion), and the children, defined as pacientes (patients), were often sheltered in reason of therapeutic practices and the treatment undertaken by children in a nearby hospital. This study aims to focus on the therapeutic itinerary, beyond the children´s suffering, dealing with the family as a whole, since the moral values from these popular families imply the complete involvement of the family in relation to the illness and its treatment. Therefore, it is experienced as a family problem. We also intend to understand the construction of meanings to the illness, dealing with the ideological continuity in the relationships between the families and the GACC. These meanings were built in the intersection of these two spheres, which refer particularly to medical, religious and emotional explanations. Ethnographic methods were applied in this research at the entity and another social contexts, such as the family households. I also tried to retrieve the process of treatment outside the GACC, visiting the family context, when doing dense interviews or just having conversations with informants. It was found that the GACC, as a non-governmental organization, generates a negotiation of identities, which develops, then, through the family as a whole, but also through the child and especially the mother, affecting, in some way, their internal organization. Furthermore, the meanings of the experience of illness appeared to be shaped by the family sphere as well as by the logic of public health structures

Caminhos que estruturam cidades: redes técnicas de transporte sobre trilhos e a conformação intra-urbana de Natal

The railroad, from 1870 and on, becomes an usual complaining in the press s and politician elite s speeches, especially because of Natal s geographic isolation. The implantation of two railroads in the capital territory Estrada de Ferro de Natal a Nova Cruz, afterwards part of Great Western Railway Company network, and Estrada de Ferro Central do Rio Grande do Norte had serious implications in the urban environment. While railroad s structures were already consolidated, other transportation mechanisms were being implanted in the first decades of the 20th century, such as trams lines, which, by the way, was a transport modal that also used rails as a dislocation meaning. Considering these questions, we may ask: how come railroads and tramways demands, roads and buildings had influenced the internal organization of Natal? We work with the general hypothesis that the influence of technical networks, composed by tramways and railroads, over Natal s urban space happened in a diversified way, sometimes consolidating social aspects in certain areas, sometimes improving the occupation of others. The impact over the city s territory also happens in a diversified way between the buildings/railroad s complexes and the pathways. The different scale of the train in comparison to the trams velocity, size, noise level, flow, among others is also a cause to the different consequences in urban environment. The main objective of this work is to understand the role of circulation technical networks in the construction process of urban space in Natal, as a way to contribute to the urban historiography about the subject. The time frame adopted, between 1881 and 1937, marks the time path of railroads and tramways in Rio Grande do Norte: 1881 is the year of railroad s first section inauguration from Natal to São José do Mipibu as well of the railroad complex in the Republic Square in Natal; the year of 1937 marks the beginning of tramways declination process in the city. At this time railroads and tramways had to face more intensively the competition of motor vehicles. The theory reference adopted is based on concepts and analysis of authors, such as Flávio Villaça and Roberto Lobato Corrêa references to the concepts of urban structure , localization and accessibility and Gabriel Dupuy to explain the concept of urban technical networks . These references reveal the conflict of different realities in the urban universe interests and values which is an important factor about the construction of urban space. The information sources used were from two distinctive natures: primary, journals of the time studied and official government reports, and secondary, based on other works about the subject. It was also used by this study iconographic source, especially images from the data base of the research group História da Cidade, do Território e do Urbanismo .

Predição não-linear de curvas de produção de petróleo via redes neurais recursivas

One of the main activities in the petroleum engineering is to estimate the oil production in the existing oil reserves. The calculation of these reserves is crucial to determine the economical feasibility of your explotation. Currently, the petroleum industry is facing problems to analyze production due to the exponentially increasing amount of data provided by the production facilities. Conventional reservoir modeling techniques like numerical reservoir simulation and visualization were well developed and are available. This work proposes intelligent methods, like artificial neural networks, to predict the oil production and compare the results with the ones obtained by the numerical simulation, method quite a lot used in the practice to realization of the oil production prediction behavior. The artificial neural networks will be used due your learning, adaptation and interpolation capabilities

Desenvolvimento de sistemas embarcados para redes de sensores e atuadores sem fio aplicadas em unidades de elevação de petróleo do tipo Plunger-Lift

The Wireless Sensor Networks (WSN) methods applied to the lifting of oil present as an area with growing demand technical and scientific in view of the optimizations that can be carried forward with existing processes. This dissertation has as main objective to present the development of embedded systems dedicated to a wireless sensor network based on IEEE 802.15.4, which applies the ZigBee protocol, between sensors, actuators and the PLC (Programmable Logic Controller), aiming to solve the present problems in the deployment and maintenance of the physical communication of current elevation oil units based on the method Plunger-Lift. Embedded systems developed for this application will be responsible for acquiring information from sensors and control actuators of the devices present at the well, and also, using the Modbus protocol to make this network becomes transparent to the PLC responsible for controlling the production and delivery information for supervisory SISAL

Um sistema para a inferência de variáveis usando redes neurais artificiais

This work aims to obtain a low-cost virtual sensor to estimate the quality of LPG. For the acquisition of data from a distillation tower, software HYSYS ® was used to simulate chemical processes. These data will be used for training and validation of an Artificial Neural Network (ANN). This network will aim to estimate from available simulated variables such as temperature, pressure and discharge flow of a distillation tower, the mole fraction of pentane present in LPG. Thus, allowing a better control of product quality