La verificación de los sistemas digitales se ha vuelto una etapa crucial en el proceso de desarrollar un System on Chip (SoC). El esfuerzo que se debe de hacer en esta etapa es sustancial respecto de otras. Debido a esto se ha optado por incrementar los niveles de abstracción al momento de diseñar/verificar un sistema digital. En esta tesis se estudiará uno de estos niveles, TLM o Transaction Level Modelling, se presentar a su concepci on, sus ventajas y desventajas, con el n de poder diseñar un sistema de mediana complejidad atravesando varios niveles de abstracción. Se utilizarán métodos basados en simulación y métodos formales para verificar algunos de estos niveles. La tesis se centra como se dijo anteriormente en TLM, dándole un enfoque principal a la transacción como unidad atomica de transferencia de datos en un diseño. En el primer capítulo se hace una introducción a la problem atica/motivación, en el segundo capítulo se realiza un revelamiento del estado actual de la problem atica, el tercero introduce una breve introducción a TLM y su implementación en SystemC, el cuarto presenta la metodología propuesta para afrontar la problem atica. En el quinto capítulo se comenta cómo se realizó la implementación de la metodología. En el sexto capítulo se describen los resultados obtenidos. Mientras que el ultimo capítulo se realizar a una revisión de los resultados obtenidos, enumerándose los objetivos alcanzados y el trabajo a futuro en el area. La utilización de una metodología Top-Down facilito la generación de las correspondientes abstracciones del sistema (niveles) a fin de comprender sus problem aticas particulares. Se abordo la verificación tanto de bloques propios como bloques desarrollados por terceros, apreciando las características de los distintos enfoques de verificación según el caso. La inserción de los métodos formales como una herramienta adicional al flujo propuesto ha demostrado un aporte significativo al momento de realizar la verificación. La utilización de distintos lenguajes de descripción de hardware evidenci o las ventajas y desventajas de cada uno, análogamente se logró apreciar las ventajas y desventajas del entorno de verificación en comparación con entornos de verificación generados por otras metodologías ya establecidas. Por ultimo, se apreció el beneficio de la simulaci on mixta SystemC-Verilog o SystemC-VHDL, ganando una experiencia en el manejo de distintos lenguajes de HDL con el fin de generar conocimiento respecto de cuando debe de utilizarse o de que manera se debe utilizar los distintos lenguajes.

