Polyhedral study of mixed integer sets arising from inventory problems

“Branch-and-cut” algorithm is one of the most efficient exact approaches to solve mixed integer programs. This algorithm combines the advantages of a pure branch-and-bound approach and cutting planes scheme. Branch-and-cut algorithm computes the linear programming relaxation of the problem at each node of the search tree which is improved by the use of cuts, i.e. by the inclusion of valid inequalities. It should be taken into account that selection of strongest cuts is crucial for their effective use in branch-and-cut algorithm. In this thesis, we focus on the derivation and use of cutting planes to solve general mixed integer problems, and in particular inventory problems combined with other problems such as distribution, supplier selection, vehicle routing, etc. In order to achieve this goal, we first consider substructures (relaxations) of such problems which are obtained by the coherent loss of information. The polyhedral structure of those simpler mixed integer sets is studied to derive strong valid inequalities. Finally those strong inequalities are included in the cutting plane algorithms to solve the general mixed integer problems. We study three mixed integer sets in this dissertation. The first two mixed integer sets arise as a subproblem of the lot-sizing with supplier selection, the network design and the vendor-managed inventory routing problems. These sets are variants of the well-known single node fixed-charge network set where a binary or integer variable is associated with the node. The third set occurs as a subproblem of mixed integer sets where incompatibility between binary variables is considered. We generate families of valid inequalities for those sets, identify classes of facet-defining inequalities, and discuss the separation problems associated with the inequalities. Then cutting plane frameworks are implemented to solve some mixed integer programs. Preliminary computational experiments are presented in this direction.

Contributos para a eficácia do clustering usando o tagging social

Nos últimos anos temos vindo a assistir a uma mudança na forma como a informação é disponibilizada online. O surgimento da web para todos possibilitou a fácil edição, disponibilização e partilha da informação gerando um considerável aumento da mesma. Rapidamente surgiram sistemas que permitem a coleção e partilha dessa informação, que para além de possibilitarem a coleção dos recursos também permitem que os utilizadores a descrevam utilizando tags ou comentários. A organização automática dessa informação é um dos maiores desafios no contexto da web atual. Apesar de existirem vários algoritmos de clustering, o compromisso entre a eficácia (formação de grupos que fazem sentido) e a eficiência (execução em tempo aceitável) é difícil de encontrar. Neste sentido, esta investigação tem por problemática aferir se um sistema de agrupamento automático de documentos, melhora a sua eficácia quando se integra um sistema de classificação social. Analisámos e discutimos dois métodos baseados no algoritmo k-means para o clustering de documentos e que possibilitam a integração do tagging social nesse processo. O primeiro permite a integração das tags diretamente no Vector Space Model e o segundo propõe a integração das tags para a seleção das sementes iniciais. O primeiro método permite que as tags sejam pesadas em função da sua ocorrência no documento através do parâmetro Social Slider. Este método foi criado tendo por base um modelo de predição que sugere que, quando se utiliza a similaridade dos cossenos, documentos que partilham tags ficam mais próximos enquanto que, no caso de não partilharem, ficam mais distantes. O segundo método deu origem a um algoritmo que denominamos k-C. Este para além de permitir a seleção inicial das sementes através de uma rede de tags também altera a forma como os novos centróides em cada iteração são calculados. A alteração ao cálculo dos centróides teve em consideração uma reflexão sobre a utilização da distância euclidiana e similaridade dos cossenos no algoritmo de clustering k-means. No contexto da avaliação dos algoritmos foram propostos dois algoritmos, o algoritmo da “Ground truth automática” e o algoritmo MCI. O primeiro permite a deteção da estrutura dos dados, caso seja desconhecida, e o segundo é uma medida de avaliação interna baseada na similaridade dos cossenos entre o documento mais próximo de cada documento. A análise de resultados preliminares sugere que a utilização do primeiro método de integração das tags no VSM tem mais impacto no algoritmo k-means do que no algoritmo k-C. Além disso, os resultados obtidos evidenciam que não existe correlação entre a escolha do parâmetro SS e a qualidade dos clusters. Neste sentido, os restantes testes foram conduzidos utilizando apenas o algoritmo k-C (sem integração de tags no VSM), sendo que os resultados obtidos indicam que a utilização deste algoritmo tende a gerar clusters mais eficazes.

