O Controlador Lógico Programável foi criado na década de 70 para automatizar o acionamento seqüencial de relés em linhas de manufatura, controle e automação de processos do tipo liga/desliga. Eram então equipamentos isolados e dedicados a uma tarefa específica. Os CLP’s evoluíram e hoje incorporam recursos de controle analógico em processos contínuos, estão integrados aos outros equipamentos da fábrica na hierarquia de controle e podem ser facilmente re-configurados através de programação remota em redes industriais proprietárias. O surgimento da Internet e de redes corporativas semelhantes (Intranet) tornou possível o acesso remoto aos equipamentos de controle dos processos usando uma arquitetura aberta. Neste contexto, a Web, com sua interface gráfica intuitiva e universal, é muito indicada para a supervisão remota de processos de chão-de-fábrica. Como equipamentos importantes em automação industrial, os CLP’s seguem essa tendência adquirindo acessibilidade pela Web. Esse trabalho tem por objetivo o desenvolvimento de uma IHM (Interface Homem-Máquina) de supervisão de um CLP implementado em software (SoftPLC) em controle de um processo simulado através de uma interface WWW. A proposta servirá também como incentivo a projetos futuros para implementação de uma interface de configuração com CLP real. / The Programmable Logical Controller was introduced in the 70's to replace the relay logic in manufacturing lines and in on/off control. They were devices isolated and dedicated to one specific task. The PLC's evolution introduced analog control capabilities for continuous processes and integrated them with other devices in the factory's control hierarchy, which can be remotely reconfigured through proprietary industrial networks. The appearance of the Internet and similar corporate networks (Intranets) made it possible to remotely access control devices through an open architecture. The browser and its intuitive graphical interface is a natural appeal to the remote supervision of processes in the plant. As important industrial automation equipment, the PLC follow this trend and acquire web accessibility. The objective of this work is the development of a supervising MMI (Man-Machine Interface) using the Web for a SoftPLC in control of a simulated process . It will also be an incentive to the future development of a dedicated configuration module for a real PLC.

Irrigated agriculture is responsible for the consumption of 70% of all fresh water on the planet. There is, therefore, a necessity of using this scarce and of vital importance resource more rationally. Irrigated agriculture, as well as other activities in rural areas, needs to follow the technological advances. In the last decades, the electronic devices and the computers have got an increasing technological advance, becoming cheaper, precise and with a better user interface. The programmable logic controller is a quite spread use device, and may be used to control irrigation, to command solenoid valves, to switch on pumps, besides storing data; all this through external communication ports. The great advantage of using the programmable logic controller is the customization of activities, that is, the user can elaborate a control logic that suits his/her specific needs. The advantages of an automatic equipment in relation to the human operator are generally: assiduity, speed, precision and cost; its disadvantage is the incapacity to react to disturbances and accidents, apart from those ones predicted in its project. One way to get efficient irrigation and maximize production involves the system automation to determine when and how much to irrigate, through the use of sensor technologies, communication, data processing and acting devices. This work had as main objective the definition and installation of automatic equipments for irrigation control in order to compare the existing methodology, based on automatic temporizing (timer), with the use of sensory automatic and evapotranspiration calculation, thus making possible to analyze the use of water and energy in the process. This study used as an experimental area the green dwarfed coconut irrigated cultivation in HDantas farm in the municipality of Neópolis-SE. As methodology, the PLC man-machine interface was installed and the elaboration of programming logic routines for irrigation control was made, using information from agrometeorological stations and calculation of evapotranspiration. Existing information from the flow meters and the power meter was also used to measure the values of current consumption of water and energy, respectively. The results gotten during the tests showed the reliability of the programmable logic controller use in the execution of control logic and in the irrigation performance, being enough for that the information availability of soil and climate variables relevant to the control method defined in its programming logic. / A agricultura irrigada responde pelo consumo de 70% de toda a água doce no planeta. Existe, portanto, uma necessidade de se utilizar mais racionalmente esse recurso escasso e de vital importância. A agricultura irrigada, assim como as demais atividades do meio rural, necessita acompanhar os avanços tecnológicos. Nas últimas décadas, os aparelhos eletrônicos e os computadores estão num crescente avanço tecnológico, tornando-se mais baratos, precisos e com melhor interface com o usuário. O controlador lógico programável é um equipamento de uso bastante difundido, podendo ser utilizado para controlar a irrigação , comandar válvulas solenóides, acionar bombas, além de armazenar dados; isto tudo através de portas de comunicação externas. A grande vantagem na utilização do controlador lógico programável é a personalização das atividades, ou seja, o usuário poder elaborar uma lógica de controle que atenda às suas necessidades específicas. As vantagens de um equipamento automático em relação ao operador humano são em geral: assiduidade, rapidez, precisão e custo; sua desvantagem é a incapacidade para reagir a perturbações e a acidentes, além daqueles previstos em seu projeto. Uma das maneiras para se obter uma irrigação eficiente e maximizar a produção envolve a automação do sistema para a determinação de quando e quanto irrigar, através do uso de tecnologias de sensores, comunicação, processamento de dados e dispositivos de atuação. O presente trabalho teve como principal objetivo a definição e a instalação de equipamentos automáticos para o controle de irrigação com o intuito de comparar a metodologia existente, baseada no automático por temporizador (timer), com o uso do automático sensorial e o cálculo da evapotranspiração, possibilitando assim analisar o uso da água e energia no processo. Este estudo utilizou como área experimental a cultura do coco anão verde irrigado, na fazenda HDantas, no município de Neópolis-SE. Como metodologia, foi instalado o CLP, interface homem-máquina, e foi realizada a elaboração de rotinas lógicas de programação para controle de irrigação, utilizando as informações oriundas das estações agrometeorológicas e do cálculo da evapotranspiração. Também foram utilizadas as informações dos medidores de vazão e do medidor de energia existentes para mensurar os valores de consumo atual de água e energia, respectivamente. Os resultados obtidos durante os testes mostraram a confiabilidade do uso do controlador lógico programável na execução da lógica de controle e na atuação da irrigação, bastando para isto a disponibilização das informações das variáveis de clima e solo pertinentes ao método de controle definido na sua lógica de programação.

