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

Neste trabalho estudamos problemas de reação-difusão semilineares do tipo \'u IND..t(x, t) = \'DELTA\'u(x, t)+ f (u(x, t)), x \'PERTENCE A\' \'OMEGA\' \'PARTIAL\' U/\'PARTIAL\'V (x, t) = 0, x \'PERTENCE A\' \'PARTIAL\'\' OMEGA\'. Desenvolvemos uma teoria abstrata para a obtenção da continuidade da dinâmica assintótica de (P) sob perturbações singulares do domínio espacial W e aplicamos a uma série de exemplos dos assim chamados domínios finos / In this work we study semilinear reaction-diffusion problems of the type \'u IND.t(x, t) = \'DELTA\'u(x, t)+ f (u(x, t)), x \' PERTENCE A\' \'OMEGA\' \'PARTIAL\'u/\'ARTIAL\' v (x, t) = 0, x \"PERTENCE A\' \'PARTIAL\' \' OMEGA\' We develop a abstract theory to obtain the continuity of the asymptotic dynamics of (P) under singular perturbations of the spatial domain W and we apply that to many examples in thin domains

Esta tese se concentra sobre os debates referentes à relação entre as construções locativas, existenciais e possessivas nas línguas do mundo, dando especial atenção para o caso particular das línguas bantas, para as quais o entendimento mais completo da relação entre aquelas construções só se dá se o domínio conceitual do comitativo for levado em conta. A tese se desenvolve na linha de três grandes questionamentos, que constituem três partes. A primeira se ocupa de questões referentes ao trabalho de campo ou o campo da pesquisa, o da descrição de línguas africanas no Brasil, nesse caso, o de uma linguística africana na Diáspora. São apresentados os principais aspectos gramaticais das línguas do estudo, com ênfase das línguas bantas das zonas H, K e R, englobando assim todo o território de Angola. A segunda parte trata das questões teóricas, apresentando as diversas propostas que almejaram analisar as construções possessivas e outras a elas relacionadas, sendo classificadas em duas: (i) as propostas localistas, para as quais o domínio de possessivos e existenciais são em última instância locativos; e (ii) as propostas não localistas, que buscaram identificar outros fatores na relação de possessivos e as demais construções. Apresentam-se também os questionamentos epistemológicos seguindo as reflexões de um anarquismo epistemológico em linguística. Partindo dos pressupostos da Gramática Cognitiva, os domínios conceituais de locativos, existenciais, comitativos e possessivos são analisados a partir do construto da Análise do Ponto de Referência, considerado como a base conceitual comum àquelas quatro construções. A terceira e última parte é devotada às questões relativas à descrição das construções locativas, existenciais, comitativas e possessivas em línguas bantas. Para cada construção, são consideradas as subconstruções que devem receber uma maior atenção dos estudiosos, para que se tenha um quadro mais completo dos estudos sobre possessivos. Por exemplo, para as construções locativas, uma discussão sobre inversão locativa; para as construções existenciais, a questão do efeito de definitude em línguas bantas; para as construções comitativas, a relação delas com o da coordenação entre NPs, por fim, para as construções possessivas, a relação dessas com os diferentes processos de gramaticalização responsáveis pela grande diversidade das construções de posse predicativa, como o processo de transitivização ou Have-drift. Para uma análise conjunta dessas construções, preocupada com a particularidade tipológica das línguas bantas, propõe-se que se faz necessário um refinamento teórico da categoria semântico-gramatical Controle, encarada como o fator que diferencia locativos, existenciais e comitativos de possessivos. / This dissertation focuses on the debates concerning the relationship between locative, existential and possessive constructions in the languages of the world, paying special attention to the particular case of the Bantu languages, for which a more complete understanding of the relationship between those constructions can only happen if the conceptual domain of comitative is taken into account. The dissertation is developed according to three major questions, which constitute three parts of the work. The first part deals with issues related to field work or the field of the research, the description of African languages in Brazil, in this case, an African linguistics in the Diaspora. The main grammatical aspects of the languages of this study are presented, with emphasis to the Angolan languages, Bantu languages of zones H, K and R. The second part deals with theoretical issues, presenting the various proposals that have wished to analyze possessive constructions and related ones. Those proposals are classified into two types: (i) localist proposals, for which the domain of possessive and existential are ultimately locative; and (ii) Non localist proposals, which tried to identify other factors in the relations of possessive to other constructions. The epistemological questions are also presented, following a reflection of an epistemological anarchism standpoint in linguistics. Based on the assumptions of Cognitive Grammar, the conceptual domains of locative, existential, comitative and possessive are analyzed under the construct of the Reference Point Analysis, considered as the conceptual common basis to those four grammatical constructions. The third and last part is devoted to issues relating to the description of locative, existential, comitative and possessive constructions in Bantu languages. For each construction we considered sub-constructions that should receive a greater attention from scholars, for those who wish a more complete study on predicative possession. For example, for discussion locative constructions one should pay attention to issues related to locative inversion, for existential constructions, the question of the definiteness effect in Bantu languages also should be considered; for comitative constructions, one should relate this construction to that of comitative coordination between NPs, and finally, for possessive constructions, the relation of it with different grammaticalization processes responsible for the great diversity of predicative possession constructions, such as the process of transitivization or \"Have-drift\". For a joint analysis of these constructions concerned with typological characteristic of Bantu languages, it is proposed that it is necessary to refine theoretically the semantic-grammatical category of Control, regarded as the factor that differentiates locative, existential and comitative from possessives.