Los armadillos poseen tasas metabólicas relativamente bajas, con limitada capacidad termorreguladora, por lo que la temperatura ambiente influye en su modo de vida y podría asociarse con los hábitos cavadores que desarrollan la mayoría de las especies. Algunas de sus adaptaciones al modo de vida fosorial han sido estudiadas, pero las características relacionadas con el sistema auditivo son poco conocidas. El objetivo de esta Tesis fue estudiar aspectos morfofuncionales del oído medio de cinco especies de armadillos (Chaetophractus villosus, C. vellerosus, Zaedyus pichiy, Dasypus hybridus, Chlamyphorus truncatus), estableciendo correlaciones con el grado de fosorialidad de cada una de ellas. Se realizó además una recapitulación del proceso de transformación del oído medio en el clado Synapsida, a fin de establecer si existen caracteres ancestrales en los taxa bajo estudio. Las características morfológicas del sistema se estudiaron mediante microtomografías computadas, con posterior reconstrucción 3D. A partir de ellas, se calcularon parámetros morfofuncionales involucrados en el mecanismo de ajuste de impedancias (relación de áreas, relación de palancas, índice de transformación), los cuales fueron introducidos en dos modelos predictivos de las capacidades auditivas. Se obtuvo además el volumen de bula, y se lo comparó con el estimado a partir de métodos de uso común en la bibliografía. Dasypus posee oído medio de tipo ancestral en cuanto al tamaño relativamente pequeño de sus componentes, morfología del complejo incudomalear, ectotimpánico en forma de anillo abierto, bula incompleta y posible existencia de pars flaccida. Contrariamente, en Chlamyphoridae (C. truncatus, Z. pichiy y ambas especies de Chaetophractus), se observaron características derivadas: complejos incudomaleares intermedios entre transicionales y libremente móviles, ectotimpánico cerrado, bula completa, cavidad del oído medio relativamente grande, y reducción (C. truncatus, C. villosus) o ausencia (C. vellerosus, Z. pichiy) de pars flaccida. Estas características sugieren cierta adaptación a la audición de bajas frecuencias; en C. vellerosus, la morfología osicular y el mayor volumen de cavidad (tanto relativo como absoluto) revelan una mayor adaptación en este sentido, lo que le conferiría una ventaja en los ambientes xéricos en los que habita. Las características del oído de Chlamyphorus indican que el sistema no se ajusta al paradigma fosorial, y los rasgos que comparte con otras especies de hábitos hipogeos representarían un estado degenerativo. Las estimaciones del volumen de bula arrojaron errores de precisión y de exactitud que dependieron de la estructura de la cavidad y del método empleado. La magnitud de los mismos puso de manifiesto el peligro que representa la comparación de resultados obtenidos por distinta metodología, práctica común en la bibliografía. Los valores teóricos de eficiencia de transmisión sonora (≥ 0,90) y de frecuencia máxima de audición (> 29 kHz) exhibieron algunas inconsistencias con los parámetros morfofuncionales obtenidos, lo que refleja las simplificaciones excesivas en que se basan los modelos teóricos de funcionamiento del oído medio. Esta Tesis representa el primer estudio morfofuncional del oído medio en armadillos. Los resultados obtenidos deben complementarse con estudios futuros que involucren oído externo e interno, componentes nerviosos y mecanismos fisiológicos, para obtener un panorama integral del funcionamiento del sistema. / Armadillos have relatively low metabolic rates, with limited thermoregulatory capacity, so that the environmental temperature influences their way of life and could be associated with the digging habits that most species develop. Some of their adaptations to the fossorial way of life have been studied, but the characteristics related to the auditory system are little known. The aim of this Thesis was to study morphofunctional aspects of the middle ear of five species of armadillos (Chaetophractus villosus, C. vellerosus, Zaedyus pichiy, Dasypus hybridus, Chlamyphorus truncatus), establishing correlations with the degree of fossoriality of each one of them. A recapitulation of the middle ear transformation process was also carried out in the Synapsida clade, in order to establish whether there are ancestral characters in the taxa under study. The morphological characteristics of the system were studied using micro-computed tomography, with subsequent 3D reconstruction. From them, morphofunctional parameters involved in the impedance adjustment mechanism were calculated (area ratio, lever ratio, transformer ratio), which were then introduced in two predictive models of hearing abilities. The volume of the bulla was also obtained, and it was compared with that estimated from methods commonly used in the bibliography. Dasypus has an ancestral middle ear in terms of the relatively small size of its components, morphology of the incudomalear complex, ectotympanic taking the form of an incomplete ring, incomplete bulla and the possible existence of a pars flaccida. On the contrary, derived characteristics were observed in Chlamyphoridae (C. truncatus, Z. pichiy and both species of Chaetophractus): incudomalear complexes intermediate between transitional and freely mobile morphologies, closed ectotympanic, complete bulla, relatively large middle ear cavity, and reduction (C. truncatus, C. villosus) or absence (C. vellerosus, Z. pichiy) of a pars flaccida. These characteristics suggest some adaptation to low-frequency hearing; in C. vellerosus, the ossicular morphology and the largest cavity volume (both relative and absolute) reveal a greater adaptation in this sense, which would give it an advantage in the xeric environments in which it inhabits. The characteristics of the Chlamyphorus ear indicate that the system does not fit the fossorial paradigm, and the features that it shares with other subterranean mammals would represent a degenerative state. Bullar volume estimations yielded precision and accuracy errors that depended on the cavity structure and the method used. Their magnitude revealed the risks involved in the comparison of results obtained by different methodology, a common practice in the bibliography. The theoretical values of sound transmission efficiency (≥ 0.90) and of maximum hearing frequency (> 29 kHz) exhibited some inconsistencies with the morphofunctional parameters obtained, which reflects the excessive simplifications on which the theoretical models of the middle ear functioning are based. This Thesis represents the first morphofunctional study of the middle ear in armadillos. The results obtained should be complemented with future studies involving the outer and inner ear, nervous components, and physiological mechanisms, to obtain a comprehensive picture of the functioning of the system.

