Uma das maiores restrições que existe atualmente no fluxo de projeto de CIs é a necessidade de um ciclo menor de desenvolvimento. Devido às grandes dimensões dos sistemas atuais, é muito provável encontrar no projeto de blocos IP, erros ou bugs originados na passagem de uma dada especificação inicial para seus correspondentes modelos de descrição de hardware. Isto faz com que seja necessário verificar tais modelos para garantir aplicações cem por cento funcionais. Uma das técnicas de verificação que tem adquirido bastante popularidade recentemente é a verificação funcional, uma vez que é uma alternativa que ajuda a manter baixos custos de validação dos modelos HDL ao longo do projeto completo do circuito. Na verificação funcional, que está baseada em ambientes de simulação, a funcionalidade completa (ou relevante) do modelo é explorada, aplicando-se casos de teste, um após o outro. Isto permite examinar o modelo em todas as seqüências e combinações de entradas desejadas. Na verificação funcional, existe a possibilidade de simular o modelo estimulando-o com casos de teste aleatórios, o qual ajuda a cobrir um amplo número de estados. Para facilitar a aplicação de estímulos em simulação de circuitos, é comum que espaços definidos por parâmetros de entrada sejam limitados em sua abrangência e agrupados de tal forma que subespaços sejam formados. No desenvolvimento de testbenches, os geradores de estímulos aleatórios podem ser criados de forma a conter subespaços que se sobrepõem (resultando em estímulos redundantes) ou subespaços que contenham condições que não sejam de interesse (resultando em estímulos inválidos). É possível eliminar ou diminuir, os casos de teste redundantes e inválidos através da aplicação de metodologias de modificação do espaço de estímulos de entrada, e assim, diminuir o tempo requerido para completar a simulação de modelos HDL. No presente trabalho, é realizada uma análise da aplicação da técnica de organização do espaço de entrada através de domínios de parâmetros do IP, e uma metodologia é desenvolvida para tal, incluindo-se, aí, uma ferramenta de codificação automática de geradores de estímulos aleatórios em linguagem SyatemC: o GET_PRG. Resultados com a aplicação da metodologia é comparada a casos de aplicação de estímulos aleatórios gerados a partir de um espaço de estímulos de entrada sem modificações.Como esperado, o número de casos de teste redundantes e inválidos aplicados aos testbenches foi sempre maior para o caso de estimulação aleatória a partir do espaço de estímulos de entrada completo com um tempo de execução mais longo. / One of the strongest restrictions that exist throughout ICs design flow is the need for shorter development cycles. This, along with the constant demand for more functionalities, has been the main cause for the appearance of the so-called System-on-Chip (SOC) architectures, consisting of systems that contain dozens of reusable hardware blocks (Intellectual Properties, or IPs). The increasing complexity makes it necessary to thoroughly verify such models in order to guarantee 100% functional applications. Among the current verification techniques, functional verification has received important attention, since it represents an alternative that keeps HDL validation costs low throughout the circuits design cycle. Functional verification is based in testbenches, and it works by exploring the whole (or relevant) models functionality, applying test cases in a sequential fashion. This allows the testing of the model in all desired input sequences and combinations. There are different techniques concerning testbench design, being the random stimulation an important approach, by which a huge number of test cases can be automatically created. In order to ease the stimuli application in circuit simulation, it is common to limit the range of the space defined by input parameters and to group such restricted parameters in sub-spaces. In testbench development, it may occur the creation of random stimuli generators containing overlapping sub-spaces (resulting in redundant stimuli) or sub-spaces containing conditions of no interest (resulting in invalid stimuli). It is possible to eliminate, or at least reduce redundant and invalid test cases by modifying the input stimuli space, thus, diminishing the time required to complete the HDL models simulation. In this work, the application of a technique aimed to organize the input stimuli space, by means of IP parameter domains, is analyzed. A verification methodology based on that is developed, including a tool for automatic coding of random stimuli generators using SystemC: GET_PRG. Results on applying such a methodology are compared to cases where test vectors from the complete verification space are generated. As expected, the number of redundant test cases applied to the testbenches was always greater for the case of random stimulation on the whole (unreduced, unorganized) input stimuli space, with a larger testbench execution time.

