Made available in DSpace on 2016-06-02T20:16:51Z (GMT). No. of bitstreams: 1 5333.pdf: 5685389 bytes, checksum: 082b6b7ff9988cce9196ad87a26521b6 (MD5) Previous issue date: 2013-02-27 / Universidade Federal de Sao Carlos / In this work, the domain structure of a transparent ferroelectric ceramic of (Pb0,79La0,21)TiO3 (PLT 21) was investigated in detail by piezoresponse force microscopu (PFM) and a protocol of measurements and analysis of the piezoresponse for the tridimensional reconstruction of the polarization in ferroelectric domains, including from mono and polycrystalline materials was developed. With this protocol, properties of domains and domain walls of the PLT 21 ceramic and of a PbTiO3 (PT) thin film were investigated. Three types of domains were recognized in the PLT 21 ceramic: domains separated by 180° walls, and domains separated by 90° walls in two scales, one in wich the domains have dimensions of about 1 μm and another with dimensions lower than 100 nm. Classical domain structures of lamellae and herringbones, and even more exotic structures as quadrants could be observed in PLT 21. This last one might suggest the existence of flux closure states of polarization in ferroelectric ceramics. In our knowledge this is the first time that quadrant structures are observed in ceramics. We could also observe in PLT 21 ceramic, ferroelectric domains that run through de grain boundary. Analysis of the reorientation of polarization by applying a localized BIAS field, revealed a strong electromechanical coupling in the sample, with the appearance of new 90° domain structure as a way to compensate local deformations generated by the poling process. The domain structure of the PT thin film revealed grains with monodomain structure and grains with polydomain structure, being the latter preferentially formed by 90° walls. The study of the reorientation of domains in the thin films of PT, showed the formation of a monodomain structure in the majority of the grains after the poling process, what significantly differs from the results of the PLT 21 ceramics. Lastly, thin films of Pb(Fe0,5Nb0,5)O3 (PFN) with good structural, microstructural and electrical properties were produced by radio frequency sputtering (R.F. Sputtering) with different thickness (50 nm 950 nm). The values of remnant polarization and coercive field of the hysteresis loop were 7 μC/cm2 and 70 kV/cm, respectively, which are bigger than many results found in the literature. Ferroelectric local properties were investigated in monolithic thin films (i.e., films that have a single grain in the thickness) of PFN and compared with the properties obtained in polycrystalline thin films of PT. / Neste trabalho, a estrutura de domínios de uma cerâmica transparente de (Pb0,79La0,21)TiO3 (PLT 21) foi detalhadamente investigada por microscopia de piezoresposta e um protocolo de medida e análise da piezoresposta para a reconstrução tridimensional da polarização de domínios em ferroelétricos, incluindo materiais mono e policristalinos, foi desenvolvido. Com este protocolo, as propriedades de domínios e paredes de domínios da cerâmica de PLT 21 e de um filme fino de PbTiO3 (PT) foram investigadas. Três tipos de domínios puderam ser reconhecidos na cerâmica de PLT 21: domínios separados por paredes 180° e domínios separados por paredes de 90° em duas escalas, uma em que os domínios têm dimensão de aproximadamente 1 μm e outra com dimensão menor que 100 nm. Estruturas de domínios clássicas como as lamelas e espinhas de peixes, até estruturas mais exóticas como a de quadrantes, puderam ser observadas no PLT 21. Essa última estrutura, pode sugerir a existência de estados de polarização de flux closure em cerâmicas ferroelétricas. Em nosso conhecimento, esta é a primeira vez que estruturas de quadrantes são observadas em cerâmicas. Foi possível observar na cerâmica de PLT 21, domínios ferroelétricos que transpõe a barreira do contorno de grão. A análise da reorientação da polarização com a aplicação de campo localizado revelou um forte acoplamento eletromecânico na amostra, com o aparecimento de novas estruturas de domínios de 90° como forma de compensar as deformações locais geradas pelo processo de polarização. A estrutura de domínios de filme fino de PT apresentou grãos com estrutura de monodomínio e grãos com estrutura de polidomínios, sendo o último preferencialmente formado por paredes de 90°. Os estudos de reorientação dos domínios nos filmes de PT mostraram a formação de uma estrutura de monodomínios na maioria dos grãos após o processo de polarização, o que difere significativamente dos resultados obtidos cerâmicas de PLT 21. Por fim, filmes finos de Pb(Fe0,5Nb0,5)O3 (PFN) com boas propriedades estruturais e microestruturais e elétricas foram produzidos por sputtering em radiofrequência (R.F. Sputtering) com diferentes espessuras (50 nm até 950 nm). Os valores obtidos por histerese ferroelétrica foram de 7 μC/cm2 de polarização remanescente e 70 kV/cm de campo coercitivo, maiores do que a maioria dos resultados encontrados na literatura. Propriedades ferroelétricas locais foram investigadas nos filmes finos monolíticos (i.e., filmes formados por um único grão na espessura) de PFN e comparadas com as propriedades obtidas em filmes finos policristalinos de PT.

Neste trabalho foi desenvolvida uma formulação para análise de sólidos bidimensionais constituídos por multiregiões utilizando-se do método dos elementos de contorno para análise linear e não linear. Para o caso de análise linear foi estudado o caso de regiões constituídas por sub-regiões de diferentes características mecânicas, utilizando-se técnicas que inicialmente consideram a compatibilidade de deslocamentos e o equilíbrio de forças na interface entre as sub-regiões, antes de se escrever as equações de equilíbrio. Inicialmente foi feita uma formulação, chamada neste trabalho de formulação singular, onde leva-se em conta apenas os deslocamentos incógnitos na interface e, posteriormente, foi desenvolvida outra formulação denominada hipersingular, onde são preservadas na interface apenas as forças de superfície. Para inclusões muito esbeltas, foi utilizada a técnica da condensação de domínios, onde o domínio 2D foi condensado inicialmente em um domínio linear de fibra e posteriormente em viga. Foi utilizada a discretização de inclusões muito esbeltas com rigidez quase nula visando a simular o comportamento de uma região de fratura elástica. A formulação foi estendida para análise não linear. A técnica das tensões iniciais foi adotada para modelar o sólido com regiões danificadas. Foi adotada a degeneração de inclusões muito esbeltas, que obedecem as leis constitutivas não lineares da mecânica do dano, simulando a origem de uma região de fratura. Para se melhorar a precisão das integrais, foi adotada a integração analítica sobre todo contorno e também sobre o domínio. Foram testados vários exemplos para validar os modelos propostos. / In this work, a boundary element formulation was developed to analyze 2D multiregions solids formed in the context of linear and non- linear analysis. Linear analysis was adopted to study problems containing regions with diferent elastic parameters. This formulation was used to study inclusion that could be degenerated to thin inclusion to represent the behavior of fibers and beams embedded in the main solid. For the linear problems, the sub-regions were adopted to represent structural elements with diferent mechanical characteristics. The sub regions were joined together by assuming the classical hypotheses of displacement compatibility and traction equilibrium along the interfaces, but applied before the approximation of the boundary and interface values. The alternative sub-region technique was developed initially to eliminate traction values along the interfaces, introducing therefore only unknown displacements. The technique was then modified to eliminate all displacements along the interface preserving the traction as unknowns. For the case of very thin inclusions the formulation has been simplified to simulate fiber and beam reinforcements. Appropriate displacement approximations across the thin sub-region have been assumed. In this inclusion was also analyzed with the elastic modulus degenerating to zero, simulating therefore a crack problem. The formulation has been extended to non-linear analysis. The initial stress procedure has been adopted to model solid with damaged regions. The damaged regions were assumed to be very small to simulate non-linear crack behavior governed by damage mechanic models. To improve the quality of the results all boundary and domains were integrated analytically. Many examples have been tested to certify that the proposed models are reliable.

Este trabalho trata da descrição e da análise do contorno entoacional total de sentenças interrogativas globais e parciais, neutras e não-neutras, da variedade paulista do português brasileiro (PB). Investigamos a relação entre a associação de eventos tonais ao contorno entoacional dessas sentenças e a formação de domínios prosódicos. Nosso objetivo é identificar padrões entoacionais que codifiquem prosodicamente o significado pragmático dos diferentes tipos de sentenças interrogativas do PB. Partimos da hipótese de que o contorno entoacional total tem papel fundamental na codificação de significados pragmáticos, além do contorno nuclear. Em nosso trabalho, utilizamo-nos de corpora de fala controlada obtida em tarefa de leitura de sentenças interrogativas antecedidas por contextos propícios à produção de diferentes tipos frásicos interrogativos e de fala semicontrolada obtida em tarefa de leitura de mapa em dupla. A descrição e a análise prosódica das sentenças interrogativas de nossos corpora foram feitas à luz da visão integrada entre a abordagem Autossegmental e Métrica da Fonologia Entoacional (Pierrehumbert 1980; Pierrehumbert & Beckman 1988; Ladd 1996, 2008; Jun 2005/2014; entre outros) e a Fonologia Prosódica (Selkirk 1984, 1986, 2000; Nespor & Vogel 1986, 2007). Levamos em conta, para o desenvolvimento das análises desta investigação, os trabalhos desenvolvidos nesse mesmo quadro teórico e aplicados ao português (Frota & Vigário 2000; Tenani 2002; Fernandes 2007a, 2007b, Serra 2009, Toneli 2014; e, mais especificamente para sentenças interrogativas, Moraes 2008, Truckenbrodt, Sandalo & Abaurre 2009, Castelo 2011, 2016 e Frota et. al. 2015a). Os resultados obtidos a partir de nossa investigação revelam que (i) de maneira geral, o contorno nuclear das sentenças interrogativas da variedade paulista do PB tem um padrão ascendente-descendente; (ii) o contorno entoacional total tem papel importante na codificação do significado pragmático da interrogação; (iii) há características prosódicas especiais associadas ao contorno entoacional total que correspondem a significados pragmáticos específicos, como, por exemplo: (a) a marcação prosódica de foco e ênfase que varia a depender do significado pragmático associado à marcação de foco e ênfase nos diferentes tipos frásicos; (b) a associação de downstep ao contorno nuclear de sentenças interrogativas neutras; (c) a associação de upstep marcando o elemento enfático em sentenças interrogativas antiexpectativa; (d) o rebaixamento da gama de variação tonal no trecho do contorno entoacional correspondente à primeira palavra prosódica e o contorno nuclear em sentenças interrogativas retóricas; (e) as diferenças quanto à densidade tonal em sentenças interrogativas neutras e não-neutras; entre outras características prosódicas especiais associadas a significados pragmáticos específicos. Tais resultados revelam o cumprimento dos objetivos da pesquisa e confirmam nossa hipótese inicial de trabalho. / This study aims to describe the intonational contour of global and partial, neutral and non-neutral interrogative sentences of the Paulista variety of Brazilian Portuguese (BP). We investigate the relation between tonal events assignment and the formation of prosodic domains. Our goal is to find intonational patterns that codigy pragmatic meaning of different clause types of BP interrogative sentences. Our hypothesis is that the total contour has a fundamental role in codifying pragmatic meaning, besides the nuclear contour. In our work, the corpora analyzed includes controlled speech data obtained in a reading task that exposed interrogative sentences along with context to elicit the production of interrogatives with different pragmatic meanings and semicontrolled speech data recorded in a map task. The description and the prosodic analysis of the intonational phrasing of the interrogative sentences of our corpora were developed according to an integrated view of the Autossegmental Metrical approach within the framework of Intonational Phonology (Pierrehumbert 1980; Pierrehumbert & Beckman 1988; Ladd 1996, 2008; Jun 2005/2014; entre outros) and the Prosodic Phonology framework (Selkirk 1984, 1986, 2000; Nespor & Vogel 1986, 2007). Our analysis take into account previous works developed in this same framework and applied to Portuguese (Frota & Vigário 2000; Tenani 2002; Fernandes 2007a, 2007b, Serra 2009, Toneli 2014; and, more specifically regarding interrogative sentences, Moraes 2008, Truckenbrodt, Sandalo & Abaurre 2009, Castelo 2011, 2016 e Frota et. al. 2015a). The results achieved through this investigation reveal that (i) in general, the nuclear contour of interrogative sentences of the Paulista variety of BP show a rising-falling pattern; (ii) the total contour plays an important role in conveying pragmatic meaning of questions; (iii) there are special prosodic characteristics assigned to the total contour that correspond to specific pragmatic meaning, such as: (a) focus and emphasis marking that varies depending on the pragmatic meaning associated with different phrase types; (b) downstep association to the nuclear contour in neutral interrogative sentences; (c) upstep association to the emphatic element in counter expectation sentences; (d) lower tessiture of the range of variation in the portion of the intonational contour corresponding to the first prosodic word and the nuclear contour in rhetoric questions; (e) differences in tonal density between neutral and non-neutral sentences; among other prosodic characteristics associated with specific pragmatic meaning. These results confirm lead us to achieve our objectives and confirm our main hypothesis.

Este trabalho trata da descrição e da análise do fraseamento entoacional do contorno de sentenças declarativas neutras do português falado na Guiné-Bissau (PGB), no que se refere, especificamente, à investigação da relação entre atribuição de eventos tonais ao contorno entoacional e formação de domínios prosódicos. Além disso, faz-se a comparação dos resultados obtidos para o fraseamento entoacional dos dados do PGB com os resultados obtidos para o fraseamento entoacional já descritos em trabalhos anteriores para o português brasileiro (PB) e para o português europeu (PE). Os corpora utilizados para o desenvolvimento deste estudo derivam de dois tipos de discurso (sentenças de leitura e de fala espontânea). A descrição e a análise do fraseamento entoacional das sentenças declarativas neutras contidas nesses corpora é desenvolvido à luz da abordagem Autossegmental e Métrica da fonologia entoacional (PIERREHUMBERT, 1980; BECKMAN; PIERREHUMBERT, 1986; LADD, 1996, 2008; entre outros) e da Fonologia Prosódica (SELKIRK, 1984, 1986, 2000; NESPOR; VOGEL, 1986, 2007; entre outros) e com base em estudos prévios desenvolvidos nesses mesmos quadros teóricos e aplicados ao PB (CUNHA 2000; FROTA; VIGÁRIO 2000; TENANI 2002; FERNANDES, 2007a, 2007b; SERRA 2009; entre outros) e ao PE (GRØNNUM; VIANA, 1999; FROTA, 2000, 2002a, 2002b, 2003; VIGÁRIO, 2003; VIGÁRIO; FROTA, 2003; CRUZ, 2013; entre outros). Os resultados alcançados nesta dissertação revelam características entoacionais do PGB que são similares às encontradas nas demais variedades de português: (i) a frequente atribuição de acentos tonais a palavras fonológicas do contorno entoacional (característica também encontrada no contorno entoacional do PB); (ii) a associação obrigatória de um acento tonal à palavra fonológica cabeça do último sintagma fonológico do sintagma entoacional, seguido por um tom de fronteira associado à fronteira direita desse sintagma (assim como no PB e no PE); (iii) a correspondência do padrão do contorno nuclear do sintagma entoacional das declarativas neutras do PGB com os padrões do contorno nuclear desse mesmo sintagma das sentenças declarativas neutras do PB e das variedades do PE; (iv) a possibilidade de associação de acentos frasais a fronteiras de sintagmas fonológicos (evento tonal que é encontrado associado a sintagmas fonológicos desse mesmo tipo de sentenças em uma das variedades centro-meridionais do PE); e (v) a ocorrência de eventos tonais adicionais H associados a sílabas pretônicas de palavras fonológicas longas do contorno entoacional (semelhante aos tons adicionais encontrados associados a palavras fonológicas também longas no PB). / In this study, we investigate the intonation of neutral declarative sentences of Portuguese of Guinea-Bissau (GBP), with regarding to the investigation of the relation between tonal events assignment and prosodic domains formation. In addition, we compare the results obtained for the analysis of GBP data with the intonational patterns of neutral sentences described on previous works for Brazilian Portuguese (BP) and European Portuguese (EP). For this research, a corpus of two different speech styles (read sentences and spontaneous speech sentences) was used. For the description and analysis of intonational of neutral declarative sentences in this corpus we followed the Autosegmental Metrical aproach within the intonational phonology framework (PIERREHUMBERT, 1980; BECKMAN; PIERREHUMBERT, 1986; LADD, 1996, 2008; among others), the Prosodic Phonology framework (SELKIRK, 1984, 1986, 2000; NESPOR; VOGEL 1986, 2007; among others) and previous studies conducted on those theoretical frameworks and applied to BP (CUNHA; 2000; FROTA; VIGÁRIO, 2000; TENANI 2002; FERNANDES, 2007a, 2007b; SERRA 2009; among others) and EP (GRØNNUM; VIANA, 1999; FROTA, 2000, 2002a, 2002b, 2003; VIGÁRIO, 2003; FROTA; VIGÁRIO, 2003; CRUZ, 2013; among others). The results achieved in this work show that the intonation properties of GBP are similar to those found in the other varieties of Portuguese already studied. These properties are as follow: (i) frequent association of pitch accents with Phonological Words of intonation contour (tonal characteristic also found in BP); (ii) a pitch accent is obligatorily associated with the Phonological Word head of the last Phonological Phrase of a Intonation Phrase, followed by a boundary tone associated with the right edge of that Intonation Phrase (as in BP and EP); (iii) there is a matching in the nuclear contour of GPB neutral declarative sentences with the nuclear contour of BP and varieties of EP neutral declarative sentences; (iv) the possibility of phrasal accents to be associated with phonological phrases boundaries (the same possibility is found for one of the center-southern varieties of EP); and (v) the possibility of H tones to be associated with pretonic syllables of long Prosodic Words (as in BP).

A Engenharia de Requisitos (ER) vem sendo reconhecida como uma área de pesquisa de extrema relevância para o desenvolvimento de sistemas ou artefatos. As maiores causas de falhas ocorridas em projetos são oriundas do processo de aquisição e tradução dos objetivos, necessidades ou restrições estabelecidas pelos clientes e/ou usuários. Estes erros podem aumentar de forma exponencial em projetos que se propõem a desenvolver sistemas ou artefatos que estejam diretamente associados à área cirúrgica, devido a diferença do domínio de conhecimento e o vocabulário entre as mencionadas áreas. Desta forma, verifica-se a importância científica para desenvolver modelos ou métodos que minimizem o problema apresentado. Ajudar na análise e definição, de maneira apurada e precisa, junto ao especialista da área médica, em relação aos movimentos executados em um procedimento minimamente invasivo e auxiliar a área de projetos de engenharia a desenvolver esse tipo de sistema. Este trabalho de dissertação apresenta o desenvolvimento de um modelo de conduta para o processo de eliciação e comunicação de requisitos no cenário em que o desenvolvedor e o especialista pertencem a diferentes domínios, técnicas e linguagens próprias. É também realizada a aplicação prática do modelo, em uma cirurgia minimamente invasiva, em específico à cirurgia da catarata. A aplicação prática foi realizada com o total apoio do Hospital Santa Luzia e do Instituto da Catarata, UNIFESP. / In recent years, the requirements engineering process has become known as a research with extreme relevance for system development. The major failures in projects are caused by the translation requirements, i.e. the task of communicating with customers and users to determine what their requirements are. These mistakes can rise exponentially in system development projects that are directly associated with the area of surgery, because of the difference of knowledge domain and the vocabulary between the mentioned areas (engineering and medicine). In this way rises the scientific importance for models development or methods that minimize the problem presented above. Helping analyzing and defining, in a fine and accurate way, a long with a specialist from the medical area, relating the movements executed in the minimally invasive process and help the area of engineering design develop this type of system. Considering this, we propose in this dissertation the development of a model that show elicitation process and a communication of requirements in a scenario in which the developer and stackholder pretence a different types of domain, techniques and proper languages. The model is also practices in a minimally invasive surgery, especially in cataract surgery. It was practiced with the full support of Santa Luzia Hospital, and the Institute of Cataract, UNIFESP.