This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler uses an internal representation of a FSM that is built up from the SMV description. A number of rewrite steps are performed on the problem description such as encoding to a Boolean domain and performing the optimisations. The variable reduction heuristic is based on finding sub-circuits that are suitable for reduction and a state space search is performed on those groups. An evaluation of the results shows that in some cases the compiler is able to greatly reduce the size of the resulting BDDs.

Participants will be able to: Explain the concept and advantages of the Family- and- Child-Centered Care (FCCC) approach. Describe the components of the FCCC as applied to individuals with CLP and their families. Explain the EB strategies of FCCC be applied by the SLP and its positive effects.

No description available.

O recrutamento de neutrófilos para o sítio da infecção é um evento crucial para o combate aos microrganismos e sobrevivência na sepse. A migração destes polimorfonucleares é dirigida através de um gradiente quimiotático por meio do reconhecimento de quimiocinas por receptores acoplados a proteína G (GPCRs), os quais são regulados por quinases específicas (GRKs). Estudos prévios demonstraram que na sepse ocorre uma falência na migração de neutrófilos para o foco infeccioso em função da dessensibilização de receptores quimiotáticos via GRKs induzida pela ativação de receptores toll-like (TLRs), TLR2 e TLR4. Apesar de a ausência de TLR9 em células dendriticas ter sido relacionada a maior sobrevivência de camundongos sépticos, o papel do TLR9 atuando diretamente em neutrófilos não foi avaliado. Objetivando preencher esta lacuna, propôs-se avaliar o papel direto de TLR9 na falência de migração de neutrófilos na sepse. Os camundongos TLR9-/- apresentaram maior sobrevivência a sepse polimicrobiana avaliada por meio do modelo de ligadura e perfuração do ceco (CLP). A deficiência de TLR9 também acarretou em aumento na migração de neutrófilos para o foco da infecção, menor seqüestro de neutrófilos no pulmão, bem como, menor número de bactérias no lavado peritoneal e sangue. A ativação de TLR9 por oligodeoxinucleotídeo contendo o dinucleotídeo CpG não metilado (ODN CpG) nos neutrófilos reduziu a quimiotaxia destes em direção a quimiocina CXCL2 e expressão do receptor quimiotático CXCR2. Além disso, neutrófilos estimulados com ODN CpG apresentaram aumento na expressão da quinase tipo 2 relacionada a receptores acoplados a proteína G (GRK2). Dessa forma, a ativação de TLR9 em neutrófilos circulantes no sangue é prejudicial na sepse por reduzir a quimiotaxia destes para o foco da infecção ao induzir a dessensibilização de CXCR2 via GRK2. / The recruitment of neutrophils to the site of infection is a crucial event for combating the microorganisms and survival on sepsis. The neutrophil migration is directed by a chemotactic gradient through the recognition of chemokines by G protein-coupled receptors (GPCRs), which are regulated by specific kinases (GRKs). Previous studies have shown a failure of neutrophil migration into infectious focus on sepsis due to chemotactic receptor desensitization via GRKs induced by activation of toll- like receptors (TLRs), TLR2 and TLR4. Despite the absence of activation of TLR9 in dendritic cells have been related to increase survival of septic mice, the role of TLR9 acting directly on neutrophils was not evaluated. We proposed to verify the direct role of TLR9 in the failure of neutrophil migration on sepsis. The TLR9 knockout mice (TLR9-/-) showed high survival to polymicrobial sepsis using cecal ligation and puncture model (CLP). TLR9-/- mice had high neutrophil migration to the focus of infection, low neutrophil sequestration in the lung, as well as, few bacteria in the peritoneal exudates and blood. The activation of TLR9 by oligodeoxinucleotide containing unmethylated dinucleotide CpG (CpG ODN) in neutrophils also reduced chemotaxis toward CXCL2 and the expression of chemokine receptor CXCR2. In addition, neutrophils stimulated with CpG ODN showed increased expression of kinase-related G protein-coupled receptor type 2 (GRK2). Thus, the activation of TLR9 in blood circulating neutrophils is harmful on sepsis by reducing their chemotaxis into the site of the infection by inducing CXCR2 desensitization via GRK2.

