Made available in DSpace on 2014-06-11T19:31:43Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-01-23Bitstream added on 2014-06-13T21:03:12Z : No. of bitstreams: 1 rosa_m_dr_rcla.pdf: 971516 bytes, checksum: 676b1c9fb58208183bfdba77af6817e2 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Essa pesquisa apresenta como a construção de identidades online em um curso à distância, que tomou o RPG Online como ambiente educacional, se mostra ao ensino e aprendizagem do conceito de integral definida. Evidencia, então, contribuições para a modalidade de Educação a Distância no que se refere às possíveis relações entre a construção dessas identidades online e o ensino e aprendizagem de matemática, efetuados no ciberespaço em um curso de extensão. Dessa forma, o processo de construção de identidades online é entendido pela construção da ficha da personagem do jogo RPG e pela vivência dessas no decorrer do curso. Esse jogo, o RPG (Role Playing Game – jogo de interpretação de personagens, as quais possuem identidades próprias) Online, é jogado por meio de chat cujo suporte está na Internet e serviu como procedimento de coleta de dados, por meio da plataforma TelEduc, e como ambiente educacional desse curso de extensão a distância que trabalhou o conceito em questão. A construção de conceitos, por sua vez, é entendida nessa pesquisa a partir da concepção de Deleuze e Guattari (2005) que evidencia as inter-relações entre planos de imanência e personagens conceituais para que isso aconteça. Essas inter-relações são percebidas na contextualização do jogo e na própria construção de identidades online pelos jogadores (alunos de licenciatura em matemática de diferentes universidades do Brasil). Assim, esse estudo, desenvolvido segundo a pesquisa qualitativa, revela que a construção de identidades online se mostra em transformação, em imersão e em agency (ação com vontade e senso de realização) ao ensino e aprendizagem de integral definida, de forma a conceber o “ser-com”, o “pensar-com” e o “saber-fazer-com” como aspectos evidenciados nessas facetas. Isso implica na ampliação da concepção do conceito... / This research addresses how the construction of online identities from an online distance education course shows itself to the teaching and learning of the concept of definite integral. Then, it shows contributions to Distance Education modality in relation to the possible relationships among the construction of online identities and teaching and learning of mathematics, which is made in cyberspace and in a extension course. Thus, the process of construction of online identities is understood by the construction of the RPG character sheet and the experience of those identities during the course. The RPG – Role Playing Game – is a game of interpretation of characters, which have their own identities. The Online RPG is played through chat whose support is on the Internet. This version of the game served as a procedure for collecting data, through the platform TelEduc, and as educational environment in the extension course. The objective of the distance extension course was working the concept of definite integral. The construction of concepts is understood from the Deleuze and Guattari (2005) conception, which shows the inter-relationships between immanence plans and conceptual characters. These inter-relations are perceived between the contextualization of the game and the construction of identities online by the players (graduate students in mathematics from different universities in Brazil). This study was developed according to qualitative research. It presents that the construction of online identities shows itself in transformation, in immersion and in agency to the teaching and learning of the concept of definite integral. These three facets consider the “being-with”, “thinking-with” and the “knowing-making-with” as evidenced aspects in this study. The findings show that the conception of the mathematical concept and its construction... (Complete abstract click electronic access below)

