Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this study, it has been carried out quantum molecular dynamics simulations for the hydrogen abstraction reaction from methane, silane, germane and stannane by H, F, Cl and I atoms and being or not being induced by femtosecond laser pulses with the aim to favor the dissociation of the M-H (M = C, Si, Ge and Sn). All the simulations have been performed using a simulation scheme based on ab initio calculations of molecular dynamics, where the motion of the atomic nuclei is described classically while the electrons are treated quantically by the Density Functional Theory (DFT). The results of the molecular dynamics simulations for the hydrogen abstraction reaction from methane, that is a very inert molecule, show that only the fluorine atom is able to promote the dissociation of the C-H bond. For the simulations performed in the presence of the electromagnetic radiation, it was possible to observe that the femtosecond laser pulse could induce the hydrogen abstraction from methane when the reaction occurs with the hydrogen or fluorine atom. The results of the molecular dynamics simulations for the hydrogen abstraction reaction from silane show that also the fluorine as the hydrogen atoms are able to dissociate effectively the Si-H bond in silane. In the case of the hydrogen abstraction from silane by the chlorine atom, the effective Si-H dissociation does not happen. In the simulations including the pulsed electromagnetic radiation, it is observed that it was possible to favor even more the hydrogen abstraction reaction from silane by the hydrogen and fluorine atoms, moreover, it was possible to turn effective the dissociation of the Si-H bond by the chlorine atom. The GeH4 and SnH4 molecules could be easily dissociated by the hydrogen, fluorine and chlorine atoms. About the iodine atom, it was not able to promote the hydrogen abstraction reaction in germane and stannane, even in the presence of the femtosecond laser pulse. / Neste trabalho foram realizadas simulações de dinâmica molecular quântica para as reações de abstração de hidrogênio nas moléculas de metano, silano, germano e estanano por átomos de H, F, Cl, e I sendo realizadas simulações sem e com o uso do pulso de laser de femtosegundos com o objetivo de favorecer a quebra das ligações M-H (M = C, Si, Ge ou Sn). Todas as simulações foram realizadas utilizando um esquema baseado em cálculos ab initio de dinâmica molecular, onde o movimento dos núcleos atômicos é descrito classicamente, enquanto os elétrons são tratados quanticamente pela Teoria do Funcional de Densidade (DFT). Os resultados das simulações de dinâmica molecular das reações de abstração de hidrogênio no metano mostram que, por esta molécula ser bastante inerte, somente o átomo de flúor é capaz de promover a dissociação da ligação C-H. Para as simulações realizadas na presença da radiação eletromagnética, foi possível observar que o pulso de laser consegue favorecer a abstração de hidrogênio no metano quando a reação acontece com o átomo de hidrogênio ou flúor. Os resultados das simulações de dinâmica molecular para a reação de abstração de hidrogênio no silano mostram que tanto o átomo de flúor quanto o de hidrogênio são capazes de promover a captura do átomo de hidrogênio promovendo a quebra da ligação Si-H. No caso da reação de abstração de hidrogênio na molécula de silano por átomo de cloro, a quebra efetiva da ligação Si-H não acontece. Nas simulações com a radiação eletromagnética pulsada observa-se que foi possível favorecer ainda mais as reações de abstração de hidrogênio no silano por átomos de flúor e hidrogênio, além de tornar efetiva a ruptura da ligação Si-H na reação com o átomo de cloro. As ligações químicas Ge-H e Sn-H nas moléculas de GeH4 e SnH4 conseguiram ser quebradas facilmente nas reações de abstração de hidrogênio por átomos de hidrogênio, flúor e cloro. Quanto ao átomo de iodo, este não foi capaz de promover a reação de abstração de hidrogênio nas moléculas de germano e estanano, mesmo na presença do pulso de laser de femtosegundos.

Made available in DSpace on 2015-09-25T12:21:58Z (GMT). No. of bitstreams: 1 PDF - Kleber Mendes Vieira.pdf: 7028629 bytes, checksum: 0cc434c5a5cdf3ab0797ca557170f5a1 (MD5) Previous issue date: 2010-12-17 / The aim of this research was to develop a pedagogical approach on angle concept development, based on the theoretical proposal called progressive abstraction developed by Michelmore and White (2000). An exploratory and experimental investigation was accomplished through a questionnaire and observations in loco, posing on how the teaching of this content is processed in Municipal Schools of Campina Grande (MSCG), in the sixth year of elementary schools and its approach in textbooks, having as reference the descriptors of Brazil Examination. We found out that most of the teachers do not approach angle concept in the year recommended by the oficial documents, not considering the idea of angle as a turn or changing direction. While the analysis of the three books most used in schools showed that only one was according to the descriptors of Brazil Examination. Taking those aspects for granted, we elaborated an initial pedagogical approach, applied in a 6th year class of MSCG, whose result was evaluated through a pre-test and a post-test, as well as participant observations were made, verifying the adequacy of the pedagogical proposal related to cognitive and affective aspects, showing that it is viable, both with regard to costs and to time and its application in the available physical spaces in traditional classrooms. After the application in the classroom, we made minor adjustments in the initial pedagogical approach. We presented the results attached. / Esta pesquisa teve como objetivo desenvolver uma abordagem didática, sobre o desenvolvimento do conceito de ângulo, fundamentada na proposta teórica denominada de abstração progressiva desenvolvida por Michelmore e White (2000). Nesta direção, foi realizada uma investigação de caráter exploratório e experimental por meio de questionário e observações in loco, levantando como se processa o ensino deste conteúdo na Rede Municipal de Ensino de Campina Grande (RMECG), em turmas do 6º ano do ensino fundamental e a sua abordagem nos livros didáticos, tendo como referência os descritores da Prova Brasil. Constatou-se que a maioria dos professores não aborda o conceito de ângulo no ano recomendado pelos documentos oficiais, deixando de lado a ideia de ângulo como giro ou mudança de direção, enquanto a análise dos três livros didáticos mais utilizados na rede verificou que apenas um estava de acordo com os descritores da Prova Brasil. Levando em conta estes aspectos, foi elaborada uma abordagem didática inicial, aplicada em uma turma de 6º Ano da RMECG, cujo resultado foi avaliado por meio de um pré- teste e de um pós-teste, bem como foram efetuadas observações participantes, verificando-se a adequação da proposta didática no que se refere aos aspectos cognitivos e afetivos, mostrando que ela é viável, tanto no que se refere aos custos, quanto ao tempo e à sua aplicação nos espaços físicos disponibilizados em salas de aulas tradicionais. Após a aplicação em sala de aula, foram efetuados pequenos ajustes na abordagem didática inicial, sendo o seu resultado apresentado em anexo.

Este estudo consiste numa leitura da obra de Jorge Luis Borges, em especial de sua narrativa, a partir dos pressupostos da crítica literária dialética em sua busca pelo estabelecimento de possíveis mediações entre literatura e sociedade. Nosso ponto de partida foi a análise das premissas teóricas do escritor argentino a respeito do gênero conto e, em seguida, passamos à discussão a respeito dos temas da leitura e da reescrita no âmbito de sua produção literária e teórica. Ao longo desse percurso, delinearam-se características formais que podem ser descritas em termos de uma prevalência do abstrato sobre o específico, do todo sobre a parte, ou, finalmente, do universal sobre o particular. Esse esquema básico, embora se configure de diferentes formas no objeto, foi isolado pelo trabalho de análise e identificado como o princípio constitutivo da forma, concebida tanto do ponto de vista da composição, em que todo e partes se articulam, quanto do ponto de vista da reescrita de uma história tradicional ou arquetípica, em que a fábula básica do intertexto impõe o padrão da ação ao texto receptor. A proposta interpretativa deste estudo sugere ver nesses traços aspectos da sociedade capitalista contemporânea, cujas relações sociais se pautam pelo tipo de racionalidade instrumental típico da sociedade burguesa. O predomínio do geral sobre o particular, isto é, do valor de troca sobre o valor de uso, que caracteriza a forma-mercadoria na visão de Marx, se generaliza e expande sua lógica para todos os domínios da realidade. Convergindo com a formação do valor da mercadoria, a obra de arte partilharia, em certa medida, do pensamento reificado da totalidade social, de acordo com Theodor Adorno. Essa proposta interpretativa é levada a término e suas consequências dialéticas discutidas por meio da análise do conto El Zahir, pertencente ao livro El Aleph, publicado em 1949 em Buenos Aires. A fim de possibilitar essa análise, o presente estudo inclui também a análise do conto Berenice, de Edgar Allan Poe, com o qual El Zahir estabelece um diálogo sutil, embora bastante produtivo. Ademais, encontram-se comentados ou analisados neste trabalho os contos Funes, el memoriso, Tema del traidor y del héroe (Ficções, 1944) e La trama (El hacedor, 1960). / This study consists of a reading of the work of Jorge Luis Borges, especially his narrative, based on the presuppositions of dialectical literary criticism, which seeks to establish modes of mediation between literature and society. Our starting point was the analysis of theoretical propositions about the theory of the short story in the work of the Argentine writer, and then we turn to the discussion about the themes of reading and rewriting in his fictional and theoretical work. Along this path, formal features have been delineated that can be described as a prevalence of the abstract over the specific, the whole over the part, or, finally, the universal over the particular. This basic scheme, even though it is configured in different ways in the object, was isolated by the work of analysis and identified as the constitutive principle of form, conceived both from the point of view of composition, in which whole and parts are articulated, and from the point of view of the rewriting of a traditional or archetypal story, in which the basic plot of the intertext imposes the pattern of action upon the receiving text. The interpretive proposal of this study suggests to look at these features aspects of contemporary capitalist society, whose social relations are based on the form of instrumental rationality typical of bourgeois society. The predominance of the general over the particular, that is, of the exchange value over use-value, which characterizes the commodity form in Marx\'s view, generalizes and expands its logic to all areas of reality. Converging with the formation of the value of the commodity, the work of art would share, to some extent, the reified thought of the social totality, according to Theodor Adorno. This interpretative proposal is brought to an end and its dialectical consequences discussed through the analysis of the short story \"El Zahir\" tale, belonging to the book \"El Aleph\", published in 1949 in Buenos Aires. In order to make this analysis possible, this study also includes an analysis of Edgar Allan Poe\'s short story \"Berenice\", with which \"El Zahir\" establishes a subtle yet productive dialogue. In addition, the short stories \" Funes, el memoriso, Tema del traidor y del héroe (Ficções, 1944) and La trama (El hacedor, 1960) have been commented or analyzed in this work.

Esta tese analisa a forma que orienta o funcionamento da atividade perceptiva. Neste sentido, é pressuposto básico desse trabalho, que a atividade perceptiva possui um modo de relacionar os dados fornecidos pela percepção, que funciona de modo diferente dos princípios descritos pela operatoriedade no nível hipotético-dedutivo. A justificativa desta afirmação é buscada na história do desenvolvimento do conceito de conhecimento, na definição dos aspectos permanentes e mutáveis para o conhecimento nas diferentes correntes epistemológicas e na análise do funcionamento dos centros sensório-motores na fisiologia humana. Os conceitos sobre as formas, que orientam a percepção e a razão foram desenvolvidas com base na Filosofia Crítica de Kant. As interpretações sobre as origens do conhecimento, propostos pelas diferentes correntes epistemológicas, são analisadas com base na teoria cognitiva de Jean Piaget. Esse trabalho propõe uma alternativa para a interpretação das deformações que os sujeitos realizam sobre os dados sensíveis e sobre as relações subjetivas que acontecem cotidianamente.

