Orientador: Alexandre César Rodrigues da Silva / Resumo: Devido ao grande avanço da tecnologia e à miniaturização de circuitos, o estudo de sistemas lógicos que podem ser aplicados à nanotecnologia vem sendo realizado de forma abrangente. Para criação de circuitos nanoeletrônicos destacam-se a lógica reversível e a lógica majoritária. Neste trabalho é proposto o algoritmo MPC, utilizado para síntese de lógica majoritária. O algoritmo recebe uma tabela verdade como entrada e retorna uma função majoritária que cobre o mesmo conjunto de mintermos. A criação de uma função de saída válida é realizada a partir da combinação entre funções primitivas previamente otimizadas. Como critério de custo busca-se a geração de funções que tenham a menor quantidade de níveis, seguida da menor quantidade de operadores, inversores e literais. Nesse trabalho também é realizada a comparação do MPC com o algoritmo exact_mig, considerado o melhor algoritmo para síntese de funções majoritárias atualmente. O exact_mig codifica a síntese exata de funções utilizando a quantidade de níveis e operadores como critério de custo. O MPC utiliza dois critérios de custo adicionais, o número de inversores e o número de literais, com o objetivo de otimizar ainda mais os resultados gerados pelo exact_mig. Dessa forma, o MPC busca a síntese de funções que possuam a mesma quantidade de níveis e de operadores, mas com uma quantidade menor de inversores e literais. Testes mostraram que ambos os algoritmos retornam soluções ótimas para todas as funções com 3 variáveis de ent... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Due to technology advancements and circuits miniaturization, the study of logic systems that can be applied to nanotechnology has been progressing steadily. Among the creation of nanoeletronic circuits the reversible and majority logic stands out. This paper proposes the MPC (Majority Primitives Combination) algorithm, used for majority logic synthesis. The algorithm receives a truth table as input and returns a majority function that covers the same set of minterms. The formulation of a valid output function is made with the combination of previously optimized functions. As cost criteria the algorithm searches for a function with the minimum number of levels, followed by the minimum number of gates, inverters, and literals. In this paper it's also presented a comparison between the MPC and the exact_mig, currently considered the best algorithm for majority synthesis. The exact_mig encode the exact synthesis of majority functions using the number of levels and gates as cost criteria. The MPC considers two additional cost criteria, the number of inverters and the number of literals, with the goal to further improve exact_mig results. Therefore, the MPC aims to synthesize functions with the same amount of levels and gates, but with less inverters and literals. Tests have shown that both algorithms return optimal solutions for all functions with 3 input variables. For functions with 4 inputs, the MPC is able to further improve 66% of all functions and achieves equal results for ... (Complete abstract click electronic access below) / Mestre

