Submitted by PPG Educa??o (educacao-pg@pucrs.br) on 2018-02-20T18:28:15Z No. of bitstreams: 1 JERUSA ALVES CUTY.pdf: 1480866 bytes, checksum: d00627fbcab5213ef7cd7b2ba2ebf4a3 (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2018-02-26T17:30:15Z (GMT) No. of bitstreams: 1 JERUSA ALVES CUTY.pdf: 1480866 bytes, checksum: d00627fbcab5213ef7cd7b2ba2ebf4a3 (MD5) / Made available in DSpace on 2018-02-26T17:33:00Z (GMT). No. of bitstreams: 1 JERUSA ALVES CUTY.pdf: 1480866 bytes, checksum: d00627fbcab5213ef7cd7b2ba2ebf4a3 (MD5) Previous issue date: 2017-12-13 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The research had as proposal to investigate the social recognition of the teacher through the teaching discourses in the column "Word of Professor" of the Extra Class Journal, SINPRO / RS. Thus, the total corpus of the research of the dissertation is composed of twenty-three texts, collected in the online version, selected during the production of ten years, from 2006 to 2015, taking into account words that show the term recognition or its derivatives. As a research problem, we questioned: What are the evidences of the implication of the spheres of recognition, in the intersubjective context, through the writings of teachers of private education in the said column? The general objective proposed for this research was to investigate indicators of presence or absence of recognition. The research presents as specific objectives that helped to delimit the theme: a) to know the place of the teacher within the marks indicated in the speeches printed in the column "Word of teacher"; b) analyze how the teacher sees and places himself in the process of social recognition. As a theoretical framework, the German philosopher Axel Honneth was chosen, with his Theory of Recognition, in which the thinker proposes the spheres of recognition that have been focused as a priori categories, which demonstrate an imbrication between the intersubjective context (love, law and esteem social) and the subjective context (self-confidence, self-respect and self-esteem) of a social matrix. With these indicators, we aimed to know the evidences of recognition, in the intersubjective context, that appear in the column and, similarly, it was intended to identify the elements that demonstrate the subjective context of the teacher relationship in any inter-relational context. As a posteriori categories, created from Content Analysis (AC), with Laurence Bardin as the main exponent, the research involved the treatment of the data to focus the effects of sense of recognition, which was put in confluence with the spheres of recognition of Honneth. It was thus deduced that love of the profession, the first sphere of the Theory of Recognition, underlies most teachers, but they wish to have their rights guaranteed and wish to have social esteem present. / A pesquisa teve como proposta investigar o reconhecimento social do professor por meio dos discursos docentes na coluna ?Palavra de Professor? do Jornal Extra Classe, SINPRO/RS. Assim, o corpus total da pesquisa da disserta??o est? composto por vinte e tr?s textos, coletados na vers?o on-line, selecionados ao longo da produ??o de dez anos, de 2006 a 2015, levando em considera??o voc?bulos que mostrassem o termo reconhecimento ou seus derivados. Como problema de pesquisa questionou-se: Quais s?o as evid?ncias da implica??o das esferas de reconhecimento, no contexto intersubjetivo, atrav?s dos escritos de professores do ensino privado na referida coluna? O objetivo geral proposto para esta pesquisa foi investigar os indicadores de presen?a ou de aus?ncia de reconhecimento. A pesquisa apresenta como objetivos espec?ficos que auxiliaram para a delimita??o do tema: a) conhecer qual ? o lugar do professor dentro dos marcos indicados nos discursos impressos na coluna ?Palavra de professor?; b) analisar como o professor se v? e se coloca no processo de reconhecimento social. Como marco te?rico, foi escolhido o fil?sofo alem?o Axel Honneth, com sua Teoria do Reconhecimento, na qual o pensador prop?e as esferas de reconhecimento que foram enfocadas como categorias a priori, as quais demonstram uma imbrica??o entre o contexto intersubjetivo (amor, direito e estima social) e o contexto subjetivo (autoconfian?a, autorrespeito e autoestima) de uma matriz social. Com esses indicadores, objetivou-se conhecer quais s?o as evid?ncias de reconhecimento, no contexto intersubjetivo, que surgem na coluna e, analogamente, pretendeu-se identificar os elementos que demonstrassem o contexto subjetivo da rela??o docente em qualquer contexto inter-relacional. Como categorias a posteriori, criadas a partir da An?lise de Conte?do (AC), com Laurence Bardin como maior expoente, a pesquisa envolveu o tratamento dos dados para enfocar os efeitos de sentido do reconhecimento, o que foi posto em conflu?ncia com as esferas de reconhecimento de Honneth. Depreendeu-se, assim, que o amor ? profiss?o, primeira esfera da Teoria do Reconhecimento, alicer?a a maioria dos docentes, mas eles desejam ter seus direitos assegurados e desejam ter a estima social presente.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-09T18:47:46Z No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-03-10T21:13:38Z (GMT) No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5) / Made available in DSpace on 2017-03-10T21:13:38Z (GMT). No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5) Previous issue date: 2016-08-12 / O uso crescente de sistemas complexos exige cada vez mais um maior investimento de recursos no desenvolvimento de software para garantir a confiabilidade dos mesmos. Para lidar com esta complexidade, abordagens composicionais podem ser utilizadas no desenvolvimento de sistemas de software, possibilitando a integra??o e a reutiliza??o de componentes existentes. Entretanto, a fim de garantir o sucesso desta abordagem, ? essencial confiar no comportamento dos componentes e, al?m disso, nos sistemas que s?o desenvolvidos utilizando essa estrat?gia, uma vez que falhas podem ser introduzidas se a composi??o n?o assegurar propriedades importantes. Problemas podem surgir quando dois ou mais componentes s?o integrados pela primeira vez. Esta situa??o ? ainda mais relevante quando um grupo de componentes trabalha em conjunto a fim de executar determinadas tarefas, especialmente em aplica??es cr?ticas, onde podem surgir problemas cl?ssicos, como livelock. Esta tese de doutorado apresenta uma estrat?gia local para garantir aus?ncia de livelock, por constru??o, em sistemas s?ncronos modelados com a nota??o padr?o de CSP. A nossa t?cnica ? baseada na an?lise local das m?nimas sequ?ncias que levam o processo CSP ao seu estado inicial. O uso de t?cnicas locais evita a explos?o do espa?o de estados gerado pela integra??o dos componentes. A verifica??o destas condi??es locais utilizam metadados que permitem armazenar resultados parciais das verifica??es, reduzindo o esfor?o durante a an?lise. A abordagem proposta tamb?m pode ser aplicada para verificar aus?ncia de livelock em modelos que realizam comunica??es ass?ncronas. Neste caso, analisamos o modelo de componentes BR IC, cujo comportamento dos componentes ? representado por um processo CSP. A fim de realizar esta verifica??o, consideramos duas vers?es para BR IC: BR IC , o qual realiza composi??es ass?ncronas atrav?s de buffers finitos, e BR IC? no qual a assincronicidade ? realizada atrav?s de buffers infinitos. Estas duas abordagens foram analisadas porque a possibilidade de introduzir livelock em sistemas ass?ncronos depende diretamente da finitude do buffer. As t?cnicas propostas para garantir aus?ncia de livelock em CSP e BR IC foram avaliadas atrav?s de tr?s estudos de caso: o escalonador de Milner e duas varia??es do jantar dos fil?sofos. Uma vers?o apresenta um sistema livre de livelock, e a outra apresenta um sistema com livelock. Neste estudo, avaliamos a nossa abordagem em compara??o com outras duas t?cnicas para verifica??o de aus?ncia de livelock, a an?lise global tradicional do FDR e a an?lise est?tica de livelock do SLAP. Este estudo comparativo demonstra que a nossa estrat?gia pode ser aplicada como uma alternativa para a verifica??o de aus?ncia de livelock em grandes sistemas. / The use of increasingly complex applications is demanding a greater investment of resources in software development to ensure that applications are safe. For mastering this complexity, compositional approaches can be used in the development of software by integrating and reusing existing reliable components. The correct application of such strategies, however, relies on the trust in the behaviour of the components and in the emergent behaviour of the composed components because failures may arise if the composition does not preserve essential properties. Problems may be introduced when two or more error-free components are integrated for the first time. This concern is even more relevant when a group of components is put together in order to perform certain tasks, especially in safety-critical applications, during which classical problems can arise, such as livelock. In this thesis, we present a local strategy that guarantees, by construction, the absence of livelock in synchronous systems as modelled using the standard CSP notation. Our method is based solely on the local analysis of the minimum sequences that lead the CSP model back to its initial state. Locality provides an alternative to circumvent the state explosion generated by the interaction of components and allows us to identify livelock before composition. The verification of these conditions use metadata that allow us to record partial results of verification, decreasing the overall analysis effort. In addition, our work can also be applied to check livelock freedom in models that perform asynchronous communications. In this case, we carry out livelock analysis in the context of a component model, BR IC, whose behaviour of the components is described as a CSP process. Finally, we introduce three case studies to evaluate our livelock analysis technique in practice: the Milner?s scheduler and two variations of the dining philosophers, a livelock-free version and a version in which we have deliberately included livelock. For each case study, we also present a comparative analysis of the performance of our strategy with two other techniques for livelock freedom verification, the traditional global analysis of FDR and the static livelock analysis of SLAP. This comparative study demonstrates that our strategy can be used in practice and that it might be a useful alternative for establishing livelock freedom in large systems.

