Submitted by Paula Quirino (paula.quirino@ufpe.br) on 2015-03-05T17:15:48Z No. of bitstreams: 1 DISSERTAÇÃO Bruno Bentzen Aguiar.pdf: 612020 bytes, checksum: 6f17bcdf8d18b27a6c1f6caa61ed5791 (MD5) / Made available in DSpace on 2015-03-05T17:15:48Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO Bruno Bentzen Aguiar.pdf: 612020 bytes, checksum: 6f17bcdf8d18b27a6c1f6caa61ed5791 (MD5) Previous issue date: 2014 / As Grundgesetze der Arithmetik de Frege e o livro que cont em a vers~ao nal do sistema formal desenvolvido para provar a sua tese de que aritm etica e redut vel a l ogica. A m de evitar a indetermina c~ao levantada pelo problema Julius Caesar, a mais fundamental quest~ao los o ca encontrada pelo seu logicismo, Frege e levado a de nir os n umeros como extens~oes de conceitos, e, com isto, introduzir o Axioma V em seu sistema para governar a no c~ao de percurso de valores. Por em, no par agrafo 10 do livro, Frege encontra um novo problema de indetermina c~ao, a saber, o fato de que o Axioma V n~ao determina a refer^encia dos nomes de percurso de valores. Para resolver este problema, Frege executa a identi ca c~ao trans-sortal, que e a identi ca c~ao dos valores de verdade com percursos de valores de fun c~oes particulares. Entretanto, porque a identi ca c~ao n~ao nos fornece uma determina c~ao t~ao completa quanto a que dever amos esperar de seu famoso princ pio da completa determina c~ao (ela n~ao permite decidir se Julius Caesar e um percurso de valores), estudiosos como, principalmente, Dummett (1981) eWright (1983), t^em a rmado que Frege foi, a nal, incapaz de resolver o problema Julius Caesar em uma vers~ao persistente. O objetivo desta disserta c~ao se assenta em duas vertentes. Primeiro, queremos propor uma interpreta c~ao, sugerida por Greimann (2003), para conciliar a identi ca c~ao trans-sortal de Frege com o seu comprometimento com o princ pio da completa determina c~ao. Segundo, queremos concluir, acompanhando Ru no (2002), que n~ao h a problema Julius Caesar para percurso de valores.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-16T21:09:38Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T16:49:56Z : No. of bitstreams: 1 261880.pdf: 1108413 bytes, checksum: 4ff4ea65b7eb1cedec345a9b83c9f273 (MD5)

Neste trabalho apresentamos com detalhes as provas de três teoremas e algumas de suas consequências sobre a questão da existência e unicidade de soluções para o Problema de Dirichlet para a Equação das Superfícies de Curvatura Média Constante H sobre domínios Ω limitados do plano não necessariamente convexos. As hipóteses relacionam a condição do círculo exterior de Ω, a norma C2 do dado do bordo e H. / In this work we present with detail the proof of three theorems and some of its consequences on existence and uniqueness of solutions to the Dirichlet Problem for the Constant Mean Curvature H Surface Equation on a bounded not necessarily convex domain of the plane. The hypothesis relates the exterior circle condition of Ω, the C2 norm of boundary date and H.