A Mineração de Opiniões é um processo que tem por objetivo extrair as opiniões e suas polaridades de sentimentos expressas em textos em língua natural. Essa área de pesquisa tem ganhado destaque devido ao volume de opiniões que os usuários compartilham na Internet, como revisões em sites de e-commerce, rede sociais e tweets. A Mineração de Opiniões baseada em Aspectos é uma alternativa promissora para analisar a polaridade do sentimento em um maior nível de detalhes. Os métodos tradicionais para extração de aspectos e classificação de sentimentos exigem a participação de especialistas de domínio para criar léxicos ou definir regras de extração para diferentes idiomas e domínios. Além disso, tais métodos usualmente exploram algoritmos de aprendizado supervisionado, porém exigem um grande conjunto de dados rotulados para induzir um modelo de classificação. Os desafios desta tese de doutorado estão relacionados a como diminuir a necessidade de grande esforço humano tanto para rotular dados, quanto para tratar a dependência de domínio para as tarefas de extração de aspectos e classificação de sentimentos dos aspectos para Mineração de Opiniões. Para reduzir a necessidade de grande quantidade de exemplos rotulados foi proposta uma abordagem semissupervisionada, denominada por Aspect-based Sentiment Propagation on Heterogeneous Networks (ASPHN) em que são propostas representações de textos nas quais os atributos linguísticos, os aspectos candidatos e os rótulos de sentimentos são modelados por meio de redes heterogêneas. Para redução dos esforços para construir recursos específicos de domínio foi proposta uma abordagem baseada em aprendizado por transferência entre domínios denominada Cross-Domain Aspect Label Propagation through Heterogeneous Networks (CD-ALPHN) que utiliza dados rotulados de outros domínios para suportar tarefas de aprendizado em domínios sem dados rotulados. Nessa abordagem são propostos uma representação em uma rede heterogênea e um método de propagação de rótulos. Os vértices da rede são os aspectos rotulados do domínio de origem, os atributos linguísticos e os candidatos a aspectos do domínio alvo. Além disso, foram analisados métodos de extração de aspectos e propostas algumas variações para considerar cenários nãosupervisionados e independentes de domínio. As soluções propostas nesta tese de doutorado foram avaliadas e comparadas as do estado-da-arte utilizando coleções de revisões de diferentes produtos e serviços. Os resultados obtidos nas avaliações experimentais são competitivos e demonstram que as soluções propostas são promissoras. / Opinion Mining is a process that aims to extract opinions and their sentiment polarities expressed in natural language texts. This area of research has been in the highlight because of the volume of opinions that users share on the available visualization means on the Internet (reviews on e-commerce sites, social networks, tweets, others). Aspect-based Opinion Mining is a promising alternative for analyzing the sentiment polarity on a high level of detail. The traditional methods for aspect extraction and sentiment classification require the participation of domain experts to create lexicons or define extraction rules for different languages and domains. In addition, such methods usually exploit supervised machine learning algorithms, but require a large set of labeled data to induce a classification model. The challenges of this doctoral thesis are related on to how to reduce the need for great human effort both: (i) to label data; and (ii) to treat domain dependency for the tasks of aspect extraction and aspect sentiment classification for Opinion Mining. In order to reduce the need for a large number of labeled examples, a semi-supervised approach was proposed, called Aspect-based Sentiment Propagation on Heterogeneous Networks (ASPHN). In this approach, text representations are proposed in which linguistic attributes, candidate aspects and sentiment labels are modeled by heterogeneous networks. Also, a cross-domain learning approach called Cross-Domain Aspect Label Propagation through Heterogeneous Networks (CD-ALPHN) is proposed in order to reduce efforts to build domain-specific resources, This approach uses labeled data from other domains to support learning tasks in domains without labeled data. A representation in a heterogeneous network and a label propagation method are proposed in this cross-domain learning approach. The vertices of the network are the labeled aspects of the source domain, the linguistic attributes, and the candidate aspects of the target domain. In addition, aspect extraction methods were analyzed and some variations were proposed to consider unsupervised and domain independent scenarios. The solutions proposed in this doctoral thesis were evaluated and compared to the state-of-the-art solutions using collections of different product and service reviews. The results obtained in the experimental evaluations are competitive and demonstrate that the proposed solutions are promising.

