Submitted by Fernanda Weschenfelder (fernanda.weschenfelder@uniceub.br) on 2018-05-28T18:08:30Z No. of bitstreams: 1 61250396.pdf: 1959393 bytes, checksum: 136cc2094fba55d4e15ebaf6413e5ab9 (MD5) / Approved for entry into archive by Fernanda Weschenfelder (fernanda.weschenfelder@uniceub.br) on 2018-05-28T18:08:35Z (GMT) No. of bitstreams: 1 61250396.pdf: 1959393 bytes, checksum: 136cc2094fba55d4e15ebaf6413e5ab9 (MD5) / Made available in DSpace on 2018-05-28T18:08:35Z (GMT). No. of bitstreams: 1 61250396.pdf: 1959393 bytes, checksum: 136cc2094fba55d4e15ebaf6413e5ab9 (MD5) Previous issue date: 2016 / O presente trabalho aborda a abrangência base de cálculo das contribuições previdenciárias, definindo o alcance da expressão “folha de salários e demais rendimentos do trabalho pagos ou creditados, a qualquer título, à pessoa física”, expressão esta adotada na Constituição e, consequentemente, conceitua “remuneração”, definida pelo legislador ordinário como base tributável destas contribuições, que são destinadas ao financiamento da seguridade social e, especificamente, ao custeio do regime geral da previdência social. Para tanto, o estudo tomou por base os preceitos abarcados pela Constituição e legislação regedora da matéria, bem como pela doutrina e jurisprudência específica aplicável, sendo certo que o estudo da doutrina especializada enveredará pelos ramos do Direito Tributário, Direito Previdenciário e Direito do Trabalho, vez que que para definir a abrangência do conceito de remuneração, faz-se necessária a apreciação de abalizada doutrina destes três ramos do Direito. O estudo culminará com a adoção do modelo denominado “regra matriz de incidência”, para que seja atingido o objetivo de formulação do conceito de remuneração, que permitirá definir a abrangência da base de cálculo das contribuições previdenciárias. Formulado o conceito de “remuneração” e, por via de consequência, identificadas as características necessárias para que determinada parcela paga ao trabalhador, pelo empregador, ou até mesmo por terceiros, possa ser considerada de natureza remuneratória e, consequentemente, sujeitas à incidência de contribuições previdenciárias, o estudo aprofundarse-á na abordagem das controvérsias que envolvem a adoção das mais variadas parcelas pagas pelos empregadores aos trabalhadores que lhes prestam serviços, concluindo-se, para cada uma destas parcelas, de per si, acerca de sua natureza jurídica, se remuneratória ou não remuneratória, ou seja, se encontram-se ou não abarcadas pelo conceito de remuneração para fins de incidência de contribuições previdenciárias, tais como os planos de participação de lucros ou resultados, as stock options, os hiring bonus, dentre outros.

Atualmente há uma quantidade considerável de informação sobre o comportamento da economia à disposição da autoridade monetária, cuja decisão é provavelmente baseada nesse grande conjunto de dados. Entretanto, grande parte das análises empíricas de política monetária é baseada em modelos de pequena escala, e o problema de variáveis omitidas pode ser relevante. Uma literatura mais recente mostrou que grandes conjuntos de séries macroeconômicas podem ser modelados usando fatores dinâmicos, que são considerados um resumo da informação contida nos dados. Neste trabalho combinamos os fatores extraídos de 178 séries de tempo com os modelos tradicionais de pequena escala para analisar a política monetária no Brasil. Os fatores estimados são usados como instrumentos em regras de Taylor forward looking e como regressores adicionais em VAR´s. A informação extraída de grandes conjuntos de dados mostrou-se bem útil na análise empírica da política monetária. / Nowadays there is a considerable amount of information on the behavior of the economy available and central bankers can be expected to base their decisions on this very large information set. Nevertheless, most of the empirical analysis of monetary policy has been based on small scale models, and omitted information can be a relevant problem. Recent time-series techniques have shown that large datasets can be modeled using dynamic factors, which are considered a summary of the information in the data. In this work we combine the factors extracted from 178 time series with more traditional small scale models to analyze monetary policy in Brazil. The estimated factors are used as instruments in forward looking Taylor rules and as additional regressors in VAR´s. The information extracted from large datasets turns out to be quite useful for the empirical analysis of monetary policy.