RIOS, Joâo Vianey Vasconcelos. Problema de Castillon. 2016. 49 f. Dissertação (Mestrado em Matemática em Rede Nacional) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2016-08-01T12:49:46Z No. of bitstreams: 1 2016_dis_jvvrios.pdf: 3082132 bytes, checksum: 07cce99cf584ab5f22a14d476b838692 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-08-01T12:50:22Z (GMT) No. of bitstreams: 1 2016_dis_jvvrios.pdf: 3082132 bytes, checksum: 07cce99cf584ab5f22a14d476b838692 (MD5) / Made available in DSpace on 2016-08-01T12:50:22Z (GMT). No. of bitstreams: 1 2016_dis_jvvrios.pdf: 3082132 bytes, checksum: 07cce99cf584ab5f22a14d476b838692 (MD5) Previous issue date: 2016 / In this work, our proposal is to introduce a methodology that helps the professor of mathematics at the consolidation of high school students of the contents, since many of them lack the knowledge necessary for learning mathematics. We present a solution to a famous ancient geometric problem, the Castillon problem. We will use the strings of knowledge on the circumference of the secant theorem, tangent theorem, angles between parallel and parallelism between straight for the construction of the solution. With the help of Geogebra dynamic geometry software, we propose a roadmap for the construction of the solution presented in our work. Joining geometry and computer, we present a model for the introduction of the problem in high school math classes as a motivational environment for the study of geometry. Then the application of the method was performed with a group of students, developing the problem and introducing the concepts needed to build the solution of it. At the end of the application, we held a discussion with students in order to verify the e ectiveness of the presented methodological proposal. In the analysis of the discussion, a greater interest in learning the content was diagnosed as the understanding of concepts, according to them, has become clearer with the dynamism of the software. This shows that the junction between mathematics and computational technologies help in teaching and learning geometry in high school. / Neste trabalho, nossa proposta e de apresentar uma metodologia que auxilie o professor de Matemática na consolidação de conteúdos dos alunos do ensino médio, uma vez que muitos deles carecem de conhecimentos necessários a aprendizagem de Matemática. Apresentamos uma solução para um famoso problema geométrico da antiguidade, o problema de Castillon. Usaremos os conhecimentos de cordas na circunferência, teorema da secante, teorema da tangente, ângulos entre paralelas e o paralelismo entre retas, para a construção da solução do problema. Com o auxílio do software de geometria dinâmica Geogebra, propomos um roteiro para a construção da solução apresentada em nosso trabalho. Unindo geometria e informática, apresentamos um modelo para a introdução do problema nas aulas de Matemática do ensino médio como um meio motivacional para o estudo de geometria. Em seguida, foi realizada a aplicação do método com um grupo de alunos, desenvolvendo o problema e introduzindo os conceitos necess arios para a construção da solução do mesmo. Ao fi nal da aplicação, realizamos uma discussão com os alunos de forma a verfiicar a eficácia da proposta metodológica apresentada. Realizando a análise da discussão, foi diagnosticado um maior interesse na aprendizagem dos conteúdos, pois a compreensão de conceitos, segundo os mesmos, se tornou mais clara com o dinamismo do software. Isto mostra que a junção entre Matemática e tecnologias computacionais ajudam no ensino e aprendizagem de geometria no ensino médio.

CAMPELO JÚNIOR,José Uirton.Proposta de OTIMIZAÇÃO da Roterização dos Distritos dos Carteiros: Um Estudo de Caso no Centro de entrega de Encomendas de Fortaleza.2010.99f. Dissertação(Mestrado em Logística e Pesquisa Operacional)- Pró-Reitoria de Pesquisa e Pós-Graduação,Univesidade Federal do Ceará, Fortaleza, 2010. / Submitted by Winne Gomes da Silva (winnegomez87@gmail.com) on 2012-06-08T13:09:07Z No. of bitstreams: 1 2010_dis_jucjunior.pdf: 2046335 bytes, checksum: bfe13c991469912096b5aab9a25f41a3 (MD5) / Approved for entry into archive by Nirlange Queiroz(nirlange@gmail.com) on 2012-06-20T11:52:47Z (GMT) No. of bitstreams: 1 2010_dis_jucjunior.pdf: 2046335 bytes, checksum: bfe13c991469912096b5aab9a25f41a3 (MD5) / Made available in DSpace on 2012-06-20T11:52:47Z (GMT). No. of bitstreams: 1 2010_dis_jucjunior.pdf: 2046335 bytes, checksum: bfe13c991469912096b5aab9a25f41a3 (MD5) Previous issue date: 2010 / The Vehicle Routing Problem (VRP) involves determining a set of routes to be traveled, noting the lower cost of transport for a specified number of vehicles. Each route must start and finish in the warehouse, so as each point has to be visited by one vehicle and only once. Many versions of the problem are found in the literature, depending on the various possible restrictions such as vehicle capacity and time window. The ECT (Mail and Telegraph Company) although it is one of the world's largest companies in the business of delivering parcels and letters. Does not have an efficient computer system that performs this function, i.e. a system able to offer daily routes to distribution. In her field, she has a system capable of showing the actual and the amount and type of vehicles to be used in the distribution of their orders. This work proposes routing algorithms to be applied in order distribution of the Post. The algorithms make the division of orders into groups and then route. Was drawn up two heuristics for the group division and three heuristics for the routing phase. The heuristics are split groups were applied to a real problem, from the districts of the Center for Delivery Orders (EEC), in Fortaleza-CE, conducted in 2009. The routing heuristics were applied to two routes taken by postmen in the same EEC, with the results obtained and compared with the route taken by postmen. The results showed that the proposed algorithms supply the deficiency of routing mail, because the division of groups was satisfactory and heuristics routing paths were smaller than those proposed by postmen in 7 of 8 assessments. / O Problema de Roteamento de Veículos (PRV) implica em determinar um conjunto de rotas que deverão ser percorridas, observando o menor custo de transporte por um número determinado de veículos. Cada rota deve iniciar e terminar no depósito, como também cada ponto tem que ser visitado por um único veículo e uma única vez. Muitas versões do problema são encontradas na literatura, em função das várias restrições possíveis como capacidade do veículo e janela de tempo. A Empresa de Correios e Telégrafos, embora seja uma das maiores empresas do mundo no ramo de entrega de encomendas, cartas, etc., ainda não possui um sistema computacional eficiente que realize esta funcionalidade, isto é, um sistema capaz de propor rotas diárias para a distribuição. Em seu domínio, ela possui um sistema capaz de dimensionar o efetivo e a quantidade e tipo de veículos a serem utilizados na distribuição de suas encomendas. Esta dissertação propõe algoritmos de roteamento a serem aplicados na distribuição de encomendas dos Correios. Os algoritmos fazem a divisão das encomendas em grupos para depois rotear. Elaborou-se 2 heurísticas para a divisão dos grupos e 3 heurísticas para a fase de roteamento. As heurísticas de divisão de grupos foram aplicadas a um problema real, a partir dos distritos do Centro de Entrega de Encomendas (CEE), na cidade de Fortaleza-CE, realizado em 2009. As heurísticas de roteamento foram aplicadas em duas rotas realizadas por carteiros do mesmo CEE, com os resultados obtidos comparados entre si e com o percurso realizado pelos carteiros. Os resultados mostraram que os algoritmos propostos suprem a deficiência de roteamento dos Correios, pois a divisão de grupos foi satisfatória e as heurísticas de roteamento apresentaram percursos menores do que os propostos pelos carteiros em 7 das 8 avaliações realizadas.

