Orientador: Prof. Dr. Márcio Katsumi Oikawa / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Ciência da Computação, 2016. / No Brasil, há grande variação da prevalência de doenças infecciosas, dentre as quais podemos destacar as hepatites B e C. Um dos fatores que pode in uenciar o tratamento é a realização de um diagnóstico preciso e rápido do genótipo do vírus que ataca o paciente. Esse diagnóstico norteará todos os procedimentos clínicos de tratamento de curto, médio e longo prazo, além de permitir indicar com maior precisão a lista de medicamentos usados pelo paciente e acompanhar historicamente a in uência do tratamento na sua vida cotidiana. Em muitos casos ocorre a resistência da doença a um determinado medicamento, resistência associada à presença de mutações em regiões específicas do DNA. O processo de compreensão da resistência é dinamico e depende de muitas observações e testes, no entanto, pode ser estruturado com regras e expressões representadas pela lógica de primeira ordem, pois esta ultima fornece sentenças abrangentes sob a forma de quantificadores e operações sobre variáveis. Nesse contexto, esse projeto se propõe a implementar uma gramática capaz de interpretar expressõess em lógica de primeira ordem, aplicados a análise de dados biológicos e a diversos contextos semânticos. A gramática foi desenvolvida na linguagem de programação Java, com o auxílio da ferramenta ANTLR e empregada por uma biblioteca, nomeada de BIAR (Biblioteca de Análise de Regras). Na forma de biblioteca, o BIAR, pode ser utilizado sozinho ou acoplado com outros softwares. Na seleção resultados encontramos um estudo de caso sobre sua aplicabilidade para a composição de regras de tratamento usando medicamentos. Desta forma, o BIAR demonstra condições de analisar expressões levando em consideração características clinicas e epidemiol logicas, oferecendo um grau maior de especifcidade para as analises de sequencias, baseado no historico de pacientes de centros hospitalares da cidade de São Paulo. / In Brazil, there is wide variation in infectious diseases prevalence, among which we highlight the hepatitis B and C. One of the factors that may in uence the treatment is to perform an accurate and rapid identication of the virus genotype that infected the patient. This diagnosis will guide all clinical procedures in short, medium and long term treatments, and also allows to state more precisely the list of medicines that will used by the patient and to track the in uence of treatment in their daily lives. In many cases, there may be a disease resistance to a particular drug which is associated to the presence of mutations in specic regions of DNA. The process of understanding the resistance is dynamic and depends on many observations and exams. However, it can be structured with rules and keywords represented by rst-order logic, that provides comprehensive decisions as quantiers of operations on variables. In this context, this project aimed to implement a lexical grammar capable of interpreting expressions in rst-order logic, applied to biological data analysis and dierent semantic contexts. The grammar was developed in Java programming language, with the help of ANTLR tool, and employed by a library named BIAR (Analysis of rules library). In its library format, the BIAR may be used alone or coupled with other softwares. In the Results section, we present a case study about its applicability to the development of procedures in treatments with drugs. Therefore, BIAR demonstrates the abilities to analyze expressions according to clinical and epidemiological characteristics, providing a higher degree of specicity for analysis of sequences, based on the medical histories of patients from hospitals centers in S~ao Paulo city.

A maioria das empresas interage com seus clientes através de computadores. Com o passar do tempo está armazenado nos computadores um histórico da atividade da empresa que pode ser explorado para a melhoria do processo de tomada de decisões. Ferramentas de descoberta de conhecimento em bancos de dados exploram este histórico a fim de extrair vários tipos de informação. Um dos tipos de informação que pode ser extraída destes tipos de bancos de dados são as regras de associação que consistem em relacionamentos ou dependências importantes entre itens tal que a presença de alguns itens em uma transação irá implicar a presença de outros itens na mesma transação. Neste trabalho são aplicadas técnicas de descoberta de conhecimento na área do comércio varejista de confecção. Foram detectadas algumas peculiaridades dos bancos de dados desta área sendo proposto um novo algoritmo para melhorar o desempenho da tarefa de extração de regras de associação. Para a validação dos resultados apresentados pelo algoritmo foi desenvolvido o protótipo de uma ferramenta para extração de regras de associação. Foram realizados experimentos com bancos de dados reais de uma empresa da área de comércio varejista de confecção para análise de desempenho do algoritmo.

