Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-08T18:41:59Z No. of bitstreams: 1 chrishebertdejesusfranco.pdf: 4880715 bytes, checksum: 5acf9659d9521fbd8fff7e658b785953 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-17T14:04:17Z (GMT) No. of bitstreams: 1 chrishebertdejesusfranco.pdf: 4880715 bytes, checksum: 5acf9659d9521fbd8fff7e658b785953 (MD5) / Made available in DSpace on 2017-05-17T14:04:17Z (GMT). No. of bitstreams: 1 chrishebertdejesusfranco.pdf: 4880715 bytes, checksum: 5acf9659d9521fbd8fff7e658b785953 (MD5) Previous issue date: 2014-07-18 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho de dissertação de mestrado versou a síntese e a caracterização estrutural e topológica de quatro novos polímeros de coordenação denominados como Zn-psb, Mn-psb, Cu-psb e Ni-btc com os metais da primeira série de transição (Zn+2, Mn+2, Cu+2 e Ni+2) contendo os ligantes sal ácido 4-sulfobenzoato de monopotássio (H-psb) e ácido 1,2,4-benzenotricarboxilico (4-btc). Além de dois outros compostos poliméricos (Co-btc e Cu-pza) já descritos na literatura. Os compostos foram caracterizados por técnicas espectroscópicas (Infravermelho e Raman) e análise elementar (CHN). A espectroscopia vibracional foi utilizada para apreender sobre os modos de coordenação dos grupos carboxilatos nos compostos com o ligante 4-btc por meio do cálculo do Δѵ [ ѵα(COO) – ѵs(COO) ], em que um estudo da simetria por meio da análise de coordenada normal permitiu uma atribuição mais rigorosa para os modos de coordenação para os grupos SO3 nos compostos derivados do ligante (H-psb). Uma adaptação da técnica de cristalização em gel foi utilizada. Os resultados da análise de CHN evidenciaram que a utilização do agente de cristalização cloridrato de etambutol levou a formação de impurezas na superfície dos compostos Zn-psb e Mn-psb que foram eliminadas durante o processo de cristalização. Os dados de análise térmica (TG/DTA) foram utilizados como dado complementar para caracterização estrutural do composto Ni-btc. As estruturas dos quatro compostos foram determinadas por difração de raios X por monocristal, onde foi possível verificar que a estrutura cristalina do composto Cu-psb encontra-se com uma desordem posicional com fração 54:46 para o anel e oΔѵ grupo SO3, enquanto o monocristal do composto Ni-btc apresenta se geminado com fração 49:51 para os domínios. A solução da estrutura geminada foi dificultada devido à contribuição similar dos domínios formados. Através da difração de raios X por policristais foi possível refinar o modelo estrutural proposto para o composto Ni-btc por meio do método de Rietveld. A descrição topológica desses compostos foi feita utilizando teoria gráfica, sendo que algumas definições e termos foram apresentados. Apesar da semelhança estrutural, o composto Zn-psb apresentou uma rede do tipo tfz-d enquanto o composto Mn-psb apresentou uma rede do tipo pcu. / This work shows the synthesis, structural and topological characterization of four new coordination polymers described as Zn-psb , Mn-psb, Cu-psb and Ni-btc with metals of the first row transition metal ions (Zn+2, Mn+2, Cu+2 and Ni+2) and 4-sulphobenzoate monopotassium (Hpsb), 1,2,4- benzenetricarboxylic acid (4-btc) as ligands. And another two polimeric componds (Co-btc and Cu-pza) described in the literature. The compounds were characterized by spectroscopic techniques (infrared and Raman) and elemental analysis (CHN) where thermal analysis (TG/DTA) were only used for structural characterization of the compound Ni-btc. The vibrational spectroscopy was used to understand the coordination modes of the carboxylate groups in the compounds with 4-btc ligand by analyze of Δѵ values [ ѵα(COO) – ѵs(COO) ]. A study of symmetry by analysis of normal coordinates allowed a rigorous assignment to coordination modes for SO3 groups in the compounds derived H-psb ligand. An adaptation of the technique of crystallization in gel was used. The results of CHN showed that the use of ethambutol hydrochloride as a crystallization agent led to formation of impurities on the surface of the Zn-psb and Mn-psb compounds that was eliminated during the crystallization process. The structures of the four compounds were determined for X-ray diffraction by single crystal, where it was observed that the crystal structure of the compound Cu-psb displays a positional disorder with a fraction of 54:46 for the ring and SO3 group, while the single crystal of the compound Ni-btc was twinned with a fraction of 49:51 for the each domain. The solution of structure was complicated due a similar contribution from domains formed. X-ray diffraction by polycrystals was used like a tool for give a support to refine the structural model proposed for the compound Ni-btc by the Rietveld method. The topological description of these compounds was performed using graph theory where some definitions and terms were presented. Despite the structural similarity, the compound Zn-psb displayed a network of type tfz-d while Mn-psb compound showed a net of type pcu.