O recrutamento de neutrófilos para o sítio da infecção é um evento crucial para o combate aos microrganismos e sobrevivência na sepse. A migração destes polimorfonucleares é dirigida através de um gradiente quimiotático por meio do reconhecimento de quimiocinas por receptores acoplados a proteína G (GPCRs), os quais são regulados por quinases específicas (GRKs). Estudos prévios demonstraram que na sepse ocorre uma falência na migração de neutrófilos para o foco infeccioso em função da dessensibilização de receptores quimiotáticos via GRKs induzida pela ativação de receptores toll-like (TLRs), TLR2 e TLR4. Apesar de a ausência de TLR9 em células dendriticas ter sido relacionada a maior sobrevivência de camundongos sépticos, o papel do TLR9 atuando diretamente em neutrófilos não foi avaliado. Objetivando preencher esta lacuna, propôs-se avaliar o papel direto de TLR9 na falência de migração de neutrófilos na sepse. Os camundongos TLR9-/- apresentaram maior sobrevivência a sepse polimicrobiana avaliada por meio do modelo de ligadura e perfuração do ceco (CLP). A deficiência de TLR9 também acarretou em aumento na migração de neutrófilos para o foco da infecção, menor seqüestro de neutrófilos no pulmão, bem como, menor número de bactérias no lavado peritoneal e sangue. A ativação de TLR9 por oligodeoxinucleotídeo contendo o dinucleotídeo CpG não metilado (ODN CpG) nos neutrófilos reduziu a quimiotaxia destes em direção a quimiocina CXCL2 e expressão do receptor quimiotático CXCR2. Além disso, neutrófilos estimulados com ODN CpG apresentaram aumento na expressão da quinase tipo 2 relacionada a receptores acoplados a proteína G (GRK2). Dessa forma, a ativação de TLR9 em neutrófilos circulantes no sangue é prejudicial na sepse por reduzir a quimiotaxia destes para o foco da infecção ao induzir a dessensibilização de CXCR2 via GRK2. / The recruitment of neutrophils to the site of infection is a crucial event for combating the microorganisms and survival on sepsis. The neutrophil migration is directed by a chemotactic gradient through the recognition of chemokines by G protein-coupled receptors (GPCRs), which are regulated by specific kinases (GRKs). Previous studies have shown a failure of neutrophil migration into infectious focus on sepsis due to chemotactic receptor desensitization via GRKs induced by activation of toll- like receptors (TLRs), TLR2 and TLR4. Despite the absence of activation of TLR9 in dendritic cells have been related to increase survival of septic mice, the role of TLR9 acting directly on neutrophils was not evaluated. We proposed to verify the direct role of TLR9 in the failure of neutrophil migration on sepsis. The TLR9 knockout mice (TLR9-/-) showed high survival to polymicrobial sepsis using cecal ligation and puncture model (CLP). TLR9-/- mice had high neutrophil migration to the focus of infection, low neutrophil sequestration in the lung, as well as, few bacteria in the peritoneal exudates and blood. The activation of TLR9 by oligodeoxinucleotide containing unmethylated dinucleotide CpG (CpG ODN) in neutrophils also reduced chemotaxis toward CXCL2 and the expression of chemokine receptor CXCR2. In addition, neutrophils stimulated with CpG ODN showed increased expression of kinase-related G protein-coupled receptor type 2 (GRK2). Thus, the activation of TLR9 in blood circulating neutrophils is harmful on sepsis by reducing their chemotaxis into the site of the infection by inducing CXCR2 desensitization via GRK2.

