Aspectos de aprendizagem em optimização

A optimização e a aprendizagem em Sistemas Multi-Agente são consideradas duas áreas promissoras mas relativamente pouco exploradas. A optimização nestes ambientes deve ser capaz de lidar com o dinamismo. Os agentes podem alterar o seu comportamento baseando-se em aprendizagem recente ou em objectivos de optimização. As estratégias de aprendizagem podem melhorar o desempenho do sistema, dotando os agentes da capacidade de aprender, por exemplo, qual a técnica de optimização é mais adequada para a resolução de uma classe particular de problemas, ou qual a parametrização é mais adequada em determinado cenário. Nesta dissertação são estudadas algumas técnicas de resolução de problemas de Optimização Combinatória, sobretudo as Meta-heurísticas, e é efectuada uma revisão do estado da arte de Aprendizagem em Sistemas Multi-Agente. É também proposto um módulo de aprendizagem para a resolução de novos problemas de escalonamento, com base em experiência anterior. O módulo de Auto-Optimização desenvolvido, inspirado na Computação Autónoma, permite ao sistema a selecção automática da Meta-heurística a usar no processo de optimização, assim como a respectiva parametrização. Para tal, recorreu-se à utilização de Raciocínio baseado em Casos de modo que o sistema resultante seja capaz de aprender com a experiência adquirida na resolução de problemas similares. Dos resultados obtidos é possível concluir da vantagem da sua utilização e respectiva capacidade de adaptação a novos e eventuais cenários.

Balanceamento de linhas de produção usando algoritmos genéticos

Aquando da definição de um layout por fluxo de produto, ou linha de produção, é necessário proceder-se à melhor selecção de combinações de tarefas a serem executadas em cada estação / posto de trabalho para que o trabalho seja executado numa sequência exequível e sejam necessárias quantidades de tempo aproximadamente iguais em cada estação / posto de trabalho. Este processo é chamado de balanceamento da linha de produção. Verifica-se que as estações de trabalho e equipamentos podem ser combinados de muitas maneiras diferentes; daí que a necessidade de efectuar o balanceamento das linhas de produção implique a distribuição de actividades sequenciais por postos de trabalho de modo a permitir uma elevada utilização de trabalho e de equipamentos e a minimizar o tempo de vazio. Os problemas de balanceamento de linhas são tipicamente problemas complexos de tratar, devido ao elevado número de combinações possíveis. Entre os métodos utilizados para resolver estes problemas encontram-se métodos de tentativa e erro, métodos heurísticos, métodos computacionais de avaliação de diferentes opções até se encontrar uma boa solução e métodos de optimização. O objectivo deste trabalho passou pelo desenvolvimento de uma ferramenta computacional para efectuar o balanceamento de linhas de produção recorrendo a algoritmos genéticos. Foi desenvolvida uma aplicação que implementa dois algoritmos genéticos, um primeiro que obtém soluções para o problema e um segundo que optimiza essas soluções, associada a uma interface gráfica em C# que permite a inserção do problema e a visualização de resultados. Obtiveram-se resultados exequíveis demonstrando vantagens em relação aos métodos heurísticos, pois é possível obter-se mais do que uma solução. Além disso, para problemas complexos torna-se mais prático o uso da aplicação desenvolvida. No entanto, esta aplicação permite no máximo seis precedências por cada operação e resultados com o máximo de nove estações de trabalho.

Verificação dos estados limites de utilização de estruturas de betão

