Segurança no nível físico em sistemas multi-antena com diretividade na informação

Os sistemas de comunicação sem fios são sistemas de difusão por natureza. Devido a essa sua natureza, um dos problemas inerentes à mesma deve-se à segurança e ao secretismo, pois se o canal é partilhado a informação facilmente é obtida por um utilizador não autorizado, ao contrário dos sistemas de comunicação com fios. Tradicionalmente, a introdução de segurança em sistemas de comunicação, resulta na encriptação da informação, resultante de protocolos de encriptação. No entanto, a segurança através da criptografia baseia-se na premissa de que o utilizador não autorizado tem uma capacidade de processamento limitada, pois senão poderia simplesmente tentar todas as combinações possíveis e obter a chave de encriptação. Como a capacidade de processamento tem crescido exponencialmente, este tipo de sistemas tem se tornado cada vez mais complexos para não se tornarem obsoletos. A introdução de segurança na camada física torna-se então uma opção apelativa pois pode servir como um complemento, visto que os sistemas de criptografia funcionam em camadas superiores independentes da camada fisica, apresentando assim uma abordagem multi-camada em termos de segurança. Tipicamente as técnicas de segurança no nível físico podem se agrupar em 2 tipos: técnicas que se baseiam em códigos, ou técnicas que exploram variações temporais e espaciais do canal. As primeiras diminuem a eficiência espectral do sistema, e as segundas apresentam bons resultados em ambientes dinâmicos, mas em ambientes estáticos não são muito promissores. Há também a necessidade de aumentar as taxas de transmissão nos próximos sistemas de comunicação. Devido a estes requisitos, uma das tecnologias propostas para a nova geração de comunicações, é uma tecnologia baseada numa arquitectura Multiple-Input-Multiple-Output(MIMO). Esta tecnologia é promissora e consegue atingir taxas de transferências que correspondem aos requisitos propostos. Apresenta-se assim uma nova técnica de segurança no nível físico, que explora as caracteristicas físicas do sistema, como um complemento a outras medidas de segurança em camadas mais altas. Esta técnica não provoca diminuição da eficiência espectral e é independente do canal, o que tenta solucionar os problemas das restantes técnicas já existentes.

Controlo unfalsified em sistemas MIMO

Com o crescente progresso tecnológico, surgem sistemas mais eficientes, mas também mais complexos e não-lineares. Isto torna-se mais evidente em sistemas Multi-Input Multi-Output (MIMO), devido a diferentes efeitos que uma entrada possa ter sobre diversas saídas. Para estes sistemas, a obtenção de modelos matemáticos que capturem, com precisão aceitável, a dinâmica do sistema, torna-se cada vez mais complexa e custosa. Sendo que muitos dos sistemas utilizados hoje em dia são MIMO, a diminuição na precisão dos modelos matemáticos é uma adversidade à eficiência dos sistemas de controlo. Isto deve-se a grande parte dos métodos de projeto de controladores terem como base o modelo do sistema. O trabalho realizado nesta dissertação pretende desenvolver uma estrutura de supervisão para sistemas MIMO, com base em controlo Unfalsified, ou Unfalsified Control (UC). Este consiste numa abordagem de controlo adaptativo, cujo processo de adaptação se traduz na seleção de um controlador, de entre um conjunto pré-determinado. Em cada momento é selecionado o controlador que mais se adequa ao objetivo de controlo pretendido. A utilização de UC representa uma possível solução para o problema apresentado, pois utiliza apenas dados experimentais recolhidos do funcionamento do processo. Assim, contorna a necessidade da existência de modelos do processo. Existem, no entanto, dificuldades associadas à comutação de controladores, pelo que este trabalho pretende também desenvolver uma estrutura de Bumpless Transfer (BT), de forma a reduzir estes efeitos. Finalmente, a utilização de dados experimentais implica que a aplicação de UC a um processo está apenas limitada ao ajuste dos parâmetros do sistema de supervisão, e à existência de um conjunto de controladores adequados.

Implementação integrada de SPC e EPC na melhoria contínua do processo

Dissertação apresentada na faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Industrial

Compact SMB chromatography for binary separation

A thesis submitted for the degree of Doctor of Philosophy

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e 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.

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

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.

Conception and first results of a cross-sectional national study on the demography, disease characteristics and socioeconomics status of the Portuguese patients with multiple sclerosis : the PORT-MS study

