Assinatura Digital Foco Smart Card

A assinatura digital é um processo de assinatura electrónica baseado no sistema criptográfico assimétrico composto por um algoritmo ou série de algoritmos, mediante o qual é gerado um par de chaves assimétricas exclusivas e complementares. Tal como a assinatura manuscrita, a assinatura digital não pode ser falsificada, pelo que se adiciona uma função hash ao valor da chave gerada, para garantir a segurança do sistema. A assinatura digital permite, ao mesmo tempo, a identificação positiva do autor de uma mensagem (ou do signatário de um documento) e a verificação da integridade da mesma. Refira-se, porém, que a assinatura digital pode ser anexa a qualquer mensagem, seja esta decifrada ou não, apenas para que o receptor tenha a certeza da identidade do emissor e de que a mensagem chegou intacta ao destino. Baseia-se na criptografia da chave pública, que usa um algoritmo de duas chaves, a privada e a pública, diferentes mas matematicamente associadas: a primeira cria a assinatura digital e decifra os dados; a segunda verifica a assinatura e devolve-a ao formato original. O autor da mensagem mantém secreta a sua chave privada e divulga a chave pública, e vice-versa. A identidade do dono da chave pública é atestada pelo certificado digital emitido por uma entidade certificadora (uma espécie de notário). Independentemente da forma que assume, a assinatura electrónica, e a digital em particular, deve cumprir três funções: a autenticação (tal como acontece com o habitual gatafunho a que chamamos assinatura, apenas o indivíduo deve ser capaz de a reproduzir); não repudiação (quando o indivíduo assina não pode voltar atrás); e integridade (é necessário assegurar que os documentos assinados não são alterados sem o consentimento dos signatários).

Otimização Não Linear de Mínimos Quadrados

O problema de otimização de mínimos quadrados e apresentado como uma classe importante de problemas de minimização sem restrições. A importância dessa classe de problemas deriva das bem conhecidas aplicações a estimação de parâmetros no contexto das analises de regressão e de resolução de sistemas de equações não lineares. Apresenta-se uma revisão dos métodos de otimização de mínimos quadrados lineares e de algumas técnicas conhecidas de linearização. Faz-se um estudo dos principais métodos de gradiente usados para problemas não lineares gerais: Métodos de Newton e suas modificações incluindo os métodos Quasi-Newton mais usados (DFP e BFGS). Introduzem-se depois métodos específicos de gradiente para problemas de mínimos quadrados: Gauss-Newton e Levenberg-Larquardt. Apresenta-se uma variedade de exemplos selecionados na literatura para testar os diferentes métodos usando rotinas MATLAB. Faz-se uma an alise comparativa dos algoritmos baseados nesses ensaios computacionais que exibem as vantagens e desvantagens dos diferentes métodos.

Epidemiologia Molecular, Evolução Viral e Perfil de Resistência aos Antirretrovirais em uma População de Pacientes Infectados por Hiv-1 e/ou Hiv-2 Residentes em Diferentes Ilhas do Arquipélago de Cabo Verde

O diagnóstico sorológico da infecção pelo HIV-1 e HIV-2 teve início em Cabo Verde em 1987, mas pouco se sabe a respeito da diversidade genética desses vírus nessas ilhas, localizadas na costa Ocidental Africana. Neste estudo, caracterizamos a epidemiologia molecular do HIV-1 e HIV-2 em Cabo Verde, analisamos a origem dos principais clados de HIV introduzidos no país e descrevemos a ocorrência de mutações de resistência aos antirretrovirais (DRM) em indivíduos virgens de tratamento (ARTn) e pacientes em tratamento (ARTexp) oriundos das diferentes ilhas. Amostras de sangue, dados sociodemográfico e clínico-laboratoriais foram obtidos de 221 indivíduos HIV positivos entre 2010-2011. As amostras foram sequenciadas na região da polimerase (1300 pares de bases) e análises filogenéticas e de bootscan foram realizadas para a subtipagem viral. Os algoritmos disponibilizados nos sites Stanford HIV Database e HIV-GRADE e.V. Algorithm Homepage foram utilizados para avaliar a existência de DRM em pacientes positivos para HIV-1 e HIV-2, respectivamente. Os estudos evolutivos e filogeográficos foram realizados através do programa BEAST. Entre os 221 pacientes analisados, sendo 169 (76,5%) HIV-1, 43 (19,5%) HIV-2 e 9 de (4,1%) co-infectados pelo HIV-1 e pelo HIV-2, 67% eram do sexo feminino. As medianas de idade foram de 34 (IQR = 1-75) e 47 (IQR = 12-84) para o HIV-1 e HIV-2, respectivamente. A infecção pelo HIV-1 é causada pelo subtipo G (36,6%), CRF02_AG (30,6%), subtipo F1, (9,7%), URFs (10,4%), subtipo B (5,2%), CRF05_DF (3,0%), subtipo C (2,2%), CRF06_cpx (0,7%), CRF25_cpx (0,7%) e CRF49_cpx (0,7%), e todas as infecções por HIV-2 pertencem ao grupo A. De acordo com as análises filogeográficas e de origem do HIV, estima-se que o HIV-2 foi o primeiro tipo viral introduzido em Cabo Verde e possui relações filogenéticas com sequências referências de Portugal. O HIV-1 entrou no país mais tarde, primeiramente pelo subtipo G, evidenciando relações com sequências da África Central e de Portugal. Transmissão de DRM (TDRM) foi observada em 3,4% (2/58) de pacientes HIV-1 ARTn (1,7% NRTI, NNRTI 1,7%), mas não entre os infectados com HIV-2. Entre os pacientes ARTexp, DRM foi observada em 47,8% (33/69) dos infectados pelo HIV-1 (37,7% NRTI, NNRTI 37,7%, 7,4% de PI, 33,3% para duas classes) e 17,6% (3/17) nos infectados pelo HIV-2 (17,6%, 11,8% NRTI PI, 11,8% para ambas as classes). Este estudo indica que Cabo Verde tem um cenário epidemiológico molecular complexo e único dominado pelo HIV-1 subtipo G, CRF02_AG e F1 e HIV-2 grupo A, sendo esse o primeiro tipo viral introduzido em Cabo Verde. A ocorrência de TDRM e o nível relativamente elevado de DRM entre os pacientes tratados constituem uma preocupação, pelo que o monitoramento contínuo dos pacientes em ARTexp, incluindo genotipagem são políticas públicas a serem implementadas.