A área conhecida como Análise Não Standard consiste na aplicação dos métodos da Teoria dos Modelos e da Teoria dos Ultrafiltros para a obtenção de extensões peculiares de sistemas matemáticos infinitos. As novas estruturas construídas segundo esse procedimento satisfazem ao Princípio da Transferência, uma propriedade de suma importância e influência a qual afirma que as mesmas sentenças de primeira ordem com quantificadores limitados são verdadeiras para o sistema original e a sua extensão. Concebida em 1961 por Abraham Robinson e aprimorada por vários matemáticos nos anos subsequentes, tal área de pesquisa provou ser bastante proveitosa e esclarecedora para diversas outras partes da Matemática, como a Topologia, a Teoria das Probabilidades, a Análise Funcional e a Análise Complexa. Manifesta-se uma reavaliação da Teoria dos Domínios Ordenados seguida de um tratamento completo e gradual das fundações da Análise Não Standard assumindo a perspectiva dos Monomorfismos Não Standard, onde adota-se como metateoria a teoria dos conjuntos de Neumann-Bernays-Gödel com o Axioma da Escolha. A fim de impulsionar a assimilação da metodologia abordada, o estudo explora as propriedades do corpo não arquimediano dos números hiper-reais de maneira intuitiva e informal, utilizando-se destas para revelar demonstrações alternativas e relativamente diretas de alguns dos principais resultados do Cálculo Diferencial e Integral, como o Teorema do Valor Intermediário, o Teorema de Bolzano-Weierstrass, o Teorema do Ponto Crítico, o Teorema da Função Inversa e o Teorema Fundamental do Cálculo. / The field known as Non-standard Analysis consists in the application of the methods of Model Theory and Ultrafilter Theory to the attainment of peculiar extensions of infinite mathematical systems. The new structures produced under that procedure satisfy the Transfer Principle, a property of the utmost importance and influence which states that the same first-order sentences with bounded quantifiers are true for the original system and its extension. Conceived in 1961 by Abraham Robinson and improved by a number of mathematicians in the following years, such area of research has proved to be very fruitful and illuminating to many other parts of Mathematics, such as Topology, Probability Theory, Functional Analysis and Complex Analysis. The work presents a reexamination of the Theory of Ordered Domains followed by a thorough and gradual treatment of the foundations of Non-standard Analysis under the perspective of Non-standard Monomorphisms, where Neumann-Bernays-Gödels set theory with the Axiom of Choice is adopted as metatheory. In order to boost the assimilation of the methodology put forward, the study explores the properties of the non-archimedean field of hyperreal numbers in an intuitive and informal fashion, employing them to reveal alternative and relatively direct proofs of some of the main results of Differential and Integral Calculus, such as the Intermediate Value Theorem, the Bolzano-Weierstrass Theorem, the Extreme Value Theorem, the Inverse Function Theorem and the Fundamental Theorem of Calculus.

