A transmissão de conceitos matemáticos para Portugal: integrais e funções elípticas

Esta tese considera a transmissão de conceitos matemáticos para Portugal no século XIX, particularmente no campo dos Integrais Elípticos e das Funções Elípticas, tal como foi realizado no trabalho de António Zeferino Cândido. Depois de uma introdução histórica geral ao assunto no capítulo 1, o capítulo 2 estuda a vida de António Zeferino Cândido da Piedade. Ele foi, talvez, o primeiro matemático português a publicar uma tese sobre este assunto. A parte principal, isto é, o capítulo 3, é dedicada à análise do seu trabalho “Integraes e Funcções Ellipticas”. Mostra detalhes da sua abordagem baseada, não só, no livro dos autores Franceses Briot e Bouquet, mas também do autor alemão Schloemilch, o que reflecte as mudanças que ocorreram naquela época na liderança matemática na Europa.

Sistema computacional para o estudo da estrutura primária e redesenho de genes

Um dos maiores avanços científicos do século XX foi o desenvolvimento de tecnologia que permite a sequenciação de genomas em larga escala. Contudo, a informação produzida pela sequenciação não explica por si só a sua estrutura primária, evolução e seu funcionamento. Para esse fim novas áreas como a biologia molecular, a genética e a bioinformática são usadas para estudar as diversas propriedades e funcionamento dos genomas. Com este trabalho estamos particularmente interessados em perceber detalhadamente a descodificação do genoma efectuada no ribossoma e extrair as regras gerais através da análise da estrutura primária do genoma, nomeadamente o contexto de codões e a distribuição dos codões. Estas regras estão pouco estudadas e entendidas, não se sabendo se poderão ser obtidas através de estatística e ferramentas bioinfomáticas. Os métodos tradicionais para estudar a distribuição dos codões no genoma e seu contexto não providenciam as ferramentas necessárias para estudar estas propriedades à escala genómica. As tabelas de contagens com as distribuições de codões, assim como métricas absolutas, estão actualmente disponíveis em bases de dados. Diversas aplicações para caracterizar as sequências genéticas estão também disponíveis. No entanto, outros tipos de abordagens a nível estatístico e outros métodos de visualização de informação estavam claramente em falta. No presente trabalho foram desenvolvidos métodos matemáticos e computacionais para a análise do contexto de codões e também para identificar zonas onde as repetições de codões ocorrem. Novas formas de visualização de informação foram também desenvolvidas para permitir a interpretação da informação obtida. As ferramentas estatísticas inseridas no modelo, como o clustering, análise residual, índices de adaptação dos codões revelaram-se importantes para caracterizar as sequências codificantes de alguns genomas. O objectivo final é que a informação obtida permita identificar as regras gerais que governam o contexto de codões em qualquer genoma.

Problems of minimal aerodynamic resistance

Nesta tese estamos preocupados com o problema da resistência mínima primeiro dirigida por I. Newton em seu Principia (1687): encontrar o corpo de resistência mínima que se desloca através de um médio. As partículas do médio não interagem entre si, bem como a interação das partículas com o corpo é perfeitamente elástica. Diferentes abordagens desse modelo foram feitas por vários matemáticos nos últimos 20 anos. Aqui damos uma visão geral sobre estes resultados que representa interesse independente, uma vez que os autores diferentes usam notações diferentes. Apresentamos uma solução do problema de minimização na classe de corpos de revolução geralmente não convexos e simplesmente conexos. Acontece que nessa classe existem corpos com resistência menor do que o mínimo da resistência na classe de corpos convexos de revolução. Encontramos o infimum da resistência nesta classe e construimos uma sequência regular de corpos que aproxima este infimum. Também apresentamos um corpo de resistência nula. Até agora ninguém sabia se tais corpos existem ou não, evidentemente o nosso corpo não pertence a nenhuma classe anteriormente analisado. Este corpo é não convexo e não simplesmente conexo; a forma topológica dele é um toro, parece um UFO extraterrestre. Apresentamos aqui várias famílias de tais corpos e estudamos as suas propriedades. Também apresentamos um corpo que é natural de chamar um corpo "invisíveis em uma direção", uma vez que a trajectória de cada partícula com a certa direcção coincide com a linha recta fora do invólucro convexo do corpo. ABSTRACT: In this thesis we are concerned with the problem of minimal resistance first addressed by I. Newton in his Principia (1687): find the body of minimal resistance moving through a medium. The medium particles do not mutually interact, and the interaction of particles with the body is perfectly elastic. Different approaches to that model have been tried by several mathematicians during the last 20 years. Here we give an overview of these results that represents interest in itself since all authors use different notations. We present a solution of the minimization problem in the class of generally non convex, simply connected bodies of revolution. It happens that in this class there are bodies with smaller resistance than the minimum in the class of convex bodies of revolution. We find the infimum of the resistance in this class, and construct a sequence of bodies which approximates this infimum. Also we present a body of zero resistance. Since earlier it was unknown if such bodies exists or not, evidently our body does not belong to any class previously examined. The zero resistance body found by us is non-convex and non-simply connected; topologically it is a torus, and it looks like an extraterrestrial UFO. We present here several families of such bodies and study their properties. We also present a body which is natural to call a body "invisible in one direction", since the trajectory of each particle with the given direction, outside the convex hull of the body, coincides with a straight line.