Este trabalho é dedicado ao estudo e à aplicação da mineração de regras de associação a fim de descobrir padrões de navegação no ambiente Web. As regras de associação são padrões descritivos que representam a probabilidade de um conjunto de itens aparecer em uma transação visto que outro conjunto está presente. Dentre as possibilidades de aplicação da mineração de dados na Web, a mineração do seu uso consiste na extração de regras e padrões que descrevam o perfil dos visitantes aos sites e o seu comportamento navegacional. Neste contexto, alguns trabalhos já foram propostos, contudo diversos pontos foram deixados em aberto por seus autores. O objetivo principal deste trabalho é a apresentação de um modelo para a extração de regras de associação aplicado ao uso da Web. Este modelo, denominado Access Miner, caracteriza-se por enfocar as etapas do processo de descoberta do conhecimento desde a obtenção dos dados até a apresentação das regras obtidas ao analista. Características específicas do domínio foram consideradas, como a estrutura do site, para o pósprocessamento das regras mineradas a fim de selecionar as potencialmente mais interessantes e reduzir a quantidade de regras a serem apreciadas. O projeto possibilitou a implementação de uma ferramenta para a automação das diversas etapas do processo, sendo consideradas, na sua construção, as características de interatividade e iteratividade, necessárias para a descoberta e consolidação do conhecimento. Finalmente, alguns resultados foram obtidos a partir da aplicação desta ferramenta em dois casos, de forma que o modelo proposto pôde ser validado.

Esta dissertação tem por objetivo analisar os determinantes institucionais que afetam a capacidade de atuação de organismos colegiados como os Conselhos Gestores de Políticas Sociais na produção de políticas públicas. Para tanto, realiza um estudo de caso sobre o Conselho Nacional de Saúde (CNS), no período compreendido entre 1990 e 2006. Verificamos que as regras institucionais definem recursos importantes nas mãos do Poder Executivo, os quais servem como mecanismo de controle sobre o processo decisório da instituição. Trata-se do que denominamos \"instrumentos reguladores\", recursos definidos institucionalmente, utilizados pelo Ministro de Estado da Saúde para controlar a tomada de decisão por parte do Conselho, afetando o perfil de suas políticas. / The aim of the present dissertation is to analyze the institutional determinants that affect the action of collegiate bodies, such as the Managing Boards of Social Policies in the making of Public Policies. Thus, a case study is conducted on the National Health Council, in the period between 1990 and 2006. This study confirms that the institutional rules define important resources concentrated in the hands of the Executive Power and that rules are used to control the institution\'s decision-making process. Its focus is what we call regulating instruments, institutionally defined resources, used by the Health Minister in order to control the Council\'s decision making powers.

Made available in DSpace on 2016-06-02T19:05:26Z (GMT). No. of bitstreams: 1 1629.pdf: 3149507 bytes, checksum: add0fd75e8f3b01b82bb7854587111ee (MD5) Previous issue date: 1999-01-02 / This work presents an integration environment between the standards MHEG-5 and SMIL. The MHEG-5 standard defines the syntax and the semantics of a group of objects which can be used for interoperability of multimedia applications among platforms with minimal resources. On the other hand, the SMIL standard provides synchronized media in the Web documents. In order to integrate the two standards two translators were developed. With this integration the multimedia applications can be presented either in a Web environment, using SMIL, or in authoring tools following the MHEG-5 standard. A rule database was developed to carry out the translations; which has as an objective to store the translating rules between the standards allowing for dynamism in the translation process. As a test database for the translations a Multimedia Object Server multimedia database was used in the AMOM project, where a connection module was developed between these database an the Web environment. This work has also involved the proposal of an environment which integrates the SOMm and the Web, whose title is MAW (Multimedia Application WebBuilder). / Este trabalho apresenta um ambiente de integração entre os padrões: MHEG-5 e SMIL. O padrão MHEG-5 define a sintaxe e a semântica de um conjunto de objetos que podem ser utilizados para interoperabilidade de aplicações multimídia entre plataformas com recursos mínimos. Já o padrão SMIL disponibiliza sincronismo de mídias nos documentos Web. Para integrar esses dois padrões foram desenvolvidos dois conversores. Com essa integração, as aplicações multimídia podem ser apresentadas tanto no ambiente Web, usando SMIL, como em ferramentas de autoria segundo o padrão MHEG-5. Para realizar as conversões foi desenvolvida uma base de regras, que tem como objetivo, armazenar as regras de conversões entre os padrões, possibilitando que haja dinamismo no processo de conversão. Como base de teste para as conversões, foi utilizado o banco de dados multimídia do Servidor de Objetos Multimídia (SOMm) do projeto AMOM, aonde foi desenvolvido um módulo de conexão entre esse banco de dados e o ambiente Web. Este trabalho também envolveu a proposta de um ambiente que integra, o SOMm e a Web, cujo título é MAW (Multimedia Application WebBuilder).

