Made available in DSpace on 2015-04-14T14:49:12Z (GMT). No. of bitstreams: 1 417713.pdf: 695101 bytes, checksum: 7ca13b477e8454618ddf97078355fc21 (MD5) Previous issue date: 2009-01-16 / Avalia??o de desempenho de sistemas distribu?dos trata-se de uma importante ferramenta durante a fase de desenvolvimento. Esta tarefa tem por objetivo mostrar ao usu?rio (pesquisador, programador, analista, etc.) o comportamento previsto para o seu sistema, antes mesmo que este esteja implementado, evitando custos com tempo de implementa??o e de eventuais reconstru??es de c?digo. Neste contexto, existem maneiras muito utilizadas na comunidade cient?fica para dar suporte a avalia??o de desempenho, como Simula??o e Modelagem Anal?tica. Entretanto, a cria??o e a execu??o destes modelos nem sempre ? realizada de maneira trivial, pois uma importante fase na modelagem ? a obten??o dos par?metros do sistema alvo, devido ao fato de que quanto mais fiel for o modelo, mais pr?ximo do real ser?o os resultados. Assim, este trabalho visa realizar uma an?lise comparativa entre duas ferramentas de avalia??o de desempenho (SimGrid e SAN) atrav?s de duas abordagens diferentes (Simula??o e Modelagem Anal?tica, respectivamente). Para isto, os par?metros das aplica??es executadas no SimGrid foram mapeados para o modelo SAN, procurando desta forma obter uma equival?ncia nas modelagens para que seus resultados possam ser comparados. Ap?s a apresenta??o dos resultados obtidos, alguns aspectos interessantes sobre as duas maneiras de avalia??o de desempenho s?o discutidos.

Made available in DSpace on 2015-04-14T14:49:22Z (GMT). No. of bitstreams: 1 423499.pdf: 2268638 bytes, checksum: a9a287a49644290eaf88a8b8d38f9f10 (MD5) Previous issue date: 2010-03-29 / Os formalismos estruturados foram definidos ao longo dos anos com o objetivo de aumentar o n?vel de abstra??o e oferecer uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov. Exemplos de formalismos estruturados que utilizam ?lgebra tensorial para o armazenamento de seus descritores s?o as Redes de Aut?matos Estoc?sticos, as Redes de Petri Estoc?sticas Generalizadas Superpostas e as ?lgebras de Processo. Tais descri??es utilizam primitivas de modelagem entre seus componentes capturando sua sem?ntica operacional e permitindo a sua an?lise ao retornarem ?ndices quantitativos de desempenho quando s?o resolvidos numericamente. Os mecanismos atuais de solu??o usam propriedades da ?lgebra Tensorial (cl?ssica ou generalizada) para multiplicar termos tensoriais de eventos entre os estados dos modelos (i.e., um descritor Markoviano) por um vetor de probabilidade, que cont?m a solu??o estacion?ria ou transiente. Esta opera??o ? chamada de Multiplica??o Vetor-Descritor (MVD) e ? realizada de tr?s maneiras b?sicas: de forma esparsa (ineficiente em mem?ria, eficiente em tempo), utilizando o Algoritmo Shuffle (eficiente em mem?ria, ineficiente em tempo para algumas classes de modelos) ou atrav?s do Algoritmo Split, que ? uma combina??o das duas primeiras abordagens. A principal contribui??o deste ?ltimo foi a proposi??o de um m?todo h?brido onde incrementa-se a mem?ria (de forma razo?vel) para acelerar o c?lculo efetuado por itera??o. Entretanto, o principal desafio do Algoritmo Split ? relativo ? determina??o de cortes de cada termo tensorial e em como re-estrutur?-lo para reduzir o custo computacional por itera??o, acelerando a converg?ncia de modelos estruturados. Este trabalho aborda estes problemas, baseando-se em tr?s eixos: i) na discuss?o das primitivas de modelagem para composi??o de sistemas atrav?s de formas mais abstratas de descri??o, ii) nas diferentes formas de tratamento de termos tensoriais de descritores Markovianos para execu??o mais otimizada da MVD a partir de re-estrutura??es das ordens originais, e iii) na execu??o do Algoritmo Split com taxas constantes ou funcionais demonstrando os resultados obtidos para diversas classes de modelos. Para os casos observados, foi demonstrado atrav?s de experimentos que o melhor ganho, balanceando-se tempo e mem?ria, ? verificado quando as matrizes dos termos tensoriais s?o reordenadas, tratando as do tipo identidade na parte estruturada e avaliando-se os elementos funcionais uma ?nica vez na parte esparsa. Ao avaliar as fun??es somente uma vez em todo o processo de MVD, converte-se os descritores generalizados para cl?ssicos em tempo de execu??o e promove-se ganhos consider?veis em tempo para determinadas classes de modelos. Observou-se tamb?m que as atividades de sincroniza??o ou comunica??o entre os m?dulos ou parti??es envolvidas bem como o total de par?metros das depend?ncias funcionais realizam um papel crucial no desempenho obtido. A presente tese ? finalizada identificando as classes de modelos mais adequadas para a utiliza??o do Algoritmo Split, propondo formas de re-estrutura??o de descritores Markovianos que privilegiem a esparsidade e a exist?ncia de matrizes do tipo identidade para balancear os custos em mem?ria e tempo de execu??o.