Conselho Nacional de Desenvolvimento Científico e Tecnológico / A ritualização das passagens da vida na perspectiva da prática litúrgica da Igreja é o assunto aqui pesquisado. Os ritos de passagem estão presentes em todas as culturas. Eles marcam transições idênticas da vida humana e ajudam as pessoas e os grupos a vivenciarem mudanças importantes do ciclo bio-psico-social e a enfrentarem as tensões provocadas pelas passagens. Os ritos de passagem funcionam como uma costura entre as diferentes fases ou etapas da vida. Quais são as passagens relevantes da vida na atualidade e como as igrejas lidam ou poderiam lidar com as passagens da vida, são perguntas que norteiam a investigação do assunto. Tendo como principal referência o teórico Arnold van Gennep, o primeiro capítulo investiga os fundamentos antropológicos da compreensão dos ritos de passagem. Esse autor estuda exaustivamente os rituais que acompanham passagens da vida como gravidez e parto, nascimento e infância, iniciação ou entrada na vida adulta, casamento e morte, e define um princípio universal que ajuda a compreender as passagens individuais e coletivas. Esse capítulo também pergunta pelos tradicionais ritos de passagem que persistem na sociedade atual e reflete sobre as mudanças da sociedade moderna e pós-moderna e suas conseqüências para os ritos de passagem. O segundo capítulo estuda as passagens e a ritualização das passagens da vida na atualidade. Para o estudo desse tema foi utilizado o método da pesquisa social qualitativa, aplicando-se a técnica da entrevista individual a dez pessoas escolhidas pela pesquisadora. O resultado dessa pesquisa acentua a necessidade humana de ritualização das passagens da vida. No final do segundo capítulo são apresentados os desafios que a ritualização das passagens da vida na atualidade representam para a liturgia cristã. O terceiro capítulo estuda a ritualização das passagens na Igreja. Na sua primeira secção o assunto é examinado a partir da prática litúrgica atual dos ritos de passagem, tendo por referência o exemplo da Igreja Evangélica de Confissão Luterana no Brasil (IECLB). Na segunda secção, o tema é investigado a partir de práticas litúrgicas selecionadas da Igreja cristã dos primórdios e de práticas rituais no seu entorno. Na conclusão desse capítulo são extraídas conseqüências para a ritualização das passagens da vida na prática litúrgica atual. Tendo como ponto de partida os métodos de inculturação litúrgica desenvolvidos pelo liturgista Anscar Chupungco, o quarto capítulo apresenta a proposta de um método para a ritualização das passagens da vida na Igreja da atualidade e o aplica a algumas passagens selecionadas. Trata-se de um método que pode ser utilizado para qualquer passagem, em qualquer circunstância. A ritualização das passagens da vida traz muitos desafios à Igreja na atualidade. Há diversas passagens da vida na atualidade que carecem de ritos de passagem. Ao ritualizar as passagens da vida, a Igreja atende a uma necessidade humana fundamental; vai ao encontro de necessidades urgentes da vida e responde a perguntas humanas inquietantes. / The ritualizing of life passages from the perspective of the liturgical practices of the Church is the subject of this dissertation. Rites of passage are present in every culture. They mark identical transitions in human life and help people and groups to go through important changes in the bio-psycho-social cycle and to cope with the tensions caused by the passages. The rites of passage work as a seam between the different phases of life. What are the relevant passages in todays life and how the churches deal or could deal with them are leading questions in the investigation of the subject. Having as principal reference the theorist Arnold van Gennep, the first chapter investigates the anthropological fundaments of the rites of passage. This author studies in exhaustion the rituals that come with life passages as pregnancy and birth giving, birth and childhood, initiation or entrance in adult life, marriage and death, and defines an universal principle that helps to understand the individual and collective passages. This chapter also inquires about traditional rituals of passage still present in modern society and reflects about the changes in the modern and post-modern society and the consequences of those changes to the rituals of passage. The second chapter studies the passages and the ritualizing of life passages in our days. The method of qualitative social research was used for this study, applying an individual interview to ten people chosen by the researcher. The results of this research accentuate the human need for ritualizing life passages. At the end of the second chapter are presented the challenges that the ritualizing of life passages brings to Christian liturgy today. The third chapter studies the ritualizing of passages in the Church. In the first section the subject is examined from the current liturgical practice of the rituals of passage, having as reference the example of the Evangelical Church of the Lutheran Confession in Brazil (IECLB). In the second section, the theme is investigated from the liturgical practices selected from the origins of the Christian Church and the ritual practices that surrounded them. In this chapters conclusion are collected consequences for the ritualizing of life passages in the current liturgical practice. Having as a starting point the methods of liturgical inculturation developed by liturgist Anscar Chupungco, the fourth chapter proposes a method for the ritualizing of life passages in the Church in modern times and applies this method to some chosen passages. It is a method that can be used to any passage, in any circumstance. The ritualizing of life passages brings many challenges to the Church in modern times. There are many life passages today that need rituals. By ritualizing life passages, the Church responds to a fundamental human need: it meets the most urgent needs in life and answers disquieting human questions.

