Made available in DSpace on 2015-04-22T22:16:09Z (GMT). No. of bitstreams: 1 Dissertacao Final Amauri.pdf: 2958074 bytes, checksum: de9a6605623a316acb109cd1a0c50ad2 (MD5) Previous issue date: 2009-02-20 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / Urich Köthe proposes improvements in the calculation of the structure tensor, that will be presented in this work. First, the tax of sampling is altered, therefore the standard method for calculation of that tensor violates the Shannon s sampling theorem; at second, using a non-linear filter to calculate the entrances of the structure tensor, the integration of information coming from out of the edge is minimized. / Ullrich Köthe propõe melhorias no cálculo do tensor de estrutura, que serão apresentadas neste trabalho. Primeira, a taxa de amostragem é alterada, pois o método padrão para cálculo desse tensor viola o teorema de amostragem de Shannon-Whittaker; segunda, usando um filtro não-linear para calcular as entradas do tensor de estrutura, a integração de informação oriunda de fora da aresta é minimizada.

Made available in DSpace on 2015-04-22T22:16:15Z (GMT). No. of bitstreams: 1 Almir Cunha da Gracas Neto.pdf: 379350 bytes, checksum: abf31b2ffa1155ab61fbf98c40bb9c57 (MD5) Previous issue date: 2007-09-18 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / This dissertation is concerned with a detailed proof of a Ruh-Vilms theorem which characterize the isometric immersion of a Riemannian manifold into the Euclidean space whose the mean curvature vector is parallel as being that immersion whose the associated Gauss map is harmonic. / Este trabalho apresenta uma demonstração detalhada do teorema que caracteriza as imersões isométricas (fórmula matemática) de uma variedade Riemanniana n-dimensional no espaço Euclidiano (p + n)-dimensional com vetor curvatura média paralelo como sendo aquelas cuja aplicação de Gauss associada é harmônica. O resultado deve-se a E.A.Ruh e J. Vilms.

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-06-17T15:20:30Z No. of bitstreams: 1 Dissertação - Mateus Felipe Tymburibá Ferreira.pdf: 4435693 bytes, checksum: da80cc7a540a306b4bc52b8792ffe9e1 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-17T20:44:52Z (GMT) No. of bitstreams: 1 Dissertação - Mateus Felipe Tymburibá Ferreira.pdf: 4435693 bytes, checksum: da80cc7a540a306b4bc52b8792ffe9e1 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-17T20:45:51Z (GMT) No. of bitstreams: 1 Dissertação - Mateus Felipe Tymburibá Ferreira.pdf: 4435693 bytes, checksum: da80cc7a540a306b4bc52b8792ffe9e1 (MD5) / Made available in DSpace on 2015-06-17T20:45:51Z (GMT). No. of bitstreams: 1 Dissertação - Mateus Felipe Tymburibá Ferreira.pdf: 4435693 bytes, checksum: da80cc7a540a306b4bc52b8792ffe9e1 (MD5) Previous issue date: 2014-08-06 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / ReturnOriented Programming (ROP) is the name of a technique used for the development of malicious code that has been widely used to force execution of arbitrary code on vulnerable applications. It is based on the interconnection of small fractions of code belonging to attacked processes, which allows overcoming protections widely disseminated, such as that offered by the execute bit (NX/XD). Because of its wide use in attacks against modern computing systems, protections against ROP based exploits have been widely studied. Nevertheless, it is still not known a solution capable of combining efficacy against all forms of ROP, computational efficiency and feasibility of the employment on applications protection. In order to facilitate the understanding of these requirements and the inherent implications for methods of protection against ROP attacks, this work offers a bibliographic survey of the state of the art about this subject. For this, we propose in this paper: (i) metrics for evaluation and comparison of protections against ROP attacks and (ii) taxonomies to classify these protections depending on blocking strategies and implementation approaches used in each solution. This dissertation also provides a new method of protection against arbitrary code execution attacks based on ROP that seeks to encompass the requirements of effectiveness, efficiency and viability. It was demonstrated that by controlling the frequency of indirect branch instructions performed by applications it is possible to distinguish ROP attacks from authentic codes and thus prevent their consolidation. In a dynamic binary instrumentation framework, it was developed a prototype – named RIPROP – for Windows, Linux, Android and OSX environments. Experiments conducted with malicious codes available in public repositories of exploits confirmed the feasibility of the proposed model for the protection of real applications. In addition, the computational cost imposed by RIPROP is comparable and in some cases lower than that achieved by related protections. / ReturnOriented Programming (ROP) é o nome de uma técnica usada para o desenvolvimento de códigos maliciosos que vem sendo amplamente utilizada para forçar a execução de códigos arbitrários em aplicações vulneráveis. Ela baseiase na interligação de pequenas frações de código pertencentes aos próprios processos atacados, o que permite a superação de proteções largamente difundidas, como aquela oferecida pelo bit de execução (NX/XD). Em função de seu vasto emprego em investidas contra sistemas computacionais modernos, proteções contra exploits baseados em ROP têm sido extensamente estudadas. Apesar disso, ainda não se conhece uma solução capaz de aliar eficácia contra todas as modalidades de ROP, eficiência computacional e viabilidade de emprego na proteção de aplicações. Com o intuito de facilitar o entendimento desses requisitos, bem como das implicações inerentes a métodos de proteção contra ataques ROP, este trabalho oferece um levantamento bibliográfico do estado da arte envolvendo esse tema. Para isso, são propostas neste trabalho: (i) métricas para avaliação e comparação de proteções contra ataques ROP e (ii) taxonomias para classificação dessas proteções em função das estratégias de bloqueio e das abordagens de implementação utilizadas em cada solução. Esta dissertação provê ainda um novo método de proteção contra ataques de execução de código arbitrário baseados em ROP que busca abarcar os requisitos de eficácia, eficiência e viabilidade. Demonstrou-se que, através do controle da frequência de instruções de desvio indireto executadas pelas aplicações, é possível distinguir ataques ROP de códigos autênticos e, assim, evitar a sua consolidação. Em um framework de instrumentação binária dinâmica, foi desenvolvido um protótipo – denominado RIP-ROP – destinado a ambientes Windows, Linux, Android e OSX. Experimentos realizados com códigos maliciosos disponíveis em repositórios públicos de exploits confirmaram a viabilidade do modelo proposto para a proteção de aplicações reais. Além disso, o custo computacional imposto pelo RIP-ROP é comparável e, em alguns casos, inferior àquele alcançado por proteções correlatas.

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-06-18T15:41:57Z No. of bitstreams: 1 Dissertação - Walter Charles Sousa Seiffert Simões.pdf: 3539559 bytes, checksum: 459e3601771a481f4ba3f7912afe1c26 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-19T20:46:30Z (GMT) No. of bitstreams: 1 Dissertação - Walter Charles Sousa Seiffert Simões.pdf: 3539559 bytes, checksum: 459e3601771a481f4ba3f7912afe1c26 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-19T20:57:40Z (GMT) No. of bitstreams: 1 Dissertação - Walter Charles Sousa Seiffert Simões.pdf: 3539559 bytes, checksum: 459e3601771a481f4ba3f7912afe1c26 (MD5) / Made available in DSpace on 2015-06-19T20:57:40Z (GMT). No. of bitstreams: 1 Dissertação - Walter Charles Sousa Seiffert Simões.pdf: 3539559 bytes, checksum: 459e3601771a481f4ba3f7912afe1c26 (MD5) Previous issue date: 2014-03-19 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / New Interactive Digital TV (iDTV) users, particularly the Smart TV (Smart TV), have experienced new ways of relating to the TV via remote controls that incorporate more functionality, motion sensing controls and controls through gesture recognition. The layouts operated by these controls had to adapt these new features and functionalities have options either by direct access (a single button), sometimes by indirect access (button combination), and in this second case, make the activity interaction with iDTV quite difficult because they require a level of familiarity with the very high electronic interaction devices. The remote control is the standard device used to allow user interaction with the TV, but sometimes its use becomes dull and difficult. In this scenario, the use of gestures emerges as a more natural and less invasive to assist or replace the remote control as a possible interaction mode. This paper proposed the construction of a prototype for Interactive Digital TV that could be controlled in its operations adjusting sound volume and exchanging programming channel through remote and through a set of gestures, defined from a set rules of Usability Engineering. The defining the layout and set of gestures process was conducted with the participation of users, and from these definitions, the features of the TV so constructed as to have the on-screen information about the volume and channel programming in addition to the gesture recognition process. The prototype built in this paper differs from commercial products because it took into account the relationship between the cost and performance of the devices used, seeking to offer an affordable and flexible option as to their use in different equipment. The approach described in this paper addresses the challenges that were faced in the areas of Engineering, Usability, iDTV and Computer Vision with final prototype compared to other methods and products, showing a performance of approximately 95% in the accuracy of the displayed gesture and a rate of speed 26 frames per second. / Usuários da nova TV Digital Interativa (TVDi), particularmente da TV Inteligente (Smart TV), têm experimentado novas formas de se relacionar com a TV através controles remotos que incorporaram mais funcionalidades, controles de detecção de movimento e os controles através de reconhecimento de gestos. Os layouts operados por estes controles tiveram que se adequar as estas novas funcionalidades e apresentam as opções de funcionalidades ora por acesso direto (um único botão), ora pelo acesso indireto (combinação de botões), e, neste segundo caso, tornam a atividade de interação com a TVDi bastante difícil pois exigem um nível de vivência com os dispositivos eletrônicos de interação muito elevado. O controle remoto é o dispositivo padrão utilizado para permitir a interação do usuário com a TV, mas em alguns momentos a sua utilização se torna maçante e difícil. Neste cenário, o uso dos gestos surge como um modo mais natural e menos invasivo para auxiliar ou substituir o controle remoto como possibilidade de interação. Este trabalho propôs a construção de um protótipo para TV Digital Interativa que pudesse ser controlado em suas operações de ajuste de volume do som e de troca de canal de programação através do controle remoto e através de um conjunto de gestos, definidos a partir de um conjunto de regras da Engenharia da Usabilidade. O processo de definição do layout e do conjunto de gestos foi realizado com a participação de usuários, e, a partir dessas definições, as funcionalidades da TV construídas de modo a se ter na tela as informações sobre o volume do som e o canal de programação, além do processo de reconhecimento de gestos. O protótipo construído neste trabalho se diferencia de produtos comerciais, pois levou-se em consideração a relação entre o custo e o desempenho dos dispositivos utilizados, buscando oferecer uma opção acessível e mais flexível quanto ao seu uso em equipamentos diversos. A abordagem descrita neste trabalho trata dos desafios que foram enfrentados nas áreas de Engenharia da Usabilidade, TVDi e Visão Computacional tendo seu protótipo final comparado a outros métodos e produtos, mostrando um desempenho de aproximadamente 95% no acerto do gesto exibido e uma taxa de velocidade de 26 frames por segundo.