Este trabalho apresenta um modelo numérico para a análise da propagação de fissuras em estruturas bidimensionais não-homogêneas. O comportamento mecânico é simulado a partir da formulação elastostática do Método dos Elementos de Contorno (MEC) aplicada a materiais isotrópicos. O MEC é uma eficiente e robusta técnica numérica para análises de propagação de fissuras. A não exigência de uma malha de domínio pelo método permite uma representação precisa da concentração de tensão nas pontas. Além disso, a redução da dimensionalidade proporcionada pelo MEC facilita o processo de remalhamento durante o crescimento das fissuras. A formulação dual do MEC é adotada, na qual as equações integrais singular e hipersingular são aplicadas. A modelagem de domínios não-homogêneos é realizada a partir da técnica de sub-regiões. A Mecânica da Fratura Elástico-Linear (MFEL) é aplicada para a análise da fratura em materiais frágeis. Os fatores de intensidade de tensão são determinados a partir da integral-J e a teoria da máxima tensão circunferencial é adotada para definir a direção de propagação das fissuras e o fator de intensidade de tensão equivalente. Problemas envolvendo fraturamento hidráulico também são investigados a partir da aplicação da MFEL. A integral-J é modificada para a consideração da pressão hidrostática atuante sobre as faces da fissura. Estruturas sujeitas à fadiga de alto ciclo também são avaliadas. A lei de Paris é utilizada para a estimativa da taxa de crescimento das fissuras. O último tipo de problema considerado é a fratura em materiais quase-frágeis. O modelo de fissura coesiva é empregado para a representação do comportamento não-linear físico próximo à ponta. O sistema de equações não-linear obtido é resolvido a partir de um algoritmo iterativo denominado operador constante. O estado de tensão na ponta, determinado por extrapolação, é utilizado para a verificação da estabilidade à propagação e o caminho de crescimento é definido a partir da formulação da MFEL. São observadas boas correspondências entre os resultados obtidos e as respostas encontradas na literatura, indicando a eficiência e a robustez do código computacional proposto. Melhorias do modelo numérico implementado também são discutidas. / This work presents a numerical approach for crack propagation modelling in non-homogeneous two-dimensional structures. The mechanical structural behaviour is simulated using the elastostatic formulation of the Boundary Element Method (BEM) applied to isotropic materials. The BEM is an efficient and robust numerical technique for crack propagation analyses. The non-requirement of a domain mesh enables the BEM for accurately quantifying the stresses concentration at the crack tip. Moreover, the mesh dimension reduction provided by the BEM makes the remeshing procedures during crack growth a less complex task. The dual BEM formulation is adopted, in which singular and hypersingular integral equations are applied. The non-homogeneous domains are modelled using the sub-region technique. The Linear Elastic Fracture Mechanics (LEFM) is applied to analyze the fracture in brittle materials. The stress intensity factors are evaluated through the J-integral and the maximum circumferential stress theory is adopted to define the crack propagation angle and the equivalent stress intensity factor. Problems involving hydraulic fracture (fracking) are also investigated applying the LEFM. A modified J-integral scheme is implemented to consider the hydrostatic pressure acting at the crack faces. Structures subjected to high-cycle fatigue are also addressed. The Paris law is used to estimate the crack growth rate. The last type of problem considered is the fracture in quasi-brittle materials. The cohesive crack model is used to represent the material nonlinear behaviour next to the crack tip. The nonlinear system of equations obtained is solved by an iterative algorithm named constant operator. The state of stress at the tip, obtained by extrapolation, is used to verify crack growth stability and the crack path is defined by the LEFM formulation. Good agreement is observed among the results achieved by the BEM model and the responses available in literature, showing the efficiency and robustness of the proposed numerical scheme. Further improvements of the BEM code are also discussed.