Made available in DSpace on 2015-07-13T12:10:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-13. Added 1 bitstream(s) on 2015-07-13T12:25:43Z : No. of bitstreams: 1 000832525.pdf: 2129764 bytes, checksum: d2af9e6ba5e35d31cc21884b21d7aa31 (MD5) / Esta dissertação tem como objetivo desenvolver uma ferramenta paramétrica em linguagem de programação de software ANSYS (linguagem APDL) para se calcular a estrutura de um pórtico rolante de vigas centrais e reduzir o tempo gasto em horas de cálculo. Neste trabalho primeiro são apresentados os principais tipos de equipamentos bem como os próprios pórticos rolantes e para estes últimos descreve quais são seus tipos e quais os componentes compõem sua estrutura Descreve sobre a parametrização em linguagem APDL, sobre as principais solicitações atuantes que devem ser levadas em consideração durante o dimensionamento da estrutura, de acordo com as especificações da norma NBR8400. Apresenta como foi desenvolvida a ferramenta, quais são suas interfaces com o operador e qual o esquema de operação da mesma. Ao final relata sobre o ganho na economia de tempo ao se utilizar o programa e analisa os resultados, de tensão e deslocamento, obtidos com a simulação de um modelo gerado / This dissertation aims to develop a parametric tool in ANSYS software programming language (APDL language) to calculate the structure of a gantry crane of central beams and reduce the time spent in hours of calculation. This paper first presents the main types of equipment as well as the own gantry cranes, and for this latter describes what are their types and what components make up its structure. Describes about the parameterization in APDL language, about the main solicitations that should be taken into consideration during the dimensioning of the structure, according to the specifications of the standard NBR8400. Present show it was developed the tool, what are their interfaces with the operator and how it works. At the end relates about gaining in saving time when using the program and analyzes the results, of tension and displacement, obtained with the simulation of a generated model

Orientadora: Daniele Barroca Marra Alves / Coorientadora: Eniuce Menezes de Souza / Banca: João Francisco Galera Monico / Banca: Paul Jozef de Jonge / Resumo: Essencial para o desempenho de posicionamento baseado em redes é que um usuá- rio receba e aplique as informações de correção geradas a partir de uma rede. Essas correções são necessárias para o usuário levar em conta os atrasos atmosféricos (ionosfera e troposfera) entre a sua localização aproximada e as estações da rede. A m de proporcionar correções mais precisas para os usuários, o processamento da rede deve ser baseada na solução das ambiguidades inteiras da fase da portadora entre as estações da rede. Denomina-se ambiguidade o número de ciclos inteiros entre as antenas do satélite e do receptor na primeira época de coleta de dados. As ambiguidades são introduzidas como parâmetros a serem estimados nas equações de observação. processo de solução das ambiguidades pode ser dividido em duas etapas: estimação e de validação. A estimativa está preocupada com o cálculo dos valores das ambiguidades. o etapa de validação é utilizada para inferir se o valor estimado pode ser aceito ou não. Um método muito utilizado pela comunidade cientí ca internacional para a estimação das ambiguidades inteiras é o método LAMBDA. Já para a validação os testes Ratio e FF-RT podem ser utilizados. O objetivo desta dissertação é investigar a solução das ambiguidades no contexto do posicionamento baseado em redes e sua implementação no software FCT_RTK_Net que foi desenvolvido em ambiente acadêmico. Nesta dissertação alguns experimentos sobre a solução das ambiguidades são apresentados, cujos resultados mostraram que o teste de validação FF-RT produz melhores percentuais de xação das ambiguidades. Os resultados também mostraram que o ADOP é um bom preditor da taxa de sucesso das ambiguidades e que a detecção e correção de perdas de ciclos são essenciais para a obtenção da solução das ambiguidades / Abstract: Essencial to the performance of Network RTK positioning is that a user receives and applies correction information from a network. These corrections are necessary for the user to account for the atmospheric (ionospheric and tropospheric) delays between his approximate location and the locations of the network's stations. In order to provide the most precise corrections to users, the network processing should be based on integer resolution of the carrier phase ambiguities between the network's stations. Ambiguity is called the number of complete cycles between the satellite antenna and receiver in his rst season of data collection. The ambiguities are introduced as parameters to be estimated in the observation equations. Ambiguity resolution can be divided in two steps: estimation and validation. The estimate is concerned with the calculation of the ambiguities values. O validation stage is used to infer whether the estimated value can be accepted or not. A method widely used by the international scienti c community for the estimation of integer ambiguities is the LAMBDA method. For the validation the ratio test and FF-RT may be used. The aim of this work is to investigate the resolution of ambiguities in the context of Network RTK and its implementation in FCT_RTK_Net software that was developed in an academic environment. In this thesis some experiments on resolving the ambiguities are presented, the results showed that the FF-RT validation test produces better percentage xing the ambiguities. The results also showed that ADOP is a good predictor of the success rate of ambiguities and that the detection and correction cycles slips are essential for obtaining the resolution of ambiguities / Mestre