Made available in DSpace on 2016-08-29T15:33:21Z (GMT). No. of bitstreams: 1 tese_8728_Diss_final_Joao_Carlos.pdf: 461426 bytes, checksum: 8779aab5fa73bdbf2bdcc5785ea56a4b (MD5) Previous issue date: 2015-03-16 / Em países em desenvolvimento, perdas não-técnicas são consideradas pelas companhias de distribuição de energia como algumas das maiores causas de prejuízos. No Brasil, parte dessas perdas pode ser repassada ao consumidor nas tarifas, entretanto o valor máximo deste repasse é limitado pela agência reguladora, como forma de incentivar melhorias por parte das distribuidoras. Este limite é definido na forma de metas de redução de perdas. O problema de otimização abordado neste trabalho trata da redução de perdas do ponto de vista da distribuidora. Para atingir as metas estabelecidas pela agência reguladora, as distribuidoras possuem várias ações de redução de perdas, que devem ser alocadas em planos multianuais. Estes planos tentam atingir a meta estabelecida, respeitando alguns orçamentos disponíveis, e objetivando sempre obter o maior lucro possível com a alocação das ações. Este trabalho aborda o problema como uma generalização do Problema da Mochila. Uma modelagem formal é definida e a dificuldade da mesma é analisada através de testes computacionais, utilizando um resolvedor genérico aplicado a uma variedade de instâncias para obter a solução exata. Duas heurísticas são então propostas, a primeira baseada em uma abordagem gulosa e a segunda na metaheurística Busca Tabu, e aplicadas ao problema. Finalmente, as técnicas são comparadas considerando a qualidade das soluções encontradas.

Neste trabalho apresentamos com detalhes as provas de três teoremas e algumas de suas consequências sobre a questão da existência e unicidade de soluções para o Problema de Dirichlet para a Equação das Superfícies de Curvatura Média Constante H sobre domínios Ω limitados do plano não necessariamente convexos. As hipóteses relacionam a condição do círculo exterior de Ω, a norma C2 do dado do bordo e H. / In this work we present with detail the proof of three theorems and some of its consequences on existence and uniqueness of solutions to the Dirichlet Problem for the Constant Mean Curvature H Surface Equation on a bounded not necessarily convex domain of the plane. The hypothesis relates the exterior circle condition of Ω, the C2 norm of boundary date and H.

Neste trabalho apresentamos com detalhes as provas de três teoremas e algumas de suas consequências sobre a questão da existência e unicidade de soluções para o Problema de Dirichlet para a Equação das Superfícies de Curvatura Média Constante H sobre domínios Ω limitados do plano não necessariamente convexos. As hipóteses relacionam a condição do círculo exterior de Ω, a norma C2 do dado do bordo e H. / In this work we present with detail the proof of three theorems and some of its consequences on existence and uniqueness of solutions to the Dirichlet Problem for the Constant Mean Curvature H Surface Equation on a bounded not necessarily convex domain of the plane. The hypothesis relates the exterior circle condition of Ω, the C2 norm of boundary date and H.

