INFIMO : um toolkit para experimentos de intrusão de injetores de falhas

Técnicas de tolerância a falhas visam a aumentar a dependabilidade dos sistemas nos quais são empregadas. Entretanto, há necessidade de garantir a confiança na capacidade do sistema em fornecer o serviço especificado. A validação possui como objetivo propiciar essa garantia. Uma técnica de validação bastante utilizada é a injeção de falhas, que consiste na introdução controlada de falhas no sistema para observar seu comportamento. A técnica de injeção de falhas acelera a ocorrência de falhas em um sistema. Com isso, ao invés de esperar pela ocorrência espontânea das falhas, pode-se introduzi-las intencionalmente, controlando o tipo, a localização, o disparo e a duração das falhas. Injeção de falhas pode ser implementada por hardware, software ou simulação. Neste trabalho são enfocadas técnicas de injeção de falhas por software, desenvolvidas nos níveis da aplicação e do sistema operacional. O trabalho apresenta o problema da validação, através da injeção de falhas, de um protocolo de troca de pacotes. Enfoque especial é dado ao impacto resultante da inclusão de um módulo extra no protocolo, uma vez que o mesmo apresenta restrições temporais. O trabalho investiga alternativas de implementação de injetores de falhas por software que minimizem este impacto. Tais alternativas referem-se a localização do injetor de falhas no sistema, a forma de ativação das atividades do injetor de falhas e a operação de injeção de falhas em si. Um toolkit para experimentos de intrusão da injeção de falhas é apresentado. O alvo da injeção de falhas é um protocolo com característica tempo real. O toolkit desenvolvido, denominado INFIMO (INtrusiveless Fault Injector MOdule), visa a analisar, de forma experimental, a intrusão do injetor de falhas sobre o protocolo alvo. O INFIMO preocupa-se com protocolos com restrições temporais por esses constituírem um desafio sob o ponto de vista de injeção de falhas. O INFIMO suporta falhas de comunicação, as quais podem ocasionar a omissão de alguns pacotes. O INFIMO apresenta duas ferramentas de injeção de falhas: INFIMO_LIB, implementada no nível da aplicação e INFIMO_DBG implementada com auxílio de recursos do sistema operacional. Destacam-se ainda como contribuições do INFIMO a definição e a implementação do protocolo alvo para experimentos de injeção de falhas, o protocolo INFIMO_TAP. Além disso, o INFIMO apresenta métricas para avaliação da intrusão provocada pelo injetor de falhas no protocolo alvo.

Condução de experimentos de injeção de falhas em banco de dados distribuídos

O presente trabalho realiza uma validação experimental, através da técnica de injeção de falhas por software, de sistemas de informações que utilizam gerenciadores de banco de dados distribuídos comerciais. Estes experimentos visam a obtenção de medidas da dependabilidade do SGBD utilizado, levantamento do custo de seus mecanismos de tolerância a falhas e a real aplicabilidade de SGBDs comerciais em sistemas de missão crítica. Procurou-se avaliar e validar as ferramentas de injeção de falhas utilizadas, no caso específico deste trabalho a ComFIRM e o FIDe. Inicialmente são introduzidos e reforçados os conceitos básicos sobre o tema, que serão utilizados no decorrer do trabalho. Em seguida são apresentadas algumas ferramentas de injeção de falhas em sistemas distribuídos, bem como os modelos de falhas em banco de dados distribuídos. São analisados alguns estudos de aplicação de ferramentas de injeção de falhas em bancos de dados distribuídos. Concluída a revisão bibliográfica é apresentado o modelo de software e hardware que foi implementado, destacando o gerador de cargas de trabalho GerPro-TPC e o gerenciador de injeções e resultados GIR. O GerPro-TPC segue as especificações TPC-c para a simulação de um ambiente transacional comercial padrão e o GIR realiza a integração das ferramentas de injeção de falhas utilizadas, bem como a elaboração do cenário de falhas a injetar e a coleta dos resultados das falhas injetadas. Finalmente são descritos os experimentos realizados sobre o SGBD PROGRESS. São realizados 361 testes de injeções de falhas com aproximadamente 43.000 falhas injetadas em experimentos distintos. Utiliza-se dois modelos de falhas: um focado em falhas de comunicação e outro em falhas de hardware. Os erros resultantes das falhas injetadas foram classificados em erros ignorados/mascarados, erros leves, erros graves e erros catastróficos. Dos modelos de falhas utilizados as que mais comprometeram a dependabilidade do SGBD foram as falhas de hardware. As falhas de comunicação somente comprometeram a disponibilidade do sistema alvo.