A presente pesquisa assume os pressupostos de uma investigação qualitativa de linha dialética que consiste em avaliar como a literatura contribui para formação de conceitos abstratos de Física Moderna e Contemporânea, em especial, conceitos de Mecânica Quântica, para alunos do 3º ano do Ensino Médio. A maneira como os alunos agem em seu meio social é investigada com o apoio da pseudoconcreticidade de Karel Kosík, que nos permite investigar a forma como agem entre si e como aceitam as propostas de ensino oferecidas em sala de aula. A Literatura, a analogia, a leitura e outros recursos linguísticos são tratados a partir da revisão de pesquisas realizadas nesse início de século. A formação de conceitos da Física Moderna e da Mecânica Quântica é investigada com o apoio do referencial interacionista de Vygotsky, que nos possibilitou avaliar como a literatura, por meio da palavra, transforma-se em outra estrutura semiótica, que leva à abstração e generalização de conceitos físicos. As respostas dadas pelos alunos em questionário aberto permitiu-nos confirmar o papel da literatura como ferramenta de ensino de física, que leva à abstração e formação de conceitos abstratos da física moderna. / This research, is a qualitative investigation in a dialectical line which aims to know how literature contributes to the formation of abstract concepts of Modern and Contemporary Physics, especially concepts of Quantum Mechanics for 3rd grade High School students. The way students act in their social environment is investigated through the support of pseudoconcreticity by Karel Kosík, which allows us to investigate how they act with each other and how they accept the teaching proposals offered in the classroom. Literature, analogy, reading and other language resources have been evaluated in current researches. The formation of physical concepts on Modern Physics and Quantum Mechanics are investigated, support by the interactionism of Vygotsky, which enabled us to investigate how the literature, by means of the word, becomes another semiotic structure, which leads to abstraction and generalization of physical concepts. The answers given by the students, in an open questionnaire, confirm the literature as a tool for physics education, especially abstract concepts of modern physics.

Considerando-se que qualquer relação de propriedade consiste em uma mentalidade, a presente investigação identifica na história os momentos que permitiram aos homens estabelecer as bases de sua concepção moderna. A recuperação dessa história é vista mediante a identificação, no período moderno, de três grandes movimentos combinados, embora assíncronos: rigidez-abstração, absolutização-relativização, estabilidade-mobilidade, movimentos estes que remetem a uma potente lógica organizadora da sociedade. A pesquisa analisa, a partir dessa lógica, as estratégias econômicas envolvendo a propriedade, em especial a imobiliária, e o papel do Estado na promoção dos negócios envolvendo a propriedade urbana através da prática do planejamento e do urbanismo com vistas à economia política do espaço. Inclui-se o estudo de diversas legislações sobre a propriedade urbana e instrumentos de política urbana envolvendo o fundiário: Estatuto da Cidade, Plano Diretor Estratégico, Zoneamento Urbano, Operação Urbana Consorciada, Direito de Superfície, Concessão Urbanística são algumas normativas analisadas. Através da lógica do possível-impossível, e de uma perspectiva da história como possibilidades, a contra-propriedade apresenta-se, face aos negócios, como possibilidade consciente do homem se situar acima dos diversos vestígios de animalidade que a noção de propriedade conserva. / This research situates the property relationship as a mind, and identifies the moments in the history that allowed men to lay the foundations of its modern. The recovery of this history is seen through the identification, in the modern period, of three large movements combined, while asynchronous: stiffness-abstractio, absolutarion-relativization, stability-mobility, which refer to a powerful organization society logic. From this logic, the research examines the economic strategies involving the property, especially real estate, and the States role in promoting business involving the urban property through the practice of urban planning and urban development under the view of the political economy of space. This moment includes various laws studies on urban property and urban planning instruments involving land: Estatuto da Cidade (Federal Act number 10.257/2001 Statue of the City), Plano Diretor Estratégico (Master Urban Planning), zoning, Urban Consortium Operation, Surface Right, Concessão Urbanística (Urban Grant) are some instruments analyzed. Through the logic of the possible-impossible, and a perspective of history as possibilities, the counter-property concept is formulated. Itss a conscious possibility that situates the human over several traces of animality that the notion of property preserves.

