Esta dissertação se insere no contexto do debate em torno da tradução e apresenta dois objetivos: o primeiro, mais geral, é fazer o (re)conhecimento da poética do traduzir, projeto teórico do pensador francês Henri Meschonnic (1932-2009); o segundo, mais específico, é revisitar, a partir desse (re)conhecimento da poética do traduzir, três temas clássicos no debate em torno da tradução à luz dessa teoria, a saber, a própria tradução, a fidelidade e a equivalência. Justifica-se a inserção desta discussão no debate sobre a tradução pelo fato de a poética do traduzir apresenta um posicionamento bastante distinto daqueles mais reconhecidos hoje tanto na discussão acadêmica quanto no senso comum sobre o que é a tradução. Isso se deve ao fato de a poética do traduzir supor e indicar uma reflexão sobre a linguagem que modifica a visão do traduzir. A linguagem, no âmbito poético, não é tomada a partir dos termos comuns da língua (como forma e sentido, por exemplo), que representam uma visão redutora da linguagem, descontínua por natureza. Pelo contrário, a poética do traduzir situa a tradução – e a própria linguagem – no terreno do discurso, que é da ordem do contínuo, e, por aí, modifica o pensamento sobre o que é a linguagem e, consequentemente, o que é o traduzir. Desse modo, esta dissertação apresenta, inicialmente, as bases do pensamento poético, que dizem respeito a uma visão não-redutora da linguagem. Nesse contexto, a leitura meschonniquiana dos pensamentos de Wilhelm von Humboldt, Ferdinand de Saussure e Émile Benveniste é apresentada para embasar essa visão não-redutora. A partir dessa construção, passo aos elementos da poética do traduzir para que se faça claro o posicionamento teórico que Meschonnic apresenta para debater a tradução. Esse é um ponto de extrema relevância pois indica como funciona o sistema do pensamento poético, permitindo seu (re)conhecimento. Por fim, a discussão final se dá como consequência das reflexões anteriores. Se a poética modifica o saber sobre o traduzir, cumpre demonstrar como isso se dá em comparação com o pensamento sobre os temas propostos a partir da visão da Tradutologia para que se compreenda como a poética do traduzir introduz elementos que renovam o debate em torno desses temas comumente difundidos em discussões dessa natureza. / This dissertation is inserted in the context of the debate regarding translation and has two objectives: the first, more general, is to make the (re)acknowledgement of the poetics of translating, the theoretical project of the French thinker Henri Meschonnic (1932-2009); the second, more specific, is to revisit, based on this (re)acknowledgment of the poetics of translating, three classic themes in the debate regarding translation in the light of this theory, namely: translation itself, fidelity and equivalence. The insertion of this discussion in the debate about translation is justified by the fact that the poetics of translating presents a different point of view from those most recognized today in both academic discussion and common sense about what translation is. This is due to the fact that the poetics of translating assumes and indicates a reflection on language that modifies the idea of translating. Language, in the poetic scope, is not regarded by the common terms of a language (such as form and meaning, for example), which represent a reductive view of language, discontinuous in nature. On the contrary, the poetics of translating places translation – and language itself – in the field of discourse, which is of the order of the continuum, hence modifying the general idea about what language is, and consequently what is there to translate. In this way, this dissertation presents initially the bases of the poetic thought, which concern a non-reductive view of language. In this context, the meschonniquian reading of the ideas of Wilhelm von Humboldt, Ferdinand de Saussure and Émile Benveniste is presented to support this non-reductive view of language. From this construction, I turn to the elements of the poetics of translating so that the theoretical positioning that Meschonnic presents to discuss translation becomes clear. This is a point of extreme relevance because it indicates how the system of poetic thinking works, allowing its (re)acknowledgement. Lastly, the final discussion comes as a consequence of these previous reflections. If poetics modifies the knowledge about translation, it is necessary to demonstrate how this is done in comparison with the ideas about the themes proposed from the point of view of Traductology so that one understands how the poetics of translating introduces elements that renew the debate around these subjects commonly disseminated in discussions of this nature.

