Detecção multiutilizador do domínio da frequência para sistemas DS-CDMA

Os Sinais de Espalhamento de Espectro de Sequência Directa exibem propriedades cicloestacionárias que implicam redundância entre componentes de frequência espaçadas por múltiplos da taxa de símbolo. Nesta tese, é apresentado um cancelador de interferência multiutilizador (Cancelador por translação na frequência - FSC) que tira partido desta propriedade. Este cancelador linear opera no domínio da frequência no sinal espalhado de tal forma que minimiza a interferência e ruído na saída (Critério do Mínimo Erro Quadrado Médio). Além de testado para o caso de antena única, são avaliadas as performances das configurações de antenas múltiplas para o caso de beamforming e canais espacialmente descorrelacionados considerando sistemas síncronos e sistemas com desalinhamento no tempo dos perfis de canais (ambos UMTS-TDD). Essas configurações divergiam na ordem da combinação temporal, combinação espacial e detecção multiutilizador. As configurações FSC foram avaliadas quando concatenadas com o PIC-2D. Os resultados das simulações mostram consideráveis melhorias nos resultados relativamente ao RAKE-2D convencional e PIC-2D. Foi atingida performance próximo ao RAKE de utilizador único quando o FSC foi avaliado concatenado com PIC-2D em quase todas as configurações. Todas as configurações foram avaliadas com modulação QPSK, 8-PSK e 16-QAM. Foi introduzida codificação Turbo e identificou-se as situações da vantagem de utilização do FSC antes do PIC-2D. As modulações 8-PSK e 16-QAM foram igualmente testadas com codificação.

Estabilidade de sistemas comutados com reset parcial

A presente tese é dedicada ao estudo da estabilidade de sistemas definidos por famílias finitas de sistemas lineares invariantes e por regras de comutação que coordenam a comutação entre eles. Assumimos que, em cada instante de tempo onde ocorre comutação, a trajectória do estado do sistema possa sofrer um "salto" desencadeado pela aplicação de um reset. Estes sistemas são, neste trabalho, designados por sistemas comutados com reset. Os resets podem ser de dois tipos - totais ou parciais, dependendo se a totalidade ou apenas uma parte das componentes do estado está disponível para reset. Neste sentido, distinguimos sistemas comutados com reset (total) e sistemas comutados com reset parcial. Analisamos a estabilidade dos dois tipos de sistemas comutados referidos à luz da teoria de Lyapunov e sob duas perspectivas; por um lado determinamos sob que condições um sistema comutado com reset é estável e por outro, identificamos resets que, quando aplicados, asseguram a estabilidade do sistema. Neste último ponto, a escolha dos resets adequados a aplicar pode por si só revelar-se insuficiente para obter estabilidade, especialmente se apenas parte das componentes do estado estiver disponível para reset (caso de reset parcial).

Sistemas de recepção de imagens de satélite: implementação e aplicações

A presente dissertação pretende focalizar-se sobre algumas aplicações da detecção remota por satélite. Assim, será exposto neste trabalho o resultado do desenvolvimento de sistemas de recepção de imagens obtidas por satélites de órbita polar e geostacionária, assim como um conjunto de três aplicações implementadas: a detecção de focos de incêndio em Portugal com dados do MSG-1, o desenvolvimento de um conjunto de actividades de exploração da Detecção Remota no contexto do 1' Ciclo do Ensino Básico e a validação dos resultados de previsão do modelo de mesoescala MM5 com imagens de satélite. A análise destas imagens desempenha um papel crucial, por exemplo nos estudos sobre tempo e clima. É por essa razão que tanto os Estados Unidos como outros países têm vindo a desenvolver um esforço contínuo para que possam ser lançados novos satélites que permitam uma constante aquisição de conhecimentos sobre os fenómenos meteorológicos. Deste modo, a implementação de sistemas de recepção que possibilitem transformar as medidas disponibilizadas por instrumentos a bordo de satélites em informação constitui um empreendimento de extrema utilidade para as mais diversas áreas do saber (como as Geociências ou a Meteorologia), revestindo-se de inúmeras aplicações de interesse para a Sociedade, nomeadamente nos sectores agrícola, energético, dos transportes e da conservação do meio ambiente.

Enhanced ethernet switching technology for adaptive hard real-time applications: Tecnologia de comutação ethernet melhorada para aplicações adaptativas e críticas de tempo-real

