Paralelização em CUDA/GLSL do algoritmo SIFT para reconhecimento de íris

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.

Proposição e análise de modelos híbridos para o problema de escalonamento de produção em oficina de máquinas

Nas últimas décadas, o problema de escalonamento da produção em oficina de máquinas, na literatura referido como JSSP (do inglês Job Shop Scheduling Problem), tem recebido grande destaque por parte de pesquisadores do mundo inteiro. Uma das razões que justificam tamanho interesse está em sua alta complexidade. O JSSP é um problema de análise combinatória classificado como NP-Difícil e, apesar de existir uma grande variedade de métodos e heurísticas que são capazes de resolvê-lo, ainda não existe hoje nenhum método ou heurística capaz de encontrar soluções ótimas para todos os problemas testes apresentados na literatura. A outra razão basea-se no fato de que esse problema encontra-se presente no diaa- dia das indústrias de transformação de vários segmento e, uma vez que a otimização do escalonamento pode gerar uma redução significativa no tempo de produção e, consequentemente, um melhor aproveitamento dos recursos de produção, ele pode gerar um forte impacto no lucro dessas indústrias, principalmente nos casos em que o setor de produção é responsável por grande parte dos seus custos totais. Entre as heurísticas que podem ser aplicadas à solução deste problema, o Busca Tabu e o Multidão de Partículas apresentam uma boa performance para a maioria dos problemas testes encontrados na literatura. Geralmente, a heurística Busca Tabu apresenta uma boa e rápida convergência para pontos ótimos ou subótimos, contudo esta convergência é frequentemente interrompida por processos cíclicos e a performance do método depende fortemente da solução inicial e do ajuste de seus parâmetros. A heurística Multidão de Partículas tende a convergir para pontos ótimos, ao custo de um grande esforço computacional, sendo que sua performance também apresenta uma grande sensibilidade ao ajuste de seus parâmetros. Como as diferentes heurísticas aplicadas ao problema apresentam pontos positivos e negativos, atualmente alguns pesquisadores começam a concentrar seus esforços na hibridização das heurísticas existentes no intuito de gerar novas heurísticas híbridas que reúnam as qualidades de suas heurísticas de base, buscando desta forma diminuir ou mesmo eliminar seus aspectos negativos. Neste trabalho, em um primeiro momento, são apresentados três modelos de hibridização baseados no esquema geral das Heurísticas de Busca Local, os quais são testados com as heurísticas Busca Tabu e Multidão de Partículas. Posteriormente é apresentada uma adaptação do método Colisão de Partículas, originalmente desenvolvido para problemas contínuos, onde o método Busca Tabu é utilizado como operador de exploração local e operadores de mutação são utilizados para perturbação da solução. Como resultado, este trabalho mostra que, no caso dos modelos híbridos, a natureza complementar e diferente dos métodos Busca Tabu e Multidão de Partículas, na forma como são aqui apresentados, da origem à algoritmos robustos capazes de gerar solução ótimas ou muito boas e muito menos sensíveis ao ajuste dos parâmetros de cada um dos métodos de origem. No caso do método Colisão de Partículas, o novo algorítimo é capaz de atenuar a sensibilidade ao ajuste dos parâmetros e de evitar os processos cíclicos do método Busca Tabu, produzindo assim melhores resultados.

Análise de cobertura de metal-metal por XRF

A proposta do referente estudo foi medir a espessura do depósito de um metal em outro metal base, ou seja, utilizar o processo eletroquímico de Galvanoplastia ou eletrodeposição deste metal, por meio da técnica de fluorescência de raios X (XRF). O uso desta técnica justificou-se pelo interesse em reduzir os custos excessivos durante o processo eletroquímico, bem como, minimizar as possíveis margens de erros para obter resultados satisfatórios nas medidas. Neste trabalho, incluíram-se as medidas da espessura do Níquel (Ni) e análises da intensidade de radiação incidentes e a radiação atenuante, em função da espessura dos elementos Cromo (Cr) e Zinco (Zn), considerando como metal base o elemento Ferro (Fe). Em decorrência disso, em todos os casos foram simulados os processos de deposição do metal onde foram incluídos os resultados de absorção de raios X, além de desprezar a influência de outros fatores como a temperatura, o pH, o tratamento de superfície, entre outros, os quais são necessários para considerar em cada caso.

Intensidade acústica útil: um novo método para identificação de regiões radiantes em superfícies com geometrias arbitrárias

Neste trabalho é descrita a teoria necessária para a obtenção da grandeza denominada intensidade supersônica, a qual tem por objetivo identificar as regiões de uma fonte de ruído que efetivamente contribuem para a potência sonora, filtrando, consequentemente, a parcela referente às ondas sonoras recirculantes e evanescentes. É apresentada a abordagem de Fourier para a obtenção da intensidade supersônica em fontes com geometrias separáveis e a formulação numérica existente para a obtenção de um equivalente à intensidade supersônica em fontes sonoras com geometrias arbitrárias. Este trabalho apresenta como principal contribuição original, uma técnica para o cálculo de um equivalente à intensidade supersônica, denominado aqui de intensidade acústica útil, capaz de identificar as regiões de uma superfície vibrante de geometria arbitrária que efetivamente contribuem para a potência sonora que será radiada. Ao contrário da formulação numérica existente, o modelo proposto é mais direto, totalmente formulado na superfície vibrante, onde a potência sonora é obtida através de um operador (uma matriz) que relaciona a potência sonora radiada com a distribuição de velocidade normal à superfície vibrante, obtida com o uso do método de elementos finitos. Tal operador, chamado aqui de operador de potência, é Hermitiano, fato crucial para a obtenção da intensidade acússtica útil, após a aplicação da decomposição em autovalores e autovetores no operador de potência, e do critério de truncamento proposto. Exemplos de aplicações da intensidade acústica útil em superfícies vibrantes com a geometria de uma placa, de um cilindro com tampas e de um silenciador automotivo são apresentados, e os resultados são comparados com os obtidos via intensidade supersônica (placa) e via técnica numérica existente (cilindro), evidenciando que a intensidade acústica útil traz, como benefício adicional, uma redução em relação ao tempo computacional quando comparada com a técnica numérica existente.

Métodos espectrais de agrupamento

Os métodos espectrais são ferramentas úteis na análise de dados, sendo capazes de fornecer informações sobre a estrutura organizacional de dados. O agrupamento de dados utilizando métodos espectrais é comumente baseado em relações de similaridade definida entre os dados. O objetivo deste trabalho é estudar a capacidade de agrupamento de métodos espectrais e seu comportamento, em casos limites. Considera-se um conjunto de pontos no plano e usa-se a similaridade entre os nós como sendo o inverso da distância Euclidiana. Analisa-se a qual distância mínima, entre dois pontos centrais, o agrupamento espectral é capaz de reagrupar os dados em dois grupos distintos. Acessoriamente, estuda-se a capacidade de reagrupamento caso a dispersão entre os dados seja aumentada. Inicialmente foram realizados experimentos considerando uma distância fixa entre dois pontos, a partir dos quais os dados são gerados e, então, reduziu-se a distância entre estes pontos até que o método se tornasse incapaz de efetuar a separação dos pontos em dois grupos distintos. Em seguida, retomada a distância inicial, os dados foram gerados a partir da adição de uma perturbação normal, com variância crescente, e observou-se até que valor de variância o método fez a separação dos dados em dois grupos distintos de forma correta. A partir de um conjunto de pontos obtidos com a execução do algoritmo de evolução diferencial, para resolver um problema multimodal, testa-se a capacidade do método em separar os indivíduos em grupos diferentes.

Paralelização do algoritmo FDK para reconstrução 3D de imagens tomográficas usando unidades gráficas de processamento e CUDA-C