Esta pesquisa busca ampliar a compreensão dos processos de aprendizagem de jovens e adultos em escolarização inicial, especialmente no que diz respeito à ação gráfica – enquanto experiência de uso e de manipulação dos símbolos -, tendo em vista aprofundar em quê e como as representações gráficas contribuem para produzir formas de ver o mundo, de lógicas para compreendê-lo, organizá-lo, produzi-lo, atuar mesmo nele. Tomo as representações gráficas como objetos privilegiados para a investigação das relações entre as dimensões simbólica e cognitiva do conhecimento, implicando tanto na produção de um modo específico de conhecimento desenvolvido pela modernidade - o conhecimento científico -, quanto na apropriação dos conhecimentos científicos/escolares por alunos jovens e adultos. Recorro aos autores Bottéro, Goody, Olson, Ferreiro, entre outros, para problematizar aspectos das representações gráficas e construir um panorama histórico e cultural das mesmas: com Bottéro, especialmente no que diz respeito a alguns obstáculos epistemológicos superados no desenvolvimento histórico das representações gráficas; com Goody, o conceito de escritura - enquanto ação e efeito de escrever - produzindo tanto transformações cognitivas quanto sociais; com Olson, a construção do conceito de representação próprio da modernidade, que estabelece uma relação singular do homem com o mundo, situando-o num “universo representado sobre o papel”; e com Ferreiro, algumas especificidades da língua escrita - como uma forma particular de realizar a linguagem - de forma muito diferente da língua oral. Faço uso dos estudos de Piaget para compreender a formação do símbolo e a constituição do pensamento representativo, e analisar a importância do desenvolvimento simbólico para toda a inteligência posterior. Busco também as possibilidades de desenvolvimento da teoria piagetiana, especialmente com reflexões acerca do conhecimento científico e da abstração reflexionante, tendo como foco as representações gráficas, mesmo que essas não tenham sido tema de estudo do autor. Indico, por fim, a possibilidade de uma leitura solidária e complementar entre os aspectos figurativos e operativos do conhecimento, assim como entre o pensamento simbólico e o pensamento conceitual. A investigação realizada encaminha-se para uma discussão de cunho teórico e lida com as representações gráficas no âmbito epistemológico, quando busca compreender sua natureza, e, no âmbito funcional, quando apresenta as produções de sujeitos adultos pouco ou não escolarizados. Mas essa distinção entre sujeito epistêmico e psicológico só reflete as formas de elaboração complementares do sujeito que tende tanto ao conhecimento normativo quanto ao conhecimento prático e empírico, tratando-se, independentemente dos aspectos salientados num ou noutro momento dessa tese, da tentativa de enfocar o sujeito cognoscente, isto é, a de um sujeito que tenta participar ativamente na construção do conhecimento do mundo e de si próprio. / This research aims at broadening the understanding of learning processes young people and adults undergo during elementary education, especially concerning graphic activities – experiences with the use and manipulation of symbols. This thesis will try to discuss how graphic representations contribute to produce ways to see the world, how they create logics to understand, organize, produce and live in this world. I take graphic representations as privileged objects in the investigation of relations between the symbolic and cognitive dimensions of knowledge. Such representations imply both the production of a specific knowledge developed by the Modern era, the scientific knowledge, and the appropriation of school/scientific kinds of knowledge by young people and adults. Using theoretical authors like Bottero, Goody, Olson, Ferreiro, among others, this research questions aspects of graphic representations in order to construct a historical and cultural panorama of them: Bottero’s contribution especially regards some epistemological obstacles that were overcome in the historical development of graphic representations; Goody brings the concept of writing – as action and effect of writing –, producing both cognitive and social changes; Olson discusses the construction of the representation concept, which is typical of the Modern era and sets up a singular relationship between the world and men, placing them into a “universe represented on paper”; Ferreiro uses an approach to discuss some particularities of written language – as a particular way to perform language – that differs a lot from the approach used to study oral language. Piaget’s studies help to understand the formation of the symbol and the constitution of representative thinking. His theories were also useful to analyze the importance of symbolic development throughout an individual’s life. This thesis searches for the possibilities to develop Piaget’s theory, especially with considerations on scientific knowledge and on reflexive abstraction, focusing graphic representations, although this author didn’t studied this theme. Finally I indicate the possibility of a complementary and supporting reading between figurative and operative aspects of knowledge, as well as between symbolic and conceptual thinking. The investigation carried out attempts to establish a theoretical debate and deals with graphic representations in the epistemological scope, when it comes to understand their nature, and in the functional scope, when they present the production of adult subjects with little or no education at all. However, this distinction between the epistemological and the psychological subject only reflects a complementary elaboration of a subject that tends both to normative knowledge and to practical and empirical knowledge. Independently of the aspects stressed in one or another part of this thesis, it attempts to focus cognoscent subjects, that is, subjects that try to actively take part in the construction of their knowledge on the world and on themselves.