Exon shuffling foi primeiramente proposto por Walter Gilbert em 1978 como um mecanismo em que exons de diferentes genes podem ser combinados, levando à formação de novos genes. O mecanismo de exon shuffling é favorecido por recombinações intrônicas e está correlacionado com a simetria de exons. Evidências deste mecanismo provém de análises de combinações de fases de introns, correlações entre bordas de exons e de domínios protéicos e da recorrência de domínios em diversas proteínas. Dessa forma, a evolução de proteínas formadas por exon shuffling pode ser inferida considerando a organização exon-intron dos genes, o padrão de combinações de fases de introns e a organização de domínios nas proteínas. Neste sentido, regiões protéicas que possivelmente foram originadas por eventos de exon shuffling foram identificadas através de análises em larga escala em diferentes espécies eucarióticas. A estratégia foi baseada no alinhamento entre todas as proteínas anotadas de uma determinada espécie e a verificação da presença de introns e suas respectivas fases em torno das regiões alinhadas. Nós verificamos que eventos de exon shuffling em eucariotos antigos, de origem anterior aos Metazoa, são predominantemente simétricos 0-0, enquanto nos metazoários a predominância é de unidades simétricas 1-1. Esses dados confirmam idéias anteriores de que a transição para a multicelularidade animal foi marcada pelo embaralhamento extensivo de exons e domínios 1-1. O metazoário basal Trichoplax adhaerens pode ser considerado um representante desta transição, evidenciada pelas freqüências balanceadas de regiões simétricas 0-0 e 1-1. O sinal de flanqueamento por introns em torno das bordas de domínios protéicos confirmou os resultados obtidos através dos alinhamentos, com a prevalência de domínios 0-0 em não metazoários e 1-1 em metazaoários. Um agrupamento hierárquico de domínios flanqueados por introns foi construído, permitindo identificar domínios ou grupos de domínios com evidência de expansões em períodos específicos, como nos vertebrados. Por fim, os genes envolvidos em eventos de exon shuffling foram analisados quanto ao enriquecimento em termos do Gene Ontology. Os resultados indicaram que este mecanismo contribuiu significativamente para a formação de genes relacionados com uma grande diversidade de termos, alguns dos quais envolvidos diretamente com características de metazoários e vertebrados, tais como matriz extracelular, adesão, coagulação sangüínea, processos do sistema imune e sistema nervoso / Exon shuffling was first proposed by Walter Gilbert in 1979 as a mechanism in which exons from different genes could be combined to lead the creation of new genes. The mechanism of exon shuffling is favored by intronic recombinations and it is correlated with symmetry of exons. Evidence of this mechanism come from analyses of intron phase combinations, correlations between the borders of exons and domains and domain recurrence in several proteins. Taking this into account, the evolution of proteins formed by exon shuffling can be inferred regarding the exonintron organization of the genes, the pattern of intron phase combinations and the protein domain organization. In this sense, protein regions that were probably arose by exon shuffling events were identified through a large scale analysis in several eukaryotic species. The strategy was based on alignments between all annotated proteins from a given species. Then, the aligned regions were verified in respect with intron phase combinations surrounding them. We have found that exon shuffling events in early eukaryotes are preferentially symmetric of phase 0, while in metazoans, the preference is for 1-1 symmetric units. These data confirms previous ideas that the transition to animal multicellularity was marked by extensive 1-1 exon shuffling. The basal metazoan Trichoplax adhaerens is a representative of this transition, evidenced by the balanced frequencies of 0-0 and 1-1 symmetric regions. The signal of intron flanking around the borders of protein domains corroborated previous analyses, showing that non metazoans have higher frequencies of 0-0 domains and metazoans have higher frequencies of 1-1 domains. A hierarchical clustering of domains flanked by introns was built, allowing us to identify domains or groups of domains with evidence of expansions during specific periods, such as in vertebrates. Finally, genes involved in exon shuffling events were analyzed regarding the Gene Ontology enriched terms. The results indicated that this mechanism significantly contributed to the creation of genes related with a large diversity of terms, some of them are directly involved with features of metazoans and vertebrates, such as extracellular matrix, cell adhesion, blood coagulation and immune and nervous system processes

