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.

Channel and frequency offset estimation schemes for multicarrier systems

O presente trabalho aborda o problema da estimação de canal e da estimação de desvio de frequência em sistemas OFDM com múltiplas configurações de antenas no transmissor e no receptor. Nesta tese é apresentado o estudo teórico sobre o impacto da densidade de pilotos no desempenho da estimação de canal em sistemas OFDM e são propostos diversos algoritmos para estimação de canal e estimação de desvio de frequência em sistemas OFDM com antenas únicas no transmissor e receptor, com diversidade de transmissão e MIMO. O estudo teórico culmina com a formulação analítica do erro quadrático médio de um estimador de canal genérico num sistema OFDM que utilize pilotos dedicados, distribuidos no quadro transmitido em padrões bi-dimensionais. A formulação genérica é concretizada para o estimador bi-dimensional LS-DFT, permitindo aferir da exactidão da formulação analítica quando comparada com os valores obtidos por simulação do sistema abordado. Os algoritmos de estimação investigados tiram partido da presença de pilotos dedicados presentes nos quadros transmitidos para estimar com precisão os parâmetros pretendidos. Pela sua baixa complexidade, estes algoritmos revelam-se especialmente adequados para implementação em terminais móveis com capacidade computacional e consumo limitados. O desempenho dos algoritmos propostos foi avaliado por meio de simulação do sistema utilizado, recorrendo a modelos aceites de caracterização do canal móvel multipercurso. A comparação do seu desempenho com algoritmos de referência permitir aferir da sua validade. ABSTRACT: The present work focus on the problem of channel estimation and frequency offset estimation in OFDM systems, with different antenna configurations at both the transmitter and the receiver. This thesis presents the theoretical study of the impact of the pilot density in the performance of the channel estimation in OFDM systems and proposes several channel and frequency offset algorithms for OFDM systems with single antenna at both transmitter and receiver, with transmitter diversity and MIMO. The theoretical study results in the analytical formulation of the mean square error of a generic channel estimator for an OFDM system using dedicated pilots, distributed in the transmitted frame in two-dimensional patterns. The generic formulation is implemented for the two-dimensional LS-DFT estimator to verify the accuracy of the analytical formulation when compared with the values obtained by simulation of the discussed system. The investigated estimation algorithms take advantage of the presence of dedicated pilots present in the transmitted frames to accurately estimate the required parameters. Due to its low complexity, these algorithms are especially suited for implementation in mobile terminals with limited processing power and consumption. The performance of the proposed algorithms was evaluated by simulation of the used system, using accepted multipath mobile channel models. The comparison of its performance with the one of reference algorithms measures its validity.

Flexible management of bandwidth and redundancy in fieldbuses

