Modelagem e análise de desempenho de sistema para geração de energia elétrica através de ondas marítimas.

Mediante a crescente necessidade de aumento na oferta de energia elétrica devido à constante elevação na demanda mundial, esta dissertação avalia o desempenho de um sistema conversor de energia de ondas marítimas em energia elétrica. O sistema em análise é o de coluna de água oscilante com turbina de dupla ação instalado na costa. Utiliza-se um modelo regular de ondas como perturbação à dinâmica de uma câmara semi-submersa gerando fluxo de ar através de uma turbina à ar de dupla ação. O sistema final é não linear e com parâmetros variantes no tempo. A dissertação investiga possibilidades para o aumento do rendimento da turbina em diferentes condições de mar através do método de simulação numérica. Após a modelagem física e matemática do sistema escolhido, inicia-se a síntese de um controlador proporcional derivativo para controle da pressão de ar na turbina em torno da pressão ideal de trabalho da mesma. A análise inclui o comparativo entre os resultados do sistema com e sem controlador e a avaliação de robustez utilizando ondas com amplitude variável. O trabalho apresenta ainda propostas de otimização do sistema para trabalhar em condições similares a região de Pecém no Brasil. Pelos resultados obtidos nas simulações, conclui-se que o rendimento e a robustez do sistema podem melhorar utilizando um sistema controlado. O rendimento do sistema poderá ainda ser otimizado para a região de instalação.

Modulação da diferenciação neural de células troco embrionárias por transientes de cálcio intracelulares: papéis dos receptores purinérgicos e de canais de cálcio voltagem-dependentes

Receptores purinérgicos e canais de cálcio voltagem-dependentes estão envolvidos em diversos processos biológicos como na gastrulação, durante o desenvolvimento embrionário, e na diferenciação neural. Quando ativados, canais de cálcio voltagem-dependentes e receptores purinérgicos do tipo P2, ativados por nucleotídeos, desencadeiam transientes de cálcio intracelulares controlando diversos processos biológicos. Neste trabalho, nós estudamos a participação de canais de cálcio voltagem-dependentes e receptores do tipo P2 na geração de transientes de cálcio espontâneos e sua regulação na expressão de fatores de transcrição relacionados com a neurogênese utilizando como modelo células tronco (CTE) induzidas à diferenciação em células tronco neurais (NSC) com ácido retinóico. Descrevemos que CTE indiferenciadas podem ter a proliferação acelerada pela ativação de receptores P2X7, enquanto que a expressão e a atividade desse receptor precisam ser inibidas para o progresso da diferenciação em neuroblasto. Além disso, ao longo da diferenciação neural, por análise em tempo real dos níveis de cálcio intracelular livre identificamos 3 padrões de oscilações espontâneas de cálcio (onda, pico e unique), e mostramos que ondas e picos tiveram a frequência e amplitude aumentadas conforme o andamento da diferenciação. Células tratadas com o inibidor do receptor de inositol 1,4,5-trifosfato (IP3R), Xestospongin C, apresentaram picos mas não ondas, indicando que ondas dependem exclusivamente de cálcio oriundo do retículo endoplasmático pela ativação de IP3R. NSC de telencéfalo de embrião de camundongos transgênicos ou pré-diferenciadas de CTE tratadas com Bz-ATP, o agonista do receptor P2X7, e com 2SUTP, agonista de P2Y2 e P2Y4, aumentaram a frequência e a amplitude das oscilações espontâneas de cálcio do tipo pico. Dados, obtidos por microscopia de luminescência, da expressão em tempo real de gene repórter luciferase fusionado à Mash1 e Ngn2 revelou que a ativação dos receptores P2Y2/P2Y4 aumentou a expressão estável de Mash1 enquanto que ativação do receptor P2X7 levou ao aumento de Ngn2. Além disso, células na presença do quelante de cálcio extracelular (EGTA) ou do depletor dos estoques intracelulares de cálcio do retículo endoplasmático (thapsigargin) apresentaram redução na expressão de Mash1 e Ngn2, indicando que ambos são regulados pela sinalização de cálcio. A investigação dos canais de cálcio voltagem-dependentes demonstrou que o influxo de cálcio gerado por despolarização da membrana de NSC diferenciadas de CTE é decorrente da ativação de canais de cálcio voltagem-dependentes do tipo L. Além disso, esse influxo pode controlar o destino celular por estabilizar expressão de Mash1 e induzir a diferenciação neuronal por fosforilação e translocação do fator de transcrição CREB. Esses dados sugerem que os receptores P2X7, P2Y2, P2Y4 e canais de cálcio voltagem-dependentes do tipo L podem modular as oscilações espontâneas de cálcio durante a diferenciação neural e consequentemente alteram o padrão de expressão de Mash1 e Ngn2 favorecendo a decisão do destino celular neuronal.

