Caracterização molecular do vírus da raiva isolado de Desmodus rotundus capturados no Estado do Rio de Janeiro

Caracterizou-se filogeneticamente o vírus da raiva, isolado de morcegos hematógafos (Demodus rotundus). Cento e noventa e nove D. rotundus foram capturados em cinco abrigos, no Norte e Noroeste do Estado do Rio de Janeiro e sul do Espírito Santo. Sete deles foram positivos para a raiva. Amostras desses vírus foram sequenciadas e comparadas com sequências provenientes de diversos estados brasileiros. As sequências de vírus da raiva isoladas, na região norte do Estado do Rio de Janeiro, mostraram características que as distinguem de amostras de vírus isoladas em outras regiões do país, no entanto foram idênticas às isoladas de bovinos no noroeste do Rio de Janeiro.

Intraespecific variation on the aedeagus of Anopheles oswaldoi (Peryassú) (Diptera: Culicidae)

Anopheles (Nyssorhynchus) oswaldoi (Peryassú) compreende complexo de espécies crípticas na América do Sul. Espécimes de duas localidades situadas no leste da Mata Atlântica foram empregados para caracterizar morfologica e molecularmente An. oswaldoi s.s. Foram observadas e avaliadas variações na forma do ápice do edeago da genitália masculina de espécimes de Anopheles (Nyssorhynchus) oswaldoi s.s. do Vale do Ribeira, Mata Atlântica, estado de São Paulo, e nas sequências do segundo espaçador interno transcrito (ITS2). Os espécimes com edeagos distintos apresentaram seqüências idênticas de ITS2. Os tipos distintos de edeago encontrados nos exemplares do Vale do Ribeira, Mata Atlântica, foram ilustrados

Estratégias de cálculo mental de alunos da 5ª série/6º ano do ensino fundamental

Esta pesquisa de mestrado teve como principal objetivo investigar estratégias de cálculo mental, utilizadas por alunos de uma 5ª série/6º ano do ensino fundamental ao resolver cálculos de adição e subtração. Para atingir este objetivo procuramos responder aos questionamentos: Quais estratégias de cálculo mental, alunos da 5ª série/6º ano empregam na resolução de cálculos de adição e subtração? Que relações existem entre o tipo de cálculo envolvido e a estratégia adotada para resolvê-lo? Para respondermos a essas questões, seguimos uma metodologia de natureza qualitativa, configurada como estudo de caso do tipo etnográfico. O trabalho de campo foi desenvolvido em uma turma de 5ª série/6º ano do ensino fundamental de uma escola pública da rede estadual de ensino do município de Serra. A pesquisa aconteceu de maio a dezembro de 2013. Oito alunos resolveram uma atividade diagnóstica composta de quatro sequências de cálculos mentais, a saber, fatos fundamentais do número 5, do número 10, do número 20 e do número 100, dentre adições e subtrações próximas a esses resultados. Todos alunos participaram da etapa de entrevistas. Dos oito alunos, foram escolhidos dados de três que participaram de outras etapas da pesquisa. Os registros realizados pelos alunos na etapa de observação da turma, na etapa diagnóstica e na etapa de intervenção didática, as anotações no caderno de campo e algumas gravações em áudio serviram como fontes de coleta de dados. Utilizamos as estratégias identificadas por Beishuizen (1997), Klein e Beishuizen (1998), Thompson (1999, 2000) e Lucangeli et al. (2003), como categorias de análise. Através da análise de dados, constatamos que as escolhas das estratégias de cálculo mental pelos alunos variaram de acordo com o tipo de sequência de cálculos, a operação aritmética (adição ou subtração) e o estado emocional deles durante a atividade. Foi possível identificar o uso de duas estratégias combinadas, o algoritmo mental e estratégias de contagens nos dedos para grande parte dos cálculos. O uso do algoritmo mental mostrou-se um procedimento de grande sobrecarga mental e, em alguns cálculos de adição sem reserva, serviu apenas como apoio à visualização numérica, sendo executado pelo aluno da esquerda para a direita, semelhantemente à estratégia de decomposição numérica. Os dados deste estudo apontam para: (i) a necessidade de se trabalhar fatos numéricos fundamentais de adição e subtração via cálculo mental de maneira sistemática em sala de aula; (ii) a necessidade de se ensinar estratégias autênticas de cálculo mental para que os alunos não se tornem dependentes de estratégias como contagens e algoritmo mental, que são mais difíceis de serem executadas com êxito; (iii) a importância de entrevistar, individualmente, os alunos a fim de compreender e avaliar o desenvolvimento destes em tarefas de cálculo mental.

