Avaliação da sorpção, solubilidade e microdureza de resinas acrílicas após desinfecção com ácido peracético

O objetivo deste trabalho foi avaliar a influência da desinfecção com ácido peracético a 0,2% (STERILIFE®, Lifemed Produtos Médicos Comércio Ltda, São Paulo,SP) sobre as propriedades de sorpção, solubilidade e microdureza Knoop das resinas acrílicas termopolimerizadas (RATA) e resinas acrílicas quimicamente ativadas (RAQA). Os ensaios de sorpção, solubilidade e microdureza Knoop foram realizados utilizando resina acrílica termopolimerizável e quimicamente ativada da marca CLÁSSICO (Art. Odontológicos Clássico Ltda, São Paulo, SP). A especificação nº 1567 da International Organization for Standardization (ISO) foi utilizada para a realização dos ensaios de sorpção e solubilidade. Foram confeccionados 20 corpos de prova de resina acrílica termopolimerizável e 20 corpos de prova de resina acrílica quimicamente ativada, divididos aleatoriamente em dois grupos de 10 corpos de prova para cada material. O primeiro grupo foi denominado grupo controle e o segundo foi submetido à desinfecção com ácido peracético por 10 minutos. Os corpos de prova cilíndricos com dimensões de 50mm de diâmetro e 0,5mm de espessura, foram mantidos em um dissecador com sílica gel, a 37°C, até a obtenção da massa constante (M1), obtida através de pesagens consecutivas em uma balança de precisão com resolução de 0,0001g. A seguir os corpos de prova foram imersos em água destilada a 37°C, durante 7 dias e posteriormente pesadas, para obtenção da massa M2. Após, os corpos de prova retornaram ao dissecador com sílica gel, a 37°C, até a obtenção da massa recondicionada (M3). A diferença entre M2 e M3 em relação ao volume do corpo de prova resultou na sorpção do mesmo e, a solubilidade foi calculada subtraindo M3 de M1 e dividindo pelo volume do corpo de prova. Para o ensaio de microdureza foram confeccionados 10 corpos de prova de cada resina. A mensuração da microdureza Knoop, utilizando o NU Research Microscope (VEB Carl Zeiss JENA- Germany), foi obtida antes e após a desinfecção de cada corpo de prova. Os resultados mostraram que a desinfecção com ácido peracético, tanto para as resinas acrílicas termopolimerizadas como para as quimicamente ativadas, não alterou significativamente as propriedades de sorpção e solubilidade, uma vez que continuaram atendendo às exigências da especificação nº 1567 da ISO, após o tratamento. Em relação a microdureza Knoop, os resultados mostraram que não houve diferença estatística significativa entre a microdureza anterior e posterior à desinfecção, tanto a resina de termopolimerização (p=0,992), como para a resina quimicamente ativada (p=0,999). Portanto, o processo de desinfecção de resinas acrílicas com ácido peracético, pode ser viável considerando as propriedades analisadas.

Uma Biblioteca para programação paralela por troca de mensagens de clusters baseados na tecnologia SCI

A presente Dissertação propõe uma biblioteca de comunicação de alto desempenho, baseada em troca de mensagens, especificamente projetada para explorar eficientemente as potencialidades da tecnologia SCI (Scalable Coherent Interface). No âmago da referida biblioteca, a qual se denominou DECK/SCI, acham-se três protocolos de comunicação distintos: um protocolo de baixa latência e mínimo overhead, especializado na troca de mensagens pequenas; um protocolo de propósito geral; e um protocolo de comunicação que emprega uma técnica de zero-copy, também idealizada neste Trabalho, no intuito de elevar a máxima largura de banda alcançável durante a transmissão de mensagens grandes. As pesquisas desenvolvidas no decurso da Dissertação que se lhe apresenta têm por mister proporcionar um ambiente para o desenvolvimento de aplicações paralelas, que demandam alto desempenho computacional, em clusters que se utilizam da tecnologia SCI como rede de comunicação. A grande motivação para os esforços envidados reside na consolidação dos clusters como arquiteturas, a um só tempo, tecnologicamente comparáveis às máquinas paralelas dedicadas, e economicamente viáveis. A interface de programação exportada pelo DECK/SCI aos usuários abarca o mesmo conjunto de primitivas da biblioteca DECK (Distributed Execution Communication Kernel), concebida originalmente com vistas à consecução de alto desempenho sobre a tecnologia Myrinet. Os resultados auferidos com o uso do DECK/SCI revelam a eficiência dos mecanismos projetados, e a utilização profícua das características de alto desempenho intrínsecas da rede SCI, haja visto que se obteve uma performance muito próxima dos limites tecnológicos impostos pela arquitetura subjacente. Outrossim, a execução de uma clássica aplicação paralela, para fins de validação, testemunha que as primitivas e abstrações fornecidas pelo DECK/SCI mantêm estritamente a mesma semântica da interface de programação do original DECK.

Um sistema de valores de troca para suporte às interações em sociedades artificiais

Este trabalho propõe a definição de um Sistema de Valores de Troca para modelar as trocas sociais entre agentes em sociedade artificiais. Esse sistema é baseado na Teoria das Trocas de Valores de Jean Piaget e é composto por uma algebrá de valores de troca, que indica como esses valores devem ser representados e manipulados, por um mecanismo de raciocínio social baseado em vaores de troca e por estruturas capazes de armazenar e manipular tais valores. Nesse sistema, os valores de troca são vistos tanto como elementos motivadores das interações quanto como elementos reguladores responsáveis pelo equilíbrio e continuidade das trocas sociais. Acredita-se que o istema proposto é capaz de melhorar a modelagem das interações. É mostrado, também, como o sistema de valores proposto pode ser integrado com modelos de interação existentes na literatura de sistemas multiagente; Para isso, foram escolhidos dosi modelos práticos de organização dinâmica - o Redes de Contrato e o Modelo de Coalizões Baseadas em Dependências. Para demonstrar comomo o sistema de valores pode ser aplicado na modelagem e na simuulação de situações reais, é descrito um cenário para experimentação, no qual o sistema proposto é utilizado para modelar, de forma simplificada, o processo de lobby atrtavés de contribuições para campanhas políticas. Com este cenário pretende-se observar, além da dinâmica dos valores de troca, a capacidade do sistema em modelar caraterísticas mais subjetivas das interações (normalmente observadas nas relações humanas), e, ao tempo tempo, prover elementos reguladores, instrurmentos para a continuidade das interações e trocas sociais.

Estudo da influência das resinas poliéster isoftálica e ortoftálica e do teor de cinza volante nas propriedades mecânicas e durabilidade do concreto polímero

Os compostos de concreto polímero vem se tornando, em países desenvolvidos, uma boa opção para a construção civil, especialmente onde se necessita resistência elevada, cura rápida e boa durabilidade. Grande parte destes compostos são produzidos com as resinas epóxi e poliéster, em especial, a isoftálica. No Brasil, entretanto, não se tem conhecimento da aplicação e nem mesmo de grupos de pesquisa e desenvolvimento sistematizados, atuando na área, possivelmente devido ao desconhecimento das propriedades, da metodologia de produção e do alto custo do concreto polímero. Diante deste panorama, o presente trabalho tem como objetivo produzir e analisar composições de concreto polímero de custos reduzidos, utilizando como aglomerante a resina poliéster ortoftálica, em função de seu custo, e a resina poliéster isoftálica, que tem sido tradicionalmente utilizada. Inicialmente foram determinadas a resistência à compressão axial e absorção de água em composições de concreto polímero, com variados teores de resina, visando a escolha de um teor de aglomerante mínimo. Na segunda parte do programa experimental foi analisada a influência do teor de cinza volante (fíler) e do tipo de resina na resistência à compressão axial, na resistência à tração na flexão, no comportamento frente ao ataque químico, no módulo de elasticidade e no desgaste por abrasão. A microestrutura das amostras que sofreram ataque químico foi analisada em microscópio eletrônico de varredura. Os resultados mostraram que os concretos polímeros de resina poliéster isoftálica e ortoftálica exibiram bom comportamento mecânico e químico. A cinza volante contribui tanto no aspecto mecânico, quanto no químico. Constatou-se que a resina ortoftálica, quando utilizada simultaneamente com areia e cinza volante, exibe comportamento semelhante à resina isoftálica no concreto polímero, apesar das propriedades da resina poliéster ortoftálica serem inferiores as da isoftálica.

Resinas poliésteres carboxifuncionais para tinta em pó : caracterização e estudo cinético da reação de cura