Proteção de linhas de transmissão de sistemas VSC-HVDC utilizando limitadores de corrente de falta

Tecnologias HVDC que utilizam conversores do tipo fonte de tensão, o VSC-HVDC, ainda não são completamente difundidas e aplicadas no Brasil, em contraste com outros países que começaram a estudar e empregar este tipo de transmissão. Comparado com o HVDC tradicional, o VSC-HVDC é uma tecnologia de transmissão mais eficiente e pode superar deficiências encontradas na transmissão em corrente contínua convencional. O VSC-HVDC pode ser utilizado de maneira mais eficiente nas novas redes de energia, para alimentar ilhas, integração de geração eólica, renovação das linhas em centros urbanos, aplicações multiterminais e conexão com sistemas fracos. Por se tratar de uma tecnologia recente, o VSC-HVDC ainda não é amplamente adotado e uma das principais limitações da utilização destes sistemas é a sua fragilidade diante faltas na linha de corrente contínua. Neste contexto, limitadores de corrente de falta (LCF) podem ser utilizados para minimizar o impacto das faltas. A ação dos limitadores é benéfica ao sistema durante condições de falta, contudo, ainda assim é necessária a atuação do sistema de proteção para extinguir a condição faltosa. Portanto, este trabalho visa propor e avaliar um novo esquema de proteção que opere de maneira seletiva e confiável para sistemas VSC-HVDC na presença de LCF baseados em materiais supercondutores ou LCF indutivos. Para tanto, foram implementadas quatro funções de proteção tradicionais das linhas em CC, a saber: direcional de corrente, diferencial, sobrecorrente com restrição de tensão e ondas viajantes, e ainda, foi proposta uma nova função de proteção, a de condutância, a qual apresentou o menor tempo de identificação de falta, considerando as faltas mais severas. Adicionalmente, foi avaliado o comportamento destas funções quando o sistema apresenta os LCF em série com a linha. Foi demonstrado que é possível extrair os benefícios dos LCF sem deteriorar a qualidade dos resultados das funções de proteção, o que aumenta a segurança e confiabilidade dos sistemas VSC-HVDC, uma vez que os impactos das faltas são minimizados e as mesmas são identificadas em um curto intervalo de tempo.

Influência da configuração da célula combustível microbiana na geração de energia elétrica a partir da degradação de compostos orgânicos

