Uma importante etapa do desenvolvimento de software é o de levantamento e análise dos requisitos. Porém, durante esta etapa podem ocorrer inconsistências que prejudicarão o andamento do projeto. Além disso, após finalizada a especificação, o cliente pode querer acrescentar ou modificar as funcionalidades do sistema. Tudo isso requer que a especificação do software seja revista, mas isso é altamente custoso, tornando necessário um processo automatizado para simplificar tal revisão. Para lidar com este problema, uma das abordagens utilizadas tem sido o processo de Revisão de Crenças, juntamente com o processo de Verificação de Modelos. O objetivo deste trabalho é utilizar o processo de revisão de crenças e verificação de modelos para avaliar especificações de um projeto procurando inconsistências, utilizando o fragmento universal da Computation Tree Logic (CTL), conhecido como ACTL, e revisá-las gerando sugestões de mudanças na especificação. A nossa proposta é traduzir para lógica clássica tanto o modelo (especificação do software) quanto a propriedade a ser revisada, e então aplicar um resolvedor SAT para verificar a satisfazibilidade da fórmula gerada. A partir da resposta do resolvedor SAT, iremos gerar sugestões válidas de mudanças para a especificação, fazendo o processo de tradução reversa da lógica clássica para o modelo original. / The objective of this work is to join the proccess of belief revision and model checking to evaluate project specifications looking for inconsistences, using the universal fragment of Computation Tree Logic (CTL), known as ACTL, and revise them generating changes suggestions in the specification. Our approach will translate the model (software specification) and the property to be revised to classical logic. Then we will apply a SAT solver to verify the generated formulas satsifability. From the SAT solver answer, we will create changes valid suggestions to the specification making the translation back from classical logic to the original model. To generate the changes suggestions, we proposed a framework based on heuristics where different approaches and decisions can be implemented, aiming a better application for each project scope. We implemented a basic heuristic as an example and used it to test the implementation to analise the proposed algorithm

Provamos o Teorema do Limite Central para transformações expansoras por pedaços em um intervalo e observáveis com variação limitada. Utilizamos a abordagem desenvolvida por R. Rousseau-Egele, como apresentada por A. Broise. O método da demonstração se baseia no estudo de pertubações do operador de transferência de Ruelle-Perron-Frobenius. Uma contribuição original é dada no último capítulo, onde provamos que, para transformações markovianas expansoras, todos os observáveis não constantes, contínuos e com variação limitada não são infinitamente cohomólogos à zero, generalizando um resultado de Bamón, Rivera-Letelier, Urzúa and Kiwi para observáveis lipschitzianos e transformações \'z POT. n\' . A demonstração se baseia na teoria dos operadores de Ruelle-Perron-Frobenius desenvolvida nos capítulos anteriores / We prove the Central Limit Theorem for piecewise expanding interval transformations and observables with bounded variation, using the approach of J.Rousseau-Egele as described by A. Broise. This approach makes use of pertubations of the so-called Ruelle-Perron-Frobenius transfer operator. An original contribution is given in the last chapter, where we prove that for Markovian expanding interval maps all observables which are non constant, continuous and have bounded variation are not infinitely cohomologous with zero, generalizing a result by Bamón, Rivera-Letelier, Urzúa and Kiwi for Lipschitzian observables and the transformations \'z POT. n\' . Our demosntration uses the theory of Ruelle-Perron-Frobenius operators developed in the previos chapters