Made available in DSpace on 2016-06-02T19:05:33Z (GMT). No. of bitstreams: 1 2522.pdf: 1514825 bytes, checksum: ebe56f7053e2af32e46a9f292c53aa9c (MD5) Previous issue date: 2009-04-29 / Financiadora de Estudos e Projetos / Traditional approaches for mining generalized association rules are based only on database contents, and focus on exact matches among items. However, in many applications, the use of some background knowledge, as ontologies, can enhance the discovery process and generate semantically richer rules. In this way, this paper proposes the NARFO algorithm, a new algorithm for mining non-redundant and generalized association rules based on fuzzy ontologies. Fuzzy ontology is used as background knowledge, to support the discovery process and the generation of rules. One contribution of this work is the generalization of nonfrequent itemsets that helps to extract meaningful knowledge. NARFO algorithm also contributes at post-processing stage with its generalization and redundancy treatment. / Abordagens tradicionais para mineração de regras de associação generalizadas são somente baseadas no conteúdo do banco de dados, tendo um maior foco em combinações exatas entre os itens. No entanto, em muitas aplicações, o uso de um conhecimento de apoio, como ontologias, pode aprimorar o processo de descoberta de conhecimento e gerar regras de associação semanticamente mais ricas. Desse modo, neste trabalho de mestrado foi desenvolvido o algoritmo NARFO, um novo algoritmo para a mineração de regras de associação generalizadas não redundantes baseada em uma ontologia difusa. A ontologia difusa é utilizada como um conhecimento prévio de apoio, para dar suporte ao processo de descoberta e geração das regras. Uma importante contribuição desse algoritmo é a implementação da generalização de itemsets não frequentes durante o processamento do algoritmo que auxilia na obtenção de regras significantes. O algoritmo NARFO também contribui na etapa de pós-processamento, com seu tratamento de generalização e redundância.

