Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-01T14:00:10Z No. of bitstreams: 2 dissertação - Hugo Leonardo de Moraes - 2013.pdf: 7379480 bytes, checksum: fe95767e57f88b72c915d7bc926f4693 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-01T15:18:49Z (GMT) No. of bitstreams: 2 dissertação - Hugo Leonardo de Moraes - 2013.pdf: 7379480 bytes, checksum: fe95767e57f88b72c915d7bc926f4693 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-01T15:18:49Z (GMT). No. of bitstreams: 2 dissertação - Hugo Leonardo de Moraes - 2013.pdf: 7379480 bytes, checksum: fe95767e57f88b72c915d7bc926f4693 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-02-28 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / This paper aims to present the main advantages of using the software geogebra in the study of problem situations involving points of maximum and minimum points of functions of one variable. The survey included a brief study on: geogebra software and some of their purposes, function of one variable, graphical representation of a function, limit, derivative, second derivative, critical points, maximum points, minimum points and applications of the study of points of maximum and minimum in problem situations everyday when using the software geogebra. / Este trabalho tem como objetivo principal apresentar as vantagens de se utilizar o programa geogebra no estudo de situações-problema que envolvem pontos de máximo e pontos de mínimo de funções de uma variável. A pesquisa contemplou um breve estudo sobre: o software geogebra e algumas de suas nalidades, função de uma variável, representa- ção grá ca de uma função, limite, derivada, derivada segunda, pontos críticos, pontos de máximo, pontos de mínimo e aplicações do estudo de pontos de máximo e de mínimo em situações-problema do cotidiano sempre com a utilização do software geogebra.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-08T19:52:23Z No. of bitstreams: 2 Dissertação - Ronan Gomes de Amorim - 2013.pdf: 1551424 bytes, checksum: 2acf9af7fdc161d745d9a1fcf58ba4b0 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-09T11:22:45Z (GMT) No. of bitstreams: 2 Dissertação - Ronan Gomes de Amorim - 2013.pdf: 1551424 bytes, checksum: 2acf9af7fdc161d745d9a1fcf58ba4b0 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-09T11:22:45Z (GMT). No. of bitstreams: 2 Dissertação - Ronan Gomes de Amorim - 2013.pdf: 1551424 bytes, checksum: 2acf9af7fdc161d745d9a1fcf58ba4b0 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-03-18 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper presents the main ideas concerning convex sets and functions. Our aim is to deal, didactically, with the main topics concerning convexity, as well as the consequent exploitation of the envolved mathematical concepts. In this sense, we have made a bibliographic revision approaching important theorems, lemmas, corollaries and propositions designed both to first readers and to those who want to work with applications arising from convexity. We hope that this study may constitute an important research source either for students, teachers or researchers who wish to learn more about convex sets. / Neste trabalho, apresentamos as principais ideias concernentes aos conjuntos convexos e às funções convexas. Nosso principal foco é tratar, de forma didática, os principais tópicos envolvidos na convexidade, bem como a consequente exploração dos conceitos matemáticos envolvidos. Nesse sentido, realizamos uma revisão bibliográfica que contemplou teoremas, lemas, corolários e proposições relevantes a um primeiro leitor e a todos que pretendem trabalhar com as aplicações decorrentes da convexidade. Assim, esperamos que este material constitua uma importante fonte de pesquisa a estudantes, professores e pesquisadores que almejem estudar conteúdos relacionados aos conjuntos convexos.

