Caracterização da qualidade da energia entregue à rede por centrais de energia dos oceanos

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

Desenvolvimento e aplicação do algoritmo enxame de partículas na determinação da máxima injeção nodal em redes de energia elétrica

O objetivo desta dissertação é a determinação da máxima injeção nodal numa rede de energia elétrica, ou seja, qual o valor total máximo de potência ativa que é possível injetar e qual a sua distribuição pelos diversos nós da rede simultaneamente. Determinámos esta máxima injeção nodal em duas situações distintas: injeção não simultânea, injetando potência em um só nó de cada vez e injeção simultânea, injetando potência em todos os nós da rede simultaneamente. Sendo este um problema de natureza combinatória, utilizámos para esta determinação o algoritmo conhecido como nuvem ou enxame de partículas, adaptando-o ao nosso problema. Desenvolvemos o software na linguagem de programação Python utilizando o ambiente Eclipse. Para resolver o trânsito de energia utilizámos o programa PSSE University.Para os exemplos de aplicação utilizámos duas redes de energia elétrica, uma de 6 e outra de 14 barramentos. Estas redes foram baseadas nas redes IEEE 6 BUS e IEEE 14 BUS respetivamente. Concluímos que o algoritmo nuvem ou enxame de partículas cumpriu o objetivo traçado, obtendo as melhores soluções para cada um dos casos, máxima injeção nodal não simultânea e máxima injeção nodal simultânea. No contexto deste problema, o parâmetro chave do algoritmo, comprovado pelos ensaios feitos, é a velocidade máxima de deslocação das partículas, tomando valores típicos de 7 a 10 para a rede de 6 barramentos e de 20 a 25 para a de 14 barramentos.

Análise computacional da evolução da hidromorfologia do Baixo Mondego em resultado da subida do nível do mar

O êxito na previsão das consequências da subida do nível do mar à escala global está dependente de uma correcta análise de todos fenómenos que daí poderão resultar. Neste âmbito, o presente estudo incide sobre o efeito da subida do nível do mar na hidromorfologia de rios, parâmetro que não é com frequência um dado de entrada nas simulações numéricas em estudos e projectos de Hidráulica Fluvial. Desenvolveu-se um modelo computacional na linguagem de programação Fortran (FTN 95), que permite simular a longo prazo a evolução do fundo móvel e da superfície livre de um rio. É um modelo de dinâmica sedimentar, unidimensional, que simula escoamentos em regime quase-permanente e em canais de topografia simples, utilizando a fórmula de Engelund-Hansen para o transporte sólido. O modelo foi aplicado no trecho mais a jusante do Mondego, desde Coimbra até à foz no Atlântico, onde o rio flui na zona do chamado Baixo Mondego, planície aluvial, alvo de grandes alterações antropogénicas, nomeadamente obras de regularização fluvial. As que foram realizadas no séc. XVIII modificaram o original percurso do rio atribuindo-lhe uma topografia simples, mas não resolveram o seu principal problema, o excesso de assoreamento a jusante de Coimbra, tendo como consequência frequentes inundações e cheias. Estas obras colocaram em evidência a grande vulnerabilidade do rio aos problemas de transporte sólido e assoreamento. Mais tarde, em finais do séc. XX, as obras realizadas na sequência do Plano de Aproveitamento do Baixo Mondego vieram, de uma forma integrada, contribuir para o seu equilíbrio hidromorfológico. Actualmente, face à subida do nível do mar volta a colocar-se a questão do assoreamento a jusante de Coimbra. Logo, é importante conhecer as previsões a longo prazo de dinâmica sedimentar deste troço, para a sua adequada gestão. Foram realizadas previsões para 20 cenários num horizonte temporal de 100 anos, todos eles consideram o caudal dominante calculado para o rio e variam de acordo com a subida do nível do mar, o caudal sólido e diâmetro médio dos sedimentos. Os resultados obtidos foram os previstos qualitativamente, isto é, a subida do nível do mar poderá alterar o leito aluvionar, elevando as cotas de fundo e aumentando os volumes de assoreamento.

Requalificação de um espectrómetro Kratos XSAM 800 para espectroscopia de fotoelectrões de Raios-X

A espectroscopia de fotoelectrões de raios-X (XPS - X-ray Photoelectron Spectroscopy)é uma das técnicas de análise de superfícies mais importantes e mais usadas em diversasáreas científico-tecnológicas e industriais. Com ela é possível determinar quantitativa equalitativamente a composição elementar e a composição química aproximada, respectivamente,e estrutura electrónica dos elementos presentes para diferentes tipos de materiais. O laboratório de ciência de superfícies do Departamento de Física da FCT-UNL encontra-se equipado com um sistema de ultra-alto vácuo Kratos XSAM 800 contendo a instrumentação necessária para se realizar XPS. No entanto, o equipamento precisava de uma requalificação. O controlo e aquisição de dados do espectrómetro era feito por um computador PDP11 de 16-bits que actualmente não é comercializado e não tem qualquer suporte técnico por parte do fabricante. Foi substituído por um computador moderno e por uma placa genérica de aquisição de dados. Para que a análise quantitativa pela técnica de XPS seja precisa, é necesssário fazer a caracterização do sistema. Isso implica o conhecimento de parâmetros como a função de transmissão do espectrómetro e a linearidade da resposta do sistema de detecção. Foi feito um estudo da linearidade da resposta do sistema de detecção e determinou-se experimentalmente a função de transmissão do espectrómetro. Os resultados obtidos para a função de transmissão mostraram estar qualitativamente de acordo com os resultados obtidos por outros na literatura. A transmissão da coluna óptica do analisador de energia de electrões foi posteriormente submetida a um processo de optimização, através da implementação de um algoritmo evolutivo diferencial para optimização de funções, recorrendo a linguagem de programação gráfica LabVIEWTM.

Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

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

Quantitative assessment of modularity of caesarJ components

Dissertação apresentada no âmbito do Mestrado em Engenharia Informática para obtenção do grau de Mestre em Engenharia Informática

Tolerância a faltas bizantinas em servidores RMI

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

JAVA Applets, um comboio em início de marcha

Java! Uma palavra nova e misteriosa que consegue conjugar imagens, movimento, internet, programação, café quente e o nome de uma das 10,000 ilhas dos nossos amigos da Indonésia. No entanto, é sobre os quatro primeiros conceitos que se trata este projecto de “JAVA Applets, um comboio em início de marcha”. Se o HTML vem ligar imagens à internet, o JAVA tenta dar uma certa interactividade utilizando programação mas, tentando também, que os utilizadores finais a possam utilizar sem grande esforço.

Optimizações numa linguagem para desenvolvimento de aplicações web

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A influência da linguagem na construção de conceitos científicos: um estudo com alunos do 10º ano

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Problemas de programação matemática com restrições lineares de equilíbrio

Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.

Plataforma para testes de conformidade de sistemas baseados em módulos conceptuais STEP

Obtenção do grau de Mestre em Engenharia Electrotécnica, Sistemas e Computadores

Tecnologia Java na representação de curvas e superfícies paramétricas

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

Uma Linguagem específica do domínio para uma abordagem orientada aos objectivos baseada em KAOS

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática