Made available in DSpace on 2014-12-17T15:47:57Z (GMT). No. of bitstreams: 1 ShirllyCMS.pdf: 557194 bytes, checksum: 9adadd98c97ef1f0b498b06d2051e869 (MD5) Previous issue date: 2006-01-20 / The main goal of this work is to investigate the suitability of applying cluster ensemble techniques (ensembles or committees) to gene expression data. More specifically, we will develop experiments with three diferent cluster ensembles methods, which have been used in many works in literature: coassociation matrix, relabeling and voting, and ensembles based on graph partitioning. The inputs for these methods will be the partitions generated by three clustering algorithms, representing diferent paradigms: kmeans, ExpectationMaximization (EM), and hierarchical method with average linkage. These algorithms have been widely applied to gene expression data. In general, the results obtained with our experiments indicate that the cluster ensemble methods present a better performance when compared to the individual techniques. This happens mainly for the heterogeneous ensembles, that is, ensembles built with base partitions generated with diferent clustering algorithms / O principal objetivo deste trabalho ? investigar a viabilidade da aplica??o de t?cnicas de combina??o de agrupamentos (comit?s de agrupamento) a dados de express?o g?nica. Mais especificamente, ser?o realizados experimentos com tr?s m?todos diferentes de comit?s de agrupamentos que v?m sendo bastante usados na literatura: matriz de coassocia??o, rerotulagem e vota?ao, e comit?s baseados em particiona mento de grafo. A entrada para esses m?todos de combina??o ser?o as parti??es geradas por tr?s algoritmos de agrupamento, os quais representam diferentes paradigmas: arquico com liga??o k m?dias, ExpectationMaximization (EM), e o algoritmo hier?rquico com liga??o m?dia. Todos esse algoritmos v?m sendo amplamente utilizados no contexto de dados de express?o g?nica. De forma geral, os resultados obtidos indicam um desempenho superior das t?cnicas de comit?s em rela??o as t?cnicas de agrupamento individuais, principalmente no contexto de comit?s heterog?neos, isto ?, comit?s formados por parti??es base geradas por diferentes algoritmos de agrupamentos