A utilização de redes complexas para a descriçãoi de diversos sistemas naturais e artificias,compreendidos nas mais diversas áreas do conhecimento humano, tem se mostrado uma abordagem poderosa para a redução da complexidade inerente a tais sistemas. Em muitos casos, tal complexidade resulta do número de componentes envolvidos e de suas intrincadas relações. Uma forma de reduzir a complexidade associada a tais sistemas, consiste em identificar e agrupar componentes que possuam características similares. Sendo assim, desenvolvemos nesta tese métodos de identificação de comunidades em redes complexas. Tais métodos se baseiam na ideia de que comunidades surgem quando grupos de vértices possuem um número mais elevado de conexões entre os vértices do mesmo grupo do que com vértices externos à este grupo. Além disso, utilizamos a função modularidade como função objetivo e como forma de avaliação e comparação dos resultados obtidos nesta tese com resultados previamente reportados na literatura. Uma vez estabelecido um método de identificação de comunidades, utilizamos a abordagem de redes complexas para a determinação de domínios estruturais de proteínas. Para tal, criamos redes de contato entre os aminoácidos de uma proteí?na buscando representar apenas as ligações relevantes do ponto de vista topológico. Por meio destas representações, aplicamos os métodos de identificação de comunidades desenvolvidos nesta tese, no intuito de identificar domínios estruturais de cadeias proteicas. Por fim, desenvolvemos um método específico para a identificação de domínios em proteínas com dois domínios sequencias, concluindo desta forma, os objetivos propostos nesta tese. / The use of complex networks for the representation of various natural and artificial sys- tems in the most diverse fields of human knowledge, has proven to be a powerful approach for the reduction of the complexity in the study of such systems. In many cases, this complexity emerges from the number of components of the system and from the intricate relationship between them. A reduction in this complexity is made possible by the iden- tification and grouping of the components of the system with similar characteristics. In this way, we developed in this thesis, methods for community identification in complex networks. Such methods are based on the notion that communities arise when groups of vertices are more densely connected with vertices of their same group, than with ver- tices belonging to other groups in the network. Moreover, the modularity function has been used as an objective function, and as a score for the evaluation and comparison of the results obtained in this thesis with the results reported in the literature of complex networks. Upon the establishment of a method for community detection, we used the framework of complex networks to the determination of structural protein domains. The- refore, we have created contact networks of amino acids of protein chains, focusing on the representation of only the most relevant interactions between them, from a topological point of view. We have applied to these networks the methods for community identi- fication developed in this thesis, aiming to identify the structural domains of proteins. Finally, we have developed a specific method for the identification of protein domains in protein chains with two sequential domains, concluding in this way, the objectives proposed in this thesis.

Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no conjunto de funções somente aquelas que, além de contínuas no sentido de Scott - preservam supremos de conjuntos dirigidos, também são estáveis e lineares. Um topos e uma categoria Cartesiana fechada com classificador de subobjetos. Isso faz com que todo topos se comporte como Set (conjuntos como objetos e funções como morfismos), ou seja, uma categoria na qual as interpretações de suas construções básicas seguem a Teoria dos Conjuntos. Entre as categorias de Espaços Coerentes, tem-se a categoria STAB, cujos objetos são os espaços coerentes e os morfismos são funções estáveis entre esses espaços, que é uma categoria cartesiana fechada. Isto significa que STAB é uma categoria especial no sentido computacional: além de possuir o produto binário para todos os seus objetos, STAB apresenta objeto exponencial e morfismo de avaliação, garantindo significado para processos computacionais. A subcategoria LIN da categoria STAB, cujos morfismos são as funções lineares, não é uma categoria cartesiana fechada. Entretanto, LIN é uma categoria monoidal simétrica que e fechada. Este, condição e suficiente para que em LIN também se tenha a garantia de se obter significado para processos computacionais. Apresenta-se então, uma interpretação computacional da estrutura destas categorias e uma análise das mesmas do ponto de vista de topos, isto é, da existência ou não de classificador de subobjetos. / This work proposes the study of coherent spaces from the point of view of the Topos Theory, that is, it consists of an analysis of the main categories of coherent spaces in terms of topos. The coherent spaces make up a kind of domain which presents some peculiarities that separate it from the rest, for example, in the complex whole of the functions it only considers permissible, those which, apart from being continuous in the sense of Scott - preserving supremo of directed sets, it is also stable and linear. A topos is a Cartesian closed with subobject classifier. This makes topos behaves like Set (sets as objects and functions as morphisms), that is, a category in which the interpretations of its basic constructions follow the Theory of Sets. Among the categories of Coherent Spaces, there is the STAB category, a closed Cartesian category, the objects of which are the coherent spaces, having morphisms as stable functions among these spaces. This means that STAB is a special category in the computational sense: apart from having a binary product for all its objects, STAB presents an exponential object and a morphism of evaluation, ensuring meaning for computational processes. The subcategory LIN of the STAB category, the morphisms of which are linear functions, is not a closed Cartesian category. However, LIN is a symmetrical monoidal category which is closed. This condition is sufficient to also have in LIN the guarantee of obtaining meaning for computational processes. Thus, a computational interpretation of the structure of these categories will be presented, as well as an analysis of them from the point of view of the Topos Theory, that is, if subobject classifier exists or not.

