Técnicas de Data e Text Mining Para Anotação de Um Arquivo Digital

O presente trabalho cujo Título é técnicas de Data e Text Mining para a anotação dum Arquivo Digital, tem como objectivo testar a viabilidade da utilização de técnicas de processamento automático de texto para a anotação das sessões dos debates parlamentares da Assembleia da República de Portugal. Ao longo do trabalho abordaram-se conceitos como tecnologias de descoberta do conhecimento (KDD), o processo da descoberta do conhecimento em texto, a caracterização das várias etapas do processamento de texto e a descrição de algumas ferramentas open souce para a mineração de texto. A metodologia utilizada baseou-se na experimentação de várias técnicas de processamento textual utilizando a open source R/tm. Apresentam-se, como resultados, a influência do pré-processamento, tamanho dos documentos e tamanhos dos corpora no resultado do processamento utilizando o algoritmo knnflex.

Planeamento de equipamentos educativos em Cabo Verde

Esta tese visa contribuir para o desenvolvimento de modelos de planeamento e gestão de redes de equipamentos educativos mais realistas e operacionais. Entretanto, apresenta modelos de optimização para o problema de localização de equipamentos educativos em Cabo Verde, tendo em consideração que estes modelos quando aplicados aos serviços públicos são importantes, pois racionalizam os recursos disponíveis, beneficiando directamente a população. Geralmente, a localização adequada de equipamentos educativos e a atribuição dos utentes, a este serviço, têm constituído um dos grandes problemas enfrentados pelo sector da educação. Contudo, o desenvolvimento de uma proposta, que maximize a acessibilidade, traduzida na minimização da distância média, que estes utentes percorrem para utilizar esse serviço, é de fundamental importância, pois são serviços de necessidade básica e os seus recursos são normalmente muito escassos. Cabo Verde é um pequeno país africano, considerado emergente, que acaba de ser incluído no grupo de Países do Rendimento Médio. A sua economia está orientada para os serviços e depende quase totalmente do exterior. Tem sido feita uma grande aposta no seu capital humano, investimento na educação como a chave para seu sucesso. Consequentemente, a optimização dos seus recursos educativos é actualmente de grande interesse. Os objectivos dos modelos são a maximização da acessibilidade e a minimização do investimento (garantindo uma boa cobertura). Os modelos do tipo p-mediana foram utilizados e implementados, através dos métodos exactos e do algoritmo de entropia cruzada. Os modelos foram aplicados em dois estudos de caso: para as escolas básicas do município de Santa Cruz e para as escolas secundárias da ilha de Santiago. Ainda, foi concebido um Sistema de Informação para o Planeamento da Educação com o objectivo de integrar num único sistema os recursos necessários à tomada de decisão sobre o planeamento da educação. Os modelos apresentaram soluções óptimas ou muito boas. Em qualquer dos casos, as soluções parecem realistas e podem ser aplicadas à realidade cabo-verdiana. A resolução dos modelos não suscitou problemas em termos de processamento e o tempo computacional foi bastante reduzido.

JOGO DE ORIL PARA TELEMÓVEL

A Inteligência Artificial hoje em dia tem várias aplicações e uma delas é em jogos de computadores. O objectivo deste trabalho é utilizar técnicas de Inteligência Artificial para desenvolver um agente capaz de jogar o jogo Oril e para tal, utiliza-se o algoritmo Minimax, que busca a árvore de jogadas da partida e tenta estimar a melhor jogada numa determinada profundidade avaliando os estados encontrados. Por outro lado pretende-se também fazer a implementação do jogo de oril num smartphone, tendo em conta a mobilidade e as capacidades de processamento desses equipamentos que nos permite utilizar elementos multimédia, para tornar a experiência de jogar contra o computador ou outro utilizador mais real.

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).

Criptografia de Chave Pública com Base em Códigos

Este trabalho de dissertação foca o sistema criptográfico de McEliece. Este é um sistema criptográfico de chave pública que tira partido do facto do problema de descodificação de um código linear geral ser NP-completo. Mais especificamente, este sistema criptográfico usa um código de Goppa sobre um corpo finito como chave privada, para o qual existe um algoritmo de descodificação eficiente, e um código linear geral, derivado do código Goppa anterior, como chave pública. Assim, neste trabalho, começa-se por analisar alguns resultados sobre corpos finitos, necessários ao longo desta dissertação. Posteriormente, estudam-se os códigos lineares sobre corpos finitos, em particular os códigos de Goppa, apresentando-se um algoritmo de descodificação para estes códigos. Em seguida, é apresentada uma descrição detalhada do sistema criptográfico de McEliece e são analisados alguns ataques a este sistema criptográfico. Por fim, é ainda analisada a sua aplicação na segurança de assinaturas digitais.