[pt] Esta dissertação documenta e analisa os empréstimos concedidos pela Finep entre 2004 e 2017. São respondidas as seguintes questões: Qual a magnitude dos subsídios? Como têm evoluído? Como variam entre indústrias e regiões? Na amostra analisada, o valor médio dos subsídios implícitos nos empréstimos é de 8,6 milhões, sendo maior para contratos com taxas de juros pré-fixadas: 10,9 milhões de reais, ou 21,5 porcento do valor presente dos empréstimos. Para os empréstimos pósfixados, indexados pela TJLP, o subsídio médio é menor, mas ainda assim relevante: 2,6 milhões de reais ou 11,7 porcento do valor presente dos empréstimos. Tanto os valores dos empréstimos quanto os subsídios concedidos foram substancialmente elevados a partir de 2008, atingindo seus picos entre 2013 e 2014. As indústrias de transformação e as regiões Sudeste e Sul tem sido as maiores beneficiárias. / [en] This dissertation documents and analyses the loans granted by Finep between 2004 and 2017. The following questions are answered: What is the magnitude of the subsidies? How have they evolved? How do they vary among industries and regions? In the analyzed sample, the average value of implicit subsidies per loan is 8,6 million reais, higher for contracts with pre-fixed interest rates: 10,9 million reais, or 21,5 percent of the loans present value. For post-fixed loans, indexed to the TJLP, average subsidy is lower, but still significant: 2,6 million reais or 11,7 percent of the loans present value. Both the amount of the loans and the subsidies were substantially increased from 2008, reaching peaks between 2013 and 2014. Transformation industries and the Southeast and South regions have been the biggest beneficiaries.

[pt] É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou provas de corte atômico, pois tais procedimento envolvem menos escolhas. Provas de algumas tautologias são conhecidamente grandes quanto realizadas sem a regra do corte e curtas quando a utilizam. Queremos com este trabalho apresentar procedimentos para reduzir o tamanho de provas proposicionais. Neste sentido, apresentamos dois métodos. O primeiro, denominado método vertical, faz uso de axiomas de extensão e alguns casos é possível uma redução considerável no tamanho da prova. Apresentamos um procedimento que gera tais axiomas de extensão. O segundo, denominado método horizontal, adiciona fórmulas máximas por meio de unificação via substituição de variáveis proposicionais. Também apresentamos um método que gera tal unificação durante o processo de construção da prova. O primeiro método é aplicado a dedução natural enquanto o segundo à Dedução Natural e Cálculo de Seqüentes. As provas produzidas correspondem de certo modo a provas não normais (com a regra do corte). / [en] It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut-free proofs and their respective non-normal proofs. The task of automatic theorem proving is, on the other hand, usually based on the construction of normal, cut-free or only-atomic-cuts proofs, since this procedure produces less alternative choices. There are familiar tautologies such that the cut-free proof is huge while the non-cut-free is small. The aim of this work is to reduce the weight of proposicional deductions. In this sense we present two methods. The fi first, namely vertical method, uses the extension axioms. We present a method that generates a such extension axiom. The second, namely horizontal method, adds suitable (propositional) unifi fications modulo variable substitutions.We also present a method that generates a such unifi fication during the proving process. The proofs produced correspond in a certain way to non normal proofs (non cut-free proofs).