Made available in DSpace on 2014-12-17T15:47:59Z (GMT). No. of bitstreams: 1 ElizamaCL_DISSERT.pdf: 2492440 bytes, checksum: f1ce600c75a6e4f443532ee39fe5df1f (MD5) Previous issue date: 2011-05-31 / In development of Synthetic Agents for Education, the doubt still resides about what would be a behavior that could be considered, in fact, plausible for this agent's type, which can be considered as effective on the transmission of the knowledge by the agent and the function of emotions this process. The purpose of this labor has an investigative nature in an attempt to discover what aspects are important for this behavior consistent and practical development of a chatterbot with the function of virtual tutor, within the context of learning algorithms. In this study, we explained the agents' basics, Intelligent Tutoring Systems, bots, chatterbots and how these systems need to provide credibility to report on their behavior. Models of emotions, personality and humor to computational agents are also covered, as well as previous studies by other researchers at the area. After that, the prototype is detailed, the research conducted, a summary of results achieved, the architectural model of the system, vision of computing and macro view of the features implemented. / No desenvolvimento de Agentes Sint?ticos Educacionais, ainda reside a d?vida sobre o que seria um comportamento que possa ser considerado, de fato, plaus?vel para esse tipo de agente, qual forma pode ser considerada eficaz na transmiss?o do conhecimento pelo agente e qual o papel das emo??es nesse processo. A proposta desse trabalho tem um cunho investigativo na tentativa de descobrir quais aspectos s?o importantes para esse comportamento coerente e pr?tico no desenvolvimento de um chatterbot com o papel de tutor virtual, inserido no contexto de ensino de algoritmos. Neste estudo, s?o explanados os conceitos b?sicos de agentes, Sistemas Tutores Inteligentes, bots, chatterbots e como esses sistemas precisam se apresentar para transmitir credibilidade no seu comportamento. Modelos de emo??es, personalidade e humor para agentes computacionais tamb?m s?o abordados, bem como estudos j? realizados na ?rea por outros pesquisadores. Ap?s isso, ? detalhado o prot?tipo desenvolvido, as pesquisas realizadas, s?ntese dos resultados alcan?ados, o modelo arquitetural do sistema, vis?o do ambiente computacional e vis?o macro das funcionalidades implementadas.

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 IvanSMJ_DISSERT.pdf: 2894212 bytes, checksum: 3acb921ac87239ee36be60cb2e15b0e6 (MD5) Previous issue date: 2012-04-27 / A remo??o de inconsist?ncias em um projeto ? menos custosa quando realizadas nas etapas iniciais da sua concep??o. A utiliza??o de M?todos Formais melhora a compreens?o dos sistemas al?m de possuir diversas t?cnicas, como a especifica??o e verifica??o formal, para identificar essas inconsist?ncias nas etapas iniciais de um projeto. Por?m, a transforma??o de uma especifica??o formal para uma linguagem de programa??o ? uma tarefa n?o trivial. Quando feita manualmente, ? uma tarefa pass?vel da inser??o de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benef?cios ao produto final a ser desenvolvido. Este trabalho prop?e a extens?o de uma ferramenta cujo foco ? a tradu??o autom?tica de especifica??es em CSPm para Handel-C. CSP ? uma linguagem de descri??o formal adequada para trabalhar com sistemas concorrentes. Handel-C ? uma linguagem de programa??o cujo resultado pode ser compilado diretamente para FPGA's. A extens?o consiste no aumento no n?mero de operadores CSPm aceitos pela ferramenta, permitindo ao usu?rio definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Al?m disto, propomos tamb?m a implementa??o de um protocolo de comunica??o que elimina algumas restri??es da composi??o paralela de processos na tradu??o para Handel-C, permitindo que a comunica??o entre m?ltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Made available in DSpace on 2014-12-17T15:48:02Z (GMT). No. of bitstreams: 1 SamaraPCM.pdf: 423447 bytes, checksum: 456d500c5d740d1624cc15f51c602aa1 (MD5) Previous issue date: 2006-05-19 / The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization / O uso do tipo intervalar em v?rias ?reas favorece a id?ia de se ter uma estrutura b?sica reutiliz?vel, ou seja, um construtor intervalar que seja aplicado a um tipo de dados para se obter os intervalos desse tipo. Como um intervalo, intuitivamente ? o conjunto de elementos que est?o entre dois extremos, sua constru??o presup?e a no??o de ordem, e portanto ? razo?vel que este construtor trabalhe sobre tipos munidos de uma ordem parcial. Por outro lado, como o que se quer ? operar com intervalos de objetos de um certo tipo como se opera com esses objetos, ent?o tamb?m ? razo?vel querer que as propriedades alg?bricas desses objetos sejam preservadas no seu tipo intervalar. Assim, o construtor intervalar fornece uma fundamenta??o te?rica para o tipo intervalo parametrizado, ou seja, intervalos cujo par?metro ? generalizado podendo ser, por exemplo, n?meros reais, complexos, etc. A aplica??o do intervalo em certas estruturas alg?bricas nem sempre garante a preserva??o de suas caracter?sticas, por exemplo, quando se trabalha com intervalos de n?meros reais, seria conveniente que estes pudessem se comportar como se fossem os reais. Isto n?o acontece pois os reais satisfazem as propriedades alg?bricas de corpo, j? os intervalos de reais n?o (por exemplo, n?o suporta a propriedade distributiva). Para superar esta dificuldade Santiago introduziu a teoria da igualdade local numa forma de enfraquecer a no??o de igualdade forte fazendo com que propriedades satisfeitas localmente sejam relevantes, propriedades estas que antes poderiam ser descartadas. A generaliza??o da aritm?tica intervalar prop?e a aplica??o do construtor intervalar em estruturas alg?bricas ordenadas e enfraquecidas pela igualdade local, objetivando a manuten??o de suas propriedades alg?bricas. Como os intervalos s?o importantes em aplica??es que trabalhem com dados cont?nuos, ? interessante descrever esta teoria usando uma linguagem de especifica??o que permita o desenvolvimento de sistemas computacionais que usem tipos intervalares de modo disciplinado, confi?vel e seguro. Atualmente, as linguagens de especifica??es alg?bricas, que se baseiam em modelos matem?ticos, t?m sido muito usadas para este proposito. Dentre as v?rias linguagens deste tipo existentes, foi escolhida CASL (Common Algebraic Specification Language) por conter diversas caracter?sticas relevantes para especifica??o do tipo intervalar parametrizado como, por exemplo, admitir parametriza??o e parcialidade