Ante el escenario económico actual, fruto de la tendencia globalizadora de los sistemas de producción y servicios, es natural la alta competencia de mercado que ha obligado a las organizaciones a implantar estrategias novedosas, dirigidas a incrementar su nivel de competitividad ante este entorno cambiante. El diseño industrial no es ajeno a esto, en la actualidad es común que las organizaciones declaren que sus productos sean fruto de escuchar al usuario. Sin embargo, este proceso se distingue por dos características que dificultan la interpretación y conversión de las necesidades del usuario en atributos de producto: la naturaleza lingüística asociada al mismo, carente de implicación directa a las propiedades deseadas del objeto, así como la dificultad para interpretar, categorizar y traducir las necesidades del usuario en especificaciones de producto. En este sentido, es notoria la falta de mecanismos sólidos y confiables para traducir las necesidades del usuario en características de diseño; no únicamente aquellas palpables, se hace un particular énfasis en la necesidad de incorporar los atributos intangibles relacionados con la percepción del producto por el usuario. Las metodologías tradicionales de diseño, basadas en el análisis de la función no resultan eficaces para anticipar estos factores y generalmente la actividad creativa se fundamenta en características del producto autodefinidas, las cuales son refinadas mediante procesos cíclicos de diseño, lo cual trae consigo un cúmulo de problemas que se traducen en ciclos de desarrollo de producto demasiado prolongados, en los cuales no existen mecanismos para prever si una combinación de características del objeto corresponden a la necesidad del usuario en un entorno de uso real.Esta genera una respuesta a la necesidad citada, mediante un mecanismo para la detección e interpretación de atributos de producto en la fase de diseño conceptual. De esta forma, no únicamente se identifican y categorizan las necesidades funcionales, sino que además se incluye un procedimiento para evaluar la percepción estética que el usuario posee hacia el objeto de diseño al examinar propuestas de diseño conceptual. Partiendo de una diferenciación inicial del tipo de requerimientos, clasificándolos según su naturaleza objetiva y subjetiva, la propuesta metodológica recurre a mecanismos particulares para la detección, interpretación y categorización de las necesidades del usuario en estas dos vertientes básicas. Estas cualidades, una vez identificadas, son incorporadas en una estructura de affordances (Gibson, 1979) que muestra el conjunto de interacciones, en las cuales las propiedades del objeto son percibidas por el usuario como posibilidades de acción. El propósito de utilizar esta distribución es el servir de guía para el equipo creativo en la fase de diseño de detalle, fungiendo como marco referencial para el diseño de forma que la actividad creativa sea dirigida anticipándose aquellos aspectos que el usuario percibe como más importantes en un producto en su entorno de uso.Para ello, se recurrió a una combinación de mecanismos adaptados para esta aplicación particular, siendo los principales de ellos el método Kano (1984), la técnica de diferenciales semánticos de Osgood (1957), el análisis factorial, así como a un sistema de inferencia que recurre a la lógica difusa o fuzzy logic (Zadeh, 1965). El resultado de la investigación se circunscribe en el ámbito de los métodos de diseño, comprendidos estos según la definición de Christopher Jones (1981), quien señala que son conjuntos de directivas a seguir durante el proceso de creación de un producto que responda a una necesidad de mercado; esta perspectiva es complementada con la visión de Cross (1996), quien interpreta los métodos de diseño como cualquier procedimiento, soporte o herramienta para diseñar, de forma que se represente el conjunto de actividades a los que el diseñador puede recurrir y/o combinar en el proceso creativo.

Conselho Nacional de Desenvolvimento Científico e Tecnológico / Neste trabalho é estudada a viabilidade de uma implementação em paralelo do algoritmo scale invariant feature transform (SIFT) para identificação de íris. Para a implementação do código foi utilizada a arquitetura para computação paralela compute unified device architecture (CUDA) e a linguagem OpenGL shading language (GLSL). O algoritmo foi testado utilizando três bases de dados de olhos e íris, o noisy visible wavelength iris image Database (UBIRIS), Michal-Libor e CASIA. Testes foram feitos para determinar o tempo de processamento para verificação da presença ou não de um indivíduo em um banco de dados, determinar a eficiência dos algoritmos de busca implementados em GLSL e CUDA e buscar valores de calibração que melhoram o posicionamento e a distribuição dos pontos-chave na região de interesse (íris) e a robustez do programa final. / Present work studies the feasibility of a parallel implementation of the scene recognition algorithm SIFT for iris recognition. The code was built using the Compute Unified Device Architecture (CUDA) and the shading language GLSL. The algorithm was tested using three databases containing eyes and iris, the UBIRIS, Michal- Libor and CASIA. Tests were made for: analyzing the requested time for checking if an subject is or is not present on current database, the efficiency of the search algorithms written in CUDA and GLSL, the search for calibration values that improve keypoints position and distribution through the region of interest (iris), analyzing the reliability of the final code.

Descrevemos propriedades espectrais de aplicações positivas em C*- álgebras de dimensão finita, seguindo o trabalho clássico de Evans e Hoegh-Krohn [EH-K]. Conjuntamente, estudamos os pontos extremais do conjunto das aplicações duplamente estocásticas completamente positivas sobre Mn(C), seguindo Landau e Streater [LS]. / We describe spectral properties of positive maps over nite dimensional C* -algebras, following the classical work of Evans and H egh-Krohn [EH-K]. We also study the extremal points of the set of completely positive doubly-stochastic maps over Mn(C), following Landau and Streater [LS].