Os sistemas distribuídos embarcados (Distributed Embedded Systems – DES) têm sido usados ao longo dos últimos anos em muitos domínios de aplicação, da robótica, ao controlo de processos industriais passando pela aviónica e pelas aplicações veiculares, esperando-se que esta tendência continue nos próximos anos. A confiança no funcionamento é uma propriedade importante nestes domínios de aplicação, visto que os serviços têm de ser executados em tempo útil e de forma previsível, caso contrário, podem ocorrer danos económicos ou a vida de seres humanos poderá ser posta em causa. Na fase de projecto destes sistemas é impossível prever todos os cenários de falhas devido ao não determinismo do ambiente envolvente, sendo necessária a inclusão de mecanismos de tolerância a falhas. Adicionalmente, algumas destas aplicações requerem muita largura de banda, que também poderá ser usada para a evolução dos sistemas, adicionandolhes novas funcionalidades. A flexibilidade de um sistema é uma propriedade importante, pois permite a sua adaptação às condições e requisitos envolventes, contribuindo também para a simplicidade de manutenção e reparação. Adicionalmente, nos sistemas embarcados, a flexibilidade também é importante por potenciar uma melhor utilização dos, muitas vezes escassos, recursos existentes. Uma forma evidente de aumentar a largura de banda e a tolerância a falhas dos sistemas embarcados distribuídos é a replicação dos barramentos do sistema. Algumas soluções existentes, quer comerciais quer académicas, propõem a replicação dos barramentos para aumento da largura de banda ou para aumento da tolerância a falhas. No entanto e quase invariavelmente, o propósito é apenas um, sendo raras as soluções que disponibilizam uma maior largura de banda e um aumento da tolerância a falhas. Um destes raros exemplos é o FlexRay, com a limitação de apenas ser permitido o uso de dois barramentos. Esta tese apresentada e discute uma proposta para usar a replicação de barramentos de uma forma flexível com o objectivo duplo de aumentar a largura de banda e a tolerância a falhas. A flexibilidade dos protocolos propostos também permite a gestão dinâmica da topologia da rede, sendo o número de barramentos apenas limitado pelo hardware/software. As propostas desta tese foram validadas recorrendo ao barramento de campo CAN – Controller Area Network, escolhido devido à sua grande implantação no mercado. Mais especificamente, as soluções propostas foram implementadas e validadas usando um paradigma que combina flexibilidade com comunicações event-triggered e time-triggered: o FTT – Flexible Time- Triggered. No entanto, uma generalização para CAN nativo é também apresentada e discutida. A inclusão de mecanismos de replicação do barramento impõe a alteração dos antigos protocolos de replicação e substituição do nó mestre, bem como a definição de novos protocolos para esta finalidade. Este trabalho tira partido da arquitectura centralizada e da replicação do nó mestre para suportar de forma eficiente e flexível a replicação de barramentos. Em caso de ocorrência de uma falta num barramento (ou barramentos) que poderia provocar uma falha no sistema, os protocolos e componentes propostos nesta tese fazem com que o sistema reaja, mudando para um modo de funcionamento degradado. As mensagens que estavam a ser transmitidas nos barramentos onde ocorreu a falta são reencaminhadas para os outros barramentos. A replicação do nó mestre baseia-se numa estratégia líder-seguidores (leaderfollowers), onde o líder (leader) controla todo o sistema enquanto os seguidores (followers) servem como nós de reserva. Se um erro ocorrer no nó líder, um dos nós seguidores passará a controlar o sistema de uma forma transparente e mantendo as mesmas funcionalidades. As propostas desta tese foram também generalizadas para CAN nativo, tendo sido para tal propostos dois componentes adicionais. É, desta forma possível ter as mesmas capacidades de tolerância a falhas ao nível dos barramentos juntamente com a gestão dinâmica da topologia de rede. Todas as propostas desta tese foram implementadas e avaliadas. Uma implementação inicial, apenas com um barramento foi avaliada recorrendo a uma aplicação real, uma equipa de futebol robótico onde o protocolo FTT-CAN foi usado no controlo de movimento e da odometria. A avaliação do sistema com múltiplos barramentos foi feita numa plataforma de teste em laboratório. Para tal foi desenvolvido um sistema de injecção de faltas que permite impor faltas nos barramentos e nos nós mestre, e um sistema de medida de atrasos destinado a medir o tempo de resposta após a ocorrência de uma falta.

Distributed coding for systems with cooperative diversity

O presente trabalho propõe-se a divulgar as mais significativas técnicas de esquemas cooperativos, de forma a ultrapassar alguns dos problemas dos sistemas móveis sem fios da próxima geração, estendendo a área de cobertura destes sistemas, assim como a sua capacidade e fiabilidade. O estudo de diversos esquemas cooperativos é efetuado em termos de capacidade e de taxa de erros, fazendo variar o número de relays e de antenas em cada elemento do sistema. Diversos algoritmos com aplicação em sistemas cooperativos são desenvolvidos e propostos ao longo desta tese, como códigos espaço-frequência aplicados de forma distribuída nos relays, para sistemas baseados na tecnologia OFDM e sob diversos cenários próximos da realidade. Os sistemas cooperativos são particularmente úteis em situações em que o caminho direto entre dois terminais não está acessível ou tem uma fraca qualidade de transmissão. Tendo este aspeto em consideração, e pretendendo ter a máxima eficiência espetral e máxima diversidade, um algoritmo com precodificação é também proposto para múltiplos relays, cada um equipado com uma ou duas antenas. A formulação matemática associada aos algoritmos propostos é apresentada, assim como a derivação da probabilidade de erro teórica. O desempenho dos sistemas assistidos por relays usando os algoritmos propostos é comparado em relação a outros esquemas cooperativos equivalentes e a esquemas não-cooperativos, considerando cenários com diferentes qualidades de canal, daí advindo importantes conclusões em relação a estes sistemas.

