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.

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.

Técnicas de detecção de Sniffers

A área de Detecção de Intrusão, apesar de muito pesquisada, não responde a alguns problemas reais como níveis de ataques, dim ensão e complexidade de redes, tolerância a falhas, autenticação e privacidade, interoperabilidade e padronização. Uma pesquisa no Instituto de Informática da UFRGS, mais especificamente no Grupo de Segurança (GSEG), visa desenvolver um Sistema de Detecção de Intrusão Distribuído e com características de tolerância a falhas. Este projeto, denominado Asgaard, é a idealização de um sistema cujo objetivo não se restringe apenas a ser mais uma ferramenta de Detecção de Intrusão, mas uma plataforma que possibilite agregar novos módulos e técnicas, sendo um avanço em relação a outros Sistemas de Detecção atualmente em desenvolvimento. Um tópico ainda não abordado neste projeto seria a detecção de sniffers na rede, vindo a ser uma forma de prevenir que um ataque prossiga em outras estações ou redes interconectadas, desde que um intruso normalmente instala um sniffer após um ataque bem sucedido. Este trabalho discute as técnicas de detecção de sniffers, seus cenários, bem como avalia o uso destas técnicas em uma rede local. As técnicas conhecidas são testadas em um ambiente com diferentes sistemas operacionais, como linux e windows, mapeando os resultados sobre a eficiência das mesmas em condições diversas.

Injeção distribuída de falhas para validação de dependabilidade de sistemas distribuídos de larga escala

Uma etapa fundamental no desenvolvimento de sistemas tolerantes a falhas é a fase de validação, onde é verificado se o sistema está reagindo de maneira correta à ocorrência de falhas. Uma das técnicas usadas para validar experimentalmente um sistema é injeção de falhas. O recente uso de sistemas largamente distribuídos para execução dos mais diversos tipos de aplicações, faz com que novas técnicas para validação de mecanismos de tolerância a falhas sejam desenvolvidas considerando este novo cenário. Injeção de falhas no sistema de comunicação do nodo é uma técnica tradicional para a validação de aplicações distribuídas, para forçar a ativação dos mecanismos de detecção e recuperação de erros relacionados à troca de mensagens. A condução de experimentos com injetores de comunicação tradicionais é feita pelo uso do injetor em uma máquina do sistema distribuído. Se o cenário desejado é de múltiplas falhas, o injetor deve ser instanciado independentemente nas n máquinas que as falhas serão injetadas. O controle de cada injetor é individual, o que dificulta a realização do experimento. Esta dificuldade aumenta significativamente se o cenário for um sistema distribuído de larga escala. Outro problema a considerar é a ausência de ferramentas apropriadas para a emulação de determinados cenários de falhas. Em aplicações distribuídas de larga escala, um tipo comum de falha é o particionamento de rede. Não há ferramentas que permitam diretamente a validação ou a verificação do processo de defeito de aplicações distribuídas quando ocorre um particionamento de rede Este trabalho apresenta o estudo de uma abordagem para injeção de falhas que permita o teste de atributos de dependabilidade de aplicações distribuídas de pequena e larga escala implementadas em Java. A abordagem considera a não obrigatoriedade da alteração do código da aplicação sob teste; a emulação de um cenário de falhas múltiplas que ocorrem em diferentes nodos, permitindo o controle centralizado do experimento; a validação de aplicações que executem em sistemas distribuídos de larga escala e consideram um modelo de falhas realista deste tipo de ambiente, incluindo particionamentos de rede. A viabilidade da abordagem proposta é mostrada através do desenvolvimento do protótipo chamado FIONA (Fault Injector Oriented to Network Applications), o qual atualmente injeta falhas em aplicações desenvolvidas sob o protocolo UDP.

Firmament : um módulo de injeção de falhas de comunicação para linux