O presente trabalho tem por objetivo apresentar um estudo sobre o controle ativo de um manipulador robótico, que consiste de uma lâmina exível, articulada em uma extremidade a um atuador do tipo harmonic-drive e livre na outra. Considera-se a modelagem dinâmica estrutural baseada no formalismo discreto "lumped mass approach", o qual aproxima a exibilidade contínua por uma discreta, adotando-se um número nito de modos exíveis. A dinâmica do atuador também é considerada no modelo, a qual contém exibilidade e atritos. Tal modelagem é validada via comparação entre resultados de simulações e experimentos. Atritos não lineares existentes no interior das juntas dos robôs provocam efeitos tais como zona morta em torque e comportamentos do tipo stick-slip, di cultando o desempenho de leis de controle para o caso de robôs rígidos, chegando a inviabilizar completamente o controle para o caso dos robôs com elos exíveis. Para diminuir estes problemas utilizou-se uma rede neural arti cial (RNA) treinada o -line. A saída da RNA é o atrito estimado, o qual é utilizado para compensar o atrito real do manipulador. Como a RNA é treinada o -line e o atrito é um fenômeno que varia com o tempo e com as condições de operação do atuador, a RNA perde seu desempenho, surgindo assim a necessidade de auto ajustar o mecanismo de compensa ção. O torque de atrito (saída da RNA) é multiplicado por um ganho obtido a partir de um algoritmo de inferência fuzzy, constituindo, um compensador neurofuzzy. O algoritmo fuzzy ajusta on-line a saída do compensador para lidar com as variações do torque de atrito. Resultados experimentais indicaram que o compensador neuro-fuzzy reduz signi cativamente a não linearidade imposta pelo atrito no atuador. O problema de controle de vibrações da estrutura exível é abordado com as técnicas alocação de pólos e LQG/LTR (Linear Quadratic Gaussian/Loop Transfer Recovery) por meio de simulações. A tese é concluída com a apresentação de resultados experimentais de um controlador baseado na síntese H1 combinada com o compensador de atrito, cujo desempenho mostrou-se satisfatório no controle de vibrações da lâmina exível. / The aim of the present work is the active control of a robotic manipulator, which consists of a exible beam, articulated at one extremity by a harmonicdrive actuator and free at the other. It is employed a structural dynamic model based on the lumped mass approach, which approximates the continuous beam exibility by a discrete one, using a nite number of exible modes. The dynamics of the actuator is also considered in the model, based on its exibility and friction. The model is validated using numerical and experimental results. The non linear friction in the robot joints provokes e ects such as torque dead zone and stick-slip behaviors, di culting the performance of control laws for rigid robots and avoiding completely the control law performance in the case of robots with exible links. To reduce these problems an arti cial neural network (NN), trained o -line, was employed. The NN output is the estimated friction, which is used to compensate the real friction of the manipulator. Since the NN is trained o -line and the friction varies with time and with the actuator operational condition, the NN looses its performance, needing to self adjust this mechanism. The friction torque (NN output) is multiplied by a gain obtained from a fuzzy inference algorithm, resulting the neuro-fuzzy compensator. The fuzzy algorithm adjusts the compensator output on-line to deal with the variations of the friction torque. Experimental results indicate that the neuro-fuzzy compensator can signi cantly decrease the non linearity due to the friction on the actuator. The control of the structural vibrations is treated using pole allocation and Linear Quadratic Gaussian/Loop Transfer Recovery (LQG/LTR). The thesis ends with the presentation of experimental results for a controller based on H1 synthesis combined with a friction compensator, whose performance showed to be satisfactory in controlling the vibration of the exible beam.

Neste trabalho estudamos alguns aspectos de geometria e topologia de variedades com o objetivo de aplicar tais resultados juntamente com dados observacionais para tentar determinar as variedades tridimensionais que possam servir de modelo para a parte espacial do universo. / In this work we study some aspects of geometry and topology of manifolds with the goal of applying such results with observational data to try to determine the tridimensional manifold that can serve as a model for the spatial part of the universe.