Submitted by Marcele Costal de Castro (costalcastro@gmail.com) on 2017-12-14T11:11:58Z No. of bitstreams: 1 OSVALDIR PAULO DOS SANTOS M.pdf: 6450373 bytes, checksum: 37ecd7d74479a2e2aae778f61157de75 (MD5) / Made available in DSpace on 2017-12-14T11:11:58Z (GMT). No. of bitstreams: 1 OSVALDIR PAULO DOS SANTOS M.pdf: 6450373 bytes, checksum: 37ecd7d74479a2e2aae778f61157de75 (MD5) Previous issue date: 2004-06 / Este trabalho tem por objetivo atualizar e instituir procedimentos de proteção radiológica e treinar pessoas, visando a minimizar as doses oriundas das práticas para produção de radiofármacos no IEN/DlRA. Para contribuir com este objetivo, foi desenvolvido um sistema móvel de medições (SMMG-N) para melhor avaliar as taxas de dose gama e nêutrons geradas nessas práticas. Os resultados das. medições realizadas com este projeto, foram comparados com resultados obtidos por formas aleatórias de medições. Verificou-se com este estudo, que as monitorações realizadas com esse sistema reduziram as incertezas das medições, permitiram a padronização na forma de realizar os monitoramentos, além de facilitar o transporte dos monitores de radiação para as áreas. Esse estudo confirmou a necessidade de alterações no sistema de blindagens da câmara-alvo e caverna do KIPROS, para atender aos princípios de limitação de dose e otimização da radioproteção. / This works has arisen from the need of updating radiological protection procedures, creating new ones and training qualified personnel to perform radiological protection duties in a nuclear facility. The main purpose of the research was to assess and minimize gamma and neutron dose rates emitted during the produc.tion and handliing ofradiopharmaceuticals at IENlDlRA. A mobile measurements system (SMMG-N) was developed for on-site measurements. This system has proven to be more handy than the equipament formerly used for for this task. It has also proven to reduce the measurements uncertainties and to allow for the standardization of assessment procedures. He dose rates calculated using the data provided by this system have been compared with results obtained otherwise and good agreement was observed between them. This study has confirmed the need to improve the radiation shielding of KIPROS target-chamber and target vault in order to meet the radiological principIes of dose rate limitation and optimization.