A execução de testes é um passo essencial na adoção de novos protocolos de comunicação e sistemas distribuídos. A forma com que estes se comportam na presença de falhas, tão comuns em ambientes geograficamente distribuídos, deve ser conhecida e considerada. Testes sob condições de falha devem ser realizados e as implementações devem trabalhar dentro de sua especificação nestas condições, garantindo explicitamente o funcionamento dos seus mecanismos de detecção e recuperação de erros. Para a realização de tais testes, uma técnica poderosa é a injeção de falhas. Ferramentas de injeção de falhas permitem ao projetista ou engenheiro de testes medir a eficiência dos mecanismos de um sistema antes que o mesmo seja colocado em operação efetiva. Este trabalho apresenta o projeto, desenvolvimento e teste do injetor de falhas FIRMAMENT. Esta ferramenta executa, dentro do núcleo do sistema operacional, microprogramas, ou faultlets, sobre cada mensagem processada para a emulação de situações de falha de comunicação, utilizando uma abordagem de scripts. A ferramenta é implementada como um módulo de núcleo do sistema operacional Linux, tendo acesso total aos fluxos de entrada e saída de pacotes de forma limpa e não intrusiva, permitindo o teste de sistemas baseados nos protocolos IPv4 e IPv6. Seu desempenho é significativo, já que a ferramenta evita que os mecanismos de injeção de falhas sejam invocados nos fluxos que não sejam de interesse aos testes, bem como dispensa a cópia de dados dos pacotes de comunicação a serem inspecionados e manipulados. A aplicabilidade da ferramenta, dada pela sua facilidade de integração a um ambiente de produção, é conseqüência de sua disponibilidade como um módulo de núcleo, podendo ser carregada como um plugin em um núcleo não modificado. As instruções por FIRMAMENT suportadas lhe dão alto poder de expressão dos cenários de falhas. Estas instruções permitem a inspeção e seleção de mensagens de forma determinística ou estatística. Além disso, fornecem diversas ações a serem realizadas sobre os pacotes de comunicação e sobre as variáveis internas do injetor, fazendo-o imitar o comportamento de falhas reais, como descarte e duplicação de mensagens, atraso na sua entrega e modificação de seu conteúdo. Estas características tornam a ferramenta apropriada para a realização de experimentos sobre protocolos e sistemas distribuídos.

Detecção de alterações neuroendócrinas e comportamentais em bebês de mães com depressão pós-parto

Introdução: Há evidências consideráveis de uma grande influência da mãe e/ou do cuidador primário no desenvolvimento neurobiológico e psicológico da criança. Falhas no cuidado inicial devido a negligência, abuso físico e/ou psicológico estão associadas a alterações no desenvolvimento motor e mental, a depressão e ansiedade. A privação materna pode ocorrer no caso da depressão pós-parto (DPP) mesmo sem a intenção da mãe de prejudicar o bebê. Entre os achados na criança, associados à depressão da mãe, estão patologias do apego, alterações no EEG e no desenvolvimento mental e motor, déficit de aprendizado, sintomas de internalização e transtorno depressivo. Há uma associação entre cortisol salivar elevado na infância e história de depressão materna nos primeiros anos de vida. Objetivo: Examinar a correlação entre a depressão pós-parto e os níveis de cortisol salivar, bem como as alterações comportamentais e motoras, em bebês de seis meses, antes e após um estressor moderado, em comparação com um grupo controle. Método: Trinta e nove bebês de 6 meses (16 de mães deprimidas e 23 de mães controles) provenientes do ambulatório de puericultura e do serviço de neonatologia do Hospital de Clinicas de Porto Alegre (HCPA) participaram do estudo. As mães foram avaliadas através da mini entrevista neuropsiquiátrica internacional para adultos, semi-estruturada (MINI), segundo o DSM-IV. A gravidade da depressão foi avaliada através das escalas Escala de Depressão Pós-Parto de Edimburgo (EPDS) e do Inventário de BECK para depressão (BDI). Os bebês foram submetidos ao estressor denominado “Face-to-face stil-face”. Antes e após 10 min e 20 min deste procedimento foi coletado seu cortisol salivar. A dosagem do cortisol salivar foi feita por radioimunoensaio. A avaliação do desenvolvimento mental e motor através da Bayley Scales of Infant Development-II(BSID-II) As análises estatísticas foram feitas no programa SPSS for Windows, versão 12.0. Foram considerados significativos os resultados com p < 0,05. Resultados: Os níveis de cortisol salivar basal dos bebês de mães deprimidas estavam significativamente aumentados em comparação com o grupo controle. Foi verificada uma diferença estatisticamente significativa entre as médias das variações basal e 10 min nos bebês de mães deprimidas, quando comparada com os bebês de mães não deprimidas, controladas para valores basais. Observou-se uma correlação positiva moderada entre o cortisol basal do bebê e o BDI da mãe. Conclusão: Os achados deste estudo evidenciaram que os níveis de cortisol basal dos bebês de mães deprimidas estavam significativamente elevados em relação aos bebês de mães não deprimidas, assim como seus níveis de cortisol dez minutos após o estressor. O presente estudo sugere que aos 6 meses já pode estar ocorrendo uma alteração no eixo hipotálamo-pituitária-adrenal persistente e cronica. O achado de níveis basais aumentados é crucial devido as repercussões da elevação crônica dos glicocorticóides descrita na literatura. Este dado corrobora a hipótese de que intervenções precoces nas mães deprimidas devam ser realizadas visando também um trabalho preventivo em relação a prole.