Made available in DSpace on 2015-04-14T14:49:28Z (GMT). No. of bitstreams: 1 427631.pdf: 914785 bytes, checksum: 815e75c48669f5e8db50b93c7cf37623 (MD5) Previous issue date: 2010-03-12 / Atrav?s de formalismos Markovianos ? poss?vel modelar diversos sistemas e resolv?-los atrav?s de solu??es computacionais espec?ficas possibilitando prever ou avaliar seus padr?es de comportamento. O formalismo de Redes de Aut?matos Estoc?sticos (SAN) permite descrever modelos Markovianos de forma compacta e modular. Al?m disso, ? utilizado para obter ?ındices de desempenho de sistemas atrav?s de solu??es num?ricas iterativas que se baseiam em um descritor e um vetor cujo tamanho ? igual ao espa?o de estados do modelo. Dependendo do tamanho do modelo esta opera?ao torna-se computacionalmente onerosa e muitas vezes impratic?vel. Um m?todo alternativo para calcular ?ndices a partir de um modelo ? a simula??o, principalmente porque ela simplesmente exige a defini??o de um gerador de n?meros pseudo-aleat?rios e fun??es de transi??o entre estados que permitem a cria??o de uma trajet?ria. O processo de amostragem pode ser diferente para cada t?cnica estabelecendo algumas regras para coleta de amostras para posterior an?lise estat?stica. As t?cnicas de simula??o, normalmente requerem muitas amostras para calcular ?ndices de desempenho estatisticamente relevantes. Este trabalho proporciona compara??es da precis?o dos resultados de alguns modelos Markovianos obtidos a partir da execu??o de diferentes t?cnicas de simula??o. Al?m disso, prop?e uma maneira distinta de simular modelos Markovianos usando um m?todo baseado em estat?stica Bootstrap para minimizar o efeito de escolha das amostras. A efic?cia do m?todo proposto, denominado Bootstrap simulation, ? comparado com resultados da solu??o num?rica para um conjunto de exemplos descritos por meio do formalismo de modelagem SAN.

