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.

Submitted by Luciana Sebin (lusebin@ufscar.br) on 2016-09-26T13:20:08Z No. of bitstreams: 1 DissRVBG.pdf: 2087472 bytes, checksum: f8b1508fbb3b603128934f6900b2ff97 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-27T20:05:21Z (GMT) No. of bitstreams: 1 DissRVBG.pdf: 2087472 bytes, checksum: f8b1508fbb3b603128934f6900b2ff97 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-27T20:05:28Z (GMT) No. of bitstreams: 1 DissRVBG.pdf: 2087472 bytes, checksum: f8b1508fbb3b603128934f6900b2ff97 (MD5) / Made available in DSpace on 2016-09-27T20:05:35Z (GMT). No. of bitstreams: 1 DissRVBG.pdf: 2087472 bytes, checksum: f8b1508fbb3b603128934f6900b2ff97 (MD5) Previous issue date: 2016-04-03 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / The purposes of this research are evaluate the effectiveness of MTS computerized teaching tasks, and develop, apply and evaluate a Stimulus Equivalence Paradigm based curriculum to teach number concept. Studies that used MTS procedure to teach arbitrary conditional discriminations and equivalence relations obtained positive results on subjects with disability. We propose a systematic replication of Rossit (2003), that used MTS tasks to taught monetary system to youths with intellectual disability on a Stimulus Equivalence Paradigm based organized curriculum. In order to teach number concept, the experimental stimuli (numerals from one until nine, and figures of non-representational forms) were divided in three stimuli groups of increasing values in a multiple baseline design among stimuli groups. Were the participants in the research three ASD students with eight to 12 years old. The results shows efficacy on teach number concept for ASD children with strategy derived of Stimulus Equivalence, replicating the results obtained by Rossit (2003) and corroborating with previous notes on the contribution of resource derived from the Applied Behavior Analysis for the successful in inclusion of students with ASD. / Os objetivos desta pesquisa foram avaliar a eficácia do ensino informatizado em tarefas de escolha de acordo com o modelo, e desenvolver, aplicar e avaliar um currículo para ensino de conceito de número para crianças com TEA. Estudos que utilizaram o procedimento de MTS para ensinar discriminações condicionais arbitrárias e formar classes de estímulos equivalentes obtiveram bons resultados em participantes com deficiências. Assim sendo, esta pesquisa teve como proposta uma replicação sistemática de Rossit (2003) que ensinou sistema monetário para jovens com deficiência intelectual utilizando tarefas de MTS e organizou um currículo de ensino com base no paradigma de Equivalência de Estímulos. Para o ensino de conceito de número, utilizaram-se estímulos experimentais (numerais de um a nove e figuras com formas não representacionais) divididos em três grupos de estímulos, por valores crescentes, em um delineamento de linha de base múltipla entre grupos de estímulos. Participaram da pesquisa três alunos com TEA de oito a 12 anos de idade. Os resultados obtidos demonstraram eficácia no ensino de conceito de número em participantes com TEA por meio de estratégias derivadas do paradigma de Equivalência de Estímulos, replicando os resultados obtidos por Rossit (2003) e corroborando com apontamentos da literatura acerca da contribuição de recursos derivados da Analise Aplicada do Comportamento para o sucesso na inclusão de alunos com TEA. / FAPESP: 2014/13091-7