Android as a cloud ticket validator

Trabalho Final de Mestrado para a obtenção do grau de Mestre em Engenharia Informática e de Computadores

Sustentabilidade patrimonial e energética

Dissertação de Mestrado, Engenharia do Ambiente, 12 de Junho de 2014, Universidade dos Açores.

O jogo e os processos de aprendizagem e desenvolvimento da criança na educação Pré-Escolar e no 1º ciclo do Ensino Básico: a perspetiva de alunos, educadores e professores

Mestrado (PES II), Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico, 26 de Junho de 2014, Universidade dos Açores.

Os (in)sofismáveis caminhos do storytelling : Woody Allen e o documentário ficcionado

ABSTRACT: Between pure documentary and pure fiction there are, more and more, a reasonable number of cinematic alternatives that convey a dimension of non-reality. Between the pointedly factual discourse and the irrational belief in an entirely narrative world, there intervenes an informed conviction in a truthful but nonexistent universe, in which the formal enunciation sells an image of objectivity. In a path that leads us from the forms and contents of reflexive and performative documentaries, according to Bill Nichols, and ends up in fake documentary itself, we will have the opportunity to stress the filmic construction and its inherent narrative purpose, be it a fictional story or the creator himself as character (others would say subject) of the cinematic construct. In a boomerang kind of logic, the more the objects direct us to a referent, the more they restore us a creative/authorial reference and, along with it, the narrative idea that instills it. In Woody Allen’s case, this storytelling manifests itself in the fake documentary genre, which works as if it is the reality, only to better manifest the sole reality that interests the director: that of the metacinema, or the cinema as self-referencial reality. The practical examples will be derived from the following films: Take the Money and Run (1969) e Husbands and Wives (1992).

Proposta de um algoritmo eficiente para a localização de faltas por relé diferencial numérico para proteção de linhas de transmissão com compensação série controlada por tiristores (TCSC)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Projecto dum laboratório remoto para automação de processos industriais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Gestão do deslastre de cargas: Évora como caso de estudo

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica na Área de Especialização de Energia

Benchmarking de uma aproximação de ticketing as a service (Taas)

Dissertação de natureza científica realizada para obtenção do grau de Mestre em Engenharia de Redes de Computadores e Multimédia

Sistema de multiprocessamento para simulação de N-corpos em FPGA

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Resolução do problema do escalonamento da produção de energia eléctrica usando programação lógica por restrições

A operação dos Mercados de Energia Eléctrica passa, actualmente, por uma profunda reestruturação, com o principal foco nas transacções do sistema de transmissão entre os diferentes agentes. Tendo isso em conta, o serviço de transmissão neste novo esquema de funcionamento do Mercado de Energia Eléctrica deve ser provido de máxima eficiência económica, atendendo sempre às restrições de segurança do sistema. Com esta reorganização do sector eléctrico da última década surgiu também a necessidade de rever os modelos tradicionais de optimização económica do Sistema Eléctrico de Energia, como por exemplo o despacho e prédespacho (unit commitment). A reestruturação e liberalização dos mercados de energia eléctrica trouxeram novas restrições a alguns dos problemas tradicionais associados aos Sistemas Eléctricos de Energia. Um desses problemas é o Escalonamento da Produção de Energia Eléctrica, que no contexto actual, implica quase sempre negociação entre os diferentes agentes do mercado e consequentemente reescalonamento. A maioria dos métodos usados para a resolução do problema não permitem reformular o prédespacho, algo para que a Programação Lógica por Restrições é extremamente adequada. O trabalho desenvolvido nesta dissertação visa criar uma aplicação computacional com base na Programação Lógica por Restrições, através da plataforma ECLiPSe, para resolver o problema do Escalonamento da Produção de Energia Eléctrica dos grupos térmicos, demonstrando assim a versatilidade e flexibilidade deste tipo de programação aplicada a problema combinatoriais deste género.

A bilhética dos transportes de passageiros na nuvem computacional

Relatório de Projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Estudo da influência da fragmentação no custo da produção de agregados graníticos