Made available in DSpace on 2014-12-17T15:48:08Z (GMT). No. of bitstreams: 1 CaioSVB.pdf: 870470 bytes, checksum: a842971c4d35e47c9f8084ff650e5651 (MD5) Previous issue date: 2006-05-19 / Nowadays due to the security vulnerability of distributed systems, it is needed mechanisms to guarantee the security requirements of distributed objects communications. Middleware Platforms component integration platforms provide security functions that typically offer services for auditing, for guarantee messages protection, authentication, and access control. In order to support these functions, middleware platforms use digital certificates that are provided and managed by external entities. However, most middleware platforms do not define requirements to get, to maintain, to validate and to delegate digital certificates. In addition, most digital certification systems use X.509 certificates that are complex and have a lot of attributes. In order to address these problems, this work proposes a digital certification generic service for middleware platforms. This service provides flexibility via the joint use of public key certificates, to implement the authentication function, and attributes certificates to the authorization function. It also supports delegation. Certificate based access control is transparent for objects. The proposed service defines the digital certificate format, the store and retrieval system, certificate validation and support for delegation. In order to validate the proposed architecture, this work presents the implementation of the digital certification service for the CORBA middleware platform and a case study that illustrates the service functionalities / Atualmente, plataformas de integra??o de componentes, tamb?m chamadas de plataformas de middleware, t?m tido um importante papel no suporte ao desenvolvimento de sistemas distribu?dos. Em rela??o a controle de acesso, plataformas de middleware t?m utilizado certificados digitais, para verificar a autenticidade de um elemento, em conjunto com controle de acesso baseado em pap?is, para identificar quais opera??es poder?o ser acessadas por tal elemento. Apesar dos certificados terem um papel fundamental no suporte a seguran?a em plataformas de middleware, a maioria delas n?o define requisitos para obten??o, manuten??o, valida??o e delega??o de certificados. Esse trabalho tem como objetivo propor um servi?o gen?rico para certifica??o digital em plataformas de middleware. Esse servi?o deve oferecer flexibilidade atrav?s do uso conjunto de certificados de chave p?blica e certificados de atributos de forma a distinguir a fun??o de autentica??o da fun??o de autoriza??o. Os certificados de atributos d?o suporte ao controle de acesso baseado em pap?is. A flexibilidade tamb?m deve ser endere?ada atrav?s do suporte a delega??o. Na implementa??o para diferentes plataformas de middleware o controle de acesso baseado em certificados deve funcionar de forma transparente para os objetos. De forma a validar o servi?o pretende-se implement?-lo e test?-lo no contexto da plataforma de middleware CORBA, amplamente utilizada atualmente

Made available in DSpace on 2014-12-17T15:48:09Z (GMT). No. of bitstreams: 1 VivianeMR_DISSERT.pdf: 1295596 bytes, checksum: 1bb5688145cd1ce7005121d9de48c246 (MD5) Previous issue date: 2013-12-13 / The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen / O trabalho proposto por Cleverton Hentz (2010) apresentou uma abordagem para defini??o de testes a partir da descri??o formal das entradas do programa. Considerando que alguns programas podem ter suas entradas formalizadas atrav?s de gram?ticas, como ? o caso dos compiladores, ? comum o uso de gram?ticas livres de contexto para especificar o conjunto de entradas v?lidas. No trabalho original foi desenvolvida LGen, uma ferramenta que consiste na gera??o autom?tica de testes para compiladores. No presente trabalho identificamos tipos de problemas recorrentes em diferentes ?reas, onde gram?ticas s?o usadas para descrev?-los, como por exemplo, para especificar configura??es de software, e que s?o situa??es potenciais para o uso de LGen. Al?m disso, realizamos estudos de caso com gram?ticas de dom?nios diferentes e a partir destes estudos foi poss?vel avaliar o comportamento e o desempenho de LGen durante o processo de gera??o das senten?as, avaliando aspectos como tempo de execu??o, quantidade de senten?as geradas e satisfa??o de crit?rios de cobertura dispon?veis em LGen