Made available in DSpace on 2016-04-28T20:13:50Z (GMT). No. of bitstreams: 1 2008 - Debora Franco Lerrer.pdf: 1215419 bytes, checksum: 194f4286606e1e7f28afd12452867d73 (MD5) Previous issue date: 2008-05-04 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / This study is about the historical trajectory of the Movement of Landless Workers and two of its generations of southern militants who, since the middle of the Eighties, went to Northeast Brazil to help to structure this social movement. Some of them live there since then. Others have returned to their origin states and are settled there. This process has reproduced itself in other regions of the country, configuring a pattern of migration among militants that has been fundamental for the nationalization of this social movement. This work departs from the hypothesis that the militants, who had migrated to Northeast Brazil, taking with them the MST struggle methodology , were agents of an emancipatory modernization . A modernization that, due to its strategy of continual membership political formation and formal education associated with fight for civil and social rights, has proportionate better life conditions to MST members. To sustain this thesis, this study is based on field works, interviews with agents of this process, research in the Landless Newspaper collection, in bibliographies about the MST, and in the study of Brazilian history from the agrarian point of view. The present research attempts to describe the dialectic between individual, institutional history and the historical context in which the life trajectories of the first and second generation of MST militants have passed. These militants contributed to structure the organizational characteristics of this social movement, as well as its militant habitus or rather the landless stile of militancy. Trough this process, I focus on some particular and collective aspects of this path undertaken by these two groups which unveil how this MST militant habitus has been translated in the concrete life of these individuals with similar social and cultural origins and who have given their bodies to generate and reproduce the landless identity. After that, from interviews and data collected in the field research, I set up aspects which corroborate the modern character of the struggle undertaken by the MST in Northeast Brazil, as well as in other regions of the country: the agricultural mode of production and the continual education pedagogy. / Este trabalho aborda a trajet?ria hist?rica do Movimento dos Trabalhadores Rurais Sem Terra- MST e de duas gera??es de militantes sulistas que, a partir de meados da d?cada de 80, foram para o Nordeste, onde ajudaram a estruturar esse movimento social. Alguns deles vivem no Nordeste desde ent?o, outros retornaram para seus estados de origem e hoje s?o assentados. Este processo reproduziu-se em outras regi?es do pa?s, configurando-se como uma esp?cie de padr?o de migra??o de militantes que foi determinante para a nacionaliza??o deste movimento social. A pesquisa parte da hip?tese de que estes militantes, ao se deslocarem para o Nordeste, carregando consigo a metodologia de lutas do MST, foram agentes de uma moderniza??o emancipadora , por ser baseada no incentivo ? luta por direitos e ? forma??o e instru??o continuada de seus integrantes, al?m de lhes propiciar acesso a melhores condi??es de vida. Para sustentar esta tese, este estudo se ap?ia em trabalhos de campos, entrevistas com atores desse processo, pesquisa na cole??o do Jornal Sem Terra , em bibliografias sobre o MST e em um levantamento da hist?ria brasileira, sob o vi?s agr?rio. Este trabalho procura descrever a dial?tica entre hist?ria individual, institucional e o contexto hist?rico pela qual transcorreram as trajet?rias de vida dos militantes de primeira e segunda gera??o do MST e que contribu?ram para estruturar as caracter?sticas organizativas deste movimento social, assim como seu habitus militante, ou melhor, o estilo sem-terra de militar. Atrav?s desse processo, enfoco aspectos particulares e coletivos do percurso empreendido por estes dois grupos que descortina como esse habitus militante do MST traduziu-se na vida concreta desses indiv?duos de origens sociais e culturais semelhantes e que deram corpo para gestar e reproduzir a identidade sem-terra. A seguir, a partir das entrevistas e de dados colhidos no trabalho de campo, levanto aspectos que corroboram o car?ter modernizante da luta empreendida pelo MST. Para tanto, s?o enfocados dois eixos que caracterizam a metodologia do trabalho pol?tico do MST, tanto no Nordeste como em outras regi?es do pa?s: a produ??o agr?cola e a educa??o continuada.