Orientador: Eduardo Sebastiani Ferreira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-12T03:21:28Z (GMT). No. of bitstreams: 1 Barbosa_EveraldoFernandes_M.pdf: 1794993 bytes, checksum: 01c4bbbd9b51e865b9cd4a4ab2c470e3 (MD5) Previous issue date: 2008 / Resumo: O trabalho apresenta uma biografia do marquês de L'Hôpital e de Johann Bernoulli e as discussões sobre o cálculo do limite de uma função racional cujo numerador e denominador tendem a zero (conhecida como Regra de L'Hôpital), publicado no livro Análise dos Infinitamente Pequenos por Linhas Curvas pelo Marquês de L'Hôpital. Apresentamos a demonstração de ambos, L'Hôpital e Bernoulli e a demonstração rigorosa de Cauchy. Discutimos as controvérsias com relação à autoria da regra e as reivindicações de Johann Bernoulli pela sua autoria, pois Bernoulli foi pago para produzir e desvendar os mistérios, que para L'Hôpital, existiam na matemática de Leibniz. Incluímos também a interpretação geométrica que sugere a veracidade da regra e outras variantes que dependem dela. Além disso, são apresentadas discussões com relação ao uso da História da Matemática como material pedagógico para ensino de Cálculo Diferencial e Integral I e a altercação feita nos livros brasileiros e estrangeiros de cálculo sobre a aplicação da regra. / Abstract: The work presents Marquis de L'Hôpital and Johann Bernoulli's biographies and discussions on the calculation of the limit of a rational function whose numerator and denominator tend to zero (known as L'Hôpital's Rule), published in the book Analyse des infiniment petits pour l'intelligence des lignes courbes by Marquis de L'Hôpital. We present the demonstration made by both, L'Hôpital and Bernoulli and rigorous demonstration of Cauchy. We discussed the controversy with respect to the authors of that rule and Johann Bernoulli's claims by its authorship, because Bernoulli was paid to produce and unravel the mysteries, which for L'Hôpital, there were in mathematics from Leibniz. We also included the geometric interpretation that suggests the veracity of the rule and other variants that depend on it. Moreover, discussions are presented in connection with the use of the History of Mathematics as teaching material for education of Differential and Integral Calculus and modification made in Brazilian and foreign calculus books about the rule's application. / Mestrado / Metodologia de Ensino Superior / Mestre em Matemática

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-05-09T13:04:23Z No. of bitstreams: 1 ricardoguimaraesdealmeida.pdf: 1238810 bytes, checksum: 7406c5368a23ac5eb633c275c1427013 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-06-08T14:42:44Z (GMT) No. of bitstreams: 1 ricardoguimaraesdealmeida.pdf: 1238810 bytes, checksum: 7406c5368a23ac5eb633c275c1427013 (MD5) / Made available in DSpace on 2016-06-08T14:42:44Z (GMT). No. of bitstreams: 1 ricardoguimaraesdealmeida.pdf: 1238810 bytes, checksum: 7406c5368a23ac5eb633c275c1427013 (MD5) Previous issue date: 2015-08-15 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este estudo tem como objetivo descrever os conceitos de razão e proporção através de situações que estão presentes no cotidiano popular, buscando estabelecer relações da vida prática do leitor com a matemática ensinada nas escolas por análise e resolução de problemas. Os modelos ora apresentados podem ser utilizados por professores e aplicados em salas de aula do ensino fundamental, sendo úteis àqueles que desejam compreender esses conceitos para aplicá-los em situações matemáticas que possam ser resolvidas através do uso dessas importantes ferramentas. Foi desenvolvido um estudo detalhado, aplicado e diversificado das razões, com a finalidade de garantir ao leitor fundamentos sólidos para a compreensão e resolução dos problemas de proporções, conhecidos por Regra de Três e Porcentagem, através de métodos que utilizam análises lógicas de fácil compreensão, inclusive para os não simpatizantes da matemática / This study has as its objective to describe the concepts of ration and proportion through everyday situations, seeking to establish matches in the reader’s practical life with mathematics taught in schools by analysis and problem solving. The presented models can be used by teachers and applied in classes of elementary school, and also may be useful to those who wish to comprehend the concepts in order to apply them in mathematical situations which can be solved by the use of these important means. We aimed to develop a detailed study, applied and diversified, of the ratios with the objective of guaranteeing to the reader solid fundaments for its comprehension and to solve proportion problems, known as The Rule of Three and Percentage, through methods which use logical analysis of easy comprehension, even for those who are not familiar with mathematics.

Made available in DSpace on 2014-06-12T18:08:16Z (GMT). No. of bitstreams: 2 arquivo8102_1.pdf: 1043715 bytes, checksum: 81de9634592949f97044f8febeb58727 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / A injeção de dióxido de carbono (CO2) tem sido utilizada como método secundário para extração de petróleo, como, por exemplo, na exploração de campos maduros. O CO2 injetado solubiliza-se no óleo provocando diminuição da sua viscosidade, aumento do volume e redução da tensão interfacial na superfície de contato com a água, facilitando assim seu escoamento no meio poroso e a sua retirada de dentro do reservatório. A presença de água de formação ou injeção no reservatório aumenta significativamente a complexidade do sistema do ponto de vista do equilíbrio de fases. Para se efetuar essas predições complexas, especialmente com a presença da água, são necessários modelos e propriedades termodinâmicas de boa qualidade. Este trabalho tem por objetivo o estudo do equilíbrio de fases do sistema CO2/hidrocarboneto/água a altas pressões. São apresentados os resultados da modelagem do equilíbrio líquido-líquido-vapor a altas pressões de sistemas do tipo CO2/hidrocarboneto/água em diferentes pressões. Foi empregada a equação de estado de Peng-Robinson com as regras de mistura de Wong-Sandler e o modelo NRTL e UNIQUAC de energia livre de Gibbs de excesso. Os parâmetros do modelo foram ajustados aos dados de equilíbrio de fases para tolueno e hexadecano. Os dados experimentais puderam ser correlacionados satisfatoriamente, o que mostra a boa representatividade do modelo

[pt] A dissertação tem como objetivo principal demonstrar, através de estudos de caso, o impacto distorcivo das atuais regras tributárias vigentes no Brasil sobre o ideal teórico- logístico de localização. São estudadas, neste trabalho, as principais regras tributárias brasileiras. Posteriormente é apresentado um conjunto de ferramentas teóricas, difundidas pela literatura acadêmica, que permitem analisar, sob o ponto de vista logístico, o processo decisório das indústrias no que se refere ao melhor posicionamento de suas unidades produtivas e centros de distribuição. Finalizando, são apresentados casos de empresas que têm vivenciado decisões sobre localização de fábricas e pontos de armazenagem, em cujo processo decisório verifica-se forte influência do impacto da carga tributária local. / [en] The main objective of this dissertation is to demonstrate, based on the study of cases, the distorted impact of the present tributary rules of taxes in Brazil over the Logistic Theory at Location Decisions. Included in this work are the main rules of Brazilian Federal and State tributary taxes. A study of the logistic theories available among the academic literary references supports the analyses of how do the local industries find the best location for their production and distribution centers, being the study developed over the analyses of a few real cases in order to demonstrate how the decision process on logistic location are strongly influenced by the impact of the tributary rules.

[pt] Este trabalho desenvolve um solucionador iterativo baseado no método Resíduo Mínimo Generalizado (GMRES) para solucionar o subproblema linear do problema de fluxo de carga, com destaque para cenários de difícil convergência. O solucionador agrega uma estratégia de reordenamento para minimização do número total de novos elementos não-nulos e um pré-condicionador baseado no algoritmo de Doolittle, com regra de preenchimento de elementos não-nulos baseada no erro resultante. O solucionador foi implementado em um programa computacional de fluxo de carga, a fim de se verificar sua robustez e eficiência em diversos sistemas-teste e diferentes condições de operação. Também é proposto um método para o ajuste dos parâmetros dos solucionadores iterativos, que permite identificar intervalos de valores permissíveis para cada um dos parâmetros, identificando os mais adequados, visando garantir a robustez e melhorar o desempenho do solucionador. / [en] This work develops an iterative solver based on Generalized Minimal Residual method (GMRES) to solve the load flow linear subproblem, especially in scenarios of difficult convergence. The solver combines a reordering strategy to minimise the total number of fill-in terms and a preconditioning strategy based on the Doolittle algorithm with a fill-in dropping strategy based on the resulting error. The solver was implemented into a computational load flow program in order to verify its robustness and efficiency in several test-systems and different operating conditions. It is also proposed a method for adjusting the iterative solver parameters, the method is able to identify intervals of permissible values for each parameter, identifying the most appropriate in order to ensure the robustness and improve the solver performance.