RESUMO: Introdução e objetivos: Não existia um estudo multicêntrico que descrevesse as características dos doentes com EM, da doença em si, ou do seu tratamento, em Portugal.Métodos: Doentes McDonald 2010 positivos foram sequencialmente recrutados em 7 centros entre Maio e Novembro 2014. Aplicou-se um Caderno de Recolha de Dados incidindo na demografia, doença, educação e emprego (estudo PORT-MS). Resultados: 561 doentes incluídos. Primeiros sintomas aos 30,2±10,5 anos (RRMS 29,2±10, PPMS 39,4±11,7, p<0,001); diagnóstico 3,2±5,3 anos depois (RRMS 3,0±5,1, PPMS 4,9±2,5, p=0,002); tempo de doença após diagnóstico 9,4±7,2 anos (semelhante RRMS no diagnóstico e PPMS); idade atual 42,9±12,4 anos (grupo RRMS no diagnóstico 42,0±12,1, PPMS 52,5±11,3, p<0,001); EDSS atual 2,5 (RRMS 2.0, PPMS 6.0); proporção feminino:masculino é 2,5:1 (RRMS semelhante, PPMS 1,1:1, p<0,05); no diagnóstico RRMS 90,6%, SPMS 0,9%, PPMS 8,6%; 9,5% dos RRMS encontravam-se em SP na inclusão (nomeadamente os com mais idade no diagnóstico e/ou atualidade ou tempo de doença mais prolongado). PPMS mais frequente em doentes diagnosticados mais tardiamente (p<0,001), onde aumenta também ligeiramente a proporção de mulheres na PPMS. Nas últimas décadas: novos casos mostram estabilidade na proporção de géneros e tipos de doença; idade nos primeiros sintomas e no diagnóstico aumentou ligeiramente, tempo entre eles diminuiu ligeiramente. Proporção sob DMT (Maio 2014): global 84,5%; atualmente RRMS 90,4%; SPMS 70,8%; PPMS 36,8%; progressivas agregadas 48%. Tipo de DMT, amostra global: interferões 56,5%, GA 18,4%, Natalizumab 11,6%, Fingolimod 9,7%. Global: economicamente ativos 61,5%, desemprego 13,5%, 74,1% dos não activos estão reformados por doença. Gravidezes após diagnóstico em 15% mulheres. Casos com história familiar positiva 7,8%. Discussão e conclusões: Incluída cerca de 10% da população portuguesa. Resultados congruentes com dados internacionais. Elevada proporção sob DMT, mesmo EDSS alto e formas progressivas. Terapêuticas de segunda linha sub representadas. Doentes jovens e com doença ligeira com vida económica ativa; restantes essencialmente reformados por doença.---------------- ABSTRACT : Background/aims: In Portugal, there wasn’t a multicentric study on the general characteristics (demography, disease milestones, DMT, socioeconomic status) of Multiple Sclerosis patients. Methods: Patients fulfilling McDonald 2010 criteria were sequentially recruited from May to November 2014 in 7 centers and data was systematically collected. Results: 561 patients included. First symptoms occurred at 30,2±10,5 years-old (RRMS 29,2±10, PPMS 39,4±11,7, p<0,001); diagnosis 3,2±5,3 years later (RRMS 3,0±5,1, PPMS 4,9±2,5, p=0,002); 9,4±7,2 years elapsed since diagnosis (similar for those is RRMS at diagnosis and PPMS); current age 42,9±12,4 years-old (group RRMS at diagnosis 42,0±12,1, PPMS 52,5±11,3, p<0,001); current EDSS 2,5 (RRMS 2.0, PPMS 6.0); females to males 2,5:1 (RRMS similar, PPMS 1,1:1, p<0,05); at diagnosis RRMS 90,6%, SPMS 0,9%, PPMS 8,6%; 9,5% of RRMS reached SP at inclusion (those older at diagnosis, in actuality, or with longer follow-up). PPMS more frequente in patients diagnosed at older ages (p<0,001), also slight increase in females. Along the last decades: new cases have showed stable proportions of gender and disease types; age at first symptoms and diagnosis slightly increased, time between them slightly decreased. Proportion on DMT (May 2014): 84,5% of all; 90,4% of currently in RRMS; 70,8% of SPMS; 36,8% of PPMS; 48% of progressive forms together. Type of DMT, all patients: interferons 56,5%, Glatiramer Acetate 18,4%, Natalizumab 11,6%, Fingolimod 9,7%. Economically active 61,5% of all, unemployment 13,5%, 74,1% of non-active are retired due to disease. Females pregnant after diagnosis 15%. Positive family cases in 7,8%. Discussion/Conclusions: 10% of the national MS population collected. Data generally consistente with international reports. Proportion under DMT relatively high in all disease types, but second line therapies underrepresented. Young patients with mild disease have an active economic life. Those not active are essentially retired due to disease.

Improving the early diagnostic of prostate cancer by multiple biomarker detection with new biosensing devices

Prostate cancer (PCa) is the most common form of cancer in men, in Europe (World Health Organization data). The most recent statistics, in Portuguese territory, confirm this scenario, which states that about 50% of Portuguese men may suffer from prostate cancer and 15% of these will die from this condition. Its early detection is therefore fundamental. This is currently being done by Prostate Specific Antigen (PSA) screening in urine but false positive and negative results are quite often obtained and many patients are sent to unnecessary biopsy procedures. This early detection protocol may be improved, by the development of point-of-care cancer detection devices, not only to PSA but also to other biomarkers recently identified. Thus, the present work aims to screen several biomarkers in cultured human prostate cell lines, serum and urine samples, developing low cost sensors based on new synthetic biomaterials. Biomarkers considered in this study are the following: prostate specific antigen (PSA), annexin A3 (ANXA3), microseminoprotein-beta (MSMB) and sarcosine (SAR). The biomarker recognition may occurs by means of molecularly imprinted polymers (MIP), which are a kind of plastic antibodies, and enzymatic approaches. The growth of a rigid polymer, chemically stable, using the biomarker as a template allows the synthesis of the plastic antibody. MIPs show high sensitivity/selectivity and present much longer stability and much lower price than natural antibodies. This nanostructured material was prepared on a carbon solid. The interaction between the biomarker and the sensing-material produces electrical signals generating quantitative or semi-quantitative data. These devices allow inexpensive and portable detection in point-of-care testing.

Is Modernity Multiple?

Fundação para a Ciência e a Tecnologia (FCT), Fundação Millennium bcp