Procuramos fundamentar e explicitar neste trabalho o modo pelo qual o sujeito organiza, pessoal, coletiva e historicamente seu conhecimento astronômico. Toma-se como referencial teórico para essa organização a epistemologia genética de Jean Piaget, em particular sua teoria da abstração reflexionante. Apontam-se, na revisão bibliográfica, aspectos que se consideram relevantes para o conhecimento astronômico, tanto do ponto de vista teórico quanto histórico, seguindo uma direção que estrutura a gênese desse conhecimento específico, desde as estruturas sensório-motoras do sujeito, passando pelo pensamento pré-operatório, o pensamento operatório concreto e o pensamento operatório formal. O caminho seguido, uma vez que não podemos abranger o trabalho de Piaget na sua totalidade, foi o de fundamentar a aquisição do conhecimento no equilíbrio cognitivo, conseguido através de abstrações empíricas e reflexionantes, tendo como modelo, principalmente, o equilíbrio dos sistemas biológicos. Isso é, pretendemos mostrar como o conhecimento astronômico, iniciando pela percepção do céu, mediado pelo processo de equilibração e de abstração reflexionante, evolui por sucessivas tomadas de consciência dos fenômenos celestes e, ao mesmo tempo, das compreensões do próprio sujeito. Apontam-se, finalmente, algumas sugestões pedagógicas para que os fenômenos dos céus, inferenciais na sua totalidade, possam ser compreendidos em diferentes níveis de suas possíveis leituras. / This work has the objective of fundament and explicit in what ways one organizes, personal, collective and historically, its own astronomic knowledge. Jean Piaget’s genetics epistemology is taken as the referential theory, and the reflexionant abstraction theory taken as the central point. Through a checking on the bibliography, different aspects considered relevant for the astronomic knowledge are pointed out, in theory as in history, following a direction that structures the genesis of this specific knowledge, since one’s sensory-motor structures, going through the pre-operational thinking, the concrete operational thinking and the formal operational thinking. The way through which it was done, since we cannot go thorough the complete work of Piaget, fundaments the acquisition of knowledge on the cognitive equilibrium, acquired through empiric and reflexionant abstractions, having as a model, mainly, the biological systems equilibrium. In another way, with the astronomic knowledge, taken from the skies’ perception, mediated by the equilibrium theory and the reflecting abstraction theory, leads to the perception and understanding of the celestial phenomenon. By the end, the conclusions also point out suggestions in a pedagogical level so that the skies phenomenon, inferential in their totality, can be fully comprehended in all different ways of possible reading.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-11-07T17:16:29Z No. of bitstreams: 1 GEORGE SOBRAL SILVEIRA - TESE PPGEE 2012..pdf: 4756019 bytes, checksum: 743307d8794218c3a447296994c05332 (MD5) / Made available in DSpace on 2018-11-07T17:16:29Z (GMT). No. of bitstreams: 1 GEORGE SOBRAL SILVEIRA - TESE PPGEE 2012..pdf: 4756019 bytes, checksum: 743307d8794218c3a447296994c05332 (MD5) Previous issue date: 2012-08-10 / Capes / A indústria de semicondutores tem investido fortemente no desenvolvimento de sistemas complexos em um único chip, conhecidos como SoC (System-on-Chip). Com os diversos recursos adicionados ao SoC, ocorreu o aumento da complexidade no fluxo de desenvolvimento, principalmente no processo de verificação e um aumento do seu consumo energético. Entretanto, nos últimos anos, aumentou a preocupação com a energia consumida por dispositivos eletrônicos. Dentre as diversas técnicas utilizadas para reduzir o consumo de energia, Power Gating tem se destacado pela sua eficiência. Ultimamente, o processo de verificação dessa técnica vem sendo executado no nível de abstração RTL (Register TransferLevel), com base nas tecnologias CPF (Common Power Format) e UPF (Unified Power Format). De acordo com a literatura, as tecnologias que oferecem suporte a CPF e UPF, e baseadas em simulações, limitam a verificação até o nível de abstração RTL. Nesse nível, a técnica de Power Gating proporciona um considerável aumento na complexidade do processo de verificação dos atuais SoC. Diante desse cenário, o objetivo deste trabalho consiste em uma abordagem metodológica para a verificação funcional no nível ESL (Electronic System-Level) e RTL de circuitos digitais que empregam a técnica de Power Gating, utilizando uma versão modificada do simulador OSCI (Open SystemC Initiative). Foram realizados quatro estudos de caso e os resultados demonstraram a eficácia da solução proposta. / The semiconductor industry has strongly invested in the development of complex systems on a single chip, known as System-on-Chip (SoC), which are extensively used in portable devices. With the many features added to SoC, there has been an increase of complexity in the development flow, especially in the verification process, and an increase in SoC power consumption. However, in recent years, the concern about power consumption of electronic devices, has increased. Among the different techniques to reduce power consumption, Power Gating has been highlighted for its efficiency. Lately, the verification process of this technique has been executed in Register Transfer-Level (RTL) abstraction, based on Common Power Format (CPF) and Unified Power Format (UPF) . The simulators which support CPF and UPF limit the verification to RTL level or below. At this level, Power Gating accounts for a considerable increase in complexity of the SoC verification process. Given this scenario, the objective of this work consists of an approach to perform the functional verification of digital circuits containing the Power Gating technique at the Electronic System Level (ESL) and at the Register Transfer Level (RTL), using a modified Open SystemC Initiative (OSCI) simulator. Four case studies were performed and the results demonstrated the effectiveness of the proposed solution.

