Made available in DSpace on 2018-08-02T00:03:56Z (GMT). No. of bitstreams: 1 tese_9789_APOIO COMPUTACIONAL PARA A MEDIAÇÃO PEDAGÓGICA EM DEBATE DE TESES - Final(1)20160608-102619.pdf: 6640806 bytes, checksum: 1bf4d070912166ff9f15b2b5eb30032c (MD5) Previous issue date: 2016-04-29 / O advento da cultura digital trouxe novas possibilidades de interação e comunicação entre os usuários, promovendo o aumento destas trocas e também o aumento dos dados produzidos por elas. Seguindo essa nova perspectiva, as interações em ambiente virtuais de ensino e aprendizagem são registradas para possibilitar que o professor possa (re)visitar os espaços e produções de cada aluno buscando informações para auxiliá-los de diversas formas. As Arquiteturas Pedagógicas apresentam-se como uma possibilidade de organização dessas interações, em especial a Arquitetura Pedagógica "Debate de Teses" que propõe um fluxo de interações, realizadas através da produção de textos, para apoiar a construção de conhecimento daqueles que dela participam. Contudo, analisar esse volume expressivo de informações mostra-se como um desafio para o professor. Em vista disso, realizou-se um levantamento das mediações pedagógicas que podem ser realizadas junto com a Arquitetura Pedagógica "Debate de Teses". Para facilitar a aplicação destas mediações, elaborou-se uma proposta de apoio computacional, baseada numa arquitetura de sistemas multiagente, com a finalidade de apoiar o professor na análise das informações produzidas nas interações propostas pela Arquitetura Pedagógica "Debate de Teses", a fim de propiciar que as mediações pedagógicas identificadas sejam praticadas. A validação da proposta ocorre com a implementação do protótipo computacional de parte da solução, e aplicação deste protótipo a um caso real para coleta de dados. Os dados coletados foram analisados e os resultados obtidos com essa análise apresentam evidências que a solução proposta fornece subsídios para melhorar o processo de mediação pedagógica junto a Arquitetura Pedagógica "Debate de Teses".