O multiplicador de Schur parcial de um grupo G é um semigrupo inverso comutativo pM(G) que, no estudo de representações parciais projetivas de grupos, desempenha um papel análogo ao do multiplicador de Schur clássico M(G). Há uma descrição de pM(G) como uma união de grupos abelianos, em que cada componente pM_D(G) é formada por classes de equivalência de certas funções parciais (chamadas de conjuntos fatores parciais), as quais assumem valores em um corpo e têm como domínio um subconjunto D de G × G. Os domínios D formam um reticulado e foram caracterizados como os subconjuntos T-invariantes de G × G, em que T é um monoide específico atuando em G × G. A componente total pM_{G × G}(G), que corresponde aos conjuntos fatores totalmente definidos, é particularmente interessante pois contém M(G) como um de seus subgrupos e, além disso, qualquer outra componente é uma imagem epimorfa da componente total. Um dos objetivos deste trabalho é determinar a componente total do multiplicador de Schur parcial para algumas classes importantes de grupos, como os grupos diedrais, os grupos dicíclicos e os produtos de grupos cíclicos. Outro tópico que será abordado é a estrutura do reticulado dos domínios dos conjuntos fatores parciais, destacando-se propriedades daqueles que correspondem às representações parciais ditas elementares, as quais possuem um papel relevante na teoria. Provaremos que todo domínio pode ser representado em uma forma única como uma reunião de certos domínios indecomponíveis, que consistem de peças estruturais chamadas de blocos e domínios minimais. Também será determinada a estrutura dos domínios elementares e serão obtidos alguns invariantes numéricos do conjunto parcialmente ordenado dos domínios elementares. Como uma consequência dos resultados obtidos, serão caracterizados os grupos para os quais todos os domínios elementares são indecomponíveis. Além disso será feita uma aplicação da teoria de álgebras de semigrupos à álgebra parcial de grupo, que é uma álgebra responsável pelas representações parciais de grupos. / The partial Schur multiplier of a group G is a commutative inverse semigroup pM(G) which, in the study of partial projective representations, plays a role analogous to the classical Schur multiplier M(G). There is a description of pM(G) as a union of abelian groups, in which each component pM_D(G) is formed by the equivalence classes of certain partial functions (called partial factor sets), taking values in a field and having as its domain a subset D of G × G. The domains D form a lattice and were characterized as the T-invariant subsets of G × G, where T is a specific monoid acting on G × G. The total component pM_{G × G}(G), which corresponds to the totally defined factor sets, is particularly interesting because it contains M(G) as one of its subgroups and, moreover, any other component is an epimorphic image of the total component. One of the objectives of this work is to determine the total component of the partial Schur multiplier for some important classes of groups, such as the dihedral groups, the dicyclic groups and the products of cyclic groups. Another topic which will be considered is the structure of the lattice of domains of partial factor sets, emphasizing properties of those domains that correspond to the so-called elementary partial representations, which play a relevant role in the theory. We shall prove that each domain can be represented in a unique way as a union of certain indecomposable domains, where the latter consists of the so-called blocks and minimal domains. The structure of the elementary domains also will be determined, and some numerical invariants of the partially ordered set of the elementary domains will be given. As a consequence of the obtained facts, the groups whose elementary domains are indecomposable will be characterized. We will also give an application of the theory of semigroup algebras to the partial group algebra, an algebra which is responsible for partial group representations.