TREINO NÃO SUPERVISIONADO DE MODELOS ACÚSTICOS PARA RECONHECIMENTO DE FALA

Esta tese resume os trabalhos desenvolvidos na área de processamento automático de fala com o objetivo de incrementar a quantidade de recursos linguísticos disponíveis para o português europeu. O estágio de desenvolvimento e a aplicação das tecnologias de fala para uma língua estão relacionados com a quantidade e a qualidade de recursos disponíveis para esta língua. Poucas línguas apresentam, no domínio público e livre, todos os recursos necessários para desenvolver as tecnologias de fala. A língua portuguesa, como muitas outras, tem escassez de recursos públicos e livres, o que pode dificultar o desenvolvimento e a aplicação de tecnologias de fala que incorporam esta língua. Os trabalhos descritos nesta tese apresentam uma abordagem para criar bases de dados de fala, recorrendo apenas aos recursos do domínio público e livres, partindo de sinais multimédia sem transcrições ortográficas ou fonéticas. É apresentada uma solução para aproveitar a grande disponibilidade de material multimédia existente no domínio público (podcasts por exemplo) e selecionar segmentos de fala adequados para treinar modelos acústicos. Para isso, foram desenvolvidos vários sistemas para segmentar e classificar automaticamente os noticiários. Estes sistemas podem ser combinados para criar bases de dados de fala com transcrição fonética sem a intervenção humana. Foi desenvolvido um sistema de conversão automático de grafemas para fonemas que se apoia em regras fonológicas e modelos estatísticos. Esta abordagem híbrida é justificada pelos desenvolvimentos de algoritmos de aprendizagem automática aplicados a conversão de grafemas para fonemas e pelo fato do português apresentar uma razoável regularidade fonética e fonológica bem como uma ortografia de base fonológica. Com auxílio deste sistema, foi criado um dicionário de pronunciação com cerca de 40 mil entradas, que foram verificadas manualmente. Foram implementados sistemas de segmentação e de diarização de locutor para segmentar sinais de áudio. Estes sistemas utilizam várias técnicas como a impressão digital acústica, modelos com misturas de gaussianas e critério de informação bayesiana que normalmente são aplicadas noutras tarefas de processamento de fala. Para selecionar os segmentos adequados ou descartar os segmentos com fala não preparada que podem prejudicar o treino de modelos acústicos, foi desenvolvido um sistema de deteção de estilos de fala. A deteção de estilos de fala baseia-se na combinação de parâmetros acústicos e parâmetros prosódicos, na segmentação automática e em classificadores de máquinas de vetores de suporte. Ainda neste âmbito, fez-se um estudo com o intuito de caracterizar os eventos de hesitações presentes nos noticiários em português. A transcrição fonética da base de dados de fala é indispensável no processo de treino de modelos acústicos. É frequente recorrer a sistemas de reconhecimento de fala de grande vocabulário para fazer transcrição automática quando a base de dados não apresenta nenhuma transcrição. Nesta tese, é proposto um sistema de word-spotting para fazer a transcrição fonética dos segmentos de fala. Fez-se uma implementação preliminar de um sistema de word-spotting baseado em modelos de fonemas. Foi proposta uma estratégia para diminuir o tempo de resposta do sistema, criando, a priori, uma espécie de “assinatura acústica” para cada sinal de áudio com os valores de todos os cálculos que não dependem da palavra a pesquisar, como a verosimilhanças de todos os estados dos modelos de fonemas. A deteção de uma palavra utiliza medidas de similaridade entre as verosimilhanças do modelo da palavra e do modelo de enchimento, um detetor de picos e um limiar definido por forma a minimizar os erros de deteção. Foram publicados vários recursos para a língua portuguesa que resultaram da aplicação dos vários sistemas desenvolvidos ao longo da execução desta tese com especial destaque para o sistema de conversão de grafemas para fonemas a partir do qual se publicaram vários dicionários de pronunciação, dicionários com as palavras homógrafas heterofónicas, dicionário com estrangeirismos, modelos estatísticos para a conversão de grafemas para fonemas, o código fonte de todo sistema de treino e conversão e um demonstrador online.