[pt] O uso de editores de diagramas tem se mostrado muito útil para a elaboração de soluções de design na área de Interação Humano-Computador. Eles facilitam o uso da linguagem e o controle sobre os seus elementos, evitando que o usuário utilize itens lexicais que não pertençam ao vocabulário da linguagem. Esses elementos estão definidos em um metamodelo, que basicamente consiste em um conjunto de conceitos dentro de um determinado domínio. Com isso, o usuário ganha agilidade e confiabilidade no processo de criação. Porém, muitos editores não garantem que a solução concebida obedeça à sintaxe da linguagem. Para isso, torna-se necessário um editor que, além de ter controle sobre os símbolos da linguagem, forneça também apoio gramatical para o uso de modelos, de forma não apenas gráfica, mas também fazendo uso das regras de sintaxe de cada metamodelo. Com esse conjunto de regras que define as combinações válidas dos elementos da linguagem, o usuário pode ser alertado sobre possíveis infrações que estejam acontecendo durante a elaboração da solução. As regras descrevem a sintaxe da linguagem através de uma gramática. Analisar sintaticamente diagramas significa tentar encontrar uma sequência de aplicações de regras que derivam de uma gramática ou de alguma representação dela. Levando em consideração essa abordagem, este trabalho apresenta um estudo sobre editores de diagramas dirigidos por metamodelos e uma ferramenta que possibilita ao usuário, a partir da definição de um metamodelo, acoplá-lo a um editor de diagramas genérico para linguagens visuais, em que se possa controlar tanto o vocabulário quanto a gramática dos diagramas criados. Desta forma, o objetivo da atual pesquisa é propor uma ferramenta que englobe estas soluções e que seja focada nas linguagens visuais comuns na área de Interação Humano-Computador como MoLIC, CTT e Statecharts. / [en] The use of diagram editors has been very useful for creating design solutions in the area of Human-Computer Interaction. They facilitate the use of modeling languages and provide control over the elements of the solution space, preventing the user from using an invalid lexical item of the chosen language. These elements are defined in a metamodel, which basically consists of a set of concepts with-in a given domain. As a result, users gain speed and reliability in the process of creation. However, many editors do not guarantee that designed solution meets the language syntax. For this, we need an editor that, in addition to having control over the language symbols, also provides support for the use of models, going beyond graphical editing and also making use of the syntax rules defined in each metamodel. With this set of rules that define the form of language, the user may be warned of possible rule violations while building the solution. The rules describe the syntax of the language through its grammar. To parse a diagram means to try to find a sequence of applications of rules that derive from a grammar or some representation of it. Considering this approach, this dissertation presents a study on diagram editors, and a metamodel-driven tool that allows the user to, by defining a metamodel, make use of a generic diagram editor for visual languages that can control the vocabulary and grammar of the created diagrams. Thus, the goal of current research is to propose a tool that encompasses these solutions and is focused on visual languages common in the area of Human- Computer Interaction, such as MoLIC, CTT and Statecharts.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2015-12-10T10:32:17Z No. of bitstreams: 1 ricardoguimaraesdealmeida.pdf: 1238810 bytes, checksum: 7406c5368a23ac5eb633c275c1427013 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2015-12-10T14:04:32Z (GMT) No. of bitstreams: 1 ricardoguimaraesdealmeida.pdf: 1238810 bytes, checksum: 7406c5368a23ac5eb633c275c1427013 (MD5) / Made available in DSpace on 2015-12-10T14:04:32Z (GMT). No. of bitstreams: 1 ricardoguimaraesdealmeida.pdf: 1238810 bytes, checksum: 7406c5368a23ac5eb633c275c1427013 (MD5) Previous issue date: 2015-08-15 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este estudo tem como objetivo descrever os conceitos de razão e proporção através de situações que estão presentes no cotidiano popular, buscando estabelecer relações da vida prática do leitor com a matemática ensinada nas escolas por análise e resolução de problemas. Os modelos ora apresentados podem ser utilizados por professores e aplicados em salas de aula do ensino fundamental, sendo úteis àqueles que desejam compreender esses conceitos para aplicá-los em situações matemáticas que possam ser resolvidas através do uso dessas importantes ferramentas. Foi desenvolvido um estudo detalhado, aplicado e diversificado das razões, com a finalidade de garantir ao leitor fundamentos sólidos para a compreensão e resolução dos problemas de proporções, conhecidos por Regra de Três e Porcentagem, através de métodos que utilizam análises lógicas de fácil compreensão, inclusive para os não simpatizantes da matemática. / This study has as its objective to describe the concepts of ration and proportion through everyday situations, seeking to establish matches in the reader’s practical life with mathematics taught in schools by analysis and problem solving. The presented models can be used by teachers and applied in classes of elementary school, and also may be useful to those who wish to comprehend the concepts in order to apply them in mathematical situations which can be solved by the use of these important means. We aimed to develop a detailed study, applied and diversified, of the ratios with the objective of guaranteeing to the reader solid fundaments for its comprehension and to solve proportion problems, known as The Rule of Three and Percentage, through methods which use logical analysis of easy comprehension, even for those who are not familiar with mathematics.