Nessa pesquisa foram testadas tanto CCM com membranas e sem membranas que tinham por característica reproduzir sistemas de tratamento de esgoto sanitário. A etapa experimental desse trabalho foi dividida entre o Brasil (ensaios com CCM sem a MTP e utilizando esgoto sanitário) e Portugal (ensaios com CCM tradicionais de uma e duas câmaras, utilizando água residuária sintética e a bactéria Lactobacillus pentosus). A execução em dois locais diferentes resultou em um maior aprofundamento e desenvolvimento da pesquisa. As CCM foram avaliadas principalmente quanto ao potencial elétrico e eficiência da degradação de compostos orgânicos (esgoto sanitário e água residuária sintética). Para os dados obtidos no Brasil, as três configurações apresentaram maior diferença na potência em função do modo de operação. A operação intermitente apresentou a maior potência (11 mW/m2) para a CCM cilíndrica de fluxo ascendente, enquanto que operação continua a maior potência (4,2 mW/m2) foi obtida para a CCM retangular de fluxo horizontal, a qual também apresentava uma maior facilidade na manutenção quanto aos eletrodos (adição/remoção). A CCM cúbica de fluxo ascendente devido a sua concepção simples demandava um sistema complementar para o aumento da remoção de DQO. Apesar da baixa potência mensurada para os ensaios realizados no Brasil há de se pontuar que os mesmos foram obtidos para reatores sem membranas e utilizando o esgoto sanitário, o qual apresentou grande sazonalidade. Para a etapa realizada em Portugal, foi possível realizar quinze diferentes ensaios e mais um ensaio específico de crescimento. A maior potência (10,37 mW/m2) foi obtida para CCM de câmara dupla operada de modo contínuo para um tempo de detenção hidráulico (TDH) de 20 horas. A maior potência obtida para a CCM de câmara única foi de 5,53 mW/m2 quando houve a adição do extrato de levedura (função teórica de mediador). A potência da CCM, na maioria das vezes, esteve relacionada à proporção de sólidos voláteis e totais, SV/ST, quantidade de bactérias, pH, características de operação e por fim a configuração da CCM. O ensaio de crescimento revelou a correlação da potência em função da quantidade de bactérias inseridas da massa do biofilme (SV) e mostra-se como uma ferramenta na avaliação da potência das CCM.

Estudo sistêmico da geração de conhecimento no IPEN

Com o escopo de fornecer subsídios para compreender como o processo de colaboração científica ocorre e se desenvolve em uma instituição de pesquisas, particularmente o IPEN, o trabalho utilizou duas abordagens metodológicas. A primeira utilizou a técnica de análise de redes sociais (ARS) para mapear as redes de colaboração científica em P&D do IPEN. Os dados utilizados na ARS foram extraídos da base de dados digitais de publicações técnico-científicas do IPEN, com o auxílio de um programa computacional, e basearam-se em coautoria compreendendo o período de 2001 a 2010. Esses dados foram agrupados em intervalos consecutivos de dois anos gerando cinco redes bienais. Essa primeira abordagem revelou várias características estruturais relacionadas às redes de colaboração, destacando-se os autores mais proeminentes, distribuição dos componentes, densidade, boundary spanners e aspectos relacionados à distância e agrupamento para definir um estado de redes mundo pequeno (small world). A segunda utilizou o método dos mínimos quadrados parciais, uma variante da técnica de modelagem por equações estruturais, para avaliar e testar um modelo conceitual, apoiado em fatores pessoais, sociais, culturais e circunstanciais, para identificar aqueles que melhor explicam a propensão de um autor do IPEN em estabelecer vínculos de colaboração em ambientes de P&D. A partir do modelo consolidado, avaliou-se o quanto ele explica a posição estrutural que um autor ocupa na rede com base em indicadores de ARS. Nesta segunda parte, os dados foram coletados por meio de uma pesquisa de levantamento com a utilização de um questionário. Os resultados mostraram que o modelo explica aproximadamente 41% da propensão de um autor do IPEN em colaborar com outros autores e em relação à posição estrutural de um autor na rede o poder de explicação variou entre 3% e 3,6%. Outros resultados mostraram que a colaboração entre autores do IPEN tem uma correlação positiva com intensidade moderada com a produtividade, da mesma forma que, os autores mais centrais na rede tendem a ampliar a sua visibilidade. Por fim, vários outros indicadores estatísticos bibliométricos referentes à rede de colaboração em P&D do IPEN foram determinados e revelados, como, a média de autores por publicação, média de publicações por autores do IPEN, total de publicações, total de autores e não autores do IPEN, entre outros. Com isso, esse trabalho fornece uma contribuição teórica e empírica aos estudos relacionados à colaboração científica e ao processo de transferência e preservação de conhecimento, assim como, vários subsídios que contribuem para o contexto de tomada de decisão em ambientes de P&D.

Tuberculostáticos potenciais planejados com base na estrutura de maltosiltransferase (GlgE) de mycobacterium tuberculosis. Estudo da síntese por meio de micro-ondas

