Made available in DSpace on 2015-04-14T14:49:39Z (GMT). No. of bitstreams: 1 434362.pdf: 3295787 bytes, checksum: fa874ffe7fea0bf22cc79b8e7d4b71fd (MD5) Previous issue date: 2011-08-23 / Este trabalho apresenta a tecnologia de Identifica??o por R?dio Frequ?ncia (RFID), e tem como principal objetivo a defini??o de modelos que permitam a simula??o de ambientes que utilizem esta tecnologia. Para o desenvolvimento destes modelos de simula??o, s?o extensamente abordados alguns dos principais desafios enfrentados por sistemas RFID: (i) a colis?o dos sinais provenientes das etiquetas; (ii) interfer?ncias t?picas de sinais de r?dio frequ?ncia (RF) de acordo com cada tipo de ambiente de uso de sistemas RFID; (iii) o relacionamento entre o problema das interfer?ncias de RF com a pot?ncia m?nima necess?ria para a ativa??o e comunica??o das etiquetas e dos equipamentos leitores (as dist?ncias m?ximas poss?veis entre etiquetas e antenas dos leitores); (iv) o relacionamento entre o tempo necess?rio para os protocolos padronizados resolverem o problema das colis?es e as interfer?ncias de RF de acordo com as caracter?sticas f?sicas dos ambientes onde os sistemas estar?o instalados. Muitos modelos para predi??o de sistemas tradicionais baseados em RF j? foram desenvolvidos, mas nenhum que considere as caracter?sticas e vari?veis espec?ficas de sistemas RFID aqui abordadas. Devido ao fato de cada sistema de RF a ser instalado possuir caracter?sticas pr?prias de ambiente, ? invi?vel a defini??o de uma ?nica equa??o matem?tica ou modelo que defina todos os sistemas de RF. Sendo assim, existem diferentes modelos para diferentes tipos de comunica??o de r?dio em diferentes condi??es. A contribui??o principal desta tese ? a apresenta??o de t?cnicas para a defini??o de modelos que permitam a estima??o sobre o funcionamento de sistemas RFID, considerando os problemas (i), (ii), (iii) e (iv) citados. Uma ferramenta de simula??o de ambientes RFID que utiliza os modelos desenvolvidos ? apresentada. Os resultados de valida??o s?o promissores, e foram obtidos atrav?s da compara??o das simula??es com ensaios pr?ticos, bem como atrav?s de compara??es com resultados dispon?veis na literatura

Made available in DSpace on 2015-04-14T14:49:41Z (GMT). No. of bitstreams: 1 436196.pdf: 3266895 bytes, checksum: af63490ff68d65f3eb3aa355bb1c1e97 (MD5) Previous issue date: 2011-03-21 / This study aims to develop a tool to visually simulate Stochastic Automata Networks (SAN). The SAN formalism uses the PEPS tool for numerical solution, evaluating unexpected behaviors. These numerical solutions are the core for structured formalisms since they provide numerical results based on mathematical relationships. It is very interesting to complement the numerical solution with visual simulations because it adds more detailed information about models, making them more understandable for broader audiences of researchers and general users. The present dissertation describes a tool for modeling and visual simulation of SAN models, since its internal structure defines a compact storage schema (a Descriptor) for the transition matrix representing the underlying Markov Chain and uses tensor algebra to deal with the vector-descriptor multiplication. The proposed tool will allow both academic users and enthusiasts of the SAN formalism to manipulate models abstracting a deeper knowledge of this structured formalism. / O objetivo deste trabalho ? fornecer uma ferramenta para simula??o visual de SAN. O formalismo SAN, atrav?s da ferramenta PEPS, utiliza solu??es num?ricas para calcular erros de avalia??es condicionais ou comportamento n?o esperado de sistemas modelados atrav?s deste formalismo. Estas solu??es num?ricas s?o a base para os formalismos estruturados na medida em que fornecem resultados num?ricos por meio de rela??es matem?ticas. Complementar a efici?ncia de solu??es num?ricas com a simula??o visual ? bastante interessante, pois adiciona informa??es mais detalhadas sobre o modelo o que facilita que usu?rios acad?micos iniciantes ou pesquisadores tenham um maior entendimento da aplicabilidade do formalismo estruturado. Esta disserta??o descreve uma ferramenta para modelagem e simula??o visual de SAN que em sua estrutura define um esquema de armazenamento compacto para a matriz de transi??o da cadeia de Markov e usa a ?lgebra tensorial para lidar com as multiplica??es de vetores de base da matriz. Esta ferramenta permitir? aos usu?rios acad?micos ou entusiastas do formalismo SAN manipular modelos sem a preocupa??o de um dom?nio profundo dos conceitos deste formalismo estruturado.