Orientador: Jesus Enrique Garcia / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-19T15:10:51Z (GMT). No. of bitstreams: 1 Viola_MarcioLuisLanfredi_D.pdf: 951071 bytes, checksum: 87d2c8b2501105bc64aab5e92c769ea4 (MD5) Previous issue date: 2011 / Resumo: Nesta tese abordamos o problema estatístico de seleção de um modelo Markoviano de ordem finita que se ajuste bem a um conjunto de dados em duas situações diferentes. Em relação ao primeiro caso, propomos uma metodologia para a estimação de uma árvore de contextos utilizando-se amostras independentes sendo que a maioria delas são provenientes de um mesmo processo de Markov de memória variável finita e as demais provêm de um outro processo Markoviano de memória variável finita. O método proposto é baseado na taxa de entropia relativa simetrizada como uma medida de similaridade. Além disso, o conceito de ponto de ruptura assintótico foi adaptado ao nosso problema de seleção a fim de mostrar que o procedimento proposto, nesta tese, é robusto. Em relação ao segundo problema, considerando um processo de Markov multivariado de ordem finita, propomos uma metodologia consistente que fornece a partição mais fina das coordenadas do processo de forma que os seus elementos sejam condionalmente independentes. O método obtido é baseado no BIC (Critério de Informação Bayesiano). Porém, quando o número de coordenadas do processo cresce, o custo computacional do critério BIC torna-se excessivo. Neste caso, propomos um algoritmo mais eficiente do ponto de vista computacional e a sua consistência é demonstrada. A eficiência das metodologias propostas foi estudada através de simulações e elas foram aplicadas em dados linguísticos / Abstract: This work related two statistical problems involving the selection of a Markovian model of finite order. Firstly, we propose a procedure to choose a context tree from independent samples, with more than half of them being realizations of the same finite memory Markovian processes with finite alphabet with law P. Our model selection strategy is based on estimating relative entropies to select a subset of samples that are realizations of the same law. We define the asymptotic breakdown point for a model selection procedure, and show the asymptotic breakdown point for our procedure. Moreover, we study the robust procedure by simulations and it is applied to linguistic data. The aim of other problem is to develop a consistent methodology for obtain the finner partitions of the coordinates of an multivariate Markovian stationary process such that their elements are conditionally independents. The proposed method is establishment by Bayesian information criterion (BIC). However, when the number of the coordinates of process increases, the computing of criterion BIC becomes excessive. In this case, we propose an algorithm more efficient and the its consistency is demonstrated. It is tested by simulations and applied to linguistic data / Doutorado / Estatistica / Doutor em Estatística

Made available in DSpace on 2014-08-20T13:44:28Z (GMT). No. of bitstreams: 1 dissertacao_loraine_rodrigues_jardim.pdf: 1137522 bytes, checksum: de7cff66f6911caeea51266527680966 (MD5) Previous issue date: 2012-08-13 / The occurrence of invasive plants can alter crop yields, because these plants often grow so strong, competing for light, water and nutrients, affecting seed production. The taxonomic identification of these species is the first step in planning a control program. The objectives of this work are: develop and validate a computer system to support the identification of units spread of invasive species; differentiate seeds of three species of quarantine pests Amaranthus genus of three species of the same genus harmful tolerated by analyzing the morphology inside and outside of their seeds. This work is organized into two chapters: Chapter 1 - describes the process of building a computer system to support the identification of units spread of invasive species. The database of the computer system was composed of morphological descriptions, drawings and photographs of the morphological structures of 198 seeds of invasive species. We developed a tool (available on the Web) to use the database built, providing morphological search by entering information on the morphology of seed and/or dispersion unit that seeks to identify the user. We conducted a test system functionality, which consisted of a questionnaire assessment while using the system. The system proved effective in identifying species, aiding the identification of invasive species. The creation of the database with the information and proposed structure meets the demand of the identification system. Chapter 2 - presents the morphological differentiation of the seeds of six species of the genus Amaranthus, seeking to differentiate species of harmful species quarantine pests in Brazil. We analyzed morphological descriptions of six species of the genus Amaranthus produced and a dichotomous key to highlight morphological able to differentiate species. The visualization of the structure of the embryo by slitting the seed, allows to differentiate the species of Amaranthus. Detailed analysis of the morphological internal and external seeds of Amaranthus is effective in the identification and differentiation of species. / A ocorrência de plantas invasoras pode alterar o rendimento das culturas, pois estas plantas frequentemente crescem de maneira robusta, competindo por luz, água e nutrientes, afetando a produção de sementes. A identificação taxonômica destas espécies é o primeiro passo no planejamento de um programa de controle. Os objetivos deste trabalho são: desenvolver e validar um sistema computacional de apoio à identificação de unidades de dispersão de espécies invasoras; diferenciar sementes de três espécies de pragas quarentenárias do gênero Amaranthus de três espécies nocivas toleradas do mesmo gênero, através da análise da morfologia interna e externa das suas sementes. Este trabalho está organizado em dois capítulos: Capítulo 1- descreve o processo de construção de um sistema computacional para apoio à identificação de unidades de dispersão de espécies invasoras. O banco de dados do sistema computacional foi composto por descrições morfológicas, desenhos das estruturas morfológicas e fotografias de 198 sementes de espécies invasoras. Foi desenvolvida uma ferramenta (disponibilizada na Web) para utilizar o banco de dados construído, oferecendo busca por características morfológicas, através da inserção de informações da morfologia da semente e/ou unidade de dispersão que o usuário procura identificar. Realizou-se um teste de funcionalidade do sistema, que consistiu na aplicação de questionário de avaliação durante a utilização do sistema. O sistema mostrou-se eficaz na identificação de espécies, auxiliando a identificação de espécies invasoras. A criação do banco de dados com as informações e a estrutura propostas atende a demanda do sistema de identificação. Capítulo 2- apresenta a diferenciação morfológica das sementes de seis espécies do gênero Amaranthus, em busca de diferenciar espécies nocivas de espécies pragas quarentenárias no Brasil. Foram analisadas descrições morfológicas de seis espécies do gênero Amaranthus e elaborada uma chave dicotômica para destacar características morfológicas capazes de diferenciar as espécies. A visualização da estrutura do embrião, mediante corte longitudinal da semente, permite diferenciar as espécies de Amaranthus. A análise detalhada das características morfológicas internas e externas das sementes de Amaranthus é eficaz na identificação e diferenciação das espécies.

