Made available in DSpace on 2015-04-14T14:49:32Z (GMT). No. of bitstreams: 1 431853.pdf: 1050260 bytes, checksum: f000297f2655b6e67365f8fbd2031764 (MD5) Previous issue date: 2011-03-17 / O prop?sito desta disserta??o ? propor uma representa??o tensorial para Modelos Markovianos Ocultos (Hidden Markov Models HMM). A forma escolhida para alcan?ar esse objetivo passa pelo estudo de como converter um modelo HMM em um modelo SAN (Stochastic Automata Networks): estruturado e cujo formato tensorial ? conhecido. A estrat?gia de convers?o consiste na cria??o de dois aut?matos, um correspondendo ? cadeia de Markov oculta e outro para representar as emiss?es do modelo HMM. Esses aut?matos se relacionam por transi??es sincronizadas e depend?ncias funcionais s?o definidas. Um passo intermedi?rio ? necess?rio para mostrar a equival?ncia entre as representa??es SAN e HMM, sendo este passo a obten??o de uma cadeia de Markov global capaz de representar o modelo HMM. A igualdade entre as cadeias de Markov globais obtidas a partir de ambos os formalismos SAN e HMM constitui a prova de equival?ncia.

Made available in DSpace on 2015-04-14T14:49:34Z (GMT). No. of bitstreams: 1 433315.pdf: 11771212 bytes, checksum: 4d96d8d2ffc7d1b6ac2debd5af881e7c (MD5) Previous issue date: 2011-03-27 / V?rios modelos de simula??o de multid?es foram propostos, muitos atingiram bom n?vel de realismo, mas, em nenhum deles, os agentes virtuais conseguem obter o comportamento complexo das pessoas reais. Por isso, o presente trabalho apresenta: (i) uma proposta para controlar localmente os agentes do modelo Continuum Crowds [TRE06] a partir de dados de v?deos reais; (ii) uma adapta??o do modelo BioCrowds [ROD07], para que os agentes virtuais apresentem trajet?rias mais suaves ao desviarem de outros agentes; (iii) uma solu??o para modelar, no BioCrowds, obst?culos de qualquer tamanho e forma. As adapta??es realizadas no modelo Continuum Crowds culminaram na produ??o do artigo Continuum Crowds with Local Control [PAR08]. Esse novo modelo permitiu que os agentes virtuais passassem a comportar-se de maneira similar ? observada nas pessoas dos v?deos reais, al?m de permitir que ambientes detalhados fossem automaticamente configurados no modelo Continuum Crowds. O modelo de simula??o de multid?es BioCrowds utiliza competi??o por espa?o para movimentar os seus agentes. Contudo, as trajet?rias dos agentes ao desviarem de colis?es era pouco realista, pois os agentes demoravam muito para iniciar a desviar de uma colis?o, necessitando de mudan?as bruscas na dire??o do movimento. Considerando que os agentes do modelo Continuum Crowds desviam de colis?es de forma gradual e antecipada (com pequenas varia??es angulares), a solu??o utilizada nesse modelo inspirou a altera??o do modelo BioCrowds, a qual ? apresentada na presente disserta??o. Al?m disso, o modelo BioCrowds em sua forma original n?o pode simular ambientes com obst?culos pequenos, ficando restrito ? simula??o de ambientes abertos. Por isso, essa disserta??o prop?e uma solu??o para modelar obst?culos no BioCrowds, utilizando a teoria da competi??o por espa?o. Tal solu??o permite que sejam simulados ambientes compostos de obst?culos de v?rios tamanhos e formas.

Made available in DSpace on 2015-04-14T14:49:35Z (GMT). No. of bitstreams: 1 433871.pdf: 13257549 bytes, checksum: 48cf05d6c2d23d2999d7b1b399f2fa35 (MD5) Previous issue date: 2011-03-22 / A ?rea de simula??o de agentes em ambientes virtuais possui ampla aplica??o, tanto na ?rea de jogos e produ??es de entretenimento, bem como em aplica??es de seguran?a. Para tanto, tais simula??es devem considerar, al?m de percep??es do agente, caracter?sticas do espa?o que possam influenciar a evolu??o do movimento dos agentes no ambiente. Tais caracter?sticas podem representar informa??es geogr?ficas (como a presen?a de rios ou lagos), obst?culos a serem e evidenciados ou varia??es 3D no ambiente virtual, que devem ser consideradas durante a locomo??o de personagens. Com este olhar, neste trabalho, considera-se o conceito de "racioc?nio de terrenos', onde busca-se, atrav?s de informa??es sem?nticas do terreno, identificar caracter?sticas presentes no espa?o e lev?-las em considera??o na produ??o do movimento dos personagens que povoam o ambiente. Como principal objetivo, o trabalho apresenta a adequa??o do modelo para simula??o de multid?es denominado BioCrowds, ao qual ?ntegra-se o conceito de "racioc?nio de terrenos" Considerando a abordagem biol?gica adotada no modelo utilizado para simula??o do movimento de pedestres, foram propostas adequa??es no mesmo a fim de possibilitar a integra??o do novo conceito. Dessa forma, p?de-se obter novos resultados de simula??o, apresentando situa??es onde faz-se necess?ria a utiliza??o do conceito de racioc?nio de terrenos na busca de comportamentos mais consistentes.

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