Comparação entre os intumescimentos de borracha natural e polibutadieno com alto teor 1,4-cis em solventes (n-octano, ciclo-hexano e esqualeno) e em soluções poliméricas

Amostras de borracha natural foram reticuladas por meio de radiação gama (doses de 2, 4, 6 e 8 MRad) e intumescidas: a) em n-octano, ciclo-hexano e esqualeno; b) em polibutadieno líquido (Mn=1830 g/mol; alto teor 1,4- cis) a 45°C; C) em solução de polibutadieno de baixo peso molecular (M,= 1830 g/mol; alto teor 1,4-cis) em n-octano e ciclo-hexano; d) em solução de polibutadieno de alto peso molecular (Mn= 175.000 g/rnol; alto teor 1,4-cis) emn-octano e ciclo-hexano ; e) em solução de borracha natural (Mn=779.000 g/mol) em ciclo- hexano, a 25°C. Amostras de polibutadieno (alto teor 1,4-cis) foram reticuladas por meio de radiação gama (doses de 1,s; 18 e 25 MRad) e intumescidas: a) em n-octano, ciclo-hexano e esquaieno. Salvo quando mencionado em contrário, as amostras de borracha natural e de polibutadieno foram intumescidas nas temperaturas de 25, 35 e 45°C. A partir dos ensaios de intumescirnento acima mencionados, foram determinadas as solubilidades de borracha natural e de polibutadieno em n-octano, ciclo-hexano e esqualeno através dos parâmetros de Flory-Huggins, calculados com o emprego da equação de Flory-Rehner. Verificou-se a influência da temperatura e da concentração de polimero no gel sobre o valor do parâmetro de Flory-Huggins. Também através desse parâmetro procurou-se determinar a compatibilidade entre borracha natural e polibutadieno. Foi demonstrado que cadeias lineares de baixo peso molecular de polibutadieno conseguem penetrar em amostras reticuladas de borracha natural, quando o peso molecular das cadeias lineares for bem inferior ao do arco de rede Mc das amostras reticuladas. Cadeias lineares de polibutadieno e de borracha natural com peso molecular superior ao do arco de rede da borracha natural reticulada, entretanto, não conseguem penetrar no retículo. Quranto mais alta a concentração da solução externa em moléculas de alto peso molecular, tanto menor é o grau de intumescimento da amostra reticulada.

Contribuição ao estudo da inibição da corrosão do aço comum por borato, em soluções diluídas

Este trabalho teve por objetivo determinar a ação inibidora do íon borato na corrosão do aço-carbono, em soluções aquosas aproximadamente neutras, arejadas e desarejadas, na presença ou não de ions cloreto, à temperatura ambiente. Através do traçado de curvas de polarização potenciostáticas, de experimentos cronopotenciométricos e cronogalvanométricos, com ou sem riscagem do corpo de prova, e do comportamento do aço comum em ensaios de imersão a longo prazo, concluiu-se que o ion borato possui uma ação inibidora sobre a corrosão do aço, desde que o potencial não seja muito elevado. Observou-se também que o aço sofre corrosão por pites em soluções de borato, mesmo na ausência de íons agressivos e que os pites ocorrem em potenciais tanto mais baixos quanto mais diluídas forem as soluções de borato. Para soluções contendo 1000 ppm de bórax ou mais, o potencial de pite, determinado por técnicas cronopotenciométricas, está acima do potencial de corrosão. Para soluções com concentrações iguais ou superiores a 5000 ppm de bórax, não foi detectada corrosão por pites na faixa de potencial estudada, isto é, desde o potencial de evolução de H2 até o potencial de evolução de 02. A adição de 100 ppm de NaCl à solução contendo 2500 ppm de bórax reduz o potencial de pite de aço comum, em relação ao seu valor na ausência de íon cloreto.

Tratamento de soluções de cromo (III) por flotação a ar dissolvido