A tuberculose (TB) é uma doença infectocontagiosa, causada por micobactérias do complexo Mycobacterium, principalmente, o M. tuberculosis. Praticamente extinta em países desenvolvidos, antigamente denominados Países de Primeiro Mundo, a tuberculose voltou a ter foco mundial dada a sua crescente taxa de incidência e mortalidade. Segundo a Organização Mundial de Saúde, a TB, hoje, figura como principal causa de morte por doenças infectocontagiosas em todo mundo, com a incidência de 8,6 milhões de novos casos ao ano e cerca de 1,5 milhões de mortes. O principal desafio no tratamento da tuberculose é a multirresistência de M. tuberculosis frente aos fármacos disponíveis. Sendo assim, a busca de novos fármacos antituberculose e o estudo de novos alvos são necessários para superar essa situação. Frente à necessidade de exploração de novos alvos e ante a indicação da maltosiltransferase (GlgE) como novo alvo potencialmente promissor contra M. tuberculosis, este projeto pretendeu viabilizar a síntese de análogos da glicose (análoga do substrato natural da GlgE, a maltose 1-fosfato) por meio de rotas sintéticas que fazem uso do micro-ondas. Essas rotas sintéticas seguem os princípios da click chemistry, que são reações químicas modulares, cujas condições reacionais são simples e resultam em produtos de fácil purificação. O presente trabalho também visou à comparação entre o método convencional de síntese de triazóis e aquele que utiliza o micro-ondas, no que se refere aos os tempos de reação, às condições reacionais e aos rendimentos com derivados sintetizados no Laboratório de Planejamento e Síntese de Quimioterápicos Potencialmente Ativos em Doenças Negligenciadas (LAPEN). Entretanto, não obteve-se sucesso na etapa final da rota sintética, a glicosilação. Nos demais métodos sintéticos o micro-ondas mostrou-se uma valiosa ferramenta para obtenção dos compostos triazólicos.

Sistema inteligente baseado em decomposição por componentes ortogonais e inferência fuzzy para localização de faltas de alta impedância em sistemas de distribuição de energia elétrica com geração distribuída

Os sistemas elétricos de potência modernos apresentam inúmeros desafios em sua operação. Nos sistemas de distribuição de energia elétrica, devido à grande ramificação, presença de extensos ramais monofásicos, à dinâmica das cargas e demais particularidades inerentes, a localização de faltas representa um dos maiores desafios. Das barreiras encontradas, a influência da impedância de falta é uma das maiores, afetando significativamente a aplicação dos métodos tradicionais na localização, visto que a magnitude das correntes de falta é similar à da corrente de carga. Neste sentido, esta tese objetivou desenvolver um sistema inteligente para localização de faltas de alta impedância, o qual foi embasado na aplicação da técnica de decomposição por componentes ortogonais no pré-processamento das variáveis e inferência fuzzy para interpretar as não-linearidades do Sistemas de Distribuição com presença de Geração Distribuída. Os dados para treinamento do sistema inteligente foram obtidos a partir de simulações computacionais de um alimentador real, considerando uma modelagem não-linear da falta de alta impedância. O sistema fuzzy resultante foi capaz de estimar as distâncias de falta com um erro absoluto médio inferior a 500 m e um erro absoluto máximo da ordem de 1,5 km, em um alimentador com cerca de 18 km de extensão. Tais resultados equivalem a um grau de exatidão, para a maior parte das ocorrências, dentro do intervalo de ±10%.

Método da propagação de feixe de ângulo largo para análise de guias de ondas ópticos não-lineares