OBJETIVOS: Determinar los grados de fuerza muscular y la relación que tienen con los subtipos del síndrome de Guillain Barré en los pacientes afectados desde el año 2009 al 2013 del Instituto Nacional de Ciencias Neurológicas. MATERIALES Y MÉTODOS: Estudio de tipo descriptivo, correlacional, retroprospectivo, transversal; se estudio a 31 pacientes que fueron afectados con el Síndrome del Guillain Barré entre los años 2009 al 2013 del Instituto Nacional de Ciencias Neurológicas entre los 20 a los 79 años de edad; se utilizó como instrumentos el test manual de exploración muscular o test de fuerza muscular manual y se relacionó la variable con el subtipo del Síndrome de Guillain Barré extraída de los datos de la historia clínica de los pacientes. RESULTADOS: Los resultados del cruce de las variables subtipo de Síndrome de Guillain Barré y los grados de Fuerza muscular (divididas en dos grupos: con alteración funcional o sin alteración funcional) por medio de tablas de contingencia con la utilización de las pruebas de Chi –cuadrado el grado de los significancia de p > 0,05, con lo cual no se p grados de Fuerza Muscular no podrán ser probadas. Se observaron que las alteraciones de los grados de fuerza muscular a nivel funcional están presenten a predominio de los grupos musculares de los segmentos distales, tanto de miembros superiores como miembros inferiores. CONCLUSIONES: No se pudo demostrar la relación entre los subtipos del Síndrome de Guillain Barré, las posibles causas de los resultados aún se mantienen en discusión para futuras investigaciones. Las alteraciones de los grados de fuerza muscular funcional son predominantes en los segmentos distales. / OBJECTIVES: To determine the degree of muscle strength and the relationship they have with the subtypes of Guillain Barre syndrome in patients affected from 2009 to 2013 of the Instituto Nacional de Ciencias Neurológicas. MATERIALS AND METHODS: Descriptive, correlational, retroprospective, transversal; 31 patients who were affected with Guillain Barre Syndrome from 2009 to 2013 of the Instituto Nacional de Ciencias Neurológicas, the age range is 20 to 79 years old; Manual muscle test was used as instruments and it was related with the subtype of Guillain Barré syndrome, that data was extracted from medical records of patients. RESULTS: The results from the intersection of variables subtype of Guillain Barré and degrees of muscular strength (divided into two groups: those with functional impairment or without functional impairment ) using contingency tables and using Chi -square test the significance level of p> 0.05 , I was not found a significant difference between between subtypes of Guillain Barre syndrome and degrees of muscle strength. It was found degrees of muscle strenght alteration at the functional level a of the distal muscle groups in the upper limbs and lower limbs. CONCLUSIONS: it was not found a significant correlation between between subtypes of Guillain Barré and degrees of muscle strength. The possible causes of the results still are found under discussion for future studies. Alterations in the levels of functional muscle strength are predominant in the distal segments. KEYBOARDS: Subtype Guillain Barre Syndrome, Muscular Strength, degree of functional muscle strength, muscle strength degree of functional impairment.

A Teoria do funcional da Densidade (DFT) é muito empregada no estudo da densidade eletrônica e energia do estado fundamental de sistemas interagente de muitos elétrons. Uma de suas desvantagens é que, apesar de formalmente exata, a DFT depende de aproximações no funcional de troca e correlação Exc[n]. Uma de suas vantagens é a possibilidade de trabalhar com a conexão adiabática, que permite conectar explicitamente o sistema interagente de interesse com uma versão não-interagente de mesma densidade. Baseado em seu escopo esta dissertação tem como objetivo tratar da DFT no modelo de Hubbard unidimensional. Uma das vantagens em trabalhar com o Hubbard é a existência de uma solução formalmente exata para a energia do modelo homogêneo e unidimensional via ansatz de Bethe, tal solução serve de base para os nossos cálculos e resultados. Outra vantagem do modelo de Hubbard é a existência de um gap que aproximações usuais na DFT falham em reproduzir. Um de nossos resultados é calcular o gap de duas formas. Uma através da derivada da solução via ansatz de Bethe e outro é tratar o Hamiltoniano pela conexão adiabática, calcular o gap pelo potencial químico, este último calculado pelo ansatz de Bethe. Ao final comparamos a precisão dos métodos, apenas para descobrir que o método via potencial químico é mais preciso. Por último usamos a conexão adiabática e a aproximação de Hartree-Fock para teorizar um funcional híbrido no modelo de Hubbard unidimensional. / The Density Functional Theory (DFT) is a widely used in the study of electronic density and energy of the ground-state of interacting systems consisting of many electrons. One of its disadvantages is that, although it is formally exact, the DFT depends on approximations of the exchange-correlation functional Exc[n]. One of its advantages consists of the possibility of working with the adiabatic connection, which allows a explicit connection between the interacting system of our interest and a non-interacting system that yields the same density. Based on its scope this dissertation aims to address the DFT in the one-dimensional Hubbard model. One of the Hubbards model advantage consists of the existence of a formally exact solution to the energy of the homogeneous one-dimensional model via Bethe ansatz, such a solution serves as the basis for our calculations and results. Anothe Hubbards model advantage is the existence of a gap that usual approximations in DFT fail to calculate. One of our results is to calculate the gap in two different ways. One through the derivative of the Bethe ansatz solution and the other is to address the Hamiltonian through the adiabatic connection, calculate the gap through the chemical potential, the latter calculated via Bethe ansatz. In the end we compare their precisions, only to find that the one via chemical potential is more precise. At last we use the adiabatic connection and the Hartree-Fock approximation to theorize a hybrid functional in the one-dimensional Hubbard model.