O presente trabalho estuda a viabilidade da utilização do processo de flotação a ar dissolvido (FAD) no tratamento de efluentes contendo cromo. Tal processo é analisado comparativamente à sedimentação. Urna revisão dos diferentes tipos de processos de separação ou de recuperação do cromo é, também, aqui apresentada. Soluções contendo 200 mg.l" de cromo tri ou hexavalente foram estudadas quanto às condições ideais de precipitação, às características de sedimentação e de flotação a ar dissalvido em regime descontínuo e contlnuo. Agentes poliméricos foram testados no intuito de melhorar as condições de clarificação. O processo de FAD foi o que apresentou melhores resultados no que se refere a cinética de separação sólido/líquido, e em termos de clarificação das soluções. Estudos de separação sólido/líquido de soluções contendo cromo VI foram feitos por estes dois processos empregando sulfato ferroso e sulfito de sódio como agentes redutores. A FAD mostrou ser eficiente para tratar as soluções quando reduzidas com sulfito de sódio. Porém, no caso da utilização do sulfato ferroso como redutor, o rendimento da FAD diminuiu no tratamento de soluções que continham sólidos suspensos acima de uma concentração crítica. Polímeros também foram empregados neste caso, e confirmaram sua atuação melhorando a cinética de separação sólido/líquido e como agentes que beneficiam a clarificação das soluções. Os resultados dos estudos de flotação por ar dissolvido em uma unidade contínua mostraram que é viavel a FAD sem agentes floculantes ou tensoativos. No entanto, estes aumentam os níveis de clarificação das soluções. Apenas os floculantes a base de amido mostraram-se ineficientes nesta aplicação. Conclui-se que o processo de FAD pode ser utilizado no tratamento de efluentes contendo cromo permitindo obter efluentes finais dentro dos padrões de emissão da legislação brasileira.

Método de otimização de produtos e processos medidos por múltiplas características de qualidade

Esta dissertação pretende consolidar um método quantitativo, flexível e genérico que possa ser útil na otimização experimental dos mais variados produtos e processos industriais medidos por múltiplas variáveis de resposta. O que se pretende com o método é identificar o ajuste ótimo dos fatores controláveis, ou seja, aquele que reduz os custos devido à má qualidade de um produto considerando também os custos de matéria-prima e energia gastos na fabricação desse produto. A redução dos custos gerados pela má qualidade de um produto é alcançada através da minimização dos desvios das variáveis de resposta dos seus valores alvos e maximização da robustez do produto ou processo aos fatores de ruído e a possíveis oscilações nos fatores controláveis, pois toda vez que uma variável de resposta desvia-se do seu valor alvo ou apresenta variabilidade, existe uma perda financeira experimentada pelo seu usuário. Ao longo do texto, faz-se uma revisão da literatura existente sobre o assunto, apresentam-se as etapas do método que devem ser cumpridas e algumas ferramentas consideradas eficientes no cumprimento dessas etapas. Logo após, realizam-se estudos práticos para validar o método e, baseado nesses estudos e no referencial teórico, conclui-se sobre o assunto.

A aprendizagem na educação de jovens e adultos : "o tempo fora dos eixos"

