Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-17Bitstream added on 2014-06-13T18:30:54Z : No. of bitstreams: 1 barreiro_rc_me_sjrp.pdf: 585027 bytes, checksum: 039155145a6c7b9e6e1fc03a02180b55 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho ée estabelecer similaridades entre a análise complexa e os quatérnios. Nele é feito um estudo da regularidade de funções quaterniônicas e são estabelecidas as funções exponencial e logarítmica para os quatérnios sendo feito um estudo da hiperpe- riodicidade dessas funções. Outro resultado apresentado é a generalização quaterniônica da fórmula integral de Cauchy um dos principais teoremas da análise complexa. / The objective of this work is to establish similarities between the complex analysis and the quaternions. In it is made a study of the regularity of quaternionic functions and are established the exponential and logarithmic functions for the quaternions being made a study of the hiperperiodicity of these functions. Another presented result is the quater- nionic generalization of the Cauchy's integral formula one of the main theorems of the complex analysis.

Orientador: Prof. Dr. Jair Donadelli Jr. / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Ciência da Computação, 2014.

Orientador: Prof. Dr. Ronaldo Cristiano Prati / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Ciência da Computação, 2014.

Orientador: Prof. Dr. Daniel Miranda Machado / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2016. / "A Matemática fornece uma variedade de conceitos abstratos que servem de modelos para situações concretas, permitindo assim analisar, prever e tirar conclusões de forma eficaz em circunstâncias nas quais a abordagem empírica muitas vezes conduz a nada [15]." Um desses conceitos certamente é o de função. Neste trabalho, apresentaremos as principais noções envolvendo-o. Em seguida, faremos um estudo, sob o ponto de vista elementar e com o intuito de que sirvam para um curso introdutório, das funções afins e quadráticas, que são duas das principais funções reais de uma variável real que mais aparecem na prática e no desenvolvimento do estudo da Matemática e exibiremos algumas de suas aplicações. / "Mathematics provides a variety of abstract concepts that serve as models for concrete situations, allowing us to analyze, predict and draw conclusions effectively in circumstances in which the empirical approach often leads to nothing [15]." One of these concepts is certainly that of function. In this text, we will present the main notions involving it. We will make a study, from the elementary point of view and with the purpose of serving an introductory course, of linear and quadratic functions, which are two of the main real-valued functions of a real variable that appear most in practice and development of the study of Mathematics and we will show some of its applications.