Processamento de materiais carbonáceos por pulsos intensos de laser em alta pressão

Neste trabalho foi desenvolvida uma câmara de alta pressão com janela de safira para processamento de filmes finos com pulsos de laser de alta potência, num regime de resfriamento ultra-rápido e geometria confinada. As amostras estudadas consistiram de filmes finos de carbono amorfo depositados sobre substratos de cobre. Os processamentos foram realizados com um laser pulsado Nd:YAG com energia de até 500 mJ por pulso, com duração de 8 ns, focalizada numa região de cerca de 1,5mm2, gerando uma região de elevada temperatura na superfície da amostra durante um intervalo de tempo bastante curto, da ordem do tempo de duração do pulso do laser. Para evitar a evaporação do filme de carbono, aplicava-se através da câmara, uma pressão de 0,5 a 1,0 GPa, confinando a amostra e eliminando o efeito da ablação. Este sistema tornou possível produzir taxas de resfriamento extremamente elevadas, com supressão da formação de uma pluma durante a incidência do laser, sendo o calor dissipado rapidamente pelo contato com os substratos de cobre e safira, ambos com elevada condutividade térmica. As amostras processadas foram analisadas por micro-espectroscopia Raman e os resultados revelaram a formação de estruturas com cadeias lineares de carbono, “carbynes”, caracterizadas pela presença de um pico Raman intenso na região de 2150 cm-1. Outro conjunto de picos Raman foi observado em 996 cm-1, 1116 cm-1 e 1498 cm-1 quando o filme fino de carbono amorfo foi processado dentro da câmara, com uma seqüência de mais de três pulsos consecutivos de laser. Várias tentativas foram feitas para investigar a natureza da fase que origina estes picos. Apesar da similaridade com o espectro Raman correspondente ao poliacetileno (CnHn), não foi possível constatar evidências experimentais sobre a presença de hidrogênio nos filmes de carbono processados. Estes picos Raman não foram observados quando o filme de carbono era depositado sobre outros substratos metálicos, a não ser em cobre. O conjunto de resultados experimentais obtidos indica que estes picos estariam relacionados a pequenos aglomerados lineares de átomos de carbono, diluídos numa matriz de átomos de cobre, formados durante os pulsos subseqüentes de laser e retidos durante o resfriamento ultra-rápido da amostra. A comparação dos resultados experimentais com a simulação do espectro Raman para diferentes configurações, permite propor que estes aglomerados seriam pequenas cadeias lineares, com poucos átomos, estabilizadas frente à formação de grafenos pela presença de átomos de cobre em abundância. Foram também realizados processamentos de materiais carbonáceos por pulsos de laser em meios líquidos, através de câmaras especialmente construídas para este fim. Os resultados, em diversos materiais e configurações, mostraram apenas a formação de estruturas grafíticas, sem evidência de outras fases.

Marketing de relacionamento nas trocas das empresas varejistas de materiais de construção de Cruz Alta, RS e região com seus maiores fornecedores

Percebe- se, atualmente, uma tendência de as empresas buscarem parcerias com seus fornecedores a fim de obterem maior vantagem competitiva, através de relações de longo prazo e em benefícios mútuos, o que resulta numa melhor atuação das empresas em mercados disputados, facilitando os processos de troca, redução de riscos e retenção de clientes. Isso tem fomentado, a partir dos anos 80, a criação e solidificação de uma área dentro do estudo do Marketing, conhecida como Marketing de Relacionamento. Considerando a relevância desse tema para práticas contemporâneas de administração, a presente dissertação de mestrado visa estabelecer o grau de relacionamento existente entre as empresas varejistas de materiais de construção da região de Cruz Alta, RS, com seus maiores fornecedores, a partir da reaplicação da escala de Wilson & Vlosky, (1997), para medição de marketing de relacionamento aplicada, originalmente, no setor madeireiro dos Estados Unidos. As dimensões analisadas na pesquisa incluem aspectos do relacionamento comercial propriamente dito, como dependência do relacionamento, nível de comparação com alternativos, troca de informações, confiança e comprometimento. A partir de duas etapas, exploratória e descritiva, e dos procedimentos estatísticos utilizados, observou- se a existência de marketing de relacionamento no canal pesquisado.