O presente trabalho apresenta inicialmente algumas conexões transversais nos tempos de vida da investigadora, preliminares à investigação. A partir dessas conexões, foram produzidas as questões que motivaram a elaboração da investigação sobre o desejo de aprender em um grupo de sujeitos de um programa de educação de jovens e adultos, bem como a procura e escolha de um referencial teórico que permitiu acompanhar a “atualização” desse desejo ao longo dos seus diversos tempos vividos. Assim, a investigação partiu do problema de que os movimentos de “atualização” do desejo de aprender no tempo de aprendizagem de jovens e adultos não obedecem a uma ordem cronológica, mas sim aos diferentes modos de articulação do presente, passado e futuro. No processo de construção do referencial teórico para investigar a “atualização” do desejo de aprender foi escolhido como eixo central o tempo, na concepção bergsoniana de duração, na qual se produzem a diferença e a singularidade, imbricadas no movimento de criação do sujeito. Embora a escolha tenha recaído no tempo, esse é inseparável do espaço, daí que foi elaborada uma análise da sociedade capitalista globalizada da contemporaneidade. O espaço é entendido aqui como extensão onde se produz o sujeito, o qual sofre as investidas dos mecanismos econômicos e culturais hegemônicos para tentar cooptar o seu desejo, acenando-lhe com a ilusão de uma total satisfação, através do consumo. Para tanto, foram analisados alguns mecanismos utilizados para a cooptação do sujeito, tais como a omissão ou suspensão de sua memória, como meio de conhecimento individual e da humanidade, cujos desdobramentos são a construção de uma lógica da não diferença e o desrespeito à alteridade, o que caracteriza a massificação da sociedade Junto à análise da sociedade capitalista massificada foi feita também uma análise das possibilidades de novas e múltiplas formas de subjetivação produtoras de linhas de fuga à homogeneização do sujeito, de dentro da sociedade, pois não há um fora possível. As novas possibilidades foram delineadas a partir de um referencial teórico encontrado na psicanálise, com suas contribuições sobre a produção do desejo, bem como as interlocuções possíveis com a filosofia da diferença em Deleuze. Quanto à orientação metodológica da investigação, a escolha do eixo tempo levou à orientação do método intuitivo bergsoniano através da leitura feita por Deleuze, o qual utiliza o caso-pensamento que, aqui, é a educação de jovens e adultos em processo de alfabetização, separando as questões relativas ao espaço e ao tempo e privilegiando o segundo; verifica se o problema proposto é um falso ou um verdadeiro problema, esse último propõe outras questões ao longo da investigação, não busca apenas soluções; acompanha o movimento do pensamento sem ter, a priori, um modelo dividido em categorias, mas procurando vê-lo na linha da duração e da produção de uma memória ontológica. O acompanhamento do pensamento dos sujeitos foi feito através da realização de entrevistas, nas quais falaram sobre o seu passado, o seu presente e suas perspectivas futuras, tendo como eixo das perguntas o desejo de aprender. Foi delimitado um grupo de nove sujeitos que participaram da investigação e estabelecidos os três tempos para serem entrevistados: o tempo de rememoração, no início do atual período de escolarização, para lembrar suas experiências passadas em relação ao desejo de freqüentar a escola; o tempo de produção/passagem, ao final do primeiro semestre de escolarização, para falar de suas experiências atuais; o tempo de fechamento/abertura, um ano após a segunda entrevista, para fazer um balanço de suas aprendizagens e das possíveis mudanças em sua vida a partir dessas aprendizagens. Esses três tempos permitiram delinear a cartografia do movimento de “atualização” do desejo de aprender dos sujeitos investigados. Após cada tempo de entrevistas dos sujeitos foi feita uma análise do que era comum a todas as falas dos sujeitos, não no sentido de encontrar generalidades, mas relativo à existência dos movimentos do seu pensamento, constituindo-se nos três entretempos da investigadora aprender e suas conexões com a produção da diferença, do estilo e da singularidade, bem como as articulações delineadas entre o presente da aprendizagem na escola, o passado e futuro de cada sujeito. A partir das conclusões e problemáticas construídas através da análise das entrevistas, foi possível apontar para algumas indicações de como se materializam as investidas da sociedade capitalista globalizada nos movimentos capilares sociais, no caso, nos sujeitos de um programa de educação de jovens e adultos, o que se mostrou de forma não monolítica, mas com ranhuras e falhas, o que permitiu ressaltar a máxima de que “nada está decidido” a respeito do sujeito e da subjetividade no seu processo de aprendizagem.