Este trabalho propõe uma extensão do método de propagação de feixe (BPM - Beam Propagation Method) para a análise de guias de ondas ópticos e acopladores baseados em materiais não-lineares do tipo Kerr. Este método se destina à investigação de estruturas onde a utilização da equação escalar de Helmholtz (EEH) em seu limite paraxial não mais se aplica. Os métodos desenvolvidos para este fim são denominados na literatura como métodos de propagação de feixe de ângulo largo. O formalismo aqui desenvolvido é baseado na técnica das diferenças finitas e nos esquemas de Crank-Nicholson (CN) e Douglas generalizado (GD). Estes esquemas apresentam como característica o fato de apresentarem um erro de truncamento em relação ao passo de discretização transversal, Δx, proporcional a O(Δx2) para o primeiro e O(Δx4). A convergência do método em ambos esquemas é otimizada pela utilização de um algoritmo interativo para a correção do campo no meio não-linear. O formalismo de ângulo largo é obtido pela expansão da EEH para os esquemas CN e GD em termos de polinômios aproximantes de Padé de ordem (1,0) e (1,1) para CN e GD, e (2,2) e (3,3) para CN. Os aproximantes de ordem superior a (1,1) apresentam sérios problemas de estabilidade. Este problema é eliminado pela rotação dos aproximantes no plano complexo. Duas condições de contorno nos extremos da janela computacional são também investigadas: 1) (TBC - Transparent Boundary Condition) e 2) condição de contorno absorvente (TAB - Transparent Absorbing Boundary). Estas condições de contorno possuem a facilidade de evitar que reflexões indesejáveis sejam transmitidas para dentro da janela computacional. Um estudo comparativo da influência destas condições de contorno na solução de guias de ondas ópticos não-lineares é também abordada neste trabalho.

Sistema computacional com geração de dados e visualização de resultados para estrutura de edifícios

Este trabalho trata do desenvolvimento de um sistema computacional, para a geração de dados e apresentação de resultados, específico para as estruturas de edifícios. As rotinas desenvolvidas devem trabalhar em conjunto com um sistema computacional para análise de estruturas com base no Método dos Elementos Finitos, contemplando tanto as estruturas de pavimentos; com a utilização de elementos de barra, placa/casca e molas; como as estruturas de contraventamento; com a utilização de elementos de barra tridimensional e recursos especiais como nó mestre e trechos rígidos. A linguagem computacional adotada para a elaboração das rotinas mencionadas é o Object Pascal do DELPHI, um ambiente de programação visual estruturado na programação orientada a objetos do Object Pascal. Essa escolha tem como objetivo, conseguir um sistema computacional onde alterações e adições de funções possam ser realizadas com facilidade, sem que todo o conjunto de programas precise ser analisado e modificado. Por fim, o programa deve servir como um verdadeiro ambiente para análise de estruturas de edifícios, controlando através de uma interface amigável com o usuário uma série de outros programas já desenvolvidos em FORTRAN, como por exemplo o dimensionamento de vigas, pilares, etc.

Avaliações e testes dos métodos MASW e ReMi por meio do tratamento de dados empíricos e sintéticos em um programa de processamento e inversão desenvolvido em MATLAB e sua implicação em um problema geológico na Bacia de Taubaté

Os métodos de ondas superficiais com ênfase nas ondas Rayleigh foram utilizados como o núcleo desse trabalho de Doutorado. Inicialmente, as ondas Rayleigh foram modeladas permitindo o estudo de sensibilidade de suas curvas de dispersão sob diferentes configurações de parâmetros físicos representando diversos modelos de camadas, em que pôde ser observado parâmetros com maior e menor sensibilidade e também alguns efeitos provocados por baixas razões de Poisson. Além disso, na fase de inversão dos dados a modelagem das ondas Rayleigh foi utilizada para a construção da função objeto, que agregada ao método de mínimos quadrados, a partir do método de Levenberg-Marquardt, permitiu a implementação de um algoritmo de busca local responsável pela inversão de dados das ondas superficiais. Por se tratar de um procedimento de busca local, o algoritmo de inversão foi complementado por uma etapa de pré-inversão com a geração de um modelo inicial para que o procedimento de inversão fosse mais rápido e eficiente. Visando uma eficiência ainda maior do procedimento de inversão, principalmente em modelos de camadas com inversão de velocidades, foi implementado um algoritmo de pós-inversão baseado em um procedimento de tentativa e erro minimizando os valores relativos da raiz quadrada do erro quadrático médio (REQMr) da inversão dos dados. Mais de 50 modelos de camadas foram utilizados para testar a modelagem, a pré-inversão, inversão e pós-inversão dos dados permitindo o ajuste preciso de parâmetros matemáticos e físicos presentes nos diversos scripts implementados em Matlab. Antes de inverter os dados adquiridos em campo, os mesmos precisaram ser tratados na etapa de processamento de dados, cujo objetivo principal é a extração da curva de dispersão originada devido às ondas superficiais. Para isso, foram implementadas, também em Matlab, três metodologias de processamento com abordagens matemáticas distintas. Essas metodologias foram testadas e avaliadas com dados sintéticos e reais em que foi possível constatar as virtudes e deficiências de cada metodologia estudada, bem como as limitações provocadas pela discretização dos dados de campo. Por último, as etapas de processamento, pré-inversão, inversão e pós-inversão dos dados foram unificadas para formar um programa de tratamento de dados de ondas superficiais (Rayleigh). Ele foi utilizado em dados reais originados pelo estudo de um problema geológico na Bacia de Taubaté em que foi possível mapear os contatos geológicos ao longo dos pontos de aquisição sísmica e compará-los a um modelo inicial existente baseado em observações geomorfológicas da área de estudos, mapa geológico da região e informações geológicas globais e locais dos movimentos tectônicos na região. As informações geofísicas associadas às geológicas permitiram a geração de um perfil analítico da região de estudos com duas interpretações geológicas confirmando a suspeita de neotectônica na região em que os contatos geológicos entre os depósitos Terciários e Quaternários foram identificados e se encaixaram no modelo inicial de hemi-graben com mergulho para Sudeste.