Nos últimos anos, percebeu-se uma crescente busca por softwares e arquiteturas alternativas. Essa busca acontece porque houve avanços na tecnologia do hardware e estes avanços devem ser complementados por inovações nas metodologias de projetos, testes e verificação para que haja um uso eficaz da tecnologia. Muitos dos softwares e arquiteturas alternativas, geralmente partem para modelos que exploram o paralelismo das aplicações, ao contrário do modelo de von Neumann. Dentre as arquiteturas alternativas de alto desempenho, tem-se a arquitetura a fluxo de dados. Nesse tipo de arquitetura, o processo de execução de programas é determinado pela disponibilidade dos dados. Logo, o paralelismo está embutido na própria natureza do sistema. O modelo a fluxo de dados possui a vantagem de expressar o paralelismo de maneira intrínseca, eliminando a necessidade de o programador explicitar em seu código os trechos onde deve haver paralelismo. As arquiteturas a fluxo de dados voltaram a ser um tema de pesquisa devido aos avanços do hardware, em particular, os avanços da Computação Reconfigurável e os FPGAs (Field-Programmable Gate Arrays). O projeto ChipCflow é uma ferramenta para execução de algoritmos usando o modelo a fluxo de dados dinâmico em FPGA. Este trabalho apresenta o formato para os tagged-tokens do ChipCflow, os operadores de manipulação das tags dos tokens e suas implementações a fim de que se tenha a PROVA-DE-CONCEITOS para tais operadores na arquitetura ChipCflow / The alternative architectures and softwares researches have been growing in the last years. These researches are happening due to the advance of hardware technology and such advances must be complemented by improvements on design methodologies, test and verification techniques in order to use technology effectively. Many of the alternative architectures and softwares, in general, explore the parallelism of applications, differently to von Neumann model. Among high performance alternative architectures, there is the Dataflow Architecture. In this kind of architecture, the execution of programs is determined by data availability, thus the parallelism is intrinsic in these systems. The dataflow architectures become again a highlighted research area due to hardware advances, in particular, the advances of Reconfigurable Computing and FPGAs (Field-Programmable Gate Arrays). ChipCflow project is a tool for execution of algorithms using dynamic dataflow graph in FPGA. The main goal in this module of the ChipCflow project is to define the tagged-token format, the iterative operators that will manipulate the tags of tokens and to implement them

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2007. / Submitted by Rosane Cossich Furtado (rosanecossich@gmail.com) on 2010-01-04T21:40:52Z No. of bitstreams: 1 2007_FabioViniciusPintoSilva.pdf: 1375531 bytes, checksum: 2272e318dce7e1284d2d2eb04367db52 (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2010-01-05T17:08:01Z (GMT) No. of bitstreams: 1 2007_FabioViniciusPintoSilva.pdf: 1375531 bytes, checksum: 2272e318dce7e1284d2d2eb04367db52 (MD5) / Made available in DSpace on 2010-01-05T17:08:01Z (GMT). No. of bitstreams: 1 2007_FabioViniciusPintoSilva.pdf: 1375531 bytes, checksum: 2272e318dce7e1284d2d2eb04367db52 (MD5) Previous issue date: 2007-09-17 / Encontrar e visualizar semelhanças entre seqüências de DNA permite aprofundar o conhecimento sobre genomas de organismos em Biologia Molecular. Com o número de seqüências disponíveis para consulta em alguns bancos de dados crescendo exponencialmente, surge um desafio para a ciência da computação. É o de construir sistemas de informática com desempenho suficiente para permitir comparar seqüências genômicas em tempo hábil para a pesquisa e com um custo viável. Freqüentemente são usadas soluções heurísticas, devido ao grande tempo computacional necessário para o uso de soluções exatas. Soluções exatas atualmente apresentam complexidade de tempo quadrática em computadores convencionais, dificultando seu uso prático para seqüências de comprimento como as de aplicações reais. O principal objetivo deste trabalho é viabilizar o uso de algoritmos exatos para comparação de seqüências genômicas, acelerando a obtenção de seus resultados. É proposto um arranjo sistólico de elementos de processamento em hardware reconfigurável. Assim, é explorado o paralelismo potencial do algoritmo de programação dinâmica de Smith-Waterman, reduzindo sua complexidade de tempo de quadrática para linear. É proposta uma solução para minimizar o problema de gargalo de comunicação, esperado por uma implementação "ingênua" da solução. Além do sistema proposto, a prototipação realizada em FPGA é descrita, incluindo uma análise do desempenho obtido. _______________________________________________________________________________ ABSTRACT / To find and to visualize similarities between DNA sequences allow to deepen the knowledgement on genomas of organisms in Molecular Biology. With the number of available sequences for consultation in some data bases growing exponentially , a challenge for the computer science appears. It is to construct computing systems with enough performance to allow to compare genomics sequences in skillful time for the research and at a viable cost. Frequently heuristical solutions are used, due to the great computational time necessary to the use of exact solutions. Exact solutions currently presents quadratic time complexity in conventionals computers, making difficult its practical use for sequences of length as of real applications. The main objective of this work is to make possible the use of exact algorithms for comparison of genomics sequences, by speeding up the attainment of its results. A systolic arrangement of elements of processing in reconfigurable hardware is proposed. This way, the potential parallelism of the algorithm of dynamic programming of Smith-Waterman is explored, reducing its time complexity from quadratic to linear. Is also proposed a solution to minimize the problem of communication bottleneck, waited in a “naive” implementation. Besides the proposed system, the prototipation made in FPGA is described, including an analysis of the performance gotten.

Nos últimos anos, percebeu-se uma crescente busca por softwares e arquiteturas alternativas. Essa busca acontece porque houve avanços na tecnologia do hardware e estes avanços devem ser complementados por inovações nas metodologias de projetos, testes e verificação para que haja um uso eficaz da tecnologia. Muitos dos softwares e arquiteturas alternativas, geralmente partem para modelos que exploram o paralelismo das aplicações, ao contrário do modelo de von Neumann. Dentre as arquiteturas alternativas de alto desempenho, tem-se a arquitetura a fluxo de dados. Nesse tipo de arquitetura, o processo de execução de programas é determinado pela disponibilidade dos dados. Logo, o paralelismo está embutido na própria natureza do sistema. O modelo a fluxo de dados possui a vantagem de expressar o paralelismo de maneira intrínseca, eliminando a necessidade de o programador explicitar em seu código os trechos onde deve haver paralelismo. As arquiteturas a fluxo de dados voltaram a ser um tema de pesquisa devido aos avanços do hardware, em particular, os avanços da Computação Reconfigurável e os FPGAs (Field-Programmable Gate Arrays). O projeto ChipCflow é uma ferramenta para execução de algoritmos usando o modelo a fluxo de dados dinâmico em FPGA. Este trabalho apresenta o formato para os tagged-tokens do ChipCflow, os operadores de manipulação das tags dos tokens e suas implementações a fim de que se tenha a PROVA-DE-CONCEITOS para tais operadores na arquitetura ChipCflow / The alternative architectures and softwares researches have been growing in the last years. These researches are happening due to the advance of hardware technology and such advances must be complemented by improvements on design methodologies, test and verification techniques in order to use technology effectively. Many of the alternative architectures and softwares, in general, explore the parallelism of applications, differently to von Neumann model. Among high performance alternative architectures, there is the Dataflow Architecture. In this kind of architecture, the execution of programs is determined by data availability, thus the parallelism is intrinsic in these systems. The dataflow architectures become again a highlighted research area due to hardware advances, in particular, the advances of Reconfigurable Computing and FPGAs (Field-Programmable Gate Arrays). ChipCflow project is a tool for execution of algorithms using dynamic dataflow graph in FPGA. The main goal in this module of the ChipCflow project is to define the tagged-token format, the iterative operators that will manipulate the tags of tokens and to implement them

RISC - Uma nova tendência em arquitetura de computadores. Este trabalho apresenta um estudo de como surgiu esta nova arquitetura, e suas características básicas, que a diferencia das arquiteturas convencionais. Uma proposta de microprocessador RISC é apresentada, com sua rota de dados completamente detalhada. Um simulador para arquitetura RISC foi então construído, para se testar este microprocessador. Para validar o simulador, que é a idéia principal deste trabalho, e para se avaliar a arquitetura do microprocessador proposto, usou-se o benchmark Dhrystone, e os resultados foram comparados com máquinas comerciais. / RISC - A new trend in computer architecture. This work presents a study of how this new architecture emerged, and the basic caracteristics that diferentiate it from the conventional architectures. A proposed RISC microprocessor is presented with the completely detailed data-path. A simulator for the RIse architecture was built to test this microprocessor. To validate the simulator, which is the main idea of this work, and to evaluate the architecture of the proposed microprocessor, the Dhrystone benchmark was used and the results were compared with commercial machines.

Esta dissertação aborda a caracterização mecânica de um robô manipulador paralelo de 3 graus de liberdade. A topologia do manipulador corresponde a um mecanismo de estrutura cinemática paralela, cujo efetuador é capaz de realizar 3 deslocamentos lineares no espaço tridimensional. A tecnologia associada ao controle de robôs de estrutura cinemática serial encontra-se bastante madura. No entanto, o mesmo não se dá nos robôs paralelos. Para que se avance no domínio do controle de trajetória destes robôs é necessária a sua caracterização mecânica, a qual fornecerá os subsídios para identificação paramétrica, calibração de modelos, ajuste de ganhos dos controladores, etc. Especificamente, a caracterização mecânica neste trabalho teve por objetivo o levantamento experimental dos erros de posicionamento do efetuador com relação a exatidão e repetibilidade, sua rigidez sob a ação de cargas externas, bem como das frequências naturais do sistema. Os ensaios realizados foram executados no robô Laila, que é um protótipo físico de um robô manipulador, desenvolvido pelo Departamento de Engenharia Mecatrônica e Sistemas Mecânicos da Escola Politécnica da Universidade de São Paulo. A dissertação apresenta como resultados os mapeamentos dos erros de posicionamento do efetuador, a rigidez sob a ação de cargas externas, bem como suas frequências naturais, ao longo do espaço de medição. A seguir, apresenta-se uma discussão da consistência dos valores obtidos para estas propriedades. Por fim, é feita uma análise sobre a influência das folgas mecânicas sobre os índices de desempenho do robô. / This dissertation deals with the mechanical characterization of a parallel manipulator robot of 3 degrees of freedom. The topology of the manipulator corresponds to a mechanism of parallel kinematic structure, whose effector is capable of performing 3 linear displacements in the three-dimensional space. The technology associated with the control of robots of serial kinematic structure is quite mature. However, the same is not true of parallel robots. In order to advance in the field of control of trajectory of these robots it is necessary to characterize them mechanically, which will provide the subsidies for parametric identification, calibration of models, adjustment of gains of the controllers, etc. Specifically, the mechanical characterization in this work had as objective the experimental study of the positioning errors of the effector in relation to the accuracy and repeatability, its rigidity under the action of external loads, as well as the natural frequencies of the system. The tests were performed in the Laila robot, which is a physical prototype of a manipulator robot, developed by the Department of Mechatronics Engineering and Mechanical Systems of the Polytechnic School of the University of São Paulo. The dissertation presents as results the mappings of the positioning errors of the effector, the rigidity under the action of external loads, as well as their natural frequencies, along the measurement space. The following is a discussion of the consistency of the values obtained for these properties. Finally, an analysis is made on the influence of the mechanical gaps on the performance indexes of the robot.

Esta dissertação aborda a caracterização mecânica de um robô manipulador paralelo de 3 graus de liberdade. A topologia do manipulador corresponde a um mecanismo de estrutura cinemática paralela, cujo efetuador é capaz de realizar 3 deslocamentos lineares no espaço tridimensional. A tecnologia associada ao controle de robôs de estrutura cinemática serial encontra-se bastante madura. No entanto, o mesmo não se dá nos robôs paralelos. Para que se avance no domínio do controle de trajetória destes robôs é necessária a sua caracterização mecânica, a qual fornecerá os subsídios para identificação paramétrica, calibração de modelos, ajuste de ganhos dos controladores, etc. Especificamente, a caracterização mecânica neste trabalho teve por objetivo o levantamento experimental dos erros de posicionamento do efetuador com relação a exatidão e repetibilidade, sua rigidez sob a ação de cargas externas, bem como das frequências naturais do sistema. Os ensaios realizados foram executados no robô Laila, que é um protótipo físico de um robô manipulador, desenvolvido pelo Departamento de Engenharia Mecatrônica e Sistemas Mecânicos da Escola Politécnica da Universidade de São Paulo. A dissertação apresenta como resultados os mapeamentos dos erros de posicionamento do efetuador, a rigidez sob a ação de cargas externas, bem como suas frequências naturais, ao longo do espaço de medição. A seguir, apresenta-se uma discussão da consistência dos valores obtidos para estas propriedades. Por fim, é feita uma análise sobre a influência das folgas mecânicas sobre os índices de desempenho do robô. / This dissertation deals with the mechanical characterization of a parallel manipulator robot of 3 degrees of freedom. The topology of the manipulator corresponds to a mechanism of parallel kinematic structure, whose effector is capable of performing 3 linear displacements in the three-dimensional space. The technology associated with the control of robots of serial kinematic structure is quite mature. However, the same is not true of parallel robots. In order to advance in the field of control of trajectory of these robots it is necessary to characterize them mechanically, which will provide the subsidies for parametric identification, calibration of models, adjustment of gains of the controllers, etc. Specifically, the mechanical characterization in this work had as objective the experimental study of the positioning errors of the effector in relation to the accuracy and repeatability, its rigidity under the action of external loads, as well as the natural frequencies of the system. The tests were performed in the Laila robot, which is a physical prototype of a manipulator robot, developed by the Department of Mechatronics Engineering and Mechanical Systems of the Polytechnic School of the University of São Paulo. The dissertation presents as results the mappings of the positioning errors of the effector, the rigidity under the action of external loads, as well as their natural frequencies, along the measurement space. The following is a discussion of the consistency of the values obtained for these properties. Finally, an analysis is made on the influence of the mechanical gaps on the performance indexes of the robot.

Este trabalho tem por objetivo analisar a cinemática de um robô hiperredundante composto por módulos de estrutura paralela e atuadores binários. Cada módulo possui três graus de liberdades, dois graus de liberdade de rotação, com eixos perpendiculares entre si, e um grau de liberdade de translação. Após uma busca das arquiteturas paralelas existentes e relatadas na literatura e uma análise dos graus de liberdades das arquiteturas, foi selecionada a estrutura 3-RPS para o módulo. Essa arquitetura é composta por três cadeias cinemáticas idênticas, cada uma com uma articulação de rotação, uma articulação de translação atuada e uma articulação esférica. Foi desenvolvido um programa computacional para calcular as dimensões ótimas dos módulos considerando as restrições de movimento da junta esférica, as dimensões da base e da plataforma, e o comprimento máximo e mínimo do atuador linear. É realizada uma análise do volume de trabalho do robô hiperredundante composto de três e cinco módulos em série. Como o robô possui atuadores binários o seu volume de trabalho é discreto, consistindo na união de pontos no espaço. Finalmente a cinemática inversa do robô hiper-redundante é calculada e observam-se pequenos erros entre as posições desejadas e as posições alcançadas pelo efetuador do robô hiper-redundante. / This research studies hyper-redundant robots focusing on the kinematics analysis. A hyper-redundant robot was developed based on modules of parallel architecture and binary actuators. Each module has three degrees-of-freedom, two rotational degrees of freedom with perpendicular axis and one translational degree of freedom. After searching for parallel structures existent in the literature and analyzing the degrees of freedom of these structures, the 3-RPS architecture was selected. This architecture is composed by three legs with identical chains, each leg has a rotational joint, a translational actuated joint and a spherical joint. A computational program was developed to calculate the best modules geometry, considering the physical constrains of the spherical joint, the dimensions of the base and of the platform, and the maximum and the minimum values of the binary actuated joint. An analysis of the workspace of the hyper-redundant robot composed by three and five modules in series is performed. Since the robot has discrete actuators its workspace is also discrete, i.e., it is composed by the union of points in space. Finally, the inverse kinematics of the hiper-redundant manipulator is calculated and small errors are observed between the desired position and the real position in space reached by the efectuator.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2018. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). / Em transistores de efeito de campo baseados em nanomateriais (nanoFETs), a dopagem eletrostática pode ser induzida por campos elétricos originados de múltiplas portas independentes. Dessa forma, os nanoFETs são candidatos ideais para a exploração de reconfigurabilidade. O desempenho de quatro geometrias reconfiguráveis (R) nanoFET é investigado com a solução das equações de Poisson e Deriva-Difusão acopladas respectivamente para o potencial eletrostático tridimensional e a para carga de canal unidimensional. Ainda é averiguado o impacto do escalamento do canal e do ajuste da tensão de alimentação. As arquiteturas examinadas são compostas por FETs de uma (1G), duas (2G) e três (3G) portas sob o canal com comprimento meio de micrômetro. Portanto, os R-nanoFETs investigados teoricamente podem ser fabricados com custos baixos, permitindo que as projeções de desempenho sejam testadas. O 2G R-nanoFET provou ser a arquitetura mais versátil quando nenhuma otimização específica do aplicativo é tentada. No entanto, todas as geometrias consideradas oferecem propriedades interessantes. Ao conectar a porta de programação ao dreno, o roteamento local é simplificado e o desempenho só diminui levemente. O 1G R-nanoFET oferece ganhos intrínsecos razoáveis ao custo do aumento da dissipação de energia estática. Por fim, um 3G R-nanoFET permite opções adicionais de configuração dinâmica e a operação de ligar/ desligar mais rápida devido à porta de controle posicionada a uma distância maior dos outros contatos metálicos. / In nanomaterials field-effect transistors (nanoFETs) electrostatic doping can be induced by electrical fields originating from multiple independent gates. Therefore, nanoFETs are ideal candidates for exploring reconfigurability. The performance of four different reconfigurable (R) nanoFET geometries is investigated by solving the coupled nonlinear Poisson and drift-diffusion differential equations for the three-dimensional electrostatic potential and the one-dimensional channel charge. The impact of scaling and supply voltage adjustment is further examined. The investigated architectures compass FETs with one (1G), two (2G) and three top-gate (3G) terminals with a channel length of half a micrometer. Therefore, the theoretically investigated R-nanoFETs can be manufactured at low costs, allowing to test the performance projections. The 2G R-nanoFET proved to be the most versatile architecture when no application specific optimization is attempted. However, all considered geometries offer interesting properties. Shortening the program gate with the drain simplifies the local routing and only slightly diminish the performance. A 1G R-nanoFET delivers reasonable intrinsic gains at the cost of increased static power dissipation. Finally, a 3G R-nanoFET enables additional dynamic configuration options and faster on/off switching due to a control gate positioned at an increased distance to other metallic contacts.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-05-31T20:12:19Z No. of bitstreams: 1 tese-sandroandrade-2014.pdf: 6962942 bytes, checksum: 6e55349061fd33f307cf9f2896c56436 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-07T10:57:53Z (GMT) No. of bitstreams: 1 tese-sandroandrade-2014.pdf: 6962942 bytes, checksum: 6e55349061fd33f307cf9f2896c56436 (MD5) / Made available in DSpace on 2017-06-07T10:57:54Z (GMT). No. of bitstreams: 1 tese-sandroandrade-2014.pdf: 6962942 bytes, checksum: 6e55349061fd33f307cf9f2896c56436 (MD5) / Ao longo dos últimos anos, uma série de novas demandas contribuíram para aumentar ainda mais a complexidade essencial de sistemas de software. Como consequência, desenvolver sistemas computacionais que atendam satisfatoriamente a essas demandas requer um controle intelectual que rapidamente se aproxima dos limites humanos. Os Sistemas Self-Adaptive (SSA) representam uma solução promissora para este problema. Um SSA é caracterizado pela transferência, para run-time, de uma ou mais atividades do processo de desenvolvimento de software, suportadas por uma infraestrutura de adaptação que permite o raciocínio e execução automáticos de atividades antes realizadas off-line pelos desenvolvedores. Esta tese apresenta o projeto, implementação e avaliação de uma abordagem para projeto arquitetural automatizado de SSA, baseada na representação sistemática de conhecimento refinado de projeto e na aplicação de técnicas de otimização multiobjetivo. Para isso, uma nova linguagem (DuSE) para especificação de espaços de projeto e métricas de qualidade particulares a um determinado domínio de aplicação foi proposta, associada a uma plataforma de otimização de arquiteturas de software. A DuSE viabilizou a infraestrutura de metamodelagem necessária para a especificação do SA:DuSE -- espaço de projeto responsável pela captura sistemática das principais dimensões de projeto de SSA baseados em teoria de controle. A abordagem foi avaliada em relação à sua capacidade de manifestação de trade-offs, potencial de antecipação dos atributos de qualidade evidenciados e impacto na efetividade e complexidade dos projetos quando comparada a abordagens alternativas. Resultados indicam que a abordagem efetivamente captura o caráter multiobjetivo do projeto de SSA e que promove um melhor suporte à investigação de alternativas e tomada de decisão no projeto de aplicações deste domínio.