Sistema de visão para aterragem automática de UAV

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Diagnóstico remoto de defeitos em cargas acopladas a um motor de indução

A variação do binário de uma carga acoplada ao motor de indução desencadeia uma série de fenómenos internos conducentes a um novo ponto de funcionamento. No caso de um dente partido numa roda dentada de um redutor de velocidade, quando acionada, este tipo de defeito produz um aumento de binário sempre que a zona de defeito é sujeita à ação de engrenamento. Assim, pode afirmar-se que este tipo de defeito produz uma interferência periódica com frequência igual à frequência de rotação da roda dentada que possui o dente partido. Neste artigo apresenta-se uma abordagem teórica dos fenómenos internos do motor de indução na presença de uma interferência periódica da carga mecânica revelando a presença de frequências caraterísticas na corrente absorvida. Uma metodologia de diagnóstico remoto, baseada nos parâmetros de alimentação de um motor, que possibilite monitorizar o funcionamento sem uso de sensores dedicados, tem necessariamente de se apoiar nas grandezas elétricas de alimentação da máquina que, direta ou indiretamente, fornecem informação que poderá ser analisada utilizando software de aquisição e processamento de sinal. Uma metodologia de diagnóstico remoto, baseada nos parâmetros de alimentação de um motor, que possibilite monitorizar o funcionamento sem uso de sensores dedicados, tem necessariamente de se apoiar nas grandezas elétricas de alimentação da máquina que, direta ou indiretamente, fornecem informação que poderá ser analisada utilizando software de aquisição e processamento de sinal. Uma metodologia de diagnóstico remoto, baseada nos parâmetros de alimentação de um motor, que possibilite monitorizar o funcionamento sem uso de sensores dedicados, tem necessariamente de se apoiar nas grandezas elétricas de alimentação da máquina que, direta ou indiretamente, fornecem informação que poderá ser analisada utilizando software de aquisição e processamento de sinal. Dado que a tensão de alimentação do motor é imposta pela rede, pode aceitar-se que esta não contém informação útil ao diagnóstico, embora o seu valor possa sofrer influência da variação da corrente absorvida pelo motor, através das quedas de tensão que esta produz. Considerando a tensão de alimentação trifásica equilibrada e constante, a corrente elétrica absorvida é, de facto, a única variável direta disponível para análise, mas o seu conhecimento permite determinar um conjunto de variáveis que podem fornecer indicações úteis sobre o estado de funcionamento do próprio motor e da carga associada.

Identificação modal e simulação da resposta sísmica de barragens abóbada

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de cooperação ente o ISEL e o LNEC

Os millennials em Portugal: estudo exploratório a partir de um coorte etário sobre engagement consumidor-marca

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Redes urbanas de drenagem

Tese de doutoramento em Engenharia Sanitária

Dispositivos moleculares fluorescentes contendo receptores poliamínicos