Made available in DSpace on 2014-12-17T15:48:10Z (GMT). No. of bitstreams: 1 EliezioSSN_DISSERT.pdf: 2190104 bytes, checksum: 2908609aa5c1ba4f1490b02210bf4470 (MD5) Previous issue date: 2014-04-25 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness / As linguagens de programa??o convencionais fornecem mecanismos de tratamento de exce??es internos a fim de prover implementa??o de tratamento de exce??es em sistemas de software robusto e manuten?vel. A maioria dessas linguagens modernas, tais como C#, Ruby, Python e muitas outras, frequentemente afirmaram ter mecanismos de tratamento de exce??o mais apropriados. Elas reduzem as restri??es de programa??o no tratamento de exce??o buscando agilizar mudan?as no c?digo fonte. Essas linguagens suportam o que chamamos de mecanismos de tratamento de exce??es dirigidos a manuten??o. Espera-se que a ado??o desses mecanismos aumentem a manutenibilidade dos softwares sem impactar na robustez. Entretanto ainda existe pouco conhecimento emp?rico acerca do impacto que a ado??o desses mecanismos tem na robustez de softwares. Este trabalho busca preencher essa lacuna conduzindo um estudo emp?rico direcionado ao entendimento da rela??o entre mudan?as em programas C# e sua robustez. Em particular, n?s avaliamos como mudan?as nos c?digos normal e excepcional se relacionam com faltas no tratamento de exce??o. N?s aplicamos uma an?lise de impacto de mudan?a e uma an?lise de fluxo de controle em 100 vers?es de 16 programas escritos em C#. A partir dos dados coletados, este trabalho identificou os elementos do trade-off entre manutenibilidade e robustez

Made available in DSpace on 2014-12-17T15:48:11Z (GMT). No. of bitstreams: 1 JoseCL_DISSERT.pdf: 3900397 bytes, checksum: b91f886645164577ed2a25d0dc1d2260 (MD5) Previous issue date: 2014-07-31 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / A Internet atual vem sofrendo v?rios problemas em termos de escalabilidade, desempenho, mobilidade, etc., devido ao vertiginoso incremento no n?mero de usu?rios e o surgimento de novos servi?os com novas demandas, propiciando assim o nascimento da Internet do Futuro. Novas propostas sobre redes orientadas a conte?do, como a arquitetura Entidade Titulo (ETArch), proveem novos servi?os para este tipo de cen?rios, implementados sobre o paradigma de redes definidas por software. Contudo, o modelo de transporte do ETArch ? equivalente ao modelo best-effort da Internet atual, e vem limitando a confiabilidade das suas comunica??es. Neste trabalho, ETArch ? redesenhado seguindo o paradigma do sobreaprovisionamento de recursos para conseguir uma aloca??o de recursos avan?ada integrada com OpenFlow. Como resultado, o framework SMART (Suporte de Sess?es M?veis com Alta Demanda de Recursos de Transporte), permite que a rede defina semanticamente os requisitos qualitativos das sess?es para assim gerenciar o controle de Qualidade de Servi?o visando manter a melhor Qualidade de Experi?ncia poss?vel. A avalia??o do planos de dados e de controle teve lugar na plataforma de testes na ilha do projeto OFELIA, mostrando o suporte de aplica??es m?veis multim?dia com alta demanda de recursos de transporte com QoS e QoE garantidos atrav?s de um esquema de sinaliza??o restrito em compara??o com o ETArch legado / Current Internet has confronted quite a few problems in terms of network mobility, quality, scalability, performance, etc., mainly due to the rapid increase of the number of endusers and various new service demands, requiring new solutions to support future usage scenarios. New Future Internet approaches targeting Information Centric Networking, such as the Entity Title Architecture (ETArch), provide new services and optimizations for these scenarios, using novel mechanisms leveraging the Software Defined Networking (SDN) concept. However, ETArch approach is equivalent to the Best Effort capability of current Internet, which limits achieving reliable communications. In this work, ETArch was evolved with both quality-oriented mobility and resilience functions following the over-provisioning paradigm to achieve advanced network resource allocation integrated with OpenFlow. The resulting framework, called Support of Mobile Sessions with High Transport Network Resource Demand (SMART), allows the network to semantically define the quality requirements of each session to drive network Quality of Service control seeking to keep best Quality of Experience. The SMART evaluation in both data and control plane was carried out using a real testbed of the OFELIA Brazilian island, showing that its quality-oriented network functions allowed supporting bandwidth-intensive multimedia applications with high QoS and QoE over time through a signalling restricted scheme in comparison with the legacy ETArch