Um grande desafio relacionado à química da resina poliéster carboxifuncional, para aplicação em tinta em pó, é conseguir um balanço adequado entre a sua massa molar, funcionalidade, viscosidade e temperatura de transição vítrea (Tg). Essas características devem permitir a aplicação da resina na produção de tinta em pó na qual seja possível a obtenção de boa estabilidade durante sua estocagem e ótimas propriedades mecânicas durante a sua vida útil. Nesta tese, desenvolveu-se a introdução de uma metodologia para a caracterização de resinas poliésteres carboxifuncionais para aplicação em tinta em pó, baseada em reometria capilar e calorimetria diferencial de varredura (DSC). Esta se diferencia daquela baseada em métodos usuais muito subjetivos, usados corriqueiramente no controle do processo de síntese destas resinas. Os resultados de DSC mostram que todas as resinas poliésteres carboxifuncionais sintetizadas neste trabalho são completamente amorfas, sendo a Tg um parâmetro sensível à modificação da composição da resina. A determinação da viscosidade de cisalhamento das resinas utilizando reômetro capilar em comparação a outras técnicas usuais, permite a obtenção de valores mais absolutos, independente da ordem de grandeza da massa molar e da funcionalidade da resina, demonstrando ser uma técnica simples, eficaz e de grande utilidade em relação às atualmente utilizadas. A utilização da técnica de DSC permitiu avaliar a cinética da reação de cura do sistema poliéster/triglicidilisocianurato (TGIC) através de métodos cinéticos isotérmicos e dinâmicos. Através do método isotérmico determinou-se o grau de conversão da reação para vários tempos de cura, e pelos métodos dinâmicos de Kissinger, Osawa e Meia Largura determinou-se a energia de ativação da cura.

Avaliação de resinas Epóxi para fabricação de materiais compósitos pelo processo de pultrusão

A utilização de resinas epóxi na fabricação de materiais compósitos vem crescendo substancialmente nos últimos anos. O processo de pultrusão também acompanha esta tendência e a demanda por dados técnicos a respeito desta resina vem crescendo, sendo cada vez mais objeto de pesquisa em universidades e empresas. A pultrusão é um processo contínuo de fabricação de materiais compósitos. O processo consiste basicamente em duas etapas a saber: a impregnação, onde se tem a aplicação da mistura com resina, endurecedor e aditivos sobre as fibras; a cura do perfil, onde o material compósito passa pelo processo de reticulação, adquirindo sua forma final e suas diferentes propriedades mecânicas, físicas e químicas. O interesse deste trabalho reside especialmente sobre este tipo de resina pelo fato de que seu emprego no processo de pultrusão confere excelentes propriedades químicas e elétricas ao perfil fabricado. Dadas às características do processo de pultrusão, o conhecimento do comportamento da resina, do ponto de vista físico e cinético, é requisito básico para a obtenção de produtos de qualidade. Apresentando um comportamento diferenciado de resinas poliéster, as resinas epóxi possuem características especiais que tornam o seu uso no processo de pultrusão bastante desafiador. Através de ensaios térmicos (calorimetria exploratória diferencial – DSC- e análise termogravimétrica – TGA) foi possível verificar o comportamento das resinas epóxi misturadas com endurecedor As resinas estudadas apresentaram boa resistência térmica, com temperaturas de degradação superiores a 1500C. Quando testadas no DSC, as resinas apresentaram diferentes calores de reação para cada um das condições testadas, destacando-se a resina LY-553 como adequada para uso no processo de pultrusão. Testes verificando tempo de gel e viscosidade complementaram os dados, fornecendo informações úteis para o estudo das resinas na área de impregnação no processo de pultrusão. Estes testes confirmaram a aplicabilidade da resina LY-553 no processo de pultrusão, bem como qualificaram a resina GY-281 como uma possível alternativa para a produção de perfis pultrudados.

Trocando os documentos : um estudo antropológico sobre a cirurgia de troca de sexo