O objetivo desta pesquisa é apresentar o modelo racional jurídico elaborado por Hart e o modelo racional jurídico elaborado por Dworkin, assim como a crítica realizada por Dworkin em face do Conceito de Direito oferecido por Hart. O positivista, Herbert Hart, propõe que o direito é formado por um sistema de regras primárias e regras secundárias, sendo que uma regra de reconhecimento é responsável por identificar quais regras estão ou não incluídas em tal sistema. Caso seja apresentado um problema que não é resolvido por uma regra reconhecida pelo critério, deverá o julgador apelar para a discricionariedade. Dworkin, em um primeiro momento, criticará o conceito de Hart, alegando que o seu critério de demarcação entre o que é direito e o que não é direito é insatisfatório, por deixar de reconhecer vários elementos como jurídicos, uma vez que a regra de reconhecimento, sendo um teste de pedigree, não à capaz de captar princípios de direito não legislados e direitos e deveres controversos. Ademais, há um erro na teoria positivista de Hart, ao afirmar que os casos não claramente resolvidos por uma regra serão resolvidos a partir da arbitrariedade da autoridade estatal. Posteriormente, Dworkin oferecerá um modelo de direito que dê conta da realidade jurídica, em seu entendimento. Um modelo em que o jurista, a partir do equilíbrio reflexivo e do axioma da equidade poderá deduzir teorias possíveis para responder problemas do direito, identificando, dentre estas teorias, qual é a melhor resposta, sendo portanto a resposta exigível para a solução da lide concreta. / The objective of this research is to present the rational legal model presented by Hart and rational legal model presented by Dworkin as well as criticism made by Dworkin in the face of the Concept of Law offered by Hart. The positivist, Herbert Hart, proposes that the right is formed by a system of primary rules and secondary rules, and a rule of recognition is responsible for identifying what rules are or are not included in this system. If presented with a problem that is not resolved by a rule recognized by the criterion, the judge should resort to discretion. Dworkin, at first, criticize the concept of Hart, claiming that his criterion of demarcation between what is right and what is not right is unsatisfactory, for failing to recognize various elements such as legal, as a rule of recognition , being a test of pedigree, not able to capture the principles of law and not legislated rights and duties controversial. Furthermore, there is an error in the positivist theory of Hart, asserting that the cases do not clearly resolved by a rule will be resolved from the arbitrariness of state authority. Later, Dworkin offer a model law that embraces the legal reality in his mind. A model in which the lawyer from the reflective equilibrium and the axiom of justice may deduct possible theories to address problems of law, identifying, among these theories, what is the best answer, the answer is therefore required for the solution of the dispute concrete.