No contexto do gerenciamento de redes de computadores, domínios são recursos utilizados para agrupar objetos gerenciáveis. Os mapas de rede utilizados pelos sistemas de gerenciamento são exemplos bastante comuns do uso de domínios. Domínios são importantes porque as ações de gerenciamento podem ser aplicadas a todos os objetos gerenciáveis membros de um domínio ao mesmo tempo, não sendo necessário, então, repetir a mesma ação em cada objeto gerenciável, um a um. Domínios que necessitam ser rapidamente criados, utilizados e descartados são referenciados nesta dissertação de mestrado como domínios dinâmicos. Atualmente, na maioria dos sistemas de gerenciamento de redes não existem facilidades disponíveis para suportar o conceito desse tipo de domínios. Em relação aos aspectos de visualização, a apresentação visual de domínios deve ser realizada de forma adequada, visto que, atualmente, as GUIs estão presentes na maioria dos sistemas de gerenciamento. Entretanto, os processos de visualização de domínios utilizados pelos sistemas de gerenciamento atuais apresentam limitações em relação à configuração de características visuais dos domínios apresentados. Essas características são estáticas, não permitindo ao usuário, dessa forma, escolher como deseja visualizar um determinado domínio. Nesta dissertação de mestrado são apresentados a definição e o desenvolvimento de duas novas linguagens que têm por objetivo aperfeiçoar a criação e a visualização de domínios dinâmicos. A primeira linguagem é baseada em um modelo de informação do ambiente gerenciado e é utilizada para criar, de forma automatizada, novos domínios dinâmicos. Tal modelo de informação é formado por classes, atributos e relacionamentos entre as classes. A segunda linguagem, por sua vez, é usada para configurar características visuais dos domínios dinâmicos criados por meio da primeira linguagem. Esta dissertação apresenta, também, um protótipo desenvolvido para suportar as linguagens de criação e visualização de domínios dinâmicos criadas. A partir desse protótipo, é possível criar domínios dinâmicos relacionados a informações da rede de computadores utilizada, bem como personalizar a visualização dos domínios dinâmicos criados. Além disso, o protótipo possibilita, também, a obtenção de algumas informações dos membros dos domínios dinâmicos criados. O protótipo é baseado na Web e foi desenvolvido utilizando-se as tecnologias PRECCX, PHP, MySQL e SNMP. Como será visto ao final, as linguagens definidas e o protótipo desenvolvido mostram que o suporte a domínios dinâmicos objetivado pode ser efetivo e melhorar, sensivelmente, os processos de gerenciamento de redes. A integração da implementação desenvolvida junto ao ambiente QAME, por exemplo, permite atualmente que os administradores possam selecionar, através das linguagens, os equipamentos de uma rede com QoS que precisam ser configurados através do processo de aplicação de políticas original do QAME. / In the computer networks management context, domains are facilities used to group managed objects. The network maps presented in the management systems are the most common examples of the use of domains. Domains are important because the management actions can be applied to all managed objects that are members of a domain at the same time, not being necessary, then, to repeat the same action in each managed object one by one. Domains that need to be quickly created, used and discarded are referenced in this work as dynamic domains. Currently, in the majority of the available network management systems there are no proper facilities to support this type of domains. Concerning the visualization aspects, the domains visual presentation must be carried through of adjusted form, since, currently, the GUIs are present in the majority of the management systems. However, the domains visualization processes used by the current management systems present limitations related to the visual features configuration of the presented domains. These features are static, not allowing the user, this way, to choose how he or she desires to visualize one determined domain. This work presents the definition and the development of two new languages whose goals is to enhance the creation and the visualization of dynamic domains. The first language is based on a managed environment information model and is used to create, forming an automated fashion, new dynamic domains. Such information model is formed by classes, attributes and relationships between the classes. The second language, on its turn, is used to configure visual features of the dynamic domains created by the first language. This work also presents a prototype developed to support the defined dynamic domains creation and visualization languages. With this prototype it is possible to create dynamic domains based on the information of the computer network used, as well as customizing the visualization of the dynamic domains created. Moreover, the prototype makes possible the attainment of some members information of the dynamic domains created. The prototype is based on the Web and was developed using technologies as PRECCX, PHP, MySQL and SNMP. As will be seen in the end, the defined languages and the developed prototype shows that the desired dynamic domains support can be effective and improve, significantly, the network management processes. The integration of the implementation developed together to the QAME environment, for example, allows currently that the administrators can select, through the languages, the QoS network devices that need to be configured through the original policies application process of the QAME.