Embora a transexualidade venha provocando muitos debates por parte de jornalistas, de cientistas de várias áreas e do público em geral, o universo dos transexuais é ainda bastante desconhecido e confundido freqüentemente com o da homossexualidade e de outras modalidades trans. O presente estudo visa apresentar uma abordagem antropológica sobre a transexualidade trabalhando, simultaneamente, com transexuais pré e pós-operatórios e examinando duas das principais esferas que influenciam diretamente a situação dos transexuais: a médica e a jurídica. A esfera médica tem a atribuição de definir o “verdadeiro transexual”, fazendo o diagnóstico diferencial com outras “patologias”, a fim de assegurar a correta indicação para a cirurgia de troca de sexo, e a esfera jurídica tem a atribuição de reclassificar o sexo do transexual no âmbito da sociedade. A pesquisa analisa as representações que os transexuais têm do seu corpo, da sua sexualidade e da sua identidade, bem como a forma com que se percebem e são percebidos em suas famílias e no seu grupo social. Aborda, ainda, a visão que os transexuais têm da mudança de sexo, bem como os efeitos deste processo sobre suas vidas. Assim, esta dissertação estabelece uma possibilidade de se aprimorar o diálogo intensificado nos últimos anos entre o sistema de saúde, o sistema jurídico e os próprios transexuais.

Estudo da evolução estrutural induzida por irradiação iônica em multicamadas de Fe/sub 30/Co/sub 70/Cu

Neste trabalho, relata-se o comportamento estrutural de multicamadas de Fe30Co70/Cu, quando submetidas a irradiações com íons de He+ e Kr+ e tratamentos térmicos. As multicamadas foram confeccionadas à temperatura ambiente, numa câmara de ultra-alto vácuo por evaporação alternada de uma liga Fe30Co70 e Cu. As energias das irradiações foram escolhidas de tal forma que os íons atravessassem a multicamada, ficando alojados no substrato de Si. As doses foram calculadas para que os dois tipos de íons depositassem a mesma energia total na multicamada. Após a confecção dos filmes, os mesmos foram submetidos a tratamentos térmicos de 10 minutos em temperaturas variando de 350 a 450 oC. Este processo quebra a estrutura de camadas e forma uma liga heterogênea de grãos magnéticos embebidos numa matriz metálica de Cu. Para investigar a evolução das propriedades estruturais das amostras utilizou-se difração, refletividade e espectroscopia de absorção de raios-X. Os resultados da refletividade de raios-X mostraram claramente que uma estrutura de multicamadas é formada após a evaporação, fato que é comprovado pelo pico de Bragg observado nas curvas de refletividade. As irradiações com He+ e Kr+ não destroem a estrutura de multicamadas, ao contrário, elas provocam um alisamento de todas as interfaces. Pelas medidas de difração de raios-X verificou-se que as irradiações resultam no aumento de cristalinidade e no crescimento de tamanho dos cristalitos do sistema. A irradiação com He+ não provoca mudanças significativas na multicamada, mas a irradiação com Kr+ induz uma transformação de fase de bcc para fcc/hcp nas camadas de Fe30Co70. Esta nova fase induzida pela irradiação com Kr+ é metaestável, pois um simples tratamento térmico de 450 oC durante 10 minutos destrói a nova estrutura fcc/hcp, fazendo com que a liga retorne a estrutura bcc. As medidas de absorção de raios-X estão em perfeito acordo com as medidas de difração e refletividade, mostrando que as irradiações promovem uma melhora na ordem cristalográfica. De acordo com o que foi observado das medidas, a irradiação com He+ não provoca nenhum efeito significativo na estrutura da liga de FeCo. Contudo, a irradiação com Kr+ induz uma transformação de fase nesta liga de bcc para uma estrutura fcc e/ou hcp. Tal transformação é induzida pela irradiação com Kr+ porque estes íons transferem mais energia, em colisões nucleares, do que os íons de He+. Além disso, estes íons provocam um grande número de cascatas de colisões, fazendo com que os átomos contidos dentro do volume destas cascatas tornem-se móveis. Desta forma, os átomos de Fe e Co se rearranjam em uma estrutura fcc, que é imposta pelas camadas de Cu adjacentes. Embora a estrutura fcc seja muito mais provável, também é possivel que a estrutura induzida seja hcp.

Estudo de difusão de impurezas introduzidas por implantação iônica em polímeros