O objectivo desta tese é a caracterização global de algumas famílias de compostos poliamínicos com grupos aromáticos fluorescentes. Estes têm potencial deaplicação como dispositivos moleculares, incluindo quimiossensores, interruptores moleculares,máquinas moleculares ou sistemas de processamento de informação moleculares. Estes compostos possuem poliaminas que podem actuar como unidades receptoras de várias espécies químicas, como protões, iões metálicos ou aniões, e os tornam solúveis em água. Contêm também grupos aromáticos fluorescentes (naftaleno, antraceno, pireno), que actuam como unidades sinalizadoras do estado do receptor. No Capítulo 1 são apresentados métodos de síntese e purificação de compostos poliamínicos, juntamente com descrições pormenorizadas das sínteses. Nos Capítulos 2 a 8 são caracterizados diversos compostos, quando livres em solução aquosa, e na presença de iões de metais de transição e de ATP. São usadas técnicas de espectrofotometria no UV-visível, espectrofluorimetria no estado estacionário e de contagem de fotão único correlacionada no tempo, complementadas com dados potenciométricos e de RMN fornecidos pelo grupo do Prof. Enrique García-España da Universidade de Valência, Espanha. No Capítulo 2 estudam-se compostos com grupos antraceno. Verifica-se supressão de emissão a pH básico, comum a todos os compostos poliamínicos, e caracterizam-se factores que influenciam nesse fenómeno. No Capítulo 3 analisam-se compostos de naftaleno. Verificam-se excímeros intramoleculares em compostos com dois grupos naftaleno. Para os formar ocorre um movimento fotoinduzido de flexão, pelo que esses compostos podem ser considerados máquinas moleculares. No Capítulo 4 estudam-se compostos com grupos pireno. Observam-se excímeros intramoleculares nos compostos com dois fluoróforos. No Capítulo 5 caracterizam-se compostos com dois grupos aromáticos diferentes(vários compostos com naftaleno e antraceno, um com pireno e antraceno e um com pireno e naftaleno). Verifica-se transferência de energia do grupo naftaleno para o antraceno (que parece evoluir de acordo com a teoria de Förster), de pireno para antraceno e de naftaleno para pireno. No Capítulo 6 examinam-se dois compostos de antraceno na presença de iões metálicos. Verifica-se aumento de emissão presença de Zn(II) e Cd(II), e supressão de emissão na presença de Cu(II) e Ni(II). Caracteriza-se o comportamento de um deles do ponto de vista de operações lógicas ao nível molecular. No Capítulo 7 caracteriza-se um composto de naftaleno na presença de vários iões metálicos. Verifica-se supressão de emissão com iões de metais de transição do 3ºperíodo com níveis na presença de Zn(II), Cd(II) e Al(III). Não se verifica efeito na presença de iões alcalinos, alcalino-terrosos, lantanídeos, Sn(II) e Pb(II). No Capítulo 8 estuda-se a interacção de compostos poliamínicos com ATP. Verifica-se em qualquer pH a ocorrência de empilhamento aromáticos do ATP e composto poliamínico, e ancoragem do grupo polifosfato do ATP com a poliamina. Verifica-se supressão de emissão do composto poliamínico a pH ácido, principalmente por transferência electrónica fotoinduzida do seu grupo aromático para o grupo adenina protonado do ATP. Num composto com antraceno e naftaleno, continua-se a verificar transferência de energia d incompletamente preenchidos, e com Hg(II), e aumento de emissãoπ-π entre os grupos

Diabetes nos partos hospitalares em sistemas de saúde público e privado

OBJETIVO: Analisar tendências da presença do diagnóstico de diabetes mellitus em partos hospitalares.MÉTODOS: Estudo transversal com dados analisados de partos hospitalares de gestantes residentes em Ribeirão Preto, SP, no período de 1998 a 2007. Os dados foram obtidos no Centro de Processamento de Dados Hospitalares da Faculdade de Medicina de Ribeirão Preto da Universidade de São Paulo, referentes à categoria diabetes mellitus na gravidez. Os dados analisados foram: faixa etária, tipo de parto (vaginal ou cirúrgico), duração da internação e tipo de assistência pública (SUS) ou privada (saúde suplementar e particular).RESULTADOS: Houve aumento de 3,9 vezes na proporção de partos com menção de diabetes em relação ao total de partos (p = 0,01). Esse aumento foi de 4,5 vezes nos partos pela assistência pública (p = 0,01) e de 3 vezes na assistência privada (p = 0,01). Observou-se aumento da presença de diabetes em todas as faixas etárias, proporcionalmente mais acentuado nas mais baixas. A frequência de parto cirúrgico nas gestações com menção de diabetes diminuiu de 64,5% em 1998/1999 para 39,8% em 2006/2007 na assistência pública; e na privada a frequência se manteve sempre acima de 90%.CONCLUSÕES: Houve tendência crescente da presença de diabetes mellitus nos partos hospitalares ao longo dos biênios, apesar da tendência de diminuição do número de partos e aumento da população feminina em idade reprodutiva residente em Ribeirão Preto. Essa tendência necessita não só de sua identificação e tratamento, mas também de intervenções pré-gestacionais que possam revertê-la.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Um enquadramento para a catalogação automática de dados