Determinação de propriedades físicas de diferentes materiais para discos e pastilhas de freio e relação destas propriedades com ruído

Este trabalho visou a determinação experimental de propriedades físicas básicas de materiais para pastilhas e discos de freio de diferentes composições químicas. Posteriormente, estas propriedades foram correlacionadas com resultados de avaliação de ruído de freio dos respectivos materiais. As propriedades físicas determinadas para os materiais de pastilhas de freio foram: dureza, densidade, porosidade, compressibilidade a frio, compressibilidade a quente, transmissão térmica, resistência à compressão, resistência à tração, resistência interna ao cisalhamento, módulo de elasticidade, freqüências de ressonância, índice de amortecimento, coeficiente de atrito em diferentes condições de frenagem, e taxas de desgaste. Medições incluem verificações do efeito do aumento da temperatura na variação de algumas das propriedades citadas. A avaliação de ruído de freio gerado com uso das diferentes composições de materiais foi realizada através do uso de um sistema de freio padrão, e o ensaio executado em um dinamômetro tipo inercial dotado de recursos como câmara para isolamento acústico de ruído externo e sistema de aquisição de sinais para monitoramento dos parâmetros de frenagem: tempo, torque, pressão, temperatura e espectro de ruído gerado em escala de tempo e freqüência. Os materiais de pastilhas de freios incluídos nesta verificação experimental foram selecionados de seis aplicações bastante distintas, como por exemplo: materiais para pastilhas de freio traseiro de veículos de passeio, pastilhas para freio dianteiro de veículos de passeio, pastilhas para caminhonetes, pastilhas para caminhões leves e microônibus Além da composição química bastante distinta, estudos da influência da alteração de parâmetros de processo de fabricação nas propriedades físicas do material de atrito foram considerados. Para a avaliação do efeito da variação de composição de materiais de discos de freio na geração de ruído, cinco diferentes tipos de discos foram selecionados. Dentre estas versões estão incluídas: a liga de ferro fundido cinzento do material tipo original do sistema de freio a disco padrão, uma versão de ferro fundido cinzento de baixo custo comprada no mercado de autopeças de reposição, um ferro fundido cinzento com alto de teor de carbono, um ferro fundido cinzento com adição de titânio como elemento de liga, e, finalmente, um ferro fundido vermicular. Propriedades físicas dos materiais de discos de freio não foram tão amplamente avaliadas como no caso dos materiais de pastilhas, mesmo assim dados de dureza, densidade, resistência à tração, índice de amortecimento e freqüências fundamentais de ressonância foram determinados para os diferentes materiais.Ao final do trabalho, foram definidas correlações entre ruído de freio e propriedades físicas dos materiais de pastilhas de freio que indicam que o material de atrito da pastilha é mais propenso a apresentar ruído quando: menos poroso, com maior resistência mecânica, maior módulo de elasticidade, maior dureza (valores mais baixos de dureza Gogan), e maior coeficiente de atrito. Também foram detectadas alterações significativas no comportamento de ruído com uso de diferentes materiais de discos de freio, mas não foram estabelecidas correlações conclusivas entre as propriedades dos discos de freio e sua propensão a ruído devido ao baixo número de versões avaliadas.

Levantamento de manifestações patológicas em revestimentos de fachadas das edificações da cidade de Pelotas

