Este trabalho faz uma relação entre primalidade de números inteiros e os polinômios de Chebyshev, estudando resultados recentemente descobertos. Um dos principais resultados é uma generalização do Pequeno Teorema de Fermat, que mostra a congruência, Tn(a) =a ( mod n) para n primo, em que Tn(x) é o n- ésimo polinômio de Chebyshev. A recíproca desse resultado, se verdadeira, conduziria a um teste de primalidade determinístico eficiente. Através de cálculo computacional, mostramos que para n < 1,9 x 104 , a recíproca é verdadeira. Além disso, os resultados dessa simulação, podem servir de base para o desenvolvimento de um algoritmo probabilístico para verificação da primalidade. Alguns testes de primalidade existentes na literatura, assim como definições e propriedades algébricas dos polinômios de Chebyshev também são apresentadas. / This work makes a relation between integer primality and Chebyshev polynomials, discussing recently found results. One of the most important results is a generalization of Fermat's little theorem. lt shows that Tn(a) =a ( mod n ), for n prime, where Tn(x) is the ndegree Chebyshev polynomial. The converse o f this result, if true, would lead to an efficient deterministic primality test. Tbrough a machine computation, we show that for n < 1,9 x 1 04 , the converse is true. The results of this simulation may serve to structure a probabilistic primality testing algorithm. Also, some existent primality tests, as well as definitions and algebraic properties o f Chebyshev polynomials are presented.

Made available in DSpace on 2014-06-12T15:52:59Z (GMT). No. of bitstreams: 2 arquivo4837_1.pdf: 1490840 bytes, checksum: 1e2239b5952d87633b8a93c565229e3e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A reestruturação de programas no contexto da orientação a objeto é também conhecida como refactoring e consiste em mudanças na estrutura interna de um software, sem modificar seu com portamento externo, a ¯m de melhorar sua legibilidade e torn¶a-lo mais f¶acil de passar por futuras mudan»cas. Na pr¶atica, refactoring baseia-se em compila»c~ao e testes para assegurar a preserva»c~ao do comportamento. Trabalhos como os de Opdyke e Roberts foram realizados com vistas µa formaliza»c~ao de refac- torings por meio da identi¯ca»c~ao de condi»c~oes que devem ser satisfeitas para assegurar que uma mudan»ca num programa preserva o comportamento do mesmo. As condi»c~oes, geralmente escritas na linguagem do c¶alculo de predicados, s~ao introduzidas como pr¶e e p¶os-condi»c~oes dos refactor- ings. Outras abordagens para a prova de preserva»c~ao do comportamento de refactorings usam formalismos como an¶alise conceitual e reescritura de grafos. Contudo, n~ao h¶a t¶ecnica alg¶ebrica que apresente refactorings como transforma»c~oes que preservam o comportamento, com prova deste fato. Nossa principal contribui»c~ao constitui-se na apresenta»c~ao de refactorings como transforma»c~oes de programas escritos em rool (Re¯nement object-oriented Language), uma linguagem baseada em Java, com classes, controle de visibilidade, liga»c~ao din^amica, e recurs~ao. A linguagem rool permite que raciocinemos sobre programas orientados a objetos e especi¯ca»c~oes, pois a mesma une estas constru»c~oes como no c¶alculo de re¯namentos de Morgan. A sem^antica de rool ¶e baseada em weakest preconditions. Um conjunto de leis de programa»c~ao est¶a dispon¶³vel tanto para os comandos imperativos de rool quanto para construtores relacionados µa orienta»c~ao a objetos. A prova, na sem^antica de rool, de que tais leis s~ao corretas, ¶e tamb¶em uma contribui»c~ao do presente trabalho. Apresentamos refactorings como regras alg¶ebricas de re¯namento envolvendo programas. A prova da preserva»c~ao do comportamento ¶e realizada pela aplica»c~ao de leis de programa»c~ao a um lado da regra a ¯m de obtermos o lado oposto. N¶os generalizamos a t¶ecnica padr~ao de re¯namento de dados a ¯m de lidar com hierarquia de classes. Neste trabalho tamb¶em apresentamos como obter um sistema estruturado segundo um padr~ao de projeto, por meio da aplica»c~ao de regras de refactoring. Padr~oes de projeto constituem-se num objetivo natural para a realiza»c~ao de transforma»c~oes por meio da aplica»c~ao de refactorings. Trabalhos presentes na literatura sobre padr~oes de projeto que prop~oem a formaliza»c~ao dos mesmos, em geral, concentram-se em suas descri»c~oes formais, n~ao na transforma»c~ao de um sistema com vistas a estrutur¶a-lo de acordo com padr~oes de projeto. Tamb¶em apresentamos a transforma»c~ao de uma aplica»c~ao monol¶³tica para uma aplica»c~ao estruturada segundo um padr~ao arquitetural.