Os Sistemas Embarcados Distribuídos (SEDs) estão, hoje em dia, muito difundidos em vastas áreas, desde a automação industrial, a automóveis, aviões, até à distribuição de energia e protecção do meio ambiente. Estes sistemas são, essencialmente, caracterizados pela integração distribuída de aplicações embarcadas, autónomas mas cooperantes, explorando potenciais vantagens em termos de modularidade, facilidade de manutenção, custos de instalação, tolerância a falhas, entre outros. Contudo, o ambiente operacional onde se inserem estes tipos de sistemas pode impor restrições temporais rigorosas, exigindo que o sistema de comunicação subjacente consiga transmitir mensagens com garantias temporais. Contudo, os SEDs apresentam uma crescente complexidade, uma vez que integram subsistemas cada vez mais heterogéneos, quer ao nível do tráfego gerado, quer dos seus requisitos temporais. Em particular, estes subsistemas operam de forma esporádica, isto é, suportam mudanças operacionais de acordo com estímulos exteriores. Estes subsistemas também se reconfiguram dinamicamente de acordo com a actualização dos seus requisitos e, ainda, têm lidar com um número variável de solicitações de outros subsistemas. Assim sendo, o nível de utilização de recursos pode variar e, desta forma, as políticas de alocação estática tornam-se muito ineficientes. Consequentemente, é necessário um sistema de comunicação capaz de suportar com eficácia reconfigurações e adaptações dinâmicas. A tecnologia Ethernet comutada tem vindo a emergir como uma solução sólida para fornecer comunicações de tempo-real no âmbito dos SEDs, como comprovado pelo número de protocolos de tempo-real que foram desenvolvidos na última década. No entanto, nenhum dos protocolos existentes reúne as características necessárias para fornecer uma eficiente utilização da largura de banda e, simultaneamente, para respeitar os requisitos impostos pelos SEDs. Nomeadamente, a capacidade para controlar e policiar tráfego de forma robusta, conjugada com suporte à reconfiguração e adaptação dinâmica, não comprometendo as garantias de tempo-real. Esta dissertação defende a tese de que, pelo melhoramento dos comutadores Ethernet para disponibilizarem mecanismos de reconfiguração e isolamento de tráfego, é possível suportar aplicações de tempo-real críticas, que são adaptáveis ao ambiente onde estão inseridas.Em particular, é mostrado que as técnicas de projecto, baseadas em componentes e apoiadas no escalonamento hierárquico de servidores de tráfego, podem ser integradas nos comutadores Ethernet para alcançar as propriedades desejadas. Como suporte, é fornecida, também, uma solução para instanciar uma hierarquia reconfigurável de servidores de tráfego dentro do comutador, bem como a análise adequada ao modelo de escalonamento. Esta última fornece um limite superior para o tempo de resposta que os pacotes podem sofrer dentro dos servidores de tráfego, com base unicamente no conhecimento de um dado servidor e na hierarquia actual, isto é, sem o conhecimento das especifidades do tráfego dentro dos outros servidores. Finalmente, no âmbito do projecto HaRTES foi construído um protótipo do comutador Ethernet, o qual é baseado no paradigma “Flexible Time-Triggered”, que permite uma junção flexível de uma fase síncrona para o tráfego controlado pelo comutador e uma fase assíncrona que implementa a estrutura hierárquica de servidores referidos anteriormente. Além disso, as várias experiências práticas realizadas permitiram validar as propriedades desejadas e, consequentemente, a tese que fundamenta esta dissertação.

O interesse socioeducativo (e as dificuldades) de traduzir em português-espanhol

