141 |
Cidades digitais e publica??o de sistemas em nuvem: uma metodologia para a tomada de decis?oRibeiro, Anderson de Souza 28 May 2016 (has links)
Submitted by Fernanda Ciolfi (fernanda.ciolfi@puc-campinas.edu.br) on 2016-08-11T19:07:05Z
No. of bitstreams: 1
Anderson de Souza Ribeiro.pdf: 3519905 bytes, checksum: 24d0f2df16e1e4ca30d3e7eee439bd8b (MD5) / Made available in DSpace on 2016-08-11T19:07:05Z (GMT). No. of bitstreams: 1
Anderson de Souza Ribeiro.pdf: 3519905 bytes, checksum: 24d0f2df16e1e4ca30d3e7eee439bd8b (MD5)
Previous issue date: 2016-05-28 / Pontif?cia Universidade Cat?lica de Campinas ? PUC Campinas / The Information and Communication Technology (ICT) advancement, and the growing need for higher data processing capacity, storage and higher data transfer rates demanded by the change in the behavior of society, which is more globalized and interconnected over the time, the opportunities for interaction and integration that covers private organizations and citizens of the Digital Cities or Smart Cities, it was necessary the use of technologies such as Cloud Computing to enable the population to consume the services available in this age. In this sense, it is necessary to select, and periodically prioritize, the scarce financial and human resources needed to implement the projects that offer the best value delivery proposal with the lowest possible investment, within the set deadlines, while respecting budgetary constraints, time and implementation capacity of organizations. Regarding the method of aid to decision-making, proposed in this work, for the selection and prioritization of systems for publication in Cloud, in an environment of heterogeneous telecommunications solutions, proposes a tool and a decision-making process that helps the public manager and private sector companies in the selection and prioritization of adherent solutions to their specific needs through the implementation of multi-criteria analysis , which consists of four hierarchical levels (Function objective, criteria categories, Subcriteria and System Options), and 5 categories of criteria to Digital cities (Financial Analysis, Technology Architecture, Governance, Digital Inclusion, Strategic Objectives), and 4 category criteria (Financial Analysis, Technical Architecture, Governance, Strategic Objectives) for corporate environments. This work was initially developed in simulation environment, and it was also applied in an education company and, in both cases, the results showed the method was useful to facilitate the manager's decision-making for the selection and prioritization of systems adherent to publication in cloud, in complex scenarios with multiple variables and constraints. / Com avan?o da Tecnologia da Informa??o e Comunica??o (TIC), e o crescimento da necessidade de poder de processamento, armazenamento, e altas taxas de transfer?ncia de dados demandadas pela altera??o no comportamento da sociedade, cada vez mais globalizada e conectada, e ainda pelas oportunidades de intera??o e integra??o que se abrem ?s organiza??es governamentais, empresas e cidad?os nesse novo contexto de Cidades Digitais, ou Cidades Inteligentes, fez-se necess?rio o uso de tecnologias como a Computa??o em Nuvem para viabilizar esta nova realidade, com fornecimento de servi?os ? popula??o, e a todos os seus agentes. Nesse cen?rio, h? que se selecionar e priorizar periodicamente os escassos recursos financeiros e humanos necess?rios para executar os projetos que oferecem a melhor proposta de entrega de valor, com o menor investimento poss?vel, dentro dos prazos estabelecidos, respeitando as restri??es or?ament?rias, de tempo e a capacidade de execu??o das institui??es. Nesse sentido o m?todo de aux?lio a tomada de decis?o, proposto neste trabalho, para a sele??o e prioriza??o de sistemas para publica??o em Nuvem, num ambiente de solu??es heterog?neas de telecomunica??es, prop?e uma ferramenta e um processo de tomada de decis?o que auxilia o gestor, seja do setor p?blico, ou em empresas do setor privado, na escolha e prioriza??o de solu??es aderentes ?s suas necessidades espec?ficas, atrav?s da realiza??o da an?lise multicrit?rio composta por 4 n?veis hier?rquicos (Fun??o objetivo, Categorias de Crit?rios, Subcrit?rios e Op??es de Sistemas), e 5 categorias de crit?rios para Cidades Digitais (An?lise Financeira, Arquitetura Tecnol?gica, Governan?a, Inclus?o Digital, Objetivos Estrat?gicos) no caso de institui??o p?blica, e 4 (An?lise Financeira, Arquitetura Tecnol?gica, Governan?a, Objetivos Estrat?gicos) para o seguimento corporativo . Este trabalho foi desenvolvido inicialmente em ambiente de simula??o, e tamb?m foi aplicado em uma Empresa de educa??o e, em ambos os casos, os resultados demonstraram como o m?todo foi ?til em facilitar a tomada de decis?o do gestor para a sele??o e prioriza??o de sistemas par a publica??o em nuvem, em ambientes e cen?rios complexos, com m?ltiplas vari?veis e restri??es.
|
142 |
Maternidade contempor?nea como sofrimento social em blogs brasileiros / Motherhood as social suffering in Brazilian blogsSchulte, Andreia de Almeida 18 October 2016 (has links)
Submitted by SBI Biblioteca Digital (sbi.bibliotecadigital@puc-campinas.edu.br) on 2016-11-08T16:36:51Z
No. of bitstreams: 1
Andreia de Almeida Schulte.pdf: 2111700 bytes, checksum: 2a44db45354b0567120ec80b39e84e9d (MD5) / Made available in DSpace on 2016-11-08T16:36:52Z (GMT). No. of bitstreams: 1
Andreia de Almeida Schulte.pdf: 2111700 bytes, checksum: 2a44db45354b0567120ec80b39e84e9d (MD5)
Previous issue date: 2016-10-18 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / This research aims to investigate the experience of being a mother, justified by a view that motherhood can be considered nowadays as social suffering. This essay is structured as qualitative research and organized around the use of the psychoanalytical method. The investigated material is composed by ten posts available in personal blogs, signed by people who identify themselves as mothers. The consideration of these posts in a floating attention state allowed us the interpretative production of two affective-emotional fields: "Dedicating exclusively" and "Reconciling activities". The overall frame suggests that the connection between Maternity and Suffering is closely related to contemporaneity, which requires that the women continue experiencing motherhood as if it were her only mission and destiny and try to engage it with working life, trying to contribute to the financial aspects for the family support and / or also developing a meaningful career. Therefore, this is a situation that happens in different social classes within different cultural contexts also geopolitical situations and that affects not only women but the hole society. / A presente pesquisa objetiva investigar a experi?ncia de ser m?e, justificando-se por meio de uma perspectiva segundo a qual a maternidade pode ser considerada, na contemporaneidade, como sofrimento social. O trabalho se articula como pesquisa qualitativa, organizada ao redor do uso do m?todo psicanal?tico. O material investigado ? composto por um conjunto de dez postagens disponibilizadas em blogs pessoais, assinadas por pessoas que se identificam como m?es. Sua considera??o, em estado de aten??o flutuante, permitiu a produ??o interpretativa de dois campos de sentido afetivo-emocional ?Dedicando-se exclusivamente? e ?Conciliando atitidades?. O quadro geral sugere que a vincula??o entre maternidade e sofrimento est? intimamente ligada ? contemporaneidade, que exige que a mulher persista vivenciando a maternidade como se fosse sua ?nica miss?o e destino e se engaje na vida laboral, encarregando-se de contribuir financeiramente para o sustento familiar e/ou desenvolvendo uma carreira profissional significativa. Trata-se de uma situa??o que ocorre em diferentes classes sociais, em diferentes contextos culturais e em diferentes situa??es geopol?ticas e que afeta, n?o apenas a mulher, mas a todos.
|
143 |
Constru??o de um modelo de previs?o de atividade para o planejamento e s?ntese de triaz?is promissores para inibi??o dda CYP51 do Trypanosoma cruzi / Construction of a theorical model for prediction of activity for the design and synthesis of promising triazoles as inhibitors of Trypanosoma cruzi CYP51CASTRO, Larissa Henriques Evangelista 02 December 2016 (has links)
Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2017-09-12T18:24:02Z
No. of bitstreams: 1
2016 - Larissa Henriques Evangelista Castro.pdf: 3738174 bytes, checksum: 04e651a55fa9b4054c2810389592be67 (MD5) / Made available in DSpace on 2017-09-12T18:24:02Z (GMT). No. of bitstreams: 1
2016 - Larissa Henriques Evangelista Castro.pdf: 3738174 bytes, checksum: 04e651a55fa9b4054c2810389592be67 (MD5)
Previous issue date: 2016-12-02 / CAPES / CNPq / FAPERJ / Trypanosoma cruzi is the parasite that causes american trypanosomiasis (or Chagas disease), a neglected tropical disease previously restricted to South and Central Americas and Mexico, but now with several cases around the world. Currently in Brazil, the treatment of Chagas disease is done, only using benznidazole, which is not effective for the disease?s chronic phase and causes aggressive side effects, which explains the necessity of researches to find novel anti-Chagas compounds. A strategy adopted for the development of bioactive compounds against T. cruzi consists on the inhibition of the sterol 14?-demethylase enzyme (CYP51), which is essential for the parasite?s cellular membrane integrity. The inhibition can be achieved by a complexation of heterocyclic ring-containing compounds with the iron atom of heme group, present on CYP51. Thus, molecular modeling techniques were used on this study to analyze the interaction of a heterocyclic compounds (with known activity) with T. cruzi CYP51 in order to obtain the necessary information to construct an effective model for the theoretical activity prediction of these and also novel compounds. The proposed model presented a good multiple correlation coefficient (r? = 0.84) with the terms used to its construction. The model was used to help the design of novel piperine derivatives with a triazole ring, that presented promising theorical activities against T. cruzi CYP51, calculated by the model. The most promising compounds were selected and synthesized with the purpose of being tested in vitro and in vivo against T. cruzi. / O Trypanosoma cruzi ? o parasito causador da tripanossom?ase americana (Doen?a de Chagas), uma doen?a tropical negligenciada antes restrita ? Am?rica do Sul, Am?rica Central e M?xico, mas que vem apresentando um n?mero cada vez maior de casos no mundo. Atualmente, o tratamento da Doen?a de Chagas no Brasil ? limitado ao uso do f?rmaco benzonidazol, que ? pouco eficaz para a fase cr?nica da doen?a e causa efeitos colaterais agressivos, o que torna a pesquisa por novos f?rmacos imprescind?vel. Uma estrat?gia adotada para o desenvolvimento de compostos bioativos contra T. cruzi consiste na inibi??o de uma enzima essencial para a integridade da membrana celular do parasito, a enzima esterol 14?-desmetilase (CYP51), causada pela coordena??o de compostos contendo an?is heteroc?clicos com o ?tomo de ferro do grupo heme presente na enzima, fundamental para a atividade. Dessa maneira, foram utilizadas nesse estudo t?cnicas de modelagem molecular, incluindo docagem molecular e c?lculos qu?nticos semi-emp?ricos, para analisar a intera??o de uma s?rie de compostos heteroc?clicos de atividade conhecida sobre a CYP51 do T. cruzi e com isso se obter informa??es necess?rias para a constru??o de um modelo efetivo para a previs?o te?rica da atividade destes compostos. O modelo proposto apresentou um bom coeficiente de correla??o m?ltipla com os termos utilizados para sua constru??o, com um r?=0,84. Esse modelo foi utilizado para o planejamento de novos triaz?is derivados da piperina, com atividade te?rica calculada promissora contra a CYP51 de T. cruzi. Alguns dos melhores compostos foram selecionados e sintetizados neste projeto, com a proposta de serem avaliados em testes in vitro e in vivo contra a doen?a de Chagas.
|
144 |
Modelagem computacional da intera??o entre discord?ncias parciais a 90 graus e a superf?cie (111) do sil?cioOLIVEIRA, Arnaldo Cesar Almeida 31 October 2014 (has links)
Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2017-10-13T20:23:03Z
No. of bitstreams: 1
2014 - Arnaldo Cesar Almeida Oliveira.pdf: 1706735 bytes, checksum: e15df5900be5e8087531ffa6a80e066e (MD5) / Made available in DSpace on 2017-10-13T20:23:03Z (GMT). No. of bitstreams: 1
2014 - Arnaldo Cesar Almeida Oliveira.pdf: 1706735 bytes, checksum: e15df5900be5e8087531ffa6a80e066e (MD5)
Previous issue date: 2014-10-31 / CAPES / Understanding the structural properties of dislocations is essential since these defects govern the processes plastic deformation of materials. Particularly in semiconductors, these studies are important given the relevance of these materials for microelectronics. In this work, our focus will be the 90o partial dislocations in silicon. For the theoretical study of atomic-scale crystal dislocations, we use simulations based on semi-empirical quantum-mechanical methods closely linked to the tight-binding treatment, since it considers in its formulation that crystalline electronic states can be described in terms of atomic orbitals: Density Matrix Method Tight-Binding Order-N (DMTB). This method has a low computational cost which allows us to work with very large systems atoms in structures representation -including thousands of sites. In short, we describe how to produce and represent the 90o partial dislocations in Si, we consider three models for its core structure: a unreconstructed where the atoms have an almost fivefold coordination; a model reconstructed with period equal to the perfect lattice; and a model with twice period comparing with the perfect lattice. Finally, we calculate the range in energy of the system with the distance between the dislocations and the free surface of Si. / Compreender as propriedades estruturais de discord?ncias cristalinas ? fundamental uma vez que estes defeitos governam os processos de deforma??o pl?stica em materiais. Particularmente em semicondutores, esses estudos s?o importantes dada a relev?ncia desses materiais para a microeletr?nica. Neste trabalho nosso foco ser?o as discord?ncias cristalinas parciais a 90o em sil?cio. Para o estudo te?rico em escala at?mica das discord?ncias cristalinas, usamos simula??es baseadas em metodologias quanto-mec?nicas semi-emp?ricas atrav?s de um m?todo intimamente ligado ao tratamento tight-binding, uma vez que considera em sua formula??o que os estados eletr?nicos cristalinos podem ser descritos em termos de orbitais at?micos: M?todo da Matriz Densidade Tight-Binding de Ordem-N (DMTB). Este m?todo tem um custo computacional baixo o que permite que trabalhemos com sistemas muito grandes de ?tomos na representa??o das estruturas ? com milhares de s?tios inclusive. Em suma, descrevemos como produzir e representar as discord?ncias parciais a 90o em Si consideramos tr?s modelos para sua estrutura de caro?o: um n?o reconstru?do onde os ?tomos possuem uma coordena??o quase qu?ntupla; um modelo reconstru?do com per?odo igual ao per?odo da rede perfeita; e um modelo com per?odo dobrado em rela??o ao da rede perfeita. Por fim, calculamos a varia??o da energia do sistema com a dist?ncia entre as discord?ncias e a superf?cie livre do Si.
|
145 |
O m?todo da Falsa Posi??o: Uma alternativa para o ensino de resolu??o de problemas envolvendo equa??es do 1? grau / The False Position method: An alternative for teaching problem solving involving the 1st degree equationsSILVA, Fabr?cio de Azevedo 31 August 2015 (has links)
Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2018-05-17T18:02:00Z
No. of bitstreams: 1
2015 - Fabr?cio de Azevedo Silva.pdf: 2083796 bytes, checksum: d9a26681bab37d5289f5f06f93a62cc8 (MD5) / Made available in DSpace on 2018-05-17T18:02:04Z (GMT). No. of bitstreams: 1
2015 - Fabr?cio de Azevedo Silva.pdf: 2083796 bytes, checksum: d9a26681bab37d5289f5f06f93a62cc8 (MD5)
Previous issue date: 2015-08-31 / CAPES / The main objective of this research is to see whether the false position method, used to solve some problems Rhind Papyrus, can be an alternative for solving problems that involve the 1st degree equations with one unknown for students from the 7th grade of elementary school. The Egyptians used this method and this is a way to find the solution of the problem by requiring an initial value, considered the false position, which should be adjusted immediately to obtain the correct value. As we noted not rare that this strategy is adopted by students nowadays, we believe this is a plausible alternative to the teaching content. To check the effectiveness of the method, We conducted a case study ? adopting a qualitative approach to analyze the data collected in search ? with a group of the 7th grade in a municipal school in Rio de Janeiro. We propose a sequence of three activities, applied in a single meeting, where after the resolution of problems by students, we began a discussion of what strategies adopted. After the resolution of the first activity, a problem taken from the Rhind Papyrus, during the period for the discussion of the problem, we show how the Egyptians resolved. We can see that a considerable amount of them identified with the method, by the way they decided later activities. / O principal objetivo desta pesquisa ? verificar se o m?todo da falsa posi??o, utilizado para resolver alguns problemas do Papiro de Rhind, pode ser uma alternativa para resolu??o de problemas que envolvem equa??es do 1? grau com uma inc?gnita para alunos do 7? ano do ensino fundamental. Esse m?todo era utilizado pelos eg?pcios e trata-se de um caminho para encontrar a solu??o do problema atrav?s da estipula??o de um valor inicial, considerado a falsa posi??o, que dever? ser ajustado imediatamente ap?s para se obter o valor correto. Como observamos n?o ser raro que essa estrat?gia seja adotada pelos discentes nos dias atuais, acreditamos ser essa uma alternativa plaus?vel para o ensino do conte?do. Para verificar a efic?cia do m?todo, realizamos um estudo de caso ? adotando uma abordagem qualitativa para analisar os dados recolhidos na pesquisa ? com uma turma do 7? ano em uma escola da rede municipal do Rio de Janeiro. Propomos uma sequ?ncia de tr?s atividades, aplicada em um ?nico encontro, onde ap?s a resolu??o dos problemas pelos discentes, inici?vamos uma discuss?o sobre quais estrat?gias adotaram. Ap?s a resolu??o da primeira atividade, um problema retirado do Papiro de Rhind, durante o per?odo destinado ? discuss?o do problema, mostramos como os eg?pcios o resolviam. Podemos perceber que uma quantidade consider?vel deles se identificou com o m?todo, pela forma como resolveram as atividades posteriores.
|
146 |
BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal BGomes, Bruno Emerson Gurgel 19 November 2007 (has links)
Made available in DSpace on 2014-12-17T15:47:44Z (GMT). No. of bitstreams: 1
BrunoEGG.pdf: 1320681 bytes, checksum: 897ca75ef7f0e564e8588d949fcc67d5 (MD5)
Previous issue date: 2007-11-19 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach
these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures / A tecnologia Java Card permite o desenvolvimento e execu??o de pequenas aplica??es embutidas em smart cards. Uma aplica??o Java Card ? composta por um cliente, externo ao cart?o, e por uma aplica??o contida no cart?o que implementa os servi?os dispon?veis ao cliente por meio de uma Application Programming Interface (API). Usualmente, essas aplica??es manipulam e armazenam informa??es importantes, tais como valores monet?rios ou dados confidenciais do seu portador. Sendo assim, faz-se necess?rio adotar um maior rigor no processo de desenvolvimento de uma aplica??o smart card, visando melhorar a sua qualidade e confiabilidade. O emprego de m?todos formais como parte desse processo ? um meio de se alcan?ar esses requisitos de qualidade. O m?todo formal B ?e um dentre os diversos m?todos formais para a especifica??o de sistemas. O desenvolvimento em B tem in?cio com a especifica??o funcional do sistema, continua com a aplica??o opcional de refinamentos ? especifica??o e, a partir do ?ltimo n?vel de refinamento, ? poss?vel a gera??o de c?digo para alguma linguagem de programa??o. O formalismo B conta com bom suporte de ferramentas e a sua aplica??o a Java Card mostra-se bastante adequada, uma vez que a especifica??o e desenvolvimento de APIs ?e o ponto forte de B. O m?todo BSmart aqui proposto visa promover o desenvolvimento rigoroso de aplica??es Java Card a partir da gera??o de c?digo da aplica??o com base em refinamentos da sua especifica??o formal descrita na nota??o B. O processo de
desenvolvimento descrito no m?todo ? apoiado pela ferramenta BSmart, a qual constitui-se por alguns programas que automatizam cada etapa do m?todo; e por uma biblioteca de m?dulos B e classes Java Card que modelam tipos primitivos, classes essenciais da API Java Card e estruturas de dados reutiliz?veis
|
147 |
Prova autom?tica de satisfatibilidade m?dulo teoria aplicada ao m?todo BTavares, Cl?udia Fernanda Oliveira Kiermes 27 July 2007 (has links)
Made available in DSpace on 2014-12-17T15:47:48Z (GMT). No. of bitstreams: 1
ClaudiaFCKT.pdf: 525104 bytes, checksum: 174fb60f1cf9ebfc609d837f2787b6b1 (MD5)
Previous issue date: 2007-07-27 / Este trabalho apresenta uma extens?o do provador haRVey destinada ? verifica??o de obriga??es de prova originadas de acordo com o m?todo B. O m?todo B de desenvolvimento de software abrange as fases de especifica??o, projeto e implementa??o do ciclo de vida do software. No contexto
da verifica??o, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte ? checagem satisfatibilidade de f?rmulas da teoria axiom?tica dos conjuntos, ou seja, podem ser aplicadas ao m?todo B. A checagem de SMT consiste na checagem de satisfatibilidade de f?rmulas da l?gica de primeira-ordem livre de quantificadores dada uma teoria decid?vel. A abordagem de checagem de SMT implementada pelo provador autom?tico de teoremas haRVey ? apresentada, adotando-se a teoria
dos vetores que n?o permite expressar todas as constru??es necess?rias ?s especifica??es baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-G?del (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no
haRVey requer uma teoria finita e pode ser estendida para as teorias n?odecid?veis, a teoria NBG apresenta-se como uma op??o adequada para a expans?o da capacidade dedutiva do haRVey ? teoria dos conjuntos. Assim, atrav?s do mapeamento dos operadores de conjunto fornecidos pela
linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao m?todo B
|
148 |
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplica??es Java Card com o m?todo BSantos, Simone de Oliveira 10 February 2012 (has links)
Made available in DSpace on 2014-12-17T15:48:00Z (GMT). No. of bitstreams: 1
SimoneOS_DISSERT_capa_ate_pag44.pdf: 4276014 bytes, checksum: c178262769ab9981c0bbfc10faf1c633 (MD5)
Previous issue date: 2012-02-10 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B
method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have
a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This
first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from
specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the
B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B
method users and Java Card application developers / O desenvolvimento de aplica??es para smart cards requer um alto grau de confiabilidade. M?todos formais fornecem meios para que esta confiabilidade seja alcan?ada. O m?todo e a ferramenta BSmart fornecem uma contribui??o para que o desenvolvimento
para smart cards seja feito com o aux?lio do m?todo formal B, gerando c?digo Java Card a partir de especifica??es B. Para que o desenvolvimento com o BSmart seja efetivamente
rigoroso sem sobrecarregar o usu?rio do m?todo ? importante que haja uma biblioteca de componentes reutiliz?veis feitos em B. O KitSmart tem como objetivo prover esse aux?lio.
Um primeiro estudo sobre a composi??o dessa biblioteca foi tema de uma monografia de gradua??o do curso de Bacharelado em Ci?ncia da Computa??o da Universidade Federal do Rio Grande do Norte, feita por Thiago Dutra em 2006. Esta primeira vers?o do kit
resultou na especifica??o dos tipos primitivos permitidos em Java Card (byte, short e boolean) em B e a cria??o de componentes reutiliz?veis para o desenvolvimento de aplica??es.
Esta disserta??o prov? o aperfei?oamento do KitSmart com o acr?scimo da especifica??o da API Java Card em B, e um guia para o desenvolvimento de novos componentes. A API
Java Card especificada em B, al?m de estar dispon?vel para ser usada no desenvolvimento de projetos, serve como documenta??o ao especificar restri??es de uso para cada classe
da API. Os componentes reutiliz?veis correspondem a m?dulos para manipula??o de estruturas espec?ficas, como data e hora, por exemplo. Estes tipos de estruturas n?o est?o dispon?veis em B ou Java Card. Os componentes reutiliz?veis para Java Card s?o gerados a partir das especifica??es verificadas formalmente em B. O guia cont?m informa??es de consulta r?pida para especifica??o de diversas estruturas e como algumas situa??es foram contornadas para adaptar a orienta??o a objetos ao M?todo B. Este trabalho foi avaliado atrav?s de um estudo de caso feito com a ferramenta BSmart que faz uso da biblioteca
KitSmart. Neste estudo de caso, ? poss?vel ver a contribui??o dos componentes em uma especifica??o B. Este kit dever? ser ?til tanto para usu?rios do m?todo B como para desenvolvedores de aplica??es Java Card em geral
|
149 |
S?ntese de ?xidos alternativos para c?lulas a combust?vel de ?xido s?lido de temperatura intermedi?ria / Synthesis of alternative oxides for intermediate temperature solid oxide fuel cellsSouza, Graziele Lopes de 30 January 2017 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-12-01T23:25:10Z
No. of bitstreams: 1
GrazieleLopesDeSouza_DISSERT.pdf: 2319933 bytes, checksum: 41ca637533facb729220921e1dc4c6ce (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-12-05T20:18:40Z (GMT) No. of bitstreams: 1
GrazieleLopesDeSouza_DISSERT.pdf: 2319933 bytes, checksum: 41ca637533facb729220921e1dc4c6ce (MD5) / Made available in DSpace on 2017-12-05T20:18:40Z (GMT). No. of bitstreams: 1
GrazieleLopesDeSouza_DISSERT.pdf: 2319933 bytes, checksum: 41ca637533facb729220921e1dc4c6ce (MD5)
Previous issue date: 2017-01-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / As c?lulas a combust?vel de ?xido s?lido s?o os dispositivos mais eficientes at? ent?o inventados para a convers?o de combust?veis qu?micos diretamente em energia el?trica. Estes dispositivos ainda apresentam como desvantagem o funcionamento em temperatura relativamente elevada. Catodos da s?rie La2-xNiO4+d com estrutura K2NiF4 t?m se mostrado promissores condutores mistos a temperaturas intermedi?rias. O interesse por estes ?xidos como material funcional para catodo deve-se principalmente ? sua permeabilidade a oxig?nio e sua estabilidade qu?mica e t?rmica. Este material tem coeficiente de expans?o t?rmica compat?vel com eletr?litos pertencentes a fam?lia La10-x(SiO4)6O2+-d com estrutura apatita. Estes eletr?litos t?m condutividades superiores aos eletr?litos ? base de zirc?nia, se utilizados na mesma faixa de temperatura que o catodo acima citado. Este trabalho reporta a s?ntese de p?s de silicato de lant?nio tipo apatita de composi??o La10Si6O27 e niquelato de lant?nio (La2NiO4) para serem usados como materiais de eletr?lito e catodo, respectivamente, em c?lulas a combust?vel de ?xido s?lido. O silicato de lant?nio foi obtido a partir de uma rota qu?mica de co-precipita??o, enquanto o catodo foi obtido pelo m?todo do citrato. O procedimento de s?ntese proposto neste trabalho para a obten??o do material de eletr?lito ? vantajoso por reduzir o consumo de energia e o tempo de processamento, elementos chaves para reduzir o custo total de manufatura. Ao termino das s?nteses os p?s precursores foram caracterizados por an?lise termogravim?trica. Os p?s de silicato de lant?nio foram calcinados entre 500 e 900 ?C e caracterizados por difratometria de raios X com refinamento Rietveld dos dados de difra??o e microscopia eletr?nica de varredura (MEV). O niquelato de lant?nio foi calcinado em uma ?nica temperatura, 1200 ?C, por 4h e caracterizado por MEV. A caracteriza??o estrutural do eletr?lito indicou a forma??o de material com fase secund?ria ap?s calcina??o a 900 ?C. O efeito da temperatura de sinteriza??o, variada entre 1400 a 1450 ?C, nas propriedades el?tricas foram investigados por espectroscopia de imped?ncia entre 400 e 800 ?C em atmosfera de ar. O eletr?lito de silicato de lant?nio sinterizado a 1450 ?C apresentou condutividade el?trica total de 2,12x10-3 S.cm-1 a 700 ?C, pr?ximos aos da literatura para amostras sinterizadas a 1500 ?C. O desempenho eletroqu?mico como material de catodo foi avaliado em uma configura??o de c?lula sim?trica (catodo/substrato/catodo) usando a t?cnica de espectroscopia de imped?ncia. Catodos de niquelato de lant?nio obtidos por serigrafia e sinterizados a 1300 ?C por 4 h apresentaram uma resist?ncia espec?fica de ?rea (REA) de 2,85 ohm.cm2 a 800 ?C em atmosfera de oxig?nio. O niquelato de lant?nio foi misturado com o material do eletr?lito e sinterizado na mesma temperatura usada para sinteriza??o do filme de catodo a fim de avaliar poss?veis rea??es qu?micas entre estes materiais. Os materiais mostraram bons resultados eletroqu?micos se comparados com a literatura e estabilidade qu?mica at? a temperatura de 1300 ?C. / Solid oxide fuel cells are the most efficient devices ever invented for the conversion of chemical fuels directly into electrical energy. These devices still have the disadvantage of operating at relatively high temperature. La2-xNiO4+d cathode, series materials with structure K2NiF4, have been considered as very promising materials due to their high mixed ionic electronic to intermediate temperature. The interest in these oxides as functional material for cathode increased because of its oxygen permeability and its stability. This material has coefficient of thermal expansion compatible with electrolytes from the La10-x(SiO4)6O2+-d family and apatite structure. These electrolytes have higher conductivities than zirconia-based electrolytes if used in the same temperature range as the above-mentioned cathode. This work reports the synthesis of apatite-type lanthanum silicate powders with nominal composition La10Si6O27 and Lanthanum nickelate (La2NiO4) for using as electrolyte and cathode materials, respectively, in solid oxide fuel cells. The lanthanum silicate was obtained from a co-precipitation chemical route, while the cathode was obtained by the citrate method. The herein proposed synthetic procedure is advantageous in reducing energy consumption and processing time, key elements to decrease the total manufacturing cost. At the end of the syntheses, the precursors powders were characterized by thermogravimetric analysis. The lanthanum silicate powders as prepared were calcined between 500 and 900 ?C and characterized by X-ray diffraction (XRD), Rietveld refinement and scanning electron microscopy (SEM). Already the lanthanum nickelate was calcined in a single temperature 1200 ?C for 4h and characterized by SEM. The structural characterization of the electrolyte indicated the formation of biphasic material after calcination at 900 ?C. The effect of sintering temperature, ranging from 1400 to 1450 ?C, on the electrical properties was investigated by impedance spectroscopy. Electrical measurements were recorded in the 400 ? 800 ?C temperature range in air. The lanthanum silicate electrolyte sintered at 1450 ?C exhibited total electrical conductivity 2.12 x 10-3 S.cm-1 in 700 ?C comparable with samples from literature prepared and sintered at 1500 ?C. The electrochemical performance as cathode material was evaluated in a symmetrical cell configuration (cathode/substrate/cathode) using the electrochemical impedance spectroscopy. Lanthanum nickelate cathodes obtained by screen printing and sintered at 1300 ? C for 4 h had an area specific resistance (ASR) of 2.85 ohm.cm2 at 800 ? C under oxygen atmosphere. Lanthanum nickelate was mixed with the electrolyte material and sintered at the same temperature used to sinter the cathode film, in order to evaluate possible chemical reactions between them. The materials showed good electrochemical results compared to the literature and chemical stability up to 1300 ? C.
|
150 |
Desenvolvimento de suportes catal?ticos a base de aluminatos para reforma a seco do metano / Development of aluminum-based catalytic supports for the dry reforming of methaneFigueredo, Gilvan Pereira de 11 August 2017 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-12-12T18:02:43Z
No. of bitstreams: 1
GilvanPereiraDeFigueredo_TESE.pdf: 4395902 bytes, checksum: dcc65d04331c39ac75781ca0d55044db (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-12-13T18:29:41Z (GMT) No. of bitstreams: 1
GilvanPereiraDeFigueredo_TESE.pdf: 4395902 bytes, checksum: dcc65d04331c39ac75781ca0d55044db (MD5) / Made available in DSpace on 2017-12-13T18:29:41Z (GMT). No. of bitstreams: 1
GilvanPereiraDeFigueredo_TESE.pdf: 4395902 bytes, checksum: dcc65d04331c39ac75781ca0d55044db (MD5)
Previous issue date: 2017-08-11 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Os materiais cer?micos apresentam diversas aplica??es, principalmente por sua versatilidade e propriedades. V?rias metodologias foram consolidadas para a s?ntese destes materiais, mas algumas desvantagens limitam sua aplicabilidade em cat?lise. Assim, h? muitas pesquisas concentradas no estudo de m?todos de s?ntese de catalisadores e suportes catal?ticos que sejam simples, r?pidos, de baixo custo, ecol?gicos e que produzam materiais adequados. Nos ?ltimos anos algumas rotas alternativas de s?ntese t?m atra?do bastante aten??o, mas a obten??o do espin?lio MgAl2O4 pelo m?todo da gelatina e da perovskita LaAlO3 via rea??o de combust?o assistida por microondas tem sido pouco explorada. O MgAl2O4 ? bastante utilizado na reforma a seco do metano (RSM), mas estudos de RSM usando LaAlO3 como suporte s?o muito limitados. Neste contexto, os objetivos deste trabalho foram: sintetizar MgAl2O4 usando gelatina como precursor org?nico; preparar a perovskita LaAlO3 via rea??o de combust?o assistida por microondas; e, comparar o desempenho em reforma a seco do metano de dois catalisadores preparados com n?quel suportado no LaAlO3 e na ?-Al2O3 comercial. Pelo m?todo da gelatina foi poss?vel obter MgAl2O4 puro, nanom?trico e com cristalinidade de at? 90,40%. Um aumento brusco no tamanho dos cristalitos foi observado para temperatura de calcina??o acima de 900 ?C. Na s?ntese por microondas, a perovskita LaAlO3 monof?sica e nanom?trica foi obtida. Os perfis de RTP-H2 mostram que as vac?ncias de oxig?nio presentes na superf?cie da perovskita exerceram um forte efeito sobre a temperatura de redu??o e a redutibilidade das nanopart?culas de NiO, resultando em fraca intera??o Ni0/LaAlO3. Os resultados dos testes de 10 h com GHSV de 18 L g-1 h-1 mostram que o catalisador Ni/LaAlO3 ? 7,8 e 11,5 % mais est?vel do que o Ni/?-Al2O3 nas convers?es de CH4 e CO2, respectivamente. A maior estabilidade e atividade do Ni/LaAlO3 est? diretamente relacionada ? presen?a de NiO (3,38 %p) ap?s a ativa??o, que promoveu a forma??o de nanotubos de carbono (NTC), aumentando a dispers?o da fase met?lica. Mesmo em condi??es severas de ativa??o e rea??o (alta GHSV), como no teste a longo prazo (20 h), o catalisador Ni/LaAlO3 revelou um rendimento em H2 de 37,2% a mais que o Ni/?-Al2O3. As an?lises por Microscopia Eletr?nica de Transmiss?o (MET) revelam que o catalisador Ni/?-Al2O3 desativou por sinteriza??o. Assim, a presen?a de defeitos estruturais e de superf?cies ricas em vac?ncias de oxig?nio tornam a perovskita LaAlO3 um potencial suporte para aplica??o em processos de reforma catal?tica do metano. / Ceramic materials have several applications, mainly due to their versatility and properties. Several methodologies have been consolidated for the synthesis of these materials, but some disadvantages limit their applicability in catalysis. Thus, much research is concentrated on the study of catalyst synthesis methods that are simple, fast, low cost, ecofriendly and produce suitable materials. In recent years, some alternative synthesis routes have attracted great attention, however the obtainment of MgAl2O4 spinel by the gelatin method and perovskite LaAlO3 via microwave assisted combustion method has been little explored. MgAl2O4 is widely used in the dry reforming of methane (DRM), but DRM studies using LaAlO3 as support are very limited. In this context, the aims of this work were: to synthesize MgAl2O4 using gelatin as an organic precursor; to prepare LaAlO3 perovskite via microwave assisted combustion reaction; and to compare the methane dry reforming performance of two nickel catalysts supported on LaAlO3 and commercial ?-Al2O3. By the gelatin method it was possible to obtain pure and nano-sized MgAl2O4 with crystallinity of up to 90.40%. An abrupt increase in crystallite size was observed for calcination temperatures above 900 ?C. In the microwave synthesis, a monophasic and nano-sized LaAlO3 perovskite was obtained. The TPR-H2 profiles show that the oxygen vacancies present on the perovskite surface exerted a strong effect on the reduction temperature and the reducibility of NiO nanoparticles, resulting in poor Ni0/LaAlO3 interaction. The results of the 10 h catalytic tests with GHSV of 18 L g-1 h-1 show that the Ni/LaAlO3 catalyst is 7.8 and 11.5% more stable than Ni/?-Al2O3 for CH4 and CO2 conversions, respectively. The higher stability and activity of Ni/LaAlO3 is directly related to the presence of NiO (3.38% p) after activation, which promoted the formation of carbon nanotubes (CNT), increasing the dispersion of the metal phase. Even under severe activation and reaction conditions (high GHSV) as in the long-term test (20 h), Ni/LaAlO3 catalyst showed a H2 yield of 37.2% higher than Ni/?-Al2O3. Transmission Electron Microscopy (MET) analyzes revealed that the Ni/?-Al2O3 catalyst deactivated by sintering. Thus, the presence of structural defects and surfaces rich in oxygen vacancies makes the LaAlO3 perovskite a potential support for application in processes of catalytic reforming of methane.
|
Page generated in 0.0718 seconds