Sistema web didático para a supervisão de redes fieldbus

Technological evolution of industrial automation systems has been guided by the dillema between flexibilization and confiability on the integration between devices and control supervisory systems. However, there are few supervisory systems whose attributions can also comprehend the teaching of the communication process that happens behind this technological integration, where those which are available are little flexible about accessibility and reach of patterns. On this context, we present the first module of a didactic supervisory system, accessible through Web, applied on the teaching of the main fieldbus protocols. The application owns a module that automatically discovers the network topology being used and allows students and professionals of automation to obtain a more practical knowledgment by exchanging messages with a PLC, allowing those who are involved to know with more details the communication process of an automation supervisory system. By the fact of being available through Web, the system will allow a remote access to the PLC, comprehending a larger number of users. This first module is focused on the Modbus protocol (TCP and RTU/ASCII)

Ambiente de desenvolvimentoweb multiplataforma configurável para robótica educacional

We propose an online configurable multiplatform development environment specifically developed for educational robotics applications. The environment, which appears as an extension of RoboEduc software, allows the programming of several programmable robots to be performed using the R-Educ language. We make it possible for the user to program in the language R-Educ and then translate the code to a language previously registered, compiled and then sent or executed by the robot. To develop this work, we conducted a bibliographic research about the main programming languages used in robotics, as well as their definitions and paradigms, from which it was possible to define a set of patterns considered important for the creation of this environment. Then, in the software development phase, we implemented the development environment, bearing in mind the requirements and functionality defined in the design phase. Finally, to validate the platform, we conducted some trials of programming languages and verificate if the complete cycle was satisfied - registration of language, programming in R-Educ, compilation for the registered language, compilation to the machine code and send the code for the robot

Avaliação do crescimento de ocupação da bacia do rio Pitimbu com subsídios para estudos de possíveis impactos sobre os recursos hidricos

The Pitimbu River Watershed (PRW), belonging to Potiguar capital metropolitan area, State of Rio Grande do Norte, contributes, among other purposes, to human using and animal watering. This watershed is extremely important because, besides filling up with freshwater approximately 30% of the south part of Natal (South, East and West Zones), contributes to the river shore ecosystem equilibrium. Face to the current conjuncture, this study aims to evaluate the urban development dynamics in the PRW, applying Cellular Automata as a modeling instrument, and to simulate future urban scenarios, between 2014 and 2033, using the simulation program SLEUTH. In the calibration phase, urban spots for 1 984, 1992, 2004 and 2013 years were used, with resolution from 100 meters. After the simulation, it was found a predominance of organic growth, expanding the BHRP from existing urban centers. The spontaneous growth occurred through the fullest extent of the watershed, however the probability of effective growth should not exceed 21%. It was observed that, there was a 68% increase for the period between 2014 and 2033, corresponding to an expansion area of 1,778 ha. For 2033, the source of Pitimbu River area and the Jiqui Lake surroundings will increase more than 78%. Finally, it was seen an exogenous urban growth tendency in the watershed (outside-in). As a result of this growth, hydraulics resources will become scarcer

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Modelagem de arquiteturas reconfiguráveis com espaços de Chu

The Reconfigurables Architectures had appeares as an alternative to the ASICs and the GGP, keeping a balance between flexibility and performance. This work presents a proposal for the modeling of Reconfigurables with Chu Spaces, describing the subjects main about this thematic. The solution proposal consists of a modeling that uses a generalization of the Chu Spaces, called of Chu nets, to model the configurations of a Reconfigurables Architectures. To validate the models, three algorithms had been developed and implemented to compose configurable logic blocks, detection of controllability and observability in applications for Reconfigurables Architectures modeled by Chu nets

Universaidade em sistemas da mecâniaestatística de não equilíbrio com estados absorventes e percolação geográfica

Complex systems have stimulated much interest in the scientific community in the last twenty years. Examples this area are the Domany-Kinzel cellular automaton and Contact Process that are studied in the first chapter this tesis. We determine the critical behavior of these systems using the spontaneous-search method and short-time dynamics (STD). Ours results confirm that the DKCA e CP belong to universality class of Directed Percolation. In the second chapter, we study the particle difusion in two models of stochastic sandpiles. We characterize the difusion through diffusion constant D, definite through in the relation h(x)2i = 2Dt. The results of our simulations, using finite size scalling and STD, show that the diffusion constant can be used to study critical properties. Both models belong to universality class of Conserved Directed Percolation. We also study that the mean-square particle displacement in time, and characterize its dependence on the initial configuration and particle density. In the third chapter, we introduce a computacional model, called Geographic Percolation, to study watersheds, fractals with aplications in various areas of science. In this model, sites of a network are assigned values between 0 and 1 following a given probability distribution, we order this values, keeping always its localization, and search pk site that percolate network. Once we find this site, we remove it from the network, and search for the next that has the network to percole newly. We repeat these steps until the complete occupation of the network. We study the model in 2 and 3 dimension, and compare the bidimensional case with networks form at start real data (Alps e Himalayas)

