Made available in DSpace on 2014-11-10T11:09:47Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-20Bitstream added on 2014-11-10T11:58:04Z : No. of bitstreams: 1 000789873.pdf: 2894023 bytes, checksum: 2dcb81f1e147e62076451a0cb46ad634 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Esta pesquisa é parte integrante dos interesses de um projeto maior intitulado “A História Oral como recurso no desenvolvimento da formação inicial e continuada de professores de Matemática”, idealizado e coordenado pela orientadora deste trabalho, cujo objetivo principal é elaborar, aplicar e analisar estratégias de formação de professores de Matemática em cursos de Licenciatura em Matemática, Pedagogia e Extensão, de modo que a História Oral (HO) participe de forma significativa. Elaborar uma compreensão sobre as contribuições, limitações e potencialidades da HO como uma abordagem didático-pedagógica na disciplina Política Educacional Brasileira (PEB), a partir de uma intervenção junto a esta disciplina do curso de licenciatura em Matemática da Unesp/Rio Claro, foi o objetivo desta pesquisa. Na intervenção, buscou-se exercitar a HO como uma abordagem possível para o tratamento de temas trabalhados na referida disciplina; já na investigação, a HO foi adotada como uma metodologia de pesquisa. Os resultados são apresentados a partir de duas temáticas, uma relativa à formação inicial de professores de matemática e outra às possibilidades trazidas pelos procedimentos comumente utilizados em HO à disciplina PEB. Em linhas gerais, eles apontam que a HO, como uma abordagem didático-pedagógica: valorizou o contato de futuros professores com experiências narradas (por docentes em exercício) sobre situações escolares, colocando os licenciandos em um exercício de compreensão dos aspectos que as circundam; promoveu inversões de opinião por parte dos estudantes acerca dos temas investigados, o que concordamos caracterizar os processos de formação (de professores de matemática); constituiu-se como um caminho de inscrição do percurso pessoal e profissional dos licenciandos na História. A pesquisa evidencia uma iniciativa que acena para a contemplação e poderá balizar uma futura implementação da HO... / This research is part of a major project entitled “Oral History as resource on development of early and continued formation of Mathematics teachers”, idealized and coordinated by the adviser of this project, whom main objective is to elaborate, apply and analyze strategies of formation of Mathematics teachers in degree on Mathematics, Pedagogy and Extension, so that Oral History (OH) take a significant part on this formation. Analyzing the contributions, limitations and potential of OH as a didactic-pedagogic approach on the Brazilian Educational Policy (BEP) discipline, from an intervention with this discipline on the degree in Mathematics of Unesp/Rio Claro was the objective of this research. On the intervention, we sought to exercise the OH and a possible approach for the treatment of subjects worked in the discipline; for the investigation, OH was adopted as a research method. The results are presented from two thematic; one is related to early formation of math teachers and the other, to possibilities brought by the usual procedures used in OH for the BEP discipline. Broadly, it’s pointed out that OH, as a didactic-pedagogic approach: valorized the touch of future teacher with narrated experiences (of current teachers) about school situations, placing undergraduates in an exercise in understanding the issues that surround them; promoted inversions of opinion by students on the topics investigated, which we agree to characterize the processes of formation (of Mathematics teachers); consisted as a way of description of the personal and professional journey of undergraduates in History. The research evidences an initiative that waves for contemplation and may mark out a future implementation of OH on the schedule of activities on the BEP discipline for degree in Mathematics / FAPESP: 12/04078-1

Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-30Bitstream added on 2014-11-10T11:57:47Z : No. of bitstreams: 1 000790195.pdf: 918459 bytes, checksum: 01e8141c5483f5a04a86fdd9a1917ef1 (MD5) / O Problema do Caixeiro Viajante (PCV) é um problema clássico de Otimização Combinatória. Dado um conjunto de cidades e os custos de viagem entre cada par delas, o objetivo é encontrar um roteiro que passa em todas as cidades apenas uma vez e retorna à cidade de origem de menor custo total. O enunciado simples e resolução não trivial encantaram muitas pessoas ao longo dos anos. Na literatura são apresentadas diversas formulações matemáticas para o Problema do Caixeiro Viajante, além de comparações entre a qualidade da relaxação linear de tais formulações. A formulação clássica para o PCV é forte, porém possui um número exponencial de restrições, e é equivalente à formulação de multiproduto (multi-commodity), de ordem polinomial. O custo computacional para resolver a relaxação linear da formulação multiproduto é alto, incentivando a busca de novas formas de obter limitantes duais. Na literatura são propostos procedimentos para obtenção de limitantes duais para o PCV utilizando-se do método relax and cut, a partir do problema da designação (PD), dualizando inequações válidas que são violadas pela solução ótima do PD. Neste trabalho, propomos a aplicação do método relax and cut para a formulação do PCV com restrições de multiproduto. Os resultados obtidos no estudo computacional são encorajadores, com a implementação de um algoritmo que gera bons limitantes duais com baixo tempo computacional / The Traveling Salesman Problem (TSP) is a classical Combinatorial Optimization problem. Given a set of cities and travel costs between each pair of them, the objective is to find a tour through all the cities, visiting each city once, and returning to the city of origin with minimum total cost. The simple enunciate and non-trivial resolution enchanted many people through the years. In the literature various formulations for the Traveling Salesman Problem are presented, and the quality of the linear relaxation of such formulations is compared. The classical TSP formulation is strong, but have an exponencial number of constraints, and is equivalent to the multi-commodity formulation, of polinomial order. The computational cost to solve the linear relaxation of the multi-commodity formulation is high, stimulating the search of new ways of obtaining dual bounds. In the literature, procedures to obtain dual bounds to the TSP using the relax and cut technique are proposed, starting from the assignment problem (AP) and dualizing violated valid inequalities by the AP’s optimal solution. In this work, we propose an application of the relax and cut technique to the multi-commodity formulation for the TSP. The results obtained by the computational study are encouraging, with the implementation of an algorithm that generates good dual bounds in low running time

Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-29Bitstream added on 2014-11-10T11:57:47Z : No. of bitstreams: 1 000789915_20151203.pdf: 238260 bytes, checksum: 01c4adf72b2af011fbef2f093bba1467 (MD5) Bitstreams deleted on 2015-12-07T09:44:35Z: 000789915_20151203.pdf,. Added 1 bitstream(s) on 2015-12-07T09:45:16Z : No. of bitstreams: 1 000789915.pdf: 971219 bytes, checksum: 2821d946a089738f0f2d290034310374 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho apresentamos um método para munir o conjunto intervalar generalizado M = I(R) ∪ I(R); sendo I(R) = f[a1; a2] : a1 a2 e a1; a2 2 Rg e I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; com algumas diferentes estruturas, como algébrica, topológica e métrica. Também equipamos M com relações de ordem. Na verdade, fizemos isso em um contexto mais geral, pois trabalhamos em Mn = M M M para n 2 N: Nós formulamos problemas de otimização intervalar e relacionamos esses problemas com clássicos problemas de otimização multiobjetivo. Além disso, apresentamos uma versão do Teorema minmax no contexto intervalar e também desenvolvemos conceitos do cálculo em espaços intervalar generalizado, os quais são usados para encontrar o conjunto dos estados atingíveis de um inclusão diferencial clássica sob algumas condições dadas / This work presents a method to endow the generalized interval set M = I(R) ∪ I(R); where I(R) = f[a1; a2] : a1 a2 and a1; a2 2 Rg and I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; with some different structures, such as algebraic, topological, and metric. We also equip M with order relations. Actually, we did this in a more general context because we worked in Mn = M M M for n 2 N: We formulated interval optimization problems and related them to classic multi-objective optimization problems. We presented a version of the mini-max Theorem in the interval context, and also developed concepts of calculus on the generalized interval space which are used to find the attainable state set of a classic differential inclusion under some given conditions