Estudamos as propriedades estruturais e eletrônicas da molécula emodina (EM), em diferentes condições, do ponto de vista experimental e teórico. Numa primeira parte, realizamos medidas do espectro eletrônico de absorção da EM, em meio solvente (água, clorofórmio e metanol). Nessa parte, obtivemos que o solvente provoca pouco efeito nos deslocamentos das bandas. Numa segunda parte, estudamos a EM, isoladamente e nos três solventes, através de cálculos quânticos com funcional de densidade (B3LYP), conjunto de função base de Pople (6-31G*) e modelo contínuo polariz ável (PCM). Como principais resultados obtivemos que a EM é rígida a menos da orientação relativa das 3 hidroxilas. A mudança orientacional nessas hidroxilas pode provocar formação de até 2 ligações de hidrogênio intramolecular (o que estabiliza sua geometria) e conseqüente uma diminuição no momento dipolo de 5.5 a 1.7D (o que desestabiliza sua interação com a água). Numa terceira parte, realizamos simulações com método Monte Carlo e Dinâmica Molecular em solução. Nessa parte, obtivemos que as ligações de hidrogênio intramoleculares são raramente quebradas devido as interações com o solvente e isso atribui a EM um caráter hidrofóbico. Adicionalmente, utilizando Teoria de Perturbação Termodinâmica nas simulações, calculamos a variação de energia livre de solvatação da EM em partição água/clorofórmio e água/- metanol e obtivemos -2.6 e -4.9 kcal/mol, respectivamente. Esse resultado está em boa concordância com o resultado experimental de -5.6 kcal/mol para partição de água/octanol. Por último, realizamos cálculos do espectro eletrônico de absorção da EM, isoladamente e nos três solventes, considerando as moléculas através do modelo, contínuo de solvente (SCRF) e explícito de solvente, com o método INDO/CIS. Nessa parte, obtivemos que o efeito do solvente é bem descrito teoricamente. / We study the structural and electronic properties of the emodin (EM) in different solvents of experimental and theoretical the point of view. We started performing measurements of the UV-Vis absorption spectrum of the EM in solution (water, chloroform and methanol). Our main result is that the solvent causes little effect on shifts the bands. In the second part of this work, we performing quantum calculations of isolated EM and in the three solutions using density functional (B3LYP), a set of Pople basis function (6-31G*) and the polarizable continuum model (PCM). In this part, our result is that EM presents a rigid conformation unless the orientation of its 3 hydroxyls. The change in these hydroxyls orientation can form up to 2 intramolecular H-bonds (which stabilizes its geometry) and causes a decrease in the dipole moment from 5.5 to 1.7D (which destabilizes its interaction with water). In the third part of this work, we performing Monte Carlo and Molecular Dynamics simulations in solution. Our main result is that the intramolecular H-bonds are rarely broken, even in aqueous solution, and these give to EM a hydrophobic character. Additionally, using Thermodynamics Perturbation Theory in the simulations, we calculate variations of free energy of solvation of EM in partition of water/chloroform and water/methanol and obtained -2.6 and -4.9kcal/mol, respectively. This last result is in good agreement with the experimental result[3] of -5.6kcal/mol for partition of water/octanol. Finally, we performing calculations of UV-Vis absorption spectrum of isolated EM and in the three solutions. In this calculations, we considering the molecules through the continuum solvent (SCRF) and explicit solvent model with the method INDO/CIS. In this part, we obtaining that effect of solvent is well described theoretically.