Submitted by Mario Santos (naturezageo@gmail.com) on 2017-10-23T12:35:10Z No. of bitstreams: 1 capa.dura TESE FINAL MARIO.SANTOS fotonacapa.pdf: 7629408 bytes, checksum: 7acc5e701ce0e58f63b8157f8cc63ac8 (MD5) / Approved for entry into archive by Maria Alice Ribeiro (malice@ufba.br) on 2017-12-01T16:15:48Z (GMT) No. of bitstreams: 1 capa.dura TESE FINAL MARIO.SANTOS fotonacapa.pdf: 7629408 bytes, checksum: 7acc5e701ce0e58f63b8157f8cc63ac8 (MD5) / Made available in DSpace on 2017-12-01T16:15:48Z (GMT). No. of bitstreams: 1 capa.dura TESE FINAL MARIO.SANTOS fotonacapa.pdf: 7629408 bytes, checksum: 7acc5e701ce0e58f63b8157f8cc63ac8 (MD5) / Esta tese tem como tema central a ação política com vistas à gestão de uma Reserva Extrativista (Resex) Marinha no município de Canavieiras-BA. A partir da concepção fenomênica do mundo, a compreensão da existência humana fez-se ao considerar a dimensão espacial sendo significada e adquirindo sentido a partir dos saberes, dos fazeres e das geograficidades, fenômenos que traduzem e evidenciam a cumplicidade entre o ente ser humano e a Terra. É por meio dessa cumplicidade que o Dasein (Existenz) se realiza em sua espacialidade intrínseca. Neste sentido, as geograficidades de pescadores e marisqueiras artesanais compõem todo o universo de saberes e fazeres, com sua compreensão sobre a natureza, presentes no mundo, nos territórios e nos lugares de realização dessa pesquisa. Assim, os saberes geográficos subsidiados pela ciência da cognição e pela fenomenologia cumpriram o papel de guia para que, a partir do diálogo entre saberes, fosse apresentado um estudo sobre gestão territorial em Unidades de Conservação de Uso Sustentável. A Resex Marinha de Canavieiras foi criada em 2006 e desde então seus moradores passam por um longo e rico processo de formação de um corpo político e organização comunitária do tecido social. Esse processo resultou até o momento num cenário no qual a ação política realizada a partir dos princípios da autonomia, do diálogo e da partilha passou a forjar a atuação da Associação Mãe dos Extrativistas Marinhos da Resex de Canavieiras – AMEX. Com isso, o modelo de gestão por ela defendido e praticado possui os princípios elencados para a realização da política. Entende-se que tais princípios garantem a consensualidade mínima exigida para a ação e o sentido da política nasce nesse âmbito coletivo comum às condutas consensuais recursivas. Logo, a ação política e a vida social sadia são continuum que se realizam na dinâmica do Dasein e do ser-no-mundo. A coesão na organização do tecido social e do corpo político são destaques na gestão da Resex e a participação e atuação da AMEX vem transformando o cenário da gestão territorial na região e, ao mesmo tempo, cumprindo um papel substancial para o processo de educação política e ação comunitária, fortalecido com a presença da unidade. Ao compreender o universo do extrativismo marinho de pescadores e marisqueiras artesanais, compreende-se a essencialidade de seus saberes e fazeres para todo o processo e dinâmica de gestão da área, pois esse universo de intersubjetividades implica no surgimento de sentimentos de cuidado e zelo para com a natureza presente no mundo circundante, junto às práticas sociais essencialmente conservacionistas. Nesse cenário e meio às reflexões e estudos para essa pesquisa, surge uma demanda de alteração no modelo de cogestão proposto pelo SNUC em 2000 para um modelo de autogestão territorial com apoio e parceria do ICMBio e do MMA. Contudo, seria direcionado para a construção de cenários social e político favoráveis a um processo autogestionário dos territórios comunitários (Tradicionais). A relação que o Estado estabelece com as comunidades tradicionais e seus territórios deve sair de uma concepção regulatória e alcançar uma compreensão emancipatória. Essa transformação passa necessariamente pela consideração de geograficidades alheias e da pluralidade humana em sua coexistência cotidiana. Deste modo, os papeis do ICMBio e do MMA seriam ressignificados e a noção de extensionismo rural transformada em ações públicas emancipatórias e de organização da coesão do tecido social e da criação de um corpo político. Essas ações passam a ser responsabilidades e intencionalidades do Estado em sua relação com os povos e as comunidades tradicionais, no que tange a gestão dos seus territórios. / Cette thèse a comme thème central l’action politique em vue de la gestion d’une réserve de collecte (extrativiste, appelée resex) marine dans la commune de Canavieiras, à Bahia. A partir de la conception phénoménique du monde, la compréhension de l’existence humaine se fait en considérant la dimension spatiale comme étant signifiée et acquérant un sens à partir des savoirs, des faire et des géographicités, phénomènes qui traduisent et mettent en évidence la complicité entre l’être humain et la Terre. C’est par cette complicité que la pré-sence (ou réalité humaine) se réalise dans sa spatialité intrinsèque. Dans ce sens, les géographicités de pêcheurs et collectrices de fruits de mer artisanaux composent tout l’univers de savoirs et savoirs-faire, avec leur compréhension du monde et de la nature présente dans l’univers empirique de cette recherche. Ainsi, les savoirs géographiques appuyés par la science de la cognition et par la phénoménologie remplirent leur rôle de guide pour, qu’à partir du dialogue entre savoirs, soit présentée une étude sur la gestion territoriale en aires protégées d’usage durable. La resex marine de Canavieiras fut créée en 1006 et depuis lors, ses habitant traversent un riche et long processus de formation d’un corpos politique d’organisation communautaire du tissu social. Ce processus résulta jusqu’à présent en un scénario dans lequel l’action politique réalisée à partir des principes d’autonomie, de dialogue et de partage a marqué l’agissement de l’Association-Mère des Extrativistes Marins de Canavieiras (AMEX). Par conséquent, le modèle de gestion défendu et pratiqué par elle possède les principes énoncés pour la réalisation de la politique. On comprend que de tels principes garantissent la consensualité minimum exigée pour l’action et pour que le sens de la politique naisse dans ce colletif commun aux conduites consensuelles récursives. L’action politique et la vie social saine constituent donc un continuum qui se réalisent dans la dynamique de la pré-sence de l’être-dans-le-monde. La cohésion dans l’organisation du tissu social et du corps politique se distinguent dans la gestion de la resex ; la participation et la forme d’agir de l’AMEX est en train de transformer le scénario de la gestion territoriale de la région et, en même temps, de remplir un rôle substantiel pour le processus d’éducation politique et d’action communautaire, consolidé avec la présence de l’aire protégée. En comprenant l’univers de l’extrativisme marin des pêcheurs et collectrices de fruits de mer artisanaux, on comprend l’essencialité de leurs savoirs et savoirs-faire pour tout le processus et la dynamique de gestion de l’aire, car cet univers d’inter-subjectivités implique le surgissement de sentiments de soin zélé envers la nature présente dans le monde environnant lors des pratiques sociales essentiellement conservationnistes. Dans ce scénario et plongé dans les réflexions et études pour cette recherche, surgit une demande d’altération du modèle de co-gestion proposé par le Système National d’Unités de Conservation (SNUC) en 2000 par un modèle d’auto-gestion territoriale avec l’appui et le partenariat de l’organisme environnemental, ICMBio, et du Ministère de l’Environnement (MMA). Cependant, il serait dirigé vers la constructin d’un scénario social et politique favorable à processus auto-gestionnaire des territoires communautraires (traditionnels). La relation que l’Etat établit avec les communautés traditionnelles et leurs territoires doit quitter la conception régulatoire et atteindre une compréhension émancipatoire. Cette transformation passe nécessairement par la considération de géographicités étrangères et de la pluralité humaine dans sa co-existence quotidionne. Ainsi, les rôles de l’ICMBio et du MMA seraient ressignifiés et la notion d’assistance rurale transformée en actions publiques émancipatoires et d’organisation de la cohésion du tissu social et de la création d’un corps politique. Ces actions deviennent des responsabilités et des intentionnalités de l’Etat dans sa relation avec les peuples et les communautés traditionnelles en ce qui concerne la gestion de leurs territoires.