Submitted by Emanuel Varela Cardoso (emanuel.varela@ufcg.edu.br) on 2018-09-24T17:16:28Z No. of bitstreams: 1 DOMINGOS SÁVIO APOLÔNIO SANTOS – DISSERTAÇÃO (PPGCC) 2002.pdf: 785821 bytes, checksum: ad5def5ae29a4a397b01429c9d573491 (MD5) / Made available in DSpace on 2018-09-24T17:16:28Z (GMT). No. of bitstreams: 1 DOMINGOS SÁVIO APOLÔNIO SANTOS – DISSERTAÇÃO (PPGCC) 2002.pdf: 785821 bytes, checksum: ad5def5ae29a4a397b01429c9d573491 (MD5) Previous issue date: 2002-07-30 / Este trabalho trata da aplicabilidade da tecnologia Resource Description Framework – RDF na interoperabilidade entre diferentes domínios. O tema é desenvolvido com uma fundamentação teórica e com um estudo de caso, através do qual são desenvolvidas aplicações para a Web, interoperáveis via RDF. O objetivo específico é traçar uma estratégia para aplicar RDF, exemplificando-a através do estudo de caso. Neste estudo, promove-se a interoperabilidade entre dois domínios (Anúncios Classificados e Serviços de Cartórios), aplicando Resource Description Framework em serviços na Web. Algumas características deste trabalho são: o processo de desenvolvimento das aplicações é baseado no RUP – Rational Unifield Process; os esquemas RDF dos domínios são criados durante a fase de elaboração de cada aplicação a partir do modelo de classes do domínio inicialmente representado através da UML; as aplicações Web para cada domínio são desenvolvidas com características das chamadas Semantic Web Applications, utilizando as especificações RDF para mostrar a interoperabilidade entre elas. Por fim, o trabalho é concluído com algumas análises e comentários acerca dos resultados alcançados com o estudo de caso, e são feitas algumas sugestões para subsidiar trabalhos futuros na área. / This work is a study of the applicability of The Resource Description Framework (RDF) on the interoperability of data between different domains. First, the theoretical context of the theme is given, followed by a case study about the development of Interoperable Web Applications by RDF. The specific objective is presented a strategy for the application of the RDF, demonstrating it through a case study. In this work, the interoperability of two domains (Classified Ads and Notorial Services) is demonstrated through web applications. Some features of this work are presented as the following. The development process of the solution is RUP based (Rational Unifield Process). The RDF schemas of the domains are created during the elaboration phase of each application using the UML language. The Applications for each domain are built with features of Semantic Web Applications, applying RDF specifications, to promote the interoperability between them. In conclusion, some final analyses, comments and conclusions are made about the results of the case study, as well as suggestions for future research are presented.

O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicada às construções determinísticas, incluindo dois tipos especiais de paralelismo - o espacial, com memória e processos infinitos definidos por estruturas matriciais, que operam sobre dimensões independentes, de forma sincronizada; e o temporal, na versão genérica do modelo, com memória global transfinita e processos distribuídos num conjunto enumerável de máquinas geométricas, sincronizadas no tempo. O modelo contempla interpretação para computações não-determinísticas e prevê a aplicação de operadores exponenciais na interpretação do espaço funcional. A noção mais intuitiva deste trabalho está na definição da relação de coerência, que define o grafo sobre o qual se constrói este domínio semántico. Sobre o conjunto de pontos compatíveis de tais grafos, a coerência estrita interpreta a condição implícita para modelar o paralelismo - a concorrência entre posições de memória. Na construção dual, justificada pela presença da negação involutiva no grafo complementar, a incoerência interpreta a condição para o não-determinismo - o conflito de acesso à memória. Para os demais construtores, o produto sequencial e a soma determinística, consideram-se os endofunctores produto e soma direta da categoria CospLin dos espaços coerentes e funções lineares. A estrutura ordenada deste modelo é formalizada pelo espaço coerente D∞ de todos os processos, construído em níveis a partir do espaço coerente D∞ dos processos elementares, seguindo a metodologia proposta por Scott [SCO 76]. Neste sentido, cada nível da construção está identificado por um subespaço Dn que reconstrói todos os objetos do nível anterior, preservando suas propriedades e relações, além de construir os novos objetos. Compatível com a abordagem algébrica, o relacionamento entre os níveis é expresso por funções lineares denominadas imersões e projeções, interpretanto os construtores de processos e seus destrutores, respectivamente. Pelo procedimento de completação, assegura-se a existência do menor ponto fixo para equações recursivas definidas pela composição infinita destes morfismos. Além disso, as interpretações para processos infinitos, construídos por prefixação, apresentadas em D→∞ comprovam que este modelo é compatível com a diversidade dos construtores. O espa¸co coerente D∞2 dos processos transfinitos generaliza a construção e define a estrutura ordenada do modelo de máquina geométrica distribuída. Seus objetos são subconjuntos coerentes de tokens rotulados por posições do espaço geométrico e indexados por subconjuntos isomorfos aos ordinais transfinitos. O espaço coerente S S dos traços lineares de funções definidas sobre o espaço coerente S dos estados computacionais constitui-se no modelo semântico para análise do comportamento associado a cada processo interpretado em D∞. A definição da função de representação introduz um domínio de expressões que formaliza uma linguagem capaz de expressar, de forma mais operacional, as interpretações obtidas neste modelo de m´aquina. Cada uma das expressões válidas na linguagem é compatível com uma expressão gráfica. / This work presents a theoretical investigation of the constructive, intuitive and ordered structure of the coherence spaces, introduced by Girard, in order to define the geometric machine model for interpretation of computational states and processes labelled by positions of a geometric space. This interpretation can be applied to deterministic process constructions, including two special types of parallelism - the temporal parallelism, with infinite memory and infinite processes defined over array structures, that operate over independent dimensions in a synchronized way; and the spatial parallelism, in a generic version of the model, with a transfinite global memory shared by transfinite processes distributed in a enumerable set of geometric machines, synchronized in the time. The work also provides interpretation to the non-deterministic computations and applies the exponential operators in the interpretation of the functional space. The most basic notion of this work is the definition of the coherence relation as the admissibility of parallelism between basic operations (elementary processes). That relation defines the web over which the coherence space of the whole set of deterministic and non-deterministic processes is step-wise and systematically build. Over the set of the compatible points of such graph, the strict coherence interprets the implicity condition to model parallelism - the true concurrence. In the dual construction, justified by the presence of involutive negation in the complementary graph, the incoherence interprets the condition that models non-determinism - the conflict of memory accesses. The other constructors, the sequential product and the deterministic sum, are defined by the endofunctors in the CospLin category of the coherence spaces and linear functions. The ordered structure of this model is formalized by the coherence space D∞ of all processes, constructed by levels from the coherence space D0 of the elementary processes, following the Scott’s methodology [SCO 76]. In this sense, each level is identified by a subspace Dn, which reconstructs all the objects from the level before, preserving their properties and relations, and drives the construction of the new objects. Compatible with the algebraic-theoretic approach to computational processes, the relationship between the levels is expressed by linear functions called embedding and projection-functions, which interpret constructors and destructors of processes, respectively. The completion procedure guarantees the existence of the least fixed point to the recursive equations, defined by infinite composition of these morphisms. In addition, the interpretation for infinite processes constructed by prefix is presented in D→∞ , confirms that the ordered structure of these model is compatible with the diversity of constructors. The coherence space D∞2 of transfinite processes generalizes the construction and defines the ordered structure of the distributed geometric machine model. Its objects are coherent subsets of tokens labelled by the positions of a geometric space and indexed by isomorphic subsets related to the transfinite ordinal numbers. In order to analyze the behavior related to the interpretations in D∞, the coherence space S S of the linear traces of functions, defined over the coherence space S of the computational states, is introduced. The definition of the representation-function induces the construction of the domain Ω of valid expressions and formalizes a (graphic) language which is able to express, in an more operational way, the interpretations obtained in the geometric machine model.