Control of uncertain compartmental systems

Os sistemas compartimentais são frequentemente usados na modelação de diversos processos em várias áreas, tais como a biomedicina, ecologia, farmacocinética, entre outras. Na maioria das aplicações práticas, nomeadamente, aquelas que dizem respeito à administração de drogas a pacientes sujeitos a cirurgia, por exemplo, a presença de incertezas nos parâmetros do sistema ou no estado do sistema é muito comum. Ao longo dos últimos anos, a análise de sistemas compartimentais tem sido bastante desenvolvida na literatura. No entanto, a análise da sensibilidade da estabilidade destes sistemas na presença de incertezas tem recebido muito menos atenção. Nesta tese, consideramos uma lei de controlo por realimentação do estado com restrições de positividade e analisamos a sua robustez quando aplicada a sistemas compartimentais lineares e invariantes no tempo com incertezas nos parâmetros. Além disso, para sistemas lineares e invariantes no tempo com estado inicial desconhecido, combinamos esta lei de controlo com um observador do estado e a robustez da lei de controlo resultante também é analisada. O controlo do bloqueio neuromuscular por meio da infusão contínua de um relaxante muscular pode ser modelado como um sistema compartimental de três compartimentos e tem sido objecto de estudo por diversos grupos de investigação. Nesta tese, os nossos resultados são aplicados a este problema de controlo e são fornecidas estratégias para melhorar os resultados obtidos.

Location-routing problems of semi-obnoxious facilities: approaches and decision support

A presente tese resulta de um trabalho de investigação cujo objectivo se centrou no problema de localização-distribuição (PLD) que pretende abordar, de forma integrada, duas actividades logísticas intimamente relacionadas: a localização de equipamentos e a distribuição de produtos. O PLD, nomeadamente a sua modelação matemática, tem sido estudado na literatura, dando origem a diversas aproximações que resultam de diferentes cenários reais. Importa portanto agrupar as diferentes variantes por forma a facilitar e potenciar a sua investigação. Após fazer uma revisão e propor uma taxonomia dos modelos de localização-distribuição, este trabalho foca-se na resolução de alguns modelos considerados como mais representativos. É feita assim a análise de dois dos PLDs mais básicos (os problema capacitados com procura nos nós e nos arcos), sendo apresentadas, para ambos, propostas de resolução. Posteriormente, é abordada a localização-distribuição de serviços semiobnóxios. Este tipo de serviços, ainda que seja necessário e indispensável para o público em geral, dada a sua natureza, exerce um efeito desagradável sobre as comunidades contíguas. Assim, aos critérios tipicamente utilizados na tomada de decisão sobre a localização destes serviços (habitualmente a minimização de custo) é necessário adicionar preocupações que reflectem a manutenção da qualidade de vida das regiões que sofrem o impacto do resultado da referida decisão. A abordagem da localização-distribuição de serviços semiobnóxios requer portanto uma análise multi-objectivo. Esta análise pode ser feita com recurso a dois métodos distintos: não interactivos e interactivos. Ambos são abordados nesta tese, com novas propostas, sendo o método interactivo proposto aplicável a outros problemas de programação inteira mista multi-objectivo. Por último, é desenvolvida uma ferramenta de apoio à decisão para os problemas abordados nesta tese, sendo apresentada a metodologia adoptada e as suas principais funcionalidades. A ferramenta desenvolvida tem grandes preocupações com a interface de utilizador, visto ser direccionada para decisores que tipicamente não têm conhecimentos sobre os modelos matemáticos subjacentes a este tipo de problemas.