No presente trabalho estudamos de forma sistemática a difusão de impurezas em filmes poliméricos usando as técnicas de implantação iônica e análise por feixe de íons, retroespalhamento Rutherford e de perfil de profundidade por nêutrons. Com este propósito foram implantadas e realizadas medidas em diferentes intervalos de temperatura para diferentes sistemas como (Au, Ag) no fotoresiste AZ1350, (Bi, Eu, Er, B) no fotoresiste S1813 e (Xe, Kr) no termoplástico Poliestireno. Como resultado mostrou-se que para implantações em baixas energias e fluências Au, Ag seguem uma difusão regular. Os valores obtidos para os parâmetros de difusão são semelhantes indicando assim um mecanismo de difusão verdadeiramente atômico. É mostrado também que com o aumento da fluência, devido aos danos gerados pelo processo de implantação, átomos são aprisionados na região implantada levando a um mecanismo de difusão por aprisionamento e liberação. Contudo, mostrou-se que a energia de ativação indica que este processo de difusão ainda é de caráter atômico. Da análise dos valores de D observamos um efeito de massa associado onde D(T)Au < D(T)Ag, pois a massa de Ag é duas vezes menor que a de Au. Para os elementos como Bi, Eu e Er, considerados quimicamente mais ativos que Au, não foram observados efeitos de possíveis ligações químicas nestes sistemas. Valores de energia de ativação de Bi apresentaram-se próximos aos de Au para as fluências de implantação aplicadas, o mesmo ocorrendo para a difusão de Er e Eu. O B mostrou que depois de implantado difunde durante ou imediatamente após a implantação. Difusão esta dada na presença de armadilhas saturáveis induzidas por radiação, indo além da difusão térmica, por ordem de magnitude de ≈10-12, contra ≈10-13 cm2s-1, respectivamente. Quanto a Xe e Kr, observou-se que estes também difundem durante ou imediatamente após a implantação, e que a fração do gás retido no pico depende da fluência implantada. Implantações em baixa temperatura (80 K) e posteriores análises foram determinados in situ por RBS na faixa de 80 a 300 K. Verificou-se que a difusão segue um perfil regular. Em cada caso mostrou-se que a dependência dos valores de D como função da temperatura segue um comportamento tipo Arrhenius, com valores de energia de ativação para os metais (Au, Ag, Bi) entre 580 e 680 meV, para os lantanídeos (Er, Eu) valores entre 525 a 530 meV, para o semi-metal (B) 100 meV, e finalmente para os gases nobres Kr e Xe entre 40 e 67 meV.

Estudo do impacto da variabilidade de resinas alquídicas nas propriedades de tintas

Este trabalho de conclusão tem como tema a relação entre as especificações de resinas alquídicas e de tintas preparadas com estas resinas, com foco nas características de teor de sólidos e viscosidade, fazendo uso das técnicas projeto de experimentos, superfície de resposta e análise de regressão. O objetivo principal é o estudo dos limites de especificação ideais para a resina alquídica, de forma que os lotes de tinta apresentem propriedades dentro da especificação já ao final do processamento, reduzindo a incidência de lotes fabris com necessidade de ajuste. Como conseqüência, temos redução de retrabalho e lead time fabril, adequação de custo de produtos, maior qualidade intrínseca e maior confiança na sistemática de desenvolvimento, produção e controle de qualidade. Inicialmente, foi realizada uma revisão bibliográfica sobre a tecnologia de tintas e resinas alquídicas, conceitos de controle de qualidade, planejamento de experimentos, análise por superfície de resposta e análise de regressão. Na seqüência, foi conduzido o estudo de caso, realizado na empresa Killing S.A. Tintas e Adesivos, planta localizada na cidade de Novo Hamburgo. Os resultados experimentais indicaram modelos de regressão polinomial válidos para as propriedades avaliadas. Foram tomadas as propriedades teor de sólidos e viscosidade Copo Ford #2 da mistura A+B como parâmetros para análise dos limites de especificação da resina alquídica, onde se comprovou que a variabilidade atualmente permitida é excessiva. A aplicação dos modelos de regressão indicou novos limites de especificação para a resina alquídica, mais estreitos, viabilizando a obtenção de tintas com propriedades especificadas.

Relacionamento Interpessoal entre Compradores e Vendedores: Troca de Atendimento em Vendas e o Impacto na Continuidade das Relações Comerciais.