INTRODUÇÃO: O Doppler Transcraniano funcional pode avaliar mudanças na velocidade do fluxo sanguíneo encefálico associadas a tarefas cognitivas e/ou sensitivo-motoras. Mede de maneira indireta a atividade metabólica de regiões cerebrais, segundo o princípio do acoplamento neurovascular. Os objetivos deste estudo foram: desenvolver um novo método de análise de Doppler transcraniano funcional para análise da lateralização hemisférica e verificar a capacidade deste novo método em diferenciar a lateralização hemisférica durante a execução de uma tarefa motora unimanual por indivíduos saudáveis. Adicionalmente, a lateralização hemisférica foi correlacionada com a preferência manual nestes indivíduos. MÉTODOS: Treze indivíduos saudáveis foram submetidos a um exame de Doppler transcraniano funcional durante uma prova de ativação motora manual (oposição de dedos). As sessões de Doppler transcraniano funcional foram realizadas com aparelho Doppler-Box Transcranial Doppler Unit. A prova manual compreendeu uma sequência de movimentos de oposição do primeiro e segundo dedos (thumb-tofinger opposition movement) realizado por uma mão e depois pela outra, em uma frequência de 1 movimento por segundo (1Hz) fornecida por um metrônomo digital. Durante a execução dos movimentos, foram insonadas simultaneamente as artérias cerebrais médias direita e esquerda. Para interpretação dos dados de Doppler transcraniano funcional desenvolvemos um novo programa de análise denominado FDAT, que tem vantagens de sofrer mínima influência de artefatos de ruído no sinal e de não assumir um formato pré-determinado da resposta hemodinâmica cerebral. Foi calculado um índice de lateralização (IL) como a diferença entre a velocidade relativa média da época de ativação e a velocidade relativa média da época de repouso para cada prova motora. Foi calculada a diferença dos valores de IL (ILe - ILd) provenientes da análise com cada método, obtendo-se um índice de ativação, próprio de cada sujeito. A comparação do índice de ativação durante a movimentação da mão direita, e durante a movimentação da mão esquerda, foi feita com o teste de Wilcoxon. A correlação entre o índice de ativação e a preferência manual avaliada pelo Inventário de Edimburgo foi avaliada pelo coeficiente rho de Spearman. RESULTADOS: Houve uma diferença estatisticamente significante entre o IA obtido durante a movimentação da mão direita ou da mão esquerda (p=0,02). Houve correlação estatisticamente significante entre a preferência manual e a assimetria na lateralização hemisférica identificada pelo Doppler Transcraniano funcional (rho = 0.85, p < 0.001). CONCLUSÕES: A análise do Doppler Transcraniano funcional mostrou-se viável pelo método proposto, capaz de avaliar o grau de lateralização hemisférica em uma prova de ativação motora, com boa correlação com a preferência manual. Trata-se de uma ferramenta prática, não invasiva e de baixo custo para a avaliação da lateralização hemisférica em determinadas provas funcionais / INTRODUCTION: Functional transcranial Doppler is a method for the assessment of changes in blood flow velocity of the middle cerebral artery. An asymmetric increase in blood flow velocity is a marker of hemispheric lateralization during unimanual motor task performance. The aims of this study were to propose a novel and efficient method for functional transcranial Doppler analysis based on cubic smoothing splines, and to verify the ability of this method to identify hemispheric lateralization during unimanual motor task performance in healthy subjects. In addition, hemispheric lateralization was correlated with handedness in these subjects. METHODS: Thirteen healthy subjects participated in the study. Blood flow velocities in the right and left middle cerebral arteries were recorded using functional transcranial Doppler during a finger-tapping task with either the right or left hand. Data were analyzed with a multi-step new method that included: baseline determination, raw data normalization, smoothing, lateralization Index calculation, definition of rest and motor task epochs and activation Index calculation. A positive activation Index reflects right-hemisphere lateralization and a negative activation index, left hemisphere lateralization. RESULTS: There was a statistically significant difference between the activation index obtained during right or left hand movements (p=0.02). Hand dominance was significantly correlated with asymmetry in hemispheric lateralization assessed with functional transcranial Doppler (rho = 0.85, p<0.001). CONCLUSIONS: This novel method for functional transcranial Doppler analysis was capable to assess the hemispheric lateralization during motor task performance, and correlated well with handedness. It is a practical, non-invasive and unexpensive tool for the assessment of hemispheric lateralization.