Made available in DSpace on 2014-06-11T19:32:15Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-11-24Bitstream added on 2014-06-13T19:42:44Z : No. of bitstreams: 1 laureano_mmm_dr_jabo.pdf: 1370732 bytes, checksum: 917b233b8c336006b0fff4eae272a7b4 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Parâmetros genéticos para o fluxo lácteo medido no dia do controle (FLDC) de primeiras lactações de vacas da raça Holandesa foram estimados utilizando modelos de dimensão finita (TDM) e modelos de regressão aleatória. Para os TDM foram analisadas 10 características por meio de modelos uni e bi e multi-características e de repetibilidade, que continham como aleatórios, o efeito genético aditivo e o efeito residual e, como efeitos fixos, o grupo de contemporâneos e as covariáveis idade da vaca ao parto. A variável número de dias em lactação foi incluída somente no modelo de repetibilidade. Para os MRA, foram considerados os efeitos aleatórios genético aditivo direto, de ambiente permanente e o residual. Foram considerados como efeitos fixos, o grupo de contemporâneos, os efeitos linear e quadrático da covariável idade da vaca ao parto e a curva média de lactação da população, modelada por meio de polinômios ortogonais de Legendre de quarta ordem. Os efeitos aleatórios genético aditivo e de ambiente permanente foram modelados por meio de regressão aleatória sobre polinômios ortogonais de Legendre e por meio de funções b-splines. Diferentes estruturas de variâncias residuais foram testadas, por meio de classes contendo 1, 7, 10, 20 e 43 variâncias residuais, para os MRA modelados por meio de polinômios de Legendre. Já, para os MRA modelados por funções b-splines, a estrutura residual foi considerada heterogênea, contendo 7 classes de variâncias. Os MRA foram comparados usando o teste de razão de verossimilhança, o critério de informação de Akaike e o critério de informação de Bayesiano de Schwarz. As estimativas de herdabilidade (h2) para os FLDC variaram de 0,23 a 0,32 nas análises unicaracterísticas, de 0,24 a 0,32 nas bi-características e de 0,28 a 0,37 nas multicaracterísticas. Os valores de h2 estimados variaram no decorrer da... / Flow milk genetic parameters to the first lactation test-day milk yields of Holstein cattle were estimated using Test-day models (TDM) and Random regression models (RRM). Ten TDM differents traits were analyzed using uni, bi and multi-trait and repeatability animal models, that included the additive genetic as random effect and the fixed effects of contemporary group, age of cow (linear and quadratic) as covariables. The days in milk (linear) variable was included only at repeatability model. To RRM were included the additive genetic, permanent environmental and residual as random effects, the fixed effects of contemporary group, age of cow as covariable (linear and quadratic effects) and a 4th-order Legendre orthogonal polynomials of days in milk, to model the mean trend. The additive genetic and permanent environmental effects were fitted by Legendre orthogonal polynomials and b-splines functions. Different structures of residual variances were used, through the variances classes containing 1, 7, 10, 20, and e 43 residual variances, to the models fitted by Legendre orthogonal polynomials. Moreover, for the RRM fitted by b-splines-functions, the residual estructure was considered heterogeneous, having 7 variance classes. The RRM were compared by Likelihood ratio test, Bayesian and Akaike´s information criteria. The heritability estimated ranged from 0.23 to 0.32 by uni-trait analyses, from 0.24 to 0.32 by bi-traits analyses and from 0.28 to 0.37 by multi-trait analyses. The h2 estimates varied during the lactation being the highest estimate at the fourth month. The estimate obtained by the repeatability model was 0.27, and a repeatability estimate of 0.66. For the MRA fitted by Legendre orthogonal polynomials, related to the residual variance, the best model the one that deemed 7 residual classes. For the additive and permanent environmental effects, the having 3th-order... (Complete abstract click electronic access below)

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-08-10T14:17:41Z No. of bitstreams: 1 arquivo total.pdf: 975005 bytes, checksum: 6f8194b9c0cb9c0bbd07b1d2b0ba4b9e (MD5) / Made available in DSpace on 2016-08-10T14:17:41Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 975005 bytes, checksum: 6f8194b9c0cb9c0bbd07b1d2b0ba4b9e (MD5) Previous issue date: 2016-06-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The class of primitive recursive functions is not a formal version to the class of algorithmic functions, we study this special class of numerical functions due to the fact of that many of the functions known as algorithmic are primitive recursive. The approach on the class of primitive recursive functions aims to explore this special class of functions and from that, present solutions for the following problems: (1) given the class of primitive recursive derivations, is there an algorithm, that is, a mechanical procedure for recognizing primitive recursive derivations? (2) Is there a universal function for the class of primitive recursive functions? If so, is this function primitive recursive? (3) Are all the algorithmic functions primitive recursive? To provide solutions to these issues, we base on the hypothetical-deductive method and argue based on the works of Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), among others. We present the theory of Turing machines which is a formal version to the intuitive notion of algorithm, and after that the famous Church-Turing tesis which identifies the class of algorithmic functions with the class of Turing-computable functions. We display the class of primitive recursive functions and show that it is a subclass of Turing-computable functions. Having explored the class of primitive recursive functions we proved as results that there is a recognizer algorithm to the class of primitive recursive derivations; that there is a universal function to the class of primitive recursive functions which does not belong to this class; and that not every algorithmic function is primitive recursive. / A classe das funções recursivas primitivas não constitui uma versão formal para a classe das funções algorítmicas, estudamos esta classe especial de funções numéricas devido ao fato de que muitas das funções conhecidas como algorítmicas são recursivas primitivas. A abordagem acerca da classe das funções recursivas primitivas tem como objetivo explorar esta classe especial de funções e, a partir disto, apresentar soluções para os seguintes problemas: (1) dada a classe das derivações recursivas primitivas, há um algoritmo, ou seja, um procedimento mecânico, para reconhecer derivações recursivas primitivas? (2) Existe uma função universal para a classe das funções recursivas primitivas? Se sim, essa função é recursiva primitiva? (3) Toda função algorítmica é recursiva primitiva? Para apresentar soluções para estas questões, nos pautamos no método hipotético-dedutivo e argumentamos com base nos manuais de Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), entre outros. Apresentamos a teoria das máquinas de Turing, que constitui uma versão formal para a noção intuitiva de algoritmo, e, em seguida, a famosa tese de Church-Turing, a qual identifica a classe das funções algorítmicas com a classe das funções Turing-computáveis. Exibimos a classe das funções recursivas primitivas, e mostramos que a mesma constitui uma subclasse das funções Turing-computáveis. Tendo explorado a classe das funções recursivas primitivas, como resultados, provamos que existe um algoritmo reconhecedor para a classe das derivações recursivas primitivas; que existe uma função universal para a classe das funções recursivas primitivas a qual não pertence a esta classe; e que nem toda função algorítmica é recursiva primitiva.