SOMBRA, Tiago Guimarães. Geração adaptativa de malhas de superfícies paramétricas em paralelo com controle de curvatura. 2016. 71 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2016. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T19:12:42Z No. of bitstreams: 1 2016_dis_tgsombra.pdf: 7997002 bytes, checksum: 8e8712a9b19d272a16ac263f62596436 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-22T16:43:38Z (GMT) No. of bitstreams: 1 2016_dis_tgsombra.pdf: 7997002 bytes, checksum: 8e8712a9b19d272a16ac263f62596436 (MD5) / Made available in DSpace on 2016-07-22T16:43:38Z (GMT). No. of bitstreams: 1 2016_dis_tgsombra.pdf: 7997002 bytes, checksum: 8e8712a9b19d272a16ac263f62596436 (MD5) Previous issue date: 2016 / This work describes a technique for generating parametric surfaces meshes using parallel computing, with distributed memory processors. The input for the algorithm is a set of parametric patches that model the surface of a given object. A structure for spatial partitioning is proposed to decompose the domain in as many subdomains as processes in the parallel system. Each subdomain consists of a set of patches and the division of its load is guided following an estimate. This decomposition attempts to balance the amount of work in all the subdomains. The amount of work, known as load, of any mesh generator is usually given as a function of its output size, i.e., the size of the generated mesh. Therefore, a technique to estimate the size of this mesh, the total load of the domain, is needed beforehand. This work makes use of an analytical average curvature calculated for each patch, which in turn is input data to estimate this load and the decomposition is made from this analytical mean curvature. Once the domain is decomposed, each process generates the mesh on that subdomain or set of patches by a quad tree technique for inner regions, advancing front technique for border regions and is finally applied an improvement to mesh generated. This technique presented good speed-up results, keeping the quality of the mesh comparable to the quality of the serially generated mesh. / Este trabalho descreve uma técnica para gerar malhas de superfícies paramétricas utilizando computação paralela, com processadores de memória compartilhada. A entrada para o algoritmo é um conjunto de patches paramétricos que modela a superfície de um determinado objeto. Uma estrutura de partição espacial é proposta para decompor o domínio em tantos subdomínios quantos forem os processos no sistema paralelo. Cada subdomínio é formado por um conjunto de patches e a divisão de sua carga é guiada seguindo uma estimativa de carga. Esta decomposição tenta equilibrar a quantidade de trabalho em todos os subdomínios. A quantidade de trabalho, conhecida como carga, de qualquer gerador de malha é geralmente dada em função do tamanho da saída do algoritmo, ou seja, do tamanho da malha gerada. Assim, faz-se necessária uma técnica para estimar previamente o tamanho dessa malha, que é a carga total do domínio. Este trabalho utiliza-se de um cálculo de curvatura analítica média para cada patch, que por sua vez, é dado de entrada para estimar esta carga e a decomposição é feita a partir dessa curvatura analítica média. Uma vez decomposto o domínio, cada processo gera a malha em seu subdomínio ou conjunto de patches pela técnica de quadtree para regiões internas, avanço de fronteira para regiões de fronteira e por fim é aplicado um melhoramento na malha gerada. Esta técnica apresentou bons resultados de speed-up, mantendo a qualidade da malha comparável à qualidade da malha gerada de forma sequencial.