Os efeitos de radiação têm sido um dos problemas mais sérios em aplicações militares e espaciais. Mas eles também são uma preocupação crescente em tecnologias modernas, mesmo para aplicações comerciais no nível do solo. A proteção dos circuitos integrados contra os efeitos da radiação podem ser obtidos através do uso de processos de fabricação aprimorados e de estratégias em diferentes estágios do projeto do circuito. A técnica de TMR é bem conhecida e amplamente empregada para mascarar falhas únicas sem detectálas. No entanto, o projeto de circuitos TMR não é automatizado por ferramentas EDA comerciais e até mesmo eles podem remover parcial ou totalmente a lógica redundante. Por outro lado, existem várias ferramentas que podem ser usadas para implementar a técnica de TMR em circuitos integrados, embora a maioria delas sejam ferramentas comerciais licenciadas, convenientes apenas para dispositivos específicos, ou com uso restrito por causa do regime ITAR. O presente trabalho pretende superar esses incovenientes, para isso uma metodologia é proposta para automatizar o projeto de circuitos TMR utilizando um fluxo de projeto comercial. A abordagem proposta utiliza um netlist estruturado para implementar automaticamente os circuitos TMR em diferentes níveis de granularidade de redundância para projetos baseados em células e FPGA. A otimização do circuito TMR resultante também é aplicada com base na abordagem do dimensionamento de portas lógicas. Além disso, a verificação do circuito TMR implementado é baseada na verificação de equivalência e garante sua funcionalidade correta e sua capacidade de tolerancia a falhas simples. Experimentos com um circuito derivado de HLS e uma descrição ofuscada do soft-core ARM Cortex-M0 foram realizados para mostrar o uso e as vantagens do fluxo de projeto proposto. Diversas questões relacionadas à remoção da lógica redundante implementada foram encontradas, bem como o impacto no incremento de área causado pelos votadores de maioria. Além disso, a confiabilidade de diferentes implementações de TMR do soft core ARM sintetizado em FPGA foi avaliada usando campanhas de injeção de falhas emuladas. Como resultado, foi reforçado o nível de alta confiabilidade da implemntação com mais fina granularidade, mesmo na presença de até 10 falhas acumuladas, e a menor capacidade de mitigação correspondente à replicação de flip-flops apenas. / Radiation effects have been one of the most serious issues in military and space applications. But they are also an increasing concern in modern technologies, even for commercial applications at the ground level. Protection or hardening of integrated circuits against radiation effects can be obtained through the use of enhanced fabrication processes and strategies at different stages of the circuit design. The triple modular redundancy (TMR) technique is a widely and well-known technique employed to mask single faults without detecting them. However, the design of TMR circuits is not automated by commercial electronic design automation (EDA) tools and even they can remove partially or totally the redundant logic. On the other hand, there are several tools that can be used to implement the TMR technique in integrated circuits, although most of them are licensed commercial tools, convenient only for specific devices, or with restricted use because of the International Traffic in Arms Regulations (ITAR) regimen. The present work intends to overcome these issues so a methodology is proposed to automate the design of TMR circuits using a commercial design flow. The proposed approach uses a structured netlist to implement automatically TMR circuits at different granularity levels of redundancy for cell-based and field-programmable gate array (FPGA) designs. Optimization of the resulting TMR circuit is also applied based on the gate sizing approach. Moreover, verification of the implemented TMR circuit is based on equivalence checking, and guarantee its correct functionality and its fault-tolerant capability against soft errors. Experiments with an high-level synthesis (HLS)-derived circuit and an obfuscated description of the ARM Cortex-M0 soft-core are performed to show the use and the advantages of the proposed design flow. Several issues related to the removal of the implemented redundant logic were found as well as the impact in the increment of area caused by the majority voters. Furthermore, the reliability of different TMR implementations of the ARM soft-core synthesized in FPGA was evaluated using emulated-simulation fault injection campaigns. As a result, it was reinforced the high-reliability level of the finest granularity implementation even in the presence of up to 10 accumulated faults and the poorest mitigation capacity corresponding to the replication of flip-flops solely.