Made available in DSpace on 2015-04-14T14:49:59Z (GMT). No. of bitstreams: 1 447661.pdf: 550622 bytes, checksum: 5a831618aedabce5554e131c45fcd8d9 (MD5) Previous issue date: 2012-03-22 / This work presents a formalism for modeling systems called Stochastic Automata Networks (SAN), SAN formalism aims to increase the abstraction s level and provides a sophisticated alternative model to the tadicional formalism of Markov Chains (MC). SAN uses both Classical (CTA) and Generalized Tensor Algebra (GTA) to simplify the matrix of transitions between states of the model. Despite all models described with GTA having at least one equivalent model described using CTA, and that the solution of certain models based on CTA could be faster than the equivalent GTA based model, this dissertation proposes an algorithm for translating a model described in GTA into the equivalent model described in CTA. It is expected that some models described using functions (using GTA) could be solved more quickly or taking less memory through the solution of its CTA-converted model / Este trabalho apresenta o formalismo para modelagem de sistemas chamado Redes de Aut?matos Estoc?sticos (SAN). O formalismo SAN tem o objetivo de aumentar o n?vel de abstra??o e oferece uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov (MC). Este formalismo utiliza a ?lgebra tensorial cl?ssica (CTA) e geralizada (GTA) para simplificar a matriz das transi??es entre os estados do modelo. Embora todos os modelos SAN descritos utilizando GTA possuam pelo menos um modelo equivalente descrito utilizando CTA, e que a solu??o de certos modelos utilizando CTA possa ser mais r?pido que o modelo equivalente que utiliza GTA, este trabalho prop?e um algoritmo para traduzir um modelo descrito em GTA para o modelo equivalente descrito em CTA. Espera-se com isto permitir que um modelo descrito utilizando fun??es (usando GTA) possa ser resolvido mais rapidamente ou ocupando menos mem?ria atrav?s da solu??o de seu modelo convertido para CTA

