4 resultados para Formalização

em SAPIENTIA - Universidade do Algarve - Portugal


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação mest., Matemática, Universidade do Algarve, 2009

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação de Mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015