Quantificação de mercúrio em águas de consumo: validação do método na Luságua

Para o ser humano, a água sempre foi um recurso essencial ao longo da sua evolução. Hoje em dia, com todo o avanço tecnológico, a água é um bem muito vulnerável às diversas atividades antropogénicas. Entre os muitos contaminantes que podem afetar a qualidade da água para consumo humano, os metais causam grande preocupação devido à sua elevada toxicidade. O mercúrio é um dos contaminantes que deve ser devidamente controlado devido ao seu elevado grau de toxicidade. Este Estágio foi realizado no Laboratório Luságua e o seu principal objetivo foi avaliar se era possível baixar o limite de quantificação da técnica existente na empresa para quantificar o mercúrio em águas de consumo e validar o método através do cálculo de vários parâmetros de controlo de qualidade. Foi ainda feita a comparação entre a técnica de quantificação de mercúrio existente na Luságua (CV-AAS) e a existente na Universidade de Aveiro (CVAFS) para avaliar se havia uma mais-valia para a Luságua se adquirisse um novo equipamento para analisar o mercúrio em águas. Os parâmetros de validação avaliados nos dois métodos derem resultados semelhantes, não identificando a necessidade atual de substituir o equipamento existente na Luságua, até porque se conseguiu baixar o limite de quantificação, atingindo assim o objetivo estabelecido no início para este Estágio.

4-Quinolonas: novos métodos de síntese e transformação em acridonas

A presente dissertação é constituída por quatro capítulos, organizados em introdução geral, discussão do trabalho desenvolvido na síntese de quinolin-4(1H)-onas e acridonas, caracterização estrutural dos novos compostos sintetizados e parte experimental. No primeiro capítulo desta dissertação é apresentada uma breve revisão bibliográfica de quinolin-4(1H)-onas e acridonas, abrangendo a respectiva nomenclatura, ocorrência natural e métodos de síntese. O segundo capítulo engloba estudos da reactividade de (E)-2-estirilquinolin-4(1H)-onas e (E)-N-(2-acetilfenil)-3-arilacrilamidas como dienófilos com o-benzoquinodimetanos, gerados in situ a partir da extrusão quelotrópica do dióxido de enxofre de 2,2-dióxidos de 1,3-di-hidrobenzo[c]tiofenos. Estes estudos conduziram à obtenção de novas 2-(3-aril-1,2,3,4-tetra-hidronaftalen-2-il)-1-metilquinolin-4(1H)-onas e análogos não substituídos no átomo de azoto N1 da quinolin-4(1H)-ona. Em seguida foram estudadas as reações de desidrogenação e fotociclização dos compostos obtidos anteriormente, com vista à obtenção de novas 2-(3-arilnaftalen-2-il)-1-metilquinolin-4(1H)-onas, análogos não substituídos em N1 e de novas acridonas. No segundo capítulo também é abordada a síntese dos compostos precursores, as (E)-N-(2-acetilfenil)-3-arilacrilamidas, as (E)-2-estirilquinolin-4(1H)-onas e os 2,2-dióxidos de 1,3-di-hidrobenzo[c]tiofenos. No terceiro capitulo é discutida a caracterização estrutural das novas quinolin-4(1H)-onas e acridona sintetizadas, com estudos de espetroscopia de ressonância magnética nuclear 1D (1H e 13C) e 2D (homo- e heteronuclear). O quarto capítulo inclui toda a parte experimental, contendo os procedimentos optimizados para a síntese e purificação destes compostos, e a caracterização estrutural dos novos compostos sintetizados.

Métodos dos momentos