Made available in DSpace on 2014-12-17T14:55:21Z (GMT). No. of bitstreams: 1 VanessaSC_Capa_ate_pag20.pdf: 8557858 bytes, checksum: 72fd9a66eb38d52692df7e1baf0e2507 (MD5) Previous issue date: 2003-12-10 / During a petroleum well production process, It is common the slmultaneous oil and water production, in proportion that can vary from 0% up to values close to 100% of water. Moreover, the production flows can vary a lot, depending on the charaeteristies of eaeh reservoir. Thus being, the meters used in field for the flow and BSW (water in the oil) measurement must work well in wide bands of operation. For the evaluation of the operation of these meters, in the different operation conditions, a Laboratory will be built in UFRN, that has for objective to evaluate in an automatic way the processes of flow and BSW petroleum measurement, considering different operation conditions. The good acting of these meters is fundamental for the accuracy of the measures of the volumes of production liquid and rude of petroleum. For the measurement of this production, the petroleum companies use meters that should indicate the values with tha largast possible accuracy and to respect a series of conditions and minimum requirements, estabelished by the united Entrance ANP/INMETRO 19106/2000. The laboratory of Evafuation of the Processes of Measurement of Flow and BSW to be built will possess an oil tank basically, a tank of water, besides a mixer, a tank auditor, a tank for separation and a tank of residues for discard of fluids, fundamental for the evaluation of the flow metars and BSW. The whole process will be automated through the use of a Programmable Logicat Controller (CLP) and of a supervisory system.This laboratory besides allowing the evaluation of flow meters and BSW used by petroleum companies, it will make possible the development of researches related to the automation. Besides, it will be a collaborating element to the development of the Computer Engineering and Automation Department, that it will propitiate the evolution of the faculty and discente, qualifying them for a job market in continuous growth. The present work describes the project of automation of the laboratory that will be built at of UFRN. The system will be automated using a Programmable Logical Controller and a supervisory system. The programming of PLC and the screens of the supervisory system were developed in this work / Durante o processo de produ??o de um po?o de petr?teo ? comum a produ??o simult?nea de ?gua e ?leo em propor??o que variam de 0% a valores pr?ximos de 100% de ?gua. Al?m disso, as vaz?es de produ??o podem variar muito dependendo das caracter?sticas de cada reservat?rio petrol?fero. Assimsendo,os medidores utilizados em campo, para a medi??o de vaz?o e BSW (?gua no ?leo) devem funcionar bem em larga faixas de opera??o. Para a avalia??o do funcionamento destes medidores, nas diferentes condi??es de opera??o, ser? construido um Laborat?rio na UFRN, que tem por objetivo avaliar de forma autom?tica os processos de medi??o de vaz?o e BSW do petr?leo, considerando diferentes condi??es de opera??o. O bom desempenho destes medidores ? fundamental para a exatid?o das medidas dos volumes de produ??o l?quido e bruto de petr?leo. Para a medi??o desta produ??o as empresas do setor de petr?leo utilizam medidores que devem indicar os valores com a maior exatid?o poss?vel e respeitar uma s?rie de condi??es e requisitos minimos, estabelecidos pela Portaria conjunta ANP/INMETRO de 19/06/2000, [12]. O laborat?rio de Avalia??o dos Processos de Medi??o de Vaz?o e BSW a ser construido possuir? basicamente um tanque de ?leo, um tanque de ?gua, al?m de um misturador, um tanque auditor, um tratador para separa??o e um tanque de res?duos para descarte de fluidos, fundamentais para a avalia??o dos medidores de vaz?o e BSW . Todo o processo ser? automatizado atrav?s do uso de um Controlador L?gico Program?vel (CLP) e de um sistema supervis?rio. Este laborat?rio al?m de permitir a avalia??o de medidores de vaz?o e BSW uti1izado por empresas produtoras de petr?leo, possibilitar? o desenvolvimento de pesquisas relacionadas ? automa??o. Al?m disso, ser? um elemento colaborador ao desenvolvimento do Departamento de Engenharia de Computa??o e Automa??o, que propiciar? a evolu??odo corpo docente e discente, t?cnica e profissionalmente, capacitando-os para um mercado de trabalho em cont?nuo crescimento. O presente trabalho descreve o projeto de automa??o do laborat?do, que ser? construido no campus universit?rio da UFRN. O sistema ser? automatizado com o uso de um Controlador l?gico Program?vel e um sistema superv?s?rio. A programa??o do CLP e as telas do supervis?rio foram desenvolvidas neste trabalho