Submitted by Roberth Novaes (roberth.novaes@live.com) on 2018-07-18T15:33:11Z No. of bitstreams: 1 TESE COMPLETA- DEFINITIVA- ELIANE SANTOS LEITE DA SILVA.pdf: 2423954 bytes, checksum: a1869df06a9c039dc6605c4a7b29478b (MD5) / Approved for entry into archive by Setor de Periódicos (per_macedocosta@ufba.br) on 2018-07-18T18:46:44Z (GMT) No. of bitstreams: 1 TESE COMPLETA- DEFINITIVA- ELIANE SANTOS LEITE DA SILVA.pdf: 2423954 bytes, checksum: a1869df06a9c039dc6605c4a7b29478b (MD5) / Made available in DSpace on 2018-07-18T18:46:44Z (GMT). No. of bitstreams: 1 TESE COMPLETA- DEFINITIVA- ELIANE SANTOS LEITE DA SILVA.pdf: 2423954 bytes, checksum: a1869df06a9c039dc6605c4a7b29478b (MD5) / O presente texto socializa resultados da investigação que propôs o levantamento e estudo das formas de conceptualização do trabalho, tendo como corpus, textos de língua portuguesa, circulantes no âmbito do jornalismo escrito, datados dos séculos XIX, XX e XXI, coletados no jornal O Estado de São Paulo. O estudo assumiu um caráter qualiquantitativo, descritivo-interpretativo e documental, visando a uma identificação contextual dos sentidos de trabalho. O aporte teórico ancorou-se na Semântica Cognitiva, mais especificamente nas discussões propostas por Lakoff e Johnson (2002[1980]; 1999), Lakoff (2007, 1993, 1987), Johnson (1987), Kövecses (2013; 2010), Grady (1999), Silva (2010, 2009, 2005, 2004, 1999) dentre outros. Os resultados foram organizados a partir dos domínios-fonte da experiência identificados, em suas formas de conceptualização, por meio de modelos cognitivos idealizados de cunho metafórico, metonímico e de esquemas imagéticos, que apontaram para a conceptualização TRABALHO É ATIVIDADE como sendo prototípica, nos três séculos esquadrinhados. Através da identificação das formas de conceptualização do trabalho, foi possível refletir como se deram as estratégias conceptuais, por meio dos mapeamentos entre os modelos cognitivos idealizados, cujas redes de sentido puderam ser identificadas enquanto caracterizadoras de um determinado tipo de escrita, apontando, assim, para a intrínseca relação entre as manifestações linguísticas, culturais, históricas, sociais, experienciais e conceptuais. / El presente texto socializa resultados de la investigación que propuso un levantamiento y estudio de las formas de conceptualización del trabajo, teniendo como corpus, textos de lengua portuguesa, circulantes en el ámbito del periodismo escrito, fechados de los siglos XIX, XX y XXI, colectados en el periódico O Estado de São Paulo. El estudio tuve un carácter qualiquantitativo, descriptivo-interpretativo y documental, visando a una identificación contextual de los sentidos de trabajo. El aporte teórico se ancló Semántica Cognitiva, más específicamente en las discusiones propuestas por Lakoff y Johnson (2002[1980]; 1999), Lakoff (2007, 1993, 1987), Johnson (1987), Kövecses (2013; 2010), Grady (1999), Silva (2010, 2009, 2005, 2004, 1999) entre otros. Los resultados fueron organizados desde los dominios-fuente de la experiencia identificados, en sus formas de conceptualización, por medio de modelos cognitivos idealizados de tipo metafórico, metonímico y de esquemas imagéticos, que apuntaron para la conceptualización TRABAJO ES ACTIVIDAD como siendo prototípica, en los tres siglos escudriñados. A través de la identificación de las formas de conceptualización del trabajo, fue posible reflexionar sobre cómo se dieron las estrategias conceptuales, por medio de los mapeos entre los modelos cognitivos idealizados, cuyas redes de sentido pudieran ser identificadas en cuanto caracterizadoras de un determinado tipo de escrita, apuntando, así, para la intrínseca relación entre las manifestaciones lingüísticas, culturales, históricas, sociales, experienciales y conceptuales.