Os revestimentos são, do ponto de vista funcional, integrantes das vedações e fundamentais para a durabilidade dos edifícios, contribuindo para o bom aspecto das fachadas. A identificação e correção das possíveis falhas certamente aumentam o grau de satisfação da população de maneira geral por sua contribuição para a estética da cidade, além de contribuir para aumentar a vida útil do produto e de seu valor comercial. Este trabalho apresenta os resultados de levantamento de dados realizado em edificações da zona urbana da cidade de Pelotas, com o objetivo de levantar dados sobre as manifestações patológicas nos revestimentos de seus paramentos exteriores, identificando aspectos relacionados aos materiais, tipo de lesões, incidência, etc. Por meio de observação in loco, foram analisadas 424 fachadas de edificações, sendo os dados coletados com o auxílio de um instrumento composto por duas fichas: a primeira, dividida em duas partes, serviu para identificar o responsável pelo seu preenchimento, bem como para identificar e caracterizar a edificação, enquanto que a segunda ficha, serviu para caracterizar as lesões encontradas nos revestimentos. Os dados coletados foram analisados por meio do software estatístico SPSS. As informações foram organizadas em dois bancos de dados, um para registro das informações referentes à edificação e outro para as informações referentes às lesões. Os resultados permitiram concluir que as edificações analisadas, de um modo geral, foram construídas antes de 1970, com paredes de tijolos cerâmicos, revestidas com argamassas inorgânicas e pintadas, cobertura de telhas cerâmicas, esquadrias de madeira e para uso residencial. O estado de conservação é razoável, apresentando com mais freqüência, três lesões por fachada. As lesões mais freqüentes são: manchas de sujeira ou vegetação parasitária, umidade ascensional, descolamento em placas, descoloração e fissuras.

Estudo do comportamento de materiais compósitos fibrosos para aplicação como reforço de base de fundações superficiais

Neste trabalho foram avaliadas as propriedades de resistência e deformabilidade de misturas solo-cimento-fibra. O estudo experimental consistiu de duas etapas, denominadas de etapa de laboratório e etapa de campo. Na etapa de laboratório foi verificada a influência da adição de fibras de polipropileno no comportamento tensão x deformação de um solo arenoso cimentado e não cimentado. Ensaios de resistência à compressão triaxial foram realizados para avaliar os efeitos da porcentagem de fibras, do comprimento das fibras, do diâmetro das fibras, da porcentagem de cimento, da densidade relativa, da tensão de confinamento e da distribuição granulométrica no comportamento do compósito. Na etapa de campo, o comportamento carga x recalque do solo arenoso cimentado reforçado com fibras foi avaliado, juntamente com os mecanismos de ruptura de cada compósito, através da execução de ensaios de placa de 0,30 m e 0,60 m de diâmetro sobre camadas tratadas de 0,30 m de espessura. Os métodos propostos por Vesic (1975), Meyerhof & Hanna (1978) e Thomé (1999) foram utilizados para a previsão da capacidade de suporte das camadas tratadas em campo A partir dos resultados obtidos chegou-se às seguintes conclusões: (1) a influência da inclusão de fibras sobre as propriedades mecânicas do compósito depende fundamentalmente das propriedades da matriz; (2) a porcentagem de cimento e a tensão de confinamento exercem forte influência no comportamento mecânico do material compósito; (3) o efeito da inclusão de fibras é mais evidente para maiores comprimentos e maiores teores de fibras, sendo seu efeito mais pronunciado para materiais compósitos com maiores densidades; (4) a influência das fibras na resistência de pico e última do material depende também do diâmetro das fibras e da distribuição granulométrica do solo; (5) O comportamento carga x recalque do solo cimentado é influenciado pela adição das fibras, alterando principalmente o comportamento pós-pico e o mecanismo de ruptura; (6) os valores de previsão da capacidade de suporte das camadas cimentadas, com e sem reforço de fibras, apresentam boa aproximação com os valores experimentais.

Estudo do comportamento hidráulico e mecânico de materiais geotécnicos para barreiras horizontais impermeáveis