Study of the impact from nonlinear distortion in radio receiver architectures

A dissertação de doutoramento apresentada insere-se na área de electrónica não-linear de rádio-frequência (RF), UHF e microondas, tendo como principal campo de acção o estudo da distorção nãolinear em arquitecturas de recepção rádio, nomeadamente receptores de conversão directa como Power Meters, RFID (Radio Frequency IDentification) ou SDR (Software Define Radio) front-ends. Partindo de um estudo exaustivo das actuais arquitecturas de recepção de radiofrequência e revendo todos os conceitos teóricos relacionados com o desempenho não-linear dos sistemas/componentes electrónicos, foram desenvolvidos algoritmos matemáticos de modulação dos comportamentos não-lineares destas arquitecturas, simulados e testados em laboratório e propostas novas arquitecturas para a minimização ou cancelamento do impacto negativo de grandes interferidores em frequências vizinhas ao do sistema pretendido.

Optimal control and numerical optimization applied to epidemiological models

A relação entre a epidemiologia, a modelação matemática e as ferramentas computacionais permite construir e testar teorias sobre o desenvolvimento e combate de uma doença. Esta tese tem como motivação o estudo de modelos epidemiológicos aplicados a doenças infeciosas numa perspetiva de Controlo Ótimo, dando particular relevância ao Dengue. Sendo uma doença tropical e subtropical transmitida por mosquitos, afecta cerca de 100 milhões de pessoas por ano, e é considerada pela Organização Mundial de Saúde como uma grande preocupação para a saúde pública. Os modelos matemáticos desenvolvidos e testados neste trabalho, baseiam-se em equações diferenciais ordinárias que descrevem a dinâmica subjacente à doença nomeadamente a interação entre humanos e mosquitos. É feito um estudo analítico dos mesmos relativamente aos pontos de equilíbrio, sua estabilidade e número básico de reprodução. A propagação do Dengue pode ser atenuada através de medidas de controlo do vetor transmissor, tais como o uso de inseticidas específicos e campanhas educacionais. Como o desenvolvimento de uma potencial vacina tem sido uma aposta mundial recente, são propostos modelos baseados na simulação de um hipotético processo de vacinação numa população. Tendo por base a teoria de Controlo Ótimo, são analisadas as estratégias ótimas para o uso destes controlos e respetivas repercussões na redução/erradicação da doença aquando de um surto na população, considerando uma abordagem bioeconómica. Os problemas formulados são resolvidos numericamente usando métodos diretos e indiretos. Os primeiros discretizam o problema reformulando-o num problema de optimização não linear. Os métodos indiretos usam o Princípio do Máximo de Pontryagin como condição necessária para encontrar a curva ótima para o respetivo controlo. Nestas duas estratégias utilizam-se vários pacotes de software numérico. Ao longo deste trabalho, houve sempre um compromisso entre o realismo dos modelos epidemiológicos e a sua tratabilidade em termos matemáticos.

O projeto PmatE e a aprendizagem da matemática no ensino superior

