Procura distribuída de soluções com restrições locais e globais

Esta dissertação aborda a procura distribuída de soluções baseando-se em cenários cuja informação não esteja totalmente disponível, por não ser possível ou mesmo porque não é desejável. Os dois tipos de problemas abordados neste trabalho são: i) o problema de atribuição de tarefas, e ii) o problema de agendamento de eventos. O problema de atribuição de tarefas é ilustrado num cenário de catástrofe (atribuição de incêndios a bombeiros) cujos agentes tentam encontrar a melhor solução global de acordo com as capacidades de cada um. O problema do agendamento de eventos com múltiplos recursos, ocorre numa organiza- ção que pretende maximizar o valor do tempo dos seus empregados, enquanto preserva o valor individual (privacidade) atribuído ao evento (valor da importância relativa do evento). Estes problemas são explorados para confrontar os dois tipos de abordagem na sua resolução: centralizada e distribuída. Os problemas são formulados para resolução de maneira distribuída e centralizada, de modo a evidenciar as suas características e as situações em que fará mais sentido a utilização de cada abordagem. O desempenho a nível de tempo de execução e consumo de memória, bem como o conceito de privacidade são os pontos considerados no comparativo das abordagens centralizada e distribuída. Para analisar o problema de atribuição de tarefas e o problema de agendamento de eventos, é proposto um modelo que integra dois tipos de formulação de problemas distribuídos, e que utiliza um algoritmo distribuído para a resolução dos mesmos.

Aplicação da teoria das restrições na gestão de projectos: caso em estudo

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

Certificação energética de edifícios

PARADIGMA (do grego parádeigma) significa o exemplo que serve como modelo; o sistema ou modelo conceptual que orienta o desenvolvimento posterior das pesquisas, estando na base da evolução científica padrão; Thomas Kuhn disse "um paradigma, é aquilo que os membros de uma comunidade partilham e, inversamente, uma comunidade científica consiste em homens que partilham um paradigma". Até há pouco tempo, a forma como temos usado os nossos recursos energéticos, como (re) construímos as nossas cidades, como nos comportamos diariamente demonstra um padrão comum, consagrado na ideia de poder usar os diversos recursos à nossa disposição, ilimitadamente sem restrições. O Aquecimento Global é uma realidade incontornável. A forma de mitigar o seu aumento será através da redução drástica dos gases de efeito de estufa – GEE. O Protocolo de Quioto estabelece as metas de emissões GEE que os países que o ratificaram acordaram, até 2012. Os meios científicos alertam, que será muito importante limitar o aquecimento global a 2 Graus até 2020. Para se caminhar no sentido da Mitigação das Alterações Climáticas surge o desenvolvimento sustentável. Conforme o Relatório da Comissão Brundtland, este é definido como ― a forma de satisfazer as necessidades do presente sem comprometer a capacidade de as gerações futuras poderem também satisfazer as suas‖. O desenvolvimento sustentável obriga-nos a olhar para o Planeta com outros olhos. De repente, percebemos que afinal os recursos que a mãe Terra nos oferece não são ilimitados e que a forma como os usamos não é isenta. A nossa vida neste maravilhoso planeta azul pode estar em risco. Mais: a vida dos nossos filhos que amamos poderá estar em risco ou no mínimo, eles poderão não ter à sua disposição, aquilo que nós tivemos. Todas as áreas de intervenção do homem terão de ser analisadas. Esta estratégia terá de ser assumida globalmente. A nossa vida privada deverá mudar, as nossas cidades deverão mudar. As cidades inteligentes ou Smartcities enquadram todas as áreas que as compõem nos pressupostos do novo modelo: o desenvolvimento sustentável. Uma das áreas é representada pelos edifícios. Os edifícios são responsáveis por uma fatia muito grande no consumo energético total. Na União Europeia o seu consumo representa cerca de 40% do total de energia final, e consequentemente são responsáveis por uma grande parte das emissões de GEE para a atmosfera. A Certificação Energética de Edifícios é o meio de promover o desenho de edifícios de menor consumo energético. Pretende-se que num futuro próximo o consumo dos edifícios seja perto do zero, ou zero. Esta pretensão aplicar-se-á a todos os edifícios: novos e existentes. Este trabalho pretende explicar o que acabámos de descrever e quem sabe iluminar um pouco mais o caminho para o desenvolvimento sustentável. Efectuou-se um levantamento e análise às casas passivas, analisamos a sua evolução, seu desenvolvimento, comparando as diferenças que será necessário implementar entre diferentes zonas climáticas (centro da Europa e Portugal). Desenvolvemos um estudo completo de eficiência energética de uma habitação localizada na zona de Sintra. Estudámos o impacto que seria a aplicação de isolamento exterior de cortiça, calculámos os ganhos percentuais. Numa altura em que a mudança de conceitos e mentalidades, se processa a diferentes velocidades, cria-se com este trabalho a oportunidade de desenvolver um documento orientador, destinado aos técnicos das especialidades envolvidas, uma dissertação; que constitua um ponto de partida para o desenvolvimento e aplicação de ideias e diferentes tecnologias sustentáveis, com conclusões. Introduziu-se neste estudo a Cortiça, como isolamento natural de origem nacional.