In a highly competitive environment, the ability to retain a substantial customer base represents a tremendous competitive advantage, therefore this transaction-based emphasis in sales is increasingly being replaced by relationally focused approach. Although existing sales literature is in agreement to the theoretical composition of buyer-seller relationships, a lack of empirical evidence exists for the interrelationships of various aspects of relational selling on individual salesperson¿s performance. This paper explores the impact of interpersonal relationships on customer satisfaction and loyalty towards the firm. Based on a review of different streams of research, the paper contributes to the existing theories using a case analysis of customer behavior when there is salesperson turnover. Much of the relationship with the company comes from trust in the salesperson, which is built up through the development of the relationship. The existence of a friendship interpersonal relationship with a salesperson also increases the customer willingness to follow him in case he leaves the company, thus possibly switching to another service provider. Utilizing a case analysis method this paper has the objective to find evidences that could prove the positive or negative impact of the salesperson¿s turnover in the organizations. Finally, the paper discusses managerial implications and directions for future research.

Dispositivos visuais como apoio para a troca rápida de ferramentas : a experiência de uma metalúrgica

Este trabalho visa avaliar a contribuição do uso de dispositivos visuais no combate às perdas durante o processo de setup, dentro do conceito de troca rápida de ferramentas. O estudo foi realizado em uma metalúrgica, focando o setor de usinagem composto por tornos CNC (Controle Numérico Computadorizado). As melhorias relativas aos dispositivos visuais foram implantadas a fim de organizar o setor de tornos e reduzir o tempo de setup dessas máquinas. O processo de implantação iniciou a partir de um diagnóstico da situação existente quanto à troca de ferramentas, realizado por meio dos seguintes procedimentos: descrição dos processos de produção; levantamento da percepção dos funcionários quanto às melhorias necessárias; percepções da pesquisadora. Com base nesse diagnóstico, foi realizado um estudo para a priorização máquinas onde as melhorias seriam implementadas. Através do registro dos tempos de setup antes e após o período de implantação das melhorias, verificou-se que os tempos aumentaram em três máquinas e reduziram em três. Embora existam diferenças de desempenho entre as máquinas, algumas falhas no processo de implantação ficaram evidentes: falta de aderência aos padrões de setup, visto que os trabalhadores não separavam tempo interno e externo; treinamento insuficiente sobre a TRF e seus benefícios; falta de reuniões periódicas e negligência do estágio estratégico de preparação para a TRF, visto que não foram estabelecidas metas claras de desempenho nem um plano global de implantação.

ChatMath: ferramenta de comunicação síncrona para troca de formalismos matemáticos através da web

A comunicação é essencial para a vida em grupo, e se dá através da linguagem. Existem diversas formas de linguagem, porém a linguagem matemática vai além das demais, pois é universal. O advento dos aparelhos eletrônicos e, em especial, do computador, tornou possível o desenvolvimento de padrões e aplicativos que pudessem manipular símbolos matemáticos eletronicamente. A Web trouxe consigo a linguagem HTML para visualização de textos e, mais atualmente, o padrão de linguagem de marcação XML e seus aplicativos, que têm características melhores que o HTML quanto à estruturação, armazenamento e indexação de dados. Uma das aplicações advindas do XML foi a linguagem de marcação matemática MathML, que contribui para a manipulação e visualização de formalismos matemáticos na Web, e vem se tornando um padrão no meio acadêmico, educacional e comercial. As diversas aplicações matemáticas (editores, ambientes matemáticos) desenvolvidas para o computador geralmente não permitem a discussão em linguagem matemática de forma síncrona pela rede de computadores. Sabe-se que na Internet a conexão de pessoas num mesmo momento através de ferramentas síncronas é muito difundida, como é o caso de aplicativos do tipo bate-papo; no entanto, esses aplicativos não possuem funcionalidades que permitam a troca de textos matemáticos. Há, portanto, uma limitação em relação a ferramentas de comunicação síncrona para matemática na Web. Este trabalho quer oferecer uma alternativa ao público que deseje trocar formalismos matemáticos de forma síncrona pela Web, a fim de verificar se esse tipo de ferramenta é efetivamente usável para discussões matemáticas. Para isso, foi desenvolvido um protótipo que reúne as características de uma ferramenta típica de bate-papo com as vantagens advindas das linguagens de marcação: o ChatMath. O trabalho também aponta características de aplicativos matemáticos e de ferramentas síncronas textuais e descreve as linguagens de marcação matemática. Para fins de avaliação do protótipo desenvolvido, fez-se uma pesquisa a fim de verificar sua efetiva utilidade para troca de formalismos matemáticos, dentro do contexto educacional. Os resultados dessa pesquisa confirmam a hipótese levantada, embora identifiquem modificações funcionais e de uso da ferramenta, havendo necessidade de reaplicação da avaliação, para se obter resultados mais detalhados.