Made available in DSpace on 2015-04-14T14:49:43Z (GMT). No. of bitstreams: 1 437678.pdf: 5814068 bytes, checksum: 2fcd30199b7b8e6f2074caa29738c86a (MD5) Previous issue date: 2009-03-27 / This work describes a model for generating steering behaviors groups of virtual characters based on me biologically-motivated space colonization algorithm in the crowd simulation model BioCrowds. The proposition is to create an extension for BioCrowds in order to simulate steering behaviors according to the concept proposed by Craig Reynolds. This approach is named Tree Paths and is responsible for the motion control of characters providing robust and realistic group behaviors. Additionally, some extra behaviors were also studied and implemented in BioCrowds. These are called alignment and formation, and consist in a small elas of emergent behaviors that can also be useful in computers graphics and entertainment. / Este trabalho descreve um modelo para gerar comportamentos guiados de grupos de personagens inspirado biologicamente no algoritmo de coloniza??o do espa?o para simula??o de multid?es Biocrowds. A proposta consiste em criar uma extens?o para o BioCrowds com o objetivo de simular comportamentos guiados conforme descrito por Craig Reynolds. Esta abordagem ? chamada Tree Paths e ? respons?vel pelo controle de movimentos de personagens de forma robusta e real?stica. Enfim, s?o estudados e implementados alguns comportamentos que tamb?m complementam o BioCrowds, os quais, denominam-se de alinhamento e forma??o, que constituem uma classe de comportamentos emergentes ?til em computa??o gr?fica e entretenimento.

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:49:57Z (GMT). No. of bitstreams: 1 444969.pdf: 8863468 bytes, checksum: d6f97c49279c5546c9619f8479b0b679 (MD5) Previous issue date: 2011-06-27 / The use of software development processes in the IT organizations has become common. This happens because the quality product is related to the process quality. The main interest of the IT companies is to adopt one or more well-defined software development processes and tailor them when necessary to meet the projects specific needs. However, since the amount of elements and relationships of a software development process is huge, defining and tailoring a software development process are not trivial activities. Inconsistencies may easily be introduced into a software development process when certain precautions are not taken. As a consequence, an inadequate software development process may be created to a software project causing errors during its enactment. Considering the need to avoid inconsistencies in a software development process, this research proposes a consistence infrastructure that enables defining and tailoring consistent software development processes based on SPEM 2.0 metamodel. The proposed infrastructure is composed by an extension to the SPEM 2.0 metamodel, a set of well-formedness rules related to the consistency of the software development processes and a tool prototype that supports automatically the proposed metamodel and well-formedness rules. / O uso de processos de desenvolvimento de software nas organiza??es de TI tem se tornado cada vez mais comum. Um dos motivos ? que a qualidade do produto de software est? relacionada com a qualidade do processo utilizado na sua constru??o. Nesse contexto, o interesse das organiza??es ? estabelecer um ou mais processos de desenvolvimento de software bem definidos; adaptando-os, quando necess?rio, para atender metas espec?ficas dos projetos de software. Contudo, devido ? grande quantidade de elementos e relacionamentos que um processo de desenvolvimento de software possui, as atividades de defini??o e adapta??o de processos s?o tarefas n?o triviais. Quando alguns cuidados n?o s?o tomados, inconsist?ncias podem ser facilmente introduzidas em um processo de desenvolvimento de software, fato que pode, muitas vezes, ocasionar a gera??o de um processo inadequado que acarretar? em erros durante a execu??o de um projeto de software. Considerando a necessidade de evitar inconsist?ncias em um processo de desenvolvimento de software, esta pesquisa prop?e uma infraestrutura que viabiliza a defini??o e adapta??o dos processos de desenvolvimento de software consistentes baseados no metamodelo SPEM 2.0. A infraestrutura definida ? composta por uma extens?o ao metamodelo SPEM 2.0, um conjunto de regras de boa-forma??o para consist?ncia dos processos de desenvolvimento de software e um prot?tipo de ferramenta que auxilia o uso do metamodelo proposto e das regras de boa-forma??o.

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.

