Many-core approach to 2D-DCT calculation using an FPGA

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Avaliação em tempo real de forças em cabos

Dissertação elaborada para a obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

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

Problemas de programação matemática com restrições lineares de equilíbrio

Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.

Amplificação em imunohistoquímica: estudo comparativo de sistemas de polímeros

Desde o início da utilização da imunohistoquímica em anatomia patológica, um dos objetivos tem sido detetar as quantidades mais ínfimas de antigénio, tornando-o visível ao microscópio ótico. Vários sistemas de amplificação têm sido aplicados de forma a concretizar este objetivo, tendo surgido um grupo genérico de métodos simples e que apresentam uma amplificação superior: são os denominados métodos do polímero indireto. Tendo em conta a variedade de métodos disponíveis, o autor propõe-se a comparar a qualidade de quatro sistemas de amplificação, que recorrem ao método do polímero indireto com horseradish peroxidase (HRP). Foram utilizadas lâminas de diferentes tecidos, fixados em formol e incluídos em parafina, nos quais se procedeu à identificação de 15 antigénios distintos. Na amplificação recorreu-se a quatro sistemas de polímero indireto (Dako EnVision+ System – K4006; LabVision UltraVision LP Detection System – TL-004-HD; Leica NovoLink – RE7140-k; Vector ImmPRESS Reagent Kit – MP-7402). A observação microscópica e classificação da imunomarcação obtida foram feitas com base num algoritmo que enquadra intensidade, marcação específica, marcação inespecífica e contraste, num score global que pode tomar valores entre 0 e 25. No tratamento dos dados, para além da estatística descritiva, foi utilizado o teste one-way ANOVA com posthoc de tukey (alfa=0.05). O melhor resultado obtido, em termos de par média/desvio-padrão, dos scores globais foi o do NovoLink (22,4/2,37) e o pior foi o do EnVision+ (17,43/3,86). Verificou-se ainda que existe diferença estatística entre os resultados obtidos pelo sistema NovoLink e os sistemas UltraVision (p=.004), ImmPRESS (p=.000) e EnVision+ (p=.000). Concluiu-se que o sistema que permitiu a obtenção de melhores resultados, neste estudo, foi o Leica NovoLink.

A new wader, Recurvirostridae (Charadriiformes), from the early Eocene of Portugal

A new wader (Aves, Charadriiformes, Recurvirostridae) from the Early Eocene site of Silveirinha, in Lower Mondego region, Central Portugal, is described. Comparisons have been made with other forms, both extant and fossil; its affmities are discussed. Silveirinha wader is ascribed to Fluviatilavis antunesi, n. gen. n. sp.

Anoplotherium (mammalia, artiodactyla) et geochelone (reptilia, testudines) à côja: les vertebras fossils et l’éocène supérieur au Portugal

A mammal (Anoplotherium cf. commune) and a land tortoise (Geochelone is. gen.] sp.) from the Ludian (Uppermost Eocene) locality of Côja have been identified. Age can be more accurately established now, from level 3 to level 5 in the Ludian stage, probably 4. Relationships between Côja's feldspathic sands, a correlative unit «Arenitos de Vale Furado», and the paroxysmal phase of pyrenean orogeny are confirmed.

Petits mammifères du burdigalien infèrieur (Universidade Católica, Avenida do Uruguay)

Improved bromoform concentration as developped at CEPUNL allowed better recovery of small mammals'teeth. At Universidade Católica and Avenida do Uruguay 19 taxa (and a further one with doubt) were recognized. Some are new for the level and for Tagus basin: Lagopsis cadeoti and Melissiodon dominans (1st reference for the genus); Glirudinus modestus (formerly under another name); Armantomys (1st reference for this level); Peridyromys murinus (referred before under another name); Microdyromys legidensis (1st ref. of gen. and sp. for this level); and Heteroxerus rubricati, formerly reported to other species of the same genus. Both localities share the same position viz marine levels under and above. This allows us to correlate them with NS or N6 Blow's zones. Both are distinctly younger-than glauconite in underlying beds about 21 MY old (K-Ar). Small mammals point out to MN3a Neogene subunit. Fauna is much alike Lower Burdigalian ones in Spain, France, Germany and Austria. Terrestrial, maybe steppe forms predominate. Land environment was open, with scant plant cover but not devoid of trees. Peridyromys murinus numerical importance and other data suggest a not so warm climate in correspondance to a minimum temperature event. This is corroborated by associated marine fish fauna entirely without warm water stenotherm species, and by paleobotanical/palynological data. Results are in close agreement with Central Northern Spain. The localities studied here are even more interesting as direct correlations between marine and continental stratigraphical scales are possible.