Procuramos fundamentar e explicitar neste trabalho o modo pelo qual o sujeito organiza, pessoal, coletiva e historicamente seu conhecimento astronômico. Toma-se como referencial teórico para essa organização a epistemologia genética de Jean Piaget, em particular sua teoria da abstração reflexionante. Apontam-se, na revisão bibliográfica, aspectos que se consideram relevantes para o conhecimento astronômico, tanto do ponto de vista teórico quanto histórico, seguindo uma direção que estrutura a gênese desse conhecimento específico, desde as estruturas sensório-motoras do sujeito, passando pelo pensamento pré-operatório, o pensamento operatório concreto e o pensamento operatório formal. O caminho seguido, uma vez que não podemos abranger o trabalho de Piaget na sua totalidade, foi o de fundamentar a aquisição do conhecimento no equilíbrio cognitivo, conseguido através de abstrações empíricas e reflexionantes, tendo como modelo, principalmente, o equilíbrio dos sistemas biológicos. Isso é, pretendemos mostrar como o conhecimento astronômico, iniciando pela percepção do céu, mediado pelo processo de equilibração e de abstração reflexionante, evolui por sucessivas tomadas de consciência dos fenômenos celestes e, ao mesmo tempo, das compreensões do próprio sujeito. Apontam-se, finalmente, algumas sugestões pedagógicas para que os fenômenos dos céus, inferenciais na sua totalidade, possam ser compreendidos em diferentes níveis de suas possíveis leituras. / This work has the objective of fundament and explicit in what ways one organizes, personal, collective and historically, its own astronomic knowledge. Jean Piaget’s genetics epistemology is taken as the referential theory, and the reflexionant abstraction theory taken as the central point. Through a checking on the bibliography, different aspects considered relevant for the astronomic knowledge are pointed out, in theory as in history, following a direction that structures the genesis of this specific knowledge, since one’s sensory-motor structures, going through the pre-operational thinking, the concrete operational thinking and the formal operational thinking. The way through which it was done, since we cannot go thorough the complete work of Piaget, fundaments the acquisition of knowledge on the cognitive equilibrium, acquired through empiric and reflexionant abstractions, having as a model, mainly, the biological systems equilibrium. In another way, with the astronomic knowledge, taken from the skies’ perception, mediated by the equilibrium theory and the reflecting abstraction theory, leads to the perception and understanding of the celestial phenomenon. By the end, the conclusions also point out suggestions in a pedagogical level so that the skies phenomenon, inferential in their totality, can be fully comprehended in all different ways of possible reading.