A questão se a informação contábil é relevante para o mercado de capitais tem sido investigada, predominantemente, por meio dos pressupostos da Hipótese de Eficiência de Mercado (HEM). Para a HEM, toda informação relevante é refletida nos preços das ações de forma integral e instantânea, a partir da consideração de que as informações são analisadas e interpretadas por indivíduos plenamente racionais. Contudo, a literatura relacionada às áreas de Finanças Comportamentais e de Processos Decisórios tem indicado que os indivíduos, mesmo em condições de interação e de competição, como verificado nos mercados financeiros, são melhor caracterizados como detentores de racionalidade limitada ao tomar decisões. Nesse sentido, o objetivo deste estudo foi examinar a relevância da informação contábil para o mercado de capitais brasileiro sob o pressuposto da racionalidade limitada dos investidores. Para tanto, foram desenvolvidas escalas de complexidade específicas para as ações ordinárias e preferenciais. As escalas foram utilizadas como parâmetros para testar se níveis distintos de incertezas na estimação dos fluxos de caixa futuros estão associados à utilidade da informação contábil para o mercado de capitais. Além disso, no estudo, segregou-se a tomada de decisão nas dimensões dos ganhos e das perdas, tendo como objetivo identificar a relevância da informação contábil, segundo essa classificação. A amostra foi composta por informações de 232 empresas listadas na Bolsa de Valores, Mercadorias e Futuros de São Paulo (BM&FBOVESPA) no período de 2000 a 2015. Os resultados encontrados apontaram evidências de uma associação inversa entre os níveis de complexidade na avaliação das empresas e a relevância da informação contábil para os investidores. Foi identificado, também, que os preços das ações tendem a incorporar as informações contábeis relevantes de forma apenas gradual em condições de maiores níveis de incertezas. Esses resultados mostraram-se robustos para a dimensão dos ganhos. Além disso, os resultados obtidos sugerem que as normas contábeis do International Financial Reporting Standard (IFRS) reduziram os níveis de complexidade na avaliação das ações, o que resultou em um aumento da relevância da informação contábil para os investidores. De forma geral, as evidências obtidas corroboram a ideia de que os limites cognitivos dos indivíduos em processar informações pode ser um fator relacionado à magnitude com que os preços das ações refletem as informações contábeis. / The question whether accounting information is relevant to the capital market has been investigated predominantly through the assumptions of the Efficient Market Hypothesis (EMH). For EMH, all relevant information is reflected in stock prices in an integral and instantaneous way, considering that information is analyzed and interpreted by fully rational individuals. However, the literature related to the areas of Behavioral Finance and Decision Making has indicated that individuals, even in conditions of interaction and competition, as verified in financial markets, are better characterized as having limited rationality when making decisions. In this sense, the objective of this study was to examine the relevance of the accounting information to the Brazilian capital market, under the assumption of investors\' bounded rationality. Therefore, specific complexity scales were developed for common and preferred stocks. The scales were used as parameters to test if different levels of uncertainties in the estimation of future cash flows are associated with the usefulness of the accounting information for the capital market. In addition, the study segregated the decision making in gains and losses dimensions, aiming to identify the relevance of accounting information according to this classification. The sample consisted of information of 232 companies listed on the Brazilian Securities, Commodities and Futures Exchange (BM&FBOVESPA), from 2000 to 2015. The findings brought evidence of an inverse association between levels of complexity in the evaluation of the stocks and the relevance of accounting information to investors. It was identified that stock prices tend to incorporate the relevant accounting information only gradually in conditions of higher levels of uncertainties. These results were robust for the gain dimension. Furthermore, the results suggest that the accounting standards of International Financial Reporting Standard (IFRS) reduced complexity levels in stock valuation, which resulted in an increase in the relevance of accounting information for investors. In general, the evidence obtained corroborates with the idea that cognitive limits of individuals in processing information may be a factor related to the magnitude in which stock prices reflect the accounting information.

O presente trabalho versa sobre a possibilidade de inserção de cláusula compromissória em contrato de sociedade limitada não institucional, estabelecendo uma análise interdisciplinar entre o direito societário e as normas atinentes à arbitragem no ordenamento jurídico brasileiro. Revisitam-se as principais referências nacionais e estrangeiras acerca da arbitragem societária, para que seja proposta uma delimitação específica do campo de incidência da jurisdição não-estatal em conflitos oriundos de sociedades limitadas que não prevejam a aplicação supletiva da lei das sociedades anônimas diante de omissão no Código Civil e nas disposições contratuais. A dissertação se estrutura em três segmentos centrais. Primeiramente, apontam-se os conceitos teóricos relativos à cláusula compromissória e ao contrato de sociedade, visando identificar o fundamento da compatibilidade entre os dois institutos. A seguir, delimitam-se os elementos subjetivos da arbitragem societária, isto é, vislumbram-se os sujeitos de direito que podem estar subordinados a este procedimento. Após, são diferenciadas as noções de ordem pública e normas imperativas, relacionando-as com o objeto de estudo. Por sua vez, o terceiro eixo primordial trata dos elementos objetivos da arbitragem na seara societária, ou seja, discute-se o que pode ser arbitrado, determinando os limites de atuação do árbitro em relação a temas complexos como direito de voto, deliberações sociais, responsabilidade dos administradores, exclusão de sócios e dissolução da sociedade. Finalmente, são apresentadas as reflexões pessoais do autor, no sentido de aferir os benefícios e desvantagens da utilização do método alternativo de resolução de controvérsias.

