4 resultados para Formalização
em SAPIENTIA - Universidade do Algarve - Portugal
Resumo:
Dissertação mest., Matemática, Universidade do Algarve, 2009
Resumo:
A presente dissertação pretende aprofundar o conhecimento da casa nobre do Algarve e de Loulé em particular, inserida num contexto nacional de produção artística do antigo regime. Propõe uma abordagem que, para além da identificação e interpretação dos edifícios ainda existentes na região, incide sobre dois estudos de casos apresentados de forma monográfica. Desenvolve-se em torno das questões da encomenda enquanto imagem histórico-social, autoria, formalização de fachadas, distribuição funcional do espaço interior e contexto urbano, buscando a génese formal, numa tentativa de confirmação da sua raiz de filiação erudita.
Resumo:
Esta dissertação tem por objectivo aplicar algoritmos evolutivos multiobjectivo a problemas de afectação de recursos, particulamente a problemas de geração de horários de exames e problemas de geração de horários de aulas em Universidades. Estes problemas são normalmente caracterizados pela existência de múltiplos objectivos conflituosos. Neste sentido, uma formalização multiobjectivo para estes problemas é apresentada, com base no conceito de metas e prioridades. Vários aspectos dos algoritmos evolutivos são propostos e analisados para esta classe de problemas, nomeadamente, métodos de selecção e tipo e parâmetros de operadores de mutação. A escolha da representação e dos operadores utilizados é feita tendo em conta a necessidade de não privilegiar demasiadamente certos objectivos em relação a outros ao nível dos mecanismos de exploração. São apresentados estudos comparativos entre os algoritmos propostos por meio de métodos de inferência estatística em problemas reais na Universidade do Algarve. O conceito de função de aproveitamento é utilizado para avaliação de algoritmos evolutivos multiobjectivo. Finalmente, a análise da evolução do custo das soluções encontradas ao longo do tempo de execução através de funções de aproveitamento é apresentada.
Resumo:
Dissertação de Mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015