Nesta dissertação faz-se a apresentação dos trabalhos elaborados conducentes à realização de provas na Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia no ramo de Engenharia Electrotécnica, na especialidade de Sistemas de Informação Industriais, para obtenção do grau de Doutor. A tese defendida consiste na proposta de um enquadramento global de suporte ao processo de recolha e catalogação dos dados disponibilizados na Web por forma a permitir uma maior eficácia e melhor desempenho na sua exploração. O enquadramento global assenta nos seguintes pilares: i) uma metodologia geral; ii) uma arquitectura de referência; iii) uma metodologia específica de suporte à derivação de sistemas particulares e; iv) a operacionalização da arquitectura de referência. A metodologia geral está centrada no utilizador tendo por objectivo simplificar a recolha e catalogação dos dados electrónicos e viabilizando a personalização da Web pela construção de catálogos dinâmicos. A arquitectura de referência recorre à utilização de catálogos dinâmicos, sistemas de multiagentes inteligentes, ontologias e métodos de aprendizagem em texto, por contraste com os métodos habitualmente utilizados nos portais de recolha de dados. A metodologia específica de suporte à derivação de sistemas particulares possibilita uma aproximação sistemática à instalação da arquitectura, propondo um conjunto de passos que permitem capturar e configurar as necessidades do utilizador. Finalmente, a operacionalização da arquitectura de referência origina a construção de um protótipo composto por dois sistemas-base: o Sistema de Catalogação e o Sistema Interactivo de Apoio à Derivação de Sistemas Particulares. O Sistema de Catalogação é o sistema que permite o armazenamento e a consulta dos dados recolhidos através das pesquisas previamente efectuadas. O Sistema de Apoio à Derivação de Sistemas Particulares, permite a personalização do Sistema de Catalogação, pela definição de regras e SAD específicos, dedicados a cada caso concreto. Sumariamente, os obstáculos mais relevantes, abordados no decurso dos trabalhos, foram: • a coexistência de diversos formatos de dados na Web; • a capacidade de processamento dos dados, desde a filtragem de documentos tendo por base a sua relevância, passando pela identificação dos conceitos e sua posterior classificação; • a formalização do conhecimento com vista à adopção de uma terminologia comum; • a natureza do problema distribuído, complexo, descentralizado e com reduzida estruturação. Este documento está organizado em diversos capítulos e cada capítulo está dividido em várias secções. O primeiro capítulo apresenta a inovação e os objectivos genéricos do enquadramento global. O segundo capítulo descreve o estado da arte de um conjunto de assuntos essenciais para o desenrolar dos trabalhos. O terceiro capítulo apresenta, em detalhe, o enquadramento global e a arquitectura proposta. O quarto capítulo descreve a metodologia de derivação de sistemas particulares. O quinto capítulo apresenta o estudo de caso e os resultados obtidos que visam validar a tese defendida. Finalmente, o último capítulo apresenta as conclusões e trabalhos futuros.

Contribuição para o desenvolvimento de uma estratégia integrada de gestão de resíduos industriais não perigosos

