Submitted by Celso Magalhaes (celsomagalhaes@ufrrj.br) on 2017-06-13T12:24:46Z No. of bitstreams: 1 2016 - Leandro Azevedo Silva.pdf: 63779080 bytes, checksum: f77d63d9585271a492573ca45c79e4b8 (MD5) / Made available in DSpace on 2017-06-13T12:24:46Z (GMT). No. of bitstreams: 1 2016 - Leandro Azevedo Silva.pdf: 63779080 bytes, checksum: f77d63d9585271a492573ca45c79e4b8 (MD5) Previous issue date: 2016-01-25 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The undesirable fluid invasion into the reservoir rock can cause irreversible damage to the rock formation. In order to avoid such problems, solid particles are used as bridging and weighting agent in drilling fluid formulations. The physico-chemical characteristics of these materials have a strong influence on cake formation and therefore on filtration rate and mud-filtrate invasion in rock formations. Thus, the control of filter-cake properties is critical in the oil well drilling process. The focus of this research was to evaluate the effect of calcium carbonate particle size and the concentration of two different types of polymeric viscosifier on static filtration tests. The experiments were performed in a HTHP cell (High Temperature, High Pressure) manufactured by OFI Testing Equipment?. This apparatus was previously used by Calabrez (2013), Martins (2013), and Ferraz (2014). The filter cake parameters evaluated were: porosity, permeability, cake thickness, filtrate volume, growth rate, and compressibility index. The particle size distribution of calcium carbonate, the viscosifier and its respective concentration influenced the rheology of the fluids and the filtration process. Equations that describe the filtration phenomenon and which allow the calculation of the filtration parameters were evaluated. Experimental data obtained in other studies were assessed in order to validate the studied model. Based on literature models, the simulation of drilling fluid filtrate invasion was performed in an oil well connecting the filtration and filtrate invasion equations. Using the simulation result of each fluid behavior it was possible to predict the characteristics of the fluid which will cause less damage to the oil well in this context. / A invas?o indesej?vel de fluido na rocha reservat?rio pode causar danos irrevers?veis ? forma??o rochosa. Com o intuito de mitigar tais problemas, part?culas s?lidas s?o utilizadas como material obturante e adensante na composi??o de fluidos de perfura??o. As caracter?sticas f?sico-qu?micas destes materiais t?m forte influ?ncia na forma??o da torta de filtra??o e consequentemente na taxa de filtra??o e invas?o de filtrado nas forma??es rochosas. Desta forma, o controle das propriedades da torta ? fundamental no processo de perfura??o de po?os de petr?leo. O objetivo deste trabalho foi avaliar o efeito do tamanho das part?culas de Carbonato de C?lcio e da concentra??o de dois tipos de viscosificantes polim?ricos distintos em testes de filtra??o est?tica. Os experimentos foram conduzidos em uma c?lula HTHP (High Temperature, High Pressure) produzida pela OFI Testing Equipments?. Os par?metros da torta avaliados foram: porosidade, permeabilidade, espessura da torta, volume de filtrado, fator de crescimento e ?ndice de compressibilidade. A distribui??o granulom?trica do carbonato de c?lcio, o viscosificante e sua respectiva concentra??o influenciaram na reologia dos fluidos e no processo de filtra??o. Foram avaliadas equa??es que descrevem o fen?meno de filtra??o e permitem o c?lculo de par?metros de filtra??o. Dados experimentais obtidos na literatura foram usados com o objetivo de validar o modelo estudado. Com base em modelos da literatura foi realizada a simula??o da invas?o de filtrado de fluido de perfura??o em um po?o de petr?leo conectando as equa??es de filtra??o e invas?o. Com o resultado da simula??o do comportamento de cada fluido pode-se prever quais as caracter?sticas do fluido que causar? menor dano ao po?o.