Made available in DSpace on 2014-12-17T15:41:53Z (GMT). No. of bitstreams: 1 ViniciusPSC_DISSERT.pdf: 2657914 bytes, checksum: beb97c8aaf506ef6b97930de865d3dd2 (MD5) Previous issue date: 2011-02-25 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The catalytic processes play a vital role in the worldwide economy, a business that handles about US$ 13 billion per year because the value of products depends on the catalytic processes, including petroleum products, chemicals, pharmaceuticals, synthetic rubbers and plastics, among others. The zeolite ZSM-5 is used as catalyst for various reactions in the area petrochemical, petroleum refining and fine chemicals, especially the reactions of cracking, isomerization, alkylation, aromatization of olefins, among others. Many researchers have studied the hydrothermal synthesis of zeolite ZSM-5 free template and they obtained satisfactory results, so this study aims to evaluate the hydrothermal synthesis and the physicochemical properties of ZSM-5 with the presence and absence of template compared with commercial ZSM-5. The methods for hydrothermal synthesis of zeolite ZSM-5 are of scientific knowledge, providing the chemical composition required for the formation of zeolitic structure in the presence and absence of template. Samples of both zeolites ZSM-5 in protonic form were obtained by heat treatment and ion exchange, according to procedures reported in the literature. The sample of commercial ZSM-5 was acquired by the company Sentex Industrial Ltda. All samples were characterized by XRD, SEM, FTIR, TG / DTG / DSC, N2 adsorption and desorption and study of acidity by thermo-desorption of probe molecule (n-butylamine), in order to understand their physicochemical properties. The efficiency of the methods applied in this work and reported in the literature has been proved by well-defined structure of ZSM-5. According as the evaluation of physicochemical properties, zeolite ZSM-5 free template becomes promising for application in the refining processes or use as catalytic support, since its synthesis reduces environmental impacts and production costs / Os processos catal?ticos desempenham um papel vital na economia mundial, um neg?cio que movimenta aproximadamente US$13 bilh?es por ano, pois o valor dos produtos depende dos processos catal?ticos, incluindo os produtos petrol?feros, qu?micos, farmac?uticos, borrachas sint?ticas e pl?sticos, entre outros. A ze?lita ZSM-5 ? utilizada como catalisador em rea??es nas ?reas petroqu?mica, petrol?fera e qu?mica fina, destacando-se as rea??es de craqueamento, isomeriza??o, alquila??o, aromatiza??o de olefinas, entre outras. Muitos pesquisadores t?m estudado a s?ntese hidrot?rmica da ze?lita ZSM-5 ausente de direcionador org?nico estrutural e obtiveram resultados satisfat?rios, assim, este estudo visa avaliar a s?ntese hidrot?rmica e as propriedades f?sico-qu?micas da ZSM-5 com a presen?a e aus?ncia de direcionador org?nico estrutural, em compara??o com ZSM-5 comercial. Os m?todos para a s?ntese hidrot?rmica da ze?lita ZSM-5 s?o de conhecimento cient?fico, fornecendo a composi??o qu?mica necess?ria para a forma??o da estrutura zeol?tica em presen?a e aus?ncia de direcionador org?nico estrutural. As amostras de ambas as ze?litas ZSM-5 na forma prot?nica foram obtidas atrav?s de tratamentos t?rmicos e troca i?nica, de acordo com procedimentos relatados na literatura. A amostra de ZSM-5 comercial foi concedida pela empresa Sentex Industrial Ltda. Todas as amostras foram caracterizadas por DRX, MEV, FTIR, TG/DTG/DSC, Adsor??o e dessor??o de N2 e estudo da acidez por termodessor??o de mol?cula sonda (n-butilamina), a fim de compreender suas propriedades f?sico-qu?micas. A efici?ncia dos m?todos aplicados no presente trabalho e relatados na literatura foi comprovada pela estrutura bem definida da ze?lita ZSM-5. Conforme a avalia??o das propriedades f?sico-qu?micas, a ze?lita ZSM-5 ausente de direcionador org?nico torna-se promissora para aplica??o em processos de refino ou utiliza??o como suporte catal?tico, visto que, sua s?ntese reduz os impactos ambientais e custos de produ??o