Current views in cognitive neuroscience assume that many high level cognitive functions, such as learning, language, or memory are anatomically widely distributed across the whole brain, interacting and overlapping with different large-scale functional systems. These functional specific brain networks are believed to be implemented in the brain by the segregation of different brain regions, that is, groups of neurons or cortical columns with common functional properties. It is the integration of these distal segregated regions, which might define the different cognitive processes. Moreover, these regions are also connected by the presence of specific neural pathways, which permits the information flow between areas. The lack of an anatomical support of these networks makes a direct functional connection biologically impossible. Indeed, unique afferent and efferent connections might define the connectivity patterns used to convey information to other cortical and subcortical regions. In this framework, it is the integration of the distributed neural network, linked anatomically and functionally in a precise way, which largely may define the brain's function. More concretely, by combining functional MRI and diffusion tensor imaging (DTI) information, this dissertation aims to examine possible functional and micro-structural interactions in the human brain in order to reach a better understanding of the organization and dynamics of the distributed neural systems that subserve neural functions and human behaviour.This dissertation should not be considered as a treatise on functional and structural integration but rather as a launching point in order to begin to understand human functional and structural brain connectivity.KEY WORDS: Diffusion Tensor imaging (DTI); functional Magnetic Resonance Imaging (fMRI); functional connectivity; micro-structure; neuroimaging; reward processing / Les tendències actuals en ciència cognitiva donen suport a la idea que la majoria de les funcions cognitives d'alt nivell, com ara l'aprenentatge, el llenguatge o la memòria estan sostingudes per circuits funcionals que estan distribuïts i interactuen entre si en el cervell humà. Es creu que aquestes xarxes cerebrals podrien estar segregades en unitats funcionals caracteritzables tant per la seva localització com per les seves interaccions amb diferents poblacions neuronals. La integració d' aquestes unitats funcionals a través de feixos específics de substància blanca modularien el flux d'informació dins la xarxa neuronal, donant lloc al processament de les diferents funcions cognitives. En aquest marc, la dinàmica i l'arquitectura cerebral funcional són essencials per l'estudi dels processos cognitius. L'objectiu d'aquesta tesi és explorar possibles interaccions entre funció i micro-estructura fent ús de la tècnica de ressonància magnètica, concretament, combinant imatges de ressonància magnètica funcional i del tensor de difusió. Així, es pretén aprofundir en la comprensió de l'organització i la dinàmica dels diferents sistemes neurals que suporten les funcions cognitives i per tant el comportament humà.Aquesta tesi no s'ha d'entendre com un tractat d'integració funcional i estructural sinó com un punt de partida en l'estudi de la connectivitat funcional i estructural a partir de tècniques de ressonància magnètica. / RESUMEN:Las tendencias actuales en ciencia cognitiva dan soporte a la idea que la mayoría de las funciones cognitivas de alto nivel, como por ejemplo el aprendizaje, el lenguaje o la memoria, se sostienen a través de circuitos funcionales que están distribuidos e interactúan en el cerebro humano. Se cree que estas redes neuronales podrían estar segregadas en unidades funcionales que se caracterizarían tanto por su localización como por sus interacciones con diferentes poblaciones neuronales. La integración de estas unidades funcionales a través de haces específicos de sustancia blanca modularían el flujo de información en la red neuronal, dando lugar al procesamiento de diferentes funciones cognitivas. Es en este marco donde la arquitectura cerebral y su dinámica son claves en el estudio de los procesos cognitivos.El objetivo de esta tesis doctoral es investigar posibles interacciones entre función y microstructura utilizando la técnica de resonancia magnética, concretamente combinando imágenes de resonancia magnética funcional así como del tensor de difusión. Se pretende profundizar en la compresión y la organización de la dinámica de los diferentes sistemas neuronales que soportan diferentes funciones cognitivas y por tanto el cerebro humano.Esta tesis no se ha de considerar como un tratado de integración funcional y estructural sino como el punto de partida en el estudio de la conectividad funcional y estructural a partir del uso de técnicas de resonancia magnética.PALABRAS CLAVE: Tensor de difusión, Resonancia Magnética funcional (RMf), conectividad funcional, microestructura, neuroimagen, procesamiento de la recompensa.