Este trabalho analisou o comportamento hidráulico e mecânico de novos materiais geotécnicos compósitos, tentando adequar suas características à utilização em barreiras horizontais impermeáveis, dando ênfase para liners de cobertura. A melhoria das propriedades das matrizes estudadas, que resultaram em novos materiais compósitos, foi avaliada através da adição de bentonita e fibras. O estudo consistiu em duas etapas: a avaliação do comportamento hidráulico e do comportamento mecânico dos compósitos. Na primeira etapa foram realizados ensaios de condutividade hidráulica em permeâmetro de parede flexível com carga constante, em amostras compactadas de solo residual de arenito Botucatu, cinza de fundo, areia e caulim, com adições de bentonita e fibras de polipropileno de 24mm. Dentre os materiais estudados, a cinza de fundo foi a única matriz que, mesmo com a adição de 18% de bentonita, não alcançou uma condutividade hidráulica inferior a 1x10-7m/s, exigida para liners de cobertura. Além disso, com o intuito de avaliar o efeito da inclusão da bentonita e da morfologia das partículas na condutividade hidráulica das misturas, principalmente para a cinza de fundo, foi feita uma análise fotomicrográfica do material em microscópio petrográfico Na segunda etapa do trabalho foi estudado o comportamento mecânico dos compósitos através de ensaios triaxiais de compressão isotrópica, ensaios triaxiais CID e CIU com trajetórias de tensão convencionais e especiais, bem como através de ensaios ring shear. Foi verificado que a adição de fibras aumenta os parâmetros de resistência ao cisalhamento (c, φ) e a resistência ao cisalhamento pós-pico dos compósitos, principalmente a baixas tensões efetivas médias iniciais e após grandes deformações. A análise conjunta dos resultados de condutividade hidráulica e do comportamento mecânico dos compósitos indica a existência de uma grande gama de materiais compósitos que podem ser utilizados como liners de cobertura: liners de areia com bentonita e areia com bentonita e fibras; liners de SRAB e SRAB com fibras e liners de caulim e caulim com fibras, sendo que o último pode ser utilizado também para resíduos perigosos ou em liners de fundo.

Ferramenta de injeção de falhas para avaliação de segurança

Nos ultimos anos, com a crescente popularização das redes de computadores baseadas no protocolo IP, desde pequenas redes até metropolitanas começaram a se agrupar e a fazer do que hoje se conhece como a rede mundial de computadores.Apesar dos benefícios de comunicação e troca de informação da Internet, esse feômeno global também trouxe problemas de segurança, pois a origem e estrutura dos protocolos utilizados na comunicação entre as diversas máquinas limitam as possibilidades de prevenir, identificar ou detectar possíveis ataques ou intrusos. Assim, várias ferramentas surgiram para prevenir e auxiliar na tarefa de identicar problemas de segurança nas redes como firewalls, sniffers e sistemas de detecção de intrusão. Apesar dos benefícios trazidos por essas novas tecnologias, surgiram muitas dúvidas referentes a segurança que esses recursos proporcionam. Afinal, o desenvolvimento e validação desses sistemas são procedimentos bastante complexos e, freqüentemente, esses sitemas têm se tornado o alvo primário de um atacante. O resultado disso, não raramente, é uma falsa noção de segurança devido à utilização inadequada desses mecanismos, o que é, normalmente, mais prejudicial do que a simples inexistência de segurança em uma organização, mas cujas falhas são conhecidas por seus administradores. A realização de testes para verificação da segurança de uma organização é uma atividade fundamental a fim de alcançar um ambiente operacional seguro e de verificar a correta aplicação dos requisitos de segurança de uma organização.O uso de testes permite a uma empresa verificar com precisão a postura de segurança utilizada em seus sistemas ao mesmo tempo em que permite visualizar a sua rede da mesma maneira que um atacante a visualizaria. Ao visualizar a rede como atacante, pode-se verificar com que facilidade obtém-se informações da rede, quais suas fragilidades e a dificuldade que se tem para invadí-la. Assim, obtém-se uma visão mais realista da segurança de uma organização. Além de técnicas para a avaliação, é muito importante que se possua ferramentas para a realização desses testes. Assim, é possível automotizar a realização de testes e verificar com maior facilidade a existência de problemas em uma rede. A existência de ferramentas que testem sistemas de segurnaça é extremamente importante e necessária, pois, afinal, a segurança de toda uma rede pode depender fortemente de algum desses sistemas. Este trabalho apresenta as técncias existentes para a injecção de falhas visando verificar as que são mais eficientes para a valiação de sistemas de segurança de rede. Adicionalmente são apresentadas algumas técnicas para o teste de mecanismos de segurança e algumas ferramentas existentes para a realizão de tais testes. A partir desses estudos, é apresentado um modelo de ferramenta adequando as funções de um sistema de injeção de falhas ao teste de mecanismos de segurança em rede. Um protótipo essa ferramenta foi desenvolvido e é apresentado neste trabalho. Esse protótipo permite o envio e o recebimento de pacotes da pilha TCP/IP, podendo testar problemas em protocolos e sistemas utilizados na rede. E, através da utilização de plug-ins, permite que diversos tipos de ataque mais sofisticados possam ser realizados.