Le but de ce travail est de proposer un système formel pour prouver que l'ensemble des succès d'un programme logique est inclus dans l'ensemble correspondant d'un autre programme. Cela permet de prouver que deux programmes logiques, un qui représente la spécification et un représentant l'implantation sont équivalents. Le langage logique considéré est CLPforall qui est le langage le langage de programmation logique avec contraintes (CLP) auquel est ajouté le quantificateur universel. Nous présentons les sémantiques des succès finis et infinis et montrons qu'elles sont données par le plus petit et le plus grand point fixe du même opérateur. Un système de preuve pour l'inclusion des succès finis est présenté. Le système utilise pour les opérateurs et les quantificateurs logiques les mêmes règles que la logique du premier ordre. Pour raisonner sur les prédicats récursifs le système contient une règle d'induction. Nous prouvons la correction du système sous certains conditions. Un système analogue pour l'inclusion des succès infinis est présenté. La règle d'induction est remplacée par une règle de coinduction. La correction est démontrée sous conditions analogues. Les deux systèmes sont équivalents sous certains conditions. Une implantation a été réalisée sous la forme d'assistant de preuve écrit en Prolog. Le programme a environ 4000 lignes et contient des procédures simples mais efficaces de recherche de preuves. Nous présentons des exemples de preuves réalises avec ce programme parmi lesquels la preuve de correction de quicksort.

Η κατανόηση των μοριακών μηχανισμών της ζωής απαιτεί την αποκωδικοποίηση των λειτουργιών που εκτελούν οι πρωτεΐνες σε έναν οργανισμό. Δεκάδες χιλιάδες πρωτεΐνες έχουν μελετηθεί τα τελευταία χρόνια σε στόχο την εύρεση της τρισδιάστατης δομής τους που στην ουσία καθορίζει και την λειτουργία τους. Παρ’ όλα αυτά οι πειραματικές μέθοδοι που χρησιμοποιούνται παρότι είναι ακριβείς μέθοδοι είναι ακόμα ιδιαιτέρως δύσκολες και απαιτητικές σε χρόνο και οικονομικό κόστος. Για το λόγο αυτό επιχειρείται, με υπολογιστικές μεθόδους, να μειωθεί το κόστος της πρόβλεψης της 3D δομής μιας πρωτεΐνης όταν η γραμμική ακολουθία των αμινοξέων που την αποτελούν είναι γνωστή. Η παρούσα διπλωματική εργασία προσεγγίζει το πρόβλημα αυτό ως πρόβλημα βελτιστοποίησης για τη λύση του οποίου εφαρμόζεται μία δηλωτική προσέγγιση σε Λογικό Προγραμματισμό με Διαχείριση Περιορισμών. Η πρόταση βασίζεται σε ένα προσωποκεντρικό κυβικό πλέγμα ως τοπολογικό μοντέλο για την χωροθέτηση της πρωτεΐνης. Χρησιμοποιούνται επίσης πληροφορίες που αφορούν τυχόν δευτερεύουσες δομές που υπάρχουν στην πρωτεΐνη καθώς και άλλα heuristics για να περιοριστεί σημαντικά ο χώρος αναζήτησης. Τα πρώτα αποτελέσματα σε πραγματικές πρωτεΐνες είναι ενθαρρυντικά τόσο όσο αφορά την ακρίβεια και την χρονική επίδοση αλλά και όσον αφορά την κλιμάκωση του προβλήματος. / Understanding the molecular mechanisms of life requires decoding functions performed by proteins in an organism. Tens of thousands of proteins have been studied in recent years in order to recruit the three-dimensional structure, which essentially determines their function. Nevertheless, the test methods used although accurate methods are still very difficult and demanding time and financial cost. For this reason computational methods are used to reduce the cost of the provision of 3D structure of a protein when its linear sequence of amino acids is known. This thesis approaches the problem as an optimization problem for the solution of which is applied a declarative approach to Logic Programming with Constraint Management. The proposal is based on a face centered cubic lattice as a topological model for the location of the protein. Also used information concerning possible secondary structures present in the protein and other heuristics to significantly reduce the search space. First results on real proteins are promising both in terms of accuracy and time performance, but also regarding the escalation of the problem.