APSEE-Reuse : um meta-modelo para apoiar a reutilização de processos de software

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos tecnológicos e gerenciais do processo de desenvolvimento de software. Software tornou-se a base de sustentação de inúmeras organizações dos mais diversos ramos de atuação espalhados pelo planeta, consistindo de um elemento estratégico na diferenciação de produtos e serviços atuais. Atualmente, o software está embutido em sistemas relacionados a infindável lista de diferentes ciências e tecnologias. A Tecnologia de Processo de Software surgiu em meados da década de 1980 e representou um importante passo em direção à melhoria da qualidade de software através de mecanismos que proporcionam o gerenciamento automatizado do desenvolvimento de software. Diversas teorias, conceitos, formalismos, metodologias e ferramentas surgiram nesse contexto, enfatizando a descrição formal do modelo de processo de software, para que possa ser automatizado por um ambiente integrado de desenvolvimento de software. Os modelos de processos de software descrevem o conhecimento de uma organização e, portanto, modelos que descrevem experiências bem sucedidas devem ser continuamente disseminados para reutilização em diferentes projetos. Apesar da importância desse tópico, atualmente apenas uma pequena porção do conhecimento produzido durante o desenvolvimento de software é mantido para ser reutilizado em novos projetos. Embora, à primeira vista, o desafio de descrever modelos reutilizáveis para processos de software pareça ser equivalente ao problema tratado pela tradicional área de reutilização de produtos software, isso é apenas parcialmente verdade, visto que os processos envolvem elementos relacionados com aspectos sociais, organizacionais, tecnológicos e ambientais. A crescente complexidade da atual modelagem de processos vem influenciando a investigação de tecnologias de reutilização que sejam viáveis nesse campo específico. A investigação conduzida nesse trabalho culminou na especificação de um meta-modelo que tem como objetivo principal aumentar o nível de automação fornecido na reutilização de processos, apoiando a modelagem de processos abstratos que possam ser reutilizados em diferentes contextos. O meta-modelo proposto por esse trabalho - denominado APSEE-Reuse - fornece uma série de construtores sintáticos que permitem que os diferentes aspectos desse contexto sejam descritos segundo múltiplas perspectivas, complementares entre si, contribuindo para diminuir a complexidade do modelo geral. A solução proposta destaca-se por fornecer um formalismo para modelagem de processos, o qual é integrado à uma infraestrutura de automação de processos de software, permitindo que a reutilização esteja intimamente relacionada com as outras etapas do ciclo de vida de processos. Os diferentes componentes envolvidos na definição do modelo APSEE-Reuse proposto foram especificados algebricamente, constituindo uma base semântica de alto 15 nível de abstração que deu origem a um conjunto de protótipos implementados no ambiente PROSOFT-Java. O texto ainda discute os experimentos realizados com o meta-modelo proposto na especificação de diferentes estudos de casos desenvolvidos a partir de exemplos retirados na literatura especializada, e de processos que fornecem soluções em contextos e necessidades específicas de projetos desenvolvidos no PPGC-UFRGS. Finalmente, são apresentadas considerações acerca dos trabalhos relacionados, os elementos críticos que influenciam a aplicabilidade do modelo e as atividades adicionais vislumbradas a partir do trabalho proposto.

Soluções reutilizáveis para a implementação de mecanismos de controle de atomicidade em programas tolerantes a falhas

Tolerância a falhas é um dos aspectos mais importantes a serem considerados no desenvolvimento de aplicações, especialmente com a participação cada vez maior de sistemas computacionais em áreas vitais da atividade humana. Dentro deste cenário, um dos fatores a serem considerados na persecução deste objetivo é o gerenciamento de atomicidade. Esta propriedade, por sua vez, apresenta duas vertentes principais: o controle de concorrência e a recuperação de estados. Considerando-se a tolerância a falhas e, particularmente, a atomicidade como requisitos com alto grau de recorrência em aplicações, verifica-se a importância de sua reutilização de forma simples e transparente e do estudo de meios de prover tal capacidade. O presente trabalho procurou pesquisar e aplicar meios de produzir soluções reutilizáveis para implementação de programas tolerantes a falhas, mais especificamente de técnicas de controle de atomicidade, utilizando vários paradigmas computacionais. Neste intuito, foram pesquisados mecanismos de introdução de atomicidade em aplicações e suas respectivas demandas, para então extrair critérios de análise dos paradigmas a serem utilizados na implementações das soluções. Buscou-se suporte nestes paradigmas às demandas previamente pesquisadas nos mecanismos de gerenciamento de atomicidade e procurou-se chegar a soluções reutilizáveis mantendo simplicidade de uso, possibilidade de alteração dinâmica, transparência, adaptabilidade e velocidade de desenvolvimento. Devido à existência de uma grande diversidade de situações que requerem diferentes implementações de atomicidade, alguns cenários típicos foram selecionados para aplicação e avaliação das técnicas aqui sugeridas, procurando abranger o maior número possível de possibilidades. Desta maneira, este trabalho comparou situações opostas quanto à concorrência pelos dados, implementando cenários onde ocorrem tanto acesso cooperativo quanto competitivo aos dados. Dentro de cada um dos cenários estudados, buscaram-se situações propícias ao emprego das características dos paradigmas e analisou-se o resultado de sua aplicação quanto aos critérios definidos anteriormente. Várias soluções foram analisadas e comparadas. Além dos mecanismos de gerenciamento de atomicidade, também foram estudados vários paradigmas que pudessem ser empregados na implementação de soluções com alto grau de reutilização e adaptabilidade. As análises e sugestões posteriores às implementações serviram como substrato para conclusões e sugestões sobre a melhor maneira de empregar tais soluções nos cenários atômicos estudados. Com isso, foi possível relacionar características e capacidades de cada paradigma com a melhor situação de demanda de atomicidade na qual os mesmos são aplicáveis, moldando uma linha de soluções que favoreçam sua reutilização. Um dos objetivos mais importantes do trabalho foi, entretanto, observar o funcionamento conjunto destes paradigmas, estudando como os mesmos podem atuar de forma simbiótica e de que forma os conceitos de um paradigma podem complementar os de outro.