Submitted by Celso Magalhaes (celsomagalhaes@ufrrj.br) on 2017-09-18T11:33:32Z No. of bitstreams: 1 2016 - Jo?o M?rcio Sutana Alvim.pdf: 4276113 bytes, checksum: 115487153abb7bab43e2a012959a64e4 (MD5) / Made available in DSpace on 2017-09-18T11:33:34Z (GMT). No. of bitstreams: 1 2016 - Jo?o M?rcio Sutana Alvim.pdf: 4276113 bytes, checksum: 115487153abb7bab43e2a012959a64e4 (MD5) Previous issue date: 2016-12-21 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / In the classic set of unit operations of solid-liquid separation, sedimentation and filtration techniques stand out as critical processing steps for a broad spectrum of industrial activities. In this context, the proper knowledge of the properties and characteristics of the particulate systems directly involved represents an important aspect for the safe and efficient design of equipment and processes. Over the past 20 years, several methodologies were developed to study such phenomena, resulting in a huge library of sedimentation and filtration models available in the literature. This work presents a study based on the use of a particle-scale numerical simulation technique called Discrete Element Method (DEM), to describe the deposition of particulate solids in liquids. Tridimensional simulations of the sedimentation and filtration processes were carried out in a previously known flow field, as a way to test the applicability of the code and its capacity to virtually describe such processes. Cake properties, such as thickness, porosity and permeability were quantified over time and compared qualitatively and quantitatively with literature data. The effects of operational conditions, solids and liquid properties on the particulate model?s response were also investigated through a series of controlled numerical tests. The packing fraction values obtained in this work for the sedimentation process, when compared to the values found in the literature on similar conditions, showed a satisfactory agreement, with deviations smaller than 12% for all the points assessed / Dentro do conjunto cl?ssico das opera??es unit?rias de separa??o s?lido?l?quido, as t?cnicas de sedimenta??o e filtra??o se destacam como etapas de processamento cruciais para um amplo espectro de atividades da ind?stria. Neste contexto, o conhecimento adequado das propriedades e caracter?sticas dos sistemas particulados diretamente envolvidos representa um aspecto importante para o projeto seguro e eficiente de equipamentos e processos. Ao longo dos ?ltimos 20 anos, diversas metodologias foram desenvolvidas para estudar tais fen?menos, resultando em uma ampla biblioteca de modelos de sedimenta??o e filtra??o dispon?vel na literatura. O presente trabalho apresenta um estudo baseado no uso da simula??o num?rica em escala de part?cula, atrav?s do M?todo de Elementos Discretos ou DEM (do ingl?s ?Discrete Element Method?), para descrever a deposi??o de s?lidos particulados em suspens?es. Foram realizadas simula??es da sedimenta??o e filtra??o em tr?s dimens?es como forma de testar o funcionamento do c?digo e a sua capacidade de reproduzir virtualmente tais processos. As propriedades da torta, tais como espessura, porosidade e permeabilidade foram quantificadas ao longo do tempo e comparadas qualitativa e quantitativamente com dados da literatura. A sensibilidade do modelo desenvolvido a varia??es nas condi??es operacionais de simula??o e nas propriedades f?sicas do s?lido e do l?quido tamb?m foi analisada. Os dados de fra??o de s?lidos obtidos nas simula??es da sedimenta??o apresentaram uma concord?ncia satisfat?ria, quando comparados aos valores encontrados na literatura em condi??es similares, apresentando desvios menores do que 12% para todos os pontos avaliados.