Polarization effects in fiber-optic communication systems

In this thesis we perform a detailed analysis of the state of polarization (SOP) of light scattering process using a concatenation of ber-coil based polarization controllers (PCs). We propose a polarization-mode dispersion (PMD) emulator, built through the concatenation of bercoil based PCs and polarization-maintaining bers (PMFs), capable of generate accurate rst- and second-order PMD statistics. We analyze the co-propagation of two optical waves inside a highbirefringence ber. The evolution along the ber of the relative SOP between the two signals is modeled by the de nition of the degree of co-polarization parameter. We validate the model for the degree of co-polarization experimentally, exploring the polarization dependence of the four-wave mixing e ect into a ber with high birefringence. We also study the interaction between signal and noise mediated by Kerr e ect in optical bers. A model accurately describing ampli ed spontaneous emission noise in systems with distributed Raman gain is derived. We show that the noise statistics depends on the propagation distance and on the signal power, and that for distances longer than 120 km and signal powers higher than 6 mW it deviates signi catively from the Gaussian distribution. We explore the all-optical polarization control process based on the stimulated Raman scattering e ect. Mapping parameters like the degree of polarization (DOP), we show that the preferred ampli cation of one particular polarization component of the signal allows a polarization pulling over a wavelength range of 60 nm. The e ciency of the process is higher close to the maximum Raman gain wavelength, where the DOP is roughly constant for a wavelength range of 15 nm. Finally, we study the polarization control in quantum key distribution (QKD) systems with polarization encoding. A model for the quantum bit error rate estimation in QKD systems with time-division multiplexing and wavelength-division multiplexing based polarization control schemes is derived.

Cellular responses to genome mistranslation

Low level protein synthesis errors can have profound effects on normal cell physiology and disease development, namely neurodegeneration, cancer and aging. The biology of errors introduced into proteins during mRNA translation, herein referred as mistranslation, is not yet fully understood. In order to shed new light into this biological phenomenon, we have engineered constitutive codon misreading in S. cerevisiae, using a mutant tRNA that misreads leucine CUG codons as serine, representing a 240 fold increase in mRNA translational error relative to typical physiological error (0.0001%). Our studies show that mistranslation induces autophagic activity, increases accumulation of insoluble proteins, production of reactive oxygen species, and morphological disruption of the mitochondrial network. Mistranslation also up-regulates the expression of the longevity gene PNC1, which is a regulator of Sir2p deacetylase activity. We show here that both PNC1 and SIR2 are involved in the regulation of autophagy induced by mistranslation, but not by starvation-induced autophagy. Mistranslation leads to P-body but not stress-granule assembly, down-regulates the expression of ribosomal protein genes and increases slightly the selective degradation of ribosomes (ribophagy). The study also indicates that yeast cells are much more resistant to mistranslation than expected and highlights the importance of autophagy in the cellular response to mistranslation. Morpho-functional alterations of the mitochondrial network are the most visible phenotype of mistranslation. Since most of the basic cellular processes are conserved between yeast and humans, this study reinforces the importance of yeast as a model system to study mistranslation and suggests that oxidative stress and accumulation of misfolded proteins arising from aberrant protein synthesis are important causes of the cellular degeneration observed in human diseases associated to mRNA mistranslation.

Poeta, ou aquele que faz: a poética como inovação em design