Submitted by RENAN LUCAS DUTRA URBAN null (renanurban@hotmail.com) on 2018-02-21T14:54:14Z No. of bitstreams: 1 Renan Lucas Dutra Urban.pdf: 1172351 bytes, checksum: eabb61466e41dd2220c06c30c872f009 (MD5) / Submitted by RENAN LUCAS DUTRA URBAN null (renanurban@hotmail.com) on 2018-02-22T19:46:16Z No. of bitstreams: 1 Renan Lucas Dutra Urban.pdf: 1172351 bytes, checksum: eabb61466e41dd2220c06c30c872f009 (MD5) / Approved for entry into archive by Andreia Beatriz Pereira null (andreia.beatriz@franca.unesp.br) on 2018-02-26T18:12:46Z (GMT) No. of bitstreams: 1 Urban_RLD_me.fran.pdf: 1172351 bytes, checksum: eabb61466e41dd2220c06c30c872f009 (MD5) / Made available in DSpace on 2018-02-26T18:12:46Z (GMT). No. of bitstreams: 1 Urban_RLD_me.fran.pdf: 1172351 bytes, checksum: eabb61466e41dd2220c06c30c872f009 (MD5) Previous issue date: 2017-12-18 / O objeto do trabalho é a derrotabilidade das regras jurídicas. O objetivo geral é analisar a possibilidade de que uma regra seja derrotada, isto é, seja superada por um princípio que com ela colide. É possível que uma regra seja derrotada e continue existindo como uma regra? Uma colisão entre uma regra e um princípio pode ser solucionada por meio da aplicação de uma cláusula de exceção, decorrente desse princípio? Para responder a essas questões, foram concebidos quatro objetivos específicos, cada um deles correspondente a um capítulo. O primeiro é apresentar o marco teórico do trabalho: a distinção estrutural entre regras e princípios, proposta por Robert Alexy. O segundo é examinar a forma pela qual devem ser solucionados, tipicamente, os conflitos que ocorrem entre, de um lado, as regras, definidas como mandamentos definitivos, e, de outro, os princípios, definidos como mandamentos de otimização. O terceiro é delimitar o conceito de derrotabilidade das generalizações e, especificamente, de derrotabilidade das regras jurídicas. E o quarto é discutir sob quais condições uma colisão entre uma regra e um princípio pode ser solucionada por meio da aplicação deste em detrimento da aplicação daquela. A principal tese defendida consiste na seguinte: é possível que uma regra, desproporcional num caso concreto, seja derrotada e, mesmo assim, tenha seu caráter definitivo preservado. Quando os órgãos julgadores levam em consideração os fatores institucionais e procedimentais relativos a certos princípios formais – como, por exemplo, os da competência decisória do legislador democraticamente legitimado, da segurança jurídica e da eficiência decisória –, as ocasiões de derrota das regras não implicam a perda do caráter definitivo dessas normas, ou a aquisição, por elas, de um caráter prima facie. Uma regra, quando subótima, sobreinclusiva ou derrotável, continua sendo uma regra quando oferece alguma resistência à sua superação por um princípio que com ela colide; e, desde que essa resistência seja levada a sério pelos tomadores de decisão, uma regra, quando derrotada, continua sendo uma regra, a despeito da introdução, em seu suporte fático, de uma exceção, derivada de um princípio colidente. / The topic of this dissertation is the defeasibility of legal rules. The general objective is to analyze the possibility that a rule is defeated or overcome by a colliding principle. Can a rule still be a rule when it is defeated? Can a collision between a rule and a principle be solved by applying an exception clause, derived from this principle? In order to answer these questions, four specific objectives were designed, each corresponding to a chapter. The first is to introduce the theoretical framework of this research: the structural distinction between rules and principles, proposed by Robert Alexy. The second is to examine how conflicts between rules, defined as definitive requirements, and principles, defined as optimization requirements, should be typically resolved. The third is to delimit the concept of defeasibility of generalizations and, specifically, of defeasibility of legal rules. The fourth is to discuss under what conditions a collision between a rule and a principle can be solved by applying the principle. The main thesis is as follows: it is possible that a rule, disproportional in a concrete case, is defeated and, nevertheless, has its definitive character preserved. Rules do not lose their definitive character or assume a prima facie character if, in the cases in which they are defeated, institutional factors relating to certain formal principles – such as those of the democratically legitimated legislature, legal certainty, and efficiency – are taken into account. A rule, when suboptimal, over-inclusive or defeasible, is still a rule when it offers some resistance to its overcoming by a colliding principle; and insofar as this resistance is taken seriously by decision-makers, a rule, when defeated, is still a rule, despite the introduction, in its factual predicate, of an exception derived from a colliding principle.