This paper presents the study of Escallonia bifida Link & Otto, a native species of the Deciduous Forest Biome feature of the Atlantic Forest, which has characteristics of a pioneer, great hardiness. This study aimed to evaluate its potential as an alternative species in restoration activities in their region of origin, as well as increase knowledge of the species, very little studied so far, defining characteristics and generating useful information for their use in restoration plans. The study was conducted in Deciduous Forest Atlantic, Biome fragment, located in the protected State Park Quarta Colônia, central region of Rio Grande do Sul. For better structuring and understanding, the work was divided intofour chapters, covering morphological and ecological description of species Escallonia bifida, the same population structure, the relationship between species and environmental variables and their importance in shaping floristic groups for the tree stratum. Chapter I deals with the morphological characterization of the species Escallonia bifida for the state of Rio Grande do Sul, through the description of leaf structures, flowering, fruiting, and a brief bibliographic description about it. Chapter II presents a study on the population structure of Escallonia bifida, main phytosociological parameters as well as their spatial distribution in the area, compared to other species occurring in the studied fragment. Chapter III discusses the relationship between Escallonia bifida and environmental variables. Chapter IV addresses the tree stratum, where floristic groups formed in the area, compared with environmental variables, as well as the importance of Escallonia bifida in the definition of floristic groups present in the study area were defined. In general, it can be seen that the species has potential for use in restoration activities in the study area due to its hardiness and colonization of open areas. Moreover, it is observed that in the tree layer species can be found in the pioneering groups of early secondary, which acts as an indicator species. The species also has multiple potential of afforestation, honey production and as an alternative to restoration projects. In this sense, it will be of great importance to the maintenance and expansion of studies with this species in order to deepen knowledge, since there is little literature on the same. / O presente trabalho traz o estudo da Escallonia bifida Link & Otto, espécie nativa da Floresta Estacional Decidual, feição do Bioma Mata Atlântica, que apresenta características de pioneira, de grande rusticidade. Objetivou-se avaliar o seu potencial como espécie alternativa em ações de restauração em sua região de origem, bem como aprofundar os conhecimentos sobre a espécie, muito pouco estudada até o momento, definindo características e gerando informações úteis para sua utilização em planos de restauração. O estudo foi realizado em fragmento de Floresta Estacional Decidual, Bioma Mata Atlântica, localizado na unidade de conservação Parque Estadual Quarta Colônia, região central do estado do Rio Grande do Sul. Para melhor estruturação e compreensão, o trabalho foi dividido em quatro capítulos, abordando a descrição morfológica e ecológica da espécie Escallonia bifida, estrutura populacional da mesma, relação existente entre a espécie e as variáveis ambientais e sua importância na formação de grupos florísticos, para o estrato arbóreo. O capítulo I aborda a caracterização morfológica da espécie Escallonia bifida para o estado do Rio Grande do Sul, através da descrição das estruturas foliares, floração, frutificação, assim como uma breve descrição bibliográfica sobre a mesma. Capítulo II, apresenta estudo sobre a estrutura populacional da Escallonia bifida, principais parâmetros fitossociológicos, assim como sua distribuição espacial na área, em relação às demais espécies ocorrentes no fragmento estudado. O capítulo III aborda a relação existente entre Escallonia bifida e as variáveis ambientais. O capítulo IV aborda o estrato arbóreo, onde foram definidos os agrupamentos florísticos formados na área, relação com as variáveis ambientais, assim como a importância da Escallonia bifida na definição dos agrupamentos florísticos presentes na área de estudo. De maneira geral, percebe-se que a espécie possui potencial para utilização em ações de restauração na região de estudo, devido a sua rusticidade e colonização de áreas abertas. Além disso, observa-se que no estrato arbóreo a espécie pode ser encontrada em grupos de espécies pioneiras à secundárias iniciais, onde atua como indicadora. A espécie ainda possui múltiplos potenciais ligados à arborização, produção melífera e sendo alternativa para projetos de restauração. Nesse sentido, faz-se de grande importância a manutenção e ampliação de estudos com esta espécie, no intuito de aprofundar o conhecimento, visto que existe pouca literatura a respeito da mesma.

