Submitted by Marcele Costal de Castro (costalcastro@gmail.com) on 2017-10-02T17:55:20Z No. of bitstreams: 1 DOMINGOS EUGENIO DE SÁ NERY D.PDF: 2789497 bytes, checksum: aff82f3bd13e62b597c33ec7477538fb (MD5) / Made available in DSpace on 2017-10-02T17:55:20Z (GMT). No. of bitstreams: 1 DOMINGOS EUGENIO DE SÁ NERY D.PDF: 2789497 bytes, checksum: aff82f3bd13e62b597c33ec7477538fb (MD5) Previous issue date: 2007-08 / Neste trabalho o problema da acomodação elástica de enfocado, para estruturas constituídas de materiais de Mises, porém com a consideração do encruamento cinemático limitado. O modelo de camadas de microelementos de Stein é utilizado para a formulação e solução do problema e é mostrado que o algoritmo já desenvolvido para o caso de elastoplasticidade ideal, pode ser utilizado também no caso com encruamento. As soluções analíticas, desenvolvidas para o problema de um bloco com restrições, são estendidas para o caso com encruamento e permitem a validação dos resultados numéricos em tensão plana. Comparações com resultados da literatura são levadas a efeito, tanto em tensão plana quanto em problemas com simetria de revolução. Estes exemplos visam à validação da teoria e sua implementação e também o tratamento de estruturas mais complexas que se aproximem progressivamente do nível das aplicações industriais. / In this work, the problem of shakedown is considered for Mises material structures but, with limited kinematic hardening. Stein's overlay model is used for formulation and solution of the problem. It is shown that the algorithm, originally developed for elastic perfectly plastic materials, can be used when hardening is considered. Analytical solutions developed for a restrained block are extended here for the case of hardening in plane stress, allowing the validation of numerical results. Bench marks are used to check numerical results in plane stress and axissimetric problems. This examples intend to validate the theory and its implementation and also a progressive treatment of more complex structures, aiming to approach industrial level.