Remoção de íons Cd2+ de soluções aquosas por eletrodeposição em eletrodos de carbono vítreo reticulado

As soluções aquosas obtidas após o tratamento final de efluentes de processos de eletrodeposição de Cd contém baixas concentrações de íons Cd2+. Neste trabalho determinaram-se as melhores condições para a utilização de eletrodos de carbono vítreo reticulado (CVR) no polimento destas soluções. A eletrodeposição do íon Cd2+ sobre eletrodo de carbono vítreo reticulado de porosidades distintas, 30, 60 e 100 ppi, com e sem recobrimento com polipirrol, foi investigada em soluções aquosas aeradas de ácido sulfúrico e sulfato de potássio em pH 4,8. Sob condições potenciostáticas, uma elevada eficiência de remoção foi obtida para soluções contendo 5 e 10 mg L-1 de íon Cd2+, na faixa de potenciais entre –0,9 e –1,1 V para CVR e em –3,0 V para CVR recoberto com polipirrol (CVR-PPy0). Após cada experimento de eletrodeposição, a diminuição da concentração do íon Cd2+ no eletrólito foi monitorada por voltametria de redissolução anódica. Neste experimenteo, empregando um eletrodo de gota pendente de mercúrio sendo estes resultados comparados com medidas por espectrometria de emissão atômica (ICP). Para o eletrodo de CVR, neste intervalo de potenciais, -0,9 e –1,1 V, a eletrodeposição do íon cádmio é controlada por transporte de massa e a concentração de íons cádmio varia exponencialmente com o tempo, seguindo uma cinética de pseudo primeira ordem. Para a concentração 10 mg L-1 e usando eletrodo de CVR 30 ppi, as eficiências de corrente e de remoção determinadas a -1,1 V após 30 minutos de eletrólise foram, 38 % e 97% , respectivamente. Para eletrodo de CVR 60 ppi foram encontrados 30 % e 99 %, respectivamente. Para o eletrodo de CVR-PPy0 a maior eficiência de remoção encontrada foi de 84% após 90 minutos de eletrólise em –3,0 V, sendo a eficiência de corrente menor do que 2%. A presença de Cd metálico depositado na superfície do eletrodo de CVR e CVR-PPy0 depois da redução em –1,1 V e –3,0 V, respectivamente, foi confirmada por análise de Microscopia Eeletrônica de Varredura (MEV) e espectrometria de energia dispersiva (EDS).

Emprego da técnica de eletrodiálise no tratamento de soluções aquosas contendo cádmio e cianeto

