Orientador: Waldemir Silva de Lima / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-05T03:29:28Z (GMT). No. of bitstreams: 1 Caro_ManuelJesusMarin_M.pdf: 3852724 bytes, checksum: 285a12c21340825484284c8f7f68d6db (MD5) Previous issue date: 2005 / Resumo: Neste trabalho procurou-se desenvolver um método de formação de preço mais adequado às necessidades das empresas locais prestadoras de serviços. Para tanto foi necessário conhecer as variáveis influenciadoras e as principais correntes teóricas sobre o assunto. Utilizou-se o método tradicional de formação de preços (margem de lucro), a composição de mercado (preço de mercado) e a taxa de marcação (mark-up).Os resultados obtidos foram analisados e comparados com os modelos existentes, obtendo-se uma boa correlação. Resultados adicionais mostrando a variação dos preços de vendas foram analisados e comentados. Os resultados deste trabalho representam relevante importância e contribuição para futuros estudos de formação de preço de venda nas empresas prestadoras de serviços / Abstract: This investigation describes a model which permits to develop a prices formation method more adapted to enterprises' necessities local offering services. To achieve this objective it was necessary to study the variables that influence on it and the main theories about the matter. It is used traditional method of price's formation (benefit's margin), the market composition (market¿s price) and the tax of pricing (mark-up). The results were then analyzed, compared with existing models getting a good correlation. Additional results were obtained to demonstrate the variation of price¿s formation. These results were analyzed and commented. The results obtained from this investigation demostrate a great importance and contribution to future studies in price¿s formation into enterprises offering services / Mestrado / Planejamento e Gestão Estrategica da Manufatura / Mestre em Engenharia Mecânica

[pt] Este trabalho tem como propósito o estudo da estabilidade de hipersuperfícies mínimas imersas em R n mais 1. Apresentamos algumas caracterizações de hipersuperfícies mínimas deduzindo as fórmulas da primeira e segunda variação do funcional da área. Em seguida, a partir do cálculo de variações, estabelecemos a relação entre a teoria espectral e a estabilidade. Em particular, estudamos a caraterização variacional do primeiro autovalor do operador de estabilidade. Com base nesta relação mostramos alguns critérios de estabilidade para hipersuperfícies mínimas imersas em R n mais 1. Em especial, exibimos em detalhes o critério de estabilidade de Barbosa-Do Carmo para a estabilidade de superfícies mínimas em R3. Assim como o critério de Fischer-Colbrie-Shoen para superfícies mínimas completas, não compactas, usando a teoria elíptica. Concluímos com a análise da estabilidade do catenoide em R3 e em R n mais 1. Obtemos os domínios de estabilidade do catenoide em R3 a partir da teoria de Sturm Liouville. Exibimos o teorema de estabilidade de Lindelof em R3 e em R n mais 1 e a propriedade do catenoide ter índice 1. / [en] This work aims to study the stability of minimally immersed hypersurfaces in R n more 1. We present some characterizations of minimal hypersurfaces deducting the formulas of the first and second variation of area. Afterwards, from the variational calculus, we establish the relationship between spectral theory and stability. Particulary, we study a variational characterization of the first eigenvalue associated to the stability operator. Based in this relationship we show some stability criteria for minimally immersed hypersurfaces in R n more 1. In particular, we exhibit in details the Barbosa-Do Carmo criterion for the stability of minimal surfaces in R3. We also establish the Fischer- Colbrie-Shoen criterion for complete, non compact, minimal surfaces using the elliptic theory. We conclude with the analysis of the stability of the catenoid in R3 and in Rn more 1. This is done by studying the stability domains of the catenoid in R3 using the Sturm-Liouville theory. We explain the Lindelof stability theorem in R3 and in R n more 1 and the property of the catenoids have index 1.

Orientador: Gilcilene Sanchez de Paulo / Coorientador: José Roberto Nogueira / Banca: Messias Menguette Júnior / Banca: Murilo Francisco Tomé / Resumo: Neste trabalho é apresentado um método numérico para simular escoamentos viscoelásticos axissimétricos com superfícies livres modelados pela equação constitutiva PTT (Phan-Thien-Tanner). As equações governantes para escoamentos axissimétricos transientes incompressíveis de um fluido PTT são resolvidas utilizando o método de diferenças finitas numa malha deslocada. As derivadas temporais da equação do momento e da equação constitutiva são integradas pelo método de Euler explícito. Os termos convectivos são aproximados pelo método de alta ordem CUBISTA (Convergent and Universally Bounded Interpolation Scheme for the Treament of Advection), os termos difusivos e as derivadas espaciais são aproximados por diferenças centrais. O fluido é modelado utilizando a técnica Marker-and-Cell (MAC) o que permite visualizar e localizar a superfície livre do fluido. O método numérico descrito neste trabalho foi implementado na plataforma de alto desempenho denominada FREEFLOW-AXI e verificado comparando-se os resultados numéricos obtidos da simulação do escoamento totalmente desenvolvido em um tubo com a solução analítica deste problema. Foram obtidos alguns resultados numéricos para escoamentos axissimétricos com superfícies livres utilizando um fluido PTT, tais como, o impacto de uma gota esférica de fluido viscoelástico numa superfície rígida (Impacting Drop), o impacto de uma gota esférica numa superfície líquida (Splashing Drop) e o problema do inchamento do extrudado (Dieswell). Nestas simulações, o foco principal foi estudar numericamente os efeitos dos parâmetros do modelo PTT " e nestes escoamentos / Abstract: In this work is presented a numerical method for simulating axisymmetric viscoelastic free surface flows modeled by the constitutive equation PTT (Phan-Thien-Tanner). The governing equations for incompressible transient axisymmetric flows of a PTT fluid are solved using the finite difference method in a staggered grid. The time derivatives on momentum and constitutive equations are integrated by forward Euler method. The convective terms are approximated by the high order method CUBISTA (Convergent and Universally Bounded Interpolation Scheme for the Treament of Advection), the diffusive terms and the spatial derivatives are approximated by central differences. The fluid is modeled using the strategy "Marker-and-Cell" (MAC) which allows to view and locate the free surface of the fluid. The numerical method described in this work was implemented on the high performance platform called FREEFLOW-AXI and verified by comparing the numerical results of fully developed tube flow with the analytic solution of this problem. Some numerical results for axisymmetric free surface flows using a PTT fluid were obtained, such as, impacting drop, splashing drop and the dieswell problems. In these simulations, the numerical studies about the influence that the parameters of the PTT model " and exert on the flows were the main focus / Mestre

[pt] A análise dos erros dos alunos pode e deve ser utilizada como ferramentas para aumentar a eficiência do processo de ensino e aprendizagem da Matemática. Esta pesquisa objetivou coletar e analisar os principais erros cometidos pelos alunos ingressantes no curso de Engenharia da Universidade Cândido Mendes, na disciplina de Cálculo I. A partir dessa análise foram feitas sugestões de mudanças em metodologias e abordagens do ensino específico da disciplina Cálculo I. / [en] The analysis of errors can and should be used as tools to increase the efficiency of the process of teaching and learning of mathematics. This survey aimed to collect and analyze the main mistakes made by students entering the course of engineering at Universidade Cândido Mendes, in the discipline of Calculus I. From this analysis suggestions were made for changes in methodologies and approaches of Calculus I specific teaching.

Made available in DSpace on 2016-04-27T16:57:56Z (GMT). No. of bitstreams: 1 dissertacao_jose_manuel_melo.pdf: 660435 bytes, checksum: ac2468ce725e827c5667ca22e09c95a6 (MD5) Previous issue date: 2002-05-14 / The teaching and learning of Differential and Integral Calculus, taken as fundamental in Exact Sciences courses, has been focused throughout time as a traditional methodological practice, based on definitions, theorems, properties, examples and exercises. This methodology has been contributing to a very high number of giving up and failure in such courses. One of the possibilities of trying to revert this, is the use of new computerized technologies as a didactic tool in Calculus courses. This work has aimed the creation and use of activities, all fundamented in cognition theories and in the main historical elements of Integral, to be developed in a computerized atmosphere. A qualitative type methodology has been chosen and it was based on a sequence of teaching and working in pairs in a computer lab. The choice of working in pairs is based on the fact that it leads to dialogues, changing of ideas and conclusions in a much more spontaneous way. The computer is used to give meaning to the concept of Integral. The different steps were created with the purpose of allowing students to develop the elements which would lead to such concept. During the activities students have used the computer in different steps.This use permitted the process of visualizing, simulating and deepening in the mathematical thought, some guesses and its contradictions or validations. The results of having had the sequence of teaching applied show that in a computerized atmosphere the teaching and learning are much more meaningful, contextualized and motivating for students as well as for teachers / O ensino e a aprendizagem de Cálculo Diferencial e Integral, considerado básico nos cursos da área de ciências exatas, tem sido, ao longo dos anos, focado numa prática metodológica tradicional baseada em: definições, teoremas, propriedades, exemplos e exercícios. A aplicação desta metodologia tem apresentado um índice muito alto de abandono e repetência. Uma das possibilidades de reverter este quadro é a utilização de novas tecnologias computacionais como ferramentas didáticas no curso Cálculo. Este trabalho tem como objetivo a elaboração e aplicação de uma seqüência de ensino baseada na fundamentação teórica e nos principais elementos históricos da Integral, implantada num ambiente computacional. Para atender a este objetivo , optou-se por uma metodologia do tipo qualitativa, baseada na realização de uma seqüência de ensino, trabalhando com duplas de estudantes em um ambiente computacional. A opção de trabalhar com duplas foi baseada no fato que esta dinâmica produz diálogos, troca de hipóteses e conclusões de forma mais espontânea. Nesta metodologia, o computador é utilizado para dar significação ao conceito de Integral. As várias etapas da seqüência foram elaboradas de modo que permitiram aos alunos construírem conceitos, que no final dela culminaram na significação do conceito de Integral. Na aplicação das atividades, o computador foi incorporado pelos estudantes em estágios diferentes. A sua utilização permitiu o surgimento do processo de visualização, a simulação, o aprofundamento do pensamento matemático, as conjecturas, as refutações e validações. Os resultados da aplicação da seqüência de ensino evidenciam que num ambiente computacional o ensino e aprendizagem passa a ser mais significativo, contextualizado e motivante, para os alunos e professores

Made available in DSpace on 2016-04-27T16:58:56Z (GMT). No. of bitstreams: 1 Marcos de Miranda Paranhos.pdf: 6182763 bytes, checksum: 2e98801c415e63f4e40730adcf71a33b (MD5) Previous issue date: 2009-09-23 / The aim of this work is to present fundamental ideas of differential and integral calculus and its applications in solving problems. As a teacher of calculus, I see my trajectory and by exchanging experiences with other professionals, a common sense about the mechanization of techniques and low student achievement in relation to the ideas and applications so significant that the calculation might provide. Reflecting, experiencing and informing me about this issue, I think much of this problem in a limited way with which we have presented these ideas in our classes. Every teacher develops along its trajectory ways to represent the ideas you want to convey and that is the essence of pedagogical reasoning. In that sense, I understood that every idea must be transformed to be taught and it was this aspect that directed this work. Inspired by the possibility of using software in the teaching of Mathematics and didactically based on "Dialectic Tool-Object" and "Game Tables" by Régine Douady, I performed this work that consists of a sequence of activities, divided into six modules, where basic ideas about derivative, integral and optimization functions are presented by means of software and GeoGebra Winplot. The strings are made to functions with one and two variables, can be developed along with the student or be provided only by the teacher. I hope with this work is expanding the size that most students have the Calculus and its applications, besides stimulating the use of technological resources as tools for large capacity in interpreting and solving problems / O objetivo deste trabalho é apresentar idéias fundamentais do Cálculo Diferencial e Integral e suas aplicações na resolução de problemas. Como professor de Cálculo, constato pela minha trajetória e pela troca de experiências com outros profissionais da área, um senso comum a respeito da mecanização de técnicas e do baixo aproveitamento dos alunos com relação às idéias e aplicações tão significativas que o Cálculo poderia lhes proporcionar. Refletindo, experimentando e me informando sobre essa questão, penso que grande parte dessa problemática está na forma limitada com que temos apresentado essas idéias em nossas aulas. Todo professor desenvolve ao longo de sua trajetória formas de representar as idéias que deseja transmitir e essa é a essência do raciocínio pedagógico. Nesse sentido, acredito que toda idéia compreendida deve ser transformada para ser ensinada e foi esse aspecto da questão que direcionou esse trabalho. Inspirado pela possibilidade do uso de softwares no ensino do Cálculo e fundamentado didaticamente na Dialética Ferramenta-Objeto e o Jogo de Quadros de Régine Douady, realizei este trabalho que consiste de uma seqüência de atividades, divididas em seis módulos, em que as idéias básicas sobre derivada, integral e otimização de funções são apresentadas por meio dos softwares Geogebra e Winplot. As seqüências são feitas para funções com uma e duas variáveis, podendo ser desenvolvidas juntamente com o aluno ou ser apenas apresentadas pelo professor. Espero com esse trabalho estar ampliando a dimensão que a maioria dos estudantes tem do Cálculo e de suas aplicações, além de estimular o uso de recursos tecnológicos como ferramentas de larga capacidade na interpretação e resolução de problemas

[pt] A primeira apresentação de um Cálculo de Seqüentes foi feita por Gerhard Gentzen na década de 1930. Neste tipo de sistema, a diferença entre as versões clássica e intuicionista radicardinalidade do sucedente. O sucedente múltiplo foi tradicionalmente considerado como o elemento que representava o aspecto clássico do sistema, enquanto os seqüentes intuicionistas podiam ter, no máximo, uma fórmula no sucedente. Nas décadas seguintes foram formulados diversos cálculos intuicionistas de sucedente múltiplo que atenuaram essa restrição forte na cardinalidade do sucedente. Na década de 1990, estudou-se a relação de conexão ou dependência entre as fórmulas visando assegurar o caráter intuicionista dos sistemas. Nós realizamos uma revisão dos sistemas de se seqüentes intuicionistas e algumas das suas aplicações. Apresentamos a versão do sistema FIL (feita para o caso proposicional por De Paiva e Pereira) para a lógica intuicionista de primeira ordem provando que o mesmo é correto, completo e satisfaz eliminação de corte. / [en] The first Sequent Calculus was presented by Gerhard Gentzen in the thirties. In this system, the difference between intuitionistic logic and classical logic is based on the cardinality of the succedent. Traditionally, the multiple succedent was considered the element that preserved the classical aspect of the system, while intuitionistic sequents have, at most, one formula in the succedent. In the following decades, several multiple succedent intuitionistic calculus were presented that diminish shed this st strong restriction in the cardinality of the su succedent. In the decade of 1990, this cardinality restriction was replaced by a dependency relation between the formula ocurrences in the antecedent and in the succedent of a sequent in order to ensure the intuitionistic character of the system. We make a revision of the intuitionistic systems and some of their applications. We present a version of the system FIL (accomplish shed for the propositional case by De Paiva and Pereira) for first-order logic proving that it is sound, complete and that it satisfies the cut-elimination theorem.

Made available in DSpace on 2016-04-27T14:32:37Z (GMT). No. of bitstreams: 1 Janice Valia de los Santos.pdf: 1055592 bytes, checksum: 5cc92021fe6ab3063688277e222a9174 (MD5) Previous issue date: 2009-10-29 / The present research aimed at studying the articulation of the basic formation subjects of the Engineering courses through the Differential and Integral Calculus. Thus, in this study, it was proposed a methodology which could guide the calculus activities and could be constituted as integrative experiences in the course. In order to accomplish the goals, it was also necessary to study the teachers role so as the learning process could be built. For this reason, a field research with the Differential and Integral Calculus subject, which is part of the basic formation of the Engineering course of Cruzeiro do Sul University, was developed. After accomplishing the activities, it was noticed that using integrative activities such as the ones suggested in the research by the proposed methodology is viable for the results showed the students have acquired scientific knowledge, have developed their creativity as well as basic concepts for problem solving in their specific formation / A pesquisa desenvolvida teve por objetivo estudar a articulação das disciplinas de formação básica nos cursos de engenharia por meio do Cálculo Diferencial e Integral. Desta forma, propomos, neste trabalho, uma metodologia que oriente as atividades de cálculo e que se constituam como experiências integrativas no curso. Para que atinjamos o objetivo, foi necessário estudar, também a postura do professor para que possa ser construída a aprendizagem junto ao aluno. Desse modo, desenvolvemos uma pesquisa de campo com a disciplina Cálculo Diferencial e Integral, que pertence à formação básica dos cursos de engenharia, junto aos alunos da Universidade cruzeiro do Sul. Após a realização das atividades, percebemos que é viável a utilização de atividades integrativas utilizadas na pesquisa pela metodologia proposta, visto que o aluno adquiriu conhecimento científico, desenvolveu criatividade como também conceitos básicos para a resolução de problemas em sua formação específica

Made available in DSpace on 2017-03-14T14:10:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-10-01. Added 1 bitstream(s) on 2017-03-14T14:42:49Z : No. of bitstreams: 1 000874637.pdf: 3049251 bytes, checksum: 612105d6db96ee6a9d1d53c4cf9e159e (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / 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 / 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 / FAPESP: 2013/06325-9

Orientador: Fernando de Azevedo Silva / Banca: Erick Siqueira Guidi / Banca: Rosinei Batista Ribeiro / Resumo: 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 / Abstract: 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 / Mestre