Made available in DSpace on 2014-12-17T15:42:28Z (GMT). No. of bitstreams: 1 MariaJFC_TESE.pdf: 4007652 bytes, checksum: 7bb363c54641679d79bbff5c76de539f (MD5) Previous issue date: 2013-06-03 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The processing of heavy oil produced in Brazil is an emergency action and a strategic plan to obtain self-sufficiency and economic surpluses. Seen in these terms, it is indispensable to invest in research to obtain new catalysts for obtaining light fraction of hydrocarbons from heavy fractions of petroleum. This dissertation for the degree of Doctor of Philosophy reports the materials preparation that combine the high catalytic activity of zeolites with the greater accessibility of the mesoporosity, more particularly the HZSM-5/MCM-41 hybrid, done by synthesis processes with less environmental impact than conventional ones. Innovative methodologies were developed for the synthesis of micro-mesoporous hybrid material by dual templating mechanism and from crystalline zeolitic aluminosilicate in the absence of organic template. The synthesis of hybrid with pore bimodal distribution took place from one-single organic directing agent aimed to eliminate the use of organic templates, acids of any kind or organic solvents like templating agent of crystalline zeolitic aluminosilicate together with temperature-programmed microwave-assisted, making the experimental procedures of preparation most practical and easy, with good reproducibility and low cost. The study about crystalline zeolitic aluminosilicate in the absence of organic template, especially MFI type, is based on use of H2O and Na+ cation playing a structural directing role in place of an organic template. Advanced characterization techniques such as X-Ray Diffraction (XRD), Fourier Transform Infrared Spectroscopy (FTIR), Scanning Electron Microscopy (SEM), Highresolution Transmission Electron Microscopy (HRTEM), Adsorption of N2 and CO2, kinetic studies by Thermogravimetric Analysis (TGA) and Pyrolysis coupled to Gas Chromatography/Mass Spectrometry (Pyrolysis-GC/MS) were employed in order to evaluate the synthesized materials. Achieve the proposed objectives, has made available a set of new methodologies for the synthesis of zeolite and hybrid micro-mesoporous material, these suitable for catalytic pyrolysis of heavy oils aimed at producing light fraction / O processamento do petr?leo pesado produzido no Pa?s ? uma a??o emergencial e estrat?gica para obter a auto-sufici?ncia e super?vits econ?micos. Neste sentido, ? indispens?vel o investimento em pesquisas de novos catalisadores para obten??o de derivados leves a partir de fra??es pesadas do petr?leo. O trabalho de doutorado aqui reportado dedicouse ? prepara??o de materiais que combinem, numa ?nica estrutura, a elevada atividade catal?tica de ze?litas, com melhor acessibilidade de materiais mesoporosos, como a estrutura h?brida HZSM-5/MCM-41, utilizando processos de s?ntese com menor impacto ambiental que os convencionais. Metodologias inovadoras foram desenvolvidas para a s?ntese do catalisador h?brido micro-mesoporoso ou ze?lito-mesoporoso por mecanismo de direcionamento estrutural via duplo agente diretor org?nico e tamb?m a partir de estrutura zeol?tica sintetizada na aus?ncia total de direcionador org?nico. Esse ?ltimo, tamb?m chamado de s?ntese do h?brido com distribui??o bimodal de poros a partir de um ?nico agente diretor org?nico, visou eliminar o uso dos direcionadores org?nicos, ?cidos de qualquer natureza ou solventes org?nicos como molde estrutural da estrutura zeol?tica em conjunto com o m?todo hidrot?rmico assistido por irradia??o via micro-ondas, tornando o procedimento experimental de prepara??o pr?tico e simples, com boa reprodutibilidade e menor custo. A metodologia de prepara??o da ze?lita MFI do tipo ZSM-5 utiliza H2O e c?tions Na+ no papel de direcionamento estrutural e compensa??o de cargas na estrutura. T?cnicas relevantes de caracteriza??o, como Difra??o de Raios-X (XRD), Espectroscopia no Infravermelho com Transformada de Fourier (FTIR), Microscopia Eletr?nica de Varredura (SEM), Microscopia Eletr?nica de Transmiss?o de Alta Resolu??o (HRTEM), Adsor??o de N2 e CO2, estudos cin?ticos via An?lises Termogravim?tricas (TGA) e Pir?lise acoplada ? Cromatografia Gasosa/Espectrometria de Massas (Pyrolysis-GC/MS), foram empregadas no intuito de avaliar os materiais sintetizados. Alcan?ados os objetivos propostos, disponibilizou-se um conjunto de novas metodologias para s?ntese de catalisadores zeol?ticos e h?bridos micromesoporosos, estes adequados para pir?lise catal?tica de ?leos pesados visando ? produ??o de derivados leves