Made available in DSpace on 2014-06-12T17:22:07Z (GMT). No. of bitstreams: 2 arquivo5696_1.pdf: 587103 bytes, checksum: 17386b8ca08e33b88ac52e67f76889f1 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A presente pesquisa analisa atitudes usadas pelos alunos em atividades de medição, utilizando materiais manipulativos e o software de desenho, a saber o Paint do Windows, buscando identificar os erros e as tentativas de superação dos mesmos, em atividades que envolvem a resolução de problemas. O estudo contou com a participação de 07 alunos da 6a série do Ensino Fundamental de uma escola privada da Região Metropolitana do Recife. O design da investigação baseou-se em estudos de caso com cada aluno, trabalhando individualmente, em duas sessões, em tarefas que envolvem resolução de um problema: (a) medir a tela do monitor utilizando materiais manipulativos (barbante, fita, palito de churrasco, régua quebrada, papel e lápis); e (b) medir a tela do monitor utilizando recursos do software Paint. Em ambas as tarefas, o aluno tinha que registrar, na ficha de atividades, os procedimentos utilizados. Cada sessão foi filmada. Serviram também como dados os arquivos gravados pelos alunos no computador. Uma comparação do desempenho do aluno entre as tarefas foi realizada, para compreender como os alunos realizaram os desafios propostos e quais os procedimentos utilizados para resolver os problemas e o porquê de determinadas atitudes. Os resultados da pesquisa mostram uma tendência dos alunos no uso do instrumento formal de medida (o pedaço de régua), ficando os outros materiais em segundo plano. Mesmo os que utilizaram os materiais manipulativos, ao final eles voltaram a utilizar a régua como única forma de exprimir medidas, ou seja, em centímetros. A atitude dos alunos para medir com software Paint, parte também de uma unidade de medida cultural, utilizando uma unidade padrão, passando por um instrumento computacional, e então o utilizando como unidade. No computador, a possibilidade de fazer simulações e refazer as atividades facilitou na resolução da atividade, porém as etapas vivenciadas por ele não alteraram. O computador proporcionou situações que levou o aluno entrar em outros conceitos matemáticos, como adição, multiplicação e fração, que não estavam presentes no contexto dos materiais manipulativos

Made available in DSpace on 2018-08-23T22:04:50Z (GMT). No. of bitstreams: 1 tese_12430_Dissertação de Mestrado - Gelson Junior Donatti Schimith Berger - MODELO MATEMÁTICO PARA ROTEIRIZAÇÃO DE FROTA DE AMBULÂN~1.pdf: 22521427 bytes, checksum: e749384730e4036ce961ec8515775dfd (MD5) Previous issue date: 2018-04-25 / O atendimento de emergências médicas envolve diversos fatores, com altos graus de incerteza. As decisões têm que ser obtidas de forma rápida e com alta qualidade. Dentro do aspecto operacional, a decisão de qual rota uma ambulância deve tomar para chegar ao local de atendimento de uma vítima no menor tempo possível pode ser crucial para a sobrevivência do paciente. Foi utilizada a metodologia ProKnow-C para realizar uma seleção do portfólio bibliográfico e uma análise da literatura do Problema da Roteirização de Ambulâncias (PRA). Foi identificado que havia uma lacuna na literatura para modelos matemáticos de minimização do tempo de atendimento de dois grupos de pacientes que são atendidos por uma frota heterogênea de ambulâncias. Um modelo de otimização foi proposto, utilizando Programação Inteira Mista, e implementado usando o software de otimização CPlex Optimization Studio 12.7.1. Foi proposto um estudo de caso no SAMU da Grande Vitória, onde foram obtidos os parâmetros para execução do modelo. Foram executados 243 cenários e os resultados obtidos permitiram identificar que o aumento do número total de ambulâncias no sistema gera um impacto positivo nos tempos de atendimento de ambos grupos de chamados, assim como o aumento do número de ambulâncias capacitadas para atender todos tipos de acidentes. Entretanto, o aumento do número de chamados de pacientes de maior gravidade faz com que o tempo de atendimento para esse grupo seja maior e reduz o tempo de atendimento do grupo de menor gravidade. Em relação ao tempo de execução do modelo, os valores encontrados não foram satisfatórios, considerando que a rapidez é essencial para esse tipo de serviço. Palavras-chave: Problema de Roteirização de Ambulâncias; Serviços de Emergências Médicas; Serviço de Atendimento Móvel de Urgência; Programação Inteira Mista;