Este trabalho tem a finalidade de apresentar uma proposta de estudo que procura analisar se a compreensão da noção de equivalência é um conceito subsunçor necessário para a Aprendizagem Significativa de equações do primeiro grau. À luz da teoria de David Ausubel, procuramos investigar se atividades que relacionam o equilíbrio existente em uma balança de dois pratos com uma igualdade entre os termos de uma equação podem funcionar como organizadores prévios facilitadores da Aprendizagem Significativa dos estudantes. A pesquisa foi desenvolvida em uma turma do oitavo ano do Ensino Fundamental, em uma escola da rede municipal de ensino de Porto Alegre, a partir de uma abordagem qualitativa, utilizando como método o estudo de caso. A interpretação dos dados resultantes foi realizada a partir da elaboração, da aplicação e da análise de uma sequência didática. As atividades foram realizadas a partir de situações propostas por dois Objetos Digitais de Aprendizagem que utilizam a balança de dois pratos, como suporte representacional. Assim, após analisarmos os resultados obtidos ao longo das sessões que compunham a sequência didática desenvolvida, percebemos que a noção de equivalência é um conceito fundamental para a Aprendizagem Significativa de equações do primeiro grau, mas não é o único. Além disso, concluímos, através da análise das atividades realizadas, que a noção de equivalência, existente em uma equação, pode ser considerada um conceito subsunçor necessário para ancorar a aprendizagem de equações do primeiro grau e, desta forma, proporcionar a Aprendizagem Significativa dos estudantes. / This work aims at presenting a study proposal on the possibility of usage of the concept of equivalence as a subsumer concept to the development of Meaningful Learning of first degree equations. In the light of David Ausubel’s theory of learning, we try to investigate whether activities that relate the existing balance in a twin-pan balance to the equality between the terms of an equation could work as advance organizers to make students’ Meaningful Learning easier. The work was developed in a seventh year of elementary school class, at a municipal school in Porto Alegre, through a qualitative approach, having as a method a case study. Through the creation, application and analysis of an instructional sequence we have carried the analysis and interpretation of the resulting data. The activities were done based on the situations proposed by two Digital Learning Objects that used a twin-pan balance as a representational support. Thus, after analysing the results obtained in the sessions that were part of the instructional sequence developed, we perceived that the notion of equivalence is a fundamental concept to the Meaningful Learning of first degree equations, but it is not the only one. Moreover, we have concluded, through the activities performed, that the understanding of equivalence existing in an equation can be considered a subsumed concept necessary to anchor the new learning and, therefore, provide Meaningful Learning of first degree equations.

Neste trabalho foi feito um estudo do limite de Karlhede para ondas pp. Para este fim, uma revisão rigorosa de Geometria Diferencial foi apresentada numa abordagem independente de sistemas de coordenadas. Além da abordagem usual, a curvatura de uma variedade riemanniana foi reescrita usando os formalismos de referenciais, formas diferenciais e espinores do grupo de Lorentz. O problema de equivalência para geometrias riemannianas foi formulado e as peculiaridades de sua aplicação é a Relatividade Geral são delineadas. O limite teórico de Karlhede para espaços-tempo de vácuo de tipo Petrov N foi apresentado. Esse limite é estudado na prática usando técnicas espinores e as condições para sua existência são resolvidas sem a introdução de sistemas de coordenadas. / In this work a study of the Karlhede limit was made. To this end, a thorough review of Differential Geometry was presented in a coordinate independent approach. Besides the usual approach, the curvature of a riemannian manifold was rewritten using the formalisms of frames, differential forms and Lorentz group spinors. The equivalence problem for riemannian geometries was formulated and the peculiarities of its application to General Relativity are outlined. The theoretical Karlhede limit for vacuum Petrov N space-times is presented. This limit was studied in practice using spinor techniques and the conditions for its existence are solved without introducing coordinate systems.