Sistema de movimentação linear extensível com accionamentos electromecânicos sincronizados

Esta dissertação tem como objectivo estudar uma solução mecânica e eléctrica que permita anular o tempo de uma operação de não produção numa linha de prensagem instalada numa fábrica de indústria automóvel, a Autoeuropa. No início desta dissertação começa-se por encontrar uma solução de movimentadores telescópicos compatíveis com as restrições de espaço, os requisitos de sincronismo entre ambos e os objectivos de anulação do tempo de não operação. Seguidamente passou-se a uma fase de modelação do sistema mecânico, para permitir estudar o comportamento dinâmico do sistema proposto. Encontrado o movimentador mecânico adequado e feita a sua modelação foram estudadas possíveis soluções para o accionar, bem como formas de o controlar. Este sistema multimáquina foi estudado com dois tipos de máquinas eléctricas e métodos de controlo devido a necessitar de uma dinâmica bastante rápida, com exigência de grande sincronismo entre os dois movimentadores separados, e ainda com vista a tentar explorar a possibilidade de ter menor número de variadores electrónicos do que de máquinas eléctricas. Para tal recorreu-se ao ambiente Matlab para modelar e simular todo o sistema proposto nas suas variantes. Por fim são extraídas diversas conclusões, procurando-se clarificar a viabilidade da ideia e escolher a melhor opção de accionamento. No caso estudado, como o objectivo futuro é aplicar a solução proposta num ambiente industrial definido, há que ter em atenção não só a melhor opção técnica mas também o preço.

Controlo robusto de manobras em aviónica

Com este trabalho pretende-se estudar a dinâmica e o controlo robusto de manobras em aviónica. Para isso são estudados diferentes modelos lineares que aproximam o modelo global da aeronave durante manobras como a descolagem, aterragem e o voo planeado. O objectivo inicial é resolver o problema da estabilização (estabilizar o avião ao longo da trajectória de voo usando controlo robusto linear por realimentação de estado) tendo consideração restrições operacionais nas varáveis de estado e accionamentos. Numa segunda fase combinar os resultados obtidos em cada uma das manobras para projectar um piloto automático capaz de garantir bom desempenho em voo planeado para diferentes sequências de manobras (ex. aproximação à pista mais manobra de aterragem) usando o conceito de estabilização simultânea, ou seja por outras palavras pretende-se aplicar apenas um controlador a várias manobras e para isso deve ser realizada uma maquete seguindo todos os passos para se obter um menor erro e uma melhor estabilização por parte do avião quer nas condições de voo estáveis, quer nas variadas deflecções aplicadas em todos os níveis do avião. Aplicam-se as técnicas estudadas a modelos de caças como o F-14 e principalmente o F-16.

Técnicas preditivas aplicadas a controlo de processos