Esta tese oferece uma análise para os verbos auxiliares em geral e para os auxiliares do português em particular. A nossa proposta é a de caracterizar universalmente os verbos auxiliares como uma classe de elementos verbais que apresentam as seguintes propriedades: pertencem à categoria verbal, apresentam um traço verbal não-valorado [uV], não atribuem papel temático e compõem, juntamente com o verbo principal, um mesmo domínio oracional. A presença do traço [uV] na estrutura dos verbos auxiliares tem como consequência o fato de esses verbos selecionarem uma projeção verbal como complemento. Dentro dessa projeção estará o alvo que vai valorar esse traço não-interpretável por meio da operação Agree (Chomsky 2000, 2001). A postulação dessas quatro propriedades nos permitiu a derivação de critérios de auxiliaridade, uma reinterpretação dos critérios comumente propostos na literatura. Com esse trabalho, chegamos a uma lista de oito critérios necessários e suficientes para a definição de um verbo como auxiliar no português. Da aplicação desses critérios resultou a composição dos membros da classe dos verbos auxiliares do português: ser, ter, estar e ir. Para a análise das passivas, foi adotado o sistema de derivação por smuggling, sugerido por Collins (2005) e o auxiliar ser foi analisado como um verbo funcional que valora o traço [perfectivo] do particípio passivo. Apontamos para a existência de um outro tipo de passiva, as passivas não-canônicas, que apresentam como traço característico a presença do verbo auxiliar ter. Argumentamos que esse verbo é um produto computacional que resulta da combinação dos traços do auxiliar ser com os traços do núcleo funcional v*. Na análise dos auxiliares ter perfectivo e estar progressivo, adotamos uma postura decomposicional, tal como proposta por Kayne (1993), que deriva esses verbos a partir da incorporação de elementos preposicionais aos traços de um verbo auxiliar abstrato. Com isso, temos três verbos auxiliares que resultam da computação sintática: o auxiliar passivo ter, que é a realização dos traços [vSER v*], o auxiliar perfectivo ter, que realiza os traços [vAUX PDEPOIS] e o verbo auxiliar progressivo estar, cujo conjunto de traços inclui [vAUX PDENTRO]. Por fim o auxiliar ir é tratado como um núcleo modal que, em combinação com os traços do núcleo T, gera a interpretação de futuro. / This dissertation puts forward an analysis of auxiliary verbs in general, and of Portuguese auxiliary verbs in particular. The proposal is to universally characterize auxiliary verbs as a class of verbal elements which (i) belong to the verbal category ; (ii) have a unvalued verbal feature [uV] ; (iii) do not assign theta roles ; and (iv), together with the main verb, compose one single phrasal domain. The presence of [uV] guarantees that the auxiliary verb will select a verbal projection as its complement, within which is the target that will value the uninterpretable [uV] feature by means of the operation Agree (Chomsky 2000, 2001). The four characteristics proposed to describe auxiliary verbs allowed for the derivation of criteria of auxiliarity, a reinterpretation of the criteria usually discussed in the literature. Eight necessary and sufficient criteria define an auxiliary verb in Portuguese. The composition of THE Portuguese auxiliary class with its four members ser, ter, estar and ir resulted from the application of these eight criteria. Passives were analysed by means of the smuggling system, proposed by Collins (2005) and the auxiliary ser was considered to be a functional verb which values the [perfective] feature of the passive participle. A non-canonical passive was found to co-exist with canonical passives, one which shows the auxiliary ter. We argue that ter is the computational product of features of the auxiliary ser with features of the functional node v*. For the analysis of perfective ter and progressive estar, we have adopted a decompositional view along the lines of Kayne (1993), which derives these verbs from the incoporation of prepositional elements to the features of an abstract auxiliary verb. So, three of the Portuguese auxiliary verbs result from syntactic computation: passive ter is the manifestation of the features [vSER - v*]; perfective ter is the manifestation of the features [vAUX - PDEPOIS]; and progressive estar includes the features [vAUX - PDENTRO]. And the auxiliary verb ir is treated as a modal head, which, when combined with features of the head T, generate a future reading.