Estudo aerobiológico da cidade do Funchal: detecção bioquímica dos principais aeroalergénios polínicos

A abordagem da doença alérgica, nomeadamente da alergia respiratória, surge reforçada com o contributo da Aerobiologia no conhecimento, evolução e controlo da doença. Por seu turno, a caracterização bioquímica dos aeroalergénios de uma região pemite avaliar a sua composição e potencial alergénico, com particular interesse para espécies vegetais cuja introdução e/ou proximidade a áreas populacionais, potenciam o aparecimento ou o aumento de sensibilização a aeroalergénios. O trabalho apresentado nesta dissertação incidiu em duas vertentes de investigação distintas, porém complementares e interdependentes: numa primeira parte, no estudo da composição aerobiológica da atmosfera da cidade do Funchal no período 2002-2004 (Capítulo I), e numa segunda parte, na caracterização bioquímica dos alergénios polínicos mais frequentes detectados no referido período (Capítulo II). Assim, numa primeira parte, a monitorização aerobiológica (incluindo pólenes, esporos de fungos e demais partículas de origem biológica), foi realizada com um polinómetro do tipo volumétrico, tipo Hirst (Burkard). Os dados obtidos foram correlacionados com os parâmetros meteorológicos e avaliado o seu significado estatístico, permitindo antever a influência das variáveis ambientais em cada tipo particular de pólen e de fungo. Constataram-se algumas diferenças no conteúdo aerobiológico comparativamente ao restante território nacional. No espectro polínico dominaram as Poaceae e Urticaceae, plantas ornamentais (Asteraceae, Boraginaceae, Cupressaceae) e as representativas da faixa norte da cidade (Ericaceae, Myrtaceae e Pinaceae). Comparativamente a outras regiões do País, o espectro polínico foi no cômputo geral semelhante, embora se destaque para esta região, a expressividade do tipo Corylus no total polínico anual. A Primavera e o início de Verão, corresponderam às épocas de maior diversidade e concentração de pólenes. As diferenças encontradas no espectro polínico da cidade do Funchal são explicadas por variáveis intrínsecas desta região, tais como a composição vegetal, a localização da cidade, condições geo-climáticas inerentes, e a influência dos parâmetros meteorológicos, nomeadamente a temperatura e humidade relativa. Verificou-se a ocorrência de um maior número de pólenes quando a humidade se situa entre os 50 e 60 %, com a precipitação e a velocidade do vento a atingir valores mais baixos. A análise da variação intra-diurna observada revelou que há uma maior representação de pólenes entre as 11 e as 16 horas. Este estudo aerobiológico confere dados para o estabelecimento do primeiro calendário polínico da região e a definição de padrões de sazonalidade. Por seu turno, a fenologia dos principais tipos polínicos observados no Funchal permite definir um padrão anual de ocorrências polínicas. Relativamente à aeromicologia, verifica-se que, durante o período de estudo foram observados esporos de fungos sobretudo na Primavera (particularmente em Abril e Maio), início do Verão e no Outono. Os Deuteromicetes representaram a classe predominante, sendo Cladosporium o fungo mais abundante na atmosfera do Funchal, cujas concentrações mais elevadas ocorrem a humidades relativas de 40 a 70%. Tal como os pólenes, os esporos apresentam um dinâmica de variação intra-diurna particular: ocorreram em maior concentração entre as 13 e as 15 horas, surgindo igualmente nas primeiras horas da madrugada e da noite. O coberto vegetal do Funchal poderá afectar a aeromicologia local, na medida em que constitui um substrato importante para o crescimento de fungos, tal como as gramíneas que proliferam em quantidade e variedade ao longo de todo o ano. Constatou-se a existência de correlação entre a ocorrência de alguns esporos de fungos e taxa polínicos mais frequentes na atmosfera do Funchal. A análise de Spearman sugere a existência de correlação entre a ocorrência de Parietaria com a de Alternaria e Drechslera. Os esporos de fungos, incluindo esporos de fetos constituem uma fracção significativa das partículas na atmosfera do Funchal, sendo cerca de 11 vezes superior à dos pólenes. Na segunda parte do trabalho, o estudo bioquímico dos aeroalergénios polínicos implicou a optimização dos procedimentos de extracção, apurando-se três técnicas para a obtenção dos perfis proteicos de extractos de pólen desde a sua fonte natural. Esta análise permitiu detectar e identificar através das técnicas de SDS-PAGE-Imunoblotting, proteínas IgE específicas do pólen de plantas possivelmente relacionadas com a sensibilização alérgica. Em consonância com a monitorização aerobiológica, foram preparados extractos de pólen de 10 espécies de plantas. Os resultados em SDS-PAGE revelaram um elevado polimorfismo proteico em todos os extractos. Obtiveram-se extractos de pólen de 7 plantas acerca das quais não se conheciam estudos desta natureza: Acacia mearnsii, Avena barbata, Carduus squarrosus, Carlina salicifolia, Datura candida, Echium nervosum e Urtica membranosa. Por imunoblotting detectou-se no soro de dois pacientes IgE específica a proteínas de D. candida, com pesos moleculares entre 150,71 ± 0,05 e 58,92 ± 5,67 KDa. O soro de um deles reagiu igualmente com 5 alergénios de P. pinaster com 42,02 ± 0,05; 38,61 ± 0,46 ; 35,70 ± 7,78 ; 31,82 ± 2,11 e 27,45 ± 0,46 KDa. No soro de outro indivíduo foi detectada IgE específica para uma proteína de A. mearnsii com 66,66 ± 0,13 KDa, e outra de C. squarrosus,de 67,53 ± 0,29 KDa. É de destacar a sensibilidade e fiabilidade da técnica de Imunoblotting, e o interesse em incluila na metodologia de diagnóstico complementar da alergia respiratória. A ampla difusão de espécies como Ricinus communis, Urtica spp. ou A. mearnsii e sua proximidade à presença humana, reforçam, por um lado, a importância da vigilância aerobiológica, e por outro lado, requer uma definição do seu carácter alergénico para a população desta região.