Aplicações de processos estocásticos a dinâmicas sociais constituem tema de grande relevância nos últimos anos. Especialmente desafiadores são os modelos de opinião com confiança limitada dada a sua falta de linearidade. Com isso, simulações e resultados numéricos possuem elevada importância. Neste trabalho, focamos em dois dos principais modelos de confiança limitada, nomeadamente os modelos de Hegselmann-Krause e de Deffuant-Weisbuch. Em ambos os casos, e necessário que a diferença de opiniões entre dois dados agentes seja menor que o limite de confiança, parâmetro do modelo. Porém, enquanto no modelo de Hegselmann-Krause a interação a cada etapa se dá entre todos os agentes vizinhos entre si, no modelo de Deffuant-Weisbuch a interação ocorre entre apenas dois agentes por vez. Apresentamos aqui uma revisão da literatura associada ao tema, incluindo resultados numéricos e analíticos sobre o comportamento de ambos os modelos, principalmente no tocante a convergência e condições em que se estabelecem o consenso ou a fragmentação de opiniões. / Applications of stochastic processes to social dynamics constitute a prominent research field of the last years. Especially challenging are opinion models with bounded confidence, given their lack of linearity. Thus, simulations and numerical results are highly important. In this work, we focus on two of the main bounded confidence models, namely Hegelsemann-Krause and Deffuant-Weisbuch models. In both cases, it is necessary that the difference between two agents\' opinions is less than the confidence bound, a parameter of the model. However, while at the Hegselmann-Krause model the interaction at each step occurs among all neighboring agents, at the Deffuant-Weisbuch model the interaction happens between only two agents each time. We present here a review of the literature concerned to the subject, including numerical and analytical results about the behavior of both models, mainly those related to convergence and conditions under which consensus or fragmentation take place.

El artículo trata sobre como las emociones e impulsos llegan a ser variables preponderantes en el proceso de toma de decisiones, ello a propósito del caso de Phineas Gage. El autor examina a profundidad tales variables que usualmente no son tomadas en cuenta en el clásico modelo de elección racional. A partir de ello, el autor explica cómo estos conceptos del Análisis Conductual del Derecho que introducen la psicología al análisis económico permiten un mayor entendimiento del comportamiento humano. De esta forma, se podrá construir un modelo de elección racional  y así predecir de manera más precisa las conductas y estimar los posibles resultados de la aplicación de las instituciones legales. Regarding to the case of Phineas Gage, the article discuss about how emotions and impulses become preponderant variables in the decision-making process. The author examines in depth such variables that usually are not taken into account in the classic rational choice model. Based on that, the author explains how these concepts of the Behavioral Law & economics which introduce psychology to the economic analysis allows a greater understanding of human behavior. In this way, a more accurately model of rational choice can be built. So the human behavior and the possible results of the application of legal institutions can be predicted and estimated.