Made available in DSpace on 2015-01-26T13:21:15Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-10-25Bitstream added on 2015-01-26T13:30:55Z : No. of bitstreams: 1 000799042.pdf: 2638164 bytes, checksum: 5f5e6009f8e47b9332a62a2ddaf5da6b (MD5) / A lógica fuzzy é uma ferramenta apropriada para lidar com variáveis incertas e pode contribuir consideravelmente com as técnicas atualmente utilizadas nas avaliações imobiliárias já que, devido a alguns fatores como mudanças de compradores e vendedores de um imóvel para outro, as variáveis que definem o valor são difíceis de serem modeladas. Neste contexto, o objetivo deste trabalho é testar, buscando melhorias, a utilização da lógica fuzzy como uma alternativa para a avaliação de imóveis e geração da PVG, propondo um novo método para modelar o mercado imobiliário, diferente dos métodos tradicionais. A proposta metodológica consistiu em investigar o uso da lógica fuzzy para a geração de modelos para avaliação imobiliária e para isso, foram estimados, seguindo o método convencional, modelos de regressão linear para a inferência do valor visando comparar, com o melhor modelo estimado, os resultados obtidos com a modelagem fuzzy. A comparação entre os resultados mostrou que a utilização da lógica fuzzy é satisfatória e o método utilizando regressão linear pode ser substituído ou os dois métodos podem ser complementares. Sabendo que a avaliação imobiliária é a principal etapa na geração de uma Planta de Valores Genéricos, apresentou-se um método para a representação cartográfica da PVG a partir de um modelo de superfície com o intuito de proporcionar uma melhor apresentação cartográfica para as PVG's e uma aproximação mais justa ao valor real do terreno. / The fuzzy logic is a tool suitable for dealing with uncertain variables and it can contribute considerably with the techniques currently used in property valuation given that, due to some factors such as changes of buyers and sellers of a property to another, the variables that define the value are difficult to be modeled. In this context, the aim of this work is to test, seeking improvements, the use of fuzzy logic as an alternative for the assessment of real estate and generation of PGV, proposing a new method for modeling the real estate market, different from traditional methods. The methodological proposal was to investigate the use of fuzzy logic to generate models for real estate appraisal and for that, linear regression models were estimated, following the conventional method, to the inference of value in order to compare the results given by fuzzy modeling with the best linear regression model. The comparison, between the results, showed that the use of fuzzy logic is satisfactory and the linear regression method can be replaced or the two methods can be complementary. Knowing that the real estate appraisal is the main step in the generation of a Generic Values of Plant, it was presented a method for PGV's cartographic representation from a surface model in order to provide a better cartographic presentation for the PGVs and a fairer approximation to the real value of the property.