Com o objectivo de cumprir com as normas legais em vigor na Universidade de Aveiro conducentes ao reconhecimento do grau de Doutor em Design por avaliação da obra realizada, o presente relatório descreve os objectivos e procedimentos metodológicos, demonstrando o argumento da inovação no conjunto compilado das 100 obras seleccionadas entre os projectos de design realizados no período dos últimos dez anos de actividade profissional do candidato. Para além do enunciado em conformidade com os pressupostos legais, e porque a obra desenvolvida decorre de um contínuo processo de reflexão sobre a própria prática, entende o candidato oportuna a apresentação de um conjunto de textos realizados no mesmo período e que conformarão assim, uma cosmologia teórica própria, sobre a história e teoria do design que contribuirá para o melhor esclarecimento em contexto, das intenções éticas e estéticas dessa obra. O conjunto de contributos de reflexão teórica, que aqui se encontram revelam uma continuidade (maculada pela experiência existencial), que atribui à prática um desempenho quase sempre contaminado pelo corpo de afectos do seu agente, que assim dá origem ao género criativo (poietico) autobiográfico, fundado na metodologia fenomenológica (revelando a ciência do design nos seus próprios procedimentos, “voltando às próprias coisas”). Ao reflectir sobre a prática de projecto enquanto definição disciplinar de Design, verificou-se urgente o esclarecimento ontológico da disciplina, assim procurando perscrutar a definição do que seja, para compreender melhor de que forma lhe pudesse servir os seus interesses bioculturais, numa perspectiva metaprojectual, social, política e estética. O Design, enquanto disciplina da con-formação (da atribuição de forma às coisas), é também o lugar da atribuição de sentido, elevando-as à condição de seres idealizados _ formas são ideias, ainda que imperfeitamente desenhadas (Platão). Neste pressuposto parece inevitável a aproximação da prática projectual do design ao exercício da filosofia, já que a filosofia serve, sobretudo, para inventar conceitos operativos, funcionalizando a mudança (Deleuze). No entanto, o que se encontra neste registo não é uma produção prática que ilustra a jusante uma intencionalidade teórica motivadora mas, bem pelo contrário, uma teorização que anda a zorro da prática da vida, procurando perceber o que parecia inconscientemente suspeitar, confirmando-o. O conjunto de temas teoricamente tratados, constituem aproximações naturalistas por tentativa e erro, que se repetem no tempo em torno de palavras chave como poética, criação, criatividade, tecnologia, artesanato, ontologia, disciplina, desenho, desejo-desenho-desígnio, engenharia-arte-gestão, design, projecto, humano, humanização, diferença, dispositivo, ética, estética, domínio, submissão, zen. Muitos destes temas foram apropriados recorrendo a um conjunto muito diverso e heterogéneo de autores. Aqui misturam-se os filósofos universalmente consagrados, com outros pensadores do Design (Adorno, Aristóteles, Badiou, Di Bártolo, Branco, Brusatin, Calvera, Deleuze, Descartes, Doberti, Espinosa, Flusser, Heidegger, Leiro, Maldonado, Munari, Platão, Pombo, Séneca, Simon, Zizek, e Zumthor), aos quais se associa uma terceira vaga de colegas menos conhecidos, estudantes e investigadores, respigados no grande acaso da web. Na sua assistemática forma de abordagem teórica (Flusser), a teoria não é aqui convocada como janela modernista, abrindo-se sem limites sobre a paisagem organizada, mas como múltiplas aberturas determinadas pela urgência da necessidade, conformando uma arquitectura orgânica e espontânea, do vernacular dirigido por pontos de vista pertinentes e dispersos, produzindo uma visão caleidoscópica, múltipla, cubista, mas sincronicamente orientada sobre o objecto que, tendo vida própria, não pára para posar.

Interference cancellation for distributed wireless systems