O Projeto que apresentamos insere-se nos estudos do Mestrado em Tradução Especializada dentro da vertente da Saúde e Ciências da Vida; é por isso que, partindo de um texto/suporte que visa promover uma alimentação saudável nas escolas (manual de referência difundido pelos Ministérios da Educação e Ciência e Ministério da Saúde de Portugal), procedemos à tradução (de português para espanhol) de um conteúdo que suscita, nos nossos dias, um grande interesse socioeducativo e cultural. É preciso destacar que o facto de ter nascido e vivido na Venezuela durante doze anos permitiu-me superar com êxito os meus estudos de espanhol na Licenciatura e no referido Mestrado; mas, ao mesmo tempo, tive que me adaptar, enquanto cidadã portuguesa, ao complexo e inacabado processo de ir interiorizando estas duas línguas – português/espanhol – tão próximas e no entanto com sistemas linguísticos bem distintos. Esta evidência encontra a sua maior justificação no grande capítulo dos erros (de forma e de significado) que consegui detetar e analisar graças à ajuda da minha professora orientadora, ao longo deste meu primeiro trabalho académico (texto traduzido para espanhol). Só agora, depois da minha primeira e “ingénua” tradução desse texto/manual, sou capaz de perceber com toda nitidez a dimensão do erro na atividade tradutora, assim como das suas consequências. Além desta importante reflexão, também o facto de elaborar este projeto permitiu-me abordar um aspeto linguístico da língua espanhola que me cativa pessoalmente (no que me diz respeito): o das variantes lexicais do castelhano nos países hispanofalantes. Não duvido em apontar um outro aspeto fundamental: o esforço de ter tido que corrigir minuciosamente e com rigor esta tarefa tradutora (com os seus respetivos comentários tradutológicos) converteu-se numa fonte de múltiplas satisfações pessoais; são aquelas que têm a ver com o cultivo de valores tais como o esforço, o espírito de superação, o exercício da responsabilidade e o (re)conhecimento da honestidade intelectual, entre outros.

Reserva de recursos MSRP para o switch de tempo-real HaRTES

Os mecanismos e técnicas do domínio de Tempo-Real são utilizados quando existe a necessidade de um sistema, seja este um sistema embutido ou de grandes dimensões, possuir determinadas características que assegurem a qualidade de serviço do sistema. Os Sistemas de Tempo-Real definem-se assim como sistemas que possuem restrições temporais rigorosas, que necessitam de apresentar altos níveis de fiabilidade de forma a garantir em todas as instâncias o funcionamento atempado do sistema. Devido à crescente complexidade dos sistemas embutidos, empregam-se frequentemente arquiteturas distribuídas, onde cada módulo é normalmente responsável por uma única função. Nestes casos existe a necessidade de haver um meio de comunicação entre estes, de forma a poderem comunicar entre si e cumprir a funcionalidade desejadas. Devido à sua elevada capacidade e baixo custo a tecnologia Ethernet tem vindo a ser alvo de estudo, com o objetivo de a tornar num meio de comunicação com a qualidade de serviço característica dos sistemas de tempo-real. Como resposta a esta necessidade surgiu na Universidade de Aveiro, o Switch HaRTES, o qual possui a capacidade de gerir os seus recursos dinamicamente, de modo a fornecer à rede onde é aplicado garantias de Tempo-Real. No entanto, para uma arquitetura de rede ser capaz de fornecer aos seus nós garantias de qualidade serviço, é necessário que exista uma especificação do fluxo, um correto encaminhamento de tráfego, reserva de recursos, controlo de admissão e um escalonamento de pacotes. Infelizmente, o Switch HaRTES apesar de possuir todas estas características, não suporta protocolos standards. Neste documento é apresentado então o trabalho que foi desenvolvido para a integração do protocolo SRP no Switch HaRTES.

Demonstrador para rede tempo-real HaRTES

A utilização de sistemas embutidos distribuídos em diversas áreas como a robótica, automação industrial e aviónica tem vindo a generalizar-se no decorrer dos últimos anos. Este tipo de sistemas são compostos por vários nós, geralmente designados por sistemas embutidos. Estes nós encontram-se interligados através de uma infra-estrutura de comunicação de forma a possibilitar a troca de informação entre eles de maneira a concretizar um objetivo comum. Por norma os sistemas embutidos distribuídos apresentam requisitos temporais bastante exigentes. A tecnologia Ethernet e os protocolos de comunicação, com propriedades de tempo real, desenvolvidos para esta não conseguem associar de uma forma eficaz os requisitos temporais das aplicações de tempo real aos requisitos Quality of Service (QoS) dos diferentes tipos de tráfego. O switch Hard Real-Time Ethernet Switching (HaRTES) foi desenvolvido e implementado com o objetivo de solucionar estes problemas devido às suas capacidades como a sincronização de fluxos diferentes e gestão de diferentes tipos de tráfego. Esta dissertação apresenta a adaptação de um sistemas físico de modo a possibilitar a demonstração do correto funcionamento do sistema de comunicação, que será desenvolvido e implementado, utilizando um switch HaRTES como o elemento responsável pela troca de informação na rede entre os nós. O desempenho da arquitetura de rede desenvolvida será também testada e avaliada.