Submitted by Rubens Massa (rmussolin@uol.com.br) on 2015-03-10T13:40:08Z No. of bitstreams: 1 DISSERTACAO FINALIZADA.pdf: 1829838 bytes, checksum: e85826a3eaabfaad2f7f270ed85b456f (MD5) / Approved for entry into archive by PAMELA BELTRAN TONSA (pamela.tonsa@fgv.br) on 2015-03-10T13:56:04Z (GMT) No. of bitstreams: 1 DISSERTACAO FINALIZADA.pdf: 1829838 bytes, checksum: e85826a3eaabfaad2f7f270ed85b456f (MD5) / Made available in DSpace on 2015-03-10T14:01:50Z (GMT). No. of bitstreams: 1 DISSERTACAO FINALIZADA.pdf: 1829838 bytes, checksum: e85826a3eaabfaad2f7f270ed85b456f (MD5) Previous issue date: 2015-02-24 / Estudos passados demonstram que empreendedores, ao contrário do que se imaginava, não diferem de outros decisores quanto a sua propensão ao risco; porém, diferem quanto à percepção deste. Sabendo que a percepção varia entre os indivíduos, é objetivo deste estudo entender a relação entre os vieses cognitivos, a percepção de risco e a avaliação de oportunidades, partindo da premissa de que estes são, ao menos em parte, responsáveis por esta variação entre os indivíduos. O trabalho faz uma revisão da literatura da racionalidade limitada e do julgamento sob incerteza, abordando em especial a pesquisa em cognição empreendedora e percepção do risco, buscando estabelecer conexões teóricas entre elas. Em consonância com outros trabalhos da área, empiricamente o trabalho se desenvolveu através de pesquisa quantitativa utilizando surveys aplicados a micro e pequenos empreendedores, com respostas utilizadas em um modelo de equações estruturais que testou a influência dos vieses cognitivos na percepção de risco do empreendedor, influenciando sua avaliação de oportunidades. Os resultados, em dissonância com outros trabalhos acadêmicos sobre o tema, demonstram que apesar da hipótese de que a baixa percepção de risco do empreendedor está associada com uma avaliação mais positiva de oportunidades ser aceita, as demais, referentes a influência dos vieses cognitivos na avaliação de oportunidades e à mediação da percepção de risco na relação entre os vieses cognitivos e a avaliação de oportunidades, demonstraram-se em sua maioria não conclusivas, sendo uma delas rejeitada.