The aim of this study was to investigate possible alterations in attentive functions and mental flexibility in individuals diagnosed with Addiction. The sample (n=40) was located for convenience, and included 20 individuals with addiction behaviors (G1), and 20 individuals who do not use harmfully psychoactive substances (G2). Assessment instruments used were: Experimental and Computerized Test of Continuous Performance, and the Wisconsin Card Sorting Test. It was concluded that individuals in the G1 group had a poorer performance in all categories analyzed on the Wisconsin Card Sorting Test and in reaction time on the Experimental and Computerized Test (p<0,05), showing a deficit in mental flexibility and attentive functions, which may have direct implications on addictive behaviors and treatment. / O objetivo deste estudo foi investigar possíveis alterações na focalização atentiva e flexibilidade mental de sujeitos diagnosticados em dependência química. A amostra (n=40) foi localizada por conveniência, e contou com 20 indivíduos diagnosticados em dependência química (G1), e 20 sujeitos que não fazem uso nocivo de substâncias psicoativas (G2). Os instrumentos utilizados foram: Teste Experimental Computadorizado de Desempenho Contínuo, e Teste Wisconsin de Classificação de Cartas. Constatou-se que os indivíduos do grupo G1 apresentaram pior desempenho em todas as categorias analisadas do Teste Wisconsin e nos tempos de reação do Teste Experimental Computadorizado (p<0,05), evidenciando uma deficiência na flexibilidade cognitiva e nas funções atentivas, o que pode ter implicações diretas nos comportamentos aditivos e para o tratamento. / Mestre em Psicologia Aplicada

Conselho Nacional de Desenvolvimento Científico e Tecnológico / In this work a transient one dimensional thermal problem with multilayer was solved analytical by using the Green\'s functions (FG) method. This method was used because the boundary conditions vary with time and this discards the use os the separation of variables method. The temperature prole for a two-layer medium was obtained and checks up this analytical solution by comparison with exact and numerical solutions of related thermal problems with specic characteristics. One important application of double layer solutions are given by thermal analysis in a coating machine tool. Accordingly, two analyzes of the thermal behavior of coated tools are addressed. Check up the thermal and geometric parameters involved, which allow a better distribution of temperature in the cutting area, reducing wear used in the process and to increase the tool life. It has been shown that coating with the thermal properties of the cobalt material, had an increase in temperature, while the coating of aluminum oxide (Al203) and titanium nitride (TiN) showed a decrease of temperature in the tool-coating interface. / Este trabalho dedica-se à obtenção de solução analítica em condução de calor por meio de Funções de Green (FG), decorrente de um problema térmico unidimensional transiente com meio multicamada. Indica-se o uso do método de Funções de Green (FG) uma vez que as condições de contorno variam com o tempo, o que descarta de imediato o método de separa- ção de variáveis. Obtém-se o perl de temperatura para o meio dupla-camada e verica-se a solução analítica através da comparação com soluções exatas e numéricas de problemas térmicos correlacionados e especícos. Uma aplicação importante de soluções de dupla camada é dada pela análise térmica de uma ferramenta de usinagem com revestimento. Nesse sentido, duas análises do comportamento térmico em ferramentas revestidas são abordadas. Vericam-se os parâmetros térmicos e geométricos envolvidos, que possibilitam uma melhor distribuição da temperatura na região de corte, diminuindo os desgastes presentes nesse processo e visando aumentar a vida útil da ferramenta. Mostra-se que o revestimento com as propriedades térmicas do material de cobalto, teve um aumento de temperatura, enquanto os revestimento de óxido de alumínio (Al203) e nitreto de titânio (TiN) apresentou-se uma diminuição de temperatura na interface ferramenta-revestimento. / Mestre em Engenharia Mecânica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Problems involving heat conduction can be observed in many ways and in various forms, we can be mentioned: heating a slab in a welding process or heat conduction from a process of drilling or cutting. Thus, it is intended, using mathematical analysis tools and engineering concepts and physical establish this thermal behavior, by calculating 1D, 2D and 3D transient analytical solutions varying boundary conditions and apply it to a welding process. Obtaining analytical solutions to this problem require more elaborate procedures to those used for fixed problems because of the additional terms that arise in the governing equation. And so, we intend to contribute to the literature in this regard. The proposed method for solving partial differential equations will be the Green\'s functions method. It is also objective of this work to develop the verification of the solutions obtained analytically, making comparisons to the solutions obtained numerically and application in inverse problems. In this case, it is proposed to application and development of the TFBGF technique for heat source estimate. The use of analytical solution showed up after calculated and checks, a robust tool, easy to implement, and low computational cost when applied to direct or inverse problems of heat conduction by moving sources. / Problemas envolvendo condução de calor podem ser observados em diversos aspectos e nas mais variadas formas, pode-se citar: O aquecimento de uma chapa em um processo de soldagem ou a condução de calor proveniente de um processo de furação ou corte. Assim, pretende-se, usando ferramentas de análise matemática e conceitos de engenharia e física estabelecer este comportamento térmico, através do cálculo de soluções analíticas 1D, 2D e 3D variando-se condições de contorno e aplicá-la a um processo de soldagem. A obtenção de soluções analíticas para este tipo de problema requerem procedimentos mais elaborados aos que são utilizados para problemas fixos, devido aos termos adicionais que surgem na equação governante. E desse modo, pretende-se contribuir com a literatura neste aspecto. O método proposto para resolver as equações diferenciais parciais será o método de funções de Green. É também objetivo deste trabalho desenvolver a verificação das soluções obtidas analiticamente, fazer comparações à soluções obtidas numericamente e aplicação à problemas inversos. Nesse caso, propõe-se a aplicação e o desenvolvimento da técnica TFBGF (transfer function based Green\'s functions) para estimativa de aporte térmico. O uso de solução analítica monstrou-se, após calculada e verifica, uma ferramenta robusta, de fácil implementação, e de baixo custo computacional quando aplicada a problemas diretos ou inversos em condução de calor por fontes móveis. / Mestre em Engenharia Mecânica