Laboratório remoto de qualidade da energia elétrica em ambiente virtual

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Sistema de gerenciamento automático de reatores eletrônicos com ajuste do nível de luminosidade para múltiplas lâmpadas fluorescentes

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

LOGO2VHDL: modelos descritos em VHDL a partir da linguagem do LOGO!Soft Comfort da Siemens

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

A expansão urbano-industrial do município de Americana - SP: geotecnologias aplicadas à análise temporal e simulação de cenários

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Implementação de um nó IEEE 1451, baseado em ferramentas abertas e padronizadas, para aplicações em ambientes de instrumentação distribuída

Pós-graduação em Engenharia Elétrica - FEIS

Modelagem espacial dinâmica para o monitoramento do aporte de sedimentos na sub-bacia do Rio Capivara, município de Botucatu - SP

Pós-graduação em Geociências e Meio Ambiente - IGCE

Sistema de controle baseado em lógica fuzzy para regulagem de temperatura em aquecedor de óleo térmico da planta de anodo verde da Albrás

Neste trabalho são apresentados os resultados de uma técnica que permitiu implementar a estratégia de controle de temperatura do aquecedor de óleo térmico da fabrica de Anodo Verde da Albrás Alumínio Brasileiro S/A. No projeto utilizou-se um sistema hierarquizado baseado em conjuntos e lógica Fuzzy. O uso dessa metodologia fez com que o sistema fosse capaz de reagir adequadamente diante das variações do ponto de operação do aquecedor, pois o controle Fuzzy exibe algumas características do aprendizado humano, sendo considerado um exemplo de inteligência artificial. O aquecedor de óleo térmico é fundamental no processo de fabricação de blocos inódicos, utilizados como pólo positivo no processo de eletrólise na obtenção do alumínio primário. O sistema de óleo térmico aquece os misturadores e pré-aquecedor de coque, mantendo a temperatura desses equipamentos dentro dos limites estabelecidos pela engenharia de processo. A variável temperatura impacta diretamente na energia de mistura da pasta e na qualidade do produto final, que é o bloco anódico. A metodologia apresentada permitiu alcançar um controle de temperatura que atendeu satisfatoriamente os parâmetros de processo. O programa foi desenvolvido em linguagem ladder é executado em controladores lógicos programáveis (CLP’S) da Rockwell Automation. O controle já está em plena operação nas fábricas de anodos e os resultados obtidos demonstram a eficácia e viabilidade do sistema, que futuramente estará sendo implementado no controle de outros equipamentos da Albrás.

Modelagem dinâmica espacial de mudanças no uso do solo urbano: contribuição metodológica

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

Análise crítica de produção científica no tema de modelos matemáticos em dengue

Analisa-se diferentes aspectos da epidemiologia da transmissão da dengue através de modelos matemáticos. Supo˜e-se que o controle vetorial atua como uma taxa de mortalidade adicional em cada fase do ciclo de vida do mosquito Ae. aegypti e estuda-se a eficiência dos diferentes mecanismos utilizados pela Superintendência de Controle de Endemias (SUCEN) no estado de São Paulo para o controle da doença. A modelagem usual de equações diferencias ordinárias (EDO) permite a obtenção de valores limiares para a taxa de oviposição do vetor e para a transmissão da doença, as quais depende das suposições biológicas que geram o modelo, dos parâmetros entomológicos do mosquito, do período de incubação do vírus, e da imunidade e dinâmica vital do homem. Estes limiares dividem o espaço de solução em ausência do vetor, presença do vetor e ausência de transmissão da dengue, e presença do vetor com transmissão da dengue. Estes valores fornecem uma estimativa do esforço de controle necessário para diminuir ou parar a transmissão da dengue. A suposição de população vetorial grande com distribuição espacial homogênea (modelos de equações diferencias ordinárias discutidos anteriormente) é verificada através da modelagem discreta de autômatos celulares (AC). Mostra-se que a heterogeneidade espacial gerada pela distribuição de criadouros facilita a colonização e dispersão do inseto. Como os parâmetros entomológicos do vetor dependem da temperatura, observa-se que no verão o processo de dispersão e colonização do mosquito é facilitado, e que o controle adulticida deve ser aplicado nesta época. Já no inverno deve-se investir no controle das formas imaturas. A viabilidade da técnica de insetos estéries é...