A area de revisão de crenças estuda como agentes racionais mudam suas crencas ao receberem novas informações. O marco da area de revisão de crenças foi a publicacão do trabalho de Alchourron, Gardenfors e Makinson. Nesse trabalho conhecido como paradigma AGM foram denidos criterios de racionalidade para tipos de mudanca de crencas. Desde então, a área de revisão de crenças foi influenciada por diversas disciplinas como filosoa, computacão e direito. Paralelamente ao desenvolvimento da area de revisão de crenças, os últimos 20 anos foram marcados por um grande avanço no estudo das logicas de descrição. Tal avanço, impulsionado pelo desenvolvimento da web-semântica, levou a adoção de linguagens inspiradas em logicas de descrição (OWL) como padrão para se representar ontologias na web. Nessa tese tratamos do problema de aplicar a teoria da revisão de crenças a lógicas não clássicas e especialmente a logicas de descric~ao. Trabalhos recentes mostraram que o paradigma AGM e incompatvel com diversas logicas de descricão. Estendemos esses resultados mostrando outras lógicas que não são compatíveis com o paradigma AGM. Propomos formas de aplicar a teoria de revisão tanto em bases quanto em conjuntos de crencas a essas logicas. Alem disso, usamos algoritmos conhecidos da área de depuração de ontologias para implementar operações em bases de crenças. / Belief revision theory studies how rational agents change their beliefs after receiving new information. The most in uential work in this area is the paper of Alchourron, Gardenfors and Makinson. In this work, known as AGM paradigm rationality criteria for belief change were dened. Since then, the eld has been in uenced by many areas like philosophy, computer science and law. Parallel to the development of belief revision eld, in the past 20 years there was a huge grow in the study of description logics. The climax of this development was the adoption of OWL (a language based on description logics) as the standard language to represent ontologies on the web. In this work we deal with the problem of applying belief revision in to non-classical logics, specially description logics. Recent works showed that the AGM paradigm is not compliant with several description logics. We have extended this work by showing that other logics are not compliant with AGM paradigm. Furthermore, we propose alternative ways to apply belief revision techniques to these logics. Finally, we show that well known algorithms from the area of ontology debugging eld can be used to implement the proposed constructions.