Submitted by Henrique Brasiliense de Castro Pires (henrique.brasiliense2014@fgvmail.br) on 2016-05-04T18:32:36Z No. of bitstreams: 1 Limited Liability and Non-responsiveness in Moral Hazard and Adverse Selection Problems (1).pdf: 525295 bytes, checksum: 0463596c60f1218d5dfffa8108178df6 (MD5) / Approved for entry into archive by GILSON ROCHA MIRANDA (gilson.miranda@fgv.br) on 2016-05-10T19:09:38Z (GMT) No. of bitstreams: 1 Limited Liability and Non-responsiveness in Moral Hazard and Adverse Selection Problems (1).pdf: 525295 bytes, checksum: 0463596c60f1218d5dfffa8108178df6 (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2016-05-16T19:27:56Z (GMT) No. of bitstreams: 1 Limited Liability and Non-responsiveness in Moral Hazard and Adverse Selection Problems (1).pdf: 525295 bytes, checksum: 0463596c60f1218d5dfffa8108178df6 (MD5) / Made available in DSpace on 2016-05-16T19:28:10Z (GMT). No. of bitstreams: 1 Limited Liability and Non-responsiveness in Moral Hazard and Adverse Selection Problems (1).pdf: 525295 bytes, checksum: 0463596c60f1218d5dfffa8108178df6 (MD5) Previous issue date: 2016-03-21 / This work analyses the optimal menu of contracts offered by a risk neutral principal to a risk averse agent under moral hazard, adverse selection and limited liability. There are two output levels, whose probability of occurrence are given by agent’s private information choice of effort. The agent’s cost of effort is also private information. First, we show that without assumptions on the cost function, it is not possible to guarantee that the optimal contract menu is simple, when the agent is strictly risk averse. Then, we provide sufficient conditions over the cost function under which it is optimal to offer a single contract, independently of agent’s risk aversion. Our full-pooling cases are caused by non-responsiveness, which is induced by the high cost of enforcing higher effort levels. Also, we show that limited liability generates non-responsiveness.

Made available in DSpace on 2016-06-02T20:09:23Z (GMT). No. of bitstreams: 1 DissALVM.pdf: 2926001 bytes, checksum: 7aa2f00b4dfe3ea9045996f4017b083f (MD5) Previous issue date: 2005-03-23 / Universidade Federal de Minas Gerais / Flat slabs are associated with rationalization, better esthetic conditions and higher speed during construction. The use of post-tension can make this system viable since it strongly improves the structural performance in respect to punching and in case of extreme deflection of the slab. The durability of prestressed concrete elements is assured by meeting their limiting crack requirements. The Brazilian code for structural concrete prescribes the obligation of using limited post-tension, within aggressive environments, and in other cases, partial posttension. The verifications to be made in both cases are different, as well as the calculation procedures. In this particular research, some procedures to determine the number of tendons that are needed for partial and limited post-tension are presented, as well as the wide range of possibilities in the use of quantitative passive and active reinforcements. Possible tendon profiles, horizontal tendon layouts, and the use of bonded or unbonded tendon are also suggested and discussed. All procedures are shown within a numerical example and according to the conditions foreseen in the Brazilian code for structural concrete. Based on the found results, the adopted procedures provided good solutions for design of post-tensioned slabs. / A laje lisa sempre foi um anseio na construção civil devido às inúmeras vantagens que o sistema permite; entre elas, a maior racionalização, uma condição estética melhor, além de uma velocidade maior em execução. O uso da protensão vem tornar esse sistema viável, pois melhora substancialmente o comportamento da estrutura na punção e nos deslocamentos transversais excessivos. Uma das condições para garantir a durabilidade das peças de concreto protendido é atender à verificação de fissuração. O texto da atual norma de concreto NBR 6118 é bem claro na sua redação referente à pós-tração, a qual prescreve, para ambientes com agressividade forte e muito forte, a obrigatoriedade do uso de protensão limitada e, nos demais casos, a protensão parcial. As verificações a serem feitas nos dois casos são distintas, o que faz com que o procedimento de cálculo também o seja. Neste trabalho são mostrados os processos de cálculo do número de cabos para a protensão parcial e limitada, mostrando-se ainda as possibilidades de variações no emprego de quantitativos de armadura passiva e ativa. São sugeridas e discutidas também algumas possíveis trajetórias verticais de cabos, a sua distribuição em planta e o uso de cordoalha aderente ou não. Todos os procedimentos são mostrados através da resolução de exemplos simples e que atendem às condições da atual norma de concreto NBR 6118. A partir dos resultados, são feitos diversos comentários das soluções encontradas, mostrando que os procedimentos adotados de cálculo chegam a bons resultados de projeto.

O presente trabalho versa sobre a possibilidade de inserção de cláusula compromissória em contrato de sociedade limitada não institucional, estabelecendo uma análise interdisciplinar entre o direito societário e as normas atinentes à arbitragem no ordenamento jurídico brasileiro. Revisitam-se as principais referências nacionais e estrangeiras acerca da arbitragem societária, para que seja proposta uma delimitação específica do campo de incidência da jurisdição não-estatal em conflitos oriundos de sociedades limitadas que não prevejam a aplicação supletiva da lei das sociedades anônimas diante de omissão no Código Civil e nas disposições contratuais. A dissertação se estrutura em três segmentos centrais. Primeiramente, apontam-se os conceitos teóricos relativos à cláusula compromissória e ao contrato de sociedade, visando identificar o fundamento da compatibilidade entre os dois institutos. A seguir, delimitam-se os elementos subjetivos da arbitragem societária, isto é, vislumbram-se os sujeitos de direito que podem estar subordinados a este procedimento. Após, são diferenciadas as noções de ordem pública e normas imperativas, relacionando-as com o objeto de estudo. Por sua vez, o terceiro eixo primordial trata dos elementos objetivos da arbitragem na seara societária, ou seja, discute-se o que pode ser arbitrado, determinando os limites de atuação do árbitro em relação a temas complexos como direito de voto, deliberações sociais, responsabilidade dos administradores, exclusão de sócios e dissolução da sociedade. Finalmente, são apresentadas as reflexões pessoais do autor, no sentido de aferir os benefícios e desvantagens da utilização do método alternativo de resolução de controvérsias.