A obtenção de imagens usando tomografia computadorizada revolucionou o diagnóstico de doenças na medicina e é usada amplamente em diferentes áreas da pesquisa científica. Como parte do processo de obtenção das imagens tomográficas tridimensionais um conjunto de radiografias são processadas por um algoritmo computacional, o mais usado atualmente é o algoritmo de Feldkamp, David e Kress (FDK). Os usos do processamento paralelo para acelerar os cálculos em algoritmos computacionais usando as diferentes tecnologias disponíveis no mercado têm mostrado sua utilidade para diminuir os tempos de processamento. No presente trabalho é apresentada a paralelização do algoritmo de reconstrução de imagens tridimensionais FDK usando unidades gráficas de processamento (GPU) e a linguagem CUDA-C. São apresentadas as GPUs como uma opção viável para executar computação paralela e abordados os conceitos introdutórios associados à tomografia computadorizada, GPUs, CUDA-C e processamento paralelo. A versão paralela do algoritmo FDK executada na GPU é comparada com uma versão serial do mesmo, mostrando maior velocidade de processamento. Os testes de desempenho foram feitos em duas GPUs de diferentes capacidades: a placa NVIDIA GeForce 9400GT (16 núcleos) e a placa NVIDIA Quadro 2000 (192 núcleos).

Modelagem e avaliação comparativa dos métodos Luus-Jaakola e R2W aplicados na estimativa de parâmetros cinéticos de adsorção

As técnicas inversas têm sido usadas na determinação de parâmetros importantes envolvidos na concepção e desempenho de muitos processos industriais. A aplicação de métodos estocásticos tem aumentado nos últimos anos, demonstrando seu potencial no estudo e análise dos diferentes sistemas em aplicações de engenharia. As rotinas estocásticas são capazes de otimizar a solução em uma ampla gama de variáveis do domínio, sendo possível a determinação dos parâmetros de interesse simultaneamente. Neste trabalho foram adotados os métodos estocásticos Luus-Jaakola (LJ) e Random Restricted Window (R2W) na obtenção dos ótimos dos parâmetros cinéticos de adsorção no sistema de cromatografia em batelada, tendo por objetivo verificar qual método forneceria o melhor ajuste entre os resultados obtidos nas simulações computacionais e os dados experimentais. Este modelo foi resolvido empregando o método de Runge- Kutta de 4 ordem para a solução de equações diferenciais ordinárias.

Desenvolvimento de um simulador numérico empregando o método Smoothed Particle Hydrodynamics para a resolução de escoamentos incompressíveis. Implementação computacional em paralelo (CUDA)

Neste trabalho, foi desenvolvido um simulador numérico baseado no método livre de malhas Smoothed Particle Hydrodynamics (SPH) para a resolução de escoamentos de fluidos newtonianos incompressíveis. Diferentemente da maioria das versões existentes deste método, o código numérico faz uso de uma técnica iterativa na determinação do campo de pressões. Este procedimento emprega a forma diferencial de uma equação de estado para um fluido compressível e a equação da continuidade a fim de que a correção da pressão seja determinada. Uma versão paralelizada do simulador numérico foi implementada usando a linguagem de programação C/C++ e a Compute Unified Device Architecture (CUDA) da NVIDIA Corporation. Foram simulados três problemas, o problema unidimensional do escoamento de Couette e os problemas bidimensionais do escoamento no interior de uma Cavidade (Shear Driven Cavity Problem) e da Quebra de Barragem (Dambreak).

A arte de rir da morte: em Shakespeare e em Camões

Esta pesquisa tem por objetivo apontar os recursos criativos, usados por Shakespeare e Camões, para a construção de cenas, que têem como finalidade provocar o riso nos expectadores. Escolhemos três comédias de Shakespeare (Noite de Reis, A comédia dos erros, Sonho de uma noite de verão) para fazer uma leitura comparativa com as três comédias escritas por Camões (Filodemo, El Rei Seleuco e Anfitrião). Constatamos que, apesar da existência de uma variedade de procedimentos técnicos para a produção do riso, os autores recorreram aos mesmos recursos criativos: naufrágios, personagens com identidades trocadas, gêmeos que são confundidos e encenação de uma peça dentro de outra peça. Esses recursos são ferramentas com a função de criar um anteparo diante do horror da morte, o que constitui um processo de defesa do homem diante do seu inexorável destino. Nesse sentido, a comédia é uma das vias pela qual o homem ri da morte