A fortuna crítica de À la recherche du temps perdu sempre teve como um dos seus principais motes a relação da obra com outras artes, ou seja, uma construção estética baseada em uma relação de homologia estrutural com outros sistemas artísticos, dentre eles a música, a arquitetura, a própria literatura e a pintura. Essa construção faz com que a obra venha constantemente acompanhada do epíteto de museu imaginário. Especificamente, o nome do pintor holandês Johannes Ver Meer tem um lugar privilegiado na estética proustiana. Entretanto, nem todas as telas são mencionadas ao longo da narrativa. Somada a isso, a tessitura da escritura de Marcel Proust revela-se como um saber fortemente indiciário. Assim, a partir de índices que percorrem epístolas de Proust, textos críticos e a própria narrativa de À la recherche du temps perdu, esta tese cujo recorte de leitura é especificamente o episódio da lanterna mágica e seus desdobramentos defende que uma das telas de Ver Meer, a saber, A arte da pintura, é uma ausência epistêmica que, no entanto, faz-se presente, deixando inscritos na obra seus efeitos de significação. A fim de compreendermos essa presença-ausente, esta tese recorre ao conceito de letra, conforme o ensino de Jacques Lacan, os textos freudianos nos quais esse conceito estava em latência e os esclarecimentos e avanços feitos por Jacques Derrida, especificamente em seus textos da década de sessenta do século passado. Por efeitos de significação, concebe-se a ideia de que A arte da pintura realiza-se como uma ideia ausente, mas pungente no que tange aos efeitos estéticos de esmero do detalhe e dos processos descritivos, implicando uma relação de similitude entre o narrador em seu quarto, em lincipit de À la recherche du temps perdu e no episódio da lanterna mágica, e um artista em seu ateliê, presente na tela de Ver Meer, que incidirá em uma poética do detalhe. / The critical fortune of À la Recherche du Temps Perdu has always had, as one of its main threads, the relationship of work with other art forms, in other words, an aesthetic construction based on a relationship of structural homology with other Arts, including music, architecture, literature itself and painting. This ensures that the work is constantly accompanied by the epithet of the imaginary museum. Specifically, the name of the Dutch painter Johannes Ver Meer has a privileged place in the Proustian aesthetic. Nevertheless, not all canvases are mentioned during the narrative. Added to this, the tone of the Marcel Proust text reveals itself as a clear, evidentiary wisdom. Therefore, from indices that permeate the Proust missives, critical texts and the narrative of À la Recherche du Temps Perdu, this thesis, the scope of which is limited specifically to the episode of the Magic Lantern and its ramifications, argues that one of Ver Meers canvases, namely that of the Art of Painting, is epistemically absent, however it makes its presence felt through its effects of significance on the piece. In order to understand this absent-presence, this thesis uses the concept of the letter, according to the teachings of Jacques Lacan, Freudian texts in which this concept was latent, and in the clarifications and advances made by Jacques Derrida in his writings of the 1960s. For purpose of meaning, one has conceived the idea that The Art of Painting be like a missing yet poignant idea touching the aesthetic effects of minute detail and of the descriptive processes, implying an affinity in relationship between the narrator in his chamber, in l\'incipit of la Recherche du Temps Perdu and the episode of the Magic Lantern, and the artist in his studio, present on Ver Meers canvas, reflected in a poetic detail.