Made available in DSpace on 2014-06-12T18:27:57Z (GMT). No. of bitstreams: 2 arquivo2714_1.pdf: 550192 bytes, checksum: 6918e43c307e676af79e95f27175b0ed (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nosso objetivo é caracterizar dicotomia exponencial de equações diferenças para equações funcionais discretas com retardamento não-limitado, aplicando alguns resultados para estudar a robustez de tal dicotomia. Este tipo de dicotomia nos proporciona informações relevantes sobre soluções limitadas de certo tipo de sistema perturbado. Ao final, estudamos aplicações às equações em diferenças de tipo Volterra. Palavras-Chave: Equações funcionais, retardamento não-limitado, dicotomia exponencial

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / NÃs investigamos a teoria dos modelos de LÃgicas Preferenciais, LÃgica HÃbrida e fragmentos da LÃgica de Segunda-Ordem com relaÃÃo a modelos finitos. A semÃnticas dessas lÃgicas diferem da abordagem clÃssica pelo uso de relaÃÃes entre modelos ou por restringir a cardinalidade dos modelos a cardinais finitos. Este trabalho tem trÃs partes. Na primeira parte deste trabalho nÃs estudamos a teoria dos modelos de lÃgicas preferenciais. LÃgicas preferenciais surgem no contexto do raciocÃnio nÃo-monotÃnico em InteligÃncia Artificial. A principal caracterÃstica dessas lÃgicas à a existÃncia de uma relaÃÃo entre modelos. Isso permite a definiÃÃo de uma relaÃÃo de consequÃncia nÃo monotÃnica considerando-se os modelos minimais de um conjunto de sentenÃas. Usando a abordagem da Teoria dos Modelos Abstrata, nÃs generalizamos alguns resultados de expressividade para classes de lÃgicas preferenciais. NÃs mostramos que sempre que uma classe de modelos minimais de um conjunto finito de sentenÃas à axiomatizÃvel, entÃo tal classe à finitamente axiomatizÃvel. NÃs mostramos que se tal classe define implicitamente um sÃmbolo do vocabulÃrio, existe uma axiomatizaÃÃo finita de uma forma particular, a saber, o conjunto finito de sentenÃas inicial mais uma definiÃÃo explÃcita para o sÃmbolo definido. Na segunda parte desse trabalho, nÃs investigamos a teoria dos modelos finitos da LÃgica HÃbrida. LÃgicas HÃbridas sÃo extensÃes da lÃgica modal atravÃs de termos hÃbridos que se referem a estados individuais em um modelo de Kripke. NÃs estudamos a complexidade computacional dos problemas de model- e frame- checking para a LÃgica HÃbrida. NÃs mostramos que para cada problema de grafos na Hierarquia Polinomial e cada nÃmero n, existe uma fÃrmula que exprime esse problema para grafos de cardinalidade n. NÃs mostramos que o tamanho das fÃrmulas à limitado por um polinÃmio em n. NÃs mostramos que podemos abrir mÃo das modalidades globais se nos limitarmos a grafos conexos com loops. NÃs definimos fragmentos da LÃgica HÃbrida que correspondem a cada nÃvel da Hierarquia Polinomial. Isso nos leva a uma prova alternativa da NP-dificuldade do problema de model-checking para um fragmento especÃfico de da LÃgica HÃbrida. Na Ãltima parte desse trabalho, nÃs exploramos a complexidade descritiva da lÃgica obtida ao restringirmos a quantificaÃÃo de segunda-ordem a relaÃÃes de grau limitado. Baseados em trabalhos anteriores de Schwentick et al. e de Grandjean e Olive, nÃs introduzimos a LÃgica de Segunda-Ordem de Grau Limitado e mostramos que ela captura a classe ALIN de classes de estruturas unÃrias aceitas por uma mÃquina de acesso randÃmico em tempo linear e um nÃmero fixo de alternÃncias dependente apenas do problema. NÃs estendemos essa lÃgica com o operador de fecho transitivo sobre relaÃÃes de ordem superior sobre relaÃÃes de grau limitado. NÃs mostramos que a LÃgica de Segunda- Ordem de Grau Limitado com Fecho Transitivo captura quantidade linear de registradores em uma mÃquina de acesso randÃmico nÃo-determinÃstica onde os valores armazenados em cada registrador durante a computaÃÃo sÃo limitados por uma funÃÃo linear na cardinalidade da estrutura de entrada. / We investigate the model theory of Preferential Logics, Hybrid Logic and fragments of Second-Order Logic with respect to finite models. The semantics of these logics differ from the semantics of classical logics either by using relations between models or by restricting the cardinality of the models considered. This work has three main parts. In the first part of this work we study the model theory of preferential logics. Preferential logics arise in the context of nonmonotonic reasoning in Artificial Intelligence. The main characteristic of those logics is the existence of a relation between models. It allows the definition of a nonmonotonic consequence relation by considering the minimal models of a set of sentences. Using the approach of Abstract Model Theory we generalize some expressiveness results to classes of preferential logics. We show that whenever a class of minimal models of a finite set of sentences is axiomatizable, without considering the preference relation, then it is finitely axiomatizable. We also show that when such class of minimal models implicitly defines a symbol, then the finite axiomatization can be put in a very specic form, namely, the initial set of sentences plus a explicit definition for the symbol. In the second part of this work, we investigate the finite model theory of Hybrid Logic. Hybrid Logics are extensions of modal logics with hybrid terms which refer to single states in a Kripke model. We study the complexity of the model- and frame-checking problems for Hybrid Logic. We show that for each graph problem in the Polynomial Hierarchy and each natural number n there is a formula which expresses this problem for graphs of cardinality n. We also show that the size of such formulas is bounded by a polynomial in n. We show that one can disregard the global modalities if one consider only connected graphs with loops. We define fragments which correspond to each degree of the Polynomial Hierarchy. This leads to an alternative proof of the NP-hardness of the model-checking problem for an specic fragment of Full Hybrid Logic. In the last part of this work, we explore the descriptive complexity of the logic obtained by restricting second-order quantication to relations of bounded degree. Based on previous work from Schwentick et al. and Grandjean and Olive, we introduce the Bounded-Degree Second-Order Logic and show that it captures the class ALIN of classes of unary structures accepted by a alternating random access machine in linear time and bounded number of alternations. We also extend this logic with the transitive closure operator on high-order relations on bounded-degree relations. We show that the Bounded-Degree Second-Order Logic with Transitive Closure Operator captures linear number of registers in a nondeterministic random access machine provided that registers store values bounded by a linear function in the cardinality of the input structure.

O Reservatório de Itupararanga, no interior do estado de São Paulo, tem como principal finalidade geração de energia elétrica e o abastecimento público, além de área de lazer e pesca. O crescimento urbano e agrícola em torno do corpo hídrico tem alterado a qualidade da água favorecendo a proliferação de cianobactérias. Estudos preliminares da comunidade fitoplanctônica demonstraram a dominância da cianofícea Cylindrospermopsis raciborskii e da clorofícea Monoraphidium contortum. Com o objetivo de investigar o nível trófico do reservatório e sua influência na dominância destas espécies, foram realizados ensaios de interação entre estes microrganismos sob diferentes concentrações de fósforo, simulando o reservatório em três diferentes níveis tróficos: oligotrófico, mesotrófico e supereutrófico. Também foi determinada a produção de saxitoxina pela cianobactéria. No ambiente oligotrófico a C. raciborskii apresentou diminuição do volume celular, aumento da produção de saxitoxina e senescência em interação com o M. contortum. Nos ambientes mesotrófico e supereutrófico, a cianobactéria não apresentou diferenças no crescimento e na produção de saxitoxina, comparado ao seu controle, quando em interação com a clorofícea. O mesmo não foi observado para M. contortum nestes dois níveis de trofia, pois teve seu crescimento prejudicado nas interações com C. raciborskii. As velocidades específicas de crescimento de M. contortum foram crescentes conforme o aumento da trofia, e as da C. raciborskii decrescentes. As concentrações de clorofila-a também foram crescentes conforme o aumento de trofia, e diminuíram no final dos experimentos. O consumo de ortofosfato foi semelhante na simulação dos três ambientes e o consumo do nitrato, foi maior quanto mais elevado o nível trófico. A partir dos resultados, foram feitas previsões das espécies fitoplanctônicas dominantes regidas pelo nível trófico do reservatório, que contribuirão nas medidas de conservação e manejo deste ecossistema aquático. / The Reservoir Itupararanga within the state of São Paulo, whose main purpose is public supply, besides electricity generation, and recreational areas and fishing. The urban growth and agriculture around the water body has changed its quality, favoring the growth of cyanobacteria. Preliminary studies of phytoplankton showed a dominance of cyanophyceae Cylindrospermopsis raciborskii and clorofícea Monoraphidium contortum. In order to investigate the trophic level of the reservoir and its influence on the dominance of these species, tests of the interaction between these microorganisms under different phosphorus concentrations were performed, simulating the reservoir in three different trophic levels: oligotrophic, mesotrophic and supereutrophic. The production of saxitoxin by the cyanobacteria was also defined. In the oligotrophic C. raciborskii showed a decrease of cell volume, increased production of saxitoxin and senescence in interaction with M. contortum. In mesotrophic and supereutrofic environments, the cyanobacteria did not show differences in growth and production of saxitoxin, compared to their control when interacting with the chlorophycea. The same was not observed for M. contortum in these two trophic levels, as its growth was affected by the interactions with C. raciborskii. The specific growth rates of M. contortum were growing with increasing trophic, and those of C. raciborskii decreasing. The chlorophyll-a concentrations were also growing with increasing trophic, and decreased at the end of the experiments. The orthophosphate consumption was similar in the three simulation environments and consumption of nitrate was greater the higher the trophic level. From the results, were made estimates of the dominant phytoplankton species was governed by the trophic level of the reservoir, which will help in the conservation and management of this aquatic ecosystem.

Submitted by Mateus de Lima Santos (santos.mateus.lima@gmail.com) on 2017-06-19T21:37:24Z No. of bitstreams: 1 An_Essay_on_Self_Enforcing_Debt.pdf: 523181 bytes, checksum: 177e70e82c09a7844b9d13faa7170c93 (MD5) / Rejected by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br), reason: Boa tarde Mateus, Por favor, as palavras Agradecimentos, resumo e abstract em caixa alta e como o trabalho é em inglês o abstract vem antes do resumo. Grata. Suzi 3799-7876 on 2017-06-21T19:12:45Z (GMT) / Submitted by Mateus de Lima Santos (santos.mateus.lima@gmail.com) on 2017-06-21T19:27:43Z No. of bitstreams: 1 An_Essay_on_Self_Enforcing_Debt.pdf: 523679 bytes, checksum: 4401cc05ce8780c1fe7be31eb232b44a (MD5) / Rejected by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br), reason: Mateus, Conforme conversamos ao telefone. Abs. Suzi on 2017-06-21T19:38:29Z (GMT) / Submitted by Mateus de Lima Santos (santos.mateus.lima@gmail.com) on 2017-06-21T21:12:07Z No. of bitstreams: 1 An_Essay_on_Self_Enforcing_Debt.pdf: 511332 bytes, checksum: 86afa158144a508b5aca51409f581b4f (MD5) / Approved for entry into archive by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br) on 2017-06-21T21:19:14Z (GMT) No. of bitstreams: 1 An_Essay_on_Self_Enforcing_Debt.pdf: 511332 bytes, checksum: 86afa158144a508b5aca51409f581b4f (MD5) / Made available in DSpace on 2017-06-22T12:27:20Z (GMT). No. of bitstreams: 1 An_Essay_on_Self_Enforcing_Debt.pdf: 511332 bytes, checksum: 86afa158144a508b5aca51409f581b4f (MD5) Previous issue date: 2017-05-26 / We analyze repayment incentives in an infinite horizon competitive economy where agents cannot commit to financial contracts. We follow Bulow and Rogoff (1989) by assuming that a defaulting agent is excluded from borrowing forever but keeps the ability to save. Hellwig and Lorenzoni (2009) provide an important characterization result by showing that endogenous debt limits are self-enforcing and not-too-tight if, and only if, they form a rational bubble in the sense that they can be exactly rolled over at infinity. Our contribution is technical. We provide a rigorous and correct proof of this result without imposing any ad-hoc assumption on the endogenous debt limits. In that respect, we extend the result in Bidian and Bejan (2014). / Nós analisamos incentivos de repagamento em uma economia competitiva de horizonte infinito onde os agentes não podem se comprometer com contratos financeiros. Nós seguimos Bulow e Rogoff (1989) ao assumir que um agente que deu default é excluído da possibilidade de empréstimo para sempre mas mantém a possibilidade de poupança. Hellwig e Lorenzoni (2009) fornecem um importante resultado de caracterização ao mostrarem que limites à dívida endógenos são auto-sustentados e não muito restritos se, e somente se, eles formam uma bolha racional no sentido que podem ser exatamente rolados até o infinito. Nossa contribuição é técnica. Nós provemos uma prova rigorosa e correta desse resultado sem impor nenhuma condição ad-hoc nos limites à dívida endógenos. Nesse sentido, nós estendemos o resultado de Bidian e Bejan (2014).