O contexto educacional exige renovação de paradigmas. Impõem-se profundas alterações ao nível do papel e da função do professor e dos alunos, devendo-se privilegiar metodologias de aprendizagem ativas, cooperativas e participativas, rompendo-se com o ensino magistral e a mera transmissão de ‘conhecimentos’. As ferramentas informáticas poderão constituir-se uma mais-valia no contexto educativo, promovendo uma aprendizagem significativa e autorregulada pelo aluno, sempre sob a adequada orientação do professor. Neste contexto, foi criado, na Universidade de Aveiro, o Projeto Matemática Ensino (PmatE), com o principal objetivo de combater, de uma forma inovadora, as causas do insucesso escolar a matemática. No entanto, tal plataforma ainda não foi alvo de uma avaliação sistemática, nomeadamente ao nível do ensino superior, que nos permita concluir da consecução dos seus propósitos. Assim, a questão de investigação subjacente ao estudo em curso é - Qual o impacte da utilização diferenciada, como complemento à abordagem didáctica, da plataforma de ensino assistido (PEA) desenvolvida pelo PmatE na aprendizagem de temas matemáticos ao nível do Ensino Superior, principalmente ao nível da autonomia, da construção e aplicação de conhecimentos e do desenvolvimento de apetências pela Matemática. Para se tentar dar resposta à mesma, implementou-se um estudo misto, quantitativo e qualitativo, com alunos da unidade curricular Análise Matemática I do Curso Engenharia Alimentar de um Instituto Politécnico português, a quem se propôs uma exploração prévia da plataforma extra-aula para que, nesse espaço, se pudesse conceptualizar os conceitos envolvidos e realizar tarefas variadas quanto à sua natureza. Usaram-se como principais técnicas de recolha de dados a análise documental, a inquirição e a observação direta, suportadas pelos diversos instrumentos: Questionário Inicial e Final; testes de avaliação, nas versões pré-teste, pós-teste1 e pós-teste2; produções de uma bateria de tarefas de natureza diversificada; registo computorizado do percurso dos alunos relativamente ao trabalho por eles desenvolvido na plataforma do PmatE; notas de campo; dossier dos alunos e entrevistas. Os resultados obtidos, a partir de uma análise estatística dos dados quantitativos e de conteúdo dos dados qualitativos, indicam, por um lado, que os alunos mais autónomos, mais persistentes e que obtêm os melhores resultados são os alunos que usaram a plataforma com frequência e, por outro, que a utilização da plataforma contribuiu para aumentar o gosto pela Matemática. Este estudo permitiu, também, obter informação importante sobre aspetos que poderão melhorar a plataforma, em particular, relativos à natureza das tarefas e à resolução dos exercícios propostos.

A aprendizagem musical como elemento de aperfeiçoamento de competências matemáticas

Tomando como ponto de partida a relação entre música e matemática, nesta investigação temos como principal objetivo estudar a influência da aprendizagem musical no desempenho matemático. Pretendeu-se ainda observar o efeito de um conjunto de preditores no referido desempenho, mais concretamente do nível socioeconómico, da inteligência e de variáveis cognitivo-motivacionais (motivação, expectativas de autoeficácia e atribuições causais). Numa primeira parte, delineámos as linhas teóricas desta investigação. Começámos por relatar a relação entre música e matemática no âmbito da musicologia histórica, da teoria e análise musicais, da acústica e das tendências na composição musical, evidenciando os mecanismos de ligação entre elementos e conceitos musicais e tópicos e temas matemáticos. Relatámos os benefícios da exposição musical ao nível do desenvolvimento cognitivo e intelectual, destacando o aumento do raciocínio espacial, do desempenho matemático e da inteligência com a aprendizagem musical. De seguida, descrevemos o impacto das aulas de música no aumento do desempenho académico a várias disciplinas, nomeadamente a Matemática, enfatizando a associação da duração da aprendizagem musical com o aumento das capacidades matemáticas; para além do efeito da aprendizagem musical, procurámos ainda explicação de um desempenho académico melhorado com base em variáveis potenciadoras da performance, tais como o nível socioeconómico e a inteligência. Nesta linha de abordagem, explorámos os efeitos de variáveis influentes do desempenho académico fora do contexto musical, reportando-nos ao nível socioeconómico, à inteligência e às dimensões cognitivo-motivacionais (motivação, expectativas de autoeficácia e atribuições causais), destacando o poder preditivo da inteligência, seguido do nível socioeconómico e da motivação. Por fim, referimo-nos à interação entre música e encéfalo por meio das temáticas da plasticidade neural estrutural e funcional, do efeito da aprendizagem e performance musicais, da cognição musical e domínios não musicais, bem como dos fatores genéticos; sublinhamos a possibilidade de ligações entre a cognição musical e os domínios espacial e matemático. Numa segunda parte, apresentamos a investigação que desenvolvemos em contexto escolar com 112 alunos do 7º ano de escolaridade provenientes de 12 escolas do Ensino Básico. Nove são do Ensino Especializado de Música e três são do Ensino Regular. No total, as escolas enquadram-se nas zonas urbanas de Braga, Coimbra e Lisboa. O estudo possui carácter longitudinal e abrange três anos letivos, do 7º ao 9º anos de escolaridade. Após explanação dos objetivos, das hipóteses de investigação, da caracterização da amostra, da descrição dos instrumentos de avaliação e respetiva validação empírica, relatamos os resultados que encontrámos. Estes permitiram, por um lado, validar a hipótese de que os alunos submetidos ao ensino formal de música apresentam um desempenho matemático superior comparativamente aos alunos que não frequentaram este tipo de ensino (H1) e, por outro, sustentar que o número de anos de aprendizagem musical contribui para o aumento do desempenho matemático (H3). Sublinha-se, ainda, que os alunos de instrumento de teclado revelaram desempenho matemático mais elevado em relação aos seus pares que estudaram outros instrumentos. Já no que se refere ao poder preditivo do tipo de ensino (Ensino Especializado de Música vs. Ensino Regular), apurámos que a formação em música prevê melhores desempenhos a matemática; destaca-se que as variáveis em estudo, tais como o nível socioeconómico, a motivação, as expectativas de autoeficácia e a inteligência adicionam capacidade explicativa do desempenho matemático, sendo que a presença da aprendizagem musical perdeu aptidão preditiva apenas na presença da inteligência. Contudo, após controlo estatístico da inteligência, foi possível concluir que a aprendizagem musical mantém o poder preditivo no desempenho matemático (H2). Os resultados permitiram identificar em que tópicos e temas matemáticos relacionados com os elementos e conceitos musicais os alunos com aprendizagem musical apresentam melhores desempenhos, evidenciando-se os tópicos no âmbito da Geometria (H4). Observámos, também, que é possível prever o desempenho matemático a partir do raciocínio espacial dos alunos (H5). Finalmente, referimos as limitações, refletimos sobre as implicações que estes resultados poderão trazer no âmbito do ensino da música em Portugal e apontamos pistas conducentes ao desenvolvimento de investigações futuras.