LEMSON, Tatiana Maria Silva Coelho. Aposições restritivas no português brasileiro escrito contemporâneo: análise e formalização no modelo da gramática discursivo-funcional. 2016. 167f. - Tese (Doutorado) – Universidade Federal do Ceará, Programa de Pós-Graduação em Linguística, Fortaleza (CE), 2016. / Submitted by Gustavo Daher (gdaherufc@hotmail.com) on 2017-01-18T16:43:25Z No. of bitstreams: 1 2016_teste_tmsclemson.pdf: 1333307 bytes, checksum: 3967fc43d9d478fe7355cd98adfc001b (MD5) / Approved for entry into archive by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2017-01-25T14:40:00Z (GMT) No. of bitstreams: 1 2016_teste_tmsclemson.pdf: 1333307 bytes, checksum: 3967fc43d9d478fe7355cd98adfc001b (MD5) / Made available in DSpace on 2017-01-25T14:40:00Z (GMT). No. of bitstreams: 1 2016_teste_tmsclemson.pdf: 1333307 bytes, checksum: 3967fc43d9d478fe7355cd98adfc001b (MD5) Previous issue date: 2016 / This research belongs to the Linguistic area and aims to the analysis of the close appositions in contemporary written Brazilian Portuguese. In order to achieve this goal, the Functional Discourse Grammar (GDF) of Hegenveld and Mackenzie (2008) and the analysis Keiser made for the restrictive appositions in English were used. The FDG (GDF) has its organization characterized as top-down and it is divided into four levels of representation, forming a Grammatical Component: Interpersonal and Representational level, where the Formulation occurs, and the Morphosyntactic and Phonological levels where Codification is processed. These samples were analyzed in three of the four levels of the FDG (GDF): Interpersonal, Representational and Morphosyntactic. They were also analyzed according to the discursive functions proposed by Keizer (2005): Identification by means of more specific information, identification by means of description, contextually new identification and identification through contrast of different characteristics or roles. The results of the analysis of these samples indicate that the restrictive appositions in the contemporary written Brazilian Portuguese are formed, in the Interpersonal Level, by a Referential Subact composed by two Ascription Subacts. At the Representational Level, the results indicate that the forming elements of the appositive construction have a restriction semantic relation in which the first element is restricted (nucleus), and the second element is the restrictive, and each has the predicate function. In the Morphosyntactic Level, they indicate that the restrictive appositions are formed by elements of the noun class. However, they present different subclasses of nouns: proper uncountable noun, common uncountable noun and common countable noun. The element that controls the morphosyntactic relations, that is, the first element of the construction, belongs to the subclass of the common countable noun, and the second element, the one that does not rule the morphosyntactive functions nor is influenced by these relations belongs to the subclass of the uncountable proper or common noun. / A presente pesquisa, pertencente à área Linguística, tem por objetivo analisar as aposições restritivas no português brasileiro escrito contemporâneo. Usamos como arcabouço teórico a Gramática Discursivo-Funcional (GDF) de Hengeveld e Mackenzie (2008) e a análise que Keizer (2007) fez para as aposições restritivas no inglês. A GDF tem sua organização caracterizada por uma orientação top-down e quatro níveis de representação, que constituem o Componente Gramatical: NíveisInterpessoal e Representacional, onde ocorre a Formulação, e os Níveis Morfossintático e Fonológico, onde ocorre a Codificação. As ocorrências para análise foram obtidas do mesmo recorte utilizado por Nogueira (1999) do banco de dados no Centro de Estudos Lexicográficos da Faculdade de Ciências e Letras, Campus da UNESP de Araraquara-SP, constituído de 36 (trinta e seis) textos escritos, sendo 12 (doze) do gênero oratória, 12 (doze) do gênero dramático e 12 (doze) do gênero técnico. Essas ocorrências foram analisadas nos três dos quatros níveis da GDF: Interpessoal, Representacional e Morfossintático; e também foram analisadas de acordo com as funções discursivas propostas por Keizer (2005): Identificação por meio de uma informação mais específica, Identificação por meio de uma descrição, Identificação contextualmente nova e Identificação por contraste de propriedades ou papéis diferentes. Os resultados da análise dessas ocorrências apontam que as aposições restritivas no português brasileiro escrito contemporâneo são formadas, no Nível Interpessoal, por um Subato Referencial composto por dois Subatos Atributivos. No Nível Representacional, os resultados apontam que os elementos formadores da construção apositiva têm uma relação semântica de restrição em que o primeiro elemento é o restringido (núcleo), e o segundo elemento é o restritivo, e cada um deles tem a função de propriedade. Já no Nível Morfossintático, apontam que as aposições restritivas são formadas por elementos da classe dos substantivos, contudo, apresentam subclasses de substantivos diferentes: substantivo próprio não contável, substantivo comum não contável e substantivo comum contável. O elemento que rege as relações morfossintáticas, ou seja, o primeiro elemento da construção, pertence à subclasse do substantivo comum contável, e o segundo elemento, aquele que não rege as funções morfossintáticas nem sofre influência dessas relações, pertence à subclasse de substantivo próprio ou de substantivo comum não contável.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-02-02T14:14:13Z No. of bitstreams: 1 ViniciusPradoFonseca_DISSERT.pdf: 3767375 bytes, checksum: 2a18933eae79f3f64c9538f795e1ab9f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-02-08T21:13:31Z (GMT) No. of bitstreams: 1 ViniciusPradoFonseca_DISSERT.pdf: 3767375 bytes, checksum: 2a18933eae79f3f64c9538f795e1ab9f (MD5) / Made available in DSpace on 2017-02-08T21:13:31Z (GMT). No. of bitstreams: 1 ViniciusPradoFonseca_DISSERT.pdf: 3767375 bytes, checksum: 2a18933eae79f3f64c9538f795e1ab9f (MD5) Previous issue date: 2016-06-29 / Um dos principais objetivos da ecologia ? a determina??o de ?reas priorit?rias para preserva??o. A designa??o destas ?reas leva em considera??o diversos fatores, dentre eles a capacidade de preservar uma esp?cie chave ou determinada biodiversidade. Uma das formas mais eficientes para a identifica??o de tais ?reas ? uso de modelos estat?sticos para determinar a ocupa??o e o grau de presen?a das esp?cies espacialmente. Com os recentes avan?os tecnol?gicos tanto computacionais quanto na aquisi??o de dados ambientais de alta resolu??o por sat?lites, estas ferramentas t?m se tornado cada vez mais robustas. Em ambientes marinhos, a log?stica para a coletas de dados e observa??es de fen?menos ecol?gicos costuma ser excessivamente dispendiosa e complicada. Com isso, desenvolver predi??es para distribui??es de esp?cies em ?reas n?o coletadas, baseadas em dados coletados em diferentes locais associadas a informa??es ambientais adquiridas remotamente, muitas vezes de forma gratuita, torna-se essencial. No presente trabalho, foram utilizados m?todos de estat?stica Bayesiana afim de se desenvolver predi??es e gerar mapas das distribui??es espaciais de peixes marinhos da plataforma continental do Rio Grande do Norte, no nordeste Brasileiro. Para tal, duas metodologias foram abordadas em forma de dois artigos distintos. No primeiro, foram desenvolvidos modelos de distribui??o espacial da riqueza de esp?cies desta fauna. No segundo, as esp?cies foram agrupadas em grupos funcionais, baseados em caracter?stica de hist?ria de vida de cada esp?cie, para os quais foram desenvolvidos modelos de distribui??o espacial para a identifica??o de zonas de poss?vel vulnerabilidade em rela??o a fun??es ecol?gicas. Baseado nos resultados de ambos os trabalhos, pode-se apontar duas ?reas de importante valor ecol?gico tanto para a preserva??o de grande biodiversidade de peixes quanto otimizar a preserva??o de fun??es ecol?gicas preservando o funcionamento adequado deste ecossistema. A primeira ? uma regi?o mais afastada da costa que engloba recifes pr?ximos ? quebra da plataforma continental e campos de algas faner?gamas, caracterizando um mosaico de habitats. A segunda caracteriza-se por estar pr?xima a costa em ?reas sob influ?ncia de estu?rios. Espera-se que os resultados aqui obtidos e a metodologia utilizada possam servir para um futuro manejo mais adequada da ?rea bem como para o desenvolvimento de novos trabalhos com a mesma abordagem em diferentes localidades.

