Made available in DSpace on 2015-03-04T18:51:19Z (GMT). No. of bitstreams: 1 TeseNatalia.pdf: 2041250 bytes, checksum: 574e8fdc58499aa0fe74fc2587a2a8d6 (MD5) Previous issue date: 2010-07-16 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / Neste trabalho três novas formulações de Galekin descontínuo são desenvolvidas utilizando a estrutura submalha de duas escalas para resolver as equações de convecção-difusão-reação. A primeira, inspirada no método NSGS (Nonlinear Subgrid Stabilization) introduz um termo não-linear de viscosidade submalha agindo apenas nas escalas menores da malha de elementos finitos. A segunda, baseada nas arestas, introduz dois termos de estabilização submalha considerando o resíduo da solução aproximada na escala resolvida em cada elemento, e o salto da solução submalha nas arestas entre os elementos. A terceira, acrescenta viscosidade artificial que atua em todas as escalas, que também é controlada pela solução na escala resolvida a nível de elemento. Todas as formulações podem ser consideradas adaptativas, no sentido de que a estabilização atua somente onde é necessária. Para as duas primeiras formulações as estimativas de erro revelam taxas de convergência semelhantes `as de métodos estabilizados, embora se obtenha taxas ótimas para os três métodos em problemas regulares. Experimentos numéricos são realizados a fim de demonstrar o comportamento dos novos métodos em comparação com outros métodos encontrados na literatura

Submitted by Maria Cristina (library@lncc.br) on 2015-11-25T17:21:07Z No. of bitstreams: 1 Tese-Gastao-LNCC.pdf: 33936271 bytes, checksum: 63b98a5aa6d7c3c834844f4b4af76687 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2015-11-25T17:21:19Z (GMT) No. of bitstreams: 1 Tese-Gastao-LNCC.pdf: 33936271 bytes, checksum: 63b98a5aa6d7c3c834844f4b4af76687 (MD5) / Made available in DSpace on 2015-11-25T17:21:30Z (GMT). No. of bitstreams: 1 Tese-Gastao-LNCC.pdf: 33936271 bytes, checksum: 63b98a5aa6d7c3c834844f4b4af76687 (MD5) Previous issue date: 2015-07-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes) / Manifold learning techniques have been used for dimensionality reduction in applications involving pattern recognition, data mining and computer vision. This thesis describes recent works that we have done in this area as well as perspectives for future works. First, we propose a methodology called Local Riemannian Manifold Learning (LRML), which recovers the topology and geometry of the manifold using local systems of normal coordinates computed through the exponential application. The LRML strategy has the advantage of reducing the accumulation of errors during the process of manifold learning. However, the obtained parameterization can not be used as an unambiguous representation space. Furthermore, the synthesis process needs domain triangulation in the parameter space to be efficiently performed. We address this drawback of LRML using a composition procedure to structure the neighborhoods of normal coordinates building a global representation space that locally preserves radial geodesic distances. Besides, we add a geometric structure based on triangulations obtaining an efficient methodology to the synthesis process. We also explored discrete geometry concepts for generation of piecewise linear manifolds for data analysis. In the computational experiments we verify the efficiency of the LRML combined with the composition process and discrete geometry framework for the synthesis and data mining. We explored the application of foliation theory for images of human faces with multiple facial expressions. We conclude that this approach is a promising one for the study of the geometry and topology of the space of human face images. / Técnicas em aprendizado de variedades vêm sendo utilizadas para redução de dimensionalidade em aplicações envolvendo reconhecimento de padrões, mineração de dados e visão computacional. Nesta tese serão descritos trabalhos recentes que fizemos nesta área bem como perspectivas para trabalhos futuros. Primeiramente, propomos uma metodologia denominada aprendizado local de variedades Riemannianas (LRML), a qual recupera a topologia e geometria da variedade utilizando sistemas locais de coordenadas normais computadas via aplicação exponencial. A estratégia local do LRML tem a vantagem de minimizar a acumulação de erros durante o processo de reconstrução da variedade. No entanto, a parametrização obtida não pode ser utilizada como um espaço de representação sem ambiguidades. Além disso, o processo de síntese precisa de triangulação do domínio no espaço de parâmetros para ser realizada de forma eficiente. Abordamos este inconveniente do LRML usando um procedimento de composição para estruturar as vizinhanças de coordenadas normais construindo um espaço de representação que preserva localmente distâncias geodésicas radiais. Adicionamos ainda uma estrutura geométrica baseada na triangulação obtendo uma metodologia eficiente para o processo de síntese. Exploramos também a geração de variedades lineares por partes para análise de dados. Nos experimentos computacionais verificamos a eficiência do LRML combinado com as estruturas de composição e triangulação para a síntese e exploração de dados. Exploramos a aplicação da teoria de folheação para imagens de faces humanas com múltiplas expressões faciais, tal abordagem se mostrou promissora para o estudo do espaço de imagens de faces com diversas expressões faciais distintas.

Submitted by Maria Cristina (library@lncc.br) on 2016-07-28T15:01:01Z No. of bitstreams: 1 ThesisGAresFrente.pdf: 14194206 bytes, checksum: 2e35ae71aaffd676ba8015d68298aca6 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2016-07-28T15:01:19Z (GMT) No. of bitstreams: 1 ThesisGAresFrente.pdf: 14194206 bytes, checksum: 2e35ae71aaffd676ba8015d68298aca6 (MD5) / Made available in DSpace on 2016-07-28T15:01:31Z (GMT). No. of bitstreams: 1 ThesisGAresFrente.pdf: 14194206 bytes, checksum: 2e35ae71aaffd676ba8015d68298aca6 (MD5) Previous issue date: 2016-04-11 / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro (FAPERJ) / This thesis is concerned with two major problems arising in the modeling of the cardiovascular system. The first topic consists in a comprehensive approach for the simulation of arterial blood flow and its effect on the stress state of the arterial wall, and the second topic is concerned with the in-vivo characterization of residual deformations in arterial wall tissues, based on data provided by medical images. Specifically, regarding the first topic, an original modeling framework is proposed for the treatment of hemodynamic problems with increased realism, featuring a combination of several modeling techniques in order to account for i) the fact that the initial (image-based) geometry corresponds to a configuration which is at equilibrium with an internal pressure acting over the lumen, and with tethering forces located at the artificial (axial) boundaries delimiting the arterial region of interest; ii) the fluid-structure interaction problem; iii) the complex constitutive behavior of the arterial wall; iv) the influence of surrounding tissues; v) the interaction of the vessel with the rest of the cardiovascular system; and iv) the influence of residual stresses. In order to tackle the issues described above, the preload mechanical problem is solved in a first stage, finding the zero-load material configuration which is employed to define suitable constitutive equations. This is performed by finding the solution for the mechanical equilibrium of the given image configuration considering the vessel at this state to be loaded by an internal baseline pressure and an axial traction (caused by tethering forces) at the artificial boundaries. It is worthwhile to mention that this axial traction is such that a previously defined pre-stretch level is considered on the equilibrium image configuration. Once the reference configuration is obtained, the complete 3D fluid-structure interaction simulation is carried out, coupled with a dimensionally reduced 1D model of the rest of the cardiovascular system. Strong coupling via fixed-point iterations is achieved for the fluid-structure interaction, while the dimensionally heterogeneous coupling is achieved through a Broyden method. Regarding the constitutive modeling, a fiber-reinforced hyperelastic constitutive law is considered. Furthermore, through the analysis of several numerical examples, the sensitivity with respect to the existence of the preload stresses is assessed to quantify the importance of this issue. These results indicate that the stress state of the arterial wall is strongly influenced by the existence of preload. Therefore, the consideration of such preload state is mandatory for the prediction of stresses in arterial tissue. For the second topic, a conceptual framework is presented for the in-vivo estimation of residual deformations and stresses. As a given data, a set of known configurations for an arterial segment is considered, which can potentially be obtained from medical imaging techniques. The mechanical equilibrium equations corresponding to such configurations are introduced through a variational approach, highlighting the role of the residual deformations and associated stresses. In this context, a cost functional is proposed to measure the imbalance of the mechanical setting arising from the consideration of inconsistent residual deformations, based on the generalized residuals of the associated variational equations. Then, the characterization of residual deformations becomes an optimization problem, focused on the minimization of this cost functional. For this purpose, a simple gradient descent method and an interior-point algorithm for constrained optimization are explored in this work. The proposed methodology is tested using three numerical examples based on manufactured solutions, a simple clamped bar, a thick-walled cylinder and a three-layered aorta artery. The obtained results are promising and suggest that the present method (or variants based on the present ideas), when coupled with adequate image acquisition techniques, could successfully lead to the in-vivo identification of residual deformations. / Esta tese aborda dois problemas de relevância na modelagem do sistema cardiovascular humano. O primeiro tema consiste no desenvolvimento de um enfoque abrangente para a simulação do escoamento sanguíneo e sua interação com a parede arterial, e o segundo tópico é a caracterização in-vivo de tensões e deformações residuais na parede arterial baseada em dados fornecidos por imagens médicas. De maneira específica, em relação ao primeiro tópico, um marco de modelagem é proposto para o tratamento de problemas hemodinâmicos com um alto grau de realismo, apresentando uma combinação de diferentes técnicas de modelagem para levar em conta i) o fato que as geometrias iniciais obtidas a partir de imagens médicas são correspondentes a um sistema de carregamentos não nulos, definido pela existência da pressão interna no lumen e de tensões axiais localizadas nos contornos artificiais do segmento arterial; ii) o problema de interação fluido-estrutura; iii) o complexo comportamento constitutivo da parede arterial; iv) a interação do segmento de interesse com o resto do sistema cardiovascular; e v) a influência dos tecidos circundantes; e vi) a existência de tensões residuais. Para a abordagem das questões descritas acima, o problema mecânico de precarregamento é resolvido em uma primeira etapa, encontrando a configuração material de carregamento nulo onde as equações constitutivas são usualmente definidas. Isto é realizado encontrando a solução do problema de equilíbrio mecânico da estrutura arterial dada, considerando que o vaso está submetido a um nível de pressão de base e uma tração axial nos contornos artificiais. Vale a pena ressaltar que esta tração axial é correspondente a um nível de pre-estiramento previamente definido. Uma vez que a configuração de referência é obtida, a simulação fluido-estrutura 3D é realizada, acoplada com um modelo dimensionalmente reduzido do resto do sistema cardiovascular. Um acoplamento forte através de iterações de ponto fixo é empregado para representar a interação fluido-estrutura, equanto o acoplamento entre modelos dimensionalmente heterogêneos é conseguido usando um método tipo Broyden. Em relação à modelagem constitutiva, um modelo hyperelástico reforçado com fibras é considerado. Além disso, através da análise de vários exemplos numéricos, a sensibilidade com relação à existência de precarregamentos é quantificada para remarcar a relevância desta questão. Tais resultados indicam que o estado de tensão da parede arterial é fortemente influenciado pela existência de precarregamentos. Assim sendo, levar em consideração esse estado de precarga é fundamental para a predição de tensões no tecido arterial. Em relação ao segundo tópico, um marco conceptual é apresentado para estimação de tensões e deformações residuais. Consideramos que os dados são um conjunto de configurações de um segmento arterial, as quais poderiam ser obtidas a partir do uso de técnicas de adquisição e , processamento e segmentação de imagens. Utilizando um enfoque variacional, são apresentadas as equações de equilíbrio mecânico para as configurações conhecidas, acentuando o papel desempenhado pelas deformações residuais. Neste contexto, apresenta-se um funcional custo que mede o desbalance mecânico que é originado se um campo de deformações residuais inconsistente é admitido. Este funcional custo está baseado no resíduo generalizado das equações variacionais previamente mencionadas. Como consequência, o problema de estimação de deformações residuais é transformado em um problema de otimização, no qual se procura minimizar o funcional custo proposto. Com este objetivo, neste trabalho de tese são considerados dois métodos, um método de gradiente e um algoritmo de ponto interior para problemas que apresentam restrições. A metodologia proposta é testada em três exemplos numéricos baseados em soluções manufaturadas: um barra engastada, um cilindro de parede grossa, e uma artéria aorta composta por três camadas. Os resultados obtidos são promissores e sugerem que o método apresentado (ou variantes baseadas nas ideias aqui mostradas) junto com técnicas adequadas para a adquisição de imagens podem conduzir à identificação in-vivo de deformações residuais.

Submitted by Maria Cristina (library@lncc.br) on 2017-05-03T14:14:27Z No. of bitstreams: 1 Dissertacao.pdf: 824609 bytes, checksum: 3fd1774255594b6d69f7fe7522aec9a2 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2017-05-03T14:14:53Z (GMT) No. of bitstreams: 1 Dissertacao.pdf: 824609 bytes, checksum: 3fd1774255594b6d69f7fe7522aec9a2 (MD5) / Made available in DSpace on 2017-05-03T14:15:03Z (GMT). No. of bitstreams: 1 Dissertacao.pdf: 824609 bytes, checksum: 3fd1774255594b6d69f7fe7522aec9a2 (MD5) Previous issue date: 2017-02-21 / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro (FAPERJ) / The study of bilevel optimization problems arouses particular interest given their ability to represent hierarchical decision structures, but the challenges in their resolution require the development of appropriate computational techniques. This work aims at the solution of a class of bilevel problems where the objective function in the follower agent is linear or quadratic in the follower variables and linear constraints may be present. With the use of the Karush-Kuhn-Tucker conditions, it was verified the possibility of solving the follower level as a linear complementarity problem, giving rise to a nested approach. In this approach, the follower response is obtained by Lemke's algorithm, while the leader level is treated with the differential evolution metaheuristic, in view of its good results and great generality. The proposed technique is submitted to a test-set using instances from the literature, as well as others, proposed in this work, with the intent of validating the use of Lemke's algorithm in the follower level, and study its computational performance. / O estudo do problema de otimização em dois níveis desperta particular interesse dada sua capacidade de representar estruturas hierárquicas de decisão, mas as dificuldades na sua resolução exigem o desenvolvimento de técnicas computacionais adequadas. Este trabalho tem como foco a solução de uma classe de problemas em dois níveis onde a função objetivo do agente seguidor é linear ou quadrática nas variáveis do seguidor e com restrições lineares. Utilizando-se então as condições de Karush-Kuhn-Tucker, verificou-se a possibilidade de resolução do nível do seguidor como um problema de complementaridade linear, dando origem a uma abordagem aninhada. Nesta, a resposta do seguidor é obtida pelo algoritmo de Lemke, enquanto o nível do líder é tratado pela metaheurística evolução diferencial, tendo em vista os bons resultados desta e sua grande generalidade. A técnica proposta é submetida a um conjunto de testes utilizando instâncias da literatura bem como outras, propostas neste trabalho, com o objetivo de validar a utilização do algoritmo de Lemke e estudar seu desempenho computacional.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O problema de coloraÃÃo de vÃrtices à considerado um dos modelos mais estudados em teoria dos grafos pela sua relevÃncia em campos prÃticos e teÃricos. Do ponto de vista teÃrico, o problema de coloraÃÃo à NP - DifÃcil. AlÃm disto, foi classificado entre os problemas mais difÃceis de NP, no sentido de que achar uma aproximaÃÃo para o nÃmero cromÃtico tambÃm à NP - DifÃcil. A importÃncia do problema de coloraÃÃo tem incentivado a investigar mÃtodos para encontrar limitantes inferiores prÃximos do nÃmero cromÃtico. Historicamente, os primeiros limitantes inferiores utilizados para resolvÃ-lo lidavam com cliques maximais. Mais recentemente, popularizou-se a utilizaÃÃo de relaxaÃÃes lineares de formulaÃÃes de programaÃÃo inteira. Uma formulaÃÃo que mostrou bons limitantes inferiores foi a formulaÃÃo por conjuntos independentes, cujo valor de relaxaÃÃo equivale ao nÃmero cromÃtico fracionÃrio. No presente trabalho, fazemos uma comparaÃÃo entre as formulaÃÃes de programaÃÃo inteira conhecidas para indicar a escolha pela formulaÃÃo dos representantes. Revisamos a formulaÃÃo para remover simetrias existentes e apresentamos um estudo parcial do politopo associado ao fecho convexo de suas soluÃÃes inteiras. Discutimos como à possÃvel utilizar a formulaÃÃo dos representantes para gerar limites inferiores para o nÃmero cromÃtico fracionÃrio. Realizamos a implementaÃÃo de um mÃtodo de planos de corte para aproximar o nÃmero cromÃtico fracionÃrio e mostramos que podemos gerar limitantes inferiores que normalmente nÃo diferem em mais de uma unidade. / The vertex coloring problem is one of the most studied problems in graph theory for its relevance in practical and theoretical fields. From a theoretical point of view, it is a NP-Hard problem. Moreover, it is classified among the most difficult problems of NP- Hard in the sense that finding an approximation to the chromatic number is also NP-Hard. The importance of the coloring problem motivates searching for methods to find lower bounds close to the chromatic number. Historically, the first lower bounds used were obtained from the size of maximal cliques. More recently, relaxed integer programming formulations gained more attention. A formulation which found good lower bounds was the coloring problem through stable sets whose relaxed lower bound equals the fractional chromatic number. In this work, we make a comparison between the known integer programming formulations to motivate our choice for the Representatives formulation. We revise this formulation to remove symmetry and present a partial study of the polytope associated with the convex hull of its integer solutions. We discuss how to se the Representatives formulation to get lower bounds for the fractional chromatic number and we show how to get such lower bounds that differ at most by one unit to its exact value.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-07-26T19:57:26Z No. of bitstreams: 1 THOMAS VOLPATO DE OLIVEIRA_DIS.pdf: 2340160 bytes, checksum: a77fc7c024da22cb1ea18eec69501d7e (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-08-02T12:22:16Z (GMT) No. of bitstreams: 1 THOMAS VOLPATO DE OLIVEIRA_DIS.pdf: 2340160 bytes, checksum: a77fc7c024da22cb1ea18eec69501d7e (MD5) / Made available in DSpace on 2018-08-02T12:38:03Z (GMT). No. of bitstreams: 1 THOMAS VOLPATO DE OLIVEIRA_DIS.pdf: 2340160 bytes, checksum: a77fc7c024da22cb1ea18eec69501d7e (MD5) Previous issue date: 2017-08-23 / Realidade virtual ? uma tecnologia que permite aos seus usu?rios visualizar e interagir com ambientes virtuais (AV) 3D em tempo real. Um ambiente virtual colaborativo (AVC) ? um tipo de AV que permite que dois ou mais usu?rios estejam juntos no mesmo ambiente virtual. Ambientes virtuais colaborativos t?m algumas dificuldades que AV comuns n?o t?m. Por exemplo, diferentes t?cnicas s?o necess?rias a fim de permitir a dois usu?rios a manipula??o (mover ou girar) conjunta de um objeto virtual. Algumas dessas t?cnicas podem levar os usu?rios a realizarem movimentos n?o naturais. Este trabalho avalia o retorno h?ptico para deixar os usu?rios cientes de movimentos errados durante a manipula??o colaborativa de objetos. A t?cnica SkeweR foi utilizada como teste. Esta t?cnica ? baseada em crushing points, onde os usu?rios pegam o objeto pela primeira vez para simultaneamente mover e girar o objeto. Uma vez que os usu?rios mant?m a posi??o da m?o sobre o crushing point durante a manipula??o do objeto, a intera??o se torna mais natural, no sentido de que se torna mais similar ao processo real de segurar um objeto. Entretanto, devido ? falta de restri??es f?sicas de movimento, frequentemente, durante a intera??o, a m?o do usu?rio se move para fora do crushing point. Para solucionar este problema, este trabalho prop?e o uso de retorno t?til para informar os usu?rios sobre a dist?ncia entre a posi??o da m?o e o crushing point. O retorno t?til ? fornecido por um minimotor de vibra??o preso no polegar do usu?rio. Para validar o m?todo, fez-se um estudo com usu?rios em que estes deveriam realizar a manipula??o 3D de um objeto virtual. Este objeto precisava ser transladado e girado atrav?s de um caminho virtual ao longo de um fio virtual, do in?cio deste at? o fim. Durante a intera??o, os usu?rios manipularam um rastreador de posi??o com tr?s graus de liberdade (3DOF) e deveriam manter a posi??o do rastreador na mesma posi??o do crushing point. Durante as rodadas do experimento, os participantes testaram tr?s modalidades de intera??o: sem nenhum retorno, com retorno visual e com retorno t?til. O resultado dos testes mostrou que usu?rios realizaram manipula??es mais naturais quando estavam usando o retorno t?til. / Virtual reality is a technology that allows users to view and interact with a 3D virtual environment (VE) in real time. A collaborative virtual environment (CVE) is a type of VE that allows two or more users to be in the same virtual environment together. Collaborative virtual environments have some issues that simple VEs do not have. For example, different techniques are required in order to allow two users to manipulate (move or rotate) a virtual object together. Some of these techniques can lead users to do unnatural movements. This study evaluates haptic feedback to let users aware of wrong movements during a cooperative object manipulation. The SkeweR technique was used as a testbed. This technique is based on the use of crushing points, where the users grab the object for the first time, to simultaneously move/rotate an object. Once the users have their hands positioned on the crushing point during the object manipulation, the interaction becomes more natural, in the sense that it is more similar to the real process. However, due to the lack of any physical constraint to the users? movements, it is often noticed that the users? hands move away from the crushing point during the interaction. To solve this problem, this work proposes the usage of tactile feedback to inform the user about the distance between his hand and the crushing point. The tactile feedback is provided by a vibration micromotor attached to the user?s thumb. To validate the method, a user study based on the 3D manipulation of a virtual object was performed. The virtual object had to be translated and rotated through a virtual path along a virtual wire, from the beginning to the end of it. During the interaction, users manipulated a three degrees of freedom (3DOF) position tracker and were requested to keep this tracker in the same position of the crushing point. During the trials, the participants used three modalities of interaction: without any feedback, with a visual feedback and with tactile feedback. Results showed that the users do more natural manipulations when using tactile feedback.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-10-04T18:59:57Z No. of bitstreams: 1 LUCIANO_ ALVES_DIS.pdf: 1077045 bytes, checksum: ddcbf3be03bec1c7a82f3e07252439a0 (MD5) / Rejected by Sheila Dias (sheila.dias@pucrs.br), reason: Devolvido deviso ? inconsist?ncia de datas no arquivo pdf. Na capa institucional, na ficha catalogr?fica e na folha da banca est? 2016 e na folha de rosto 2018. on 2018-10-05T16:43:09Z (GMT) / Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-10-08T18:31:55Z No. of bitstreams: 1 LUCIANO_ ALVES_DIS.pdf: 1076874 bytes, checksum: 70823493135f9ec1a577db83eefbd19c (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2018-10-09T16:36:57Z (GMT) No. of bitstreams: 1 LUCIANO_ ALVES_DIS.pdf: 1076874 bytes, checksum: 70823493135f9ec1a577db83eefbd19c (MD5) / Made available in DSpace on 2018-10-09T16:43:56Z (GMT). No. of bitstreams: 1 LUCIANO_ ALVES_DIS.pdf: 1076874 bytes, checksum: 70823493135f9ec1a577db83eefbd19c (MD5) Previous issue date: 2016-09-23 / Software fault prediction is a significant part of software quality assurance and it is commonly used to detect faulty software modules based on software measurement data. Several machine learning based approaches have been proposed for generating predictive models from collected data, although none has become standard given the specificities of each software project. Hence, we believe that recommending the best algorithm for each project is much more important and useful than developing a single algorithm for being used in any project. For achieving that goal, we propose in this dissertation a novel framework for recommending machine learning algorithms that is capable of automatically identifying the most suitable algorithm according to the software project that is being considered. Our solution, namely FMA-PFS, makes use of the metalearning paradigm in order to learn the best learner for a particular project. Results show that the FMA-PFS framework provides both the best single algorithm recommendation and also the best ranking recommendation for the software fault prediction problem. / A predi??o de falhas de software ? uma parte significativa da garantia de qualidade do software e ? normalmente utilizada para detectar m?dulos propensos a falhar baseados em dados coletados ap?s o processo de desenvolvimento do projeto. Diversas t?cnicas de aprendizado de m?quina t?m sido propostas para gera??o de modelos preditivos a partir da coleta dos dados, por?m nenhuma se tornou a solu??o padr?o devido as especificidades de cada projeto. Por isso, a hip?tese levantada por este trabalho ? que recomendar algoritmos de aprendizado de m?quina para cada projeto ? mais importante e ?til do que o desenvolvimento de um ?nico algoritmo de aprendizado de m?quina a ser utilizado em qualquer projeto. Para alcan?ar este objetivo, prop?e-se nesta disserta??o um framework para recomendar algoritmos de aprendizado de m?quina capaz de identificar automaticamente o algoritmo mais adequado para aquele projeto espec?fico. A solu??o, chamada FMA-PFS, faz uso da t?cnica de meta-aprendizado, a fim de aprender o melhor algoritmo para um projeto em particular. Os resultados mostram que o framework FMA-PFS recomenda tanto o melhor algoritmo, quanto o melhor ranking de algoritmos no contexto de predi??o de falhas de software.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-04-05T18:42:01Z No. of bitstreams: 1 131488.pdf: 3589192 bytes, checksum: 5c39ddf4ef3d285ba2bccd969b191920 (MD5) / Made available in DSpace on 2018-04-05T18:42:01Z (GMT). No. of bitstreams: 1 131488.pdf: 3589192 bytes, checksum: 5c39ddf4ef3d285ba2bccd969b191920 (MD5) Previous issue date: 1973-01 / Usa a informação sintática contida nas sentenças pertencentes a uma linguagem formal na sua decodificação quando as mesmas são transmitidas através um canal ruidoso. É adaptado o algoritmo de Fano da decodificação sequencial na decodificação sintática. O algoritmo é simulado em computador IBM 370 para três diferentes linguagens e canais de transmissão. / Use the syntactical information of the sentences of a formal language in their decoding, after they have passed through a noisy channel. Fano's algorithm for sequential decoding is adapted to syntactical decoding. The algorithm is simulated in the IBM 370 for three diferent sources and channels. The results o f the simulation are discussed and analysed.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-26T15:35:35Z No. of bitstreams: 1 38068.pdf: 674548 bytes, checksum: eaf0ac625b3c867a529c8633a152972a (MD5) / Made available in DSpace on 2018-03-26T15:35:35Z (GMT). No. of bitstreams: 1 38068.pdf: 674548 bytes, checksum: eaf0ac625b3c867a529c8633a152972a (MD5) Previous issue date: 1973-12 / Uma propriedade interessante é provada para árvore de Huffman. Quaisquer dois elementos de pesos ai e bi filhos de um mesmo pai tem a seguinte propriedade: se bi ≥ ai então Wm ≤ ai ou Wm ≥ bi onde Wm é o peso de qualquer nó da árvore. Baseado nesta propriedade, um algoritmo foi desenvolvido para atualizar dinamicamente uma árvore de Huffman, à medida que os pesos dos seus nós terminais variam. Utilizando-se este algoritmo, um modelo de um sistema adaptativo para compressão de dados foi implementado. Simulações efetuadas com diversos tipos de dados levaram a resultados interessantes. / An interesting property is proven for Huffman's tree. Any two elements with weights ai and bi sons of a same father have the following property: if bi ≥ ai then Wm ≤ ai or Wm ≥ bi where Wm is the weight of any node of the tree. Based on this property, an algorithm is developed to dynamically update Huffman's tree as weights of terminal nodes change. Using this algorithm, a model of an adaptive system for data compression is developed. Simulation using many types of data led to interesting results.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-26T17:27:54Z No. of bitstreams: 1 134602.pdf: 1099141 bytes, checksum: 69c51978fab49180b1d4fc4950f628a6 (MD5) / Made available in DSpace on 2018-03-26T17:27:54Z (GMT). No. of bitstreams: 1 134602.pdf: 1099141 bytes, checksum: 69c51978fab49180b1d4fc4950f628a6 (MD5) Previous issue date: 1973-11 / Apresentamos o desenvolvimento da teoria de processos estocásticos aplicada a sistemas de paginação, e ao final do estudo formulamos um algoritmo de paginação. Primeiro tomamos algumas propriedades de álgebra, e com elas desenvolvemos a teoria necessária à interpretação matemática das cadeias de páginas que ligam duas páginas do programa no computador. A seguir notando a aleatoriedade como fator preponderante na estrutura desenvolvida, apresentamos alguns resultados que explicam a lei de formação dessas cadeias. Então introduzimos os conceitos de tempo médio de absorção, tempo médio de primeira passagem, desenvolvendo resultados que julgamos serem necessários à evolução natural do estudo. Aplicamos esses resultados a um processo de Markov particular que é o random walk no círculo, com o propósito de obter informações sobre as leis de formação de cadeias para esse caso particular, objetivando ter condições que nos permitirão formular um algoritmo de paginação. / We introduce the development of the theory of stochastic process as applied to paging systems, and at the end of the study we formulate a paging algorithm. First we borrow some properties of algebra, and with these results we develop the necessary theory to the mathematical interpretation of the chains of pages that link two given pages of the program in the computer. Then noticing randomnes as a main factor in the developed structure, we introduce some result that explain the law of formation of these chains. There after, we introduce the concepts of mean first passage time, mean absorption, time, and results we deem necessary to the studies natural evolution. We apply these results to a particular Markov chain namely the random walk in the circle, aiming to get informations about the chain formation laws for this particular case, results whereon we will be able to formulate a paging algorithm.