A têmpera dos aços envolve a austenitização de uma peça seguida por um resfriamento rápido para promover a formação de microestrutura martensítica. É necessário avaliar os meios de têmpera para manter o processo de têmpera sob controle. Os parâmetros mais importantes no processo de resfriamento são o coeficiente de transferência de calor e/ou o fluxo de calor entre o meio de têmpera e a peça a ser resfriada. Um dos métodos de se avaliar os meios de têmpera (meios de resfriamento) e saber o que está acontecendo dentro da peça durante o resfriamento do ponto de vista térmico é o problema inverso de condução de calor. O problema inverso de condução de calor consiste na determinação de parâmetros como fluxo de calor, taxa de resfriamento e temperatura em qualquer posição através da peça, assim como o coeficiente de transferência de calor. Esses parâmetros são obtidos a partir de medições de temperatura em um ou mais pontos dentro da peça. O escopo deste trabalho foi desenvolver um software baseado no problema inverso condução de calor para avaliar meios de resfriamento para têmpera. A validação deste código foi feita usando água, óleo de soja, óleo mineral e solução aquosa de NaNO3. / Steels quenching involves part austenitization followed by a fast cooling to promote martensitic microstructure formation. It is necessary to evaluate quenchants in order to keep the quenching process under control. The most important cooling process parameters are the heat transfer coefficient and/or the heat flux between the quenchant and the part to be cooled. One of the methods to evaluate quenchants (cooling media) and to know what is happening inside the part during the cooling in the thermal point of view is the inverse heat conduction problem. The inverse heat conduction problem consists in the determination of parameters like heat flux, cooling rate and temperature in any position across the part, as well as the heat transfer coefficient. These parameters are obtained from temperature measurements in one or more points inside the part. The scope of this work was to develop a software based in the inverse heat conduction problem in order to evaluate quenchants for quenching. The validation of this code was made using water, soybean oil, mineral oil and NaNO3 aqueous solution.

Made available in DSpace on 2016-03-15T19:37:31Z (GMT). No. of bitstreams: 1 Ricardo Fabio Sato.pdf: 2268590 bytes, checksum: 40455266ba2f27af16965ee2b98d813a (MD5) Previous issue date: 2010-08-04 / Algorithms for solving the classical optimization problem called traveling salesman problem are proposed. These algorithms are inspired on the fact that synapses connecting biological neurons can be altered as the time passes in function of the neuronal activity. Thus, analogies between neurons and cities to be visited by the salesman and between roads and synapses coupling neurons are made. The performances of the proposed algorithms are evaluated by comparing the lengths of the paths produced by them with the length of the optimal solution. The results obtained in experiments performed by using randomly-generated instances and ten instances from a public database suggest that this is a promising approach. / Propõem-se algoritmos para solucionar o clássico problema de otimização chamado de o problema do caixeiro viajante. Esses algoritmos são inspirados no fato de que sinapses que conectam neurônios biológicos podem se alterar com o passar do tempo em função da atividade desses neurônios. Assim, fazem-se analogias entre neurônios e cidades a serem visitadas pelo caixeiro, e entre estradas e sinapses que conectam os neurônios. Os desempenhos dos algoritmos propostos são avaliados comparando-se os comprimentos dos caminhos gerados por eles com o comprimento do caminho ótimo. Os resultados obtidos em testes realizados em instâncias geradas aleatoriamente e em dez instâncias de base de dados pública indicam que essa é uma abordagem promissora.