Submitted by Leticia Schettini (leticia@ufrrj.br) on 2017-04-27T12:32:10Z No. of bitstreams: 1 2003 - Patricia Miranda da Costa.pdf: 2556665 bytes, checksum: 84eaee321ba021876a1fd855d0767602 (MD5) / Made available in DSpace on 2017-04-27T12:32:10Z (GMT). No. of bitstreams: 1 2003 - Patricia Miranda da Costa.pdf: 2556665 bytes, checksum: 84eaee321ba021876a1fd855d0767602 (MD5) Previous issue date: 2003-11-28 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Solvent partition and chromatographic fractionation of metanolic extract from the leaves and wood of L. arianeae lead to the isolation of triterpenes, one carboidrate, saponin and flavonoid. 3b,6b,19a -trihydroxiursa-12-en- 28-oic acid, 3b,6b,24-trihydroxiursa-12-en- 28-oic acid, 3,5,7-trihydroxi-4?-metoxi,6-flavone-( sulfonate), 3b-hydroxiolean-12-en-28- ?ico acid, 3b-O-b-D-galactopiranosyl-(6?-1 para hydroxi benzoil)-ursa-12-en-28-oic acid, 1-metyl glycopiranosyl and mixture of two flavonoids. The 3,5,7-trihydroxi-4?-metoxi,6- flavone-(sulfonate) and 3b-O-b-D-galactopiranosyl-(6?-1 para hydroxi benzoil)-ursa-12-en- 28-oic acid are being descricted for the first time in the literature. The IR, 1H NMR, 13C NMR and MS spectra analysis was used for structural determination. / O fracionamento dos extratos das folhas e madeira de L. arianeae atrav?s de processo de parti??o com solventes e t?cnicas cromatogr?ficas conduziu ao isolamento dos ?cidos 3b,6b, 19a -triidroxiursan-12-eno-28-?ico, 3b,6b,24,19a-tetraidroxiursan-12-eno-28-?ico, 3b-hidroxiolean-12-eno-28-?ico, da 3,5,7-triidroxi, 4?-metoxi, 6-sulfonato, flavona, da 3b- O-b-D-galactopiranosil-(6?-p-hidroxi-benzo?la)-ursan-12-eno-28-?ico, da 1-metil glicose, e da mistura de flavon?ides. As estruturas das subst?ncias foram deduzidas atrav?s da an?lise dos espectros de IV, RMN de 1H e 13C, incluindo experimentos 2D e espectro de massas das subst?ncias naturais e dos derivados. Este ? o primeiro registro destes constituintes no g?nero Licania. A flavona e saponina est?o sendo descritos pela primeira vez na literatura. As folhas e as cascas da esp?cie E. longipes foram submetidas a extra??o com solventes org?nicos e os extratos foram fracionados atrav?s de parti??o e t?cnicas cromatogr?ficas. As fra??es reunidas foram submetidas a t?cnicas cromatogr?ficas e cristaliza??o. Esses processamentos conduziram ao isolamento dos ?cidos 1a,2b,3a,19a -tetraidroxiursan-12- eno-28-?ico, da saponina 3b-O-b-D-glicopiranosil-sitosterol e dos triterpenos fridelinol e 3b,24-diidroxifridelano. As estruturas das subst?ncias foram deduzidas atrav?s das t?cnicas citadas acima. Este ? o primeiro registro desta saponina no g?nero Eschweilera. O triterpeno 3b,24-diidroxifridelano foi descrito pela primeira vez na literatura (COSTA, P.M. & Carvalho, M. G., Annais da Academia Brasileira de Ci?ncias, 2003).