Orientador: Ana Gabriela Sávio / Banca: Mariângela Esther Alencar Marques / Banca: Érika Sinara Lenharo Orti Raduan / Resumo:A doença enxerto contra hospedeiro (DECH) ou graft-versus-host-disease (GVHD) é a maior causa de morbidade e mortalidade em pacientes que foram submetidos ao transplante de células tronco hematopoiéticas (TCTH). É uma síndrome com várias manifestações clínicas, patológicas e imunológicas. Com o objetivo de contribuir para o esclarecimento da participação das células dendríticas Mielóides, Plasmocitóides e Células NK (natural killer) na doença enxerto contra hospedeiro crônica (DECHc) e esclarecer os mecanismos envolvidos, foram analisados cortes microscópicos de mucosa jugal de 26 pacientes com Leucemia Mielóide Aguda (LMA), que realizaram o transplante alogênico de células tronco hematopoiéticas no Hospital Amaral Carvalho, Jaú - SP, onde 13 pacientes desenvolveram DECHc em mucosa bucal e 13 não desenvolveram DECHc. Cortes microscópicos foram submetidos à técnica imuno-histoquímica, utilizando-se anticorpos monoclonais anti-CD1a, anti- CD123 e anti-CD56. O número de células imunomarcadas no córion (CD1a+, CD123+ CD56+) por milímetro quadrado foi calculado dividindo-se a média das células dendríticas presentes nos 10 campos examinados pela área percorrida em cada espécime. Os dados foram avaliados pelo método de Mann-Witney Os resultados demonstraram um aumento estatisticamente significativo das células dendríticas mielóides CD1a+ (p=0,02) e das células NK CD56+(p=0,04) em pacientes com DECHc quando comparados àqueles sem DECHc. A análise da imunomarcação de CD123+ não demonstrou diferença estatística entre os grupos. Conclui-se através deste estudo que no desenvolvimento da DECH crônica há participação das células dendríticas mielóides e céulas NK no córion de mucosa bucal / Abstract:The graft versus host disease (GVHD) or graft-versus-host-disease(GVHD) is a major cause of morbidity and mortality in patients who underwent hematopoietic stem cell transplantation (HSCT). It is a syndrome with various clinical, pathological and immunological. Aiming to contribute to clarifying the role of Myeloid dendritic cells, plasmacytoid cells and NK (natural killer) in chronic graft versus host disease (GVHD) and to clarify the mechanisms involved were examined microscopic sections of the oral mucosa of 26 patients with leukemia Acute Myeloid (AML) who underwent allogeneic hematopoietic stem cell in the Hospital Amaral Carvalho, Jau - SP, where 13 patients develop GVHDc oral mucosa and 13 did not develop GVHD. Microscopic sections were submitted to immunohistochemistry staining using monoclonal antibodies anti-CD1a, anti-CD56 and anti- CD123. The number of immunostained cells in the chorion (CD1a, CD123 and CD56) per square millimeter was calculated by dividing the mean of dendritic cells present in the 10 fields examined area covered by each specimen. The data were evaluated by Mann-Whitney. Results showed a statistically significant increase of myeloid dendritic cells CD1a (p = 0.02) and NK cells CD56 (p = 0.04) in patients with GVHDc compared with those without GVHDc. Analysis of CD123 immunostaining of no statistical difference between groups. It is concluded from this study that the development of chronic GVHD is participation of myeloid dendritic cells and NK cells in the chorion of oral mucosa / Doutor

No description available.