Made available in DSpace on 2016-03-15T19:37:38Z (GMT). No. of bitstreams: 1 Mateus Interciso.pdf: 1720671 bytes, checksum: aa67cff2cc9f7abe5fb3b48bead6b38d (MD5) Previous issue date: 2011-08-23 / Fundo Mackenzie de Pesquisa / The search for cellular automata (CAs) rules capable of executing a determined task can be impossible to be achieve manually, given the huge size of the search space usually involved. A method for being able to find rules capable of executing the task at hand has been the usage of genetic algorithms (GAs) to evolve an initially random population, until the desired objective; each individual of those GAs are usually represented by a candidate transition rule. In problems formulated for the resolution by a binary cellular automaton, a recently used modification on the representation of the individuals was the usage of templates with the presence of an extra symbol, capable of representing every other valid symbol. Such schema of ternary representation is used on the present work, aiming for it s net effect on the search process on the GAs. This study is made for two classical tasks of binary unidimensional cellular automata, the density classification task and the parity problem, both traditional in the context of using GAs for searching transition rules with high performance. By comparing the results of the original GAs and their versions implemented with the ternary representation, it s shown that the ternary representation is able to improve the quality of the results. Particularly, it is analized the condition in which the usage of the ternary representation presents to be more effective, as well as some effects of the actual implementation. Possible future works are presented at the end. / A busca por regras de autômatos celulares que efetuem corretamente uma determinada tarefa pode ser impossível de ser efetuada manualmente, dado o enorme tamanho dos espaços de busca usualmente envolvidos. Uma forma para conseguir encontrar boas regras para a execução do problema em questão tem sido a utilização de algoritmos genéticos (AGs) para evoluir uma população inicialmente aleatória, até o objetivo desejado; nesses AGs cada indivíduo é normalmente representado como uma regra de transição candidata. Em problemas formulados para resolução por um autômato celular binário, uma alteração recentemente estudada na literatura para a representação dos indivíduos foi a utilização de templates (moldes) com a presença de um símbolo extra, capaz de representar os demais símbolos. Tal esquema de representação ternária é utilizada no presente trabalho, visando avaliar seu efeito no processo de busca realizado por AGs. O estudo é feito para duas tarefas clássicas de autômatos celulares unidimensionais binários, a tarefa de classificação da densidade e o problema da paridade, ambas tradicionais no contexto da utilização de AGs para encontrar regras de transição com alta performance. Ao comparar os resultados de AGs originais encontrados na literatura com suas versões implementadas com representação ternária, mostra-se que a representação ternária é capaz de melhorar a qualidade dos resultados. Em particular, analisam-se condições em que o uso da representação ternária se mostra mais efetivo, bem como apontam-se efeitos de alguns aspectos de implementação. Possíveis trabalhos futuros pertinentes ao estudo são discutidos ao final.

Made available in DSpace on 2016-03-15T19:37:41Z (GMT). No. of bitstreams: 1 Mateus Interciso.pdf: 1732926 bytes, checksum: f29787f421b0b5f1d6dedd2c1eb4e0fc (MD5) Previous issue date: 2011-09-23 / Fundo Mackenzie de Pesquisa / The search for cellular automata (CAs) rules capable of executing a determined task can be impossible to be achieve manually, given the huge size of the search space usually involved. A method for being able to find rules capable of executing the task at hand has been the usage of genetic algorithms (GAs) to evolve an initially random population, until the desired objective; each individual of those GAs are usually represented by a candidate transition rule. In problems formulated for the resolution by a binary cellular automaton, a recently used modification on the representation of the individuals was the usage of templates with the presence of an extra symbol, capable of representing every other valid symbol. Such schema of ternary representation is used on the present work, aiming for it s net effect on the search process on the GAs. This study is made for two classical tasks of binary unidimensional cellular automata, the density classification task and the parity problem, both traditional in the context of using GAs for searching transition rules with high performance. By comparing the results of the original GAs and their versions implemented with the ternary representation, it s shown that the ternary representation is able to improve the quality of the results. Particularly, it is analized the condition in which the usage of the ternary representation presents to be more effective, as well as some effects of the actual implementation. Possible future works are presented at the end. / A busca por regras de autômatos celulares que efetuem corretamente uma determinada tarefa pode ser impossível de ser efetuada manualmente, dado o enorme tamanho dos espaços de busca usualmente envolvidos. Uma forma para conseguir encontrar boas regras para a execução do problema em questão tem sido a utilização de algoritmos genéticos(AGs) para evoluir uma população inicialmente aleatória, até o objetivo desejado; nesses AGs cada indivíduo é normalmente representado como uma regra de transição candidata. Em problemas formulados para resolução por um autômato celular binário, uma alteração recentemente estudada na literatura para a representação dos indivíduos foi a utilização de templates (moldes) com a presença de um símbolo extra, capaz de representar os demais símbolos. Tal esquema de representação ternária é utilizada no presente trabalho, visando avaliar seu efeito no processo de busca realizado por AGs. O estudo é feito para duas tarefas clássicas de autômatos celulares unidimensionais binários, a tarefa de classificação da densidade e o problema da paridade, ambas tradicionais no contexto da utilização de AGs para encontrar regras de transição com alta performance. Ao comparar os resultados de AGs originais encontrados na literatura com suas versões implementadas com representação ternária, mostra-se que a representação ternária é capaz de melhorar a qualidade dos resultados. Em particular, analisam-se condições em que o uso da representação ternária se mostra mais efetivo, bem como apontam-se efeitos de alguns aspectos de implementação. Possíveis trabalhos futuros pertinentes ao estudo são discutidos ao final.