Submitted by Celso Magalhaes (celsomagalhaes@ufrrj.br) on 2017-05-09T14:28:22Z No. of bitstreams: 1 2016 - Leonardo Santos de Barros.pdf: 6766023 bytes, checksum: 16ce8cf6e87d3cfab0a3d73fc9a6e46c (MD5) / Made available in DSpace on 2017-05-09T14:28:22Z (GMT). No. of bitstreams: 1 2016 - Leonardo Santos de Barros.pdf: 6766023 bytes, checksum: 16ce8cf6e87d3cfab0a3d73fc9a6e46c (MD5) Previous issue date: 2016-11-19 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The photochemical reactivity of chalcone (CH) nanocrystals and its fluorinated derivatives (CH4F, CH23F, CH25F, CH26F, CH34F, CH35F, PFCB and the DFC) in a suspension of aqueous CTAB (0.04 mM) was studied by ultraviolet spectroscopy (UV), hydrogen nuclear magnetic resonance (H1NMR) and dynamic light scattering (DLS). The suspension of chalcone nanocrystals was prepared by the reprecipitation method in an aqueous solution of CTAB. The ultraviolet spectrum for the chalcone nanocrystals prior to irradiation showed hypochromic and bathochromic effects when compared to the methanolic solution. The DLS spectrum for CH CH23F, CH25F, CH26F and PFCB nanocrystals in aqueous CTAB showed a polydispersed system containing three different particle sizes, whereas CH34F, CH35F and DFC nanocrystals showed a clear monodispersivity. After irradiation, the DLS spectrum for these nanocrystals did not show significant changes, however for the monodispersed chalcones a shift towards larger particle sizes was observed. After irradiation the UV spectrum for the chalcone nanocrystals indicated a hypochromic effect on the longer wavelength band, which may be related to the consumption of their E-isomer. The kinetic monitoring of the E-isomer consumption for the chalcones CH, CH4F, CH23F, CH25F, CH26F CH34F, CH35F, PFCB and DFC as a function of irradiation time indicated that after a certain time the reaction reaches a steady state, with no more changes on their absorbance. The H1NMR spectrum for the irradiation product of CH4F and CH23F showed the formation of a mixture of ?-, ??-, and ?-truxillic dimers. On the other hand, irradiation of CH25F and CH26F derivatives led to the formation of the ?-truxinic dimer. Photolysis of CH34F and CH35F nanocrystals showed the conversion of the reactant to a cyclobutane through a stereospecific reaction. For CH35F only the ?-truxillic dimer has been formed, in nearly 100% conversion. However, for nanocrystals of the chalcone CH34F the Z-isomer is formed together with the ?-truxillic dimer CH34F, which may be related to a chalcone fraction that was solubilized in the CTAB containing aqueous phase. Irradiation of DFC nanocrystals occurred at a conversion of almost 100% to the cycloaddition product, the ?-truxillic dimer. For chalcone (CH) a high yield formation of the Z-chalcone isomer and dimers that are not formed from its E-isomer was observed, while PFCB appeared as a stable molecule during the irradiation process, and the presence of the five fluorine atoms on the benzyl ring can account for its stability / A reatividade fotoqu?mica de nanocristais de chalcona (CH) e seus derivados fluorados (CH4F, CH23F, CH25F, CH26F, CH34F, CH35F, PFCB e DFC) foi estudada por espectroscopia de ultravioleta (UV), Resson?ncia magn?tica nuclear de hidrog?nio (RMN1H) e Espalhamento de luz din?mico (DLS). A suspens?o dos nanocristais das chalconas foi preparada pelo m?todo de reprecipita??o em uma solu??o aquosa de CTAB. Os espectros no ultravioleta para a suspens?o dos nanocristais das chalconas antes da irradia??o mostraram um efeito hipocr?mico e batocr?mico em rela??o ? solu??o metan?lica. Os espectros de DLS para os nanocristais da suspens?o das chalconas em solu??o aquosa de CTAB se apresentaram como um sistema polidisperso apresentando 3 tamanhos de part?culas para CH, CH23F, CH25F, CH26F, PFCB e monodisperso para CH34F, CH35F e DFC. Ap?s a irradia??o n?o se observou mudan?as significativas na estrutura dos espectros de DLS para os nanocristais, ocorrendo um deslocamento para tamanhos de part?culas maiores nas chalconas monodispersas. O espectro de UV para a suspens?o dos nanocristais das chalconas ap?s a irradia??o indicou um efeito hipocr?mico da banda de maior absor??o, o que pode estar relacionado ao consumo dos compostos de configura??o E. O acompanhamento cin?tico do consumo do is?mero E das chalconas CH, CH4F, CH23F, CH25F, CH26F CH34F, CH35F, PFCB e DFC contra tempo de irradia??o de uma suspens?o dos nanocristais destas chalconas em solu??o aquosa de CTAB (0,04 mM) indicou que a partir de um determinado tempo a rea??o atinge um estado estacion?rio, n?o apresentando mais mudan?as em sua absorb?ncia. Os espectros de RMN1H para o produto da irradia??o dos nanocristais das chalconas contendo fl?or na posi??o 4 (CH4F) e nas posi??es 2 e 3 (CH23F) mostraram a forma??o de uma mistura de d?meros ?????? e ?-trux?licos. A irradia??o dos derivados CH25F e CH26F levou ? forma??o do d?mero do tipo ?-trux?nico. Para os derivados CH34F e CH35F a convers?o dos reagentes ao fotociclobutano foi feita em uma forma estereoespec?fica, tendo sido formado somente o d?mero ?-trux?lico, com uma convers?o de quase 100% para o CH35F. No entanto, para os nanocristais da chalcona CH34F o is?mero Z-CH34F foi formado juntamente com o d?mero ?-trux?lico, o que pode estar relacionado a fra??es da chalcona que ficaram solubilizadas na fase aquosa contendo CTAB e n?o formaram suspens?o de nanocristais. A irradia??o dos nanocristais da chalcona DFC ocorreu com uma convers?o de quase 100% ao produto de fotocicloadi??o, sendo o d?mero formado o do tipo ?-trux?lico. Para chalcona (CH) observou-se um elevado rendimento de forma??o do is?mero Z-chalcona e de d?meros que n?o s?o provenientes do is?mero E, enquanto que PFCB apresentou-se como uma mol?cula est?vel durante o processo de irradia??o, com a presen?a dos cinco ?tomos de fl?or no anel benz?lico podendo ser respons?vel pela sua estabilidade