O objetivo do presente trabalho é realizar a concepção de um sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana e a implementação de um protótipo deste sistema, denominado LEEG - Learning Environment on Euclidean Geometry, desenvolvido para validar as idéias utilizadas em sua especificação. Nos últimos anos, tem-se observado uma crescente evolução dos sistemas de ensino e aprendizagem informatizados. A preocupação com o desenvolvimento de ambientes cada vez mais eficientes, tanto do ponto de vista computacional quanto pedagógico, tem repercutido em um salto de qualidade dos software educacionais. Tais sistemas visam promover, auxiliar e motivar a aprendizagem das mais diversas áreas do conhecimento, utilizando técnicas de Inteligência Artificial para se aproximarem ao máximo do comportamento de um tutor humano que se adapte e atenda às necessidades de cada aluno. A Geometria pode ser vista sob dois aspectos principais: considerada como uma ciência que estuda as representações do plano e do espaço e considerada como uma estrutura lógica, onde a estrutura matemática é representada e tratada no mais alto nível de rigor e formalismo. Entretanto, o ensino da Geometria, nos últimos anos, abandonou quase que totalmente sua abordagem dedutiva. Demonstrações de teoremas geométricos não são mais trabalhadas na maioria das escolas brasileiras, o que repercute em um ensino falho da Matemática, que não valoriza o desenvolvimento de habilidades e competências relacionadas à experimentação, observação e percepção, realização de conjecturas, desenvolvimento de argumentações convincentes, entre outras. Levando-se em conta este cenário, desenvolveu-se o LEEG, um sistema para a aprendizagem de demonstrações geométricas que tem como objetivo auxiliar um aprendiz humano na construção de demonstrações da Geometria Euclidiana Plana. O sistema foi modelado sobre uma adaptação do protocolo de aprendizagem MOSCA, desenvolvido para suportar ambientes de ensino informatizados, cuja aprendizagem é baseada na utilização de exemplos e contra-exemplos. Este protocolo propõe um ambiente de aprendizagem composto por cinco agentes, dentre os quais um deles é o aprendiz e os demais assumem papéis distintos e específicos que completam um quadro de ensino-aprendizagem consistente. A base de conhecimento do sistema, que guarda a estrutura lógica-dedutiva de todas as demonstrações que podem ser submetidas ao Aprendiz, foi implementada através do modelo de autômatos finitos com saída. A utilização de autômatos com saída na aplicação de modelagem de demonstrações dedutivas foi extremamente útil por permitir estruturar os diferentes raciocínios que levam da hipótese à tese da proposição de forma lógica, organizada e direta. As demonstrações oferecidas pelo sistema são as mesmas desenvolvidas por Euclides e referem-se aos Fundamentos da Geometria Plana. São demonstrações que priorizam e valorizam a utilização de objetos geométricos no seu desenvolvimento, fugindo das demonstrações que apelam para a simples manipulação algébrica e que não oferecem uma construção significativa do ponto de vista da Geometria. Porém, mesmo sendo consideradas apenas as demonstrações contidas em Elements, todos os diferentes raciocínios para uma mesma demonstração são aceitos pelo sistema, dando liberdade ao aprendiz no processo de construção da demonstração.