[pt] Um dos problemas mais antigos da computação gráfica tem sido a determinação de visibilidade. Vários algoritmos têm sido desenvolvidos para viabilizar modelos cada vez maiores e detalhados. Dentre estes algoritmos, destaca-se o frustum culling, cujo papel é remover objetos que não sejam visíveis ao observador. Esse algoritmo, muito comum em várias aplicações, vem sofrendo melhorias ao longo dos anos, a fim de acelerar ainda mais a sua execução. Apesar de ser tratado como um problema bem resolvido na computação gráfica, alguns pontos ainda podem ser aperfeiçoados, e novas formas de descarte desenvolvidas. No que se refere aos modelos massivos, necessita-se de algoritmos de alta performance, pois a quantidade de cálculos aumenta significativamente. Este trabalho objetiva avaliar o algoritmo de frustum culling e suas otimizações, com o propósito de obter o melhor algoritmo possível implementado em CPU, além de analisar a influência de cada uma de suas partes em modelos massivos. Com base nessa análise, novas técnicas de frustum culling serão desenvolvidas, utilizando o poder computacional da GPU (Graphics Processing Unit), e comparadas com o resultado obtido apenas pela CPU. Como resultado, será proposta uma forma de frustum culling híbrido, que tentará aproveitar o melhor da CPU e da GPU. / [en] The definition of visibility is a classical problem in Computer Graphics. Several algorithms have been developed to enable the visualization of huge and complex models. Among these algorithms, the frustum culling, which plays an important role in this area, is used to remove invisible objects by the observer. Besides being very usual in applications, this algorithm has been improved in order to accelerate its execution. Although being treated as a well-solved problem in Computer Graphics, some points can be enhanced yet, and new forms of culling may be disclosed as well. In massive models, for example, algorithms of high performance are required, since the calculus arises considerably. This work analyses the frustum culling algorithm and its optimizations, aiming to obtain the state-of-the-art algorithm implemented in CPU, as well as explains the influence of each of its steps in massive models. Based on this analysis, new GPU (Graphics Processing Unit) based frustum culling techniques will be developed and compared with the ones using only CPU. As a result, a hybrid frustum culling will be proposed, in order to achieve the best of CPU and GPU processing.

Made available in DSpace on 2015-05-08T14:59:45Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 1419023 bytes, checksum: 1bf50c9a366f8d01e4a2a3efdb0a5526 (MD5) Previous issue date: 2012-09-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this study the forced convection in the laminar flow in simultaneous developing is studied by applying the Generalized Integral Transform Technique to provide a hybrid analytical solution for the fields of velocity, pressure and temperature in circular ducts. The Continuity, Navier-Stokes, Poisson and Energy equations are formulated using primitive variables,knowing that the Poisson Equation was obtained from some mathematical manipulation made on the Navier-Stokes equations. The integral transformation is done in the Momentum equation in x, Poisson and energy equations, and the resulting equations are solved using the IMSL, DBVPFD subroutines and recovering the original potential for each profile studied. In this way it is possible to find a solution to the system by means of an expansion in terms of convenient eigenfunctions, to circular ducts, the eigenfunctions will be Bessel functions. In the following, some results from a practical point of view will be calculated and exhibited graphically such as: The Nusselt number, the f Re value, the study of the convergence profile of the velocity field, the mean velocity, the temperature, the mean temperature, pressure and the mean pressure in the middle of the duct will be analyzed. The results will be compared with the ones found in the literature to validate and adjust the model. / No presente trabalho a convecção forçada interna no escoamento laminar em desenvolvimento simultâneo é estudada aplicando a Técnica da Transformada Integral Generalizada para produzir um solução híbrida para os campos de velocidade, pressão e temperatura em dutos circulres. As equações da Continuidade, de Navier-Stokes, de Possion e da Energia são formuladas utilizando variáveis primitivas, sabendo-se que a equação de Poisson foi obtida a partir de algumas manipulações matemáticas feitas na equação de Navier-Stokes. A transformação integral é aplicada nas equações da quantidade de movimento na direção x, de Poisson e na equação da energia, e as equações resultantes são resolvidas com a subrotina numérica do IMSL, DBVPFD recuperando o potencial original para cada perfil em estudo. Assim é possível encontrar uma solução para o sistema de equações em termos de um expansão de autofunções, que para dutos circulares, as autofunções serão funções de Bessel. Em seguida resultados de interesse prático são calculados e exibidos graficamente como: número de Nusselt e f Re e estudos da convergência dos perfis de velocidade,velocidade média, temperatura, temperatura média, pressãoo e pressão média no centro do duto são analisados. Os resultados são comparados com os dados disponíveis na literatura para validação e ajustes do modelo.