Filogenia e evolução de roedores Echimyidae na Mata Atlântica

Os roedores Echimyidae tem distribuição Neotropical e são a família mais diversa de roedores Caviomorpha. Apesar da grande diversidade, pouco se sabe sobre a distribuição geográfica, história natural e evolução de vários grupos de equimídeos. O histórico taxonômico dessa família é confuso, sendo alguns grupos raramente coletados e, consequentemente, inferências sobre aspectos evolutivos e biológicos são pouco conclusivas e limitadas à análise de poucos exemplares. Filogenias moleculares não corroboram a classificação taxonômica para a família baseada em dados morfológicos, evidenciando a complexidade da história evolutiva desse grupo. Na Mata Atlântica são registrados cinco gêneros de Echimyidae: o rato-do-bambu, Kannabateomys; os arborícolas Phyllomys e Callistomys; o terrestre Trinomys, e o semi-fossorial Euryzygomatomys. O presente trabalho se baseou na utilização de sequências de DNA para abordar aspectos da evolução e filogenia de roedores equimídeos da Mata Atlântica em três níveis taxonômicos: família, gênero e espécie. O primeiro capítulo aborda a posição filogenética do gênero Callistomys dentro da família, utilizando sequências de 1 marcador mitocondrial (CitB) e 3 nucleares (GHR, RAG1 e vWF). Os resultados mostram que Callistomys forma um clado com o ratão-do-banhado (Myocastor), roedor semi-aquático das regiões abertas no cone sul da América do Sul e com o rato-de-espinho terrestre Proechimys com ocorrência na Amazônia. Esse clado é irmão de Thrichomys, um equimídeo terrestre que ocupa as áreas secas do centro da América do Sul. O agrupamento encontrado é inesperado, uma vez que seus membros apresentam aspectos morfológico, ecológicos e distribuição geográfica distintos e contrastantes. A filogenia resultante indica que Callistomys não é proximamente relacionado aos outros equimídeos arborícolas e sugere que o hábito arborícolas evoluiu mais de uma vez na família. O segundo capítulo investiga aspectos da filogenia, evolução e limites entre espécies de Phyllomys utilizando dois marcadores mitocondriais (CitB e COI) e três nucleares (GHR, RAG1 e vWF). Foram identificados três grupos principais de espécies: um com distribuição longitudinal pela porção central da Mata Atlântica (P. pattoni (P. mantiqueirensis, Phyllomys sp. 4)); e a partir daí dois outros grupos, um com distribuição na porção norte da Mata Atlântica (Phyllomys sp. 2 (P. blainvilii (P. brasiliensis, P. lamarum))); e outro na porção sul (Phyllomys sp. 3 ((Phyllomys sp. 1, P. lundi), (Phyllomys sp. 5 (P. dasythrix (P. nigrispinus (P. sulinus, Phyllomys sp. 6)))))). Foram identificadas duas linhagens independentes representando possíveis espécies novas, elevando o potencial número de espécies do gênero de 17 para 19. As filogenias associadas aos dados de distribuição geográfica sugerem que a diversificação e distribuição das espécies de Phyllomys foi influenciada pela ação conjunta de vários fatores como atividade neotectônica, gradientes altitudinais e latitudinais e mudanças climáticas que atuaram desde o Mioceno, marcando os primeiros eventos de diversificação do gênero até as especiações mais recentes, no Pleistoceno. O terceiro capítulo avalia a variação genética, distribuição geográfica e status taxonômico da espécie Euryzygomaotmys spinosus utilizando dois marcadores mitocondriais (CitB e D-loop). Os resultados mostraram que E.spinosus apresenta distribuição em áreas de Mata Atlântica e adjacências ao sul do Rio Doce, no Brasil, Paraguai e Argentina, incluindo um registro confirmado no Cerrado. A espécie ocupa habitats muito diversos e pode ser considerada generalista. As populações são geneticamente estruturadas ao longo da sua distribuição e os dados genéticos corroboram a taxonomia atual que considera apenas uma espécie, E. spinosus, para o gênero.

Reconstituição das vazões naturais a jusante das pequenas centrais hidrelétricas Rio Bonito e Suíça : Rio Santa Maria da Vitória (ES)