Nesta dissertação trabalhamos com o Modelo de Hull-White para a Estrutura a Termo da Taxa de Juro (ETTJ), considerando o caso em que a volatilidade é uma função determinística do tempo, e duas extensões em que ela segue um processo estocástico não correlacionado com a taxa de juro: uma considerando um movimento Browniano geométrico com drift nulo, e outra considerando um processo de Ornstein-Uhlenbeck com reversão á média. Obtemos aproximações perturbativas para o preço de Zero-coupoun bonds aplicando o Metódo de Perturbação Regular quando os parâmetros envolvendo a volatilidade são pequenos, e realizamos simulações para o caso em que os coeficientes são constantes (Modelo de Vasicek). Desta forma, obtemos uma aproximação para o yield curve, ou ETTJ. Para o caso clássico comparamos a aproximação perturbativa com a solução exata do modelo, e concluímos que uma aproximação considerando correções de até quarta ordem é muito precisa. Para os modelos com volatilidade estocástica, comparamos a aproximação perturbativa de quarta ordem com simulações de Monte Carlo, e observamos um comportamento qualitativo semelhante, principalmente para maturidades menores. / In this dissertation we work with the Hull-White model for the Term-Structure of Interest Rate (TSIR), considering the situation where the volatility is a deterministic function of time, and two extensions that follow a stochastic process uncorrelated with the interest rate: the first considers a geometric Brownian motion with zero drift, and the second a Ornstein-Uhlenbeck process with mean-reversion. We obtain perturbation approximations for the Zero-coupon bond prices using the Regular Perturbation Method when the parameters involving the volatility are small, and perform simulations for the constant coefficient case (Vasicek Model). Once this is done, we obtain a perturbative approximation for the yield curve, or TSIR. For the classical case we compare this approximation with the exact solution, and conclude that a fourth order perturbative approximation is very precise. For the cases with stochastic volatility, we compared the fourth order perturbative approximation with Monte Carlo simulations, and observed essentially the same qualitative behavior, mainly for short maturities.