Development of open models and tools for seismic risk assessment: application to Portugal

The exponential growth of the world population has led to an increase of settlements often located in areas prone to natural disasters, including earthquakes. Consequently, despite the important advances in the field of natural catastrophes modelling and risk mitigation actions, the overall human losses have continued to increase and unprecedented economic losses have been registered. In the research work presented herein, various areas of earthquake engineering and seismology are thoroughly investigated, and a case study application for mainland Portugal is performed. Seismic risk assessment is a critical link in the reduction of casualties and damages due to earthquakes. Recognition of this relation has led to a rapid rise in demand for accurate, reliable and flexible numerical tools and software. In the present work, an open-source platform for seismic hazard and risk assessment is developed. This software is capable of computing the distribution of losses or damage for an earthquake scenario (deterministic event-based) or earthquake losses due to all the possible seismic events that might occur within a region for a given interval of time (probabilistic event-based). This effort has been developed following an open and transparent philosophy and therefore, it is available to any individual or institution. The estimation of the seismic risk depends mainly on three components: seismic hazard, exposure and vulnerability. The latter component assumes special importance, as by intervening with appropriate retrofitting solutions, it may be possible to decrease directly the seismic risk. The employment of analytical methodologies is fundamental in the assessment of structural vulnerability, particularly in regions where post-earthquake building damage might not be available. Several common methodologies are investigated, and conclusions are yielded regarding the method that can provide an optimal balance between accuracy and computational effort. In addition, a simplified approach based on the displacement-based earthquake loss assessment (DBELA) is proposed, which allows for the rapid estimation of fragility curves, considering a wide spectrum of uncertainties. A novel vulnerability model for the reinforced concrete building stock in Portugal is proposed in this work, using statistical information collected from hundreds of real buildings. An analytical approach based on nonlinear time history analysis is adopted and the impact of a set of key parameters investigated, including the damage state criteria and the chosen intensity measure type. A comprehensive review of previous studies that contributed to the understanding of the seismic hazard and risk for Portugal is presented. An existing seismic source model was employed with recently proposed attenuation models to calculate probabilistic seismic hazard throughout the territory. The latter results are combined with information from the 2011 Building Census and the aforementioned vulnerability model to estimate economic loss maps for a return period of 475 years. These losses are disaggregated across the different building typologies and conclusions are yielded regarding the type of construction more vulnerable to seismic activity.

Nanofluids development and characterization for heat exchanging intensification