Made available in DSpace on 2015-05-08T14:59:45Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 1415567 bytes, checksum: 7b043cdad595239d38d4437820f24dd0 (MD5) Previous issue date: 2012-09-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In the present study, forced convection flow in two-dimensional laminar simultaneous development pipeline with rectangular geometry, is analyzed analytically using the Navier-Stokes, Poisson and Energy in its primitive form. These equations are solved by the Generalized Integral Transform Technique, which is characteristic hybrid-numeric. The development work is composed primarily by restructuring the problem, so that, it can be solved by using the subroutine Fortran, IMSL Library, DBVPFD. Then, the results obtained are considered of practical interest, such as the velocity field, the temperature profile, the behavior of the average temperature, the Nusselt number and the friction factor, with the goal of providing a better parameter for construction equipment. These parameters are assessed both longitudinally and horizontally. Finally, the results are validated through convergence charts in order to comparisons with literature articles. / No presente estudo, a convecção forçada no escoamento bidimensional em desenvolvimento simultâneo laminar em dutos com geometria retangular, é analisada analiticamente através das equações de Navier-Stokes, Poisson e da Energia em sua forma primitiva. Estas equações são resolvidas pela Técnica da Transformada Integral Generalizada, que tem característica hibrida-numérica. O desenvolvimento do trabalho é composto primeiramente pela reestruturação do problema, afim de que, possa ser resolvido pelo Fortran por meio da subrotina, da biblioteca IMSL, DBVPFD. Em seguida, são obtidos os resultados considerados de interesse práticos, como o campo de velocidade, o perfil da temperatura, o comportamento da temperatura média, o numero de Nusselt e o fator de atrito, com o objetivo de proporcionar parâmetros para melhor dimensionamento de equipamentos. Esses parâmetros são avaliados tanto longitudinalmente quanto horizontalmente. Por fim, os resultados são validados através de tabelas de convergência e comparações com artigos da literatura especializada.

Made available in DSpace on 2015-05-08T15:00:09Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 727146 bytes, checksum: 486fc97b94f3c34e9b689dd0ebc1b729 (MD5) Previous issue date: 2010-09-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this paper the Generalized Integral Transform Technique is employed to produce hybrid solutions for the velocity and pressure fields of a newtonian fluid in two dimensional flow. The problem is formulated by using primitive variables and the necessary mathematical manipulations were used to obtain the Poisson equation for the pressure field. The momentum equations in the axial direction of flow and Poisson are transformed to remove the transversal dependency. The resulting transformed fields are solved with the IMSL numerical subroutine, DBVPFD. The obtained results for the longitudinal velocity profile at the center of the channel are compared with the available data in the open literature for validation and model fitting. Even so, studies are carried out about the convergence of the solution for the velocity profile in the centerline as well as testing different values of the scale factor of axial coordinate for the choice of a factor which can fit perfectly for comparison with available data. Interest practical datas such as: friction factor and mean velocity are obtained along the duct for a entry condition into the parallel flow channel (v = 0). / No presente trabalho a Técnica da Transformada Integral Generalizada é empregada para produzir soluções híbridas para os campos de velocidade e pressão de um fluido newtoniano no escoamento bidimensional. O problema é formulado a partir da utilização das variáveis primitivas e as manipulações matemáticas necessárias foram usadas para a obtenção da equação de Poisson para o campo de pressão. As equações da quantidade de movimento na direção axial do escoamento e a de Poisson são transformadas para a retirada da dependência transversal. Os campos transformados resultantes são resolvidos com a subrotina numérica do IMSL, DBVPFD. Os resultados obtidos para o perfil de velocidade longitudinal no centro do canal são comparados com os dados disponíveis na literatura aberta para validação e ajustes do modelo. Ainda assim, são realizados estudos de convergência da solução para o perfil de velocidade no centro, bem como testes em diferentes valores do fator de contração de escala da coordenada axial para a escolha de um fator que melhor se ajuste a comparação com os dados disponíveis. Dados de interesses práticos, tais como: fator de atrito e velocidade média são obtidos ao longo do duto para uma condição de entrada no canal do escoamento paralelo (v = 0).