Implementação de um Módulo de Supervisão para um Sistema de Detecção de Vazamentos em Dutos de Petróleo

The transport of fluids through pipes is used in the oil industry, being the pipelines an important link in the logistics flow of fluids. However, the pipelines suffer deterioration in their walls caused by several factors which may cause loss of fluids to the environment, justifying the investment in techniques and methods of leak detection to minimize fluid loss and environmental damage. This work presents the development of a supervisory module in order to inform to the operator the leakage in the pipeline monitored in the shortest time possible, in order that the operator log procedure that entails the end of the leak. This module is a component of a system designed to detect leaks in oil pipelines using sonic technology, wavelets and neural networks. The plant used in the development and testing of the module presented here was the system of tanks of LAMP, and its LAN, as monitoring network. The proposal consists of, basically, two stages. Initially, assess the performance of the communication infrastructure of the supervisory module. Later, simulate leaks so that the DSP sends information to the supervisory performs the calculation of the location of leaks and indicate to which sensor the leak is closer, and using the system of tanks of LAMP, capture the pressure in the pipeline monitored by piezoresistive sensors, this information being processed by the DSP and sent to the supervisory to be presented to the user in real time

Localização e planejamento de caminhos para um robô humanóide e um robô escravo com rodas

This work presents the localization and path planning systems for two robots: a non-instrumented humanoid and a slave wheeled robot. The localization of wheeled robot is made using odometry information and landmark detection. These informations are fused using a Extended Kalman Filter. The relative position of humanoid is acquired fusing (using another Kalman Filter) the wheeled robot pose with the characteristics of the landmark on the back of humanoid. Knowing the wheeled robot position and the humanoid relative position in relation to it, we acquired the absolute position of humanoid. The path planning system was developed to provide the cooperative movement of the two robots,incorporating the visibility restrictions of the robotic system