Made available in DSpace on 2016-04-27T16:58:06Z (GMT). No. of bitstreams: 1 dissertacao_claudio_dall Anese.pdf: 788897 bytes, checksum: 897afe6ea83b9b5b4a540be3caa83095 (MD5) Previous issue date: 2000-04-28 / Since difficulties exist, in refering to the teaching and lerning of Differential and Integral Calculus, this work presents a didactic sequence with activities allocated in records, in which the students work in couples to perceive the essence of the concept of derivatives. After the resolution of each record, it is settled down a plenary to discuss the presented answers. The choice of this methodological practice represents a rupture of the habitual didactic contract. I present a posteriori analysis of each record, confronting the student s protocols with a priori analysis. This allows to raise conclusions about the gains of this pedagogic choice to the teaching and learning of the concept of the derivative / Dado que existem dificuldades, no que se refere ao ensino e aprendizagem do Cálculo Diferencial e Integral, este trabalho apresenta uma seqüência didática com atividades apresentadas em fichas, em que os alunos trabalham em duplas, para perceber a essência do conceito de derivada. Após a resolução de cada ficha, estabelece-se uma plenária para discussão das respostas apresentadas. A escolha desta prática metodológica representa uma ruptura do contrato didático habitual. Apresento uma análise a posteriori de cada ficha, confrontando os protocolos dos alunos com uma análise feita a priori. Isto permite levantar conclusões sobre os ganhos desta escolha pedagógica para o ensino e aprendizagem do conceito de derivada

Made available in DSpace on 2016-04-27T16:58:06Z (GMT). No. of bitstreams: 1 dissertacao_armando_d avoglio.pdf: 753797 bytes, checksum: 30017dfe069909b955b4496e6970f124 (MD5) Previous issue date: 2002-11-07 / This is na intervention research. It was carried through with students who initiated the superior course, in the area of Accurate. The objective of it is to investigate if the introduction of the concept of derivative of a function in a point, by means of familiar concepts to the students and with a certain relationship with the daily one of them, as of speed for example, it would produce effect for the improvement of the learning of this notion. The intervention was carried through by the application of a didactic sequence, contends seven activities. In the elaboration of the same one, basic concepts of kinematics had been used, in order to contribute with that the student participated of the systematization of the concept of derivative of a function in a point. And, with estimated of that, if thus it occurred, they could give more meant to the new concept, becoming its more significant learning. For the analyses of the results, in we support them in the Theory of the Significant Learning of AUSUBEL. Our conclusion is that it had advantages in this form to introduce derived; that the student can give more meant to the this notion; e that had improvements in the understanding of the same one / Esta é uma pesquisa de intervenção. Foi realizada com alunos que iniciavam o curso superior, na área de Exatas. O objetivo dela é o de investigar se a introdução do conceito de derivada de uma função num ponto, por meio de conceitos familiares aos alunos e com um certo relacionamento com o cotidiano deles, como o de velocidade por exemplo, produziria efeitos para a melhoria da aprendizagem dessa noção. A intervenção foi realizada pela aplicação de uma seqüência didática, contendo sete atividades. Na elaboração da mesma, foram utilizados conceitos básicos de cinemática, de modo a contribuir com que o aluno participasse da sistematização do conceito de derivada de uma função num ponto. E, com o pressuposto de que, se assim ocorresse, eles poderiam dar mais significado ao novo conceito, tornando sua aprendizagem mais significativa. Para as análises dos resultados, nos apoiamos na Teoria da Aprendizagem Significativa de AUSUBEL. Nossa conclusão é que houve vantagens nessa forma de introduzir derivada; que o aluno pode dar mais significado à essa noção; e que houve melhoras na compreensão da mesma