A interação entre fluidos e estruturas caracteriza um problema multi-físico não linear e está presente numa grande variedade de áreas da engenharia. Este trabalho apresenta o desenvolvi mento de ferramentas computacionais com base no Método dos Elementos Finitos (MEF) para a análise de interação fluido-estrutura (IFE) considerando escoamentos com baixas velocidades. Dada a interdisciplinaridade do tema, se faz necessário o estudo em três diferentes assuntos: a dinâmica das estruturas computacional, a dinâmica dos fluidos computacional, e o problema de acoplamento. No caso da dinâmica das estruturas empregar-se um elemento finito que seja adequado para a simulação de problemas de IFE, que claramente demandam uma análise não linear geométrica, optando-se pelo emprego de uma formulação descrita em posições, a qual evita problemas relativos à aproximação de rotações finitas. Quanto à dinâmica dos fluidos computacional, é empregado um método estável e ao mesmo tempo sensível à movimentação da estrutura, utilizando a descrição Lagrangeana-Euleriana Arbitrária (ALE). Os casos considerados neste trabalho, assim como muitos dos problemas de engenharia, ocorrem com escoamentos em baixas velocidades, implicando na incompressibilidade do fluido, o que demanda, para um método estável, a utilização de elementos que atendam à condição de Ladyzhenskaya-Babuska-Brezzi (LBB). Além disso, é necessário também o emprego de métodos que consigam neutralizar as variações espúrias decorrentes da não-linearidade de possíveis escoamentos com convecção dominante e que surgem com a aplicação do processo clássico de Galerkin. Para superar esse problema, é aplicado o método Streamline-Upwind/Petrov-Galerkin (SUPG), que adiciona difusividade artificial na direção do escoamento, controlando a amplitude dos termos convectivos. No que se refere ao acoplamento fluido-casca, buscam-se modularidade e versatilidade adotando-se o modelo particionado. O modelo de acoplamento implementado garante ainda a utilização de malhas do fluido e da estrutura sem a necessidade de coincidência de nós. / Interaction between fluids and structures characterizes a nonlinear multi-physics problem presente in a wide range of engineering fields. This works presets the development of computational tools based on finite element method (FEM) for fluid-structure interaction (FSI) analysis considering low speed flows (incompressible), as a great part of the engineering problems. Given the topic multidisciplinary nature, it is necessary to study three different subjects: the computational structural dynamics, the computational fluid mechanics and the coupling problem. Regarding structural mechanics, we seek to employ a finite element adequate to FSI simulation, what clearly demands a geometric nonlinear analysis. We chose to employ shell elements with formulation in terms of positions, which avoids problems related to finite rotations approximations. Concerning computational fluid dynamics, we employ a stable method, at same time sensible o structural movements, which is written in the arbitrary Lagrangian-Eulerian (ALE) description. The flow incompressibility demands, for a stable method, the use of elements according to the Ladyzhenskaya-Bbuska-Brezzi (LBB) condition. It is also necessary to employ methods able to neutralize the spurious variations that appears from convection dominated flows when applying the standard Galerking method. In order to overcome this problem, we apply the Streamline-Upwind/Petrov-Galerkin (SUPG) method, which adds artificial diffusivity to the streamline direction, controlling spurious variations. Considering the fluid-shell coupling, we seek modularity and versatility, adopting the partitioned model. The developed coupling model ensure the use of fluid and structure meshes with no need for matching nodes.

Este trabalho consiste no projeto e implementação em CMOS de um circuito integrado digital para geração de sinais, denominado Oscilador Controlado Numericamente. O circuito será aplicado em um sistema de Espectroscopia por Bioimpedância Elétrica, utilizado como método para detecção precoce de câncer do colo do útero. Durante o trabalho, realizou-se o estudo dos requisitos do sistema de espectroscopia e as especificações dos tipos de sinais a serem gerados. Levantou-se, na bibliografia, algumas técnicas de codificação em linguagem de hardware para otimização do projeto nos quesitos área, potência dissipada e frequência máxima de funcionamento. Para implementar o circuito, também se pesquisou o fluxo de projeto de circuitos digitais, focando as etapas de codificação em linguagem de descrição de hardware Verilog e os resultados de síntese lógica e de layout. Foram avaliadas duas arquiteturas, empregando-se algumas das técnicas de codificação levantadas durante o estudo bibliográfico. Estas arquiteturas foram implementadas, verificadas em plataforma programável, sintetizadas e mapeadas em portas lógicas no processo TSMC 180 nm, onde foram comparados os resultados de área e dissipação de potência. Observou-se, nos resultados de síntese lógica, redução de área de 78% e redução de 83% na dissipação de potência total no circuito em que se aplicou uma das técnicas de otimização em comparação com o circuito implementado sem otimização, utilizando uma arquitetura CORDIC do tipo unrolled. A arquitetura com menor área utilizada - 0,017 mm2 - foi escolhida para fabricação em processo mapeado. Após fabricação e encapsulamento do circuito, o chip foi montado em uma placa de testes desenvolvida para avaliar os resultados qualitativos. Os resultados dos testes foram analisados e comparados aos obtidos em simulação, comprovando-se o funcionamento do circuito. Observou-se uma variação máxima de 0,00623% entre o valor da frequência do sinal de saída obtido nas simulações e o do circuito fabricado. / The aim of this work is the design of a digital integrated circuit for signal generation called Numerically Controlled Oscillator, designed in 180 nm CMOS technology. The application target is for Electrical Bioimpedance Spectroscopy system, and can be used as a method for early detection of cervical cancer. Throughout the work, the spectroscopy system requirements and specifications of the types of signals to be generated were studied. Furthermore, the research of some coding techniques in hardware language for design optimization in terms of area, power consumption and frequency operation was conducted looking into the bibliography. The digital design flow was studied focusing on the Verilog hardware description language and the results of logic synthesis and layout, in order to implement the circuit. Reviews of two architectures have been made, using some of the encoding techniques that have been raised during the bibliographical study. These architectures have been implemented, verified on programmable platform, synthesized and mapped to standard cells in TSMC 180 nm process, which compared the area and total power consumption of results. Based on the results of logic synthesis, a 78% area reduction and 83% power consumption reduction were obtained on the implemented circuit with encoding techniques for optimization in comparison with the another circuit using a CORDIC unrolled architecture. The architecture with smaller area - 0.017 mm2 - was chosen for implementation in the mapped process. After the circuit fabrication and packaging, the chip was mounted on an evaluation board designed to evaluate the functionality. The test results were analyzed and compared with the simulation results, showing that the circuit works as expected. The output signals were compared between theoretical and experimental results, showing a maximum deviation of 0.00623%.