Made available in DSpace on 2014-06-12T15:53:51Z (GMT). No. of bitstreams: 2 arquivo5170_1.pdf: 2978125 bytes, checksum: 5a4a114e14e6f5c51a7242ab56c46d7d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Biocerâmicas de fostato de cálcio são importantes na Odontologia e na Medicina, no tocante aos processos de cárie e cálculo dentais, de preenchimento de feridas ósseas e de recobrimento de implantes metálicos. Este trabalho visa aprimorar o estudo da formação dessas biocerâmicas em modelos in situ de cárie dental em humanos. Aqui relatamos a formação concomitante de cárie e cálculo (biocerâmica de fosfato de cálcio) dentais em modelo in situ de cárie em intervalos de 2-14 dias, mostrando o potencial de se trabalhar com intervalos relativamente curtos de tempo para formar o cálculo dental. Estudando a fluorescência do cálculo dental, revelamos que sua fluorescência em soluções aquosas (em função da concentração de hidrogênio) é similar à da hematoporfirina, e que a fluorescência do cálculo dental sólido se assemelha mais com a de soluções com alta contração de hidrogênio, nas quais hematoporfirina bivalente é o principal cromóforo. Para aprimorar a análise do efeito da formação das biocerâmicas no esmalte dental, um modelo matemático, que conseguiu, pela primeira vez, apresentar consistência entre dados quantitativos teóricos e experimentais da birrefringência do esmalte ao microscópio de luz polarizada, foi proposto. Este modelo tem ampla aplicação na biologia do esmalte por poder analisar os conteúdos mineral, orgânico e de água

Made available in DSpace on 2018-08-01T23:31:20Z (GMT). No. of bitstreams: 1 tese_9573_Tese Doutorado Messenas M Rocha.pdf: 6044927 bytes, checksum: 65ca56a33ea064c6df62d9e8433e9f5b (MD5) Previous issue date: 2016-02-25 / Nesta pesquisa de doutorado em educação matemática investigamos como estudantes universitários, repetentes na disciplina de Cálculo Diferencial e Integral I (Cálculo I), resolvem tarefas de limite de funções reais de uma variável, que erros cometem e quais as causas que os levam à reprovação e/ou abandono da matéria. Assim, buscamos conhecer quem eram esses estudantes repetentes com relação a (i) hábitos de estudos; (ii) expectativas de aprendizagem de Cálculo e (iii) dificuldades anteriores com conceitos matemáticos. Analisamos motivos que os levaram a repetir essa disciplina e que os deixaram sem acreditar que poderiam aprender (ERNEST, 1989; GÓMEZ CHACÓN, 2003). Procuramos, também, compreender acertos e erros que cometeram ao determinar o limite de funções reais de uma variável (CURY, 2008). Para tanto, procuramos identificar e compreender erros conceituais e/ou procedimentais (erros operatórios) no cálculo de limites (SKEMP, 1976; CORNU, 1991; TALL, 1991). Desenvolvemos uma pesquisa de natureza qualitativa em que o professor pesquisador atuou junto com o professor de Cálculo I durante todo o primeiro semestre de 2014. Participaram 38 estudantes repetentes de Cálculo I dos cursos universitários de Agronomia e Licenciatura em Ciências Agrárias do Instituto Federal do Espírito Santo (IFES), Campus Itapina. Coletamos dados, por meio de observações de aulas, tarefas dos estudantes, questionários e entrevistas. A seguir, enunciamos alguns resultados desse estudo. Em relação aos hábitos de estudo, identificamos que o discurso e a prática dos estudantes eram divergentes. Eles foram tomando consciência dessa contradição e aprendendo a mudar hábitos de estudo durante o semestre. Relacionamos as expectativas de aprendizagem dos alunos e os aspectos emocionais e cognitivos, tais como crenças, concepções e atitudes em relação à disciplina de Cálculo I. Constatamos, então, que tivemos que alterar nossa postura de professor universitário, rompendo com nossas práticas pedagógicas distantes da realidade vivida pelo estudante. Acreditamos que, com essa mudança de comportamento, foi possível motivá-los e levá-los a acreditar que poderiam superar obstáculos e limitações de aprendizagem. Verificamos que existe relação entre dificuldades de aprendizagem de Cálculo e a falta de base de conteúdos matemáticos anteriores. Assim, passamos a revisar tais conteúdos em paralelo com os de Cálculo, não de forma isolada como fazíamos antes, no início de cada semestre. Esse trabalho integrado de conceitos matemáticos nos auxiliou a compreender e analisar erros dos repetentes. Também utilizamos análise de erros como estratégia pedagógica para tornar erros observáveis para professor e estudantes. Além disso, conseguimos identificar dificuldades epistemológicas de alguns conceitos específicos de Cálculo. Em síntese, observamos que essas estratégias pedagógicas diferenciadas do professor pesquisador favoreceram a aprendizagem de Cálculo e, também, possibilitaram uma mudança de postura dos universitários. Portanto, temos como tese que precisamos trabalhar com estudantes repetentes de Cálculo I, em cursos de serviços, de forma diferenciada daquela feita em cursos específicos de Matemática. Ademais, precisamos envolver ativamente os estudantes no processo de ensino e aprendizagem de Cálculo.