Made available in DSpace on 2016-06-02T20:30:54Z (GMT). No. of bitstreams: 1 4682.pdf: 1553901 bytes, checksum: 924716b652063e3e75862aadd43a7ce9 (MD5) Previous issue date: 2012-03-30 / Universidade Federal de Minas Gerais / In some conditions, verbal relations of tact which involves nonverbal stimuli, such as pictures, exhibit characteristics and maintenance of learning different from textual relations, which are controlled by verbal products of verbal responses, such as printed words. These differences trigger practical interest in the teaching of reading when the stimuli that control such verbal operands belong to a single class, and are equivalent. It is assumed that in this proposal as the previous individual experience with each of relation, cannot be contacted directly but can be measured by their respective reinforcing value. The proposal presents a procedure to test this assumption, based on the establishment of stimulus classes involving equivalent relation with figure, printed and spoken words, tests of emergent relations of tact and textual and a procedure of choice in concurrent schedules chained. The aim of this study was to investigate whether the differences between the performances on tasks of tact response (oral response forward figure) and on tasks of textual behavior (oral response forward printed word) correlate with the preference of participants for such a task. In Experiment 1, six university students participated. In Experiment 2A and 2B finished the study four typically developing children without knowing reading repertoires. The general procedure began with the completion of two pre-tests, one requesting an oral responses to the stimuli and the second consisted of an evaluation preference for pictures versus printed words. After completion of the pre-tests, there was a matching procedure-tosample (MTS) for the establishment of equivalence relations. Stimuli were used: three spoken words (A), three figures (B) and three printed words (C). The set (A ') consisted of responses spoken by the participants, corresponding to the words dictated. During the MTS, were taught AB and AC relations, and were tested the emergence of relations BC, CB, BA '(tact) and CA' (textual). In Experiments 1 and 2A were used abstract figures and printed and spoken pseudo-words. In Experiment 2B were used familiar pictures of cow, duck and bell and their corresponding printed and spoken names. After established of equivalence classes, was carried out a procedure of choice in a concurrent schedule of reinforcement with chaining to evaluate preference for tasks. In this evaluation were presented two identical red buttons (Experiments 1 and 2A), or two buttons with icons of pictures and printed words (Experiment 2B) followed by the statement "which one you want?". Once the participant touched a button, a task of tact or a textual was presented. Touches on the right button were followed by the presentation of textual tasks (CA ') and touches on the left button were followed by tact tasks (BA'). If the participant showed preference for task, the position of the buttons was reversed. The results showed no correlation between the performance of tact and textual and preference for tasks. Moreover, the preference for tasks found, by some participants, showed that the establishment of equivalence relations may does not equal the reinforcing value of the tasks of these relations. / Em algumas condições, relações verbais de tato, que envolvem estímulos não verbais tais como objetos apresentam características de aprendizagem e manutenção diferente das relações textuais, que são controladas por estímulos verbais produtos de respostas verbais, tais como palavras impressas. Essas diferenças despertam interesse prático em relação ao ensino da leitura na medida em que os estímulos que controlam tais operantes verbais pertencem a uma única classe, ou seja, são equivalentes. Supõe-se na presente proposta que a experiência individual anterior com cada uma das relações, impossível de ser acessada diretamente, pode ser medida através de seu respectivo valor reforçador. A proposta apresenta um procedimento para testar tal suposição, baseado no estabelecimento de classes de estímulos equivalentes envolvendo figura, palavras faladas e impressas, testes de relações emergentes de tato e textual e um procedimento de escolha em esquemas concorrentes encadeados. O objetivo do presente estudo foi investigar se as diferenças entre os desempenhos em tarefas de tato e em tarefas de comportamento textual se correlacionam com a preferência dos participantes por uma dessas tarefas. No Experimento 1 participaram 6 alunos universitários e no Experimento 2A e 2B participaram quatro crianças com desenvolvimento típico, sem repertórios de leitura conhecidos. O procedimento geral iniciou com a realização de dois pré-testes, um que solicitava respostas orais para os estímulos e o segundo que se constituiu de uma avaliação de preferência por figuras versus palavras impressas. Em seguida, foi realizado um procedimento de matching-to-sample (MTS) para o estabelecimento das relações de equivalência. Os estímulos usados foram: três palavras ditadas (A), três figuras (B) e três palavras impressas (C). O conjunto (A`) constituiu-se de respostas faladas pelos participantes, correspondentes as palavras ditadas. Durante o MTS foram ensinadas as relações AB e AC e se testou a emergência das relações BC, CB, BA (tato) e CA (textual). Nos Experimentos 1 e 2A foram utilizadas figuras abstratas e pseudo-palavras impressas e faladas. No Experimento 2B foram utilizadas figuras familiares de vaca, pato e sino e seus nomes impressos e falados correspondentes. Depois de estabelecidas as classes de equivalência foi introduzido um procedimento de escolha com esquemas de reforçamento concorrentes encadeados para avaliação de preferência por tarefas. Nessa avaliação eram apresentados dois botões idênticos vermelhos (Experimentos 1 e 2A), ou dois botões com ícones de figuras e palavras impressas (Experimento 2B) seguido da instrução qual você quer? . Assim que o participante tocasse um dos botões, uma tarefa de tato (BA`) ou textual (CA`) era apresentada. Toques no botão da direita eram seguidos da apresentação de tarefas de textual (CA ) e toques no botão da esquerda eram seguidos de tarefas de tato (BA ). Caso o participante demonstrasse preferência por tarefa, a posição dos botões era invertida. Os resultados encontrados não demonstraram correlação entre o desempenho de tato e textual e a preferência por tarefas. Além disso, a preferência por tarefas encontrada, por parte de alguns participantes, mostrou que o estabelecimento de relações de equivalência pode não igualar o valor reforçador das tarefas dessas relações.

O presente trabalho teve como objetivo o desenvolvimento de formulação para produção de comprimidos contendo 25 mg de clozapina através do método de compressão direta. A clozapina é utilizada no tratamento da psicose e consta na lista do Programa de Medicamentos Distribuídos em Caráter Excepcional do Ministério da Saúde. Para o desenvolvimento proposto, foi utilizado um desenho experimental do tipo desenho composto central a fim de avaliar a influência dos adjuvantes estearato de magnésio e croscarmelose sódica nas características dos comprimidos obtidos a partir de formulações que continham, além destes dois adjuvantes, dióxido de silício coloidal, celulose microcristalina e lactose spray-dried. Os complexos farmacêuticos formados apresentaram boa capacidade de escoamento e compactação e geraram comprimidos com parâmetros de qualidade dentro dos limites estabelecidos pelos códigos oficiais. A dureza e a friabilidade dos comprimidos foram mais suscetíveis à concentração de estearato de magnésio, enquanto que o tempo de desintegração sofreu maior influência da concentração de croscarmelose sódica. A eficiência de dissolução dos comprimidos também foi influenciada pela croscarmelose sódica, sendo que os comprimidos apresentaram perfis de dissolução característicos de formas farmacêuticas de liberação imediata. Dessa forma, através da comprovação da rápida dissolução dos comprimidos e da comparação das curvas de dissolução do medicamento de referência e do teste, verificou-se que a formulação contendo 4,41 % de croscarmelose, 1,59 % de estearato de magnésio, além de 0,5 % de dióxido de silício coloidal e uma mistura de celulose microcristalina e lactose (70:30 m/m), apresentou equivalência farmacêutica em relação ao medicamento de referência. / It was the aim of this work to develop tablets containing 25 mg of clozapine by direct compression. Clozapine is used in psychoses treatment and is included on Brazilian Healthy Ministry Program of drugs exceptionally distributed. To this purpose, a composite central design was used to estimate the influence of the excipients magnesium stearate and sodium croscarmelose on the characteristics of tablets containing additionally, colloidal silicon dioxide, microcrystalline cellulose and spraydried lactose. The pharmaceutical mixtures obtained demonstrated good flowing and compaction capacity. Additionally, the tablets produced quality parameters within the limits established by official codex. Hardness and friability were more susceptible to magnesium stearate concentration, while disintegration time was influenced by sodium croscarmelose concentration. The dissolution efficiency was also influenced by sodium croscarmelose. Additionally, the dissolution profiles of the tablets suggest an immediate release mechanism of clozapine. Our results demonstrated that the formulation containing 4,41 % of sodium croscarmelose, 1,59 % of magnesium stearate, 0,5 % of colloidal silicon dioxide and a mixture of microcrystalline cellulose and spray-dried lactose (70:30 w/w) is pharmaceutically equivalent to the reference product.

abstract: Dynamic software update (DSU) enables a program to update while it is running. DSU aims to minimize the loss due to program downtime for updates. Usually DSU is done in three steps: suspending the execution of an old program, mapping the execution state from the old program to a new one, and resuming execution of the new program with the mapped state. The semantic correctness of DSU depends largely on the state mapping which is mostly composed by developers manually nowadays. However, the manual construction of a state mapping does not necessarily ensure sound and dependable state mapping. This dissertation presents a methodology to assist developers by automating the construction of a partial state mapping with a guarantee of correctness. This dissertation includes a detailed study of DSU correctness and automatic state mapping for server programs with an established user base. At first, the dissertation presents the formal treatment of DSU correctness and the state mapping problem. Then the dissertation presents an argument that for programs with an established user base, dynamic updates must be backward compatible. The dissertation next presents a general definition of backward compatibility that specifies the allowed changes in program interaction between an old version and a new version and identified patterns of code evolution that results in backward compatible behavior. Thereafter the dissertation presents formal definitions of these patterns together with proof that any changes to programs in these patterns will result in backward compatible update. To show the applicability of the results, the dissertation presents SitBack, a program analysis tool that has an old version program and a new one as input and computes a partial state mapping under the assumption that the new version is backward compatible with the old version. SitBack does not handle all kinds of changes and it reports to the user in incomplete part of a state mapping. The dissertation presents a detailed evaluation of SitBack which shows that the methodology of automatic state mapping is promising in deal with real world program updates. For example, SitBack produces state mappings for 17-75% of the changed functions. Furthermore, SitBack generates automatic state mapping that leads to successful DSU. In conclusion, the study presented in this dissertation does assist developers in developing state mappings for DSU by automating the construction of state mappings with a correctness guarantee, which helps the adoption of DSU ultimately. / Dissertation/Thesis / Doctoral Dissertation Computer Science 2015

Orientador: Angela Maria Sitta / Banca: Maria Aparecida Soares Ruas / Banca: João Carlos Ferreira Costa / Resumo: Neste trabalho estudamos um problema de bifurcação Z2-equivariante de corank dois e com dois parâmetros motivados pela equação de bifurcação que descreve a envergadura de um painel cilíndrico sujeito a uma compressão axial. Nossa abordagem é através da Formulação por Caminhos que considera um problema de bifurcação como o pull-back por um caminho do desdobramento miniversal do cen tro organizador do problema de bifurcação, que é a singularidade obtida anulando-se os parâmetros de bifurcação. Utilizamos técnicas da Teoria de Singularidades sem um grupo explícito de equivalências para os caminhos associados ao problema de bifurcação. Nossos cálculos são puramente algébricos. Mostramos como nossos resultados podem ser aplicados ao estudo da envergadura do painel cilíndrico. / Abstract: In this work we study a corank two Z2-equivariant bifurcation problem with two parameters that arise as the bifurcation equation of the buckling problem of a cylindrical panel under an axial compressive load. We use the Path Formulation approach that considers a bifurcation problem as the pull-back by a path of the miniversal unfolding of the core of the problem, the singularity obtained by setting the parameters to zero. We apply Singularity Theory without an explicit group of equivalences for the paths de¯ning the bifurcation problem. Our calculations are purely algebraic. We show how our results can be applied to study the buckling of the cylindrical panel. / Mestre

O presente trabalho teve como objetivo verificar a aquisição de função simbólica de expressões emocionais por nomes de alimentos verdadeiros e fictícios em adolescentes, por meio do paradigma de equivalência de estímulos. No Estudo I foram ensinadas relações entre as faces humanas expressando alegria e neutralidade com nomes de alimentos verdadeiros pelo procedimento de matching-to-sample simultâneo, diferindo a quantidade de treino em três grupos experimentais (segundo e terceiro grupo com supertreino). Os retratos faciais (conjunto A) foram relacionados a conjuntos de estímulos abstratos (conjuntos B e C); estímulos do conjunto B foram relacionados a nomes de alimentos (D). Portanto, as relações AB, AC e BD foram treinadas. Ao final foi conduzido o teste de equivalência CD/DC. Para avaliação inicial e final dos alimentos, foi utilizado um questionário com cinqüenta nomes de alimentos anexados a uma escala de avaliação de cinco pontos composta de expressões faciais e um teste de preferência alimentar com dez alimentos selecionados do questionário. Cinqüenta e cinco participantes da quinta série do ensino fundamental de escolas públicas e particulares concluíram o Estudo I. Trinta e cinco participantes mostraram desempenhos consistentes na fase de estabelecimento de equivalência de estímulos (nove do Grupo 1, onze do Grupo 2 e quinze do Grupo 3). Entre esses participantes, o alimento treinado com a face alegre foi avaliado em ambos os instrumentos como mais agradável por sessenta e seis porcento dos participantes do primeiro grupo e quarenta e cinco porcento do terceiro grupo. No segundo grupo, quarenta e cinco porcento avaliaram mais positivamente este alimento no pós teste de preferência alimentar. Em relação à face neutra feminina, os participantes dos Grupos 2 e 3 apresentaram avaliações finais mais positivas nos instrumentos finais . Porém, em relação ao alimento equivalente à face neutra masculina, destaca-se uma redução na avaliação do pós-teste de preferência nos Grupos Experimentais 2 e 3. O Estudo II teve como objetivo verificar se a transferência de função ocorreria se fossem utilizados nomes fictícios de alimentos relacionados com expressões esquemáticas de alegria, neutralidade e tristeza pelo procedimento de matching-to-sample com atraso. Os estímulos que diferiram do Estudo I foram os dos conjuntos A e D, compostos por faces esquemáticas e nomes fictícios de alimentos (capira, fulito e piteba), respectivamente. Um questionário com uma escala de cinco pontos de expressões esquemáticas foi usada como pré e pós teste. Trinta e seis participantes concluíram o Estudo II, dos quais vinte e cinco apresentaram desempenhos consistentes no teste de equivalência. A interação entre os questionários versus alimento teve um efeito significativo (p<0,001) no grupo de participantes que atingiram o critério de equivalência. Os participantes aumentaram as avaliações finais de capira (treinado com a face alegre), mantiveram avaliações finais muito próximas às iniciais no alimento fulito (treinado com a face neutra) e, diminuíram consideravelmente o pós teste do alimento piteba (treinado com a face triste). / The aim of the present study was to verify the acquisition of symbolic properties of facial expressions of emotion for real and fictitious food names in adolescents, using a stimulus equivalence paradigm. In Experiment 1, conditional relations between facial expressions (one of happiness and two expressing emotion neutrality) and real food names were trained by simultaneous matching-to-sample procedure. Three experimental groups differed only on the amount of training (Group 2 and 3 with overtraining). Pictures of facial expressions (Set-A) were related to abstract line drawing stimulus (Set-B and Set-C); C stimuli were related to food names (D). So, the AB, AC and BD relations were trained. Finally, they received the equivalence tests CD/DC. The participants were asked to rate the foods names for pleasantness in the beginning and in the end of the experiment by a questionnaire with fifty food names. These were linked to a five point scale of facial expressions and a preference test that had ten food names selected from the questionnaire. Fifty five participants that were in the fifth grade of public and private schools concluded Experiment I. Thirty five participants demonstrated equivalence (nine in Group 1, eleven in Group 2 and 15 in Group 3). The food trained with the happy face was valued in both final instruments of evaluation of the food preference as more pleasant by sixty six percent of the Group 1 participants and forty five percent of the Group 3. In Group 2, forty five percent valued as more pleasant this food only in the final evaluation of the preference test. The food related to the feminine neutral face showed more positive evaluations in Groups 2 and 3. On the other hand, the food equivalent to the masculine neutral face had a reduction in the food preference test in Groups 2 and 3. Experiment II aimed to verify if the transfer of function would happen if fictitious names of foods related to facial expressions of happiness, neutrality and sadness were used via delayed matching-to-sample procedure. Stimuli of Set-A and Set-D were different from Experiment I and had schematic expressions and fictitious food names (capira, fulito and piteba), respectively. A five point scale questionnaire of schematic expressions was used to value the fictitious names of foods in the beginning and in the end of the experiment. Thirty six participants finished Experiment II and twenty five showed stimulus equivalence. There was a significant interaction between the final evaluations and fictitious food names (p<0,001) in the equivalence group. The participants increased the final evaluations of the food trained with the happy face (capira), maintained almost the same evaluations of the food related with the neutral face (fulito) and considerably reduced the judgments of piteba, which was trained with the sad face.

The atenolol is a selective β-blocker that acts specially on β-one adrenergic receptors of the heart, used in the control of high blood pressure, pectoris angine, cardiac arrhythmias and the treatment of miocardic stroke. This paper aimed to optimize the described methodologies for drugs and tablets of atenolol. It proposes to develop and validate simple and more accessible tests to evaluate atenolol tablets and raw material. It also emphasizes the ideal characteristics for drugs in the pre-formulation and development of the pharmaceutical form. Methodologies were developed and validated by HPLC and UV spectrophotometric for the quantification of atenolol in tablets. Raw material characterization techniques were also applied for the classification of atenolol in the pre-formulation. A pharmaceutical equivalence test was performed and compared to the national market reference drug. The HPLC developed method presents advantages over the official methodology to establish an analysis without the use of ionic pareator heptane sulphonate, for being faster and more simple. Both quantitative development methods were linear, specific exact, precise, robust and equivalent between themselves. For the dissolution performed with atenolol pharmaceutical form, after the dissolution efficiency analysis no meaningful difference were observed between the obtained dissolution curves through developed methods and the pharmacopeial methodology. The atenolol raw material analysis permitted its characterization, assuring an adequate use in the pharmaceutical form manufacturing. The comparative analysis between the test drug and reference drug allowed to claim that the two formulations are similar and with the some in vitro performance, i.c., they are pharmaceutical equivalent. The described methods are useful in routine quality analysis control of atenolol. The comparative analysis between the proposed methods and official methodology demonstrated that there is no statistical meaningful differences characterizing their equivalence. / O atenolol é um betabloqueador seletivo que age preferencialmente sobre os receptores adrenérgicos beta-1 do coração, utilizado no controle da hipertensão arterial, angina pectoris, arritmias cardíacas e no tratamento do infarto do miocárdio. Este trabalho tem o objetivo de otimizar as metodologias descritas para a avaliação do fármaco e comprimidos de atenolol, através do desenvolvimento e validação de métodos simples e mais acessíveis para avaliação de comprimidos e matéria prima de atenolol. Procura, também, destacar as características ideais para o fármaco na fase de pré-formulação e desenvolvimento da forma farmacêutica. Neste contexto, foram desenvolvidas e validadas metodologias por cromatografia líquida de alta eficiência (CLAE) e espectrofotometria no ultravioleta para quantificação de atenolol em comprimidos. Foram também aplicadas técnicas de caracterização da matéria prima para classificação da mesma na fase de pré-formulação. O método desenvolvido por cromatografia líquida de alta eficiência apresenta vantagens sobre o método farmacopeico por estabelecer uma análise sem utilização de reagente de pareamento iônico, heptanossulfonato, por ser mais rápido e simples. Ambos os métodos quantitativos desenvolvidos apresentaram-se lineares, específicos, exatos, precisos, robustos, e equivalentes entre si. Para o estudo de dissolução realizado com as formulações farmacêuticas de atenolol, após a análise de eficiência de dissolução, não se observou variação significativa entre as curvas de dissolução obtidas através dos métodos desenvolvidos e da metodologia farmacopeica. A análise da matériaprima de atenolol permitiu sua caracterização, garantindo um emprego adequado na fabricação da forma farmacêutica. As análises comparativas entre o medicamento teste e o medicamento referência permitem afirmar que as duas formulações são semelhantes e com mesmo desempenho in vitro, isto é, são equivalentes farmacêuticos. Os métodos descritos são úteis em análise de controle de qualidade rotineira de formulações farmacêuticas de atenolol e a análise comparativa entre os métodos propostos e a metodologia oficial, demonstrou não haver diferença estatisticamente significativa, caracterizando a equivalência dos mesmos.