Avaliação da susceptibilidade à ocorrência de deslizamentos em âmbito

Este trabalho aborda a temática dos riscos ambientais, mais concretamente os riscos de movimentos de vertentes (deslizamentos), nos municípios de Porto Moniz, Ribeira Brava, Santana e São Vicente (Ilha da Madeira).O estudo efectuado utiliza uma metodologia que assenta em um algoritmo de base estatística para avaliação de susceptibilidade à ocorrência de deslizamentos, enquadrado na elaboração dos Planos Municipais de Emergência de Protecção Civil (PME-PC) dos referidos municípios. A aquisição de um conjunto de dados de base através de processos de digitalização, georreferenciação, vectorização e edição, e posteriormente a sua transformação para estrutura matricial, possibilitou a construção e processamento de uma base de dados funcional e relacional, procedimentos fundamentais para este tipo de estudo. A construção e utilização de um inventário de deslizamentos ocorridos efectuado através de levantamentos em ortofotos de grande resolução contribuiu para conhecer a distribuição espacial e as suas características.

Implementação de um Sistema MPPT em Circuito Integrado CMOS

Ao longo dos últimos anos a indústria microelectrónica tem evoluído no sentido de reduzir o consumo energético dos seus dispositivos no sentido de estes serem alimentados por fontes energéticas diversas, nomeadamente fontes renováveis. A crescente demanda por componentes energeticamente eficientes e pela miniaturização dos componentes eletrónicos exigem a conceção de fontes de alimentação com potência reduzida na ordem das dezenas de μW ás centenas de mW. Atualmente, com os crescentes avanços tecnológicos é possível obter componentes energéticamente eficientes e com tamanhos reduzidos capazes de colmatar as restrições energéticas das mais variadas aplicações. A utilização de fontes energia elétrica que tirão proveito da energia existente no meio onde se inserem os diversos dispositivos eletrónicos ou simplesmente para recarregar as baterias, apresenta-se como um dos principais objetivos a alcançar. Entre todas as energias renováveis, a energia fotovoltaica surge como umas das que proporciona um maior potencial. A sua disponibilidade global e os constantes desenvolvimentos tecnológicos no âmbito do fotovoltaico permitem o desenvolvimento de sistemas de alimentação com rendimento energético cada vez mais elevado. A presente dissertação tem como objetivo o estudo, a simulação e implementação de um conversor CC-CC, step-up, com algoritmo de controlo MPPT integrado designado por método de correlação de ripple (Ripple Correlation Control – RCC), para aplicações de baixa potência na ordem das dezenas de μW às centenas de mW. Desenvolveu-se um conversor CC-CC, autónomo, para carregamento de baterias com recurso a painéis fotovoltaicos, como fonte de energia, de forma contínua mesmo em situações de baixa luminosidade. Um circuito de gestão de energia devidamente dimensionado foi implementado com recurso a um algoritmo de procura do ponto de máxima potência (Maximum Power Point Tracking – MPPT). O objetivo desta implementação é extrair a máxima potência disponível da fonte de energia elétrica, neste caso o painel fotovoltaico, independentemente das condições meteorológicas e da potência requerida pela carga, sendo o excesso de energia redirecionado para a bateria. Nesta dissertação apresentam-se os resultados das simulações, assim como os resultados experimentais de todos os circuitos desenvolvidos de forma a validar todo o sistema implementado.

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.

Estudo sobre o grau de imperfeição em sub-reticulados do reticulado inteiro

Um dos grandes problemas em aberto na matemática até os dias de hoje é a questão do empacotamento esférico. Para tentar resolver este problema, tem-se estudado alguns fatores importantes inerentes a isso. Nesse trabalho apresentamos uma breve introdução à teoria de reticulados e teoria de códigos, onde trataremos conceitos como densidade de empacotamento e de cobertura. O objetivo deste trabalho é o estudo da densidade de empacotamento e de cobertura em reticulados relativos à norma p. Neste estudo enfatizaremos o artigo Quasi-perfect codes in the lp metric de Strapasson et al. [13] onde é estabelecida a noção de perfeição e imperfeição de reticulados relativos à norma p, e é apresentado um algoritmo que busca por reticulados perfeitos e quase-perfeitos.