FERREIRA, Francicleber Martins. Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado. 2012. 130 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-20T11:58:10Z No. of bitstreams: 1 2012_tese_fmferreira.pdf: 772301 bytes, checksum: b1e1a404221e38ffb8e0712513749a4c (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:47:07Z (GMT) No. of bitstreams: 1 2012_tese_fmferreira.pdf: 772301 bytes, checksum: b1e1a404221e38ffb8e0712513749a4c (MD5) / Made available in DSpace on 2016-07-25T11:47:07Z (GMT). No. of bitstreams: 1 2012_tese_fmferreira.pdf: 772301 bytes, checksum: b1e1a404221e38ffb8e0712513749a4c (MD5) Previous issue date: 2012 / We investigate the model theory of Preferential Logics, Hybrid Logic and fragments of Second-Order Logic with respect to finite models. The semantics of these logics differ from the semantics of classical logics either by using relations between models or by restricting the cardinality of the models considered. This work has three main parts. In the first part of this work we study the model theory of preferential logics. Preferential logics arise in the context of nonmonotonic reasoning in Artificial Intelligence. The main characteristic of those logics is the existence of a relation between models. It allows the definition of a nonmonotonic consequence relation by considering the minimal models of a set of sentences. Using the approach of Abstract Model Theory we generalize some expressiveness results to classes of preferential logics. We show that whenever a class of minimal models of a finite set of sentences is axiomatizable, without considering the preference relation, then it is finitely axiomatizable. We also show that when such class of minimal models implicitly defines a symbol, then the finite axiomatization can be put in a very specic form, namely, the initial set of sentences plus a explicit definition for the symbol. In the second part of this work, we investigate the finite model theory of Hybrid Logic. Hybrid Logics are extensions of modal logics with hybrid terms which refer to single states in a Kripke model. We study the complexity of the model- and frame-checking problems for Hybrid Logic. We show that for each graph problem in the Polynomial Hierarchy and each natural number n there is a formula which expresses this problem for graphs of cardinality n. We also show that the size of such formulas is bounded by a polynomial in n. We show that one can disregard the global modalities if one consider only connected graphs with loops. We define fragments which correspond to each degree of the Polynomial Hierarchy. This leads to an alternative proof of the NP-hardness of the model-checking problem for an specic fragment of Full Hybrid Logic. In the last part of this work, we explore the descriptive complexity of the logic obtained by restricting second-order quantication to relations of bounded degree. Based on previous work from Schwentick et al. and Grandjean and Olive, we introduce the Bounded-Degree Second-Order Logic and show that it captures the class ALIN of classes of unary structures accepted by a alternating random access machine in linear time and bounded number of alternations. We also extend this logic with the transitive closure operator on high-order relations on bounded-degree relations. We show that the Bounded-Degree Second-Order Logic with Transitive Closure Operator captures linear number of registers in a nondeterministic random access machine provided that registers store values bounded by a linear function in the cardinality of the input structure. / Nós investigamos a teoria dos modelos de Lógicas Preferenciais, Lógica Híbrida e fragmentos da Lógica de Segunda-Ordem com relação a modelos finitos. A semânticas dessas lógicas diferem da abordagem clássica pelo uso de relações entre modelos ou por restringir a cardinalidade dos modelos a cardinais finitos. Este trabalho tem três partes. Na primeira parte deste trabalho nós estudamos a teoria dos modelos de lógicas preferenciais. Lógicas preferenciais surgem no contexto do raciocínio não-monotônico em Inteligência Artificial. A principal característica dessas lógicas é a existência de uma relação entre modelos. Isso permite a definição de uma relação de consequência não monotônica considerando-se os modelos minimais de um conjunto de sentenças. Usando a abordagem da Teoria dos Modelos Abstrata, nós generalizamos alguns resultados de expressividade para classes de lógicas preferenciais. Nós mostramos que sempre que uma classe de modelos minimais de um conjunto finito de sentenças é axiomatizável, então tal classe é finitamente axiomatizável. Nós mostramos que se tal classe define implicitamente um símbolo do vocabulário, existe uma axiomatização finita de uma forma particular, a saber, o conjunto finito de sentenças inicial mais uma definição explícita para o símbolo definido. Na segunda parte desse trabalho, nós investigamos a teoria dos modelos finitos da Lógica Híbrida. Lógicas Híbridas são extensões da lógica modal através de termos híbridos que se referem a estados individuais em um modelo de Kripke. Nós estudamos a complexidade computacional dos problemas de model- e frame- checking para a Lógica Híbrida. Nós mostramos que para cada problema de grafos na Hierarquia Polinomial e cada número n, existe uma fórmula que exprime esse problema para grafos de cardinalidade n. Nós mostramos que o tamanho das fórmulas é limitado por um polinômio em n. Nós mostramos que podemos abrir mão das modalidades globais se nos limitarmos a grafos conexos com loops. Nós definimos fragmentos da Lógica Híbrida que correspondem a cada nível da Hierarquia Polinomial. Isso nos leva a uma prova alternativa da NP-dificuldade do problema de model-checking para um fragmento específico de da Lógica Híbrida. Na última parte desse trabalho, nós exploramos a complexidade descritiva da lógica obtida ao restringirmos a quantificação de segunda-ordem a relações de grau limitado. Baseados em trabalhos anteriores de Schwentick et al. e de Grandjean e Olive, nós introduzimos a Lógica de Segunda-Ordem de Grau Limitado e mostramos que ela captura a classe ALIN de classes de estruturas unárias aceitas por uma máquina de acesso randômico em tempo linear e um número fixo de alternâncias dependente apenas do problema. Nós estendemos essa lógica com o operador de fecho transitivo sobre relações de ordem superior sobre relações de grau limitado. Nós mostramos que a Lógica de Segunda- Ordem de Grau Limitado com Fecho Transitivo captura quantidade linear de registradores em uma máquina de acesso randômico não-determinística onde os valores armazenados em cada registrador durante a computação são limitados por uma função linear na cardinalidade da estrutura de entrada.

O Reservatório de Itupararanga, no interior do estado de São Paulo, tem como principal finalidade geração de energia elétrica e o abastecimento público, além de área de lazer e pesca. O crescimento urbano e agrícola em torno do corpo hídrico tem alterado a qualidade da água favorecendo a proliferação de cianobactérias. Estudos preliminares da comunidade fitoplanctônica demonstraram a dominância da cianofícea Cylindrospermopsis raciborskii e da clorofícea Monoraphidium contortum. Com o objetivo de investigar o nível trófico do reservatório e sua influência na dominância destas espécies, foram realizados ensaios de interação entre estes microrganismos sob diferentes concentrações de fósforo, simulando o reservatório em três diferentes níveis tróficos: oligotrófico, mesotrófico e supereutrófico. Também foi determinada a produção de saxitoxina pela cianobactéria. No ambiente oligotrófico a C. raciborskii apresentou diminuição do volume celular, aumento da produção de saxitoxina e senescência em interação com o M. contortum. Nos ambientes mesotrófico e supereutrófico, a cianobactéria não apresentou diferenças no crescimento e na produção de saxitoxina, comparado ao seu controle, quando em interação com a clorofícea. O mesmo não foi observado para M. contortum nestes dois níveis de trofia, pois teve seu crescimento prejudicado nas interações com C. raciborskii. As velocidades específicas de crescimento de M. contortum foram crescentes conforme o aumento da trofia, e as da C. raciborskii decrescentes. As concentrações de clorofila-a também foram crescentes conforme o aumento de trofia, e diminuíram no final dos experimentos. O consumo de ortofosfato foi semelhante na simulação dos três ambientes e o consumo do nitrato, foi maior quanto mais elevado o nível trófico. A partir dos resultados, foram feitas previsões das espécies fitoplanctônicas dominantes regidas pelo nível trófico do reservatório, que contribuirão nas medidas de conservação e manejo deste ecossistema aquático. / The Reservoir Itupararanga within the state of São Paulo, whose main purpose is public supply, besides electricity generation, and recreational areas and fishing. The urban growth and agriculture around the water body has changed its quality, favoring the growth of cyanobacteria. Preliminary studies of phytoplankton showed a dominance of cyanophyceae Cylindrospermopsis raciborskii and clorofícea Monoraphidium contortum. In order to investigate the trophic level of the reservoir and its influence on the dominance of these species, tests of the interaction between these microorganisms under different phosphorus concentrations were performed, simulating the reservoir in three different trophic levels: oligotrophic, mesotrophic and supereutrophic. The production of saxitoxin by the cyanobacteria was also defined. In the oligotrophic C. raciborskii showed a decrease of cell volume, increased production of saxitoxin and senescence in interaction with M. contortum. In mesotrophic and supereutrofic environments, the cyanobacteria did not show differences in growth and production of saxitoxin, compared to their control when interacting with the chlorophycea. The same was not observed for M. contortum in these two trophic levels, as its growth was affected by the interactions with C. raciborskii. The specific growth rates of M. contortum were growing with increasing trophic, and those of C. raciborskii decreasing. The chlorophyll-a concentrations were also growing with increasing trophic, and decreased at the end of the experiments. The orthophosphate consumption was similar in the three simulation environments and consumption of nitrate was greater the higher the trophic level. From the results, were made estimates of the dominant phytoplankton species was governed by the trophic level of the reservoir, which will help in the conservation and management of this aquatic ecosystem.

La investigación se centra básicamente, aunque no únicamente por estar, también, referida al Código civil español, en la Ley 13/2000, de 20 de noviembre, reguladora en Cataluña, del usufructo, uso y habitación. Se diferencia -con atención al Derecho histórico y, singularmente, al Derecho comparado- entre el usufructo de disposición y el fideicomiso de residuo, así como con la propiedad temporal (no admisible en el Derecho español), tanto por razones históricas, como dogmáticas y de derecho positivo. Tras considerar su evolución histórica, y su nacimiento en la práctica de los tabelliones –antecedente de los actuales notarios-, se considera su régimen jurídico en permanente confrontación con el del usufructo en general. Se consideran las vías, tanto inter vivos, como mortis causa, a título oneroso o gratuito, incluso mediante la usucapión, o como atribución aislada a posteriori de la facultad dispositiva, a través de las que puede constituirse. Eje central de la investigación es la consideración de la facultad de disposición del usufructuario como un problema de la legitimación dispositiva del usufructuario, para poder afirmar que el usufructo de disposición es un mero usufructo –cualquiera que sea la modalidad dispositiva que se le atribuya- y que la facultad de disposición no es sino un supuesto de legitimación extraordinaria concretada en la posibilidad de disponer (en su sentido más amplio, sin que le pueda convertir en ningún caso en propietario) de un patrimonio, o sus elementos integrantes, formalmente ajeno. Dado que la singularidad de la figura gira en torno a las facultades dispositivas del usufructuario se presta singular consideración a la atribución a su libre disposición o para caso de necesidad, que en cualquier caso, y salvo que otra cosa se disponga por el constituyente, queda a la libre apreciación del usufructuario, de la misma manera que el que se atribuya con libre disposición no le convierte en propietario, pues el acto dispositivo siempre tendrá que estar inspirado en el menor perjuicio al nudo propietario y, en cualquier caso, siempre acabará consolidándose con la nuda propiedad. Así, la facultad del usufructuario incluso aunque sea libérrima no se puede confundir con la del propietario pues siempre se está disponiendo de bienes ajenos. También puede modelarse la facultad dispositiva del usufructuario sujetando su facultad bien al mero conocimiento de terceros o a la aprobación o asentimiento de estos, incluso puede ser el propio nudo propietario y, desde luego, puede organizarse con absoluta práctica libertad el modo y forma de consentir la disposición. La legitimación incide directamente tanto en la validez del acto dispositivo como en su eficacia, será discutible si es un acto de enajenación o de negocio incompleto, pero en cualquier caso impugnable tanto en vida del usufructuario como al extinguirse el usufructo por quienes se puedan ver afectados o perjudicados por el acto dispositivo, singularmente, cuando se realicen actos anómalos o fraudulentos. Dado que siempre existirá la figura del nudo propietario, a cuyo contenido mínimo de facultades, mientras dure dicho usufructo de disposición, también se dedica especial consideración, se estudian las facultades (dispositivas y de toda índole, singularmente conservativas, así exigir –salvo que se haya excluido- inventario y fianza) y derechos del nudo propietario durante el usufructo y al extinguirse, con especial consideración de las singularidades en el ámbito de la subrogación real (cuya relevancia será manifiestamente distinta según se trate del mero usufructo para caso de necesidad o si es de libe disposición) y de las posibles nulidades de los actos dispositivos o del nacimiento de responsabilidad civil y la necesaria protección de terceros. / The research is primarily centred on differentiating –heeding historic law and, exceptionally, positive and comparative law– usufruct with the power to dispose of the residual trust and temporary property, due to historic reasons, dogmatic reasons and those related to positive law. After considering its historic development, within general usufruct, the procedures are considered –inter vivos and mortis causa, onerous and gratuitous– through which it can be established and, as a core issue, the problem is addressed of the dispositive legitimisation of the usufructuary, to be able to confirm that testamentary usufruct is a mere mode of usufruct and that the power of disposition is nothing but a case of extraordinary legitimisation specified in the possibility of possessing an estate, or its integrating elements, formally of another. Within the power of disposition of the usufructuary, two broad types are essentially considered, such as when free disposition is granted to the usufructuary. Even in this position the party does not become the owner and does not have powers of disposal granted due to this status, even if at a later time he or she will have to establish bare ownership. Moreover, the power of disposition is considered for the case of need left to the freewill of the usufructuary, although this does not mean this party is liable to impugn bare ownership. Other types would be those stemming from those accessions to which the dispositive act could be subject and, consequently, the consequences of its violation, whether related to the validity or not of the dispositive act or in the area of real subrogation. This will therefore be conditioned by the type, determining whether there is free disposition or only a case of need. Given that there will always be the figure of bare owner, the powers and rights of the bare owner are also studied during usufruct and upon its termination, with particular consideration given to the possible nullities of the dispositive acts or the birth of civil liability and the necessary protection of third parties.

Made available in DSpace on 2016-06-02T20:06:05Z (GMT). No. of bitstreams: 1 4139.pdf: 2492387 bytes, checksum: d478498a0d367106a7ad8dfe2a681cf3 (MD5) Previous issue date: 2012-01-16 / Financiadora de Estudos e Projetos / In some situations, in various areas of knowledge, the response variable of interest has dichotomous distribution extremely unbalanced. In the _nancial market is the common interest in determining the probability that each customer will commit a fraudulent action, and the proportion of customers fraudsters is extremely small. In health there is interest in determining the probability that a particular person will present some epidemiological infection that a_ects only a small fraction of the population. However, there are studies that show that the usual logistic regression model, widely used in the modeling of binary data, does not produce good results when it is built using databases extremely unbalanced. In the literature, we _nd some proposals for adjusting models them that take into account this characteristic, such as KZ estimators suggested by King and Zeng (2001) for the logistic regression model applied to databases with events rare. We present this methodology and a simulation study to verify the quality of these estimators. Other proposals in the literature are limited logit model suggested by Cramer (2004) that upper limit to the probability of success and the generalized logit model suggested by Stukel (1988) which has two shape parameters and works better than the usual logit model in situations that the probability curve is not symmetrical around the point 1 2 . In this paper we present some simulations to verify the advantages of the use of these models. Palavras-chave: model logit model limited, generalized logit model, logit model with response of origin, KZ estimators, measures forecasts. / Em algumas situa_c~oes, nas mais diversas _areas do conhecimento, a vari_avel resposta de interesse possui distribui_c~ao dicot^omica extremamente desbalanceada. No mercado _nanceiro _e comum o interesse em determinar a probabilidade de que cada cliente venha a cometer uma a_c~ao fraudulenta, sendo que a propor_c~ao de clientes fraudadores _e extremamente pequena. Na _area da sa_ude existe o interesse em determinar a probabilidade de que uma determinada pessoa venha a apresentar alguma infec_c~ao epidemiol_ogica que atinge apenas uma diminuta parcela da popula_c~ao. No entanto, existem estudos que revelam que o modelo de regress~ao log__stica usual, amplamente utilizado na modelagem de dados bin_arios, n~ao produz bons resultados quando este _e constru__do utilizando bases de dados extremamente desbalanceadas. Na literatura, encontramos algumas propostas para o ajuste de modelos que levam em conta esta caracter__stica, tal como os estimadores KZ sugeridos por King e Zeng (2001) para o modelo de regress~ao log__stica aplicado em bases de dados com eventos raros. Neste trabalho apresentamos esta metodologia e um estudo de simula_c~ao para veri_car a qualidade destes estimadores. Outras propostas encontradas na literatura s~ao o modelo logito limitado sugerido por Cramer (2004) que limita superiormente a probabilidade de sucesso e o modelo logito generalizado sugerido por Stukel (1988) que apresenta dois par^ametros de forma e funciona melhor que o modelo logito usual nas situa_c~oes em que a curva de probabilidade n~ao _e sim_etrica em torno do ponto 1 2 . Neste trabalho apresentamos algumas simula_c~oes para veri_car as vantagens do usos destes modelos.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-09T17:47:20Z No. of bitstreams: 1 CÍCERO JANUÁRIO GUIMARÃES - DISSERTAÇÃO PPGMAT 2006..pdf: 518910 bytes, checksum: 7b47c5929150ce3b38f2bc1522da3646 (MD5) / Made available in DSpace on 2018-07-09T17:47:20Z (GMT). No. of bitstreams: 1 CÍCERO JANUÁRIO GUIMARÃES - DISSERTAÇÃO PPGMAT 2006..pdf: 518910 bytes, checksum: 7b47c5929150ce3b38f2bc1522da3646 (MD5) Previous issue date: 2006-03 / Capes / O resumo dessa dissertação utiliza símbolos matemáticos e fórmulas que não foram possíveis copia-los aqui. Para a completa visualização recomendamos o download da dissertação). / The abstract of this dissertation uses mathematical symbols and formulas that could not be copied here. For the complete visualization we recommend downloading the dissertation).