Cálculo das variações fraccional generalizado

Nesta tese de doutoramento apresentamos um cálculo das variações fraccional generalizado. Consideramos problemas variacionais com derivadas e integrais fraccionais generalizados e estudamo-los usando métodos directos e indirectos. Em particular, obtemos condições necessárias de optimalidade de Euler-Lagrange para o problema fundamental e isoperimétrico, condições de transversalidade e teoremas de Noether. Demonstramos a existência de soluções, num espaço de funções apropriado, sob condições do tipo de Tonelli. Terminamos mostrando a existência de valores próprios, e correspondentes funções próprias ortogonais, para problemas de Sturm- Liouville.

Aprendizagem matemática no ensino superior: a influência da plataforma M@T-educar com sucesso

Novas abordagens educacionais têm vindo a surgir como resultado de mudanças económicas, sociais e políticas, que levaram, a nível europeu ao desenvolvimento do Processo de Bolonha. As instituições de ensino superior enfrentam, assim, novos desafios e oportunidades, nomeadamente, o desenvolvimento de contextos educativos mais centrados nas aprendizagens dos alunos, promotores de cidadãos mais autónomos, mais ativos e mais provocadores, capazes de responderem às exigências da Sociedade do Conhecimento global. Diversos estudos apontam a importância de ambientes online na persecução desses objetivos, designadamente na área da Matemática. Neste contexto, desenvolveu-se a plataforma online – M@t-educar com Sucesso – que, a partir da informação teórica, permite a resolução de tarefas interativas, algumas delas contendo animações, das quais se fornece um feedback imediato, a qual carece de avaliação. Assim, este estudo tem como objetivo principal avaliar a influência da exploração prévia às aulas da referida plataforma no desenvolvimento de conhecimentos e capacidades matemáticas, da autonomia e do interesse por essa área em estudantes do ensino superior. O estudo ocorreu na unidade curricular de Cálculo Infinitesimal do Curso Superior de Gestão de uma instituição do ensino superior. Metodologicamente, optou-se por uma abordagem mista de investigação e pelo design de estudo de caso, tendo-se partido de uma análise macro, envolvendo todos os alunos de Cálculo Infinitesimal, seguida de uma análise meso, considerando os alunos da turma da professora/investigadora, que foi evoluindo para uma análise micro, estudando cinco casos da turma. Para tal, utilizaram-se diversas técnicas de recolha de dados – inquirição, observação e análise documental, suportadas por variados instrumentos. A análise estatística e de conteúdo a que os dados foram submetidos permite concluir que a exploração prévia dos conteúdos através desta plataforma contribui para o desenvolvimento, principalmente, de autonomia e da capacidade de aplicação de conhecimento produzido à resolução de tarefas de diversa natureza.

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.

Multiplicity results for some classes of Schrödinger-Poisson systems