Submitted by Thais Oliveira da Silva (thais_olliveira@yahoo.com.br) on 2018-03-27T17:20:56Z No. of bitstreams: 1 OFICINA DE JOGOS EM SALA DE AULA - construção de um espaço para alunos com dificuldades de aprendizagem.pdf: 8218308 bytes, checksum: a5465093f8485f1ae5806ae82234e579 (MD5) / Approved for entry into archive by Satie Tagara (satie@marilia.unesp.br) on 2018-03-27T19:41:07Z (GMT) No. of bitstreams: 1 silva_to_me_mar.pdf: 8218308 bytes, checksum: a5465093f8485f1ae5806ae82234e579 (MD5) / Made available in DSpace on 2018-03-27T19:41:07Z (GMT). No. of bitstreams: 1 silva_to_me_mar.pdf: 8218308 bytes, checksum: a5465093f8485f1ae5806ae82234e579 (MD5) Previous issue date: 2018-02-28 / Não recebi financiamento / Este estudo, fundamentado no referencial da Epistemologia Genética, teve por objetivo geral verificar os efeitos de uma intervenção pedagógica, pautada em princípios construtivistas, realizada por meio de oficinas de jogos de regras para alunos com queixas de dificuldades de aprendizagem em contexto de sala de aula. Foram participantes do trabalho 19 alunos, com idades entre 7 e 8 anos, de dois 2ºs anos do Ensino Fundamental de escolas diferentes e uma professora. Os alunos foram divididos em dois grupos: 10 alunos pertencentes ao grupo experimental e 9 alunos pertencentes ao grupo controle; a professora participante foi a regente da sala do grupo experimental. Os procedimentos utilizados no desenvolvimento desta investigação foram delimitados pela proposta da pesquisa-ação que contempla três fases: a primeira fase compreende a fase exploratória, com a duração de 29 horas, cujo objetivo consistiu em avaliar a construção das estruturas infralógicas (tempo, espaço e causalidade), as estruturas lógico-matemáticas (conservação, seriação e inclusão), a hipótese de escrita e a construção de narrativa dos participantes. Nessa fase, ainda, a professora participou de uma entrevista semiestruturada com questões relacionadas ao processo de desenvolvimento e à aprendizagem. Na fase de ação, a professora regente e os alunos do grupo experimental participaram de uma intervenção pautada em princípios construtivistas: a) com a professora foram realizados encontros semanais para estudo sobre o referencial que fundamentou nossa proposta de intervenção e para planejar as oficinas realizadas em sala de aula, para tanto, foram necessárias 18 horas em reuniões entre professora e pesquisadora, b) os alunos foram submetidos a uma intervenção pedagógica realizada na forma de oficinas de jogos de regras, desenvolvida durante o segundo semestre de 2016, contemplando 36 horas de oficinas. Na última fase, de avaliação, foram reaplicados os instrumentos da fase exploratória nos grupos experimental e controle com o objetivo de verificar os efeitos da intervenção junto aos alunos, bem como avaliar a visão da professora sobre alguns aspectos relacionados ao ensino e aprendizagem, para esta fase foram necessárias 29 horas. Desta forma, as três fases desta pesquisa compreenderam o total de 112 horas de trabalho direto com alunos e professora. Os dados foram analisados segundo as características específicas de cada instrumento, a saber: para avaliação das estruturas lógicas e infralógicas foram utilizadas provas operatórias que avaliam níveis do desenvolvimento cognitivo, a escrita foi avaliada conforme a hipótese de escrita produzida a partir de um ditado de palavras e frases, a narrativa foi qualificada de acordo com a relação antecedente e consequente ao narrar uma produção de texto espontâneo, a entrevista semiestruturada foi submetida à análise qualitativa. Os resultados mostraram que houve melhora, por parte dos alunos do grupo experimental, na construção das estruturas infralógicas, lógico-matemáticas, na hipótese de escrita e na construção da narrativa após a intervenção, sendo observado que o mesmo não ocorreu com os participantes do grupo controle. A professora demonstrou avanços positivos no que se refere à tomada de consciência sobre a própria prática e sua contribuição diante do processo de aprendizagem, sobretudo em relação aos alunos que apresentam queixas de dificuldades. Esperamos que este estudo possa contribuir com a prática pedagógica, levando o professor a compreender a importância da constante reflexão sobre suas ações e intervenções, bem como perceber os jogos como um excelente recurso para a aprendizagem. / This study, based on the Genetic Epistemology reference, had the general objective of verify the effects of a pedagogical intervention, based on constructivist principles, carried out through game of workshops of rules for students with complaints of learning difficulties in the context of the classroom. Participants of the study were nineteen students, aged between 7 and 8 years old, from two years of elementary school from different schools and a teacher. The students were divided into two groups: 10 students belonging to the experimental group and 9 students belonging to the control group; the participating teacher was the regent of the experimental group room. The procedures used in the development of this research were delimited by the proposal of the action research that contemplates three phases: the first phase comprises the exploratory phase, with duration of 29 hours, whose objective was to evaluate the construction of infralogic structures (time, space and causality), logical-mathematical structures (conservation, serialization and inclusion), the hypothesis of writing and the construction of the narrative of the participants. In this phase, the teacher also participated in a semi-structured interview with questions related to the development process and the learning. In the phase of action, the regent teacher and the students of the experimental group participated in an intervention based on constructivist principles: a) with the teacher, weekly meetings were held to study the referential that based our intervention proposal and to plan the workshops held in, for this, it took 18 hours in meetings between teacher and researcher, b) the students were submitted to a pedagogical intervention in the way of rules games workshops, developed during the second semester of 2016, contemplating 36 hours of workshops. In the last phase of evaluation, the exploratory phase instruments were reapplied in the experimental and control groups with the objective of verifying the effects of the intervention with the students, as well as evaluating the teacher's view on some aspects related to teaching and learning, for this phase was required 29 hours. In this way, the three phases of this research comprised a total of 112 hours of direct work with students and teachers. The data were analyzed according to the specific characteristics of each instrument, namely: for the evaluation of the logical and infralogic structures were used operative tests that evaluate the level of cognitive development, the writing was evaluated according to the writing hypothesis produced of written production from a dictation of words and phrases, the narrative was qualified according to the antecedent relation and consequent when narrating a production of spontaneous text, semi structured interview was submitted to qualitative analysis. The results showed that there was an improvement by the students of the experimental group in the construction of infralogical, logical-mathematical structures in the hypothesis of writing and in the construction of the narrative after the intervention, being observed that the same did not occur with the participants of the control group. The teacher showed positive progress in raising awareness about the practice itself and its contribution to the learning process, especially in relation to the students who present complains of difficulties. We hope that this study can contribute to pedagogical practice, leading the teacher to understand the importance of the constant reflection on his actions and interventions, as well as perceiving games as an excellent resource for learning.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-22T21:52:17Z No. of bitstreams: 1 IcaroBezerraQueirozDeAraujo_DISSERT.pdf: 4303113 bytes, checksum: 5b62bbefe395aa81a970303e398aa064 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-23T23:56:53Z (GMT) No. of bitstreams: 1 IcaroBezerraQueirozDeAraujo_DISSERT.pdf: 4303113 bytes, checksum: 5b62bbefe395aa81a970303e398aa064 (MD5) / Made available in DSpace on 2016-02-23T23:56:53Z (GMT). No. of bitstreams: 1 IcaroBezerraQueirozDeAraujo_DISSERT.pdf: 4303113 bytes, checksum: 5b62bbefe395aa81a970303e398aa064 (MD5) Previous issue date: 2015-01-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Instala??es prediais de ?gua fria s?o partes fundamentais em qualquer modelo de habita??o, sejam resid?ncias ou condom?nios. Por?m, tais sistemas est?o sujeitos a falhas, que podem variar desde um vazamento em um aparelho, at? falhas na estrutura dos reservat?rios de ?gua e sistema de distribui??o. Estas falhas s?o respons?veis por altos custos econ?micos e ambientais. Visando reduzir estas perdas, este trabalho prop?e o desenvolvimento de um sistema capaz de detectar a presen?a e identificar alguns tipos de vazamentos de ?gua que venham a ocorrer. Para implementa??o e testes, no simulador desenvolvido, foi utilizado um modelo de consumo capaz de reproduzir o comportamento semelhante ao processo real, assim como suas consequentes falhas. A detec??o dos vazamentos ? feita com base em um modelo semelhante a um sistema especialista que possui dois m?dulos de detec??o, um passivo e outro ativo, os quais utilizam sensores e atuadores (v?lvulas). Para teste e implementa??o, foi desenvolvido um software capaz de acoplar o sistema simulador e o detector. A partir dos resultados obtidos nota-se que o sistema proposto neste trabalho, al?m de funcionar de forma satisfat?ria, pode ser facilmente implementando em microcontroladores ou sistemas embarcados devido a sua simplicidade. / Building installations of cold water are key parts in any model of housing, are homes or condos. However, these systems are subject to failure, which can range from a leak in a device until faults in the structure of water reservoirs and distribution system. These faults are responsible for great economic and environmental costs. In order to reduce these losses, this work proposes the development of a system able to detect the presence and identify some types of water leaks that may occur. For implementation and testing, consumption model was used in a simulator capable of reproducing a similar behavior to a real model and its consequent failures. The detection of leaks is done based on an expert like model having two detection modules, one active and one passive, which use an array of sensors and actuators (valves) to do the sensing. For testing and implementation has been developed a software capable of coupling the system simulator and detector. From the results it can be seen that the system proposed in this work, as well as functioning satisfactorily, can be easily implemented in microcontrollers or embedded systems due to its simplicity.