TEIXEIRA, Daniel Nascimento. Uma técnica de decomposição a priori para geração paralela de malhas bidimensionais. 2014. 95 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2014. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T12:51:06Z No. of bitstreams: 1 2014_dis_dnteixeira.pdf: 17919971 bytes, checksum: 092ad12b33cf64a31552e6a839a5a5bc (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T12:49:53Z (GMT) No. of bitstreams: 1 2014_dis_dnteixeira.pdf: 17919971 bytes, checksum: 092ad12b33cf64a31552e6a839a5a5bc (MD5) / Made available in DSpace on 2016-07-15T12:49:53Z (GMT). No. of bitstreams: 1 2014_dis_dnteixeira.pdf: 17919971 bytes, checksum: 092ad12b33cf64a31552e6a839a5a5bc (MD5) Previous issue date: 2014 / This work describes a technique of two-dimensional domain decomposition for parallel mesh generation. This technique works for both distributed and shared memory and has the freedom to use any data structure that manages rectangular regions parallel to the axes to decompose the domain given as input, such as a quaternary tree (quadtree) or a binary space decomposition (bsp), for example. Any process of mesh generation that respects the prerequisites established can be used in the subdomains created, for instance, Delaunay or Advancing Front, among others. This technique is called a priori because the mesh on the interface of the subdomains is generated prior to the their internal meshes. The load estimation for each sub-domain in this work is performed with the aid of a refined quadtree, whose level of refinement guides the creation of edges that are defined from the bounderies of only inner cells. This way of estimate load produces results that accurately represent the number of elements to be generated in each subdomain. That contributes to a good partitioning of the domain, making the mesh generation in parallel be significantly faster than the serial generation. Furthermore, the quality of the generated mesh in parallel is qualitatively equivalent to that generated serially within acceptable limits. / Este trabalho descreve uma técnica de decomposição de domínios bidimensionais para geração em paralelo de malhas. Esta técnica funciona tanto para memória distribuída quanto compartilhada, além de permitir que se utilize qualquer estrutura de dados que gere regiões quadrangulares paralelas aos eixos para decompor o domínio dado como entrada. Pode se utilizar por exemplo, uma árvore quaternária (quadtree) ou uma partição binária do espaço (bsp). Além disso, qualquer processo de geração de malha que respeite os pré-requisitos estabelecidos pode ser empregado nos subdomínios criados, como as técnicas de Delaunay ou Avanço de Fronteira, dentre outras. A técnica proposta é dita a priori porque a malha de interface entre os subdomínios é gerada antes das suas malhas internas. A estimativa de carga de processamento associada a cada subdomínio é feita nesse trabalho com a ajuda de uma quadtree refinada, cujo nível de refinamento orienta a criação das arestas que são definidas a partir da discretização das fronteiras das células internas. Essa maneira de estimar carga produz resultados que representam, com boa precisão, o número de elementos a serem gerados em cada subdomínio. Isso contribui para um bom particionamento do domínio, fazendo com que a geração de malha em paralelo seja significativamente mais rápida do que a geração serial. Além disso, a qualidade da malha gerada em paralelo é qualitativamente equivalente àquela gerada serialmente, dentro de limites aceitáveis.