Submitted by MARCELO ADRIANO DOS SANTOS BONGARTI null (bongartimarcelo@yahoo.com.br) on 2016-03-28T13:33:27Z No. of bitstreams: 1 Dissertação Final Final_Marcelo Bongarti.pdf: 945971 bytes, checksum: da9a2828878f6d2c197507ad078d999d (MD5) / Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-03-29T13:51:32Z (GMT) No. of bitstreams: 1 bongarti_mas_me_sjrp.pdf: 945971 bytes, checksum: da9a2828878f6d2c197507ad078d999d (MD5) / Made available in DSpace on 2016-03-29T13:51:32Z (GMT). No. of bitstreams: 1 bongarti_mas_me_sjrp.pdf: 945971 bytes, checksum: da9a2828878f6d2c197507ad078d999d (MD5) Previous issue date: 2016-02-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Sejam X um espaço de Banach,\alpha um número complexo tal que Re\alpha > 0 e A um operador linear fechado, não negativo, com domínio e imagem em X. O objetivo deste trabalho é definir o objeto A^\alpha de modo que as propriedades de potência de números complexos sejam preservadas, ou seja, (i) A ^\alpha A^\beta = A^(\alpha+\beta) ; (aditividade) (ii) A^1 = A; (iii) (A^\alpha )^\beta = A (quando o primeiro membro faz sentido). Como aplicação da teoria, caracterizamos o dom ínio da potência fracionária de um operador de nido matricialmente a partir da seguinte Equação Diferencial Parcial abstrata em espaço de Hilbert, prototipo utilizado para modelar sistemas elásticos com forte (ou estrutural) amortecimento: x '' + A^\alpha x' + Ax = 0; 0 < \alpha <= 1; com A sendo um operador positivo e autoadjunto. / Let X be a Banach space, \alpha a complex number such that Re \alpha > 0 and A a non-negative closed linear operator with domain and range in X. The purpose of this work is to de fine the object A^\alpha in a way that the properties of powers of complex numbers be preserved, i.e, (i) A ^\alpha A^\beta = A^(\alpha+\beta) ; (additivity) (ii) A^1 = A; (iii) (A^\alpha )^\beta = A (when the fi rst member makes sense). As an application of theory, we characterized the domain of fractional power of a matrix-valued operator from the abstract Partial Di erential Equation in Hilbert space, prototype used to model elastic systems with strong/structural damping: x'' + A^\alpha x' + Ax = 0; 0<\alpha <= 1; with A being a positive self-adjoint operator.

Made available in DSpace on 2016-06-02T20:28:26Z (GMT). No. of bitstreams: 1 DissGFM.pdf: 388964 bytes, checksum: 0930871c8482b09826976215c487e16c (MD5) Previous issue date: 2004-04-23 / Financiadora de Estudos e Projetos / In this work we study the problem of existence of non-constant stable equilibria to some parabolic systems. Specifically, the Ginzburg-Landau system, the Landau-Lifshitz system and systems with skew-gradient structure. In all cases, we note that the geometry of the domain has a fundamental role in the problem above: if the domain has a smooth boundary and is convex, then there are no non-constant stable equilibrium solutions, that is, every non-constant equilibrium is unstable. / Neste trabalho estudamos o problema da existência de equilíbrios estáveis não-constantes de alguns sistemas parabólicos, sendo eles o sistema de Ginzburg-Landau, o sistema de Landau-Lifshitz e sistemas de reação-difusão com estrutura anti-gradiente. Em todos os casos, evidencia-se que a geometria do domínio tem um papel fundamental para uma resposta ao problema: se o domínio tem fronteira suave e é convexo, então não existem soluções de equilíbrio não-constantes estáveis, ou seja, todo equilíbrio não-constante é instável.

