Time diversity solutions to cope with lost packets

A dissertation submitted to Departamento de Engenharia Electrotécnica of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Engenharia Electrotécnica e de Computadores

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

On the HHT, its problems, and some solutions

Mechanical Systems and Signal Processing, Vol.22, Number 6

Unified cooperative location system

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

A pattern language for parallelizing irregular algorithms

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

Estimation of infection rate in epidemic models with multiple populations

Dissertação para obtenção do Grau de Mestre em Matemática e Aplicações Especialização em Actuariado, Estatística e Investigação Operacional

Single operation multiple data - paralelismo de dados ao nível da sub-rotina

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Key-CRDT stores

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Three transducers for one photodetector: essays for optical communications

Dissertation presented to obtain the PhD degree in Electrical and Computer Engineering - Electronics

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

A communication strategy for Continente: Practical, low priced and healthy eating solutions

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Desenvolvimento de um ensaio de hibridação múltipla (MHA-MULTIPLE REGION HYBRIDIZATION ASSAY) para identificação presumível de vírus da imunodeficiência humana do tipo 1 (HIV-1) dos subtipos B, G e de formas recombinantes CRF14_BG e CRF02_AG circulantes em Portugal

A maioria dos métodos utilizados na caracterização genética do HIV-1 baseia-se na análise de regiões específicas do genoma viral, fornecendo informação parcial sobre o mesmo e, por consequência, revelando-se inadequados para a identificação de vírus recombinantes. O único método que permite uma caracterização integral do genoma viral passa pela sua sequenciação completa. No entanto, este é um método dispendioso, laborioso e de difícil implementação quando se pretende a análise de elevados números de amostras. Como alternativa a este último, o conjunto de métodos genericamente designados de MHA (Multiple Region Hybridization Assay) baseiam-se na amplificação, por PCR em tempo-real, de várias regiões ao longo do genoma viral e na sua caracterização com sondas específicas (TaqMan). Tendo este modelo por base, o objectivo deste estudo foi o desenvolvimento de um ensaio de hibridação múltipla (MHABG0214) passível de ser aplicado ao estudo de um elevado número de amostras. Este método foi desenvolvido tendo como objectivo a genotipagem as estirpes circulantes dominantes na epidemia Portuguesa, nomeadamente os subtipos B, G e formas genéticas recombinantes CRF02_AG e CRF14_BG. Com base em alinhamentos de sequências de referência de genoma completo, delinearam-se primers universais e subtipo-específicos para a amplificação de diversas regiões codificantes distribuídas ao longo do genoma do HIV-1 (Gag, Protease, Transcriptase Reversa, Integrase, Rev, Gp120 e Gp41). A optimização foi efectuada, inicialmente, para um conjunto de amostras de referência e seguidamente avaliada num conjunto de 50 amostras clínicas. O MHABG0214 foi implementado numa estratégia de PCR em tempo-real, numa detecção dependente de SYBR® Green I para todas as regiões ou, como alternativa, usando sondas TaqMan (Gp41). Apresentamos ainda uma estratégia em que a análise de resultados se baseia, simplesmente, numa abordagem usando PCR/gel de agarose convencional. Estas abordagens constituem ferramentas úteis na identificação das estirpes de HIV-1 em Portugal.

Smart & Simple Business Solutions (SSBS)

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Intrusion tolerant routing with data consensus in wireless sensor networks

Dissertação para obtenção do Grau de Mestre em Engenharia Informática