A desmaterialização da economia é um dos caminhos para a promoção do desenvolvimento sustentável na medida em que elimina ou reduz a utilização de recursos naturais, fazendo mais com menos. A intensificação dos processos tecnológicos é uma forma de desmaterializar a economia. Sistemas mais compactos e mais eficientes consomem menos recursos. No caso concreto dos sistemas envolvendo processo de troca de calor, a intensificação resulta na redução da área de permuta e da quantidade de fluido de trabalho, o que para além de outra vantagem que possa apresentar decorrentes da miniaturização, é um contributo inegável para a sustentabilidade da sociedade através do desenvolvimento científico e tecnológico. O desenvolvimento de nanofluidos surge no sentido de dar resposta a estes tipo de desafios da sociedade moderna, contribuindo para a inovação de produtos e sistemas, dando resposta a problemas colocados ao nível das ciências de base. A literatura é unânime na identificação do seu potencial como fluidos de permuta, dada a sua elevada condutividade, no entanto a falta de rigor subjacente às técnicas de preparação dos mesmos, assim como de um conhecimento sistemático das suas propriedades físicas suportado por modelos físico-matemáticos devidamente validados levam a que a operacionalização industrial esteja longe de ser concretizável. Neste trabalho, estudou-se de forma sistemática a condutividade térmica de nanofluidos de base aquosa aditivados com nanotubos de carbono, tendo em vista a identificação dos mecanismos físicos responsáveis pela condução de calor no fluido e o desenvolvimento de um modelo geral que permita com segurança determinar esta propriedade com o rigor requerido ao nível da engenharia. Para o efeito apresentam-se métodos para uma preparação rigorosa e reprodutível deste tipo de nanofluido assim como das metodologias consideradas mais importantes para a aferição da sua estabilidade, assegurando deste modo o rigor da técnica da sua produção. A estabilidade coloidal é estabelecida de forma rigorosa tendo em conta parâmetros quantificáveis como a ausência de aglomeração, a separação de fases e a deterioração da morfologia das nanopartículas. Uma vez assegurado o método de preparação dos nanofluídos, realizou-se uma análise paramétrica conducente a uma base de dados obtidos experimentalmente que inclui a visão central e globalizante da influência relativa dos diferentes fatores de controlo com impacto nas propriedades termofísicas. De entre as propriedades termofísicas, este estudo deu particular ênfase à condutividade térmica, sendo os fatores de controlo selecionados os seguintes: fluido base, temperatura, tamanho da partícula e concentração de nanopartículas. Experimentalmente, verificou-se que de entre os fatores de controlo estudados, os que maior influência detêm sobre a condutividade térmica do nanofluido, são o tamanho e concentração das nanopartículas. Com a segurança conferida por uma base de dados sólida e com o conhecimento acerca da contribuição relativa de cada fator de controlo no processo de transferência de calor, desenvolveu-se e validou-se um modelo físico-matemático com um caracter generalista, que permitirá determinar com segurança a condutividade térmica de nanofluidos.

Optimization models for a short sea fuel oil distribution problem

O transporte marítimo e o principal meio de transporte de mercadorias em todo o mundo. Combustíveis e produtos petrolíferos representam grande parte das mercadorias transportadas por via marítima. Sendo Cabo Verde um arquipelago o transporte por mar desempenha um papel de grande relevância na economia do país. Consideramos o problema da distribuicao de combustíveis em Cabo Verde, onde uma companhia e responsavel por coordenar a distribuicao de produtos petrolíferos com a gestão dos respetivos níveis armazenados em cada porto, de modo a satisfazer a procura dos varios produtos. O objetivo consiste em determinar políticas de distribuicão de combustíveis que minimizam o custo total de distribuiçao (transporte e operacões) enquanto os n íveis de armazenamento sao mantidos nos n íveis desejados. Por conveniencia, de acordo com o planeamento temporal, o prob¬lema e divido em dois sub-problemas interligados. Um de curto prazo e outro de medio prazo. Para o problema de curto prazo sao discutidos modelos matemáticos de programacao inteira mista, que consideram simultaneamente uma medicao temporal cont ínua e uma discreta de modo a modelar multiplas janelas temporais e taxas de consumo que variam diariamente. Os modelos sao fortalecidos com a inclusão de desigualdades validas. O problema e então resolvido usando um "software" comercial. Para o problema de medio prazo sao inicialmente discutidos e comparados varios modelos de programacao inteira mista para um horizonte temporal curto assumindo agora uma taxa de consumo constante, e sao introduzidas novas desigualdades validas. Com base no modelo escolhido sao compara¬das estrategias heurísticas que combinam três heur ísticas bem conhecidas: "Rolling Horizon", "Feasibility Pump" e "Local Branching", de modo a gerar boas soluçoes admissíveis para planeamentos com horizontes temporais de varios meses. Finalmente, de modo a lidar com situaçoes imprevistas, mas impor¬tantes no transporte marítimo, como as mas condicões meteorológicas e congestionamento dos portos, apresentamos um modelo estocastico para um problema de curto prazo, onde os tempos de viagens e os tempos de espera nos portos sao aleatórios. O problema e formulado como um modelo em duas etapas, onde na primeira etapa sao tomadas as decisões relativas as rotas do navio e quantidades a carregar e descarregar e na segunda etapa (designada por sub-problema) sao consideradas as decisoes (com recurso) relativas ao escalonamento das operacões. O problema e resolvido por um metodo de decomposto que usa um algoritmo eficiente para separar as desigualdades violadas no sub-problema.