O conhecimento de propriedades de transporte de misturas a diferentes pressões e temperaturas é importante em projetos, operação, controle e otimização de processos industriais. Nestes processos, frequentemente, o fluido é uma mistura binária ou multicomponente de hidrocarbonetos, como fluidos de petróleo. Propriedades experimentais de misturas, especialmente, a viscosidade absoluta como função de temperatura e pressão, podem fornecer importantes informações sobre o comportamento do fluido em diferentes composições e são usadas no desenvolvimento de modelos e correlações e na caracterização de misturas complexas. Diversas regras de mistura têm sido propostas na literatura para cálculo de viscosidade de misturas. Estas regras de mistura preveem o comportamento da mistura à pressão atmosférica usando propriedades dos componentes puros. Porém, em diversas aplicações é necessário estimar a viscosidade de misturas a altas pressões. Neste estudo, foram avaliadas regras de mistura comumente usadas como Refutas, Fator de Mistura, Índice de Mistura, Grunberg e Nissan, Kendall-Monroe e Eyring bem como Aditividade Molar, usando dados de viscosidade experimental de misturas em altas pressões. Inicialmente, foram realizadas medidas de viscosidade absoluta para a mistura altamente assimétrica de ciclohexano e n-hexadecano na faixa de temperatura entre (318,15 a 413,15) K e pressões até 62,053 MPa e, para este sistema, um modelo foi proposto para cálculo dos componentes puros para dada temperatura e pressão. Além disso, dados experimentais de viscosidade de trinta misturas cujos componentes diferem em forma, tamanho ou flexibilidade foram selecionados na literatura e modelados empregando-se regras de mistura. As viscosidades das misturas foram estimadas a partir de dados de viscosidade experimental dos componentes puros medidos nas mesmas temperaturas e pressões. A altas pressões, Refutas, Fator de Mistura e Índice de Mistura apresentaram os melhores resultados para todos os sistemas estudados. Mesmo para moléculas bastante assimétricas, Refutas, Fator de Mistura e Índice de Mistura podem ser usados. / The knowledge of transport properties of mixtures at different pressures and temperatures is important in design, operation, control and optimization of industrial process. In these processes, often, the fluid system is a binary or multicomponent mixture of hydrocarbons such as petroleum fluids. The experimental properties of mixtures, specially, the dynamic viscosity as a function the temperature and pressure, can provide valuable information about the fluid behavior at different compositions and are useful in developing models and correlations and in the characterization of complex mixtures. Several mixing rules have been proposed in the literature for calculating viscosity of mixtures. These mixing rules predict mixture behavior mainly at atmospheric pressure using pure component properties. However, in several important applications it is necessary to estimate the viscosity of blends at high pressures. In this work, were evaluate the performance of several commonly used mixing models like Refutas, Factor Mixing and Index Mixing, Grunberg and Nissan, Kendall-Monroe and Eyring as well as linear Molar Additivity, using experimental viscosity data of mixtures at high pressures. Initially, the absolute viscosities for the highly asymmetric mixture of cyclohexane and n-hexadecane were measured in the temperature range of (318.15 to 413.15) K and pressures up to 62.053 MPa and for this system, a satisfactorily model is proposed for calculating of pure components viscosities for given temperature and pressure. Also, viscosity data of thirty mixtures, whose components differ in molecular shape, size or flexibility, were selected and were modeled employing mixing. The mixture viscosities were estimated by all the mixing rules using experimental viscosity of pure components measured at the same temperature and pressure. At high pressures, Refutas, Factor Mixing and Index Mixing showed the best results for all systems studied. For very asymmetric systems, Refutas, Factor Mixing and Index Mixing can be used.