Orientador: Eraldo Pereira Marinho / Banca: Geraldo Nunes Silva / Banca: . Suzete Maria Silva Afonso / Resumo: Esta dissertação objetiva-se ao estudo analítico de técnicas de interpolação integral - fundamentadas na teoria de distribuição, também conhecida como teoria de funções generalizadas - e suas aplicações a reconstrução de imagens formadas por partículas (noise image) e à forma anisotrópica das equações da hidrodinâmica com partículas suavizadas, no inglês smoothed particle hydrodynamics, bem conhecida como SPH. A aplicação a processamento de imagens é um caso particular da técnica de interpolação utilizada em SPH. A imagem original é fragmentada na forma de partículas (em duas dimensões), aleatoriamente colhidas dos píxeis da imagem original, cuja densidade de probabilidade é proporcional à escala de cinza de cada píxel vizinho. Então é feita uma reconstrução da imagem através de interpolação anisotrópica, evidenciando que detalhes estruturais do contexto original são mais bem recuperados do que a correspondente técnica isotrópica. Apesar de não realizarmos diretamente simulações de mecânica dos fluidos neste trabalho, o que é proposto aqui é uma revisão das equações fundamentais da técnica de simulação SPH para o caso anisotrópico. As interpolações apresentadas neste trabalho foram feitas a partir de um núcleo normalizado de suavização, definido na forma de uma função regulada por partes, conhecida como cubic-B-spline, que é de classe analítica C2 / Abstract: This mastered dissertation aims at the analytical study of integral interpolation techniques - based on the theory of distribution, also known as generalized function theory - and its applications the reconstruction of images formed by particles (noise image) and the anisotropic form of the fundamental equations of smoothed particle hydrodynamics, well known as SPH. The application to image processing is a particular case of the interpolation technique used in SPH. The original image is fragmented in the form of particles (in two dimensions), randomly drawn from the píxels of the original image, whose density is proportional to the gray scale of each neighboring píxel. Then a reconstruction of the image is made through anisotropic interpolation, evidencing that structural details of the original context are better recovered than the corresponding isotropic technique. Although we do not directly perform fluid mechanics simulations in this work, what is proposed here is a review of the fundamental equations of the SPH simulation technique for the anisotropic case. The interpolations presented in this work were made from a normalized smoothing kernel, defined as cubic-B-spline, which is of analytic class C2 / Mestre

