Browsing by Issue Date, starting with "2018-11-19"
Now showing 1 - 10 of 20
Results Per Page
Sort Options
- Hydrodynamic Analysis and Optimization of an Autonomous Surface VehiclePublication . Oliveira, Luís Alberto Silva; Brojo, Francisco Miguel Ribeiro Proença; Brandão, David PinaMaritime Unmanned Vehicles are tools being developed to explore oceans, rivers, lakes and reservoirs. These tools are essential to completely understand the unknown maritime world, since they have relatively low operation costs and can perform several multipurpose investigations. These main applications can be divided in different operations types like oceanographic and atmosphere measurements. One type of these tools are called Autonomous Surface Vehicles (ASV), which, as the name implies, are autonomous vessels that operate at water’s surface. In this dissertation, different types of geometries for a next-generation bathymetric ASV are studied. The first two are more conventional geometries with the first being a flat bottom hull, and the second being a hybrid one. The last one is a new type that has recently gained recognition: a Small-Waterplane-Area Twin-Hull (SWATH) geometry. This one, consists of an axisymmetric body, two small arms that separates the body from the payload, an elliptical nose and a conical tail. All geometries have been designed taking into account the best ranges of empirical/analytical relations, previously studied by other authors. [...]
- Well typed embedded program cannot burnPublication . André, Nanikafuako Augusto Lusende; Sousa, Simão Patricio Melo deEste trabalho apresenta uma farramenta voltada para o ensino de programação e circuítos electronicos usando o arduino. A ferramenta consiste em um compilador que através de uma linguagem de programação textual e simplificada que é a linguagem ardlight, permitir a escrita de programas que depois de compilados pelo ardlight, possam ser enviados e executados como programa do arduíno. Originalmente, os programas eram executados de uma forma em que o programador tinha de pensar em todos os aspetos a ver com o circuíto a ser construído. Com a extensão proposta, a ideia é que o programa compilado pelo ardlight possa fazer de forma automática o que os construtores de circuítos electrónicos em arduíno fazem, acrescendo ainda os cálculos necessários para a proteção do respectivo circuíto. Para que o ardlight funcione, o programador deve escrever no ficheiro de entrada, informações referentes aos componentes que constituem o circuíto a ser construído. Assim, através dos comandos programados com a liguagem ocaml no ardlight é possível criar um ficheiro de saída com todas instruções necessárias e os cálculos para a construção do circuíto. Destaca-se ainda a inclusão da plataforma Arduino, por ser uma opção mais acessível devido as suas características de hardware e software livre, e também pelo fato de que boa parte das instituições de ensino podem adotar o ensino de robótica, pois o kit do arduíno tem baixo custo. Por fim, no intuito de validar o funcionamento do compilador do ardlight, foram feitos testes e observou-se que o ardlight foi capaz de executar todos os comandos da linguagem, apesar de apresentar algumas limitações.
- Implementing and Evaluating Nonsingular Matrices Generators for the Hill CipherPublication . Ferreira, Moisés Alfredo da Cunha; Inácio, Pedro Ricardo Morais; Mileva, AleksandraA Cifra de Hill (Hill Cipher) é um exemplo clássico de um sistema criptográfico com propriedades muito interessantes, nomeadamente a implementação dos conceitos de confusão e difusão apresentados por Shannon como propriedades essenciais para as cifras; no entanto, a sua forma básica é vulnerável a Known Plaintext Attacks (KPAs). [...]
- Decision Procedure for Synchronous Kleene AlgebraPublication . Horta, Luís Pedro Arrojado da; Sousa, Simão Patricio Melo deKleene Algebra (KA) is an algebraic system that has many applications both in mathematics and computer science. It was named after Stephen Cole Kleene who extensively studied regular expressions and finite automata [Kle56]. Moreover it is often used to reason about programs, as it can represent sequential composition, choice and finite iteration. Furthermore, the need to reason about actions which can be executed concurrently, spawned SKA. SKA is an extension of KA introduced by Cristian Prisacariu in [Pri10] that adopts a notion of concurrent actions. Laguange equivalence is an imperishable problem in computer science. In this thesis we present the reader with a detailed explanation of a decision procedure for SKA terms and an OCaml implementation of said procedure as well.
- Determinação dos 3 genótipos do Polimorfismo “null” / “present” da GSTM1Publication . Martins, Filipa Alexandra Magalhães; Granadeiro, Luiza Augusta Tereza Gil Breitenfeld; Almeida, Micaela Carina PereiraA presente dissertação foi realizada no âmbito da unidade curricular Estágio do Mestrado Integrado em Ciências Farmacêuticas, na qual realizei dois estágios, um referente à farmácia comunitária e outro referente à farmácia hospitalar. Está igualmente englobado o trabalho de investigação desenvolvido com o objetivo de determinar os 3 genótipos da Glutationa S-Transferase Mu 1 (GSTM1). Por esta razão, esta dissertação encontra-se dividida em 3 partes, cada uma correspondente a um capítulo. O primeiro capítulo é sobre o trabalho de investigação realizado no Centro de Investigação em Ciências da Saúde da Universidade da Beira Interior, com a orientação da Professora Doutora Luiza Granadeiro e coorientação da Mestre Micaela Almeida. Este trabalho possui como título “Determinação dos 3 genótipos do Polimorfismo “null” / “present” da GSTM1”. A superfamília das enzimas Glutationa S-Transferase (GST), da qual faz parte a GSTM1, é responsável por processos de destoxificação no metabolismo de fase II. Estas enzimas reduzem compostos através da sua conjugação com a glutationa. Os polimorfismos da GSTM1 têm vindo a ser estudados devido ao seu envolvimento em processos patológicos, como é o caso do cancro da mama, uma vez que a deleção homozigótica do gene desta enzima leva à perda da sua atividade. Estudos realizados no Centro de Investigação em Ciências da Saúde da Universidade da Beira Interior, concluíram que populações com deleção homozigótica dos alelos dos genes que codificam para a GSTM1 têm maior risco de desenvolver cancro de mama. A genotipagem, neste caso, foi realizada recorrendo à técnica de Reação em Cadeia da Polimerase (Polymerase Chain Reaction – PCR), que não permite a identificação dos heterozigóticos. Por este motivo, este trabalho investigação propôs a implementação e otimização da técnica Real-Time PCR, de modo a determinar os indivíduos heterozigóticos. O segundo capítulo descreve o estágio desenvolvido em farmácia comunitária. Este estágio foi realizado na Farmácia Nova de Mesão Frio (FNMF), que está localizada no concelho de Mesão Frio, e decorreu entre os meses de janeiro e abril de 2018. É neste capítulo da dissertação que são abordados temas como o funcionamento de uma farmácia comunitária e a prática farmacêutica neste local, assim como os enquadramentos legais relevantes. O terceiro capítulo aborda o estágio em farmácia hospitalar, que foi realizado nos Serviços Farmacêuticos da Unidade Local de Saúde (ULS) da Guarda, durante o período de abril a junho de 2018. Neste capítulo é descrito o papel do farmacêutico hospitalar e todo o enquadramento legal referente a esta prática.
- Optimization of Spectrum Management in Massive Array Antenna Systems with MIMOPublication . Andrade, Rooderson Martines de; Velez, Fernando José da SilvaFifth generation (5G), is being considered as a revolutionary technology in the telecommunication domain whose the challenges are mainly to achieve signal quality and great ability to work with free spectrum in the millimetre waves. Besides, other important innovations are the introduction of a more current architecture and the use of multiple antennas in transmission and reception. Digital communication using multiple input and multiple output (MIMO) wireless links has recently emerged as one of the most significant technical advances in modern communications. MIMO technology is able to offer a large increase in the capacity of these systems, without requiring a considerable increase in bandwidth or power required for transmission. This dissertation presents an overview of theoretical concepts of MIMO systems. With such a system a spatial diversity gain can be obtained by using space-time codes, which simultaneously exploit the spatial domain and the time domain. SISO, SIMO and MISO systems are differentiated by their channel capacity and their configuration in relation to the number of antennas in the transmitter/receiver. To verify the effectiveness of the MIMO systems a comparison between the capacity of SISO and MIMO systems has been performed using the Shannon’s principles. In the MIMO system some variations in the number of antennas arrays have been considered, and the superiority of transmission gains of the MIMO systems have been demonstrated. Combined with millimetre waves (mmWaves) technology, massive MIMO systems, where the number of antennas in the base station and the number of users are large, is a promising solution. SDR implementations have been performed considering a platform with Matlab code applied to MIMO 2x2 Radio and Universal Software Peripheral Radio (USRP). A detailed study was initially conducted to analyze the architecture of the USRP. Complex structures of MIMO systems can be simplified by using mathematical methods implemented in Matlab for the synchronization of the USRP in the receiver side. SISO transmission and reception techniques have been considered to refine the synchronization (with 16-QAM), thus facilitating the future implementation of the MIMO system. OpenAirInterface has been considered for 4G and 5G implementations of actual mobile radio communication systems. Together with the practical MIMO, this type of solution is the starting point for future hardware building blocks involving massive MIMO systems.
- A utilização do Marketing de Influência por Marcas de ModaPublication . Moura, Mafalda Sengo Morgado de; Ribeiro, Liliana SimõesCom a evolução do mundo digital, o aparecimento de novas plataformas de interação social, surgiram novas formas de comunicação. As redes sociais estão a ser, cada vez mais utilizadas pelos consumidores, não só para se conectarem uns com os outros, mas também com as marcas, e vice-versa. Esta comunicação, realizada através dos canais digitais, tem demonstrado ser mais eficaz, quando comparada com a publicidade tradicional, exercendo uma grande influência nas decisões de compra dos milenares, representando portanto uma oportunidade para as empresas. Os líderes de opinião nestas redes, constituem os influenciadores digitais, os quais acumulam um grande número de seguidores e se envolvem com a sua comunidade, monetizando-a com publicidade nas suas publicações. Esta dissertação foca-se no marketing de influência, especificamente na área da moda em Portugal, com o objetivo de entender de que forma funcionam estas campanhas com os influenciadores digitais, para potenciar os resultados das marcas. Após definido o problema de investigação, procedeu-se à recolha de dados. Dada a atualidade do tema em estudo, foi necessária uma metodologia intervencionista, sendo o presente estudo considerado um estudo de caso. Para a recolha dos dados optou-se por uma abordagem mista: primeiramente, quantitativa, através de questionários, e posteriormente qualitativa, através de entrevistas estruturadas ou semiestruturadas, de modo a atingir os objetivos pretendidos. Foi observado um pequeno número de casos no seu contexto real, os quais foram posteriormente analisados de forma qualitativa, utilizando um modelo circular. As conclusões permitiram um conhecimento mais aprofundado desta temática, fornecendo informações importantes sobre a estrutura destas campanhas, nas quais os marketers e gestores de marcas de moda, podem suportar as suas decisões de adaptação e revisão estratégicas, investindo em conteúdo criado por influenciadores digitais.
- O género da fábula na literatura de tradição oral angolana e portuguesaPublication . Tito, Salvador Bonifácio Domingos; Vieira, Cristina Maria da Costa; Fidel, Petelo Ne Ntava NguinamauO presente trabalho tem como tema o género da fábula na literatura de tradição oral angolana e portuguesa: o caso de Icolo e Bengo e Bragança. Os corpora para a elaboração desta pesquisa dissertativa foram recolhidos a partir de dois ensaios, primeiro sendo o Estudo da fábula Ambundu (para a fábula de tradição oral de Icolo e Bengo) e o segundo, Património imaterial do Douro – narrações orais (para a fábula de tradição oral de Bragança). No entanto, para que houvesse um maior aprofundamento na análise dissertativa do corpus, achou-se conveniente restringir este a doze fábulas de tradição oral para cada literatura, o que totalizou vinte e quatro fábulas. O propósito fulcral deste estudo dissertativo foi cotejar as fábulas da literatura oral de Icolo e Bengo e de Bragança. Para que isso ocorresse, utilizou-se o método comparativo, limitando-se as teorias estrutural e semiótico-contextual, que facultou a realização do cotejo a nível estrutural e semiótico destas narrativas, destacando-se os aspetos semelhantes e dissemelhantes entre as fábulas de tradição oral de ambas as literaturas e contextualizando-as nas culturas de Icolo e Bengo e de Bragança. A dissertação está estruturada em quatro capítulos. O primeiro e o segundo tratam dos aspetos teóricos. Nesta parte, tecem-se considerações sobre o conceito de literatura, a noção de literatura oral, a questão dos géneros desta literatura bem como a morfologia da fábula de tradição oral. O terceiro e o quarto capítulos tratam dos aspetos analíticos propriamente dito, aquele a nível estrutural, e este a nível semiótico, sempre numa base comparativista. Do ponto de vista estrutural, analisa-se a forma como as fábulas de tradição oral de Icolo e Bengo e de Bragança são ordenadas segundo a lógica das ações, as particularidades das personagens, as coordenadas cronotópicas e a sintaxe categorial, segundo esquemas sequenciais e actanciais de Greimas. Já no domínio da semiótica da narrativa presta-se atenção à relação entre o texto e o contexto, analisando-se de forma criteriosa a macroestrutura, a referencialização e a intencionalidade, a fim de que se compreenda a estrutura significativa, mais ampla, subjacente à fábula de tradição oral das duas literaturas. Acredita-se que os dados aqui analisados podem ser úteis para o desenvolvimento de mais estudos sobre as narrativas de tradição oral em Angola e em Portugal, e para uma maior valorização dessas fábulas.
- Comparação de dois programas multimodais de Exercício Físico em idosos institucionalizadosPublication . Martins, Renato Gaspar; Brás, Rui Miguel MarquesObjetivo: Comparar os efeitos de dois programas multimodais de exercício físico sobre o funcionamento cognitivo e motor em idosos institucionalizados. Método: A amostra foi constituída por idosos institucionalizados provenientes de 2 lares da Covilhã e Fundão. Do grupo de idosos (n=23) seleccionados para integrarem a amostra inicial foram elegíveis 15 participantes, tendo terminado 13 participantes. Foram formados dois grupos: o Grupo dual Task (GDT) (n=6, 82,0±5,7 anos) e o Grupo de Exercício e Treino Cognitivo (GETC) (n=7, 80,6±8,1 anos). Cada grupo foi sujeito a uma intervenção específica 120 minutos por semana, com a duração de 4 meses. O GDT foi sujeito a um programa assente num conjunto de exercícios que promoviam simultaneamente a componente da mobilidade e força muscular com a memória, a função visuoespacial e a função executiva, sendo estruturados de acordo com a literatura. Ao GETC foi aplicado um programa de exercícios físicos-motores complementados por sessões de treino cognitivo utilizando o COGWEB®. Os grupos foram avaliados antes e após a intervenção nas seguintes variáveis: equilíbrio (Escala Berg), força dos membros inferiores (teste levantar e sentar) e mobilidade (TUG) (em situação simples tarefa e dupla tarefa), memória de trabalho (memória de dígitos) e capacidade executiva (TOL). O teste de Wilcoxon foi usado para inferência estatística intra-grupo e o teste U de Mann-Whitney para avaliar as diferenças inter-grupos, com o intervalo de confiança 95%. Resultados: Os resultados ainda que sem significância estatística (p>0,05) apontam para a melhoria das variáveis em estudo. Conclusões: Não sendo conclusivo qual programa acarreta maiores benefícios, conclui-se que ambos os programas permitem a manutenção das capacidades físicas como a força dos membros inferiores, equilíbrio estático e dinâmico, mobilidade e agilidade, bem como as capacidades cognitivas.
- Relatório de Estágio no Consulado Geral de Portugal em Bordéus – FrançaPublication . Soares, Rebecca Xénia Espinho; Ferreira, Liliana Domingues ReisNum mundo globalizado há sempre a necessidade de uma rede também ela globalizada, onde existem relações comerciais e sociais de grande importância. Esta rede globalizada existe assim para dar resposta às necessidades imediatas da população e do seu desenvolvimento social. Portugal e França sempre viveram intensas relações diplomáticas marcadas por momentos positivos e negativos que ao longo dos anos contribuíram para a construção da história das suas relações diplomáticas. Com efeito, França apresentou-se como um dos principais países acolhedores de emigrantes portugueses desde o século passado até aos dias de hoje. As relações luso-francesas têm sido alicerçadas numa ação coletiva com vista a estabelecer contactos pacíficos e estratégicos, não sendo só políticas mas também económicas e comerciais. Também a nível cultural e social se verifica um contato perene ao longo do tempo, existindo um reconhecimento de confiança e solidariedade entre os povos. O objetivo final deste relatório de estágio é demonstrar as atividades realizadas no Consulado Geral de Portugal em Bordéus ao longo de 3 meses, compreender a dinâmica e o funcionamento de toda a estrutura em que assenta, perceber de que maneira se aproxima da comunidade portuguesa residente na área de jurisdição, e ir ao encontro de todas as necessidades que são encontradas. O principal motivo que me levou a escolher o Consulado Geral de Portugal em Bordéus como local de estágio, prendeu-se com o facto de me encontrar a residir em Bordéus, cidade esta inscrita no Património Mundial da UNESCO, aliada à arte e à história, que claramente contribuiu para a realização de um estágio no enquadramento da minha área científica.