Hoje em dia algumas das principais preocupações que se tem na exploração a céu aberto, são a diminuição de custos e a máxima rentabilidade dos equipamentos. São dois aspectos que estão interligados uma vez que a rentabilização dos equipamentos tem como resultado directo a diminuição dos custos de todas as operações inerentes à exploração a céu aberto e, consequentemente, a diminuição dos custos finais de produção. É por essa lógica de pensamento que se procurou perceber e compreender o funcionamento e a rentabilidade dos equipamentos em função dos diferentes estados de fracturação do maciço rochoso. Este estudo foi realizado numa pedreira a norte de Portugal e complementa outros estudos já realizados, com o objectivo de definir características do diagrama de fogo que assegurem a maior rentabilidade da referida exploração. O estudo baseia-se em determinar os rendimentos da pá carregadora calculando os tempos de ciclo, isto é, o tempo que a pá demorou a carregar, a movimentar e a descarregar o material desmontado dos vários rebentamentos. Calculou-se o rendimento do martelo demolidor na fragmentação de grandes blocos, que não entrariam directamente no britador primário, o qual também foi alvo de estudo, nomeadamente, no que diz respeito aos tempos de encravamento e de britagem, onde se tentou correlacionar esses tempos com os vários desmontes e estimou-se o consumo de energia do britador primário utilizando a equação de Bond. Por fim, realizou-se um estudo comparativo do consumo energético entre as várias fases da exploração a céu aberto. Foram realizados levantamentos geológico-geotécnicos de superfícies de descontinuidades recorrendo à técnica de amostragem linear nas superfícies do maciço rochoso para perceber o tipo de fragmentação e orientação do mesmo.

Uma abordagem de alto nível para a verificação de conteúdos na web

A manutenção do conteúdo web pode ser uma tarefa difícil, especialmente se considerarmos websites em que muitos utilizadores têm permissões para alterar o seu conteúdo. Um exemplo deste tipo de websites são os wikis. Se por um lado permitem rápida disseminação de conhecimento, por outro lado implicam um grande esforço para verificar a qualidade do seu conteúdo. Nesta tese analisamos diferentes abordagens à modelação de websites, especialmente para a verificação de conteúdo, onde contribuímos com uma extensão à ferramenta VeriFLog para a tornar mais adequada à verificação de conteúdos em websites colaborativos.

O Balanced Scorecard como instrumento de gestão estratégica: sua implementação numa empresa de engenharia e construção

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Controlo difuso de um AGV

Neste trabalho pretende-se introduzir os conceitos associados à lógica difusa no controlo de sistemas, neste caso na área da robótica autónoma, onde é feito um enquadramento da utilização de controladores difusos na mesma. Foi desenvolvido de raiz um AGV (Autonomous Guided Vehicle) de modo a se implementar o controlador difuso, e testar o desempenho do mesmo. Uma vez que se pretende de futuro realizar melhorias e/ou evoluções optou-se por um sistema modular em que cada módulo é responsável por uma determinada tarefa. Neste trabalho existem três módulos que são responsáveis pelo controlo de velocidade, pela aquisição dos dados dos sensores e, por último, pelo controlador difuso do sistema. Após a implementação do controlador difuso, procedeu-se a testes para validar o sistema onde foram recolhidos e registados os dados provenientes dos sensores durante o funcionamento normal do robô. Este dados permitiram uma melhor análise do desempenho do robô. Verifica-se que a lógica difusa permite obter uma maior suavidade na transição de decisões, e que com o aumento do número de regras é possível tornar o sistema ainda mais suave. Deste modo, verifica-se que a lógica difusa é uma ferramenta útil e funcional para o controlo de aplicações. Como desvantagem surge a quantidade de dados associados à implementação, tais como, os universos de discurso, as funções de pertença e as regras. Ao se aumentar o número de regras de controlo do sistema existe também um aumento das funções de pertença consideradas para cada variável linguística; este facto leva a um aumento da memória necessária e da complexidade na implementação pela quantidade de dados que têm de ser tratados. A maior dificuldade no projecto de um controlador difuso encontra-se na definição das variáveis linguísticas através dos seus universos de discurso e das suas funções de pertença, pois a definição destes pode não ser a mais adequada ao contexto de controlo e torna-se necessário efectuar testes e, consequentemente, modificações à definição das funções de pertença para melhorar o desempenho do sistema. Todos os aspectos referidos são endereçados no desenvolvimento do AGV e os respectivos resultados são apresentados e analisados.