Descrevemos propriedades espectrais de aplicações positivas em C*- álgebras de dimensão finita, seguindo o trabalho clássico de Evans e Hoegh-Krohn [EH-K]. Conjuntamente, estudamos os pontos extremais do conjunto das aplicações duplamente estocásticas completamente positivas sobre Mn(C), seguindo Landau e Streater [LS]. / We describe spectral properties of positive maps over nite dimensional C* -algebras, following the classical work of Evans and H egh-Krohn [EH-K]. We also study the extremal points of the set of completely positive doubly-stochastic maps over Mn(C), following Landau and Streater [LS].

Conselho Nacional de Desenvolvimento Científico e Tecnológico / Neste trabalho é estudada a viabilidade de uma implementação em paralelo do algoritmo scale invariant feature transform (SIFT) para identificação de íris. Para a implementação do código foi utilizada a arquitetura para computação paralela compute unified device architecture (CUDA) e a linguagem OpenGL shading language (GLSL). O algoritmo foi testado utilizando três bases de dados de olhos e íris, o noisy visible wavelength iris image Database (UBIRIS), Michal-Libor e CASIA. Testes foram feitos para determinar o tempo de processamento para verificação da presença ou não de um indivíduo em um banco de dados, determinar a eficiência dos algoritmos de busca implementados em GLSL e CUDA e buscar valores de calibração que melhoram o posicionamento e a distribuição dos pontos-chave na região de interesse (íris) e a robustez do programa final. / Present work studies the feasibility of a parallel implementation of the scene recognition algorithm SIFT for iris recognition. The code was built using the Compute Unified Device Architecture (CUDA) and the shading language GLSL. The algorithm was tested using three databases containing eyes and iris, the UBIRIS, Michal- Libor and CASIA. Tests were made for: analyzing the requested time for checking if an subject is or is not present on current database, the efficiency of the search algorithms written in CUDA and GLSL, the search for calibration values that improve keypoints position and distribution through the region of interest (iris), analyzing the reliability of the final code.

Weve presented the results of our research for the conception, execution and evaluation of an informatized adaptive tool, known as DIA (in portuguese), that allows evaluate and give a feedback to the student under the perspective of formative evaluation. At the first stage, we used the PCN: Sciency of the Nature, Mathematics and its Technologies (BRASIL, 1998) and the Curriculum Matrices of Reference from the Instituto Nacional de Estudos e Pesquisas Educacionais -INEP, to the Sistem of Evaluation for Basic Education - SAEB (BRASIL, 2005) to build a scale in wich the objectives are in increasing order, according to the vertical development of the knowledge construction in Mathematics. We linked the proposed objectives to create a Data Bank (BI, in portuguese) that was used in our simulations. Weve analized the results of our essay to evaluate the comunication between the data bank and the scale under the perspective of giving a diagnosis of the construction of the mathematics knowledge. In our essay, we simulated the functionning of the DIA tool through an adaptive informatized test based on the "Teoria de Resposta ao Item" (TRI). We were also interested on determing a profile of a Data Bank (BI) that is able to significantly dialogue with our scale through the TRI. The scale and the associated data bank should provide a constructive feedback that will help the stundents develop their metacognitives competencies. / Apresentamos os resultados de nossa pesquisa para concepção, execuçãoo e avaliação de uma ferramenta adaptativa informatizada, denominada DIA, que permita tanto avaliar como fornecer feedback a estudantes sob uma perspectiva de avaliação formativa. Na primeira etapa, usamos os PCN: Ciências da Natureza, Matemática e suas Tecnologias (BRASIL, 1998) e as Matrizes Curriculares de Referência do Instituto Nacional de Estudos e Pesquisas Educacionais - INEP, para o Sistema de Avaliação para a Educação Básica- SAEB (BRASIL, 2005), para construir uma escala, em que os objetivos estão em ordem crescente, de acordo com o desenvolvimento vertical da construção do conhecimento em Matemática. Entrelaçamos os objetivos propostos para criar um Banco de Itens (BI), que foi usado em nossas simulações. Analisamos os resultados obtidos em nosso ensaio para avaliar o diálogo entre o BI e a escala sob a perspectiva de oferecer um diagnóstico de lacunas na construção do conhecimento matemático. Em nosso ensaio, simulamos o funcionamento da ferramenta DIA através de um teste adaptativo informatizado baseado na Teoria de Resposta ao Item (TRI). Também estamos interessados em determinar um perfil de um Banco de Itens, que seja capaz de forma significativa de dialogar com nossa escala através de TRI. A escala e o banco de itens a ela associado devem viabilizar um feedback construtivo que ajude os alunos a desenvolverem competências metacognitivas.