Fundação de Amparo a Pesquisa do Estado de Minas Gerais / This work presents the developing of analytical solutions based on Green's function to be applied in inverse problems techniques. Special attention is given to the problems that deals to unknown heat ux input such as the heat generation due to the friction in orthogonal machining processes or to the thermal properties measurement using optimization techniques. The great advantage of using Green's function is the ability of obtaining solutions of complex heat conduction problem that involves transient heat source or non homogenous boundary conditions as heat ux input or prescribed temperature varying with time and space. In this work, analytical solutions of one, two and three-dimensional transient heat conduction problems are presented. A practical application of using analytical solution in optimization problem is also presented. Any inverse or optimization technique has a basic and common characteristic: both of them need to solve the direct solution several times. This characteristic is the cause of the large time consumed. In heat conduction problem, the time consumed is, usually, due to the use of numerical solutions of multidimensional models with rened mesh. In this case, if analytical solutions are available the computational time can be reduced drastically. This study presents the development and application of a 3D-transient analytical solution based on Green's function to obtain thermal properties of solids materials. / Este trabalho dedica-se à obtenção e aplicação de soluções analíticas baseadas em funções de Green (FG) em técnicas de problemas inversos. Especialmente, o estudo é voltado a problemas decorrentes de fonte de calor desconhecidas como a geração de calor devido ao atrito presentes em processos de usinagem ortogonal e, principalmente, à medição de propriedade térmicas usando técnicas de otimização e estimativas de parâmetros. A grande força do uso das FG está na possibilidade de obtenção de soluções de problemas de condução de calor dos tipos mais variados e complexos, como por exemplo, problemas tridimensionais transientes, com termos de geração de calor transientes e não uniformes e que possam ainda estar sujeitos as condições de contorno não homogêneas variando com o tempo e o espaço. Apresentam-se neste trabalho a solução analítica de vários problemas de condução de calor unidimensionais, bidimensionais e tridimensionais transientes. Além do desenvolvimento destas soluções, apresentam-se também resultados em forma de grácos permitindo um melhor entendimento físico das soluções e a sua vericação. Dois problemas de otimização são abordados através da aplicação de soluções analíticas. Um dos problemas trata da estimativa de propriedades térmicas enquanto o outro se refere ao desenvolvimento do método de observadores dinâmicos usando funções de Green. O uso das FG na estimativa de parâmetros reduziu drasticamente o tempo computacional gasto enquanto no método dos observadores introduziu maior conança e estabilidade à técnica. / Mestre em Engenharia Mecânica