O estudo da sincronização de sistemas dinâmicos populacionais é importante para prever e avaliar o risco de extinção global. Neste trabalho, investigamos fenômenos de sincronização caótica em modelos metapopulacionais. Primeiramente, consideramos um modelo metapopulacional composto por um número arbitrário de sítios e obtemos um critério para a sincronização que é determinado por dois parâmetros: o número de Lyapunov que depende da dinâmica local de um sítio e um parâmetro que é determinado pela forma como os sítios interagem. A partir disso, consideramos um modelo metapopulacional composto pela distribuição de sítios em duas escalas. A primeira escala é composta por uma metapopulação, enquanto a segunda escala é composta por um número arbitrário de metapopulações. Para esse modelo, analisamos dois tipos de sincronização: o primeiro é quando ambas escalas estão sincronizadas e o segundo considera sincronização na segunda escala. Para o caso de ambas escalas estarem sincronizadas, obtemos um critério para sincronização dependendo de 2 parâmetros: o número de Lyapunov e pela forma como os sítios da primeira escala e da segunda escala interagem. No caso da segunda escala estar sincronizada com os respectivos sítios da primeira escala não necessariamente sincronizados, obtém-se um critério e seus valores são calculados numericamente. / The study of populations' synchronization dynamics is important to predict and evaluate the risk of global extinction. ln this study, we investigate the phenomenon of chaotic synchronization in metapopulation models. At first, we propose a time-varying metapopulation modei composed by patches and we obtain a condition for the synchronization that are determined by two parameters: the Lyapunov number of the separate patch and by a parameter determined from the interaction patches. Afterwards, we propose a time-varying metapopulation of metapopulations modei composed by patches that are distributed in two scales, the first one is composed by a metapopulation and the second one is composed by an arbitrary number of metapopulations. We investigate two kinds of synchronizaton: both scales synchonized and when the second scale is syncronized. ln the first case we obtain a condition for the sYllchronization that are determined by two parameters: the Lyapunov number and by a parameter determined from the first scale and the second scale interaction patches. The second case the condition values for the syncronization are calculated by numerical simulations.

Métodos de estimativa de parâmetros físicos em meios geológicos têm sido amplamente estudados devido a grande importância e ao grande número de aplicações em que podem ser empregados. Neste trabalho, um pulso unidimensional é propagado através de meios geológicos para simular um traço de onda eletromagn ética de georradar, na antena receptora. Num primeiro momento, a propagação da onda é simulada por meio do algoritmo FDTD (Diferenças Finitas no Domínio do Tempo) a m de se observar e analisar os fenômenos de propagação no aparelho receptor. Usa-se então o método de otimização ACO (Ant Colony Optimization) modi cado na expectativa de recuperar os principais parâmetros geológicos inerentes dos materiais. Para alguns per s foram obtidos bons resultados, no entanto ainda se fazem necessárias algumas melhorias na metodologia. Para isso, é proposto o método do coe ciente de re exão para melhorar as estimativas dos parâmetros dos meios. / Methods for physical parameters estimation in geological media have been widely studied due to their great importance and their wide range of applications. In the present work, an one-dimentional pulse is propagated through geological media to simulate a trace of a georadar electromagnetic wave in the receiving antenna. Firstly, the wave propagation is simulated through the FDTD algorithm to observe and analyze the propagation phenomena in the reception device. Then the optimization ACO method it is applied expecting to recover the main geological parameters of the materials. Good results have been obtained to some pro les; however some improvement of the methodology are still necessary. In order to do this, the re ection coe cient method is proposed to enhance the estimative of the parameters from the media.