Orientador: Gleb Wataghin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin / Made available in DSpace on 2018-07-23T17:38:28Z (GMT). No. of bitstreams: 1 Amarante_JoseAlbertoAlbanodo_D.pdf: 1405156 bytes, checksum: 6ecba1d27f2c65db9ce4c4162dc4fdb5 (MD5) Previous issue date: 1973 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Física / Doutor em Ciências

Submitted by Marcele Costal de Castro (costalcastro@gmail.com) on 2017-12-06T17:49:47Z No. of bitstreams: 1 LUIZ CARLOS LEAL M.pdf: 2372898 bytes, checksum: 0dd9241d55b303899d7161d0e68ea6ff (MD5) / Made available in DSpace on 2017-12-06T17:49:47Z (GMT). No. of bitstreams: 1 LUIZ CARLOS LEAL M.pdf: 2372898 bytes, checksum: 0dd9241d55b303899d7161d0e68ea6ff (MD5) Previous issue date: 1980-07 / A possibilidade de modificação do código HAMMER, na parte térmica, substituindo o Kernel de espalhamento de nêutrons térmicos existentes na sua biblioteca por um outro calculado em um subprograma que pode ser incorporado ao código. Esse subprograma utiliza a versão original do modelo de Nelkin ao invés da sua aproximação usada no HAMMER e tem a vantagem de dar os valores do Kernel para qualquer temperatura do reator e para as aproximações P0, P1, P2 e P3.

Submitted by Marcele Costal de Castro (costalcastro@gmail.com) on 2017-12-14T12:01:40Z No. of bitstreams: 0 / Made available in DSpace on 2017-12-14T12:01:40Z (GMT). No. of bitstreams: 0 Previous issue date: 1980-02 / Apresentamos neste trabalho uma versão modificada do cófigo lDX, capaz de realizar cálculos de evolução de combustível para reatores rápidos , empregando um método analítico. O código realiza, simultaneamente, os cálculos de seções de choque auto-protegidas, difusão a uma dimensão, queima de combustível, ajuste de composição crítica e simulação de recargas, simplificando grandemente os cálculos de evolução de combustível para reatores rápidos. O código foi otimizado nos aspectos de uso de memória, consumo de tempo na execução e racionalização dos dados de entrada necessários; os testes realizados demonstram o seu bom funcionamento.

Made available in DSpace on 2014-06-12T18:31:36Z (GMT). No. of bitstreams: 2 arquivo8514_1.pdf: 747734 bytes, checksum: 47644d0d61a264727f8506d0e8eb908f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / A presente dissertação intitulada "Cálculo Variacional e Aplicações à Mecânica Celeste", tem como objetivo fazer um estudo dos resultados básicos do Cálculo Variacional para posteriormente aplicá-los ao estudo de propriedades minimizantes das órbitas elípticas no problema de Kepler e na existência de soluções periódicas com restrições topológicas e condições de simetrias em problemas "tipo N-corpos"da Mecânica Celeste. A dissertação é conseqüência de leituras de referências básicas como Calculus of variations (Gelfand and Fomin, 1963) e de alguns artigos de pesquisa como: Symmetries and noncollision closed orbits for planar N-body type problems (Bessi and Coti Zelati, 1991), Action minimizing periodic orbits in the Newtonian N-body problem (Chenciner, 1999), A first encounter with variational methods in diferential equations (Costa, 2002), Periodic solutions for N-body type problems (Coti Zelati, 1990), Dynamical systems with Newtonian type potentials (Degiovanni, 1987), Consevative dynamical systems involving strong force (Gordon, 19975), A minimizing property of keplerian orbits (Gordon, 1977)

