Made available in DSpace on 2015-04-14T14:49:54Z (GMT). No. of bitstreams: 1 443170.pdf: 1479067 bytes, checksum: 6992d7b626a852b264ada088113d267b (MD5) Previous issue date: 2012-08-31 / Projects performance evaluation is an important aspect of global software development. Companies and institutions can obtain benefits by the use of performance evaluation of teams working in different sites. The objective of this work is to discuss a stochastic model definition to performance evaluation of Follow-The-Sun (FTS) projects aspects such as time, quality and cost. Example issues that can be addressed using this FTS model are provided with performance evaluation results. / Avalia??o de desempenho de projetos ? um aspecto importante em desenvolvimento de software Distribu?do. Empresas e institui??es podem obter benef?cios atrav?s da utiliza??o de an?lise de performance em times trabalhando em diferentes locais. Este trabalho tem como objetivo apresentar uma defini??o de modelagem estoc?stica para projetos Follow-The-Sun (FTS) em diferentes aspectos como tempo, qualidade e custo. Exemplos de uso do modelo s?o apresentados em conjunto com os resultados de avalia??o dos mesmos.

Made available in DSpace on 2015-04-14T14:50:03Z (GMT). No. of bitstreams: 1 449321.pdf: 6617499 bytes, checksum: 57811360aff324876ce7118b02859e61 (MD5) Previous issue date: 2013-03-26 / The counterexamples and witnesses generation is one of the main attractive features of Model Checking. Counterexamples are a great data source to debug the system, because they are generated when a specification is violeted by a model of the system. On other hand, witnesses show that a model of the system holds for an specification, through an execution trace of the system. This dissertation is part of a project aimed to the construction of a Model Checker for Stochastic Automata Networks and focuses in the generation of counterexamples and witnesses for the tool / A possibilidade de gera??o de contraexemplos e testemunhas ? um dos principais atrativos da t?cnica de Verifica??o de Modelos. Os contraexemplos s?o uma boa fonte para depura??o do sistema, pois s?o gerados quando uma especifica??o ? refutada pelo modelo. J? as testemunhas ratificam a satisfa??o de uma especifica??o pelo modelo atrav?s de uma execu??o do sistema. Esta disserta??o de Mestrado ? parte de um projeto de constru??o de um verificador de modelos para modelos descritos em Redes de Aut?matos Estoc?sticos e trata da implementa??o da gera??o de contraexemplos e testemunhas para a ferramenta

Made available in DSpace on 2015-04-14T14:50:13Z (GMT). No. of bitstreams: 1 459162.pdf: 4186967 bytes, checksum: 6dd4e203f8e1da6979a67d378beb6228 (MD5) Previous issue date: 2013-03-25 / Stochastic Automata Network (SAN) is a formalism that allows the description of systems in order to evaluate them quantitatively. The aim of this work is to enable the qualitative evaluation on SAN models through its translation to the language of an existent model checker. This work proposes, details and exemplifies the mapping of a subset of SAN models to the NuSMV input language. As observed, the NuSMV models generated by the translator preserve the semantic of its originals SAN models because they have an isomorphic transition state system. The model checking through CTL (Computation Tree Logic) on SAN models is exemplified as well / Redes de aut?matos estoc?sticos (SAN) ? um formalismo que permite a descri??o de sistemas a fim de realizar avalia??es quantitativas. O objetivo deste trabalho ? possibilitar avalia??es qualitativas de modelos SAN atrav?s de sua tradu??o para a linguagem de um verificador existente. O trabalho prop?e, detalha e exemplifica o mapeamento de um subconjunto de modelos SAN para a linguagem de entrada do NuSMV. Conforme o resultado observado, os modelos para o NuSMV gerados pelo tradutor preservam a sem?ntica dos respectivos modelos SAN originais pois apresentam sistemas de transi??o de estados isom?rficos. A verifica??o de propriedades em CTL (Computation Tree Logic) sobre os modelos SAN ? exemplificada