O tema principal desta tese é o problema de cancelamento de interferência para sistemas multi-utilizador, com antenas distribuídas. Como tal, ao iniciar, uma visão geral das principais propriedades de um sistema de antenas distribuídas é apresentada. Esta descrição inclui o estudo analítico do impacto da ligação, dos utilizadores do sistema, a mais antenas distribuídas. Durante essa análise é demonstrado que a propriedade mais importante do sistema para obtenção do ganho máximo, através da ligação de mais antenas de transmissão, é a simetria espacial e que os utilizadores nas fronteiras das células são os mais bene ciados. Tais resultados são comprovados através de simulação. O problema de cancelamento de interferência multi-utilizador é considerado tanto para o caso unidimensional (i.e. sem codi cação) como para o multidimensional (i.e. com codi cação). Para o caso unidimensional um algoritmo de pré-codi cação não-linear é proposto e avaliado, tendo como objectivo a minimização da taxa de erro de bit. Tanto o caso de portadora única como o de multipla-portadora são abordados, bem como o cenário de antenas colocadas e distribuidas. É demonstrado que o esquema proposto pode ser visto como uma extensão do bem conhecido esquema de zeros forçados, cuja desempenho é provado ser um limite inferior para o esquema generalizado. O algoritmo é avaliado, para diferentes cenários, através de simulação, a qual indica desempenho perto do óptimo, com baixa complexidade. Para o caso multi-dimensional um esquema para efectuar "dirty paper coding" binário, tendo como base códigos de dupla camada é proposto. No desenvolvimento deste esquema, a compressão com perdas de informação, é considerada como um subproblema. Resultados de simulação indicam transmissão dedigna proxima do limite de Shannon.

The role of environmental stress on protein synthesis fidelity

Estudos recentes estabelecem uma ligação entre erros na tradução do mRNA e cancro, envelhecimento e neurodegeneração. RNAs de transferência mutantes que introduzem aminoácidos em locais errados nas proteínas aumentam a produção de espécies reactivas de oxigénio e a expressão de genes que regulam autofagia, ribofagia, degradação de proteínas não-funcionais e protecção contra o stress oxidativo. Erros na tradução do mRNA estão portanto relacionados com stress proteotóxico. Sabe-se agora que o mecanismo de toxicidade do crómio está associado à diminuição da fidelidade de tradução e à agregação de proteínas com malformações que destabilizam a sua estrutura terciária. Desta forma, é possível que os efeitos do stress ambiental ao nível da degeneração celular possam estar relacionados com a alteração da integridade da maquinaria da tradução. Neste estudo procedeu-se a uma avaliação alargada do impacto do stress ambiental na fidelidade da síntese de proteínas, utilizando S. cerevisiae como um sistema modelo. Para isso recorreu-se a repórteres policistrónicos de luciferase que permitiram quantificar especificamente a supressão de codões de terminação e o erro na leitura do codão AUG em células exposta a concentações não letais de metais pesados, etanol, cafeína e H2O2. Os resultados sugerem que a maquinaria de tradução é na generalidade muito resistente ao stress ambiental, devido a uma conjugação de mecanismos de homeostase que muito eficientemente antagonizam o impacto negativo dos erros de tradução. A nossa abordagem quantitativa permitiu-nos a identificar genes regulados por uma resposta programada ao stress ambiental que são também essenciais para mitigar a ocorrência de erros de tradução, nomeadamente, HSP12, HSP104 e RPN4. A exposição prolongada ao stress ambiental conduz à saturação dos mecanismos de homeostase, contribuindo para a acumulação de proteínas contendo erros de tradução e diminuindo a disponibilidade de proteínas funcionais directamente envolvidas na manutenção da fidelidade de tradução e integridade celular. Ao contrário de outras Hsps, a Hsp12p adopta normalmente uma localização membranar em condições de stress, que pode modular a fluidez e estabilidade membranar, sugerindo que a membrana plasmática é um alvo preferencial da perda de fidelidade da tradução. Para melhor compreender as respostas celulares aos erros de tradução, células contendo deleções em genes codificadores das Hsps foram transformadas com tRNAs mutantes que introduzem alterações no proteoma. Os nossos resultados demonstram que para além da resposta geral ao stress, estes tRNAs induzem alterações a nível do metabolismo celular e um aumento de aminoacilação com Metionina em vários tRNAs, sugerindo um mecanismo de protecção contra espécies reactivas de oxigénio. Em conclusão, este estudo sugere um papel para os erros de tradução na gestão de recursos energéticos e na adaptação das células a ambientes desfavoráveis.

Precoding techniques for coordinated multicell systems