A necessidade que as indústrias têm, hoje em dia, de lidar com processos cada vez mais complexos, onde a quantidade de variáveis a controlar e restrições processuais a impor aumentou exponencialmente nas últimas décadas. Uma maior competitividade e eficiência, lado-a-lado com a redução de custos, proporcionou à comunidade científica e industrial explorar mais profundamente o controlo de processos, com vista à construção de técnicas avançadas para fazer face a estas exigências. O controlo preditivo baseado em modelos - MPC- engloba diversas classes de controladores que utilizam algoritmos de predição/previsão e modelos matemáticos representativos do sistema, que juntamente com restrições processuais permitem operar junto de referências e tornar o controlo mais eficiente e seguro. O sucesso do MPC nos sistemas lineares com restrições deve-se, sobretudo, ao facto de reduzir o problema de optimização a um problema de programação quadrática, de fácil implementação e resolução. Além do mais, trata-se de um tipo de controlo bastante flexível e, ao mesmo tempo, mais robusto que o controlo clássico ou convencional, já que pode lidar com processos multivariáveis sem precisar de alterações significativas na sua construção. Neste trabalho aplicam-se técnicas de controlo preditivo a processos não lineares multivariáveis. Estuda-se, ainda, o desempenho desta classe de controladores comparando-a com técnicas de controlo convencional. Nomeadamente, estuda-se um sistema de três tanques em que o caudal é manipulado através de válvulas com característica não linear. O processo é modelado através de princípios de conservação e é validado por um conjunto real de ensaios que permitiu, ainda, obter experimentalmente a característica das válvulas. O modelo validado permitiu desenvolver um controlador preditivo multivariável para controlar os níveis da instalação. Demonstra-se que os controladores preditivos apresentam grandes vantagens em relação ao controlo clássico com malhas independentes.

Desenvolvimento de algoritmos para a determinação da máxima injeção nodal em redes de energia elétrica

A presente dissertação apresenta um conjunto de algoritmos, cujo objetivo é a determinação da capacidade máxima de energia que é possível integrar numa rede de energia elétrica, seja num único nó ou em vários nós simultaneamente. Deste modo, obtém-se uma indicação dos locais mais adequados à nova instalação de geração e quais os reforços de rede necessários, de forma a permitirem a alocação da nova energia. Foram estudados e identificados os fatores que influenciam o valor da capacidade máxima nodal, assim como as suas consequências no funcionamento da rede, em particular o carácter simultâneo associado às referidas injeções nodais. Nesse sentido, são apresentados e desenvolvidos algoritmos que têm em consideração as características técnicas da geração a ligar e as restrições físicas impostas pela rede elétrica existente. Os algoritmos desenvolvidos apresentados baseiam-se em busca gaussiana, tendo sido igualmente implementada uma heurística que tem em consideração a proximidade de outras injeções em nós adjacentes e finalmente, dada a natureza combinatória do problema, propõe-se a aplicação de algoritmos genéticos especificamente adaptados ao problema Conclui-se que os algoritmos genéticos encerram características que lhes permitem ser aplicados em qualquer topologia com resultados superiores a todos os algoritmos desenvolvidos. Os métodos apresentados foram desenvolvidos e implementados usando a linguagem de programação Python, tendo-se desenvolvido ainda um interface visual ao utilizador, baseado em wxPython, onde estão implementadas diversas ferramentas que possibilitam a execução dos algoritmos, a configuração dos seus parâmetros e ainda o acesso à informação resultante dos algoritmos em formato Excel.

Como publicar um artigo científico?

A escolha de uma revista onde enviar um artigo científico é baseada em diversos princípios. O primeiro deles é seguramente a temática do trabalho e a da revista. O segundo é a visibilidade da publicação: onde é que o artigo será mais vezes lido e mais vezes citado? Alguns dos fatores mais importantes na escolha de uma revista dependem então dos objetivos de publicação dos seus autores, podendo variar entre uma revista científica com um alto fator de impacto, o tempo de publicação ou o público-alvo. Fatores a considerar: tópicos publicados pela revista; público-alvo da revista; tipo de artigos publicado pela revista; restrições de tamanho; reputação da revista; average time to complete peer review; revisão pelos pares; cascading da revisão pelos pares; tempo para publicação; prépublicação online; indexação; estatísticas de leitores e circulação; acesso aberto; divulgação dos artigos.

O Balanced Scorecard: estudo do processo e mecanismos para ser uma ferramenta imprescindível no contexto organizacional

Mestrado em Contabilidade

As parcerias público-privadas e o seu impacto na sustentabilidade da dívida pública

Mestrado em Auditoria

Valorização de lamas de tratamento de águas residuais urbanas para utilização agrícola

Trabalho de Dissertação de Natureza Científica para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Hidráulica

Tratamento de superfícies metálicas por nanotecnologia

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Planeamento de curto prazo de sistemas de energia solar usando técnicas de otimização robusta

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica

Simulação de plataformas para dispositivos móveis: infraestrutura de simulação sensorial para android

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

Avaliação da função diastólica no ventrículo esquerdo em mulheres hipertensas com excesso de peso ou obesidade

Mestrado em Tecnologia de Diagnóstico e Intervenção Cardiovascular - Ramo de especialização: Ultrassonografia Cardiovascular