Buildings play a central role for livability and carbon footprint of urban areas. Ambitious energy saving and emission reduction targets created a need for a new generation of decisionsupport methods and tools that allow for detailed analysis of urban energy on a large scale. Urban building energy modeling (UBEM) that has emerged recently is an efficient approach to assess energy performance of multiple buildings and system effects from urban energy interventions. However, the further upscale of UBEMs is significantly limited due to the lack of automation for building energy performance (BEP) simulations required for such models in large amounts. This thesis aimed to explore challenges for automation of BEP simulations, and to develop a prototype tool that would serve as a middleware between UBEM and BEP simulation engine, focusing on the IDA ICE simulation software. The result of this thesis is icepy — a tool for automation of BEP simulations in IDA ICE. It uses IDA ICE API and Lisp scripting to provide interaction between UBEM process and IDA ICE in order to generate initial simulation model (IDM), execute simulation and manage results in an automated way. Being implemented as a Python package, it allows to modify multiple IDMs or export simulation results with a few lines of code. The developed tool has been tested and validated for the case building in Minneberg, Stockholm. The automation capabilities provided by icepy has allowed to perform sensitivity analysis for building design parameters as was demonstrated for the window-to-wall ratio (WWR) and three various algorithms for window distribution. The resulting tool has limited functionality as it addressed building envelopes which is only one component of building simulation. However, it has proved to be an efficient approach to automate simulation process and has shown a good potential for further development of such tools. / Byggnader spelar en central roll för urbana områdens levbarhet och koldioxidavtryck. Ambitiösa mål för energibesparing och utsläppsminskning har skapat ett behov av en ny generation beslutsstödmetoder och verktyg som möjliggör detaljerad analys av städers energianvändning i stor skala. Urban byggnadsenergimodellering (UBEM) har nyligen utvecklats och är ett effektivt tillvägagångssätt för att bedöma energiprestanda för flera byggnader och systemeffekter för olika energiåtgärder inom den urban miljön. Den ytterligare uppskalningen av UBEM är dock begränsad på grund av bristen på automation av simulering som är inriktade på byggnadsenergiprestanda (BEP), vilket krävs för att hantera stora byggnadsbestånd. Det här examensarbetet syftar till att utforska utmaningar med automatisering av BEP-simuleringar och att utveckla en prototyp som ska fungera som en mellanprogramvara mellan UBEM och BEP-simuleringsmotorer, med fokus på IDA ICE(som är en simuleringsprogramvara). Resultatet av examensarbetet är icepy, som är ett verktyg för att automatisera BEP-simuleringar i IDA-ICE. Icepy använder IDA ICE API och Lispskript för att tillhandahålla interaktion mellan UBEM-processen och IDA ICE för att generera en initial simuleringsmodell (IDM), utför själva simuleringen och slutligen hanterar resultatet på ett automatiserat sätt. Genom att icepy implementeras som ett Pythonpaket kan den modifiera flera IDM:er och även exportera simuleringsresultat med några få kodrader. Området Minneberg i Stockholm har använts i en fallstudie för att validera och testa verktyget. Automatiseringsfunktionerna i icepy har möjliggjort känslighetsanalyser för olika byggnadsdesignparametrar, exempelvis studerades påverkan av olika värden på förhållandet mellan fönster och väggar genom användning av tre olika algoritmer för fönsterdistributioner. Det utvecklade verktyget har begränsningar i funktionalitet framförallt på grund av att enbart byggnadens ytterskal studerades i byggnadsenergisimuleringarna. Verktyget har dock visat sig vara ett effektivt tillvägagångssätt för att automatisera simuleringsprocesser, vilket visar på en god potential att också vidareutveckla dessa verktyg.