Aplicação de sistemas multi-classificadores no diagnóstico de falhas em motores de indução trifásicos

Equipment maintenance is the major cost factor in industrial plants, it is very important the development of fault predict techniques. Three-phase induction motors are key electrical equipments used in industrial applications mainly because presents low cost and large robustness, however, it isn t protected from other fault types such as shorted winding and broken bars. Several acquisition ways, processing and signal analysis are applied to improve its diagnosis. More efficient techniques use current sensors and its signature analysis. In this dissertation, starting of these sensors, it is to make signal analysis through Park s vector that provides a good visualization capability. Faults data acquisition is an arduous task; in this way, it is developed a methodology for data base construction. Park s transformer is applied into stationary reference for machine modeling of the machine s differential equations solution. Faults detection needs a detailed analysis of variables and its influences that becomes the diagnosis more complex. The tasks of pattern recognition allow that systems are automatically generated, based in patterns and data concepts, in the majority cases undetectable for specialists, helping decision tasks. Classifiers algorithms with diverse learning paradigms: k-Neighborhood, Neural Networks, Decision Trees and Naïves Bayes are used to patterns recognition of machines faults. Multi-classifier systems are used to improve classification errors. It inspected the algorithms homogeneous: Bagging and Boosting and heterogeneous: Vote, Stacking and Stacking C. Results present the effectiveness of constructed model to faults modeling, such as the possibility of using multi-classifiers algorithm on faults classification

Reconhecimento de padrões de falhas em motores trifásicos utilizando redes neurais

This work presents a diagnosis faults system (rotor, stator, and contamination) of three-phase induction motor through equivalent circuit parameters and using techniques patterns recognition. The technology fault diagnostics in engines are evolving and becoming increasingly important in the field of electrical machinery. The neural networks have the ability to classify non-linear relationships between signals through the patterns identification of signals related. It is carried out induction motor´s simulations through the program Matlab R & Simulink R , and produced some faults from modifications in the equivalent circuit parameters. A system is implemented with multiples classifying neural network two neural networks to receive these results and, after well-trained, to accomplish the identification of fault´s pattern

Localização de um robô móvel usando odometria e marcos naturais

Several methods of mobile robot navigation request the mensuration of robot position and orientation in its workspace. In the wheeled mobile robot case, techniques based on odometry allow to determine the robot localization by the integration of incremental displacements of its wheels. However, this technique is subject to errors that accumulate with the distance traveled by the robot, making unfeasible its exclusive use. Other methods are based on the detection of natural or artificial landmarks present in the environment and whose location is known. This technique doesnt generate cumulative errors, but it can request a larger processing time than the methods based on odometry. Thus, many methods make use of both techniques, in such a way that the odometry errors are periodically corrected through mensurations obtained from landmarks. Accordding to this approach, this work proposes a hybrid localization system for wheeled mobile robots in indoor environments based on odometry and natural landmarks. The landmarks are straight lines de.ned by the junctions in environments floor, forming a bi-dimensional grid. The landmark detection from digital images is perfomed through the Hough transform. Heuristics are associated with that transform to allow its application in real time. To reduce the search time of landmarks, we propose to map odometry errors in an area of the captured image that possesses high probability of containing the sought mark

Estudo da detecção do DNA do papiloma vírus humano (HPV) e da expressão imuno-histoquímica de proteína do ciclo celular no carcinoma epidermóide oral