A ocorrência de fenómenos como deformações excessivas, deformações impostas, variações de temperatura, fluência e retracção entre outros são responsáveis pela diminuição do desempenho em serviço das estruturas de betão. Frequentemente, os projectistas valorizam em demasia a verificação da segurança em relação aos estados limites últimos, dedicando menos atenção à verificação dos estados limites de utilização, recorrendo a certas medidas construtivas que em casos usuais poderão ser suficientes. Em casos especiais como vãos consideráveis ou acções de elevada intensidade, estas medidas não garantem que a estrutura apresente a funcionalidade e a durabilidade desejáveis, impondo-se a necessidade de verificar os estados limites de utilização por métodos de cálculo mais fiáveis. Este factor, pode ser determinante para evitar certas anomalias de difícil resolução. A presente dissertação pretende documentar alguns métodos de cálculo utilizados no controlo da fendilhação, na limitação das tensões e no controlo das deformações segundo as mais recentes disposições regulamentares previstas para o efeito. Como os valores obtidos com a aplicação destes métodos são aproximações ao comportamento real dos elementos estruturais, procurou-se comparar estes resultados teóricos com situações reais, de forma a avaliar a sua precisão e fiabilidade. A degradação precoce das estruturas de betão, nem sempre se deve apenas à desvalorização da verificação dos estados limites de utilização em fase de projecto. Como os processos de produção destas estruturas são complexos e por vezes são negligenciadas boas práticas de construção, são propostas neste trabalho resumidamente algumas medidas construtivas que visam aumentar a durabilidade das estruturas e o seu desempenho em serviço.

Metodologia de análise da patologia de fachadas de edifícios recentes com sistema ETICS

Ao percorrermos as cidades portuguesas, deparámo-nos frequentemente com fachadas de edifícios muito degradadas, não só de edifícios antigos, mas também de edifícios recentes (construção edificada a partir do início da década de 70). A presença de anomalias nas fachadas, para além de ser esteticamente desagradável na paisagem urbana, pode também potenciar a degradação prematura da envolvente vertical dos edifícios, deixando estas de desempenhar satisfatoriamente as funções de impermeabilidade e eficiência térmica. Tem-se assistido nas últimas décadas em Portugal, não só a uma evolução das técnicas construtivas das fachadas face à crescente exigência da qualidade dos edifícios, mas também a uma crescente utilização de novos revestimentos, nomeadamente, o sistema de isolamento térmico pelo exterior, conhecido pela sigla inglesa ETICS (External Thermal Insulation Composite System) e designado por “revestimento delgado armado sobre isolante”. O principal objectivo da presente dissertação consiste no desenvolvimento e aplicação de uma proposta de metodologia para análise da patologia de fachadas de edifícios recentes com sistema ETICS, que gradualmente tem vindo a implantar-se em Portugal como uma das soluções de carácter inovador de isolamento térmico e de protecção higrométrica da envolvente vertical opaca dos edifícios.

Quantificação do valor ambiental em edifícios: estudo de um caso prático

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil

A criança como ator na resolução de conflitos interpessoais

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Métodos construtivos de pontes

Para a construção de uma estrutura há diversos factores que influenciam a sua concepção, tais como o vão, a topografia do local, acessibilidades, os possíveis acidentes do terreno, como cursos de água ou a sua função. É de ressalvar ainda que o enquadramento paisagístico cada vez mais é tido em conta, embora não seja determinante para a sua função ou dimensionamento. Na construção de pontes existe uma grande variedade de métodos construtivos a usar variando estes com a dimensão da obra ou com a disponibilidade de equipamento por parte do empreiteiro. Cada vez mais deverá ser bem analisado o sistema a usar, uma vez que o custo do processo construtivo constitui uma percentagem elevada do valor final da obra, podendo ser reduzidos os custos pela escolha acertada do método. Com a presente dissertação pretende-se analisar os diferentes métodos construtivos existentes no mercado, sendo estes distinguidos entre sistemas com aplicação de préfabricação ou com betonagem in-situ, e ainda o processo a usar em função do vão a vencer.

Projecto de uma passagem superior à autoestrada 10

Trabalho de Projecto para obtenção do grau de Mestre em Engenharia Civil

Despacho económico de unidades com funções de custo não convexas usando enxames

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

Contribuição do isolamento térmico para o aumento da eficiência energética em edifícios

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

Water quality in lakes and reservoirs in China

Dissertation elaborated for the partial fulfilment of the requirements of the Master Degree in Civil Engineering in the Speciality Area of Hydarulics

Estágio curricular na "Empreitada da 3ª fase de reparação do Caneiro de Alcântara"

Trabalho de Relatório de Estágio para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Edificações

Caracterização de estruturas portuárias: caso de estudo: ampliação do Terminal XXI, Sines

Relatório de Estágio para obtenção do grau de Mestre em Engenharia Civil

Viabilidade do reforço sísmico de um edifício de pequeno porte em alvenaria de pedra ordinária

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.