Made available in DSpace on 2016-03-15T19:32:28Z (GMT). No. of bitstreams: 1 Carlos dos Reis Neto.pdf: 1762994 bytes, checksum: ee19957e4e03071af1aed766e17e9bc0 (MD5) Previous issue date: 2011-08-02 / Fundo Mackenzie de Pesquisa / The acceleration of the financial crisis in late 2008 impacted currencies and markets so that companies operating derivative hedging purposes other than those they were surprised by sudden changes in their positions. This brought the derivative financial instruments to the center of attention and questioning what the role of accounting in providing information to stakeholders. These instruments are used to manage the risks to which companies are exposed because of their business, but these same tools can also be used to leverage a result, bringing great risks to stakeholders. This attitude is motivated mainly by the asymmetry of information between the parties, since the risks involved with the operation and derivatives are not fully reflected in financial statements, thereby causing an agency conflict. Accounting, through to recent international standards and pronouncements of the CPC, aims to reduce this information asymmetry through adequate disclosure of important information so that users can assess the nature and extent of risks arising from derivative financial instruments that the entity is exposed and how these risks are managed. This study aimed to show whether non-financial companies are adopting accounting standards adequately explained by the pronouncements of the Accounting Standard Committee (CPC) with regard to items concerning the disclosure of derivative transactions. To this were consulted Notes to Financial Statements. The Securities Commission has the power to search data from standardized financial statements. The methodology was developed a checklist with key standards for disclosure of transactions with derivative financial instruments, issued by the CPC. Firms in the sample were 98 companies with the most actively traded shares on the BOVESPA in 2010. The main results showed that the companies are, in general, adequately showing the operations with financial instruments, even though the need to adjust the financial disclosures for the year since 2010 and these rules are published in late 2009. / A aceleração da crise financeira no final de 2008 impactou moedas e mercados fazendo com que empresas que operavam derivativos com finalidades diversas das de hedge fossem surpreendidas por variações bruscas de suas posições. Isso trouxe os instrumentos financeiros derivativos para o centro das atenções e o questionamento de qual seria o papel da contabilidade na divulgação de informações para os stakeholders. Estes instrumentos são utilizados para o gerenciamento de riscos aos quais as empresas estão expostas devido aos seus negócios, porém estes mesmos instrumentos também podem ser utilizados para a alavancagem do resultado, trazendo grandes riscos para os stakeholders. Esta atitude é motivada principalmente pela assimetria de informação entre as partes, já que os riscos envolvidos com a operação com derivativos não são perfeitamente evidencias nas demonstrações financeiras, causando assim um conflito de agência. A contabilidade, através das recentes normas internacionais e dos pronunciamentos técnicos do CPC, tem como objetivo reduzir essa assimetria de informação através da evidenciação adequada de informações importantes para que os usuários possam avaliar a natureza e extensão dos riscos resultantes dos instrumentos financeiros derivativos que a entidade está exposta e como estes riscos são gerenciados. Este trabalho teve por objetivo mostrar se as empresas não financeiras estão adotando adequadamente as normas contábeis explicitadas pelos pronunciamentos técnicos do Comitê de Pronunciamento Contábil (CPC), com relação aos itens que dizem respeitos à evidenciação de operações com derivativos. Para isso foram consultadas as Notas Explicativas às Demonstrações Contábeis. A Comissão de Valores Mobiliários foi a fonte de consulta dos dados das demonstrações financeiras padronizadas. Como metodologia, foi elaborado um checklist com as principais normas referentes à evidenciação de operações com instrumentos financeiros derivativos, emitidas pelo CPC. As empresas da amostra foram as 98 empresas com as ações mais negociadas na BM&FBOVESPA no ano de 2010. Os principais resultados mostraram que as empresas estão, no geral, evidenciando adequadamente as operações com instrumentos financeiros, mesmo tendo à necessidade de adequar as divulgações financeiras já para o exercício de 2010 e sendo essas normas publicadas no final de 2009.