Coordenação Multicélula é um tópico de investigação em rápido crescimento e uma solução promissora para controlar a interferência entre células em sistemas celulares, melhorando a equidade do sistema e aumentando a sua capacidade. Esta tecnologia já está em estudo no LTEAdvanced sob o conceito de coordenação multiponto (COMP). Existem várias abordagens sobre coordenação multicélula, dependendo da quantidade e do tipo de informação partilhada pelas estações base, através da rede de suporte (backhaul network), e do local onde essa informação é processada, i.e., numa unidade de processamento central ou de uma forma distribuída em cada estação base. Nesta tese, são propostas técnicas de pré-codificação e alocação de potência considerando várias estratégias: centralizada, todo o processamento é feito na unidade de processamento central; semidistribuída, neste caso apenas parte do processamento é executado na unidade de processamento central, nomeadamente a potência alocada a cada utilizador servido por cada estação base; e distribuída em que o processamento é feito localmente em cada estação base. Os esquemas propostos são projectados em duas fases: primeiro são propostas soluções de pré-codificação para mitigar ou eliminar a interferência entre células, de seguida o sistema é melhorado através do desenvolvimento de vários esquemas de alocação de potência. São propostas três esquemas de alocação de potência centralizada condicionada a cada estação base e com diferentes relações entre desempenho e complexidade. São também derivados esquemas de alocação distribuídos, assumindo que um sistema multicelular pode ser visto como a sobreposição de vários sistemas com uma única célula. Com base neste conceito foi definido uma taxa de erro média virtual para cada um desses sistemas de célula única que compõem o sistema multicelular, permitindo assim projectar esquemas de alocação de potência completamente distribuídos. Todos os esquemas propostos foram avaliados em cenários realistas, bastante próximos dos considerados no LTE. Os resultados mostram que os esquemas propostos são eficientes a remover a interferência entre células e que o desempenho das técnicas de alocação de potência propostas é claramente superior ao caso de não alocação de potência. O desempenho dos sistemas completamente distribuídos é inferior aos baseados num processamento centralizado, mas em contrapartida podem ser usados em sistemas em que a rede de suporte não permita a troca de grandes quantidades de informação.

Development of numerical methodologies for parameter identification and shape optimization in metal forming simulations

Por parte da indústria de estampagem tem-se verificado um interesse crescente em simulações numéricas de processos de conformação de chapa, incluindo também métodos de engenharia inversa. Este facto ocorre principalmente porque as técnicas de tentativa-erro, muito usadas no passado, não são mais competitivas a nível económico. O uso de códigos de simulação é, atualmente, uma prática corrente em ambiente industrial, pois os resultados tipicamente obtidos através de códigos com base no Método dos Elementos Finitos (MEF) são bem aceites pelas comunidades industriais e científicas Na tentativa de obter campos de tensão e de deformação precisos, uma análise eficiente com o MEF necessita de dados de entrada corretos, como geometrias, malhas, leis de comportamento não-lineares, carregamentos, leis de atrito, etc.. Com o objetivo de ultrapassar estas dificuldades podem ser considerados os problemas inversos. No trabalho apresentado, os seguintes problemas inversos, em Mecânica computacional, são apresentados e analisados: (i) problemas de identificação de parâmetros, que se referem à determinação de parâmetros de entrada que serão posteriormente usados em modelos constitutivos nas simulações numéricas e (ii) problemas de definição geométrica inicial de chapas e ferramentas, nos quais o objetivo é determinar a forma inicial de uma chapa ou de uma ferramenta tendo em vista a obtenção de uma determinada geometria após um processo de conformação. São introduzidas e implementadas novas estratégias de otimização, as quais conduzem a parâmetros de modelos constitutivos mais precisos. O objetivo destas estratégias é tirar vantagem das potencialidades de cada algoritmo e melhorar a eficiência geral dos métodos clássicos de otimização, os quais são baseados em processos de apenas um estágio. Algoritmos determinísticos, algoritmos inspirados em processos evolucionários ou mesmo a combinação destes dois são usados nas estratégias propostas. Estratégias de cascata, paralelas e híbridas são apresentadas em detalhe, sendo que as estratégias híbridas consistem na combinação de estratégias em cascata e paralelas. São apresentados e analisados dois métodos distintos para a avaliação da função objetivo em processos de identificação de parâmetros. Os métodos considerados são uma análise com um ponto único ou uma análise com elementos finitos. A avaliação com base num único ponto caracteriza uma quantidade infinitesimal de material sujeito a uma determinada história de deformação. Por outro lado, na análise através de elementos finitos, o modelo constitutivo é implementado e considerado para cada ponto de integração. Problemas inversos são apresentados e descritos, como por exemplo, a definição geométrica de chapas e ferramentas. Considerando o caso da otimização da forma inicial de uma chapa metálica a definição da forma inicial de uma chapa para a conformação de um elemento de cárter é considerado como problema em estudo. Ainda neste âmbito, um estudo sobre a influência da definição geométrica inicial da chapa no processo de otimização é efetuado. Este estudo é realizado considerando a formulação de NURBS na definição da face superior da chapa metálica, face cuja geometria será alterada durante o processo de conformação plástica. No caso dos processos de otimização de ferramentas, um processo de forjamento a dois estágios é apresentado. Com o objetivo de obter um cilindro perfeito após o forjamento, dois métodos distintos são considerados. No primeiro, a forma inicial do cilindro é otimizada e no outro a forma da ferramenta do primeiro estágio de conformação é otimizada. Para parametrizar a superfície livre do cilindro são utilizados diferentes métodos. Para a definição da ferramenta são também utilizados diferentes parametrizações. As estratégias de otimização propostas neste trabalho resolvem eficientemente problemas de otimização para a indústria de conformação metálica.