Processamento mental da concordância verbal em estruturas do português brasileiro: investigação de possível interferência em sentenças com elemento movido sintaticamente

Muitos trabalhos têm buscado compreender como se dá o processamento da concordância entre sujeito e verbo e investigar fatores que possam influenciar a produção correta da concordância, gerando os chamados erros de concordância verbal. Franck et al (2010) realizaram pesquisa na língua francesa e encontraram interferência devido a elemento movido sintaticamente na produção da concordância verbal. Se faz necessário investigar se o fenômeno envolvendo movimento é o mesmo em sentenças do português brasileiro. Sendo assim, nosso objetivo foi investigar uma possível interferência de cópia de número plural entre sujeito e verbo (em relação de concordância) de elemento movido sintaticamente em construção de árvore sintática do PB, observando a origem do erro e tentando mostrar se há autonomia do formulador sintático. Ao propormos o diálogo entre Teoria Linguística e Psicolinguística utilizando o Programa Minimalista, versão mais atual do Gerativismo de Chomsky, a fim de observar a derivação sintática e o processamento das sentenças, acreditamos que o estudo de formulação sintática e um olhar por meio de um modelo de processamento, que abarquem tanto a formulação como a produção, esclareceriam a nós pontos importantes sobre o funcionamento da concordância verbal. A nossa hipótese é a de que um erro de concordância verbal não ocorra devido ao formulador sintático em estruturas de PB, buscaremos respostas para isso no modelo MIMC (Modelo Integrado Misto da Computação On-Line) (Corrêa & Augusto, 2007). No entanto, por outro lado, se um erro de concordância ocorre, tentaremos encontrar uma outra explicação que não proveniente da sintaxe, tal como, por exemplo, devido a aspecto de ordem morfofonológica e devido a tamanho da sentença, como colocado pelo modelo PMP (Modelo de Processamento Monitorado por parser (Rodrigues, 2006). À medida que realizamos dois experimentos com sentenças declarativa e interrogativa com o movimento do elemento DP e QU, os resultados mostram que o tamanho da sentença e fatores morfofonológicos podem produzir interferência devido ao tipo de elemento movido. Os resultados cedem terreno para assumir um formulador sintático autônomo e abre caminho para próximas investigações sobre o processamento da concordância verbal e possíveis interferências durante a sua produção

Implementação paralela do algoritmo iterativo de busca do parâmetro de regularização ótimo para o funcional de Tikhonov no problema de restauração de imagens

O uso de técnicas com o funcional de Tikhonov em processamento de imagens tem sido amplamente usado nos últimos anos. A ideia básica nesse processo é modificar uma imagem inicial via equação de convolução e encontrar um parâmetro que minimize esse funcional afim de obter uma aproximação da imagem original. Porém, um problema típico neste método consiste na seleção do parâmetro de regularização adequado para o compromisso entre a acurácia e a estabilidade da solução. Um método desenvolvido por pesquisadores do IPRJ e UFRJ, atuantes na área de problemas inversos, consiste em minimizar um funcional de resíduos através do parâmetro de regularização de Tikhonov. Uma estratégia que emprega a busca iterativa deste parâmetro visando obter um valor mínimo para o funcional na iteração seguinte foi adotada recentemente em um algoritmo serial de restauração. Porém, o custo computacional é um fator problema encontrado ao empregar o método iterativo de busca. Com esta abordagem, neste trabalho é feita uma implementação em linguagem C++ que emprega técnicas de computação paralela usando MPI (Message Passing Interface) para a estratégia de minimização do funcional com o método de busca iterativa, reduzindo assim, o tempo de execução requerido pelo algoritmo. Uma versão modificada do método de Jacobi é considerada em duas versões do algoritmo, uma serial e outra em paralelo. Este algoritmo é adequado para implementação paralela por não possuir dependências de dados como de Gauss-Seidel que também é mostrado a convergir. Como indicador de desempenho para avaliação do algoritmo de restauração, além das medidas tradicionais, uma nova métrica que se baseia em critérios subjetivos denominada IWMSE (Information Weighted Mean Square Error) é empregada. Essas métricas foram introduzidas no programa serial de processamento de imagens e permitem fazer a análise da restauração a cada passo de iteração. Os resultados obtidos através das duas versões possibilitou verificar a aceleração e a eficiência da implementação paralela. A método de paralelismo apresentou resultados satisfatórios em um menor tempo de processamento e com desempenho aceitável.

Olhando-me no espelho: imagens da leitura em uma escola pública de ensino médio

Este trabalho teve como objetivo discutir, com os professores e alunos de uma escola pública de ensino médio do Rio de Janeiro, algumas questões relacionadas com suas práticas e concepções sobre leitura, a partir das imagens fotográficas produzidas ao longo da pesquisa. As diferentes concepções do ato de ler, a relação da leitura literária e de outros tipos de leitura com as novas tecnologias, o papel da escola valorizando, ou não, o acesso aos diferentes suportes de leitura, foram alguns dos temas discutidos ao longo da realização da pesquisa. Roger Chartier indicou o quadro mais amplo, através do qual a leitura foi compreendida como uma prática cultural, realizada em diferentes suportes, sujeita a diferentes gestos, espaços e hábitos e, logo, sujeita a diferentes apropriações e avaliações, acentuando a impossibilidade de que ela seja abordada de forma abstrata, universal. Inicialmente, a estratégia de pesquisa havia se baseado na confecção de um vídeo pelos alunos sobre o tema da leitura. Como esta estratégia não aconteceu da forma esperada, optou-se por fazer uso de imagens fotográficas. Os sujeitos da pesquisa foram convidados a produzir imagens que no seu entender estivessem relacionadas ao tema da leitura. As imagens produzidas pelos sujeitos proporcionaram o ponto de partida para a realização das entrevistas. No decorrer do trabalho a produção das imagens trouxe importantes contribuições tanto do ponto de vista da discussão das relações entre o pesquisador e os sujeitos da pesquisa, do próprio fazer da pesquisa, quanto em relação às discussões dos temas relacionados à leitura. Etiene Samain, Miriam Moreira Leite, Boris Kossoy, José de Souza Martins, foram alguns dos referenciais teóricos que permitiram discutir o uso da imagem na pesquisa, superando seu caráter de cópia da realidade, de prova, ou de ilustração ao texto. A discussão sobre o uso da imagem foi incluída em uma analise sobre as questões teórico-metodológicas relacionados ao uso das estratégias etnográficas de pesquisa, sistematizadas a partir da contribuição de autores como George Marcus, James Clifford e Joanne Passaro. Sendo uma pesquisa realizada no próprio local de atuação profissional do pesquisador, a discussão sobre a construção de sua identidade e sobre a dimensão ética da pesquisa ganhou algum destaque a partir das reflexões de Mikhail Bakhtin. Ao longo da pesquisa foi percebido que o discurso escolar sobre a leitura, tradicionalmente entendido como sendo associado à extrema valorização da leitura literária, não se apresentou na escola estudada, nem como indicação abstrata nem como prática concreta. Construído na relação com alunos e professores, esse dado foi analisado com base nas reflexões de Walter Benjamin sobre o declínio das condições de produção e recepção da leitura literária. Benjamin também serviu de base à análise de algumas das características da leitura e da escrita na contemporaneidade, marcadas pelo fluxo contínuo, por sua rapidez. Com o auxílio de Lúcia Santaella, foram discutidos os suportes contemporâneos da leitura, os distintos tipos de leitor a eles relacionados, bem como as diversas formas de apropriação da leitura por parte dos sujeitos. Ao longo do estudo percebeu-se que a multiplicidade dos percursos e das práticas escolares de leitura dos jovens pesquisados não se deve apenas as suas marcas subjetivas e identitárias, sendo relacional tanto à diversidade dos percursos e práticas de leitura dos professores, quanto às diferenças entre os lugares da escola em que a leitura acontece. Esse achado aponta para a impropriedade do discurso que, sem levar em conta as inúmeras configurações que a leitura pode assumir nas escolas, conclui que na escola a crise da leitura é norma.

Métodos espectronodais para cálculos de transporte de partículas neutras com fonte fixa na formulação de ordenadas discretas e multigrupo de energia

Um método espectronodal é desenvolvido para problemas de transporte de partículas neutras de fonte fixa, multigrupo de energia em geometria cartesiana na formulação de ordenadas discretas (SN). Para geometria unidimensional o método espectronodal multigrupo denomina-se método spectral Greens function (SGF) com o esquema de inversão nodal (NBI) que converge solução numérica para problemas SN multigrupo em geometria unidimensional, que são completamente livre de erros de truncamento espacial para ordem L de anisotropia de espalhamento desde que L < N. Para geometria X; Y o método espectronodal multigrupo baseia-se em integrações transversais das equações SN no interior dos nodos de discretização espacial, separadamente nas direções coordenadas x e y. Já que os termos de fuga transversal são aproximados por constantes, o método nodal resultante denomina-se SGF-constant nodal (SGF-CN), que é aplicado a problemas SN multigrupo de fonte fixa em geometria X; Y com espalhamento isotrópico. Resultados numéricos são apresentados para ilustrar a eficiência dos códigos SGF e SGF-CN e a precisão das soluções numéricas convergidas em cálculos de malha grossa.

Um problema de interferências quânticas: segregação de impurezas em sistemas metálicos nanoestruturados

Neste trabalho estudamos o problema da segregação de impurezas substitucionais em sistemas nanoestruturados metálicos formados pela justaposição de camadas (multicamadas). Utilizamos o modelo de ligações fortes (tight-binding) com um orbital por sítio para calcular a estrutura eletrônica desses sistemas, considerando a rede cristalina cubica simples em duas direções de crescimento: (001) e (011). Devido à perda de simetria do sistema, escrevemos o hamiltoniano em termos de um vetor de onda k, paralelo ao plano, e um ındice l que denota um plano arbitrario do sistema. Primeiramente, calculamos a estrutura eletrônica do sistema considerando-o formado por átomos do tipo A e, posteriormente, investigamos as modificações nessa estrutura eletrônica ao introduzirmos uma impureza do tipo B em um plano arbitrário do sistema. Calculamos o potencial introduzido por esta impureza levando-se em conta a neutralidade de carga através da regra de soma de Friedel. Calculamos a variação da energia eletrônica total ΔEl como função da posição da impureza. Como substrato, consideramos sistemas com ocupações iguais a 0.94 e 0.54 elétrons por banda, o que dentro do modelo nos permite chamá-los de Nie Cr. As impurezas sao tambem metais de transição - Mn, Fee Co. Em todos os casos investigados, foi verificado que a variação de energia eletrônica total apresenta um comportamento oscilatorio em função da posição da impureza no sistema, desde o plano superficial, até vários planos interiores do sistema. Como resultado, verificamos a ocorrencia de planos mais favoráveis à localização da impureza. Ao considerarmos um número relativamente grande de planos, um caso em particular foi destacado pelo aparecimento de um batimentono comportamento oscilatório de ΔEl. Estudamos também o comportamento da variação da energia total, quando camadas (filmes) são crescidas sobre o substrato e uma impureza do mesmo tipo das camadas é colocada no substrato. Levamos em conta a diferença de tamanho entre os átomos do substrato e os átomos dos filmes. Analisamos ainda a influência da temperatura sobre o comportamento oscilatório da energia total, considerando a expansão de Sommerfeld.

Ensaio da Ferramenta DIA Diagnóstico e Informação do aluno

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.