Tendo como objecto de estudo a actual gestão de resíduos industriais não perigosos na região de Santarém, o trabalho desenvolvido definiu como meta principal o desenvolvimento de uma estratégia para a gestão desses resíduos que é suportada por um modelo de gestão integrada. Esta estratégia assenta na maximização do desvio dos resíduos de aterro, através da sua valorização, utilizando para isso unidades de tratamento ou de processamento para resíduos sólidos urbanos, nomeadamente unidades de valorização orgânica e triagem. Na revisão da literatura procurou-se apresentar casos de estudo europeus em que foram definidas estratégias para a gestão de resíduos industriais, com especial destaque para aqueles que definem opções conjuntas de gestão de resíduos sólidos urbanos (RSU) e resíduos industriais banais (RIB). São também introduzidas algumas considerações acerca de incentivos estabelecidos para maximizar o desvio de resíduos de aterro, sendo dada especial atenção às políticas comunitárias que potenciam a valorização dos resíduos industriais em detrimento da sua deposição em aterro. Posteriormente são analisados vários modelos recentes no âmbito da gestão de resíduos sólidos, sendo apresentados essencialmente, os seus objectivos, potencialidades e resultados decorrentes da sua aplicação. É igualmente descrito e analisado o modelo “Integrated Waste Management 2” (IWM-2), desenvolvido por McDougall et al. (2001), que suporta a estratégia de gestão de resíduos industriais banais, estabelecida no presente estudo. A metodologia do estudo realizado centrou-se na recolha e análise de informação sobre as quantidades e características dos RIB produzidos na área de estudo e obtenção de dados que permitisse correr o modelo. Primeiro procedeu-se à consulta e análise das guias de pesagem desses resíduos nos aterro existentes na região. Seguiu-se um conjunto de acções tendentes a obter a informação complementar junto das indústrias através de inquérito (via fax e e-mail) e de visitas. Na metodologia foram equacionados diferentes cenários que permitiram a comparação entre a situação actual de gestão, que passa essencialmente pela deposição em aterro, e opções que contemplem a triagem dos resíduos para reciclagem e valorização orgânica. A pertinência desta última opção prende-se com a predominância de agro-indústrias e indústrias alimentares, na região de estudo. Os resultados deste estudo, obtidos através da corrida do modelo permitiram identificar algumas lacunas bem como oportunidades de melhoria do modelo IWM-2. Os resultados designadamente custos económicos e ambientais, resultantes da aplicação do modelo e decorrentes das diferentes soluções preconizadas reforçam que a actual gestão de resíduos apresenta as maiores cargas ambientais, quer em termos de emissões gasosas, efluentes produzidos, consumo de combustíveis, quer no se refere a custos. Por outro lado conclui-se que o cenário que contempla a triagem de resíduos, para reciclagem e valorização orgânica por digestão anaeróbia, com os menores custos ambientais e económicos em termos globais, assegura a optimização desejada para a gestão de RIB na área de estudo.

Extraction automatique d´associations lexicales à partir de corpora

The automatic acquisition of lexical associations from corpora is a crucial issue for Natural Language Processing. A lexical association is a recurrent combination of words that co-occur together more often than expected by chance in a given domain. In fact, lexical associations define linguistic phenomena such as idiomes, collocations or compound words. Due to the fact that the sense of a lexical association is not compositionnal, their identification is fundamental for the realization of analysis and synthesis that take into account all the subtilities of the language. In this report, we introduce a new statistically-based architecture that extracts from naturally occurring texts contiguous and non contiguous. For that purpose, three new concepts have been defined : the positional N-gram models, the Mutual Expectation and the GenLocalMaxs algorithm. Thus, the initial text is fisrtly transformed in a set of positionnal N-grams i.e ordered vectors of simple lexical units. Then, an association measure, the Mutual Expectation, evaluates the degree of cohesion of each positional N-grams based on the identification of local maximum values of Mutual Expectation. Great efforts have also been carried out to evaluate our metodology. For that purpose, we have proposed the normalisation of five well-known association measures and shown that both the Mutual Expectation and the GenLocalMaxs algorithm evidence significant improvements comparing to existent metodologies.

Participacao crescente de produtos ultraprocessados na dieta brasileira (1987-2009)

OBJETIVO Estimar tendências temporais do consumo domiciliar de itens alimentícios no Brasil, levando em conta a extensão e o propósito do seu processamento industrial. MÉTODOS Os dados analisados são provenientes de Pesquisa de Orçamentos Familiares realizadas no Brasil em 1987-1988, 1995-1996, 2002-2003 e 2008-2009. Foram analisadas amostras probabilísticas dos domicílios das áreas metropolitanas em todos os períodos mencionados e, nas duas amostras mais recentes, a abrangência foi nacional. As unidades de análise foram registros de aquisições de agregados de domicílios. Os itens alimentícios foram divididos segundo extensão e propósito de seu processamento industrial em: alimentos in natura ou minimamente processados, ingredientes culinários processados e produtos alimentícios prontos para consumo, processados ou ultraprocessados. A quantidade adquirida de cada item foi convertida em energia. Estimaram-se a disponibilidade diária total per capita de calorias e a contribuição dos grupos de alimentos em cada pesquisa. Calcularam-se estimativas por quintos de renda para as pesquisas nacionais. Variações temporais foram testadas por teste de diferença de médias e modelos de regressão linear. RESULTADOS Houve aumento significativo da participação de produtos prontos para o consumo (de 23,0% para 27,8% das calorias), graças ao aumento no consumo de produtos ultraprocessados (de 20,8% para 25,4%) entre 2002-2003 e 2008-2009. Houve redução significativa na participação de alimentos e de ingredientes culinários nesse período. O aumento da participação de produtos ultraprocessados ocorreu em todos os estratos de renda. Observou-se aumento uniforme da participação calórica de produtos prontos para o consumo em áreas metropolitanas, novamente à custa de produtos ultraprocessados e acompanhada por reduções na participação de alimentos in natura ou minimamente processados quanto de ingredientes culinários. CONCLUSÕES Produtos ultraprocessados apresentam participação crescente na dieta brasileira, evidenciada desde a década de 1980 nas áreas metropolitanas e confirmada para todo o País na década de 2000.