Esta dissertação faz um estudo sobre o jogo Equilíbrio, um jogo de regras, como um recurso que favorece o desenvolvimento cognitivo, tendo como base teórica a Psicologia Genética de Jean Piaget. A pesquisa foi realizada com seis jovens, com idades de 11 a 14 anos, estudantes do Ensino Fundamental II em escola pública e que frequentavam uma instituição filantrópica e de assistência social, no contraturno do período escolar, na região central da cidade de São Paulo. Foram realizadas 12 oficinas de jogos em local cedido pela própria instituição, em que foram apresentadas atividades diversas que envolviam o jogar propriamente dito e situações-problemas, que objetivavam promover a reflexão dos sujeitos sobre o jogo e o desenvolvimento de procedimentos e estratégias para um jogar bem. Na análise de dados foram consideradas as respostas dos sujeitos às situações-problema, e também as atividades empreendidas nas oficinas de jogos como um sistema metodológico, que permitiu a observação e a descrição de procedimentos utilizados ao jogar. Concluiu-se que este jogo contribui para o desenvolvimento cognitivo, e apontam-se as noções, os procedimentos e as atitudes que foram mobilizados pelo jogar / This dissertation presents a study about the Equilibrium game, which is a game of rules, as a resource which enhances the cognitive development, having as a theoretical basis Jean Piaget´s Genetic Psychology. This research was carried out with six youngsters aged 11 to 14, who were students in the Elementary Level II of the public education system, and who also attended a philanthropic and social assistance institution in the central area of the city of São Paulo when they were not in school. Twelve game workshops were held at a place provided by this institution, during which several activities involving playing the game itself and problem situations were presented, with the purpose of stimulating the subjects to reflect about the game, as well as to develop the procedures and strategies to play well. The subjects´ responses to the problem situations were considered when analysing the data collected, as well as the activities performed in the game workshops as a methodological system, which allowed us to observe and describe the procedures used while playing. The conclusion is that this game contributes to the cognitive development and points out to the ideas, procedures and atitudes mobilized to play