A Teoria do funcional da Densidade (DFT) é muito empregada no estudo da densidade eletrônica e energia do estado fundamental de sistemas interagente de muitos elétrons. Uma de suas desvantagens é que, apesar de formalmente exata, a DFT depende de aproximações no funcional de troca e correlação Exc[n]. Uma de suas vantagens é a possibilidade de trabalhar com a conexão adiabática, que permite conectar explicitamente o sistema interagente de interesse com uma versão não-interagente de mesma densidade. Baseado em seu escopo esta dissertação tem como objetivo tratar da DFT no modelo de Hubbard unidimensional. Uma das vantagens em trabalhar com o Hubbard é a existência de uma solução formalmente exata para a energia do modelo homogêneo e unidimensional via ansatz de Bethe, tal solução serve de base para os nossos cálculos e resultados. Outra vantagem do modelo de Hubbard é a existência de um gap que aproximações usuais na DFT falham em reproduzir. Um de nossos resultados é calcular o gap de duas formas. Uma através da derivada da solução via ansatz de Bethe e outro é tratar o Hamiltoniano pela conexão adiabática, calcular o gap pelo potencial químico, este último calculado pelo ansatz de Bethe. Ao final comparamos a precisão dos métodos, apenas para descobrir que o método via potencial químico é mais preciso. Por último usamos a conexão adiabática e a aproximação de Hartree-Fock para teorizar um funcional híbrido no modelo de Hubbard unidimensional. / The Density Functional Theory (DFT) is a widely used in the study of electronic density and energy of the ground-state of interacting systems consisting of many electrons. One of its disadvantages is that, although it is formally exact, the DFT depends on approximations of the exchange-correlation functional Exc[n]. One of its advantages consists of the possibility of working with the adiabatic connection, which allows a explicit connection between the interacting system of our interest and a non-interacting system that yields the same density. Based on its scope this dissertation aims to address the DFT in the one-dimensional Hubbard model. One of the Hubbards model advantage consists of the existence of a formally exact solution to the energy of the homogeneous one-dimensional model via Bethe ansatz, such a solution serves as the basis for our calculations and results. Anothe Hubbards model advantage is the existence of a gap that usual approximations in DFT fail to calculate. One of our results is to calculate the gap in two different ways. One through the derivative of the Bethe ansatz solution and the other is to address the Hamiltonian through the adiabatic connection, calculate the gap through the chemical potential, the latter calculated via Bethe ansatz. In the end we compare their precisions, only to find that the one via chemical potential is more precise. At last we use the adiabatic connection and the Hartree-Fock approximation to theorize a hybrid functional in the one-dimensional Hubbard model.