O principal objetivo desta dissertação é obter um Teorema do Envelope que permita mecanismos não diferenciáveis, preferências arbitrárias e que possa ser aplicado em modelos com múltiplos agentes. Nós alcançamos isto ao expandir a análise de Milgrom e Segal (2002), generalizando seus resultados para espaços de tipos multidimensionais. Dessa forma, continuamos permitindo que a regra de escolha (mecanismo) seja descontínua. Para obter nosso resultado, é necessário o uso do Teorema do Máximo de Berge e, consequentemente, devemos impor compacidade no conjunto de escolha. Inicialmente esta hipótese pode parecer forte, porém argumentamos que em aplicações _e muito improvável termos um conjunto de escolha aberto ou, principalmente, não limitado. Nós também identificamos condições para que a função valor seja absolutamente contínua e mostramos que sua representação integral também é válida para espaços de tipos multidimensionais. Inicialmente propomos uma generalização direta do resultado de Milgrom e Segal (2002), utilizando a hipótese de continuidade absoluta da função de utilidade do agente. Entretanto, esta exigência não possui muito significado econômico e é considerada pouco elegante por parte da literatura. Neste sentido, incorporamos uma hipótese adicional de diferenciabilidade da utilidade em todo o domínio que gera a mesma representação integral e possui uma maior interpretação econômica. Nossos resultados são, em geral, aplicados a modelos com múltiplos agentes, em especial Economia do Setor Público (provisão de bens públicos e taxação ótima) e teoria dos leilões. / The main objective of this dissertation is to obtain an Envelope Theorem that allows non-di erentiable mechanisms, arbitrary preferences, and that can be applied to models with multiple agents. We achieve that by expanding the analysis of Milgrom and Segal (2002) and generalizing their results to multidimensional type spaces. Thus, we continue allowing that the choice rule (mechanism) is discontinuous. For our result, it is necessary to use the Berge's Maximum Theorem and therefore we must impose compactness in the choice set. Initially this assumption may seem strong, but we argue that in applications there is an open or unbounded choice set is very unlikely. We also identify conditions for the value function is absolutely continuous and show that its integral representation is also valid for multidimensional type spaces. Firstly we propose a direct generalization of the Milgrom and Segal (2002)'s result, using the assumption of absolute continuity of the agent's utility function. However, this requirement does not have much economic interpretation and it is considered not very elegant in the literature. In this sense, we incorporate an additional assumption of di erentiability of the utility in all range that generates the same integral representation and it possesses a greater economic interpretation. Our results are generally applied to models with multiple agents, in particular Public Economics (public goods supply and optimal taxation) and auction theory.

Orientador: Amilton Amorim / Banca: Norberto Hochheim / Banca: Vilma Mayumi Tachibana / Resumo: A lógica fuzzy é uma ferramenta apropriada para lidar com variáveis incertas e pode contribuir consideravelmente com as técnicas atualmente utilizadas nas avaliações imobiliárias já que, devido a alguns fatores como mudanças de compradores e vendedores de um imóvel para outro, as variáveis que definem o valor são difíceis de serem modeladas. Neste contexto, o objetivo deste trabalho é testar, buscando melhorias, a utilização da lógica fuzzy como uma alternativa para a avaliação de imóveis e geração da PVG, propondo um novo método para modelar o mercado imobiliário, diferente dos métodos tradicionais. A proposta metodológica consistiu em investigar o uso da lógica fuzzy para a geração de modelos para avaliação imobiliária e para isso, foram estimados, seguindo o método convencional, modelos de regressão linear para a inferência do valor visando comparar, com o melhor modelo estimado, os resultados obtidos com a modelagem fuzzy. A comparação entre os resultados mostrou que a utilização da lógica fuzzy é satisfatória e o método utilizando regressão linear pode ser substituído ou os dois métodos podem ser complementares. Sabendo que a avaliação imobiliária é a principal etapa na geração de uma Planta de Valores Genéricos, apresentou-se um método para a representação cartográfica da PVG a partir de um modelo de superfície com o intuito de proporcionar uma melhor apresentação cartográfica para as PVG's e uma aproximação mais justa ao valor real do terreno. / Abstract: The fuzzy logic is a tool suitable for dealing with uncertain variables and it can contribute considerably with the techniques currently used in property valuation given that, due to some factors such as changes of buyers and sellers of a property to another, the variables that define the value are difficult to be modeled. In this context, the aim of this work is to test, seeking improvements, the use of fuzzy logic as an alternative for the assessment of real estate and generation of PGV, proposing a new method for modeling the real estate market, different from traditional methods. The methodological proposal was to investigate the use of fuzzy logic to generate models for real estate appraisal and for that, linear regression models were estimated, following the conventional method, to the inference of value in order to compare the results given by fuzzy modeling with the best linear regression model. The comparison, between the results, showed that the use of fuzzy logic is satisfactory and the linear regression method can be replaced or the two methods can be complementary. Knowing that the real estate appraisal is the main step in the generation of a Generic Values of Plant, it was presented a method for PGV's cartographic representation from a surface model in order to provide a better cartographic presentation for the PGVs and a fairer approximation to the real value of the property. / Mestre