O presente trabalho teve como objetivo avaliar a possibilidade de empregar a técnica de eletrodiálise para remoção e recuperação de cádmio e cianeto a partir de soluções aquosas simulando diluições da composição de um banho alcalino de cádmio à base de cianeto. Para isso, foram utilizadas células de eletrodiálise de bancada de diferentes configurações e dois tipos de membranas íon-seletivas, uma catiônica (NafionÒ 450) e uma aniônica (SelemionÒ AMV). Foram realizados ensaios em células de dois e três compartimentos para avaliar o comportamento do potencial total da célula e o potencial das membranas em função da corrente aplicada com soluções de diferentes concentrações. Através destes ensaios foi possível definir as concentrações das soluções e as densidades de corrente a serem utilizadas na célula de cinco compartimentos. Os ensaios na célula de cinco compartimentos foram realizados para avaliar a remoção e recuperação de cádmio e cianeto em diferentes tempos de ensaio, diferentes densidades de corrente, diferentes concentrações das soluções e na presença de outros íons metálicos como cobre, cromo e ferro. Os resultados demonstram que a extração percentual e a eficiência de corrente de cádmio e cianeto dependem da densidade de corrente aplicada, da concentração das soluções e do tempo de ensaio A remoção total das espécies iônicas é limitada pela precipitação de cádmio sobre a membrana catiônica do compartimento central da célula a partir de uma determinada remoção dos íons. No entanto, através de sucessivas trocas da solução de cádmio e cianeto, antes do momento em que ocorre a precipitação, os resultados demonstram a possibilidade de se obter uma solução concentrada em cádmio e cianeto em outro compartimento da célula, o que demonstra a possibilidade de recuperar cádmio e cianeto no banho de deposição de cádmio. Com a presença de cobre, cromo e ferro esta recuperação é prejudicada, pois estes íons são transportados na mesma direção do cádmio e do cianeto, o que pode representar uma contaminação para o banho de deposição.

Soluções unificadas para modelos com freqüência de colisão variável da dinâmica de gases rarefeitos

Neste trabalho, uma versão analítica do método de ordenadas discretas é usada para desenvolver soluções para alguns problemas da dinÂmica de gases rarefeitos, baseado em um modelo com freqüência de colisão variável (modelo CLF) da equação de Boltzmann linearizada. Em particular, resultados numéricos obtidos para os problemas de salto de temperatura, fluxo de Poiseuille, fluxo de Couette, Kramers, creep-térmico e deslizamento térmico são apresentados e discutidos.

Um Estudo de um sistema de informações hipermídia : caso particular da Assembléia Legislativa do Rio Grande do Sul

O presente trabalho se insere dentro de uma aplicação real na Assembléia Legislativa do Rio Grande do Sul (ALERGS), desenvolvida no Departamento de Sistemas de Informações, aproveitando-se do Sistema PRIMA/Vídeo – um sistema de veiculação interna de sinais de vídeo – já existente desde novembro de 1996. O PRIMA/Vídeo surgiu da necessidade de implantação de um sistema que permitisse o acompanhamento das múltiplas reuniões realizadas simultaneamente no âmbito do Palácio Farroupilha. Um projeto foi elaborado pela IBM do Brasil e implantado um sistema composto por dezesseis câmeras de sinais de vídeo ligadas a uma rede de 120 estações, que recebem analogicamente e em tempo real os sinais de vídeo. Este sistema permite o acompanhamento on-line de qualquer reunião nas dependências da ALERGS, além de receber imagens dos canais das emissoras a cabo. Entretanto, surgiu a necessidade de gravação destes vários eventos ocorridos para posterior exibição, criando, assim, um estudo para um sistema de informações composto de dados multimídia (sinais de vídeo do PRIMA/Vídeo). O Sistema de Informações Hipermídia da Assembléia Legislativa (SIHAL) visa o armazenamento e a disponibilização de sinais de vídeo (imagem e som) aos usuários internos da ALERGS. Através deste novo Sistema, os usuários poderão assistir a reuniões realizadas anteriormente e terão opções com capacidade de: • armazenar e organizar fisicamente os vídeos analógicos das Sessões Plenárias; • organizar o agendamento das Sessões Plenárias solicitadas no canal analógico de vídeo do PRIMA/Vídeo; • armazenar digitalmente os principais trechos de vídeo dos eventos da Assembléia; • fornecer o download dos trechos digitalizados aos usuários pela interface do Sistema; • fornecer a fita de vídeo aos usuários do Sistema; • criar uma base de dados de vídeo referente às imagens digitalizadas das Sessões Plenárias; • fornecer acesso à base de dados de vídeo. A principal contribuição desta dissertação é o estudo sobre soluções mistas, integrando dados multimídia analógicos e digitais com o intuito de propor um Sistema de Informações Hipermídia, o qual foi denominado de SIHAL. Um protótipo do SIHAL será implementado como demonstração da viabilidade das idéias citadas no sistema proposto.