Predição da hidroquímica da água (qualidade de água) usando sondagens electromagnéticas transientes (TEM)

This work aims the applicability of the Transient electromagnetic method at an arid and semiarid environmental condition in the Santiago Island – Cape Verde. Some seashore areas of this island show an increasing salt contamination of the groundwater. The main objective of present work is to relate this water-quality condition with parameters taken from the transient sounding’s data. In this context, transient soundings have been acquired from 2005 through 2009, at several chosen valleys near the sea, in a mean rate of one field campaign each year. The first phase of this work was the understanding of the geophysical method details, problems and applicability, as the chosen and acquired equipment was the first one to be permanently available to the Portuguese geosciences community. This first phase was also accomplished with field tests. Interpretation of the transient sounding’s data curves were done by application of 1-D inversion methods already developed and published, as also with quasi 2-D and quasi 3-D inversion algorithms, where applicability was feasible. This was the second phase. The 2-D and 3-D approximation results are satisfactory and promising; although a higher spatial sounding’s density should certainly allow for better results. At phase three, these results have been compared against the available lithologic, hydrologic and hydrochemical data, in the context of Santiago’s island settings. The analyses of these merged data showed that two distinct origins for the observed inland groundwater salinity are possible; seashore shallow mixing with contemporary seawater and mixing with a deep and older salty layer from up flow groundwater. Relations between the electric resistivity and the salt water content distribution were found for the surveyed areas. To this environment condition, the electromagnetic transient method proved to be a reliable and powerful technique. The groundwater quality can be accessed beyond the few available watershed points, which have an uneven distribution.

O Primal e o Dual na programação Linear

O tema da Programação Linear, com as suas particularizações do Problema dos Transportes e do Problema da Afectação de Recursos, é hoje estudado em cursos diversos onde uma disciplina de Investigação Operacional esteja presente. Trata-se, em última análise, de um problema de cálculo de extremos condicionados, seja de máximo ou de mínimo, que apresenta características muito particulares e de grande elegância simbólica. Também os Problemas dos Transportes e da Afectação de Recursos se podem resolver como problemas de Programação Linear, através do Algoritmo Simplex, embora seja preferível o recurso a algoritmos próprios, de muitíssimo maior simplicidade: o Algoritmo dos Transportes e o Algoritmo Húngaro, respectivamente. De molde a facilitar a compreensão do que realmente está em jogo, consideram-se aqui dois casos de determinação de extremos e de extremos condicionados, mas ao nível do final do ensino secundário.

Segurança Informática O caso das escolas secundárias da cidade da Praia

Este trabalho monográfico, intitulado Segurança Informática: o caso das escolas secundárias da cidade da Praia, tem como objectivo principal compreender os principais conceitos e técnicas de segurança e auditoria informática e conhecer a realidade da segurança informática nas escolas secundárias da cidade da Praia, analisando as práticas da segurança informática nas mesmas. Para este estudo recorreu-se a uma metodologia baseada por um lado, na pesquisa qualitativa e por outro, numa abordagem quantitativa. No quadro da pesquisa qualitativa, utilizou-se a pesquisa bibliográfica, que serviu de suporte para debruçar sobre os aspectos da segurança e auditoria informática que constituem a base deste trabalho. A segurança informática pode ser resumida num conjunto de medidas que possibilita a um sistema informático garantir os princípios de autenticidade, disponibilidade, integridade e disponibilidade. Por seu lado, a auditoria permite verificar se tais medidas são práticas de segurança no sistema informático e se as mesmas estão em conformidade com as regras e procedimentos existentes na política de segurança de uma organização. Na abordagem quantitativa, onde foi realizada parte prática, os resultados indicam que nenhuma das escolas em estudo, dispõem de uma política de segurança. Foi nesse sentido que sugeriu-se como proposta de melhoramento a criação de um documento formal que especifica as regras, normas e princípios de segurança informática, bem como as respectivas sanções, ou seja, uma política de segurança para as escolas secundárias da cidade da Praia.