Made available in DSpace on 2014-12-17T15:48:11Z (GMT). No. of bitstreams: 1 LigiaBB.pdf: 1036516 bytes, checksum: 36260a287f3ddf0bc38abbb0ec32b82f (MD5) Previous issue date: 2007-02-09 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The Traveling Purchaser Problem is a variant of the Traveling Salesman Problem, where there is a set of markets and a set of products. Each product is available on a subset of markets and its unit cost depends on the market where it is available. The objective is to buy all the products, departing and returning to a domicile, at the least possible cost defined as the summation of the weights of the edges in the tour and the cost paid to acquire the products. A Transgenetic Algorithm, an evolutionary algorithm with basis on endosymbiosis, is applied to the Capacited and Uncapacited versions of this problem. Evolution in Transgenetic Algorithms is simulated with the interaction and information sharing between populations of individuals from distinct species. The computational results show that this is a very effective approach for the TPP regarding solution quality and runtime. Seventeen and nine new best results are presented for instances of the capacited and uncapacited versions, respectively / O Problema do Caixeiro Comprador ? uma variante do Problema do Caixeiro Viajante, onde existe um conjunto de mercados e um conjunto de produtos. Cada produto est? dispon?vel em um subconjunto de mercados e o pre?o da unidade varia de acordo com o mercado. O objetivo ? comprar todos os produtos, partindo e retornando para o dep?sito, de maneira que a soma do custo da rota e dos produtos seja m?nimo. Um Algoritmo Transgen?tico, algoritmo evolucion?rio com base na endosimbiose, ? utilizado para resolver a vers?o Capacitada e N?o Capacitada desse problema. A evolu??o no algoritmo transgen?tico ? simulada com a intera??o e troca de informa??es entre popula??o de indiv?duos de diferentes esp?cies. Os resultados computacionais mostram que a abordagem ? satisfat?ria para o PCC , tanto na qualidade da solu??o, quanto no tempo de execu??o. Dezessete e nove novas melhores solu??es s?o encontradas para o PCC Capacitado e para o PCC N?o Capacitado, respectivamente

Made available in DSpace on 2014-12-17T15:48:12Z (GMT). No. of bitstreams: 1 AlessandroLSF_DISSERT.pdf: 5359322 bytes, checksum: 38000f531a3025444d952f3756cbb61a (MD5) Previous issue date: 2014-03-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Interface C?rebro-Computador (ICC) ? uma ?rea que v?m sendo estudada h? d?cadas, mas apenas nos ?ltimos anos atingiu um n?vel de maturidade suficiente para permitir o seu uso com jogos digitais. Considerando que no futuro as ICCs far?o parte de sistemas interativos, ? preciso estudar o seu uso, avaliar quais s?o seus desafios e limita??es e, tamb?m, entender de forma mais apurada como adapt?-la para uso conjugado com outras formas usuais de intera??o humano-computador. Nesta pesquisa, investigamos apenas as ICCs n?o-invasivas por entendermos que esse tipo de ICC poder? ser, de fato, utilizada por usu?rios finais nesse novo paradigma de intera??o. Um dos grandes potenciais de uso de ICCs ? no dom?nio de jogos digitais, onde podem aumentar a imers?o e a divers?o atrav?s de um controle via ondas cerebrais. Apesar disso, nos dias atuais, ainda existem grandes dificuldades no processo de design e desenvolvimento de jogos dessa natureza. Como resultados da pesquisa destacamos o extenso levantamento da ?rea, a identifica??o de desafios de intera??o relacionados a ICCs, a identifica??o dos stakeholders atrav?s do referencial te?rico-metodol?gico da Semi?tica Organizacional, a confec??o de um design-rationale para apoiar o processo de design de jogos dessa natureza e, ainda, o design e a implementa??o em C++ de um jogo de batalha naval via uma ICC h?brida baseada em movimento imaginado para uso com o headset EEG Emotic EPOC