Viabilidade e fertilização in vitro de oócitos bovinos após vitrificação em soluções 6 M de DMSO

Resumo não disponível.

Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho

Nos últimos 70 anos têm sido apresentadas várias propostas para caracteriza ção da noção intuitiva de computabilidade. O modelo de Computação mais conhecido para expressar a noção intuitiva de algoritmo é a Máquina de Turing. Esse trabalho apresenta máquinas abstratas que representam diferentes formas de comportamento computacional, sendo possível abordar a diversidade entre a Teoria da Computação Clássica (Máquina de Turing) e a Teoria da Computa- ção Interativa (Máquina de Turing Persistente). Com a evolução dos sistemas de computação, surgiu a necessidade de estender a de nição de Máquina de Turing para tratar uma diversidade de novas situações, esses problemas conduziram a uma mudança de paradigma. Neste contexto foi desenvolvido a Máquina de Turing Persistente, que é capaz de fundamentar a Teoria da Computação Interativa. Máquinas de Turing Persistentes (PeTM) são modelos que expressam comportamento interativo, esse modelo é uma extensão da Máquina de Turing. O presente trabalho tem como objetivo explorar paralelismo na Máquina de Turing Persistente, através da formalização de uma extensão paralela da PeTM e o estudo dos efeitos sobre essa extensão, variando o número de tas de trabalho. Contribui- ções desse trabalho incluem a de nição de uma máquina de Turing Persistente Paralela para modelar computação interativa e uma exposição de conceitos fundamentais e necessários para o entendimento desse novo paradigma. Os métodos e conceitos apresentados para formalização da computação na Máquina de Turing Persistente Paralela desenvolvidos nessa dissertação, podem servir como base para uma melhor compreensão da Teoria da Computação Interativa e da forma como o paralelismo pode ser especi cado em modelos teóricos.

Réplicas para alta disponibilidade em arquiteturas orientadas a componentes com suporte de comunicação de grupo