O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicada às construções determinísticas, incluindo dois tipos especiais de paralelismo - o espacial, com memória e processos infinitos definidos por estruturas matriciais, que operam sobre dimensões independentes, de forma sincronizada; e o temporal, na versão genérica do modelo, com memória global transfinita e processos distribuídos num conjunto enumerável de máquinas geométricas, sincronizadas no tempo. O modelo contempla interpretação para computações não-determinísticas e prevê a aplicação de operadores exponenciais na interpretação do espaço funcional. A noção mais intuitiva deste trabalho está na definição da relação de coerência, que define o grafo sobre o qual se constrói este domínio semántico. Sobre o conjunto de pontos compatíveis de tais grafos, a coerência estrita interpreta a condição implícita para modelar o paralelismo - a concorrência entre posições de memória. Na construção dual, justificada pela presença da negação involutiva no grafo complementar, a incoerência interpreta a condição para o não-determinismo - o conflito de acesso à memória. Para os demais construtores, o produto sequencial e a soma determinística, consideram-se os endofunctores produto e soma direta da categoria CospLin dos espaços coerentes e funções lineares. A estrutura ordenada deste modelo é formalizada pelo espaço coerente D∞ de todos os processos, construído em níveis a partir do espaço coerente D∞ dos processos elementares, seguindo a metodologia proposta por Scott [SCO 76]. Neste sentido, cada nível da construção está identificado por um subespaço Dn que reconstrói todos os objetos do nível anterior, preservando suas propriedades e relações, além de construir os novos objetos. Compatível com a abordagem algébrica, o relacionamento entre os níveis é expresso por funções lineares denominadas imersões e projeções, interpretanto os construtores de processos e seus destrutores, respectivamente. Pelo procedimento de completação, assegura-se a existência do menor ponto fixo para equações recursivas definidas pela composição infinita destes morfismos. Além disso, as interpretações para processos infinitos, construídos por prefixação, apresentadas em D→∞ comprovam que este modelo é compatível com a diversidade dos construtores. O espa¸co coerente D∞2 dos processos transfinitos generaliza a construção e define a estrutura ordenada do modelo de máquina geométrica distribuída. Seus objetos são subconjuntos coerentes de tokens rotulados por posições do espaço geométrico e indexados por subconjuntos isomorfos aos ordinais transfinitos. O espaço coerente S S dos traços lineares de funções definidas sobre o espaço coerente S dos estados computacionais constitui-se no modelo semântico para análise do comportamento associado a cada processo interpretado em D∞. A definição da função de representação introduz um domínio de expressões que formaliza uma linguagem capaz de expressar, de forma mais operacional, as interpretações obtidas neste modelo de m´aquina. Cada uma das expressões válidas na linguagem é compatível com uma expressão gráfica. / This work presents a theoretical investigation of the constructive, intuitive and ordered structure of the coherence spaces, introduced by Girard, in order to define the geometric machine model for interpretation of computational states and processes labelled by positions of a geometric space. This interpretation can be applied to deterministic process constructions, including two special types of parallelism - the temporal parallelism, with infinite memory and infinite processes defined over array structures, that operate over independent dimensions in a synchronized way; and the spatial parallelism, in a generic version of the model, with a transfinite global memory shared by transfinite processes distributed in a enumerable set of geometric machines, synchronized in the time. The work also provides interpretation to the non-deterministic computations and applies the exponential operators in the interpretation of the functional space. The most basic notion of this work is the definition of the coherence relation as the admissibility of parallelism between basic operations (elementary processes). That relation defines the web over which the coherence space of the whole set of deterministic and non-deterministic processes is step-wise and systematically build. Over the set of the compatible points of such graph, the strict coherence interprets the implicity condition to model parallelism - the true concurrence. In the dual construction, justified by the presence of involutive negation in the complementary graph, the incoherence interprets the condition that models non-determinism - the conflict of memory accesses. The other constructors, the sequential product and the deterministic sum, are defined by the endofunctors in the CospLin category of the coherence spaces and linear functions. The ordered structure of this model is formalized by the coherence space D∞ of all processes, constructed by levels from the coherence space D0 of the elementary processes, following the Scott’s methodology [SCO 76]. In this sense, each level is identified by a subspace Dn, which reconstructs all the objects from the level before, preserving their properties and relations, and drives the construction of the new objects. Compatible with the algebraic-theoretic approach to computational processes, the relationship between the levels is expressed by linear functions called embedding and projection-functions, which interpret constructors and destructors of processes, respectively. The completion procedure guarantees the existence of the least fixed point to the recursive equations, defined by infinite composition of these morphisms. In addition, the interpretation for infinite processes constructed by prefix is presented in D→∞ , confirms that the ordered structure of these model is compatible with the diversity of constructors. The coherence space D∞2 of transfinite processes generalizes the construction and defines the ordered structure of the distributed geometric machine model. Its objects are coherent subsets of tokens labelled by the positions of a geometric space and indexed by isomorphic subsets related to the transfinite ordinal numbers. In order to analyze the behavior related to the interpretations in D∞, the coherence space S S of the linear traces of functions, defined over the coherence space S of the computational states, is introduced. The definition of the representation-function induces the construction of the domain Ω of valid expressions and formalizes a (graphic) language which is able to express, in an more operational way, the interpretations obtained in the geometric machine model.