Os métodos utilizados na resolução de problemas, nos vários ramos da Engenharia ou ciências aplicadas, baseiam-se, actualmente, em uma de duas categorias: métodos analíticos e métodos numéricos. É preferível a utilização dos métodos analíticos, na resolução de equações ou outros modelos matemáticos, sempre que possível, uma vez que formamões gerais em vez de particularizadas, para além de uma maior informação.

Avaliação da comunidade microbiana diazotrófica em solos sob cultura biológica por métodos moleculares

Dissertação mest., Biologia Marinha, Universidade do Algarve, 2008

Comparação dos métodos aplicados na detecção de bactérias coliformes, Escherichia coli e Enterococcus sp. em águas para fins recreativos

Dissertação mest., Qualidade em Análises, Universidade do Algarve, 2007

Aplicação de métodos de customer relationship management ao tratamento de dados para o desenvolvimento de negócios

Tese de Doutoramento, Gestão, na especialidade de Marketing, Faculdade de Economia, Universidade do Algarve, 2007

Métodos de censo de perdiz-vermelha (Alectoris rufa L.) em zonas de alta e baixa densidades

Dissertação de mest., Gestão e Conservação da Natureza, Faculdade de Ciências do Mar e do Ambiente, Univ. do Algarve, 2006

Métodos de soft computing para la estimación no invasiva de la temperatura en medios multicapa empleando ultrasonido retrodisperso

La seguridad y eficacia de las terapias térmicas están ligadas con la determinación exacta de la temperatura, es por ello que la retroalimentacón de la temperatura en los métodos computacionales es de vital importancia.

Avaliação sensorial da frescura de produtos da pesca através do método QIM (Quality Index Method): revisão dos métodos desenvolvidos nos últimos 20 anos

Dissertação de mest., Tecnologia de Alimentos, Instituto Superior de Engenharia, Univ. do Algarve, 2012

Contribuições da análise de opções reais na avaliação de projectos de investimento

Os modelos de avaliação baseados na análise tradicional foram considerados, durante anos, como os métodos de excelência, para avaliar projetos de investimento. No entanto, devido à importância estratégica de alguns setores, onde se inclui o setor dos transportes, a análise tradicional foi sendo posta em causa, dando espaço para que novas abordagens relacionadas com a tomada de decisões em contexto de incerteza emergissem, como é o caso da metodologia das opções reais. Neste contexto na presente dissertação argumenta-se que a avaliação de um projeto de investimento recorrendo à análise de opções reais, é um método que apresenta algumas vantagens comparativamente com o tradicional modelo dos fluxos de caixa atualizados. Mais precisamente, é analisada a política ótima de decisão de investimento no novo aeroporto. Trata-se de um exemplo característico de cálculo da opção de diferimento inerente à tomada de decisão, que consiste, essencialmente, na oportunidade de esperar para realizar o projeto. As fórmulas desenvolvidas no presente trabalho permitem determinar o valor de um projeto de investimento com opção de diferimento, tendo por base um conjunto de pressupostos. Assim, considera-se que os fluxos de caixa do projeto são obtidos com base em variáveis (estocásticas e determinísticas) e que o valor do investimento é fixo. Mais, pressupõe-se que as variáveis estocásticas seguem um movimento geométrico Browniano. É ainda possível, obter o valor crítico para as variáveis do modelo, isto é, o valor a partir do qual é ótimo exercer a opção de diferimento, ou seja, avançar com o projeto.

Head Space-Trap GC-MS method development and validation for the analysis of volatile organic compounds in water samples

Dissertação de Mestrado, Qualidade em Análises, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015

O uso da folha de cálculo na aprendizagem da estatística

Relatório da prática de ensino supervisionada, Mestrado em Ensino da Matemática, Universidade de Lisboa, 2011

Metodologia bayesiana e adequação de modelos

Tese de doutoramento, Estatística e Investigação Operacional (Probabilidades e Estatística), Universidade de Lisboa, Faculdade de Ciências, 2014