Submitted by LEANDRO LUIS PAURO null (leapauro@hotmail.com) on 2017-01-04T17:24:14Z No. of bitstreams: 1 DissertaçãoLeandroLuisPauro.pdf: 2663695 bytes, checksum: 2f960384d56a02d82cba4527cfb3d32c (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2017-01-06T13:52:34Z (GMT) No. of bitstreams: 1 pauro_ll_me_sjrp.pdf: 2663695 bytes, checksum: 2f960384d56a02d82cba4527cfb3d32c (MD5) / Made available in DSpace on 2017-01-06T13:52:34Z (GMT). No. of bitstreams: 1 pauro_ll_me_sjrp.pdf: 2663695 bytes, checksum: 2f960384d56a02d82cba4527cfb3d32c (MD5) Previous issue date: 2016-12-06 / Cada vez mais a Computação em Nuvem é incorporada pelas empresas como forma econômica e viável de se disponibilizar recursos e serviços. No entanto, a confiabilidade operacional e a disponibilidade de recurso ainda causam preocupação em virtude de ocorrer a inatividade de algum serviço fornecido pela nuvem, o que pode gerar a perda de receitas e desconfiança do cliente. Assim, é crucial que se disponibilize ferramentas a este ambiente para realizar auditoria e monitoramento, a fim de prover a prevenção e a eliminação de inconsistências que possam provocar a indisponibilidade do serviço oferecido. Este trabalho apresenta a ferramenta de Auditoria e Monitoramento em Nuvem Orquestrador Apache CloudStack AMFC, que através do sincronismo das informações do estado atual com dados persistentes do orquestrador, realiza a eliminação de dados sem utilização e inconsistências, diminui o alertas de falso positivo e falso negativo e também proporciona menor custo para armazenamento de dados persistentes da nuvem. Sua eficácia foi evidenciada através da realização de validação manual comparada com o resultado obtido da execução da ferramenta a partir de casos de uso gerados no ambiente de teste controlado. Os resultados obtidos após a realização de 1.320 rotinas administrativas para instância de máquina virtual mostraram a identificação e eliminação das inconsistências na base de dados persistente, a redução do custo de armazenamento e consequentemente, uma base de dados íntegra, que oferece ao administrador da nuvem uma tomada de decisão com maior precisão para averiguar um problema que esteja ocorrendo no ambiente. / Cloud Computing has been increasingly incorporated by companies as an economic and feasible mean to provide resources and services. However, operational reliability and resource availability are still cause for concern since there's the possibility of a cloud service going down, which can lead to loss of revenue and customer distrust. Thus, it is crucial to provide tools for performing auditing and monitoring in order to prevent and eliminate inconsistencies that may cause the unavailability of the service offered. This paper presents the Cloud Orchestrator Auditing and Monitoring Tool Apache CloudStack AMFC, which by synching information current status with the orchestrator persistent data deletes any unused data and inconsistencies, decreases the false positive and negative alerts and also provides lower cost for cloud persistent data storage. Its effectiveness has been demonstrated through manual validation compared to results obtained from running the tool in a controlled test environment. The results obtained after performing 1.320 administrative tasks for a virtual machine were the identification and elimination of inconsistencies in the persistent database, reducing storage costs and, consequently, resulting in an intact database. This enables the cloud administrator to make more accurate decisions when investigating a possible malfunction in the environment.

Esta dissertação propõe investigar o fenômeno das toxicomanias como conseqüência do declínio da imago paterna na cultura atual. O estudo foi iniciado pelo cotejamento do tema na teoria de Sigmund Freud e pela interpretação de que a toxicomania é uma resposta à satisfação sexual recalcada. A pesquisa explorou ainda esse tema no ensino escrito e falado de Jacques Lacan. O uso abusivo de drogas promove um gozo auto-erótico que busca liberar o toxicômano de ter que lidar com os impasses da castração. Por tal motivo foi explorada a queda da operatividade do significante Nome-do-Pai na atualidade. Se o significante autentica o sujeito do inconsciente e opera como regulador de gozo, a ascensão do objeto a ao zênite social provoca efeitos decisivos sobre o sujeito: a inconsistência do Outro, a predominância do discurso da ciência e do capitalista, e a proliferação dos novos sintomas. Nesse sentido, a segunda clínica de Lacan, a chamada clínica borromeana, foi utilizada para interpretar os modos de gozo na contemporaneidade. O atendimento de um paciente psicótico que faz uso de drogas mostrou a importância de trabalhar o diagnóstico diferencial para orientar a direção do tratamento. / This dissertation proposes to investigate the chemical dependency phenomenon as a consequence of the paternal imago decline in current culture. The study begun by collating the theme in Sigmund Freud theory and by the interpretation that chemical dependency is a response to repressed sexual satisfaction. The research also explored this theme in Jacques Lacans written and spoken teaching. The abusive use of drugs promotes a self-erotic enjoyment that searches to release the chemical dependent from dealing with the castration impasses. Therefore, the operative decrease of the significant Name-of-Father in nowadays was explored. If the significant authenticates the unconscious subject and operates as a regulator of enjoyment, the rise of the a object to the social zenith causes a decisive effect on the subject: the inconsistency of the Other, the predominance of the science and capitalist discourse and the proliferation of new symptoms. Accordingly, the second clinic of Lacan, called borromean clinic, was used to interpret the ways of enjoyment in contemporary period. The surveillance of a psychotic patient who uses drugs showed the importance of working on the differentials diagnosis in order to treatment direction.

Planos de previdência que dependem de uma postura ativa dos indivíduos para solicitar a adesão acabam tendo uma baixa participação (Benartzi & Thaler, 2007). Por outro lado, resultados mostram que os indivíduos decidem poupar a partir de determinadas \"regras de bolso\", tais como a escolha de um percentual máximo de contribuição que receba uma contrapartida do empregador (se a percentagem máxima que receberá contrapartida do patrocinador de um plano for 8%, então o indivíduo decidirá contribuir com esta percentagem). Assim, estratégias podem ser inseridas nos planos de aposentadoria, de forma que determinados comportamentos sejam \"incentivados\" e outros sejam \"coibidos\", fundamentalmente, em situações manifestas de inconsistência temporal por parte dos indivíduos. Esta pesquisa objetivou identificar, a partir de evidências empíricas, quais arranjos de planos previdenciários do tipo \'contribuição definida\' minimizam o efeito da miopia intertemporal sobre as decisões de poupança para a aposentadoria. Os fundamentos teóricos que nortearam a presente tese foram a Racionalidade Limitada, proposta por Simon (1979), a Teoria dos Prospectos, e as hipóteses do ciclo de vida comportamental (Behavioral Life-Cicle hypothesis), desenvolvidas por Benartzi e Thaler (2007). Utilizou-se um levantamento para identificar as características demográficas dos participantes e, paralelamente, um experimento com base em cenários para identificar as escolhas relacionadas aos planos de previdência complementar do tipo \'contribuição definida\'. O levantamento e o experimento foram formulados com o auxílio da plataforma online Questionpro© e disponibilizados por meio da internet aos participantes. Foram definidos cenários para o grupo de controle (sem manipulação de variáveis) e para dois grupos experimentais (com manipulação de variáveis), para identificar de que forma o desenho dos planos de previdência afeta as decisões de alocação de recursos a eles, e de que forma tais decisões se relacionam com as variáveis demográficas dos segurados. Os testes de hipóteses foram realizados por meio do teste não paramétrico de Wilcoxon para diferença de médias, e por meio da estimação de regressão linear por mínimos quadrados ordinários. Os achados sugerem que os respondentes parecem ter adotado um comportamento mais impaciente, quando o intervalo é deslocado para o futuro, do que quando se compara uma recompensa imediata e uma recompensa tardia em um mesmo intervalo de espera, contrariando a literatura sobre desconto hiperbólico, inconsistência temporal e comportamento impaciente. No que se refere ao efeito dos arranjos institucionais sobre as decisões de poupança para a aposentadoria, observou-se que o desenho deum plano de previdência em que haja inscrição automática compulsória, com a presença de um plano livre de risco, faz com que haja uma maior permanência dos indivíduos neste tipo de plano. Este resultado, aliado às estatísticas descritivas que apontam uma maior aposentadoria nos planos com inscrição automática compulsória e contrapartida do patrocinador (experimentador), em comparação com o plano sem tais características, nos leva a afirmar que tais desenhos permitem uma maior poupança para a aposentadoria por parte dos segurados. Portanto, a inserção de desenhos desta natureza em eventuais políticas públicas pode servir de \"empurrão\" para que as pessoas tomem decisões que vão de encontro à inconsistência temporal. / Pension plans that rely on an active attitude of individuals to apply for membership end up having a low participation (Benartzi & Thaler, 2007). On the other hand, there are findings that individuals decide to save using certain \"rules of thumb\", such as the choice of a maximum contribution percentage receiving a counterpart of the employer (if the maximum percentage that will receive compensation from the sponsor of a plan is 8%, then the individual will decide to contribute to this figure). Thus, strategies can be incorporated into retirement plans in order to contribute to certain behaviors are \"encouraged\" and others are \"restrained\" fundamentally manifest in situations of time inconsistency by individuals. This research aimed to identify, from empirical evidence, which arrangements of pension plans, type defined contribution, minimize the effect of intertemporal myopia on saving decisions for retirement. The theoretical foundations that guided this thesis were Bounded Rationality, proposed by Simon (1979), the Prospect Theory and Behavioral Life-Cicle hypothesis, developed by Benartzi and Thaler (2007). We used a survey to identify the demographic characteristics of the participants and, in parallel, an experiment based on scenarios to identify the choices related to the pension plans, type defined contribution. The survey and the experiment were formulated with the help of the online platform QuestionPro© and made available through the internet to participants. Scenarios were defined for the control group (without manipulation of variables) and two experimental groups (with manipulation of variables) to identify how the design of pension plans affect the resource allocation decisions to plans and how they relate to the demographic variables of the insured. Hypothesis tests were performed using the nonparametric Wilcoxon test for difference of means and through linear regression estimation by OLS. The findings suggest that respondents seem to have adopted a more impatient behavior when the range is shifted to the future than when comparing immediate reward and a delayed reward in a equivalent delay interval, contrary to the literature on hyperbolic discount, time inconsistency and impatient behavior. With regard to the effect of institutional arrangements on savings decisions for retirement it is noted that the pension plan design where there is compulsory automatic enrollment with the presence of a risk-free plan may improve permanence of individuals this type of plan. This result, combined with descriptive statistics that show a higher retirement plans with mandatory automatic enrollment and return the sponsor (experimenter), as compared to the plan without such features, allow us to state that such designs allow greater savings for retirement. Therefore, the inclusion of this type of design in public policy can serve as a \"nudge\" for people to make decisions that go against the time inconsistency.

Submitted by BKAB Setor Proc. Técnicos FGV-SP (biblioteca.sp.cat@fgv.br) on 2013-02-22T14:31:59Z No. of bitstreams: 1 1200700997.pdf: 919551 bytes, checksum: 074039949c4cd9a703be31d6e609ecc7 (MD5) / This article analyzes the connection between the public debt market and the monetary policy in Brazil. Based on a Vector Auto-Regressive model, two proxies of inflationary risk were used to show that positive shocks on inflation risk increases not only the future interest rates of Swap Pré x DI, but also the inflation market expectations. After that, based on Blanchard e Missale (1994) dynamic inconsistency model and using the Johansen methodology, we obtained that an increase in the futures interest rates decreases the maturity of the public debt, in the long termo These results permit us to take two conclusions: the inflationary risk 1) makes more difficult for the govemment to issue nominal debt in the market, generating a shorter structure of debt and 2) increases the cost of monetary policy. / Esta dissertação analisa a conexão existente entre o mercado de dívida pública e a política monetária no Brasil. Com base em um Vetor Auto-Regressivo (VAR), foram utilizadas duas proxies alternativas de risco inflacionário para mostrar que choques positivos no risco inflacionário elevam tanto as expectativas de inflação do mercado quanto os juros futuros do Swap Pré x DI. Em seguida, com base em modelo de inconsistência dinâmica de Blanchard e Missale (1994) e utilizando a metodologia de Johansen, constatou-se que um aumento nos juros futuros diminui a maturidade da dívida pública, no longo prazo. Os resultados levam a duas conclusões: o risco inflacionário 1) dificulta a colocação de títulos nominais (não-indexados) no mercado pelo governo, gerando um perfil de dívida menos longo do que o ideal e 2) torna a política monetária mais custosa.

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.