Made available in DSpace on 2016-04-27T16:58:35Z (GMT). No. of bitstreams: 1 Esther Wajskop Terdiman.pdf: 6034547 bytes, checksum: 0f8a98944513fb5f72fb5bc761c1cdc1 (MD5) Previous issue date: 1989-09-15 / Históricamente, sabemos que as tentativas infrutíferas da demonstração do Postulado das Paralelas de Euclides levaram à conclusão da independência desse axioma. O trabalho de Saccheri, nesse sentido, partindo da demonstração por absurdo da famosa proposição, resultou no aparecimento dos primeiros teoremas básicos da Geometria não-Euclidiana. Nosso propósito é fazer uma exposição axiomática da Geometria Hiperbólica, com demonstração de todos teoremas necessários a esse estudo. A seguir, verificamos a consistência do sistema axiomático relativamente a um plano Euclidiano, utilizando para isso a inversão em relação à circunferência, bem como introduzindo os conceitos de razão dupla, quádruplas harmônicas e perspectividade, para justificar a construção das paralelas-limite de Janos Bolyai. A consistência esta apresentada por meio do primeiro modelo de Poincaré, por isomorfismo.

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-05-22T12:11:30Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InversaoDadosEletromagneticos.pdf: 3113358 bytes, checksum: 5be6334b23281e76cdc2db18d5c271cd (MD5) / Rejected by Irvana Coutinho (irvana@ufpa.br), reason: Indexar assuntos on 2014-08-06T16:08:31Z (GMT) / Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-08-28T16:30:54Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InversaoDadosEletromagneticos.pdf: 3113358 bytes, checksum: 5be6334b23281e76cdc2db18d5c271cd (MD5) / Approved for entry into archive by Irvana Coutinho (irvana@ufpa.br) on 2014-09-10T16:56:49Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InversaoDadosEletromagneticos.pdf: 3113358 bytes, checksum: 5be6334b23281e76cdc2db18d5c271cd (MD5) / Made available in DSpace on 2014-09-10T16:56:49Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InversaoDadosEletromagneticos.pdf: 3113358 bytes, checksum: 5be6334b23281e76cdc2db18d5c271cd (MD5) Previous issue date: 2012 / ANP - Agência Nacional do Petróleo / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho apresentamos um estudo da aplicação do regularizador “Variação Total” (VT) na inversão de dados geofísicos eletromagnéticos. O regularizador VT reforça a proximidade entre os parâmetros adjacentes, mas, quando a influência de uma descontinuidade é sentida nos dados, este permite mudanças abruptas sobre os parâmetros. Isso faz com que o método seja uma alternativa válida, quando os dados observados usados na inversão provém de um ambiente geológico com uma distribuição suave de condutividade, mas que pode apresentar descontinuidades em lugares como as interfaces entre as camadas geoelétricas, como na margem de uma zona de óleo ou de um corpo de sal, que podem ser zonas muito resistivas no interior de sedimentos condutivos. Quando, devido a baixa resolução nos dados, o método não tem informações o suficiente para identificar a interface, o regularizador variação total reforça a proximidade entre os parâmetros adjacentes fazendo um transição suave entre as condutividades camadas, da mesma forma que é apresentado pela suavidade global. O método de Variação Total permite que modelos menos suaves sejam alcançados porque na norma L1 a medida de desajuste entre os pares de parâmetros adjacentes, dará o mesmo valor se a variação dos parâmetros é suave ou se a variação é abrupta, o que não é o caso se o mesmo desajuste é medido na norma L2, pois em uma distribuição suave a medida do desajuste é menor, sendo assim favorecida pela minimização desta norma. O uso deste regularizador permite uma melhor estimativa do tamanho de um corpo, seja ele resistivo ou condutivo. O trabalho está apresentado na forma de três artigos, cada um descrevendo uma etapa no desenvolvimento do problema da inversão, seguindo uma sequência de complexidade crescente no problema direto. O primeiro artigo neste trabalho é intitulado “Inversão de dados do CSEM marinho 1D de meio estratificado anisotrópico com o regularizador Variação Total”. Este descreve o passo inicial no desenvolvimento do problema: a inversão de dados do CSEM marinho de modelos estratificados 1D com anisotropia na condutividade das camadas. Este problema se presta bem para este desenvolvimento, porque tem solução computacional muito mais rápida do que o 2D, e nele já estão presentes as características principais dos dados do método CSEM marinho, como a largura muito grande da faixa de amplitudes medidas em um levantamento, e a baixa resolução, inerente às baixas frequências empregadas. A anisotropia acrescenta uma dificuldade a mais no problema, por aumentar o nível de ambiguidade nos dados e demandar ainda mais informação do que no caso puramente isotrópico. Os resultados mostram que a aplicação dos vínculos de igualdade do método VT permite a melhor identificação de uma camada alvo resistiva do que a simples aplicação dos vínculos tradicionais de suavidade. Até onde podemos aferir, esta solução se mostra superior a qualquer outra já publicada para este problema. Além de ter sido muito importante para o desenvolvimento de códigos em paralelo. O segundo artigo apresentado aqui, “Inversão de dados Magnetotelúricos com o regularizador Variação Total e o uso da matriz de sensibilidade aproximada”, trata da inversão de dados do método Magnetotelúrico em ambientes 2D. Este problema demanda um esforço computacional muito maior do que o primeiro. Nele, estudamos a aplicação do método dos estados adjuntos para gerar uma boa aproximação para as derivadas necessárias para a construção da matriz de sensibilidade usada na inversão. A construção da matriz de sensibilidade é a etapa que demanda mais tempo no processo de inversão, e o uso do método de estados adjuntos foi capaz de reduzir muito este tempo, gerando derivadas com um bom nível de aproximação. Esta etapa da pesquisa foi fundamental pelo problema direto ser matematicamente e computacionalmente muito mais simples do que o do CSEM marinho 2D. Novamente em comparação com a aplicação do regularizador de suavidade global, o regularizador de Variação Total permitiu, neste problema, uma melhor delimitação das bordas de heterogeneidades bidimensionais. A terceira parte deste trabalho, apresentada no artigo “Inversão de dados do CSEM marinho 2.5D com o regularizador Variação Total e o uso da matriz de sensibilidade aproximada”, apresenta a apliação do método de Variação Total ao problema da inversão de dados CSEM marinho 2.5D. Usamos o método dos estados adjuntos para gerar uma boa aproximação para as derivadas necessárias para a construção da matriz de sensibilidade usada na inversão, acelerando assim o processo de inversão. Para deixar o processo de inversão ainda mais rápido, lançamos mão da programação em paralelo com o uso de topologia. A comparação entre a aplicação do regularizador de suavidade global, e o regularizador de Variação Total permitiu, assim como nos casos anteriores, uma melhor delimitação das bordas de heterogeneidades bidimensionais.

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-05-23T12:48:16Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InterpolacaoDadosCampo.pdf: 33808459 bytes, checksum: a7f6be55d96cfd7756e05cd531cf3d20 (MD5) / Rejected by Irvana Coutinho (irvana@ufpa.br), reason: Indexar os assuntos on 2014-08-07T16:15:10Z (GMT) / Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-08-28T13:13:13Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InterpolacaoDadosCampo.pdf: 33808459 bytes, checksum: a7f6be55d96cfd7756e05cd531cf3d20 (MD5) / Approved for entry into archive by Irvana Coutinho (irvana@ufpa.br) on 2014-09-18T11:32:57Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InterpolacaoDadosCampo.pdf: 33808459 bytes, checksum: a7f6be55d96cfd7756e05cd531cf3d20 (MD5) / Made available in DSpace on 2014-09-18T11:32:57Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_InterpolacaoDadosCampo.pdf: 33808459 bytes, checksum: a7f6be55d96cfd7756e05cd531cf3d20 (MD5) Previous issue date: 1992 / PETROBRAS - Petróleo Brasileiro S.A. / O uso da técnica da camada equivalente na interpolação de dados de campo potencial permite levar em consideração que a anomalia, gravimétrica ou magnética, a ser interpolada é uma função harmônica. Entretanto, esta técnica tem aplicação computacional restrita aos levantamentos com pequeno número de dados, uma vez que ela exige a solução de um problema de mínimos quadrados com ordem igual a este número. Para viabilizar a aplicação da técnica da camada equivalente aos levantamentos com grande número de dados, nós desenvolvemos o conceito de observações equivalentes e o método EGTG, que, respectivamente, diminui a demanda em memória do computador e otimiza as avaliações dos produtos internos inerentes à solução dos problemas de mínimos quadrados. Basicamente, o conceito de observações equivalentes consiste em selecionar algumas observações, entre todas as observações originais, tais que o ajuste por mínimos quadrados, que ajusta as observações selecionadas, ajusta automaticamente (dentro de um critério de tolerância pré-estabelecido) todas as demais que não foram escolhidas. As observações selecionadas são denominadas observações equivalentes e as restantes são denominadas observações redundantes. Isto corresponde a partir o sistema linear original em dois sistemas lineares com ordens menores. O primeiro com apenas as observações equivalentes e o segundo apenas com as observações redundantes, de tal forma que a solução de mínimos quadrados, obtida a partir do primeiro sistema linear, é também a solução do segundo sistema. Este procedimento possibilita ajustar todos os dados amostrados usando apenas as observações equivalentes (e não todas as observações originais) o que reduz a quantidade de operações e a utilização de memória pelo computador. O método EGTG consiste, primeiramente, em identificar o produto interno como sendo uma integração discreta de uma integral analítica conhecida e, em seguida, em substituir a integração discreta pela avaliação do resultado da integral analítica. Este método deve ser aplicado quando a avaliação da integral analítica exigir menor quantidade de cálculos do que a exigida para computar a avaliação da integral discreta. Para determinar as observações equivalentes, nós desenvolvemos dois algoritmos iterativos denominados DOE e DOEg. O primeiro algoritmo identifica as observações equivalentes do sistema linear como um todo, enquanto que o segundo as identifica em subsistemas disjuntos do sistema linear original. Cada iteração do algoritmo DOEg consiste de uma aplicação do algoritmo DOE em uma partição do sistema linear original. Na interpolação, o algoritmo DOE fornece uma superfície interpoladora que ajusta todos os dados permitindo a interpolação na forma global. O algoritmo DOEg, por outro lado, otimiza a interpolação na forma local uma vez que ele emprega somente as observações equivalentes, em contraste com os algoritmos existentes para a interpolação local que empregam todas as observações. Os métodos de interpolação utilizando a técnica da camada equivalente e o método da mínima curvatura foram comparados quanto às suas capacidades de recuperar os valores verdadeiros da anomalia durante o processo de interpolação. Os testes utilizaram dados sintéticos (produzidos por modelos de fontes prismáticas) a partir dos quais os valores interpolados sobre a malha regular foram obtidos. Estes valores interpolados foram comparados com os valores teóricos, calculados a partir do modelo de fontes sobre a mesma malha, permitindo avaliar a eficiência do método de interpolação em recuperar os verdadeiros valores da anomalia. Em todos os testes realizados o método da camada equivalente recuperou mais fielmente o valor verdadeiro da anomalia do que o método da mínima curvatura. Particularmente em situações de sub-amostragem, o método da mínima curvatura se mostrou incapaz de recuperar o valor verdadeiro da anomalia nos lugares em que ela apresentou curvaturas mais pronunciadas. Para dados adquiridos em níveis diferentes o método da mínima curvatura apresentou o seu pior desempenho, ao contrário do método da camada equivalente que realizou, simultaneamente, a interpolação e o nivelamento. Utilizando o algoritmo DOE foi possível aplicar a técnica da camada equivalente na interpolação (na forma global) dos 3137 dados de anomalia ar-livre de parte do levantamento marinho Equant-2 e 4941 dados de anomalia magnética de campo total de parte do levantamento aeromagnético Carauari-Norte. Os números de observações equivalentes identificados em cada caso foram, respectivamente, iguais a 294 e 299. Utilizando o algoritmo DOEg nós otimizamos a interpolação (na forma local) da totalidade dos dados de ambos os levantamentos citados. Todas as interpolações realizadas não seriam possíveis sem a aplicação do conceito de observações equivalentes. A proporção entre o tempo de CPU (rodando os programas no mesmo espaço de memória) gasto pelo método da mínima curvatura e pela camada equivalente (interpolação global) foi de 1:31. Esta razão para a interpolação local foi praticamente de 1:1. / The equivalent layer technique is an useful tool to incorporate (in the process of interpolation of potential field data) the constraint that the anomaly is a harmonic function. However, this technique can be applied only in surveys with small number of data points because it demands the solution of a least-squares problem involving a linear system whose order is the number of data. In order to make feasible the application of the equivalent layer technique to surveys with large data sets we developed the concept of equivalent data and the EGTG method. Basically, the equivalent data principle consists in selecting a subset of the data such that the least-squares fitting obtained using only this selected subset will also fit all the remaining data within a threshold value. The selected data will be called equivalent data and the remaining data, redundant data. This is equivalent to splitting the original linear systems in two sub-systems. The first one related with the equivalent data and, the second one, with the redundant data in such way that, the least-squares solution obtained by the first one, will reproduce all the redundant data. This procedure enables fitting all the measured data using only the equivalent data (and not the entire data set) reducing, in this way, the amount of operations and the demand of computer memory. The EGTG method optimizes the evaluation of dot products in solving least-squares problems. First, the dot product is identified as being a discrete integration of a known analytic integral. Then, the evaluation of the discrete integral is approximated by the evaluation of the analytic integral. This method should be applied when the evaluation of analytic integral needs less computational efforts than the discrete integration. To determine the equivalent data we developed two algorithms namely DOE and DOEg. The first one identifies the equivalent data of the whole linear systems while the second algorithm identifies the equivalent data in sub-systems of the entire linear systems. Each DOEg's iteration consists of one application of the DOE algorithm in a given subsystem. The algorithm DOE yields an interpolating surface that fits all data points allowing a global interpolation. On the other hand, the algorithm DOEg optimizes the local interpolation because it employs only the equivalent data while the other current algorithms for local interpolation employ all data. The interpolation methods using the equivalent layer technique was comparatively tested with the minimum curvature method by using synthetic data produced by prismatic source model. The interpolated values were compared with the true values evaluated from the source model. In all tests, the equivalent layer method had a better performance than the minimum curvature method. Particularly, in the case of bad sampled anomaly, the minimum curvature method does not recover the anomalies at the points where the anomaly presents high curvature. For data acquired at different levels, the minimum curvature method presented the worse performance while the equivalent layer produced very good results. By applying the DOE algorithm, it was possible to fit, using an equivalent layer model, 3137 gravity free-air data and 4941 total field anomaly data from the marine Equant-2 Project and the aeromagnetic Carauari-Norte Project, respectively. The DOEg algorithm was also applied in the same data sets optimizing the local interpolation. It is important to stress that none of these applications would have been possible without the concept of equivalent data. The ratio between CPU times (executing the programs with the same memory allocation) required by the minimum curvature method and the equivalent layer method in global interpolation was 1:31. This ratio was 1:1 in local interpolation.