A equação de Schrödinger possui solução exata para átomos monoeletrônicos, porém devido ao nível de complexidade das soluções para átomos polieletrônicos e moléculas houve a necessidade de métodos aproximados que descrevessem satisfatoriamente as propriedades de interesse. O Método da Coordenada Geradora Hartree-Fock (MCG-HF) é um método variacional que permitiu desenvolver conjuntos de base acurados para átomos, entretanto, utilizando apenas a discretização integral, os conjuntos de base requeriam um maior número de expoentes, deixando-os extensos. Barbosa e da Silva (2009) introduziram o conceito de discretização integral polinomial que diminuiu a quantidade de expoentes necessários para descrever adequadamente um átomo, gerando conjuntos de base menores. Os conjuntos de primitivas gerados pelo p-MCG-HF foram contraídos utilizando o método de contração geral para a qualidade 5Z e em seguida, polarizados, utilizando dois métodos de polarização, ou seja, a pinçada e otimizada, para descrever melhor propriedades químicas como ligação química, estados excitados, entre outros. As energias obtidas por esses métodos de polarização são semelhantes, porém o tempo computacional é menor para a polarização pinçada (na maioria dos casos). Ao comparar os resultados obtidos neste trabalho com aqueles da literatura, os resultados obtidos utilizando o p-MCG-HF são de alta qualidade e com a enorme vantagem de ter tempo computacionais muito reduzidos. Esse método já está sendo aplicado por este grupo de pesquisa para gerar conjunto base para átomos do 1º ao 2º períodos da tabela periódica e os metais de transição e têm demonstrado resultados satisfatórios. Então, no intuito de estudar todos os átomos da tabela periódica até o bário, os átomos Gálio, Germânio, Arsênio, Selênio, Bromo, Criptônio, Rubídio, Estrôncio, Índio, Estanho, Antimônio, Telúrio, Iodo, Xenônio, Césio e Bário serão o foco deste trabalho. / The Schrödinger equation has exact solution for monoelectronic atoms, but the high complexity for the exact solution for many electron systems, lead to the use of approximation methods that satisfactorily. The Hartree-Fock Generating Coordinate Method (MCG-HF) is a variational method that allows the development of accurate basis sets for atoms with many electrons. However, using only an integral discretization, the basis sets generated with the MCG-HF requires a larger number of exponentes. Barbosa and da Silva (2009) introduced the concept of integral polynomial discretization that reduced the amount of exponents required to properly describe an atom, generating smaller basis sets. The sets of primitives generated with p-MCG-HF were contracted using the general contraction method for 5Z quality and then polarized using two different polarization methods (pinched and optimized) to better describe chemical properties such as chemical bonding, excited states, etc. The energies obtained with these polarization methods are similar, but the computational cost is smaller for pinched polarization (in most cases). Comparing the results obtained in this work with those of the literature, the results obtained by using the p-MCG-HF have a high quality and a large advantage of having very reduced computational cost. This method is already being applied in ours research group to generate basis set for atoms of the 1st to 2nd period of the periodic table and the transition metals showing satisfactory results. In order to study all the atoms in the periodic table, the atoms Gallium, Germanium, Arsenic, Selenium, Bromine, Crypton, Rubidium, Strontium, Indium, Tin, Antimony, Tellurium, Iodine, Xenium, Cesium and Barium will be focused in this work.

No description available.