O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicada às construções determinísticas, incluindo dois tipos especiais de paralelismo - o espacial, com memória e processos infinitos definidos por estruturas matriciais, que operam sobre dimensões independentes, de forma sincronizada; e o temporal, na versão genérica do modelo, com memória global transfinita e processos distribuídos num conjunto enumerável de máquinas geométricas, sincronizadas no tempo. O modelo contempla interpretação para computações não-determinísticas e prevê a aplicação de operadores exponenciais na interpretação do espaço funcional. A noção mais intuitiva deste trabalho está na definição da relação de coerência, que define o grafo sobre o qual se constrói este domínio semántico. Sobre o conjunto de pontos compatíveis de tais grafos, a coerência estrita interpreta a condição implícita para modelar o paralelismo - a concorrência entre posições de memória. Na construção dual, justificada pela presença da negação involutiva no grafo complementar, a incoerência interpreta a condição para o não-determinismo - o conflito de acesso à memória. Para os demais construtores, o produto sequencial e a soma determinística, consideram-se os endofunctores produto e soma direta da categoria CospLin dos espaços coerentes e funções lineares. A estrutura ordenada deste modelo é formalizada pelo espaço coerente D∞ de todos os processos, construído em níveis a partir do espaço coerente D∞ dos processos elementares, seguindo a metodologia proposta por Scott [SCO 76]. Neste sentido, cada nível da construção está identificado por um subespaço Dn que reconstrói todos os objetos do nível anterior, preservando suas propriedades e relações, além de construir os novos objetos. Compatível com a abordagem algébrica, o relacionamento entre os níveis é expresso por funções lineares denominadas imersões e projeções, interpretanto os construtores de processos e seus destrutores, respectivamente. Pelo procedimento de completação, assegura-se a existência do menor ponto fixo para equações recursivas definidas pela composição infinita destes morfismos. Além disso, as interpretações para processos infinitos, construídos por prefixação, apresentadas em D→∞ comprovam que este modelo é compatível com a diversidade dos construtores. O espa¸co coerente D∞2 dos processos transfinitos generaliza a construção e define a estrutura ordenada do modelo de máquina geométrica distribuída. Seus objetos são subconjuntos coerentes de tokens rotulados por posições do espaço geométrico e indexados por subconjuntos isomorfos aos ordinais transfinitos. O espaço coerente S S dos traços lineares de funções definidas sobre o espaço coerente S dos estados computacionais constitui-se no modelo semântico para análise do comportamento associado a cada processo interpretado em D∞. A definição da função de representação introduz um domínio de expressões que formaliza uma linguagem capaz de expressar, de forma mais operacional, as interpretações obtidas neste modelo de m´aquina. Cada uma das expressões válidas na linguagem é compatível com uma expressão gráfica. / This work presents a theoretical investigation of the constructive, intuitive and ordered structure of the coherence spaces, introduced by Girard, in order to define the geometric machine model for interpretation of computational states and processes labelled by positions of a geometric space. This interpretation can be applied to deterministic process constructions, including two special types of parallelism - the temporal parallelism, with infinite memory and infinite processes defined over array structures, that operate over independent dimensions in a synchronized way; and the spatial parallelism, in a generic version of the model, with a transfinite global memory shared by transfinite processes distributed in a enumerable set of geometric machines, synchronized in the time. The work also provides interpretation to the non-deterministic computations and applies the exponential operators in the interpretation of the functional space. The most basic notion of this work is the definition of the coherence relation as the admissibility of parallelism between basic operations (elementary processes). That relation defines the web over which the coherence space of the whole set of deterministic and non-deterministic processes is step-wise and systematically build. Over the set of the compatible points of such graph, the strict coherence interprets the implicity condition to model parallelism - the true concurrence. In the dual construction, justified by the presence of involutive negation in the complementary graph, the incoherence interprets the condition that models non-determinism - the conflict of memory accesses. The other constructors, the sequential product and the deterministic sum, are defined by the endofunctors in the CospLin category of the coherence spaces and linear functions. The ordered structure of this model is formalized by the coherence space D∞ of all processes, constructed by levels from the coherence space D0 of the elementary processes, following the Scott’s methodology [SCO 76]. In this sense, each level is identified by a subspace Dn, which reconstructs all the objects from the level before, preserving their properties and relations, and drives the construction of the new objects. Compatible with the algebraic-theoretic approach to computational processes, the relationship between the levels is expressed by linear functions called embedding and projection-functions, which interpret constructors and destructors of processes, respectively. The completion procedure guarantees the existence of the least fixed point to the recursive equations, defined by infinite composition of these morphisms. In addition, the interpretation for infinite processes constructed by prefix is presented in D→∞ , confirms that the ordered structure of these model is compatible with the diversity of constructors. The coherence space D∞2 of transfinite processes generalizes the construction and defines the ordered structure of the distributed geometric machine model. Its objects are coherent subsets of tokens labelled by the positions of a geometric space and indexed by isomorphic subsets related to the transfinite ordinal numbers. In order to analyze the behavior related to the interpretations in D∞, the coherence space S S of the linear traces of functions, defined over the coherence space S of the computational states, is introduced. The definition of the representation-function induces the construction of the domain Ω of valid expressions and formalizes a (graphic) language which is able to express, in an more operational way, the interpretations obtained in the geometric machine model.