Observação e modelação do comportamento dinâmico do viaduto do Corgo: utilização integrada de modelos de identificação modal e modelos de elementos finitos de barra

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de Cooperação entre o ISEL e o LNEC

Logística de coleta e transporte de material biológico e organização do laboratório central no ELSA-Brasil

O Estudo Longitudinal de Saúde do Adulto (ELSA-Brasil) é um estudo de coorte multicêntrico com o objetivo de identificar os fatores de risco associados ao diabetes tipo 2 e à doença cardiovascular na população brasileira. O artigo descreve as estratégias de coleta, processamento, transporte e de controle de qualidade dos exames de sangue e urina no ELSA. O estudo optou pela centralização dos exames em um único laboratório. O processamento das amostras foi realizado nos laboratórios locais, reduzindo o peso do material a ser transportado e diminuindo os custos do transporte para o laboratório central no Hospital da Universidade de São Paulo. O estudo incluiu exames para avaliação de diabetes, resistência à insulina, dislipidemias, alterações eletrolíticas, hormônios tireoidianos, ácido úrico, alterações de enzimas hepáticas, inflamação e hemograma completo. Além desses exames, foram estocados DNA de leucócitos, amostras de urina, plasma e soro. O laboratório central realizou aproximadamente 375.000 exames.

Influência dos métodos de correção de atenuação na quantificação da função renal relativa em cintigrafia renal com 99mTc-DMSA

Introdução – A estimativa da função renal relativa (FRR) através de cintigrafia renal (CR) com ácido dimercaptossuccínico marcado com tecnécio-99 metaestável (99mTc-DMSA) pode ser influenciada pela profundidade renal (PR), atendendo ao efeito de atenuação por parte dos tecidos moles que envolvem os rins. Dado que raramente é conhecida esta mesma PR, diferentes métodos de correção de atenuação (CA) foram desenvolvidos, nomeadamente os que utilizam fórmulas empíricas, como os de Raynaud, de Taylor ou de Tonnesen, ou recorrendo à aplicação direta da média geométrica (MG). Objetivos – Identificar a influência dos diferentes métodos de CA na quantificação da função renal relativa através da CR com 99mTc-DMSA e avaliar a respetiva variabilidade dos resultados de PR. Metodologia – Trinta e um pacientes com indicação para realização de CR com 99mTc-DMSA foram submetidos ao mesmo protocolo de aquisição. O processamento foi efetuado por dois operadores independentes, três vezes por exame, variando para o mesmo processamento o método de determinação da FRR: Raynaud, Taylor, Tonnesen, MG ou sem correção de atenuação (SCA). Aplicou-se o teste de Friedman para o estudo da influência dos diferentes métodos de CA e a correlação de Pearson para a associação e significância dos valores de PR com as variáveis idade, peso e altura. Resultados – Da aplicação do teste de Friedman verificaram-se diferenças estatisticamente significativas entre os vários métodos (p=0,000), excetuando as comparações SCA/Raynaud, Tonnesen/MG e Taylor/MG (p=1,000) para ambos os rins. A correlação de Pearson demonstra que a variável peso apresenta uma correlação forte positiva com todos os métodos de cálculo da PR. Conclusões – O método de Taylor, entre os três métodos de cálculo de PR, é o que apresenta valores de FRR mais próximos da MG. A escolha do método de CA influencia significativamente os parâmetros quantitativos de FRR.