Uma abordagem paramétrica do impacto da geração distribuída sobre as correntes de curto-circuito e na proteção de redes de distribuição.

Esta dissertação tem por propósito analisar os impactos da geração distribuída sobre as correntes de curto-circuito e sobre a proteção das redes de média tensão das concessionárias de distribuição de energia elétrica usando uma abordagem paramétrica. A principal motivação deste trabalho são os recentes incentivos regulatórios que estão fomentando a geração distribuída no Brasil. Contudo, as redes de distribuição convencionais foram projetadas para serem passivas e a introdução da geração poderá causar problemas de ordem técnica que ainda precisam ser resolvidos. Tais problemas foram pesquisados e aqueles relacionados com os impactos sobre as correntes de curto-circuito foram enfatizados. As normas técnicas das concessionárias também foram investigadas porque seus requisitos, como a ligação dos transformadores de acoplamento, influem nas correntes de curto-circuito. Para se calcular as correntes de curto-circuito, desenvolveu-se uma planilha eletrônica cujos resultados foram validados com programas comerciais de análise de redes elétricas. Esta ferramenta foi utilizada para demonstrar, através de exemplos, o impacto causado pela geração distribuída sobre as correntes de curto-circuito e, posteriormente, para realizar as análises paramétricas nas quais a influência de cada variável foi avaliada. A aplicação do método paramétrico permitiu o estudo de possíveis limites para a potência de um gerador distribuído em função dos impactos admissíveis, de seu ponto de conexão, de seus parâmetros elétricos e dos parâmetros elétricos da rede.

Estudo e aplicação de guias de ondas integrados ao substrato em frequências de micro-ondas.

Esse trabalho de pesquisa apresenta um estudo detalhado sobre guias de ondas integrados ao substrato (SIW) operando em frequências de micro-ondas com base na teoria de guias de ondas retangulares (RWG). O estudo sobre guias SIW associa equações apresentadas na literatura e utiliza simulações eletromagnéticas para desenvolver um procedimento de projeto bem definido. É considerada a integração entre guias SIW e linhas de transmissão de microfita, projetando-se transições entre essas duas estruturas com o propósito de prover casamento de impedância e de viabilizar a caracterização em frequências de micro-ondas. São apresentadas considerações sobre processos de fabricação de circuitos SIW em substratos constituídos por laminados de alta frequência. Uma vez estabelecidos os procedimentos de fabricação e os critérios de projeto, a tecnologia SIW é aplicada ao projeto de três guias de ondas SIW nas bandas S e X, que foram fabricados empregando laminados de alta-frequência. Foram projetados dois filtros SIW passa-faixa empregando cavidades ressonantes e postes metálicos indutivos. Os dois filtros operam na frequência central de 10,61 GHz, sendo que um deles tem banda de passagem de 7,5%e é de 3ª ordem e o outro filtro tem banda de passagem de 15%, sendo de 5ª ordem. Foram realizadas comparações entre o desempenho simulado e experimental das estruturas SIW projetadas. Os resultados de simulações eletromagnéticas e experimentais demonstraram boa concordância. Os projetos em tecnologia SIW apresentados neste trabalho de pesquisa possuem perdas de retorno melhores que 10 dB na banda de operação e perdas por inserção de 1,0 dB a 1,5 dB. É apresentada a análise da sensibilidade do desempenho dos guias de ondas e filtros SIW projetados a desvios dimensionais típicos do processo de fabricação por microfresagem mecânica. Com os resultados experimentais e de simulação foi possível validar os procedimentos de projeto e de fabricação de circuitos SIW operando em frequências de micro-ondas.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Arranjos de sensores orientados à missão para a geração automática de mapas temáticos em VANTs