Made available in DSpace on 2014-12-17T15:41:45Z (GMT). No. of bitstreams: 1 MariaJFCpdf.pdf: 4931245 bytes, checksum: 45a7ea893d17f478c73adf56787579aa (MD5) Previous issue date: 2008-12-22 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The present work reports the study of nanoporous structures, aiming at their use in research directed to the current demand of the petroleum industry to value heavy oil. Initially, two ways were chosen for the synthesis of porous structures from the molecular sieves of type Si-MCM-41. In the first way, the structure MCM-41 is precursory for heteroatom substitutes of silicon, generating catalyst of the type Al-MCM-41 from two different methods of incorporation of the metal. This variation of the incorporation method of Aluminum in the structure of Si-MCM-41 was carried out through the conventional procedure, where the aluminum source was incorporated to the gel of synthesis, and the procedure post-synthesis, where the Aluminum source was incorporated in catalyst after the synthesis of Si-MCM-41. In the second way, the MCM-41 acts as a support for growth of nanocrystals of zeolite embedded in their mesoporous, resulting in hybrid MCM-41/ZSM-5 catalyst. A comparative analysis was carried through characterizations by XRD, FTIR, measures of acidity through n-butylamine adsorption for TGA, SEM-XRF and N2 adsorption. Also crystalline aluminosilicate with zeolitic structure MFI of type ZSM-5 was synthesized without using organic templates. Methodologies to the preparation of these materials are related by literature using conventionally reactants that supply oxides of necessary silicon and aluminum, as well as a template agent, and in some cases co-template. The search for new routes of preparation for the ZSM-5 aimed at, above all, the optimization of the same as for the time and the temperature of synthesis, and mainly the elimination of the use of organic templates, that are material of high cost and generally very toxic. The current study is based on the use of the H2O and Na+ cations playing the role of structural template and charge compensation in the structure. Characterizations by XRD, FTIR, SEM-XRF and N2 adsorption were also conducted for this material in order to compare the samples of ZSM-5 synthesized in the absence of template and those used industrially and synthesized using structuring / O presente trabalho relata o estudo de estruturas nanoporosas, visando o uso em pesquisas que atendam a atual demanda da ind?stria do petr?leo, de valorizar ?leos pesados. Inicialmente, optou-se por duas vertentes para a s?ntese de estruturas porosas a partir da peneira molecular do tipo Si-MCM-41. Na primeira vertente, a estrutura MCM-41 ? precursora para hetero?tomos substituintes do sil?cio, gerando catalisadores do tipo Al-MCM-41 a partir de dois diferentes m?todos de incorpora??o do metal. Essa varia??o do m?todo de incorpora??o do Alum?nio na estrutura do Si-MCM-41 se deu atrav?s do procedimento convencional, no qual a fonte de alum?nio foi incorporada ao gel de s?ntese e do procedimento p?s-s?ntese, no qual a fonte de Alum?nio foi incorporada ao catalisador ap?s a s?ntese do Si-MCM-41. Na segunda vertente, o MCM-41 age como suporte para o crescimento de nanocristais de ze?lita embutidos nos seus mesoporos, resultando no catalisador h?brido MCM-41/ZSM-5. Uma an?lise comparativa foi realizada atrav?s de caracteriza??es por XRD, FTIR, medidas de acidez atrav?s de dessor??o de n-butilamina por TGA, SEM-XRF e Adsor??o de N2. Tamb?m foi sintetizado um aluminossilicato cristalino com estrutura zeol?tica MFI do tipo ZSM-5, na aus?ncia total de direcionador org?nico. Metodologias relacionadas ? prepara??o desses materiais s?o relatadas pela literatura utilizando-se convencionalmente reagentes que forne?am os ?xidos de sil?cio e de alum?nio necess?rios, bem como um agente direcionador, e em alguns casos at? co-direcionadores. A busca por novas rotas de prepara??o para a ZSM-5 visou, sobretudo, a otimiza??o da mesma no que se refere ao tempo e ? temperatura de s?ntese, e principalmente a elimina??o do uso dos direcionadores org?nicos, que s?o materiais de alto custo e geralmente muito t?xicos. O atual estudo se baseia na utiliza??o da H2O e dos c?tions Na+ desempenhando o papel de direcionamento estrutural e compensa??o de cargas na estrutura. Caracteriza??es por XRD, FTIR, SEM-XRF e Adsor??o de N2 tamb?m foram realizadas para esse material, a fim de comparar as amostras de ZSM-5 sintetizadas na aus?ncia do direcionador e aquelas utilizadas industrialmente e sintetizadas utilizando estruturantes