Neste trabalho, temos o objetivo de introduzir o Problema de Noether Clássico e sua versão não- comutativa introduzida por J. Alev e F. Dumas em [AD06]. Discutiremos os principais casos co- nhecidos nos quais os problemas têm solução positiva, observando um forte paralelo entre os casos comutativo e não-comutativo. Cobriremos os tópicos preliminares necessários para entendimento dos enunciados: álgebras de Weyl, anéis de operadores diferenciais, extensões de Ore, localização em domínios não-comutativos, e corpos de Weyl. No Capítulo 5 deste trabalho, o aluno apresenta duas contribuições originais, obtidas em colaboração com seu orientador V. Futorny e F. Eshmatov: o Teorema 5.5, que é um resultado folclórico sobre invariantes de ações livres de grupos finitos no anel de operadores diferenciais de variedades afins; e o Teorema 5.6, que até onde sabemos é iné- dito, sobre invariantes dos Corpos de Weyl sob a ação de grupos de pseudo-reflexão. Todo material algébrico preliminar para a demonstração destes dois teoremas é incluído no texto da dissertação: um básico de teoria de invariantes, vários resultados da teoria de grupos de pseudo-reflexão, alguns conceitos básicos de geometria algébrica e álgebra comutativa, e uma discussão detalhada do quo- ciente de variedades afins sob ação de grupos finitos. / In this work we aim to introduce the Classical Noether´s Problem, and its noncommutative version introduced by J. Alev and F. Dumas in [AD06]. We discuss the most well known cases of positive solution of these problems, pointing out a strong similarity between the cases of positive solution for the classical and noncommutative versions of the Problem. We cover the preliminary topics to understand the statement and solutions of these problems: Weyl algebras, differential operators rings, Ore extensions, noncommutative localization, and Weyl Skew-Fields. In the Chapter 5 of this dissertation, the student shows two original contributions, obtained in collaboration with his advisor V. Futorny and F. Eshmatov: Theorem 5.5, a result belonging to the folklore of the area of differential operators, describing its invariants under the free action of a finite group on an affine variety; and Theorem 5.6, about the invariants of the Weyl skew-fields under the action of pseudo-reflection groups. As far as we know, this result is new. All preliminary algebraic facts to prove these two facts are included in the body of this text. It includes some basic facts on invariant theory, many results about pseudo-reflection groups, some basic concepts of algebraic geometry and commutative algebra, and a detailed discussion of the quotient of an affine variety under the action of a finite group.

Neste trabalho será provado que as álgebras comutativas de potências associativas de dimensão n e nilíndice n-3, assim como, álgebras de dimensão 9 sobre C, são solúveis, estendendo os resultados conhecidos ao famoso Problema de Albert. Logo depois de estudar o problema de Albert, será dada uma descrição das tabelas de multiplicação para as álgebras comutativas de potências associativas de dimensão n maior do que 12 e nilíndice n-1 sobre um corpo de característica diferente de 2,3 e 5. / We will prove that commutative power-associative nilalgebras both of dimension n and nilindex n-3, or of dimension 9 over C, are solvable. This solve an specific case of famous Albert\'s problem. After that, we will make a description about multiplications of commutative power-associative nilalgebras of dimension n (greater or igual that 12) and nilindex n-1 over a field of characteristic diferent from 2,3 and 5.

Neste projeto, propomos estudar a chamada \"Teoria de Corpos de Classe,\" que oferece uma descrição simples das extensões abelianas de corpos locais e globais, bem como algumas de suas aplicações, como os teoremas de Kronecker-Weber e Scholz-Reichardt / In this work, we study the so called \"Class Field Theory\", which give us a simple description of the abelian extension of local and global elds. We also study some applications, like the Kronecker-Weber and Scholz-Reichardt theorems

O objetivo geral deste estudo é o de trabalhar o problema de corte bidimensional guilhotinado irrestrito e no-estagiado. Para tanto, foram revistas regras e heurísticas a serem utilizadas e foi sugerida uma combinação da regra de simetria com a heurística de geraçgo dos pontos de cortes possíveis. Uma abordagem em grafo-E/OU, com a utilizaçgo de uma estratégia híbrida, que combina as técnicas \"Hill-Climbing\" e \"Depth-First\" para a busca em grafo, foi utilizada para a resolução do problema. Finalmente, foram comparados os resultados obtidos com resultados apresentados na literatura. / The general purpose of this study is to deal with the non-staged unconstrained guilhotined cutting problem. For this, rules and heuristics in use are reviewed and a combination between simmetry rule and possible cutting points generation heuristics in suggested. An AND/OR-graph approach, with used a hibrid strategy that combines Hill-Climbing and Depth-First techniques, in order to serach the graph, was used to solve this problem. Finally, results from this study and results presented in the literature are compared.