Made available in DSpace on 2016-04-27T17:12:57Z (GMT). No. of bitstreams: 1 Aparecida de Lourdes Bonanno.pdf: 8609288 bytes, checksum: 31fb9ceece1abe481553a2ef72948e68 (MD5) Previous issue date: 2007-05-21 / Made available in DSpace on 2016-08-25T17:25:39Z (GMT). No. of bitstreams: 2 Aparecida de Lourdes Bonanno.pdf.jpg: 3517 bytes, checksum: b58c9650bfbb12682ed337b9ac5f4d93 (MD5) Aparecida de Lourdes Bonanno.pdf: 8609288 bytes, checksum: 31fb9ceece1abe481553a2ef72948e68 (MD5) Previous issue date: 2007-05-21 / Secretaria da Educação do Estado de São Paulo / This research has the objective of investigating the operative calculation in the multiplicative field with a group of students of 5th series of the Fundamental Teaching, trying identify those students' knowledge about two great learning expectations: the first one includes the analysis, the interpretation, and the resolution of problem s situation with the different meanings of the multiplication and division and the second one is the acting of the students' group in mental- calculations and written, exact or approximate - through varied strategies. It leans on the contributions of different authors' , especially, Gerard Vergnaud, Constance Kamii and Irma Saiz.To accomplish this study, firstly we made a bibliographical rising and the analysis of an official curricular document and later we organized data collection instruments, containing activities and calculations to be proposed for a one group with 21 students of 5th series, of a state public school, allowing a diagnostic study with that group. After developing the treatment of the collected data and of elaborating our analyses, we accomplished interviews with some students to enlarge our understanding on the subject. In general, we observed that the conventional algorithms are still the procedures more used by the students in the situations problem and written calculation, but an interesting and positive fact is what many students use procedures don't stipulate to solve the situations problem. We still verified the importance of to consider and to explore, in the teaching, the several strategies don't stipulate established by the students in several situation-problem / Esta pesquisa tem o objetivo de investigar o cálculo operatório no campo multiplicativo com um grupo de alunos de 5ª série do Ensino Fundamental, buscando identificar o conhecimento desses alunos a respeito de duas grandes expectativas de aprendizagem para essa etapa da escolaridade: a primeira engloba a análise, a interpretação, e a resolução de situações-problema com os diferentes significados da multiplicação e divisão e a segunda o desempenho do grupo de alunos em cálculos mentais e escritos, exatos ou aproximados - por meio de estratégias variadas. Apóia-se nas contribuições de diferentes autores, em especial, Gerard Vergnaud, Constance Kamii e Irma Saiz. Para realizar este estudo, primeiramente fizemos um levantamento bibliográfico e analisamos documentos curriculares oficiais e definimos nosso problemas de pesquisa. Depois organizamos instrumentos de coleta de dados, contendo tarefas a serem propostas a um grupo de 21 alunos de 5ª série, de uma escola pública estadual. Após desenvolver o tratamento dos dados coletados e de elaborar nossas análises, realizamos entrevistas com alguns alunos para ampliar nossa compreensão sobre o assunto. De modo geral, observamos que os algoritmos convencionais ainda são os procedimentos mais utilizados pelos alunos nas situações problema e cálculo escrito, mas um fato interessante e positivo é o de que muitos alunos usam procedimentos não convencionais para resolver as situações problema. Constatamos ainda a importância de se considerar e explorar, no ensino, as diversas estratégias não convencionais estabelecidas pelos alunos em situações-problema diversas

Made available in DSpace on 2016-04-28T14:16:28Z (GMT). No. of bitstreams: 1 Claudio Marcio Ribeiro Magalhaes.pdf: 1416676 bytes, checksum: 295bb917cbb2bfe127c8bd7294ef7217 (MD5) Previous issue date: 2006-10-27 / In this work we present, a brief story on the history of the Calculus of the Variations, as well as, some of the mathematicians who had directly contributed so that he had the development, of that are an area of the widely studied Mathematics since its sprouting. We also present, the context of the time where this subject was developed in Brazil, as well as the first known publication. In annex we are available the work of the mathematician José Saturnino da Costa Pereira, published in the magazine the Patriot in the year of 1813, we detach the importance of the same in the development of Science in Brazil / No presente trabalho, apresentamos um breve relato sobre a história do Cálculo das Variações, assim como, alguns dos matemáticos que contribuíram diretamente para que houvesse o desenvolvimento, desta que é uma área da Matemática amplamente estudada desde o seu surgimento. Apresentamos também, o contexto da época em que este assunto foi desenvolvido no Brasil, bem como a primeira publicação conhecida. Em anexo disponibilizamos o trabalho do matemático José Saturnino da Costa Pereira, publicado na revista O Patriota no ano de 1813, destacamos a importância do mesmo no desenvolvimento da Ciência no Brasil