O conhecimento do regime natural de rios é relevante, entre diversas razões, para avaliar o impacto antrópico em bacias hidrográficas. Desta forma, visa criar ferramentas que auxiliem no planejamento eficiente dos recursos hídricos. O rio Santa Maria da Vitória (ES) é crucial para o desenvolvimento socioeconômico da Região Metropolitana da Grande Vitória. Adicionalmente, diversos ecossistemas e comunidades agrícolas dependem deste rio. Sendo a geração de energia elétrica um dos usos mais significativos do rio Santa Maria da Vitória, através das Pequenas Centrais Hidrelétricas Rio Bonito e Suíça, o objetivo principal desta pesquisa foi buscar uma melhor compreensão da influência da operação destes empreendimentos na vazão natural deste rio. Além da análise das séries de vazões e de precipitações medidas em Santa Leopoldina, comparando o período anterior com o posterior à implantação das PCH`s, realizou-se a reconstituição das vazões naturais médias diárias e médias mensais a jusante das PCH`s, através da técnica de extensão MOVE.I (tipo 1) e com o auxílio da série de vazão medida na estação fluviométrica Marechal Floriano, localizada na bacia hidrográfica do rio Jucu. Os resultados obtidos, a partir dos dados monitorados na estação Santa Leopoldina, mostraram uma diminuição nas vazões mínimas com 7, 30 e 90 dias de duração para o período pós-regulado. Ainda, as vazões de permanência Q50, Q90 e Q95 e a vazão média de longa duração reconstituídas são menores que as vazões observadas em Santa Leopoldina. Além da presença das PCH`s, as alterações no uso e cobertura do solo da bacia podem ter influência sobre os resultados encontrados. As vazões em Santa Leopoldina, devido aos horários em que são realizadas as medições, podem não representar de forma confiável as oscilações a jusante das PCH`s. Consequentemente, faz-se necessário um monitoramento contínuo das vazões a jusante desses empreendimentos e recomenda-se que seja realizada uma nova reconstituição das vazões naturais do rio Santa Maria da Vitória, através do balanço hídrico dos reservatórios, utilizando os dados operativos das PCH`s.

A negação no português falado em Vitória/ES

Todas as línguas possuem algum recurso para expressar a negação verbal, porém cada uma apresenta estratégias próprias para sua realização. No português brasileiro (PB), há três estratégias de negação: 1) pré-verbal (Não+SV); 2) dupla negação (Não+SV+Não) e 3) pós-verbal (SV+Não). À luz da Sociolinguística Variacionista e com base na amostra PortVix (Português Falado na Cidade de Vitória), que tem por parâmetros sociais o gênero/sexo do falante, sua faixa etária e seu nível de escolaridade, o presente trabalho analisa a variação no uso das estruturas de negação no português falado na cidade de Vitória/ES, a fim de situar, a partir desse fenômeno, a variedade capixaba no cenário do PB. Também toma por base a proposta de Schwenter (2005) de que as três variantes se alternam apenas quando o conteúdo negado é ativado no discurso. Sendo assim, se a proposição negada apresentar um estatuto de uma informação nova, apenas a negação pré-verbal pode ser empregada. Desse modo, em nossa pesquisa, buscamos entender quais fatores influenciam a alternância das formas de negação e verificar os contextos linguístico-discursivos que comportam essa variação. Ao confrontarmos nossos resultados com os de outras pesquisas, observamos que a dupla negação é bastante produtiva na fala capixaba, representando 21,1% de um total de 2263 dados. Ao realizarmos rodadas em que foram amalgamadas duas variantes e contrapostas a uma outra, foram selecionados pelo programa Goldvarb X (SANKOFF; TAGLIAMONTE; SMITH, 2005) e, portanto, considerados estatisticamente relevantes para a dupla negação, os seguintes fatores: as sequências dialogais, a ausência de reforço negativo, a ausência de marcadores conversacionais e as orações absolutas. Para a negação pós-verbal, foram selecionadas as seguintes variáveis: as proposições negadas diretamente ativadas e as sequências dialogais. Para a negação pré-verbal, os fatores estatisticamente relevantes foram: as sequências narrativas e as argumentativas, a presença de reforço negativo, a presença de marcadores conversacionais, as orações principais e o gênero masculino. Os resultados revelaram que a variação no uso das estruturas negativas é um fenômeno marcadamente discursivo, mas também com atuação de alguns fatores sintáticos.

Como reagimos e interpretamos os latidos dos cães de acordo com a variação acústica?

Os cães dividem o ambiente com os humanos há milhares de anos e essa relação se torna cada vez mais estreita. Estudos mostram que há comunicação intraespecífica entre os cães e interespecífica entre os cães e os humanos, tanto vocal quanto não-vocal. Os latidos se apresentam hipertrofiados nos cães e acredita-se que isso se deva ao processo de domesticação. Neste estudo, investigamos como os humanos percebem o conteúdo emocional dos latidos e como respondem aos latidos quanto ao grau de irritação percebido, em função das características acústicas de cada chamado. Sessenta participantes, divididos de acordo com a experiência com cães e com o sexo, ouviram 27 sequências de latidos gravadas anteriormente. As sequências de latidos foram montadas artificialmente e categorizadas de acordo com a frequência fundamental, harmonicidade e intervalo entre latidos. Os resultados confirmaram o pressuposto de que tais parâmetros acústicos são importantes para a percepção humana de um conteúdo emocional na vocalização de cães e que causam um impacto emocional em nós, a irritação. Os resultados também foram consistentes com as regras de estrutura-motivação de Morton (1977). Quanto mais baixa a frequência fundamental, maior a agressividade percebida e sons mais agudos e tonais estão relacionados ao medo e ao desespero; quanto mais baixa a harmonicidade, ou seja, quanto mais áspero ou rouco, maior a motivação agressiva. O intervalo entre latidos se mostrou significativo apenas na atribuição da agressividade, quanto mais curtos os intervalos, maior a agressividade percebida. A correlação entre o grau de irritação causado pelos latidos e a percepção das emoções mostrou que quanto maior a percepção de agressividade, medo e desespero, maior o grau de irritação e quanto maior a percepção de brincadeira e felicidade, menor o grau de irritação causado pelos latidos. Esses resultados sugerem que a irritação gerada pelos latidos dos cães está associada a emoções negativas. Quanto ao sexo, os homens obtiveram valores médios significativamente maiores do que as mulheres na avaliação da irritação, o que sugere que os homens possam ter uma menor tolerância com os chamados caninos. Os resultados deste estudo nos levam a concluir que os humanos são capazes de identificar os estados emocionais dos cães através de emissões sonoras. Isto sugere que há uma comunicação interespecífica entre estas espécies e que ambas dividem as mesmas regras acústicas de motivação-estrutural de Morton.

Caracterização de isolados de Corynespora cassiicola e avaliação da sensibilidade in vitro a fungicidas

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Biológicas, Departamento de Fitopatologia, Programa de Pós-Graduação em Fitopatologia, 2015.

Respostas de culturas à adubação sulfatada e deposição de enxofre atmosférico

Solos com baixo teor de argila e matéria orgânica apresentam baixa disponibilidade de enxofre (S) e, por isso, as culturas podem responder à adubação sulfatada. No entanto, a mobilidade de S no perfil do solo e sua deposição atmosférica pela água da chuva dificultam o estabelecimento do nível de suficiência do nutriente no solo. Este trabalho objetivou avaliar a resposta de culturas à adubação sulfatada e quantificar o S atmosférico depositado no solo pela água da chuva. Os cultivos avaliados (mamoneira, trigo, feijão-de-porco e milheto) foram realizados entre 2006 e 2009, em um Argissolo Vermelho distrófico arênico. As doses de S aplicadas em cada cultivo foram de 0, 5, 10 e 20 kg ha-1, utilizando-se gesso agrícola como fonte de S. Avaliaram-se a produção de matéria seca e o acúmulo de S na parte aérea do milheto e do feijão-de-porco, e a produção e o teor de S nos grãos de mamona e de trigo. Determinou-se o teor de S disponível no solo até 60 cm de profundidade e a deposição de S pelas precipitações. A maior produção de grãos da mamona e de matéria seca do segundo cultivo de feijão-de-porco foi obtida com aplicação de 14,5±0,35 kg ha-1 de S. Mesmo com teores de S abaixo dos níveis de suficiência, não houve respostas do trigo, do milheto e do primeiro cultivo de feijão-de-porco à adubação sulfatada. O aporte de S atmosférico ao solo foi de 4,5 kg ha-1 ano-1 e pode ter contribuído para a ausência de resposta desses cultivos.

Erosividade das chuvas e tempo de recorrência para Lavras, Minas Gerais

A erosividade das chuvas é um dos principais agentes causadores da erosão do solo, no sul de Minas Gerais. Por essa razão, objetivou-se, com este trabalho, aplicar cinco distribuições de probabilidades aos valores de erosividades, mensais e anual, e estimar o tempo de recorrência desses valores, com base na melhor distribuição de probabilidades ajustada para a região de Lavras, MG. A série de precipitações estudada foi de 1961 a 2004 e as distribuições de probabilidades utilizadas foram: Gumbel, Gama, Log-normal 2 e 3 parâmetros e Normal, ajustadas pelo método da Máxima Verossimilhança. Verificou-se que as distribuições Gama e Gumbel produziram o menor número de séries não adequadas, registrando-se apenas uma, para o mês de agosto. As demais distribuições produziram maiores números de séries não adequadas, especialmente, a distribuição Log-normal 2 parâmetros. Sendo assim, recomenda-se, para o cálculo de erosividade, que seja feita uma verificação prévia da melhor distribuição para cada período da série estudada, apesar de os dados apontarem um desempenho considerável da distribuição Gumbel.

A música dos videojogos

A maior parte dos entretenimentos electrónicos inclui música; e os videojogos não são excepção. Podemos encontrar muitas justificações para o facto de os videojogos incluírem música: identificar cenas; estabelecer atitudes, tensão e atmosfera; determinar o ritmo; indicar definições e associações para lá do que a imagem é capaz de indicar; etc. Porém os videojogos são interactivos: o jogador pode exercer algum controle sobre o jogo e o jogo solicita de alguma forma, o jogador a interagir. Os compositores estão então perante uma dificuldade: a maneira usual de compor é completamente deslocada face ao que um videojogo requer. As tradições ocidentais (e não só), em termos de composição, exigem que uma peça musical obtenha sempre um estado final em que a sua forma seja fixa e delimitada. Só que a música que funciona no contexto de um videojogo tem que ser capaz de mudar internamente a qualquer momento. Resta então ao compositor pensar a sua técnica de composição de uma forma radicalmente nova: já não se trata de alinhar sequências com começo, desenvolvimento e fim, mas sim obter uma música com a dinâmica suficiente para acompanhar o inesperado do desenrolar do jogo. O caminho a seguir passa por um música «ajustável»: uma peça de música que se possa alterar, no momento, dando assim resposta às exigências do jogo. É necessário que a música seja, cada vez mais, capaz de interagir de uma forma positiva com o desenrolar do jogo. E isto constitui um desafio para os compositores; eles têm que equacionar a música na sua relação com as incidências do jogo e a sua imprevisibilidade, nunca esquecendo que o que procuram é MÚSICA e não apenas uma qualquer forma de ambiente sonoro.

Histórias com matemática

Com este estudo pretendo perceber qual o contributo das histórias com matemática no envolvimento dos alunos em tarefas de geometria e o papel das representações no desenvolvimento dos seus raciocínios, bem como perceber que aspectos relativos ao sentido espacial e ideias geométricas surgem. Para aprofundar e contextualizar o problema defini as seguintes questões de investigação: 1. Que relação estabelecem e que tipo de representações utilizam os alunos em tarefas matemáticas criadas a partir de contextos de histórias com matemática? 2. Como evoluem as representações matemáticas dos alunos, ao longo da resolução das diferentes sequências de tarefas apresentadas? 3. Que aspectos relativos ao sentido espacial e outras ideias geométricas surgem, ao longo da resolução das diferentes tarefas? O trabalho apresentado foi desenvolvido numa turma de 3ºano de escolaridade que tem vindo a desenvolver o sentido espacial e a construir ideias geométricas, com base na experimentação e interacção. Para um acompanhamento mais consistente, focou-se a atenção num grupo de quatro alunos com quem se interagiu de forma mais persistente e do qual foram analisados os registos escritos. Contudo, também foram elementos de análise as respostas surgidas após a discussão em grande grupo, dado que a interacção nesta turma gerou, de forma muito consistente, a compreensão e articulação dos conceitos abordados. Para o desenvolvimento deste estudo optou-se por uma metodologia de investigação de natureza qualitativa, tendo em conta que a principal agente de recolha de dados foi a investigadora e que a mesma foi feita no ambiente natural dos alunos. Para além disso, é ainda importante salientar que os documentos de análise são constituídos por produções dos alunos, onde interessou mais o processo que os resultados. A recolha de dados ocorreu ao longo de dezassete sessões em sala de aula, tendo as mesmas sido dinamizadas, inicialmente, com maior incidência, por mim e depois, em estreita colaboração com o professor da turma. As três sequências de tarefas apresentadas aos alunos foram construídas por mim e procuraram incidir, fundamentalmente no desenvolvimento do sentido espacial dos alunos, designadamente em ideias geométricas que se relacionam com a Reflexão, os Eixos de simetria de figuras e a Projecção de sombras, vista como uma reflexão provocada pela incidência de luz contra um corpo. Estas serviram para desenvolver ou aprofundar os conceitos referidos e, ii também, perceber como a sombra se forma e transforma, de acordo com a posição ou incidência de maior ou menor quantidade de luz. Para a construção das três sequências de tarefas realizadas pelos alunos utilizaram-se três histórias com matemática: Grejniec (2002), Magalhães (2008) e Torrado (2005). As sequências de tarefas apresentadas bem como os conceitos nelas abordados surgiram a partir de modelos matemáticos apresentados nos livros escolhidos para desenvolver este trabalho. Em A que Sabe a Lua? e o O Rapaz do Espelho, os modelos matemáticos estão presentes tanto na narrativa como na ilustração, o mesmo não acontece em O Homem sem Sombra, onde o modelo matemático é apenas desenvolvido no texto. Os resultados deste trabalho levantam novas questões susceptíveis de outras pesquisas. Interessa saber, num estudo mais alargado, de que modo é que o método de ensino utilizado e o papel do professor, enquanto mediador no processo de ensino-aprendizagem, influenciam a construção e articulação de conceitos ligados ao desenvolvimento do sentido espacial e construção de ideias geométricas e, também, a aspectos ligados com as expectativas dos alunos, relativamente à aprendizagem dos tópicos da área da Matemática, no 1º Ciclo do Ensino Básico.

Processo de conversão química da liga de alumínio 2024-T3 de aplicação aeronáutica

A presente tese teve por base o estudo da conversão química da liga de alumínio 2024T3 de aplicação aeronáutica. O trabalho experimental foi desenvolvido na OGMA, Indústria Aeronáutica de Portugal S.A., durante o período de, aproximadamente 1 ano, que coincidiu com a realização de um estágio profissional nesta empresa por parte da mestranda. A referida empresa, tem como actividade a prestação de serviços de Manutenção, Revisão, Modernização, de Aeronaves, Motores e Componentes, Fabricação e Montagem de Estruturas. Integrada na OGMA, encontra-se a área de tratamentos electroquímicos, TE’S, na qual são realizados serviços de manutenção de material aeronáutico e de peças de fabricação. Estes serviços baseiam-se em processos de electrodeposição e conversão química. De modo a garantir um controlo de qualidade e correcto funcionamento dos diversos processos existe, inserido na área TE’S, um laboratório químico. O presente trabalho experimental, realizado na área TE’S, assenta no processo de conversão química, por imersão, de provetes da liga Al 2024-T3, referente a todos os contratos da OGMA. Estes contratos possuem especificações para aplicação do revestimento de conversão química, por imersão, em alumínio e suas ligas. Estas especificações incluem requisitos de qualidade, nos quais se encontra inserido o controlo periódico do processo. Deste modo, o processo é sujeito a um controlo periódico mensal que consiste na avaliação da qualidade dos tratamentos. A qualidade dos revestimentos obtidos, por conversão química, é assegurada através da avaliação dos resultados dos ensaios aos provetes. O estudo experimental desenvolvido focou-se nos ensaios de resistência à corrosão (nevoeiro salino) requeridos nos contratos. O intuito de realizar um estudo sobre o processo de conversão química por imersão de provetes da liga Al 2024 T3 e subsequente foco no ensaio de resistência à corrosão (nevoeiro salino), assenta no facto de ter-se vindo a observar, nos últimos anos, corrosão por pitting em vários lotes destes provetes, após serem sujeitos às sequências de processo de conversão química e antes de perfazerem a totalidade de 168 horas na câmara de nevoeiro salino, não superando este critério de qualidade do revestimento. Na perspectiva de colmatar a referida situação, procedeu-se à realização de ensaios de despiste nos provetes representativos da liga, com especial incidência na variação dos intervalos de tempo de imersão, pré-estabelecidos pelas especificações aplicáveis, e observação do seu comportamento quando sujeitos ao ensaio de nevoeiro salino.

WPAC: wireless payment and access control: dispositivos móveis no pagamento de serviços e controlo de acessos

A rápida evolução dos dispositivos móveis e das tecnologias de comunicação sem fios transformou o telemóvel num poderoso dispositivo de computação móvel. A necessidade de estar sempre contactável, comum à civilização moderna, tem aumentado a dependência deste dispositivo, sendo transportado pela maioria das pessoas num ambiente urbano e assumindo um papel talvez mais importante que a própria carteira. A ubiquidade e capacidade de computação dos telemóveis aumentam o interesse no desenvolvimento de serviços móveis, além de tradicionais serviços de voz. Um telemóvel pode em breve tornar-se um elemento activo nas nossas tarefas diárias, servindo como um instrumento de pagamento e controlo de acessos, proporcionando assim novas interfaces para serviços existentes. A unificação de vários serviços num único dispositivo é um desafio que pode simplificar a nossa rotina diária e aumentar o conforto, no limite deixaremos de necessitar de dinheiro físico, cartões de crédito ou débito, chaves de residência e de veículos automóveis, ou inclusive documentos de identificação como bilhetes de identidade ou passaportes. O interesse demonstrado pelos intervenientes, desde os fabricantes de telemóveis e operadores de rede móvel até às instituições financeiras, levaram ao aparecimento de múltiplas soluções de serviços móveis. Porém estas soluções respondem geralmente a problemas específicos, apenas contemplando um fornecedor de serviços ou uma determinada operação de pagamento, como seja a compra de bilhetes ou pagamento de estacionamento. Estas soluções emergentes consistem também tipicamente em especificações fechadas e protocolos proprietários. A definição de uma arquitectura genérica, aberta interoperável e extensível é necessária para que os serviços móveis possam ser adoptados de uma forma generalizada por diferentes fornecedores de serviços e para diversos tipos de pagamento. A maior parte das soluções actuais de pagamento móvel depende de comunicações através da rede móvel, algumas utilizam o telemóvel apenas como uma interface de acesso à internet enquanto outras possibilitam o envio de um SMS (Short Message Service) para autorizar uma transacção, o que implica custos de comunicação em todas as operações de pagamento. Este custo de operação torna essas soluções inadequadas para a realização de micropagamentos e podem por isso ter uma aceitação limitada por parte dos clientes. As soluções existentes focam-se maioritariamente em pagamentos à distância, não tirando partido das características do pagamento presencial e não oferecendo por isso uma verdadeira alternativa ao modelo actual de pagamento com cartões de crédito/débito. As capacidades computacionais dos telemóveis e suporte de diversos protocolos de comunicação sem fio local não têm sido aproveitadas, vendo o telemóvel apenas como um terminal GSM (Global System for Mobile Communications) e não oferecendo serviços adicionais como seja a avaliação dinâmica de risco ou controlo de despesas. Esta dissertação propõe e valida, através de um demonstrador, uma aquitectua aberta para o pagamento e controlo de acesso baseado em dispositivos móveis, intitulada WPAC (Wireless Payment and Access Control). Para chegar à solução apresentada foram estudadas outras soluções de pagamento, desde o aparecimento dos cartões de débito até a era de pagamentos electrónicos móveis, passando pelas soluções de pagamento através da internet. As capacidades dos dispositivos móveis, designadamente os telemóveis, e tecnologias de comunicação sem fios foram também analisadas a fim de determinar o estado tecnológico actual. A arquitectura WPAC utiliza padrões de desenho utilizados pela indústria em soluções de sucesso, a utilização de padrões testados e a reutilização de soluções com provas dadas permite aumentar a confiança nesta solução, um destes exemplos é a utilização de uma infra-estrutura de chave pública para o estabelecimento de um canal de comunicação seguro. Esta especificação é uma arquitectura orientada aos serviços que utiliza os Web Services para a definição do contracto do serviço de pagamento. A viabilidade da solução na orquestração de um conjunto de tecnologias e a prova de conceito de novas abordagens é alcançada com a construção de um protótipo e a realização de testes. A arquitectura WPAC possibilita a realização de pagamentos móveis presenciais, isto é, junto do fornecedor de bens ou serviços, seguindo o modelo de pagamento com cartões de crédito/débito no que diz respeito aos intervenientes e relações entre eles. Esta especificação inclui como aspecto inovador a avaliação dinâmica de risco, que utiliza o valor do pagamento, a existência de pagamentos frequentes num período curto de tempo, e a data, hora e local do pagamento como factores de risco; solicitando ao cliente o conjunto de credenciais adequado ao risco avaliado, desde códigos pessoais a dados biométricos. É também apresentada uma alternativa ao processo normal de pagamento, que apesar de menos cómoda permite efectuar pagamentos quando não é possível estabelecer um canal de comunicação sem fios, aumentando assim a tolerância a falhas. Esta solução não implica custos de operação para o cliente na comunicação com o ponto de venda do comerciante, que é realizada através de tecnologias de comunicação local sem fios, pode ser necessária a comunicação através da rede móvel com o emissor do agente de pagamento para a actualização do agente de software ou de dados de segurança, mas essas transmissões são ocasionais. O modelo de segurança recorre a certificados para autenticação dos intervenientes e a uma infra-estrutura de chave pública para cifra e assinatura de mensagens. Os dados de segurança incluídos no agente de software móvel, para desabilitar a cópia ou corrupção da aplicação mas também para a comparação com as credenciais inseridas pelo cliente, devem igualmente ser encriptados e assinados de forma a garantir a sua confidencialidade e integridade. A arquitectura de pagamento utiliza o standard de Web Services, que é amplamente conhecido, aberto e interoperável, para definição do serviço de pagamento. Existem extensões à especificação de Web Services relativas à segurança que permitem trocar itens de segurança e definem o modo de cifra e assinatura de mensagens, possibilitando assim a sua utilização em aplicações que necessitem de segurança como é o caso de serviços de pagamento e controlo de acesso. O contracto de um Web Service define o modo de invocação dos serviços, transmissão de informação e representação de dados, sendo normalmente utilizado o protocolo SOAP que na prática não é mais que um protocolo de troca de mansagens XML (eXtensible Markup Language). O envio e recepção de mensagens XML; ou seja, a transmissão de simples sequências de caracteres, é suportado pela maioria dos protocolos de comunicação, sendo portanto uma solução abrangente que permite a adopção de diversas tecnologias de comunicação sem fios. O protótipo inclui um agente de software móvel, implementado sobre a forma de uma MIDlet, aplicação Java para dispositivos móveis, que implementa o protocolo de pagamento comunicando sobre uma ligação Bluetooth com o ponto de venda do comerciante, simulado por uma aplicação desenvolvida sobre a plataforma .NET e que por isso faz prova da heterogeneidade da solução. A comunicação entre o comerciante e o seu banco para autorização do pagamento e transferência monetária utiliza o protocolo existente para a autorização de pagamentos, com base em cartões de crédito/débito. A definição desta especificação aberta e genérica em conjunto com o forte interesse demonstrado pelos intervenientes, proporciona uma boa perspectiva em termos de adopção da solução, o que pode impulsionar a implementação de serviços móveis e dessa forma simplificar as rotinas diárias das pessoas. Soluções móveis de pagamento reduzem a necessidade de transportar vários cartões de crédito/débito na nossa carteira. A avaliação dinâmica de risco permite aumentar a segurança dos pagamentos, com a solicitação de mais credenciais ao cliente para pagamentos com um maior risco associado, sendo um ponto importante quer para os clientes quer para as instituições financeiras pois diminui o risco de fraude e aumenta a confiança no sistema. Esta solução de pagamento electrónico pode também facilitar a consulta de pagamentos efectuados e saldos, mantendo um histórico dos movimentos, o que não é possível nos cartões de crédito/débito sem uma visita a uma ATM (Automated Teller Machine) ou utilização de homebanking.

Controlo robusto de manobras em aviónica

Com este trabalho pretende-se estudar a dinâmica e o controlo robusto de manobras em aviónica. Para isso são estudados diferentes modelos lineares que aproximam o modelo global da aeronave durante manobras como a descolagem, aterragem e o voo planeado. O objectivo inicial é resolver o problema da estabilização (estabilizar o avião ao longo da trajectória de voo usando controlo robusto linear por realimentação de estado) tendo consideração restrições operacionais nas varáveis de estado e accionamentos. Numa segunda fase combinar os resultados obtidos em cada uma das manobras para projectar um piloto automático capaz de garantir bom desempenho em voo planeado para diferentes sequências de manobras (ex. aproximação à pista mais manobra de aterragem) usando o conceito de estabilização simultânea, ou seja por outras palavras pretende-se aplicar apenas um controlador a várias manobras e para isso deve ser realizada uma maquete seguindo todos os passos para se obter um menor erro e uma melhor estabilização por parte do avião quer nas condições de voo estáveis, quer nas variadas deflecções aplicadas em todos os níveis do avião. Aplicam-se as técnicas estudadas a modelos de caças como o F-14 e principalmente o F-16.