Made available in DSpace on 2015-04-14T14:50:15Z (GMT). No. of bitstreams: 1 460932.pdf: 19246675 bytes, checksum: 8be0695d634eda0abb5f37e0508b476e (MD5) Previous issue date: 2014-04-28 / Endodontics is the branch of dentistry that deals with the treatement of the diseases within the tooth roots. The dentists training to work in Endodontics is done using extracted teeth, which are not always available, or using resin teeth, which doesn t reproduce all the natural tooth physical properties. Since the treatment is performed inside the tooth, dentists do not see how treatment is evolving, so that, they need to develop high tactile sensitivity to know if the treatment is being performed correctly. New training methods using Virtual Reality based simulators equipped with haptic devices have been used for this type of training. However, most simulators are designed to simulate tasks that uses rotary dental drill to perform the coronary opening procedure, leaving aside the training of cleaning and shaping of root canals. For this task dentists use endodontic hand tools in the form of small files that are inserted on the root channels targeting to remove the pulp and extend its diameter. The main goal of this work is to develop a methodology for endodontic training that uses a Virtual Reality based simulator with a haptic device. This simulator allows to convincingly mimic the tactile sensation perceived by the dentist during the task of cleaning and shaping of root canals using endodontic hand tools. Besides the simulator, in order to support the methodology, a haptic device with four degrees of freedom, was designed and built. During the simulation, the system captures the movements and forces the dentist applies on the haptic device. After that, using a visualization software, the user can see these moves and analyze his own performance. Tests performed with dentists and dental students shown that the simulator is able to convincingly represents the haptic sensation that occurs in a real environment. The test results also show that the visualization system is effective to help the users to identify potential errors that may happen during the simulation. / A Endodontia ? a especialidade da Odontologia respons?vel por tratar as doen?as que ocorrem dentro das ra?zes do dente. O treinamento dos dentistas para atuarem na Endodontia ? feito com o uso de dentes naturais extra?dos, que nem sempre est?o dispon?veis, ou com dentes de resina, que n?o conseguem reproduzir todas as propriedades f?sicas de um dente natural. Devido ao tratamento ser realizado dentro do dente, os dentistas n?o tem vis?o de como o tratamento est? evoluindo, necessitando para isto, desenvolver alta sensibilidade t?til para perceber se o tratamento est? sendo realizado corretamente. Novos m?todos de treinamento utilizando simuladores baseados em Realidade Virtual equipados com dispositivos h?pticos v?m sendo utilizados para este tipo de treinamento. Entretanto, a maior parte dos simuladores preocupa-se em simular tarefas que utilizam instrumentos rotat?rios para realizar o procedimento de abertura coron?ria, deixando de lado o treinamento da tarefa de limpeza e modelagem dos canais radiculares. Nesta tarefa os dentistas utilizam instrumentos manuais no formato de pequenas limas que s?o introduzidas nos canais do dente visando remover sua polpa e dilatar seu di?metro. O objetivo deste trabalho ? desenvolver uma metodologia de treinamento em endodontia que usa um simulador de realidade virtual com um dispositivo h?ptico. Este simulador permite imitar, de forma convincente, a sensa??o t?til percebida pelo dentista durante a etapa de limpeza e modelagem dos canais radiculares utilizando instrumental endod?ntico manual. Al?m do simulador, a fim de apoiar a metodologia, foi constru?do um dispositivo h?pico com quatro graus de liberdade. Durante a simula??o, o sistema captura os movimentos e a for?a que o dentista emprega no dispositivo h?ptico. Depois disso, com o uso de um software de visualiza??o, o usu?rio pode ver estes movimentos e analisar o pr?prio desempenho. Testes feitos com dentistas profissionais, professores e alunos de endodontia mostraram que o simulador ? capaz de reproduzir de forma convincente a sensa??o t?til que ocorre em um ambiente real. Os resultados dos testes demostram tamb?m que a ferramenta de visualiza??o da simula??o desenvolvida ? eficaz para ajudar o usu?rio a identificar poss?veis erros que ocorrem durante as simula??es.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-08-24T17:11:53Z No. of bitstreams: 1 TES_VINICIUS_JURINIC_CASSOL_COMPLETO.pdf: 4054111 bytes, checksum: 0b00dfdc62fea2810f4bea20fd2c1f08 (MD5) / Made available in DSpace on 2016-08-24T17:11:53Z (GMT). No. of bitstreams: 1 TES_VINICIUS_JURINIC_CASSOL_COMPLETO.pdf: 4054111 bytes, checksum: 0b00dfdc62fea2810f4bea20fd2c1f08 (MD5) Previous issue date: 2016-03-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Funda??o de Amparo ? Pesquisa do Estado do Rio Grande do Sul - FAPERGS / The power of the technology impacts on the modern life in different manners everyday. A variety of scientific models and computational tools have been developed to improve human safety and comfort in built environments. In particular, the comprehension of pedestrian behaviors has higher importance in such context. Moreover, some places are propitious to people agglomeration, i.e. a train station and an airport or even specials events like a sport game. In this thesis we discuss the use of crowd simulation to reproduce and evaluate egress performance in specific scenarios. We present CrowdSim: a crowd simulation framework designed to automatically reproduce crowd behaviors during an egress process. A set of software validation tests has been conducted in order to ensure the accuracy of the simulations computed by CrowdSim. In addition, CrowdSim is able to generate a set of plausible egress plans to be performed in a specific environment and also to rank them. Several case studies were performed in order to evaluate the work. Further, we performed different analyzes, including also the comparison of simulation data against data obtained from real-life experiments. / O poder da tecnologia impacta constantemente na vida moderna. Diversos modelos cient?ficos, al?m de ferramentas de computacionais, foram desenvolvidos com o objetivo principal de garantir o conforto e a seguran?a das pessoas que circulam por um determinado ambiente. Al?m disso, ? poss?vel de f?cil observa??o o fato que muitos ambientes p?blicos (aeroportos, esta??es de trem ou rodovi?rias al?m de est?dios ou arenas esportivas) s?o prop?cios ? alta aglomera??o de pessoas. Dessa forma, o entendimento do comportamento das pessoas em tais tipos de ambiente tornase muito importante. A presente tese discute o uso de simula??o de multid?es como ferramenta para reproduzir e avaliar computacionalmente o processo de evacua??o de ambientes aglomerados. A ferramenta Crowdsim foi desenvolvida com este fim: reproduzir o comportamento de pessoas durante o processo de abandono de ambientes. Al?m do desenvolvimento da ferramenta, diversas valida??es foram realizadas com o objetivo de garantir a qualidade dos resultados produzidos por CrowdSim. Al?m disso, a ferramenta ? capaz de gerar automaticamente diversos planos de evacua??o poss?veis de serem realizados em um mesmo ambiente. Tais planos s?o avaliados a fim de identificar o melhor plano. Diversos estudos de caso foram realizados com o objetivo de validar esta pesquisa. Diferentes tipos de an?lises foram aplicados e incluem at? mesmo a compara??o de dados obtidos com simula??o e dados nas mesmas circunst?ncias obtidos em um processo de abandono de ambiente realizado na vida real.

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.

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.