O uso de técnicas e métodos formais contribui para o desenvolvimento de sistemas confiáveis. No entanto, apesar do rigor obtido, em geral, é necessário que essas técnicas sejam complementadas com atividades de teste e validação. Deve-se ressaltar que o custo para eliminar erros encontrados nas etapas iniciais de desenvolvimento é menor do que quando esses erros são encontrados nas fases posteriores. Dessa forma, é essencial a condução de atividades de VV&T - Verificação, Validação e Teste - desde as primeiras fases de desenvolvimento. Critérios de teste, como uma forma sistemática de avaliar e/ou gerar casos de teste de qualidade e, dessa forma, contribuir para aumentar a qualidade da atividade de teste, têm sido investigados para o teste de especificação de Sistemas Reativos. A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não considerado é a cobertura alcançada, visto que, em geral, a aplicação exaustiva não é viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações, este trabalho propõe a aplicação do critério de teste Análise de Mutantes para o teste de Redes de Petri Coloridas. Neste trabalho foram almejados três objetivos principais, os quais podem ser divididos em estudos teóricos, estudos empíricos e automatização. No contexto de estudos teóricos, foi realizada a definição e embasamento teórico para possibilitar a aplicação da Análise de Mutantes no contexto de Redes de Petri Coloridas. Além disso, investigaram-se mecanismos genéricos para a descrição e geração de mutantes. Definiu-se um algoritmo para a geração de casos de teste baseado na Análise de Mutantes. No contexto de estudos empíricos, foram conduzidos estudos de caso para avaliar a aplicabilidade e eficácia dos resultados teóricos obtidos. Finalmente, no contexto de automatização, foram desenvolvidas ferramentas de apoio à aplicação da Análise de Mutantes. / The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found in the later phases. Therefore, the accomplishment of VV&T activities - Verification, Validation and Test - starting at the first development phases is essential. Testing criteria, as a systematic way to evaluate and/or generate test cases, contributing, therefore, to improve the quality of the test activity, have been proposed for testing reactive systems specifications. A technique that has been steadily employed for specifying the behavioural aspect of reactive systems is the coloured Petri nets. Although there are several analysis and validation techniques, a usually neglected aspect is the achieved coverage, given that, in general, the exhaustive application is not feasible due to its high cost. Considering the relevance of establishing systematic methods for the test and validation of coloured Petri nets based specification, this work proposes the investigation of the viability of applying Mutation Testing to test coloured Petri nets. In this work three main goals were pursued, which can be grouped in: theoretical studies, empirical studies and tool development. In the context of theoretical studies, it was accomplished the definition of theoretical concepts to enable the application of Mutant Analysis in the context of coloured Petri nets. Moreover, a mutation-based algorithm was defined to generate test sequences for Petri nets. In the context of empirical studies, case studies were carried out to evaluate the applicability and effectiveness of the achieved theoretical results. Finally, in the context of tool development, tools for supporting the application of Mutation Testing were developed.

Sejam K um corpo comutativo de caraterística zero. Definimos a álgebras associativa sobre K com dois geradores p, q onde pq qp = 1, como a primeira álgebra de Weyl, denotaremos esta por A 1 . As representações irredutíveis de grau um de dimensão infinita de A 1 , foram descritos por R. Block em (Block , 1981). Baseados nesta ideia, são descritas as represen- tações irredutíveis de grau dois de dimensão infinita de A 1 . No capítulo 1 são estudadas a representações da localização S 1 A 1 = B onde S = K[ q ] , ver (Block , 1981). Também apresentamos algumas definições e resultados relevantes para A 1 , os quais estabelecem uma relação entre as representações de álgebras de Lie nilpotente e as representações da enésima álgebra de Weyl A n , ver (Dixmier , 1959). No segundo capítulo é abordado o estudo da estrutura para A 1 -módulos de grau dois de dimensão infinita, obtendo uma descrição completa destes módulos. Usando esta estrutura é dada uma relação entre uma classe de Sl 2 -módulos de dimensão infinita e os A 1 -módulos de grau dois. Finalmente, no capítulo 3 são dados alguns fatos importares sobre a estrutura do Ext 1 (M, N ), onde M e N são A 1 -módulos irredutíveis de dimensão infinita com graus n 1 e n 2 repectivemente. / Let K be a commutative field such of zero characteristic. The associtive algebras from K whit two geradors p, q shuch that pq qp = 1 is the first Weyl algebra and it algebra going to denoted for A 1 . The structure of irreducible representations of degree one of infinite dimen- sional of A 1 , studied by R.Block (Block , 1981) on 1981. Based in this paper, we characterize the structure of degree two of irreducible representations of infinite dimensional of A 1 . In the first chapter, we speak of localization rings and defined B, we also give tools and definitions needed over Weyl algebras and nilpotent Lie algebras. In the second chapter we give the review for to the problem of A 1 -modules of degree two of infinite dimensional. At the end of the thesis we calculate the Ext 1 (M, N ), by M e N irreducibles A 1 -modules of degree n.