F. G. Teixeira e a comunidade matemática europeia nos séculos XIX-XX

Esta dissertação descreve o processo de integração dos matemáticos portugueses na comunidade matemática internacional no final do século XIX e início do século XX, focando-se na vida e obra do matemático Francisco Gomes Teixeira (1851-1933). Tenciona a ser mais um contributo para o reconhecimento nacional e internacional do matemático Gomes Teixeira analisando a sua obra como matemático e organizador científico em Portugal através de fontes, parcialmente ainda não conhecidas. Para esse efeito analisou-se a evolução histórica que ocorreu no mundo científico daquela época, em particular a formação da comunidade matemática através de iniciativas individuais ou coletivas, muitas vezes acompanhadas pela fundação de revistas e elaboração de manuais que contribuíram para a internacionalização e, de certa forma, para uma estandardização do estudo universitário básico. Em particular foi estudada a situação em Portugal, onde o papel de liderança foi assumido por Gomes Teixeira. Mostra-se como Gomes Teixeira, graças ao seu trabalho, ao seu talento como matemático e à sua atividade como organizador académico, conseguiu reduzir significativamente o isolamento científico de Portugal na área da matemática. Estudou-se em extensão a fundação de revistas científicas em diferentes países, acompanhando a sua evolução desde de revistas nacionais até revistas internacionais. Focando-nos no Jornal de Sciencias Matemáticas e Astronómicas, fundado em 1877 por Gomes Teixeira (mais tarde conhecido internacionalmente como Teixeira’s Journal), acompanhamos detalhadamente a sua transformação de uma revista nacional numa revista internacional, sendo esta transformação comum naquela época à maioria de revistas científicas importantes de outros países como, por exemplo, no caso do Jornal de Crelle, do Jornal de Liouville, ou outros. Estudou-se igualmente o reconhecimento a nível internacional, através de referências estrangeiras, da abordagem original de Gomes Teixeira à Análise Infinitesimal patente nos seus manuais. O interesse de Gomes Teixeira pela teoria das funções analíticas e pelos seus diferentes desenvolvimentos em série manifestou-se no grande número de artigos publicados sobre este tema e encontrou reconhecimento justo pela designação de um teorema que completa resultados de Lagrange e de Laurent como Teorema de Teixeira. Na sua análise do mérito científico de Gomes Teixeira esta dissertação restringiu-se conscientemente nesta área da Análise Matemática, uma vez que um estudo abrangente de toda a obra ultrapassasse o nosso objetivo. Foi também discutido o intenso intercâmbio científico levado a cabo por Gomes Teixeira através de correspondência e troca de publicações ou permuta de revistas com os matemáticos de diferentes países. Esta análise permitiu verificar um aumento da popularidade dos matemáticos portugueses através do incremento do número de artigos publicados no estrangeiro durante quase 30 anos. Uma fonte imprescindível nesta análise foi o Jahrbuch über die Fortschritte der Mathematik, cujas referências (em geral na língua alemã e por isso até agora quase nunca usadas na literatura Portuguesa) documentaram as publicações em quase todas as revistas matemáticas durante os anos da sua existência entre 1868 e 1942. Descreve-se a colaboração de Gomes Teixeira com diferentes organizações internacionais e documenta-se o apreço internacional por parte do mundo académico. Novos documentos traçam o processo de eleição como membro da Academia das Ciências Alemã Leopoldina, sob proposta de Georg Cantor e outros matemáticos alemães. Finalmente, incluí-se uma breve descrição das atividades levadas a cabo na Rússia, em Espanha e na Grécia em prol do processo de internacionalização da comunidade matemática europeia tendo em vista uma melhor contextualização do contributo de Gomes Teixeira para a integração de Portugal neste processo.