Computational methods in the fractional calculus of variations and optimal control

The fractional calculus of variations and fractional optimal control are generalizations of the corresponding classical theories, that allow problem modeling and formulations with arbitrary order derivatives and integrals. Because of the lack of analytic methods to solve such fractional problems, numerical techniques are developed. Here, we mainly investigate the approximation of fractional operators by means of series of integer-order derivatives and generalized finite differences. We give upper bounds for the error of proposed approximations and study their efficiency. Direct and indirect methods in solving fractional variational problems are studied in detail. Furthermore, optimality conditions are discussed for different types of unconstrained and constrained variational problems and for fractional optimal control problems. The introduced numerical methods are employed to solve some illustrative examples.

Characterization of proteotoxic stress in zebrafish

A fidelidade da síntese proteica é fundamental para a estabilidade do proteoma e para a homeostasia celular. Em condições fisiológicas normais as células têm uma taxa de erro basal associada e esta muitas vezes aumenta com o envelhecimento e doença. Problemas na síntese das proteínas estão associados a várias doenças humanas e aos processos de envelhecimento. De facto, a incorporação de erros nas proteínas devido a tRNAs carregados pelas aminoacil-tRNA sintetases com o amino ácido errado causa doenças neurodegenerativas em humanos e ratos. Ainda não é claro como é que estas doenças se desenvolvem e se são uma consequência directa da disrupção do proteoma ou se são o resultado da toxicidade produzida pela acúmulação de proteínas mal traduzidas ao nível do ribossoma. Para elucidar como é que as células eucarióticas lidam com proteínas aberrantes e agregados proteicos (stress proteotóxico) desenvolvemos uma estratégia para destabilizar o proteoma. Para isso estabelecemos um sistema de erros de tradução em embriões de peixe zebra que assenta em tRNAs mutantes capazes de incorporar erradamente serina nas proteínas. As proteínas produzidas neste sistema despoletam as vias de resposta ao stress, nomeadamente a via da ubiquitina-proteassoma (UPP – “ubiquitin protesome pathway”) e a via do retículo endoplasmático (UPR – “unfolded protein response”). O stress proteotóxico gerado pelos erros de tradução altera a expressão génica e perfis de expressão de miRNAs, o desenvolvimento embrionário e viabilidade, aumenta a produção de espécies reactivas de oxigénio (ROS), leva ainda à acumulação de agregados proteicos e à disfunção mitocondrial. As malformações embrionárias e fenótipos de viabilidade que observámos foram revertidos por antioxidantes, o que sugere que os ROS desempenham papéis importantes nos fenótipos degenerativos celulares induzidos pela produção de proteínas aberrantes e agregação proteica. Estabelecemos ainda uma linha de peixe zebra transgénica para o estudo do stress proteotóxico. Este trabalho mostra que a destabilização do proteoma em embriões de peixe zebra com tRNAs mutantes é uma boa metodologia para estudar a biologia do stress proteotóxico visto que permite a agregação controlada do proteoma, mimetizando os processos de agregação de proteínas que ocorrem naturalmente durante o envelhecimento e em doenças conformacionais humanas.