Esta tese investiga o modo de organização dos domínios nominal, verbal e dos adjetivos em Português do Brasil (PB), tendo como guia a aceitabilidade de sentenças com todo. Para o inglês, a natureza do parâmetro orienta a seleção de argumentos por operadores; já para o PB, o que importa é a oposição entre tipos de escala. O PB não tem determinantes que distingam entre nome contável e massivo, como much e many. O operador aspectual progressivo não modifica estados em inglês, mas em PB sim. Em inglês, very seleciona adjetivos de parâmetro relativo. Em PB, muito + adjetivo tem parâmetro relativo, e todo + adjetivo tem parâmetro absoluto. Todo é um operador interdomínios, sensível aos tipos de escala. Todo modifica a relação de predicação. Todo impõe condições (quantitativas) sobre como a saturação de um predicado por certo argumento deve ocorrer. Todo não é nem um modificador nominal, nem um quantificador canônico como cada. Todo não cria, apenas modifica uma relação existente. A distribuição que ocorre em sentenças com todo é uma entre as muitas formas de saturação de um predicado por um argumento: uma relação incremental. Se o argumento for quantizado, o predicado necessariamente também se tornará quantizado. Analisamos uma descrição definida (DD) como um sintagma de medida (SM). O artigo definido torna um predicado nominal em denotação quantizada, mas todo não. Relacionamos ser quantizado a ser argumental, e ser cumulativo a ser predicativo. E associamos sentidos diferentes às posições de todo na sentença. / This thesis takes the distribution of todo as a probe for the structure of nominal, verbal and adjective domains in Brazilian Portuguese (BP). Todo is a Degree Modifier (DM) and is sensitive to scale structure. English DMs (e.g., very) select adjectives by their standards; the BP DMs select adjectives only by their scale structure. However, they produce phrases with standard specialization. Todo + adjective shows absolute standard interpretation. We claim that the domains show the same properties in both languages, but the nature of scale standard matters in a distinct level for each one. We claim that todo is neither a noun modifier nor a true quantifier. Todo is a relation modifier. Todo modifies the way the argument saturates the predicate. A quantized incremental argument will make the predicate quantized as well. Todo is not the true source of distributivity, since incremental relations occur even in its absence. Definite Descriptions are treated as measure phrases. The definite article relates noun predicates to situations. So it will change a bare noun into a quantized denotation, which todo cannot do. Each land site corresponds to a different meaning for floating todo.