Oral squamous cell carcinoma (OSCC) is the most common malignancy in oral cavity and human papillomavirus (HPV) may have an important role in its development. The aim of this experiment was to investigate the HPV DNA and viral types in 90 cases of OSCC. Moreover, a comparative analysis between the cases of OSSC with and without HPV DNA was performed by using cell cycle markers p21 and pRb in order to detect a possible correlation of these proteins and HPV infection. DNA was extracted from paraffin embedded tissue and amplified by PCR (polymerase chain reaction) with primers PCO3+ e PCO4+ for a fragment of human β-globin gene. After this procedure, PCR for HPV DNA detection was realized using a pair of generic primers GP5+ e GP6+. Immunohistochemical study was performed by streptoavidin-biotin technique and antibodies against p21 and pRb proteins were employed. Eighty-eight cases were positive for human β-globin gene and HPV DNA was found in 26 (29.5%) of then. It could not be detected significant correlation between HPV and age, sex and anatomical sites of the lesion. The most prevalent viral type was HPV 18 (80.8%). Regarding the immunohistochemical analysis, it was detected significant association between HPV presence and pRb immunoexpression (p=0,044), nevertheless, the same was not observed in relation to p21 protein (p =0,416). It can be concluded that the low detection of HPV DNA in OSCC by the present experiment suggests a possible role of the virus in the development and progression in just a subset of this disease

Localização de faltas em linhas de transmissão usando morfologia matemática

This work an algorithm for fault location is proposed. It contains the following functions: fault detection, fault classification and fault location. Mathematical Morphology is used to process currents obtained in the monitored terminals. Unlike Fourier and Wavelet transforms that are usually applied to fault location, the Mathematical Morphology is a non-linear operation that uses only basic operation (sum, subtraction, maximum and minimum). Thus, Mathematical Morphology is computationally very efficient. For detection and classification functions, the Morphological Wavelet was used. On fault location module the Multiresolution Morphological Gradient was used to detect the traveling waves and their polarities. Hence, recorded the arrival in the two first traveling waves incident at the measured terminal and knowing the velocity of propagation, pinpoint the fault location can be estimated. The algorithm was applied in a 440 kV power transmission system, simulated on ATP. Several fault conditions where studied and the following parameters were evaluated: fault location, fault type, fault resistance, fault inception angle, noise level and sampling rate. The results show that the application of Mathematical Morphology in faults location is very promising

Detecção de subfertilidade em vacas leiteiras por meio de medidas anatômicas da região pélvica e do aparelho genital

O objetivo deste estudo foi mensurar as regiões que compõem a garupa da vaca leiteira, com aparelho desenvolvido para esse fim, e avaliar o efeito dessas variáveis na contaminação intra-uterina e na eficiência reprodutiva (intervalos parto-primeiro cio e parto-primeira inseminação, número de serviços por concepção e período de serviço). Foram usadas 252 vacas Holandesas, paridas há mais de 30 dias e não inseminadas. Realizaram-se medidas anatômicas da região pélvica e do aparelho genital e cultivo bacteriológico de material uterino. A influência das variáveis independentes (mensurações) sobre a presença de contaminantes intra-uterinos foi analisada por meio de regressão logística, a da presença de contaminantes intra-uterinos sobre a eficiência reprodutiva, por análise de variância, e a das variáveis independentes (mensurações) sobre a eficiência reprodutiva por meio de regressão linear múltipla. A presença de contaminantes intra-uterinos não foi influenciada por nenhuma das variáveis. Staphylococcus sp. (29,6%) foi o microrganismo mais encontrado no material uterino, seguido por Actinomyces pyogenes (26,0%), Streptococcus sp. (22,2%) e coliformes (22,2%), porém essa contaminação não teve efeito negativo nos índices reprodutivos. Das medidas anatômicas avaliadas, as que influenciaram as características reprodutivas foram: abertura do ílio (maior abertura menor eficiência reprodutiva), localização do óstio cranial da cérvice (quanto mais abdominal, piores os índices reprodutivos) e presença de urovagina (influência negativa na taxa de concepção).