Concreto de alto desempenho no estado do Pará : estudo de viabilidade técnica e econômica de produção de concreto de alto desempenho com os materiais disponíveis em Belém através do emprego de adições de sílica ativa e metacaulim

As construções de concreto no estado do Pará têm se deteriorado de maneira prematura, sendo a corrosão das armaduras o problema de maior incidência, apesar da região não se constituir em um ambiente de extrema agressividade, mesmo nas principais cidades. Uma das principais causas é a utilização de concretos com alta permeabilidade. Em Belém, capital do estado, os agregados empregados nas construções são areias extremamente finas e seixos friáveis, materiais que dificultam a produção de misturas de concreto com relações água/cimento reduzidas, em razão da elevada demanda de água que requerem. Apesar da escassez de agregados de boa qualidade, há grande disponibilidade no estado de materiais pozolânicos altamente reativos como a sílica ativa e o metacaulim, que podem viabilizar técnica e economicamente a produção de concretos de alto desempenho. Nessa pesquisa investiga-se a possibilidade do uso de concretos de alto desempenho com os materiais disponíveis no estado (cimentos e agregados), empregando adições de sílica ativa e metacaulim. A sílica ativa utilizada no trabalho é subproduto de uma indústria de produção de silício metálico e o metacaulim proveniente da calcinação do rejeito do processo de beneficiamento de uma industria de mineração de caulim. Os desempenhos das misturas com e sem pozolanas foram avaliados pela resistência à compressão, pela taxa de absorção de água por sucção capilar e pela penetração acelerada de íons cloretos (ASTM C 1202). O teores de adição estudados foram 5%, 10%, 15% e 20% de sílica ativa e 10% de metacaulim Os concretos com adições minerais apresentaram resultados de resistência à compressão significativamente superiores aos dos concretos sem adição para as misturas com baixo a moderado consumo de cimento (relações água/aglomerante elevadas). Com relação a taxa de absorção capilar e a carga elétrica passante, a incorporação das pozolanas reduziu significativamente a permeabilidade das misturas para todas as relações água/aglomerante estudadas. A resistência à compressão dos concretos com 10% de metacaulim foram similares a dos concreto com sílica ativa e as taxas de absorção capilar foram ligeiramente superiores, dando indícios da potencialidade do rejeito do beneficiamento do caulim como adição mineral altamente reativa A máxima resistência obtida foi de apenas 42MPa, apesar disso, os resultados desse estudo demonstraram que mesmo com resistências convencionais (fck entre 15 MPa e 20 MPa), é possível produzir misturas de concreto no Pará com durabilidade bastante superior às empregadas atualmente, através do uso de pozolanas altamente reativas como a sílica ativa e o metacaulim.

Validação do mecanismo de tolerância a falhas do SGBD InterBase através de injeção de falhas