In this thesis, we study the existence and multiplicity of solutions of the following class of Schr odinger-Poisson systems: u + u + l(x) u = (x; u) in R3; = l(x)u2 in R3; where l 2 L2(R3) or l 2 L1(R3). And we consider that the nonlinearity satis es the following three kinds of cases: (i) a subcritical exponent with (x; u) = k(x)jujp 2u + h(x)u (4 p < 2 ) under an inde nite case; (ii) a general inde nite nonlinearity with (x; u) = k(x)g(u) + h(x)u; (iii) a critical growth exponent with (x; u) = k(x)juj2 2u + h(x)jujq 2u (2 q < 2 ). It is worth mentioning that the thesis contains three main innovations except overcoming several di culties, which are generated by the systems themselves. First, as an unknown referee said in his report, we are the rst authors concerning the existence of multiple positive solutions for Schr odinger- Poisson systems with an inde nite nonlinearity. Second, we nd an interesting phenomenon in Chapter 2 and Chapter 3 that we do not need the condition R R3 k(x)ep 1dx < 0 with an inde nite noncoercive case, where e1 is the rst eigenfunction of +id in H1(R3) with weight function h. A similar condition has been shown to be a su cient and necessary condition to the existence of positive solutions for semilinear elliptic equations with inde nite nonlinearity for a bounded domain (see e.g. Alama-Tarantello, Calc. Var. PDE 1 (1993), 439{475), or to be a su cient condition to the existence of positive solutions for semilinear elliptic equations with inde nite nonlinearity in RN (see e.g. Costa-Tehrani, Calc. Var. PDE 13 (2001), 159{189). Moreover, the process used in this case can be applied to study other aspects of the Schr odinger-Poisson systems and it gives a way to study the Kirchho system and quasilinear Schr odinger system. Finally, to get sign changing solutions in Chapter 5, we follow the spirit of Hirano-Shioji, Proc. Roy. Soc. Edinburgh Sect. A 137 (2007), 333, but the procedure is simpler than that they have proposed in their paper.

Modelos autoregressivos por limiares em séries de contagem

A modelação e análise de séries temporais de valores inteiros têm sido alvo de grande investigação e desenvolvimento nos últimos anos, com aplicações várias em diversas áreas da ciência. Nesta tese a atenção centrar-se-á no estudo na classe de modelos basedos no operador thinning binomial. Tendo como base o operador thinning binomial, esta tese focou-se na construção e estudo de modelos SETINAR(2; p(1); p(2)) e PSETINAR(2; 1; 1)T , modelos autorregressivos de valores inteiros com limiares autoinduzidos e dois regimes, admitindo que as inovações formam uma sucessão de variáveis independentes com distribuição de Poisson. Relativamente ao primeiro modelo analisado, o modelo SETINAR(2; p(1); p(2)), além do estudo das suas propriedades probabilísticas e de métodos, clássicos e bayesianos, para estimar os parâmetros, analisou-se a questão da seleção das ordens, no caso de elas serem desconhecidas. Com este objetivo consideraram-se algoritmos de Monte Carlo via cadeias de Markov, em particular o algoritmo Reversible Jump, abordando-se também o problema da seleção de modelos, usando metodologias clássica e bayesiana. Complementou-se a análise através de um estudo de simulação e uma aplicação a dois conjuntos de dados reais. O modelo PSETINAR(2; 1; 1)T proposto, é também um modelo autorregressivo com limiares autoinduzidos e dois regimes, de ordem unitária em cada um deles, mas apresentando uma estrutura periódica. Estudaram-se as suas propriedades probabilísticas, analisaram-se os problemas de inferência e predição de futuras observações e realizaram-se estudos de simulação.

Architecture for real-time coordination of multiple autonomous mobile units

Interest on using teams of mobile robots has been growing, due to their potential to cooperate for diverse purposes, such as rescue, de-mining, surveillance or even games such as robotic soccer. These applications require a real-time middleware and wireless communication protocol that can support an efficient and timely fusion of the perception data from different robots as well as the development of coordinated behaviours. Coordinating several autonomous robots towards achieving a common goal is currently a topic of high interest, which can be found in many application domains. Despite these different application domains, the technical problem of building an infrastructure to support the integration of the distributed perception and subsequent coordinated action is similar. This problem becomes tougher with stronger system dynamics, e.g., when the robots move faster or interact with fast objects, leading to tighter real-time constraints. This thesis work addressed computing architectures and wireless communication protocols to support efficient information sharing and coordination strategies taking into account the real-time nature of robot activities. The thesis makes two main claims. Firstly, we claim that despite the use of a wireless communication protocol that includes arbitration mechanisms, the self-organization of the team communications in a dynamic round that also accounts for variable team membership, effectively reduces collisions within the team, independently of its current composition, significantly improving the quality of the communications. We will validate this claim in terms of packet losses and communication latency. We show how such self-organization of the communications can be achieved in an efficient way with the Reconfigurable and Adaptive TDMA protocol. Secondly, we claim that the development of distributed perception, cooperation and coordinated action for teams of mobile robots can be simplified by using a shared memory middleware that replicates in each cooperating robot all necessary remote data, the Real-Time Database (RTDB) middleware. These remote data copies, which are updated in the background by the selforganizing communications protocol, are extended with age information automatically computed by the middleware and are locally accessible through fast primitives. We validate our claim showing a parsimonious use of the communication medium, improved timing information with respect to the shared data and the simplicity of use and effectiveness of the proposed middleware shown in several use cases, reinforced with a reasonable impact in the Middle Size League of RoboCup.

A matemática e o comércio em Portugal através das obras de aritméticos do século XVI: Gaspar Nicolas, Ruy Mendes e Bento Fernandes

Esta dissertação tem como objetivo a divulgação de temas e de algoritmos presentes nos tratados de aritmética prática do século XVI. Pretendemos delinear a atuação dos seus autores face aos desafios do mundo mercantil envolvente. Sendo o nosso «ator principal» Ruy Mendes, esta escolha deve-se a dois motivos: entre os três autores é aquele que tem sido menos mencionado e estudado; os interesses de Mendes parecem-nos mais distantes do mundo mercantil. Assim, no desenrolar deste estudo apresentaremos a Prática do ponto de vista da estrutura e organização, contemplando os seguintes pontos: uma Matemática básica; a Matemática pour elle Même; uma Matemática para o comércio. Neste último ponto incluiremos as regras locais do comércio português: a regra de quarto e vintena e a regra da conta de Flandres. Para cada assunto é realizado um estudo comparativo com os dois tratados da mesma época: o Tratado da Pratica d'Arismetica de Gaspar Nicolas e o Tratado da Arte d'Arismetica de Bento Fernandes. Apesar de se tratar de autores já referidos por alguns historiadores, consideramos que não foram ainda estudados do ponto de vista do interesse intrínseco presente no conhecimento histórico da Matemática, bem como na sua atuação relativamente à divulgação do cálculo aritmético e do seu contributo para o desenvolvimento da Matemática através de problemas práticos.