Made available in DSpace on 2015-04-14T13:58:24Z (GMT). No. of bitstreams: 1 397594.pdf: 5870424 bytes, checksum: d8be5771efcfbddb88fa6ac684d6ad3c (MD5) Previous issue date: 2007-12-13 / A aplica??o dos materiais polim?ricos em nosso cotidiano tem sido grandemente difundida em raz?o de caracter?sticas como a excelente combina??o de baixa massa espec?fica e elevada rigidez, e a possibilidade de moldar pe?as nas mais variadas formas. ?, pois de fundamental import?ncia que o projetista disponha de ferramentas de aux?lio para a an?lise e otimiza??o que possibilitem dimensionar de modo r?pido e seguro a pe?a a ser fabricada, considerando os requisitos estruturais, caracter?sticas funcionais e restri??es impostas pelo processo de fabrica??o. Dentro deste contexto, o presente trabalho tem por objetivo desenvolver um modelo computacional para an?lise de tens?es e deforma??es em cadeiras pl?sticas tipo monobloco confeccionadas em resina de polipropileno. O modelo computacional baseia-se no M?todo dos Elementos Finitos e foi desenvolvido usando o pacote comercial SolidWorks/CosmosWorks 2007. Ensaios experimentais est?ticos e din?micos da cadeira, segundo a Norma NBR 14776, foram realizados no Laborat?rio de Ensaios Eletroeletr?nicos da PUCRS LABELO, visando ? valida??o do modelo desenvolvido. Igualmente, ensaios experimentais de tra??o e flex?o, segundo as Normas NBR 9622, ASTM D 638 e ASTM D 790, foram realizados em corpos de prova confeccionados com material retirado da cadeira. Estes ensaios forneceram as caracter?sticas mec?nicas do material, necess?rias ?s simula??es computacionais. Simula??es de carregamento e vincula??o foram executadas mostrando a validade do modelo computacional desenvolvido para a an?lise de tens?es e deforma??es da cadeira.

Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-03-20T14:37:41Z No. of bitstreams: 1 TES_JOAQUIM_VINICIUS_CARVALHO_ASSUNCAO_COMPLETO.pdf: 5447781 bytes, checksum: f414b8262d7361d1082fc73dfea5f008 (MD5) / Made available in DSpace on 2017-03-20T14:37:41Z (GMT). No. of bitstreams: 1 TES_JOAQUIM_VINICIUS_CARVALHO_ASSUNCAO_COMPLETO.pdf: 5447781 bytes, checksum: f414b8262d7361d1082fc73dfea5f008 (MD5) Previous issue date: 2016-08-09 / Modelos estoc?sticos podem ser ?teis para representar de maneira compacta cen?rios n?o determin?sticos. Al?m disso, simula??es aplicadas em um modelo compacto s?o mais r?pidas e demandam menos recursos computacionais do que t?cnicas de minera??o em grandes volumes de dados. O desafio est? na constru??o desses modelos. A acur?cia, juntamente com tempo e a quantidade de recursos usados para ajustar um modelo s?o fatores chave para sua utilidade. Tratamos aqui de t?cnicas de aprendizado de m?quina para ajustes de estruturas com a propriedade de Markov; especialmente formalismos complexos como Modelos Ocultos de Markov (HMM) e Redes de Automatos Estoc?sticos (SAN). Quanto a acur?cia, levamos em considera??o as atuais t?cnicas de ajuste, e medidas baseadas em verossimilhan?a. Quanto ao tempo de cria??o, automatizamos o processo de mapeamento de dados via s?ries temporais e t?cnicas de representa??o. Quanto aos recursos computacionais, usamos s?ries temporais e t?cnicas de redu??o de dimensionalidade, evitando assim, problemas com a explos?o do espa?o de estados. Tais t?cnicas s?o demonstradas em um processo que incorpora uma s?rie de passos comuns para o ajuste de modelos com s?ries temporais. Algo semelhante ao que o processo de descoberta de conhecimento em banco de dados (KDD) faz; por?m, tendo como componente principal, modelos estoc?sticos. / Stochastic models might be useful for creating compact representations of non-deterministic scenarios. Furthermore, simulations applied to a compact model, are faster and require fewer computational resources than the use of data mining techniques over large volumes of data. The challenge is to build such models. The accuracy as well as the time and the amount of resources used to fit such models, are the key factors related to their utility. We use machine learning techniques for the fitting of structures characterized by a Markov property; especially, complex formalisms such as Hidden Markov Models (HMM) and Stochastic Automata Networks (SAN). Regarding the accuracy, we considered the state of the art on fitting techniques and model measurements based on likelihood. Regarding the computational resources, we used time series and dimensionality reduction techniques to avoid the space state explosion. Such techniques are demonstrated in a process that embodies a set of common steps for the model fitting through time series. Similar to the knowledge discovery in databases (KDD), yet using stochastic models as a main component.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2017-11-13T21:43:46Z No. of bitstreams: 1 AMYR_BORGES_FORTES_NETO_TES.pdf: 2509779 bytes, checksum: 3513c7b9db941d3f24cfdc672eac46f9 (MD5) / Rejected by Caroline Xavier (caroline.xavier@pucrs.br), reason: Devolvido devido ? falta da folha de rosto (p?gina com as principais informa??es) no arquivo PDF, passando direto da capa para a ficha catalogr?fica. on 2017-11-21T12:48:40Z (GMT) / Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2017-12-11T16:15:52Z No. of bitstreams: 1 AMYR_BORGES_FORTES_NETO_TES.pdf: 2507882 bytes, checksum: 0ef0935814ab8c8fd102985b55b443f6 (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-12-18T13:19:03Z (GMT) No. of bitstreams: 1 AMYR_BORGES_FORTES_NETO_TES.pdf: 2507882 bytes, checksum: 0ef0935814ab8c8fd102985b55b443f6 (MD5) / Made available in DSpace on 2017-12-18T13:24:43Z (GMT). No. of bitstreams: 1 AMYR_BORGES_FORTES_NETO_TES.pdf: 2507882 bytes, checksum: 0ef0935814ab8c8fd102985b55b443f6 (MD5) Previous issue date: 2017-03-09 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Modelos de simula??o de multid?es t?m tido um papel importante em ci?ncias da computa??o j? h? algumas d?cadas desde os trabalhos pioneiros. No in?cio, agentes simulados em multid?es comportavam-se todos da mesma maneira, e tal comportamento era controlado pelas mesmas regras em todos os agentes. Com o tempo, os modelos de simula??o evoluiram, e come?aram a agregar uma maior variedade de comportamentos nos agentes. Modelos de simula??o de multid?es que implementam diferentes comportamentos nos agentes s?o chamados modelos de Multid?es Heterog?neas, em oposi??o aos modelos de Multid?es Homog?neas precedentes. Modelos de simula??o de multid?es que buscam criar agentes com comportamentos humanos realistas exploram heterogeneidade nos comportamentos dos agentes, na tentativa de atingir tal realismo. Em geral, estudos em psicologia e comportamento humano s?o usados como conhecimento de base, e os comportamentos observados nestes estudos s?o simulados em agentes virtuais. Nesta dire??o, trabalhos recentes em simula??o de multid?es exploram caracter?sticas de personalidade e modelos de emo??es. No campo de emo??es em agentes virtuais, pesquisadores est?o tentando recriar fen?menos de cont?gio de emo??es em pequenos grupos de agentes, ou mesmo estudar o impacto de cont?gio de emo??o entre agentes virtuais e participantes humanos. Sob a cren?a de que cont?gio de emo??o em agentes virtuais possa levar a comportamentos mais realistas em multi?es, este trabalho foca em recriar modelos computacionais de cont?gio de emo??es destinados a pequenos grupos de agentes, adaptando estes modelos para um contexto de simula??o de multid?es. / Crowd simulation models have been playing an important role in computer sciences for a few decades now, since pioneer works. At the beginning, agents simulated on crowds behaved all the same way, such behaviour being controlled by the same set of rules. In time, simulation models evolved and began to incorporate greater variety of behaviours. Crowd simulation models that implement different agent behaviours are so-called Heterogeneous Crowd models, opposing to former Homogeneous Crowd models. Advances in crowd simulation models that attempt to make agents with more realistic human-like behaviours explore heterogeneity of agent behaviours in order to achieve overall simulation realism. In general, human behavioural and psychological studies are used as base of knowledge to simulate observed human behaviours within virtual agents. Toward this direction, later crowd simulation works explore personality traits and emotion models. Some other work in the field of emotional virtual agents, researchers are attempting to recreate emotion contagion phenomena in small groups of agents, and even studying emotion contagion impact between virtual agents and human participants. Under the belief that emotion contagion in virtual agents might lead to more realistic behaviours on crowds, this work is focused on recreating emotion contagion computational models designed for small groups of agents, and adapting it for crowd simulation context.

Made available in DSpace on 2015-04-14T14:49:02Z (GMT). No. of bitstreams: 1 385168.pdf: 1479304 bytes, checksum: c2d3092f95cb481ba685072abcb9e193 (MD5) Previous issue date: 2006-03-16 / A Oceanografia ? o estudo das caracter?sticas f?sicas e biol?gicas dos oceanos e dos mares. Diversos aspectos clim?ticos e meteorol?gicos s?o afetados pelo comportamento do oceano. Al?m disso, no fundo oce?nico existem grandes dep?sitos de minerais, como petr?leo e g?s. A simula??o oce?nica consiste em realizar previs?es do seu comportamento, atrav?s do processamento de modelos num?ricos. Com o avan?o do poder computacional, grandes volumes de dados s?o gerados, obtendo com isso uma maior exatid?o das informa??es. Assim, ferramentas para a visualiza??o destes dados tornam-se imprescind?veis para auxiliar os ocean?grafos na an?lise e interpreta??o das informa??es. O presente trabalho tem como objetivo apresentar o projeto e desenvolvimento de uma ferramenta para visualiza??o 3D de dados oce?nicos simulados. Os dados foram obtidos atrav?s do modelo Princeton Ocean Model (POM). Para observar as caracter?sticas f?sicas do oceano, foram desenvolvidas t?cnicas para a visualiza??o de dados escalares e vetoriais, sele??o de regi?es de interesse utilizando cortes curvil?neos e anima??o do volume para observar a varia??o dos par?metros ao longo do tempo, atrav?s da visualiza??o tridimensional do oceano. Para este trabalho, inicialmente foi realizado um estudo das t?cnicas e algoritmos de visualiza??o de dados oce?nicos. Tamb?m foram abordadas diversas caracter?sticas presentes em sistemas de visualiza??o, que serviram como base para especifica??o das funcionalidades desenvolvidas na ferramenta.

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