O presente trabalho explora a aplicação de técnicas de injeção de falhas, que simulam falhas transientes de hardware, para validar o mecanismo de detecção e de recuperação de erros, medir os tempos de indisponibilidade do banco de dados após a ocorrência de uma falha que tenha provocado um FUDVK. Adicionalmente, avalia e valida a ferramenta de injeção de falhas FIDe, utilizada nos experimentos, através de um conjunto significativo de testes de injeção de falhas no ambiente do SGBD. A plataforma experimental consiste de um computador Intel Pentium 550 MHz com 128 MB RAM, do sistema operacional Linux Conectiva kernel versão 2.2.13. O sistema alvo das injeções de falhas é o SGBD centralizado InterBase versão 4.0. As aplicações para a carga de trabalho foram escritas em VFULSWV SQL e executadas dentro de uma sessão chamada LVTO. Para a injeção de falhas foram utilizadas três técnicas distintas: 1) o comando NLOO do sistema operacional; 2) UHVHW geral no equipamento; 3) a ferramenta de injeção de falhas FIDe, desenvolvida no grupo de injeção de falhas do PPGC da UFRGS. Inicialmente são introduzidos e reforçados os conceitos básicos sobre o tema, que serão utilizados no decorrer do trabalho e são necessários para a compreensão deste estudo. Em seguida é apresentada a ferramenta de injeção de falhas Xception e são também analisados alguns experimentos que utilizam ferramentas de injeção de falhas em bancos de dados. Concluída a revisão bibliográfica é apresentada a ferramenta de injeção de falhas – o FIDe, o modelo de falhas adotado, a forma de abordagem, a plataforma de hardware e software, a metodologia e as técnicas utilizadas, a forma de condução dos experimentos realizados e os resultados obtidos com cada uma das técnicas. No total foram realizados 3625 testes de injeções de falhas. Com a primeira técnica foram realizadas 350 execuções, com a segunda técnica foram realizadas 75 execuções e com a terceira técnica 3200 execuções, em 80 testes diferentes. O modelo de falhas proposto para este trabalho refere-se a falhas de crash baseadas em corrupção de memória e registradores, parada de CPU, aborto de transações ou reset geral. Os experimentos foram divididos em três técnicas distintas, visando a maior cobertura possível de erros, e apresentam resultados bastante diferenciados. Os experimentos com o comando NLOO praticamente não afetaram o ambiente do banco de dados. Pequeno número de injeção de falhas com o FIDe afetaram significativamente a dependabilidade do SGBD e os experimentos com a técnica de UHVHW geral foram os que mais comprometeram a dependabilidade do SGBD.

ComFIRM - Injeção de falhas de comunicação através da alteração de recursos do sistema operacional

Este trabalho trata da técnica de validação experimental de protocolos de comunicação confiável, através da injeção de falhas de comunicação. São estudadas inicialmente as técnicas de injeção de falhas, por hardware, software e simulação, e então são aprofundados os conceitos de injeção de falhas de comunicação, modelos de falha e especificação de experimentos de injeção de falhas. Em um segundo momento, são estudadas as formas de implementação de injetores de falhas em software, em suas duas formas mais comuns: no nível da aplicação e no nível do sistema operacional. São comentados os impactos da implementação de injetores no código da aplicação, por processos concorrentes à aplicação, em código utilizado pela aplicação e no meta-nível. Por fim, são estudados também que influências sofre a implementação de um injetor de falhas em um sistema operacional, e mais especificamente a de injetores de falhas de comunicação. O objetivo específico deste trabalho é implementar um injetor de falhas de comunicação bastante abrangente e flexível, situado dentro do núcleo do Sistema Operacional Linux. Para viabilizar esta implementação foi estudada também a arquitetura do Sistema Operacional Linux, sua decomposição em subsistemas e a interação entre estes. Foram estudadas também as várias técnicas de programação e mecanismos que o Sistema Operacional Linux fornece aos seus subsistemas. Estando completas a revisão bibliográfica a respeito de injeção de falhas e o estudo do código do Sistema Operacional Linux, são apresentadas a proposta e a implementação da ferramenta ComFIRM—Communication Fault Injection through Operating System Resource Modification, suas características e sua inserção dentro do núcleo do Sistema Operacional Linux. Finalizando este trabalho, são apresentados uma pequena série de testes de funcionamento e experimentos realizados com a ferramenta ComFIRM, visando demonstrar a correção de seu funcionamento, o cumprimento de seus objetivos e também sua praticidade e flexibilidade de uso. São apresentadas as conclusões deste trabalho, propostas de melhorias à ferramenta apresentada, bem como possibilidades de trabalhos futuros.

Data Mining no Varejo: estudo de caso para loja de materiais de construção