Made available in DSpace on 2015-04-14T14:50:05Z (GMT). No. of bitstreams: 1 451032.pdf: 3224202 bytes, checksum: 0ed1399ff0656c16c4c22f4f6e16cb87 (MD5) Previous issue date: 2013-03-25 / The use of critical and complex systems at automation of daily tasks increases the people s dependence, generating unease about the safety of such systems. In the last years several techniques have been developed to facilitate activities related to design validation in the early stages of the development cycle. Model Checking is an automatic formal technique that allows verification of finite-state concurrent systems under properties described in temporal logics by employing verification algorithms that exhaustively assess the correctness of the system under consideration. Indeed, this technique is costly with respect to storage and processing, justifying the development of parallel and distributed algorithms for powerful computing clusters. This dissertation reports the study and development of verification algorithms for models described in Stochastic Automata Networks and properties written in Computation Tree Logic temporal logic for environments that address memory spaces in a distributed way. / O emprego de sistemas complexos e cr?ticos para automa??o de tarefas do cotidiano faz crescer a depend?ncia das pessoas, gerando desconforto em rela??o ? seguran?a de tais sistemas. Nos ?ltimos anos algumas t?cnicas t?m sido desenvolvidas visando facilitar as atividades relacionadas ? valida??o de projetos nos est?gios iniciais do ciclo de desenvolvimento. Verifica??o de modelos ? uma t?cnica formal autom?tica que permite a verifica??o de sistemas concorrentes de estados finitos sob propriedades descritas em l?gicas temporais atrav?s do emprego de algoritmos que avaliam exaustivamente o sistema sob considera??o. Entretanto, esta t?cnica ? custosa no que tange ao armazenamento em mem?ria e processamento, justificando o desenvolvimento de algoritmos paralelos e distribu?dos para poderosos agregados computacionais. Esta disserta??o relata o estudo e desenvolvimento de algoritmos de verifica??o de modelos descritos em Redes de Aut?matos Estoc?sticos e propriedades descritas na l?gica temporal Computation Tree Logic para ambientes que endere?am espa?os de mem?ria de maneira distribu?da.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-09-13T13:02:14Z No. of bitstreams: 1 ESTEVAO SMANIA TESTA_DIS.pdf: 3237172 bytes, checksum: d5aadd66e71bcae6b9ef00c5c31e0e5a (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-09-14T19:04:09Z (GMT) No. of bitstreams: 1 ESTEVAO SMANIA TESTA_DIS.pdf: 3237172 bytes, checksum: d5aadd66e71bcae6b9ef00c5c31e0e5a (MD5) / Made available in DSpace on 2018-09-14T19:26:34Z (GMT). No. of bitstreams: 1 ESTEVAO SMANIA TESTA_DIS.pdf: 3237172 bytes, checksum: d5aadd66e71bcae6b9ef00c5c31e0e5a (MD5) Previous issue date: 2018-03-15 / Planos de evacua??o t?m sido historicamente usados como uma medida de seguran?a para a constru??o de edif?cios. Os simuladores existentes requerem ambientes 3D totalmente modelados e tempo suficiente para preparar e simular cen?rios. Uma vez que a quantidade de pessoas pode mudar ao longo do tempo, v?rias simula??es s?o frequentemente necess?rias para gerar um plano de evacua??o otimizado. Neste documento ? apresentado uma nova abordagem para estimar os dados resultantes de um dado cen?rio de evacua??o sem simula-lo de fato. Para tal o ambiente ? dividido o ambiente em salas modulares com configura??es diferentes, em um estilo divis?o e conquista. Em seguida, uma rede neural artificial ? treinada para estimar os dados desejados de uma sala sozinha. Ap?s coletar os dados estimados de cada sala, uma heur?stica capaz de agregar informa??es por sala ? desenvolvida para que o ambiente completo possa ser devidamente estimado. Esse m?todo apresenta erros dentro da margem de 30% quando comparado o tempo de evacua??o em um ambiente real e complexo. Al?m disso, n?o ? necess?rio modelar o ambiente 3D, aprender como configurar um simulador de multid?es e o tempo computacional para estimar ? instant?neo quando comparado ao melhor caso de um simulador de multid?es. / Evacuation plans have been historically used as a safety measure for the construction of buildings. The existing simulators require fully-modeled 3D environments and enough time to prepare and simulate scenarios. Since the amount of people in a given simulated scenario can change over time, several simulations are often required in order to generate an optimal evacuation plan. With that in mind, we present in this paper a novel approach to estimate the resulting data of a given evacuation scenario without actually simulating it. For such, we divide the environment into modular rooms with different configurations, in a divide-and-conquer fashion. Next, we train an artificial neural network to estimate all required data regarding the evacuation of a single room. After collecting the estimated data from each room, we developed a heuristic capable of aggregating per room information so the full environment can be properly evaluated. Our method presents errors within the 30% margin when compared to evacuation time in a real and complex environment. In addition, it is not necessary to model the 3D environment, learn how to use and configure a crowd simulator, and the computational time to estimate is instantaneous when compared to a best case real-time crowd simulator.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-10-04T19:48:28Z No. of bitstreams: 1 Paulo_Ricardo_Knob_dis.pdf: 15412485 bytes, checksum: d5fc868fa02ec06b2e29e6848c4b37ae (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-10-08T14:18:54Z (GMT) No. of bitstreams: 1 Paulo_Ricardo_Knob_dis.pdf: 15412485 bytes, checksum: d5fc868fa02ec06b2e29e6848c4b37ae (MD5) / Made available in DSpace on 2018-10-08T14:37:58Z (GMT). No. of bitstreams: 1 Paulo_Ricardo_Knob_dis.pdf: 15412485 bytes, checksum: d5fc868fa02ec06b2e29e6848c4b37ae (MD5) Previous issue date: 2018-08-22 / A maioria das t?cnicas dispon?veis hoje em dia para simula??o de multid?es est? focada em uma situa??o espec?fica, por exemplo, evacua??o em eventos perigosos. Poucas t?cnicas consideram os aspectos culturais e de personalidade presentes em uma sociedade para determinar o comportamento dos agentes. Portanto, este trabalho tem como objetivo construir um framework capaz de lidar com diferentes teorias culturais e de personalidade como input, traduzindo-as em uma parametriza??o de grupo, que vai determinar o comportamento de grupos e multid?es em ambientes virtuais. Al?m disso, inclu?mos no BioCrowds uma resposta de conforto para os agentes, em termos de densidade e caracter?sticas t?rmicas do ambiente. Os resultados indicam que os mapeamentos culturais / psicol?gicos parecem promissores, uma vez que os agentes foram capazes de se comportar conforme o esperado. Al?m disso, os agentes foram capazes de reagir devido ao conforto t?rmico e de densidade, melhorando sua capacidade de reagir ?s mudan?as do ambiente. / Most of the techniques available nowadays for crowd simulation are focused on a specific situation, e.g. evacuation in hazardous events. Very few of them consider the cultural and personality aspects present in a society to determine the behavior of agents. Therefore, this work aims to build a framework able to deal with different cultural and personality theories as input, and translate them into a group parametrization, which is going to determine the behavior of groups and crowds in virtual environments. Also, we include in BioCrowds a comfort response for agents, in terms of density and thermal characteristics of the environment. Results indicate that the cultural/psychological mappings seem promising, since agents were able to perform as intended. Additionally, agents were able to react due to thermal and density comfort, improving their ability to react to environmental changes.

Submitted by Kelson (kelson@ucb.br) on 2016-07-14T16:20:10Z No. of bitstreams: 1 DaniloMarchioriRodriguesDissertacao2016.PDF: 2722318 bytes, checksum: c40ef1e313a19e6caee1d9d8eed9915f (MD5) / Made available in DSpace on 2016-07-14T16:20:10Z (GMT). No. of bitstreams: 1 DaniloMarchioriRodriguesDissertacao2016.PDF: 2722318 bytes, checksum: c40ef1e313a19e6caee1d9d8eed9915f (MD5) Previous issue date: 2016-02-04 / Facing uncertainty, complexity and dynamics of environments where they are in, organizations aim to understand the impacts of occurring in the economy, society, politics and technology by external scanning and internalizing the effects of those changes. In the establishment of monitoring strategies also interferes cognitive nature factors that influence both the finding of the change and in order to internalize it. Thus, in order to contribute with studying of the internalization process of outward changes in organization, the current work began identifying the state of the art in monitoring, scenario scanning, simulation and subjectivity, then obtain the theoretical approach in which to propose a method of internalizing more dynamic and less subjective changes that used qualitative modeling in building scenarios with simulation, with support of software tool. Case study was the modality chosen to propose a method to support the internalization of external changes. The variables were extracted from the prospective study of Public Security of IPEA published in 2015, for generation of qualitative models and scenarios that were simulated. Data collection was conducted through questionnaire and workshop. As a result, the proposed method has shown useful for strategic management professionals (i) check consistency of scenarios and coherence of models of entity relationships; (ii) in presentation of alternative behaviors; (iii) in analysis of how cognitive biases interfere with the strategic reviews; (iv) and in organizational learning. / Diante das incertezas, da complexidade e da din??mica dos ambientes onde est??o inseridas, as organiza????es almejam compreender os impactos de mudan??as econ??micas, sociais, pol??ticas e tecnol??gicas por meio do monitoramento externo e da internaliza????o dos efeitos dessas mudan??as. No estabelecimento de estrat??gias de monitoramento de mudan??as externas interferem, ainda, fatores de natureza cognitiva, que influem tanto na constata????o da mudan??a como no modo de internaliz??-la. Destarte, a fim de contribuir com o estudo do processo de internaliza????o das mudan??as externas das organiza????es, o presente trabalho iniciou-se identificando o estado da arte de mecanismos de monitoramento, cenariza????o, simula????o e subjetividade, para, em seguida, buscar o arcabou??o te??rico necess??rio para propor um m??todo de internaliza????o de mudan??as mais din??mico e menos subjetivo que, por fim, utilizou modelagem qualitativa na constru????o de cen??rios e simula????o, com suporte de uma ferramenta de software. Estudo de caso foi a modalidade de pesquisa escolhida para propor um m??todo de apoio ?? internaliza????o de mudan??as externas. As vari??veis utilizadas foram extra??das do estudo prospectivo de seguran??a p??blica do IPEA publicado em 2015, para gera????o dos modelos qualitativos e simula????o de cen??rios. Foram realizadas coletas de dados por meio de question??rio e de oficina. Como resultado, o m??todo proposto se mostrou ??til aos profissionais de gest??o estrat??gica (i) na checagem de consist??ncia de cen??rios e de coer??ncia dos modelos de relacionamentos de entidades; (ii) na apresenta????o de comportamentos alternativos; (iii) na an??lise sobre como as predisposi????es cognitivas interferem nos diagn??sticos estrat??gicos; (iv) e no aprendizado organizacional.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2018-01-16T17:57:41Z No. of bitstreams: 1 DidoneyFernandesVilhete_DISSERT.pdf: 3676426 bytes, checksum: 8cf7850161dec001a297218aa172a10c (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-01-22T11:12:53Z (GMT) No. of bitstreams: 1 DidoneyFernandesVilhete_DISSERT.pdf: 3676426 bytes, checksum: 8cf7850161dec001a297218aa172a10c (MD5) / Made available in DSpace on 2018-01-22T11:12:54Z (GMT). No. of bitstreams: 1 DidoneyFernandesVilhete_DISSERT.pdf: 3676426 bytes, checksum: 8cf7850161dec001a297218aa172a10c (MD5) Previous issue date: 2017-08-08 / Os riscos associados ? ruptura de barragens s?o elevados. Problemas de instabilidade envolvendo estas estruturas trazem consequ?ncias catastr?ficas ? sociedade. A barragem do A?u, ? uma obra geot?cnica de significativa notoriedade e import?ncia no Nordeste, principalmente no estado do Rio Grande do Norte. ? a maior barragem do estado e ganhou destaque na literatura nacional e internacional com o rompimento do talude de montante no final do per?odo construtivo. Em casos de ruptura, a retroan?lise ? uma t?cnica confi?vel para determina??o dos par?metros de resist?ncia ao cisalhamento dos solos de forma a contribuir para que se evite casos semelhantes. A partir da avalia??o de dados de resist?ncia dispon?veis no meio acad?mico, este trabalho teve como objetivo retroanalisar a ruptura ocorrida para obter os par?metros m?dios de resist?ncia ao cisalhamento do material argiloso preto que constitu?a o n?cleo da barragem do A?u antes do acidente ocorrido. Na primeira etapa do trabalho foram realizadas an?lises de estabilidade do talude de montante da barragem e na segunda etapa a retroan?lise determin?stica e probabil?stica. Essas an?lises foram realizadas no software Slide 7.0 pertencente ? plataforma RocScience. Os resultados mostraram que o talude romperia com os par?metros de resist?ncia da argila siltosa preta na condi??o saturada, com valores de probabilidade de ruptura variando de 60 a 97% entre os m?todos de equil?brio limite utilizados nas an?lises. Tamb?m foi poss?vel definir os poss?veis par?metros m?dios de resist?ncia ao cisalhamento da argila siltosa preta e estabelecer as causas de ruptura da barragem. Os valores da coes?o e do ?ngulo de atrito, no instante de ruptura, obtidos na retroan?lise determin?stica para a argila siltosa preta foram cu=47,1 kPa e ?u=0?. Na retroan?lise probabil?stica os valores da coes?o e do ?ngulo de atrito obtidos foram cu=33,8 kPa e ?u=3,1?, com uma probabilidade de ruptura de 52,7%. Com isso, conclui-se que a ruptura do talude de montante da barragem do A?u ocorreu por causa de erros na fase de projeto e de constru??o da barragem acompanhado pela perda de resist?ncia do solo devido aos excessos de poropress?es gerados durante a constru??o. / Risks associated to dam failure are very high. Problems of instability involving these structures bring catastrophic consequences to the social comunity. The A?u dam is a geotechnical work with significant importance in the Northeast, mainly in Rio Grande do Norte state. It is the largest dam of the state and has gained prominence in national and international literature with the slice of the upstream slope at the end of its construction period. In cases of failure, back analysis is a reliable technique used to calculate the shear strength parameters of the soil in order to avoid similar cases to happen. Considering the evaluation of strength data available in the academic environment, this work had as purpose to analyze the failure occurred in order to obtain the average shear strength parameters of the black clayey material that constituted the A?u dam core before the accident. In the first stage of this work the slope stability of the dam was analyzed and in the second stage the deterministic and probabilistic back analysis was performed. These analyzes were performed in Slide 7.0 from Rocscience platform. The results showed that the slope would fail with strength parameters of the black silty clay in the saturated condition, with values of probability of failure ranging from 60 to 97% between the equilibrium limit methods used in the analyzes. It was also possible to define the possible average shear strength values of black silty clay and to establish the causes of the dam failure. The cohesion and the friction angle values obtained at the instant of failure in the deterministic back analysis for black silty clay were cu=47.1 kPa and ?u=0?. For the probabilistic back analysis the cohesion and the friction angle values obtained were cu=33,8 kPa and ?u=3,1?, with a probability of failure of 52,7%. Therefore, it is concluded that the A?u dam upstream slope failure occurred because of errors in the design and construction phase of the dam accompanied by the loss of soil strength due to the excess of poropressures generated during the construction.

Made available in DSpace on 2014-12-17T14:06:51Z (GMT). No. of bitstreams: 1 AntonioEFF.pdf: 720128 bytes, checksum: febce55b295b3d3be15f1c24bf498884 (MD5) Previous issue date: 2009-02-26 / Na unfolding method of linear intercept distributions and secction ?rea distribution was implemented for structures with spherical grains. Although the unfolding routine depends on the grain shape, structures with spheroidal grains can also be treated by this routine. Grains of non-spheroidal shape can be treated only as approximation. A software was developed with two parts. The first part calculates the probability matrix. The second part uses this matrix and minimizes the chi-square. The results are presented with any number of size classes as required. The probability matrix was determined by means of the linear intercept and section area distributions created by computer simulation. Using curve fittings the probability matrix for spheres of any sizes could be determined. Two kinds of tests were carried out to prove the efficiency of the Technique. The theoretical tests represent ideal cases. The software was able to exactly find the proposed grain size distribution. In the second test, a structure was simulated in computer and images of its slices were used to produce the corresponding linear intercept the section area distributions. These distributions were then unfolded. This test simulates better reality. The results show deviations from the real size distribution. This deviations are caused by statistic fluctuation. The unfolding of the linear intercept distribution works perfectly, but the unfolding of section area distribution does not work due to a failure in the chi-square minimization. The minimization method uses a matrix inversion routine. The matrix generated by this procedure cannot be inverted. Other minimization method must be used / A rotina de desdobramento (unfolding) de distribui??es de intercepto linear e de ?rea de se??o foi implementada para gr?os de formato esf?rico. Apesar da rotina de unfolding ser fortemente dependente do formato do gr?o, estruturas que possuam gr?os com formatos esferoidais podem ser tratadas com esta rotina. Mesmo estruturas com gr?os de formatos n?o esferoidais podem ser tratadas por aproxima??o. Um programa com duas partes foi desenvolvido. Primeira parte determina a tabela de probabilidades. A segunda utiliza esta tabela e aplica o m?todo de minimiza??o do chi-quadrado. Os resultados s?o dados em qualquer n?mero de classes de tamanho de gr?o requerido pelo usu?rio. A tabela de probabilidade foi determinada a partir de distribui??es de intercepto linear e de ?rea de se??o geradas por simula??o computacional. Por meio de ajustes de curvas de distribui??o, tabelas de probabilidades para esferas de qualquer tamanho podem ser determinadas. Dois tipos de testes foram executados para verificar a efici?ncia do m?todo. Os testes te?ricos representam situa??es ideais. O programa conseguiu reproduzir com exatid?o as distribui??es de tamanho de gr?o sugeridas. Os testes simulados consistem em simular em computador distribui??es de tamanho de gr?os e executar todo o procedimento metalogr?fico usual. Este tipo de teste ? mais pr?ximo da situa??o real. Os resultados deste tipo de teste mostram que a rotina de medi??o estereol?gica introduz desvios estat?sticos, afastando o resultado encontrado do valor real. Contudo, a rotina de unfolding funciona perfeitamente para a distribui??o de intercepto linear. No caso de unfolding de ?rea de se??o, a minimiza??o do chi-quadrado pelo m?todo matricial gera matrizes n?o invers?veis e n?o pode ser aplicada. Outro m?todo de minimiza??o deve ser buscado