Made available in DSpace on 2014-06-12T23:14:29Z (GMT). No. of bitstreams: 2 arquivo721_1.pdf: 3180253 bytes, checksum: 40cead813ff358bf6654b25ac9ee5718 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Nesta tese de doutorado, propomos um modelo molecular para o magnetismo em Fe, Co e Ni. Para atingir nosso objetivo, realizamos cálculos ab-initio de orbitais moleculares usando os funcionais de densidade UB3LYP, UBLYP, UBHLYP, UBP86, UBP386, UB3PW91, PBE1PBE e LSDA. Também fizemos uso dos métodos: UHF, CIS e MP4. As funções de bases utilizadas foram 6-311G(d,p), LanL2DZ e LanL1mb. Os cálculos computacionais que realizamos, utilizando o programa Gaussian, dizem respeito aos estados de spin tripleto, quinteto e septeto dos clusters Fe2, Co2 e Ni2. Em nossa proposta de trabalho, focamos o modelo para o cristal em que o estado de spin quinteto representa muito bem o estado magnético desses três metais de transição. Não tivemos a pretensão de estudar as moléculas diatômicas. Para cada um dos clusters Fe2, Co2 e Ni2 fizemos a análise da configuração eletrônica, da energia total, da largura da banda d, do desdobramento de spin, da profundidade da banda s, da população orbital total do estado quinteto e das energias HOMO (nível de Fermi). Dentre outros fundamentos, utilizamos as teorias de Stoner e Pauling para o ferromagnetismo. Constatamos que o nosso modelo molecular, apresentado nessa tese de doutorado, nos conduz a uma boa compreensão do magnetismo 3d. Esse trabalho está dividido em quatro capítulos. No primeiro capítulo, tecemos algumas considerações sobre o histórico e fundamentos do magnetismo. No segundo capítulo, descrevemos o procedimento teórico que utilizamos nesse trabalho. No terceiro capítulo, apresentamos nossos resultados e discussões. Finalmente, no quarto capítulo encontram-se nossas conclusões e nossas perspectivas no caminho da construção de um modelo simples e eficiente para o magnetismo

Orientador: Roy Edward Bruns / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-08-03T16:09:18Z (GMT). No. of bitstreams: 1 Borges_CleberNogueira_M.pdf: 1387457 bytes, checksum: ce0ce2f697f4f0cc4d74355461ceecbf (MD5) Previous issue date: 2003 / Resumo: A exatidão das estimativas teóricas de intensidades e freqüências experimentais no infravermelho é limitada por diversos fatores. Um método para calcular fatores de escala de grupos característicos é proposto aqui. Fatores de escala para as intensidades e freqüências vibracionais de grupos característicos para três moléculas pequenas de referência: HCN, CzHz e CZH6 foram obtidos de resultados experimentais conhecidos e valores teóricos calculados. Estes fatores foram aplicados às freqüências das moléculas maiores: HC3N, C4Hz, C6Hz, CzNz, C4N2 e C6Nz. Além disso, fatores foram também aplicados às intensidades teóricas do HC3N. Melhor concordância entre freqüências vibracionais teóricas escaladas e seus valores experimentais correspondentes foi obtida pelo método proposto para os estiramentos C-H, C=C e C=N do que a determinada usando a técnica do cálculo da média relatada recentemente na literatura. Entretanto a técnica do cálculo da média fornece estimativas com maior exatidão para freqüências de deformação. Isto pode ser explicado pelo fato de que as deformações, ao contrário dos estiramentos, não são bons grupos característicos, pois sua forma varia muito entre moléculas diferentes. Os fatores de escala aplicados às intensidades foram menos eficazes em corrigir os valores teóricos. Além disso, estudos usando a análise de componentes principais na correção das intensidades não parecem promissores / Abstract: The accuracy of theoretical estimates of experimental frequencies and infrared intensities is limited by several factors. Here a method for calculating group characteristic scale factors is proposed. Scale factors for the vibrational frequencies and intensities of characteristic group for three small reference molecules: HCN, C2H2 and C2H6 are obtained from know experimental results and ca1culated theoretical values. These escale factors were applied to frequencies of larger molecules: HC3N, C4H2, C6H2, C2N2, C4N2 and C6N2. Furthermore scale factors were applied also to the theoretical intensities of HC3N. Better agreement between scaled theoretical vibrational frequencies and their corresponding experimental values were obtained by proposed method for the C-H, C=C and C=N stretches than are determine using averaged technique recent1y reported in the literature. However the averaged technique provides more accurate estimates for bending frequencies. This can be explained by the fact of that the bending, in contrast of the stretchings, are not good characteristic groups, therefore its form varies very between different molecules. The scale factors applied to intensities were less effective in correcting theoretical values. Furthermore studies using principal component analysis for correcting intensities does not seems promising / Mestrado / Mestre em Química