Este trabalho apresenta um estudo de caso de mineração de dados no varejo. O negócio em questão é a comercialização de móveis e materiais de construção. A mineração foi realizada sobre informações geradas das transações de vendas por um período de 8 meses. Informações cadastrais de clientes também foram usadas e cruzadas com informações de venda, visando obter resultados que possam ser convertidos em ações que, por conseqüência, gerem lucro para a empresa. Toda a modelagem, preparação e transformação dos dados, foi feita visando facilitar a aplicação das técnicas de mineração que as ferramentas de mineração de dados proporcionam para a descoberta de conhecimento. O processo foi detalhado para uma melhor compreensão dos resultados obtidos. A metodologia CRISP usada no trabalho também é discutida, levando-se em conta as dificuldades e facilidades que se apresentaram durante as fases do processo de obtenção dos resultados. Também são analisados os pontos positivos e negativos das ferramentas de mineração utilizadas, o IBM Intelligent Miner e o WEKA - Waikato Environment for Knowledge Analysis, bem como de todos os outros softwares necessários para a realização do trabalho. Ao final, os resultados obtidos são apresentados e discutidos, sendo também apresentada a opinião dos proprietários da empresa sobre tais resultados e qual valor cada um deles poderá agregar ao negócio.

Avaliação de resinas Epóxi para fabricação de materiais compósitos pelo processo de pultrusão

A utilização de resinas epóxi na fabricação de materiais compósitos vem crescendo substancialmente nos últimos anos. O processo de pultrusão também acompanha esta tendência e a demanda por dados técnicos a respeito desta resina vem crescendo, sendo cada vez mais objeto de pesquisa em universidades e empresas. A pultrusão é um processo contínuo de fabricação de materiais compósitos. O processo consiste basicamente em duas etapas a saber: a impregnação, onde se tem a aplicação da mistura com resina, endurecedor e aditivos sobre as fibras; a cura do perfil, onde o material compósito passa pelo processo de reticulação, adquirindo sua forma final e suas diferentes propriedades mecânicas, físicas e químicas. O interesse deste trabalho reside especialmente sobre este tipo de resina pelo fato de que seu emprego no processo de pultrusão confere excelentes propriedades químicas e elétricas ao perfil fabricado. Dadas às características do processo de pultrusão, o conhecimento do comportamento da resina, do ponto de vista físico e cinético, é requisito básico para a obtenção de produtos de qualidade. Apresentando um comportamento diferenciado de resinas poliéster, as resinas epóxi possuem características especiais que tornam o seu uso no processo de pultrusão bastante desafiador. Através de ensaios térmicos (calorimetria exploratória diferencial – DSC- e análise termogravimétrica – TGA) foi possível verificar o comportamento das resinas epóxi misturadas com endurecedor As resinas estudadas apresentaram boa resistência térmica, com temperaturas de degradação superiores a 1500C. Quando testadas no DSC, as resinas apresentaram diferentes calores de reação para cada um das condições testadas, destacando-se a resina LY-553 como adequada para uso no processo de pultrusão. Testes verificando tempo de gel e viscosidade complementaram os dados, fornecendo informações úteis para o estudo das resinas na área de impregnação no processo de pultrusão. Estes testes confirmaram a aplicabilidade da resina LY-553 no processo de pultrusão, bem como qualificaram a resina GY-281 como uma possível alternativa para a produção de perfis pultrudados.

Aplicação da teoria da homogeneização em materiais compósitos viscoelásticos

Materiais compósitos são empregados nos mais diversos tipos de estruturas (civis, mecânicas, aeronáuticas, etc.). A possibilidade de otimização de suas propriedades, frente às solicitações consideradas, representa uma grande vantagem na sua utilização. A teoria da homogeneização permite a avaliação da influência de detalhes microestruturais nas características do composto através do estudo de uma célula elementar. Os deslocamentos periódicos dessa célula são aproximados com expansões ortogonais polinomiais. A exatidão dos cálculos elásticos está associada ao grau dos polinômios utilizados. O procedimento numérico no modelo viscoelástico é incremental no tempo, utilizando-se de variáveis de estado, cuja implementação proporciona grande economia computacional, pois evita o cálculo de integrais hereditárias. A influência de diversos parâmetros físicos na constituição dos compósitos de fibras unidirecionais estudados é discutida e comparada com resultados obtidos com modelos em elementos finitos, tanto em elasticidade, quanto em viscoelasticidade sem envelhecimento. Para o caso de envelhecimento, no qual as características dos constituintes são variáveis com o tempo, é mostrada a resposta dos compósitos sob relaxação para diferentes instantes iniciais de carregamento em situações de "softening" (ou abrandamento) e "hardening" (ou endurecimento).