Challenges in mercury speciation and fractionation in soil and sediment

This investigation focused on the development, test and validation of methodologies for mercury fractionation and speciation in soil and sediment. After an exhaustive review of the literature, several methods were chosen and tested in well characterised soil and sediment samples. Sequential extraction procedures that divide mercury fractions according to their mobility and potential availability in the environment were investigated. The efficiency of different solvents for fractionation of mercury was evaluated, as well as the adequacy of different analytical instruments for quantification of mercury in the extracts. Kinetic experiments to establish the equilibrium time for mercury release from soil or sediment were also performed. It was found that in the studied areas, only a very small percentage of mercury is present as mobile species and that mobility is associated to higher aluminium and manganese contents, and that high contents of organic matter and sulfur result in mercury tightly bound to the matrix. Sandy soils tend to release mercury faster that clayey soils, and therefore, texture of soil or sediment has a strong influence on the mobility of mercury. It was also understood that analytical techniques for quantification of mercury need to be further developed, with lower quantification limits, particularly for mercury quantification of less concentrated fractions: water-soluble e exchangeable. Although the results provided a better understanding of the distribution of mercury in the sample, the complexity of the procedure limits its applicability and robustness. A proficiency-testing scheme targeting total mercury determination in soil, sediment, fish and human hair was organised in order to evaluate the consistency of results obtained by different laboratories, applying their routine methods to the same test samples. Additionally, single extractions by 1 mol L-1 ammonium acetate solution, 0.1 mol L-1 HCl and 0.1 mol L-1 CaCl2, as well as extraction of the organometallic fraction were proposed for soil; the last was also suggested for sediment and fish. This study was important to update the knowledge on analytical techniques that are being used for mercury quantification, the associated problems and sources of error, and to improve and standardize mercury extraction techniques, as well as to implement effective strategies for quality control in mercury determination. A different, “non chemical-like” method for mercury species identification was developed, optimised and validated, based on the thermo-desorption of the different mercury species. Compared to conventional extraction procedures, this method has advantages: it requires little to no sample treatment; a complete identification of species present is obtained in less than two hours; mercury losses are almost neglectable; can be considered “clean”, as no residues are produced; the worldwide comparison of results obtained is easier and reliable, an important step towards the validation of the method. Therefore, the main deliverables of this PhD thesis are an improved knowledge on analytical procedures for identification and quantification of mercury species in soils and sediments, as well as a better understanding of the factors controlling the behaviour of mercury in these matrices.

In search of reliable centimeter-level indoor positioning: a smartphone-based approach

This thesis describes the design and implementation of a reliable centimeter-level indoor positioning system fully compatible with a conventional smartphone. The proposed system takes advantage of the smartphone audio I/O and processing capabilities to perform acoustic ranging in the audio band using non-invasive audio signals and it has been developed having in mind applications that require high accuracy, such as augmented reality, virtual reality, gaming and audio guides. The system works in a distributed operation mode, i.e. each smartphone is able to obtain its own position using only acoustic signals. To support the positioning system, a Wireless Sensor Network (WSN) of synchronized acoustic beacons is used. To keep the infrastructure in sync we have developed an Automatic Time Synchronization and Syntonization (ATSS) protocol with a standard deviation of the sync offset error below 1.25 μs. Using an improved Time Difference of Arrival (TDoA) estimation approach (which takes advantage of the beacon signals’ periodicity) and by performing Non-Line-of-Sight (NLoS) mitigation, we were able to obtain very stable and accurate position estimates with an absolute mean error of less than 10 cm in 95% of the cases and a mean standard deviation of 2.2 cm for a position refresh period of 350 ms.