O uso de veículos aéreos não tripulados (VANTs) tem se tornado cada vez mais comum, principalmente em aplicações de uso civil. No cenário militar, o uso de VANTs tem focado o cumprimento de missões específicas que podem ser divididas em duas grandes categorias: sensoriamento remoto e transporte de material de emprego militar. Este trabalho se concentra na categoria do sensoriamento remoto. O trabalho foca a definição de um modelo e uma arquitetura de referência para o desenvolvimento de sensores inteligentes orientados a missões específicas. O principal objetivo destas missões é a geração de mapas temáticos. Neste trabalho são investigados processos e mecanismos que possibilitem a geração desta categoria de mapas. Neste sentido, o conceito de MOSA (Mission Oriented Sensor Array) é proposto e modelado. Como estudos de caso dos conceitos apresentados são propostos dois sistemas de mapeamento automático de fontes sonoras, um para o caso civil e outro para o caso militar. Essas fontes podem ter origem no ruído gerado por grandes animais (inclusive humanos), por motores de combustão interna de veículos ou por atividade de artilharia (incluindo caçadores). Os MOSAs modelados para esta aplicação são baseados na integração de dados provenientes de um sensor de imageamento termal e uma rede de sensores acústicos em solo. A integração das informações de posicionamento providas pelos sensores utilizados, em uma base cartográfica única, é um dos aspectos importantes tratados neste trabalho. As principais contribuições do trabalho são a proposta de sistemas MOSA, incluindo conceitos, modelos, arquitetura e a implementação de referência representada pelo sistema de mapeamento automático de fontes sonoras.

Técnica de localização em ambientes fechados utilizando padrões de redes sem fio.

Localizar objetos ou pessoas no interior de um edifício é de grande interesse. Contudo, diferentemente do que ocorre no exterior de edificações, não há metodologia consagrada para a determinação da posição desses entes nos edifícios. Para o posicionamento em locais abertos existem tecnologias consolidadas, como GNSS (Global Navigation Satellite System), a dificuldade em fazê-lo em interiores é maior. Nesses casos, o GNSS não pode ser utilizado, pois os sinais de rádio dos satélites não conseguem penetrar através das estruturas, enquanto que outras tecnologias são apenas incipientes nesse quesito. Abordagens habituais para a resolução dessa demanda têm se baseado na utilização de propagadores das ondas de rádio do GNSS, no uso da potência de sinais de redes sem fio ou, ainda, no emprego de transmissores infravermelhos. No entanto, uma técnica diferente pode ser empreendida para essa finalidade. Usando-se a assinatura das potências de rádio das redes sem fio nas imediações e no interior da edificação, é possível criar um mapa com base nesses sinais, permitindo a determinação da posição de um objeto. No presente trabalho foram desenvolvidos um sistema para geração do mapa de sinais, com critério de parada e um método de cálculo de posicionamento. Procedeu-se, também, à análise de quatro critérios para o cálculo final da posição do objeto, baseados no uso da distância euclidiana com os conjuntos de roteadores disponíveis. Concluiu-se que, quando o mapa de sinais é pequeno, o posicionamento fracassou. Entretanto, quando a quantidade de sinais geradores do mapa aumenta, os resultados apresentaram melhora significativa, com resultados próximos a 100% de assertividade. Desse modo foi possível determinar uma estimativa boa para o número mínimo de roteadores presentes na base e estabelecer um critério de parada para a fase de criação do mapa de sinais.