Alta disponibilidade é uma das propriedades mais desejáveis em sistemas computacionais, principalmente em aplicações comerciais que, tipicamente, envolvem acesso a banco de dados e usam transações. Essas aplicações compreendem sistemas bancários e de comércio eletrônico, onde a indisponibilidade de um serviço pode representar substanciais perdas financeiras. Alta disponibilidade pode ser alcançada através de replicação. Se uma das réplicas não está operacional, outra possibilita que determinado serviço seja oferecido. No entanto, réplicas requerem protocolos que assegurem consistência de estado. Comunicação de grupo é uma abstração que tem sido aplicada com eficiência a sistemas distribuídos para implementar protocolos de replicação. Sua aplicação a sistemas práticos com transações e com banco de dados não é comum. Tipicamente, sistemas transacionais usam soluções ad hoc e sincronizam réplicas com protocolos centralizados, que são bloqueantes e, por isso, não asseguram alta disponibilidade. A tecnologia baseada em componentes Enterprise JavaBeans (EJB) é um exemplo de sistema prático que integra distribuição, transações e bancos de dados. Em uma aplicação EJB, o desenvolvedor codifica o serviço funcional que é dependente da aplicação, e os serviços não–funcionais são inseridos automaticamente. A especificação EJB descreve serviços não–funcionais de segurança, de transações e de persistência para bancos de dados, mas não descreve serviços que garantam alta disponibilidade. Neste trabalho, alta disponibilidade é oferecida como uma nova propriedade através da adição de serviços não–funcionais na tecnologia EJB usando abstrações de comunicação de grupo. Os serviços para alta disponibilidade são oferecidos através da arquitetura HA (highly-available architecture) que possui múltiplas camadas. Esses serviços incluem replicação, chaveamento de servidor, gerenciamento de membros do grupo e detecção de membros falhos do grupo. A arquitetura HA baseia-se nos serviços já descritos pela especificação EJB e preserva os serviços EJB existentes. O protocolo de replicação corresponde a uma subcamada, invisível para o usuário final. O serviço EJB é executado por membros em um grupo de réplicas, permitindo a existência de múltiplos bancos de dados idênticos. Conflitos de acesso aos múltiplos bancos de dados são tratados estabelecendo–se uma ordem total para aplicação das atualizações das transações. Esse grupo é modelado como um único componente e gerenciado por um sistema de comunicação de grupo. A combinação de conceitos de bancos de dados com comunicação de grupo demonstra uma interessante solução para aplicações com requisitos de alta disponibilidade, como as aplicações EJB. Os serviços adicionais da arquitetura HA foram implementados em protótipo. A validação através de um protótipo possibilita que experimentos sejam realizados dentro de um ambiente controlado, usando diferentes cargas de trabalho sintéticas. O protótipo combina dois sistemas de código aberto. Essa característica permitiu acesso à implementação e não somente à interface dos componentes dos sistemas em questão. Um dos sistemas implementa a especificação EJB e outro implementa o sistema de comunicação de grupos. Os resultados dos testes realizados com o protótipo mostraram a eficiência da solução proposta. A degradação de desempenho pelo uso de réplicas e da comunicação de grupo é mantida em valores adequados.

Implantação de um biorreator para estudo de resíduos sólidos urbanos : problemas, ajustes e soluções de laboratório

O presente trabalho foi desenvolvido para determinar os parâmetros de operação adequados de um biorreator, reator de aço inox com capacidade para 200 L, para tratamento de resíduos sólidos urbanos (RSU’s) por processo de digestão anaeróbia. Acelerando a degradação da matéria biodegradável presente no RSU, por meio do controle de parâmetros químic os e físicos, forneceu-se ao sistema condições para o desenvolvimento dos microrganismos necessários para a produção de gás (biogás) em um curto período de tempo. Foram realizados vários experimentos para determinação dos parâmetros mais adequados. Foram utilizadas três diferentes quantidades de resíduos de fácil biodegradabilidade (10, 20 e 30 kg) como frutas, verduras, legumes e cascas cortados em pedaços de 5 x 5 cm e acondicionados dentro do biorreator. Lodo anaeróbio granular foi utilizado como inóculo no sistema, e o restante do volume do biorreator foi preenchido com água destilada. O sistema foi tamponado com 3 g L-1 de bicarbonato de sódio (NaHCO3) e a temperatura do sistema foi mantida constante a 38ºC. O chorume gerado foi coletado no vaso coletor de chorume e recirculado para o topo do biorreator, o reciclo foi realizado diariamente a uma taxa de 2 L min-1. Para controle do sistema foram monitorados o pH , a temperatura, a demanda química de oxigênio (DQO), demanda bioquímica de oxigênio com incubação de 5 dias (DBO5), ácidos orgânicos voláteis (AOV’s) e oxigênio dissolvido (OD). No experimento realizado com 30 kg de resíduo orgânico, foram obtidos os resultados mais satisfatórios. Na partida do sistema o pH apresentou valor inicial de 6,99, aumentando para 7,37 no 2º dia de operação, mantendo o valor médio de 7,46 durante os 20 dias de operação. A DQO diminuiu de 5533 mg L-1 para 633 mg L-1 ao final da operação, resultando em uma demanda química de oxigênio removida (DQOR) igual a 4900 mg L-1. Os AOV’s apresentaram um aumento inicial de 86 mg L-1 para 129 mg L-1, e posterior diminuição até atingir a concentração final de 9 mg L-1. A diminuição ocorrida na DQO e nos AOV’s revelou o consumo da matéria orgânica presente no biorreator que resultou na produção total de 1352 L de gás.