Apesar dos modelos usados em engenharia serem, em sua maioria, reconhecidamente aproximados, acredita-se que a matemática usada na física e nos próprios modelos é infinitamente precisa e que tais teorias físicas poderiam prever completamente qualquer evento relacionado às variáveis equacionadas. No limite, seria possível prever o estado do universo em qualquer instante, crença esta chamada de determinismo. Claro está que essa pretensão é apenas de princípio, sendo impossível na prática. No entanto, pesquisas sobre os fundamentos da matemática e outras teorias matemáticas desenvolvidas no século XX sugerem que a matemática (e, consequentemente, a física) teria certos limites inerentes. A análise feita nesta tese fundamenta seus argumentos na Teoria das Funções Recursivas e Computabilidade Efetiva e na Teoria do Caos Determinístico. O objetivo principal é tratar de apurar a existência de limites inerentes e como tais limites se aplicariam aos sistemas elétricos de potência (mais especificamente nos tópicos fluxo de carga, transitórios eletromecânicos, transitórios eletromagnéticos e eletrônica de potência) e à engenharia de controle. / Although the models used in engineering are, in most cases, admittedly approximated, it is believed that the Mathematics used in Physics and in these models, is infinitely precise and that such physical theories could fully predict any event related to variables in equations. In the limit, it would be possible to predict the state of the universe at any moment, this belief is called determinism. It is clear that this claim is only in principle, impossible in practice. However, research on the foundations of Mathematics and other mathematical theories developed in the 20th century suggest that the Mathematics (and hence Physics) would have certain inherent limitations. The analysis made in this thesis has the arguments based on the Theory of Recursive Functions and Effective Computability and the Theory of Deterministic Chaos. The main objective is to find out the existence of inherent limits and how these limits could be applied to electric power systems (more specifically to the topics load flow, electromechanical transient and electromagnetic transient and power electronics) and control engineering.

Investigamos algumas capacidades computacionais de sistemas constituídos de mapas acoplados. Particularmente, exploramos o uso desses sistemas no tratamento de três problemas: a identificação de simetria de reflexão em imagens planas; a formação de clusters de elementos síncronos em redes com topologias do tipo small-worlds; e a construção de figuras que obedecem a uma regra de composição. Para a identificação de simetria, motivados por modelos biológicos construímos uma rede de mapas em que, acoplamentos locais e globais permitem verificar a simetria de reflexão de uma imagem plana através do sincronismo dos elementos do sistema. Em particular, esse sistema apresenta a habilidade de não requerer sua reinicialização para novas identificações e permite, assim, a identificação de simetrias em cenas que se modificam no tempo. Sistemas estendidos de mapas acoplados são, em geral, construídos conectando-se todos os elementos ou pela formação de uma malha uniforme de conexões. A dinâmica desses sistemas pode apresentar a formação de grupos de elementos síncronos. Esse comportamento de auto-organização pode ser encontrado em diversos sistemas complexos reais que, entretanto e mais comumente, exibem topologias de conexões não uniformes entre seus elementos. Mostramos aqui, a capacidade de mapas acoplados, em diferentes topologias de small-worlds, exibirem a formação de grupos de elementos síncronos com um número de conexões próximo ao das malhas com acoplamento local mas com uma significativa redução da distância média entre os elementos da rede. Por último consideramos o uso de sistemas de mapas como sistemas programáveis. Normalmente, para formação de padrões e figuras no plano, sistemas de funções iteradas são empregados com um conjunto fixo de contrações lineares no plano. Aqui, mostramos a possibilidade do uso de mapas mais gerais na produção de tais padrões e figuras, incluindo estruturas biológicas e fractais. Funções de troca são empregadas para alterar a dinâmica do sistema segundo ou o contexto ou o estado, e fornecem, desse modo, uma forma de programação. / We investigated some computational abilities of systems composed by coupled maps. Here, we explored the use of those systems in dealing with three problems: the identification of reflection symmetry in bidimensional images; the appearing of clusters of synchronous elements in networks with small-worlds topologies; and in constructing figures obeying a composition rule. For the symmetry identification problem, we were motivated by biological models to built a network of coupled maps, with local and global couplings, that verify reflection symmetry of plane images through the synchronism of the elements from the system. In matter, this system presents the ability to perform a new identification without re-initializing the system. This feature allows the identification of symmetries in scenes that can change during the time. In general extended coupled map systems have all elements connected, or the connections lying over a uniform lattice. The dynamics of these systems can present the formation of clusters with synchronous elements. Such auto-organization behavior can be found in several actual complex systems. However, more commonly, these systems do not exhibit uniform connections among their elements. Here, we investigated the capacity of coupled map systems, in different topologies of small-worlds, exhibiting the formation of clusters with synchronous elements, by using a number of connections close to the number in regular lattices but with a significant reduction of the mean distance among their elements. Last we considered the use of systems of maps as programmable systems. Usually, for formation of patterns and geometric figures in the plan, iterated function systems work with a fixed set of linear contractions in the plan. Here, we showed that is possible to use more general maps to the production of patterns and geometric figures, and biological patterns and fractals are generated. Shift functions are used to change the dynamics of the map system due to either the context or the state, giving a way of programming the system.

Apesar dos modelos usados em engenharia serem, em sua maioria, reconhecidamente aproximados, acredita-se que a matemática usada na física e nos próprios modelos é infinitamente precisa e que tais teorias físicas poderiam prever completamente qualquer evento relacionado às variáveis equacionadas. No limite, seria possível prever o estado do universo em qualquer instante, crença esta chamada de determinismo. Claro está que essa pretensão é apenas de princípio, sendo impossível na prática. No entanto, pesquisas sobre os fundamentos da matemática e outras teorias matemáticas desenvolvidas no século XX sugerem que a matemática (e, consequentemente, a física) teria certos limites inerentes. A análise feita nesta tese fundamenta seus argumentos na Teoria das Funções Recursivas e Computabilidade Efetiva e na Teoria do Caos Determinístico. O objetivo principal é tratar de apurar a existência de limites inerentes e como tais limites se aplicariam aos sistemas elétricos de potência (mais especificamente nos tópicos fluxo de carga, transitórios eletromecânicos, transitórios eletromagnéticos e eletrônica de potência) e à engenharia de controle. / Although the models used in engineering are, in most cases, admittedly approximated, it is believed that the Mathematics used in Physics and in these models, is infinitely precise and that such physical theories could fully predict any event related to variables in equations. In the limit, it would be possible to predict the state of the universe at any moment, this belief is called determinism. It is clear that this claim is only in principle, impossible in practice. However, research on the foundations of Mathematics and other mathematical theories developed in the 20th century suggest that the Mathematics (and hence Physics) would have certain inherent limitations. The analysis made in this thesis has the arguments based on the Theory of Recursive Functions and Effective Computability and the Theory of Deterministic Chaos. The main objective is to find out the existence of inherent limits and how these limits could be applied to electric power systems (more specifically to the topics load flow, electromechanical transient and electromagnetic transient and power electronics) and control engineering.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-07-26T13:52:12Z No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) / Made available in DSpace on 2017-07-26T13:52:12Z (GMT). No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) Previous issue date: 2017-01-25 / CAPES / In recent years, some research has taken into account problems related to the development of software systems, especially those that make use of context, i.e. context-aware systems. In this dissertation the complexity of context-aware system development is discussed. The proposed solution aims to provide support for the context-aware system development through a framework based on MDE and Weaving. On the one hand, MDE allows the use of models to manage complexity in software development, while the weaving technique supports the creation of interrelations between elements of different but complementary models. The weaving technique is used to create a weaving model that establishes interrelationships between the elements of a Platform Independent Model (PIM) and several Platform Description Model (PDMs). An implementation of the proposed framework and an illustrative example help to understand the proposal and its feasibility. A comparison between the proposed solution and the works found in the literature Done, showing the negative and positive points of the proposed solution. / Nos últimos anos, algumas pesquisas têm levado em conta as problemáticas relacionadas ao desenvolvimento de sistema de software, em especial, aqueles que fazem o uso de contexto, i.e. context-aware systems. Nesta dissertação de mestrado, abordase a complexidade no desenvolvimento de context-aware system. A solução proposta visa fornecer suporte para o desenvolvimento de context-aware system através de um framework baseado em MDE e Weaving. Por um lado, MDE permite a utilização de modelos para gerenciar a complexidade no desenvolvimento de sofware, enquanto a técnica de weaving suporta a criação de inter-relacionamentos entre elementos de modelos diferentes, mas complementares. A técnica de weaving é utilizada para criar um modelo de weaving que estabelece inter-relacionamentos entre os elementos de um PIM (Platform Independent Model) e de vários PDMs (Platform Description Model). Uma implementação do framework proposto e um exemplo ilustrativo ajudam a entender a proposta e mostram a sua viabilidade. Um comparativo entre a solução proposta e os trabalhos encontrados na literatura é feito, mostrando os pontos negativos e positivos da solução proposta.

Made available in DSpace on 2014-12-17T15:47:45Z (GMT). No. of bitstreams: 1 AaraoL.pdf: 741847 bytes, checksum: 45403e29cc4bf1b00b42e5221478dc54 (MD5) Previous issue date: 2006-05-19 / A matem?tica intervalar ? uma teoria matem?tica originada na d?cada de 60 com o objetivo de responder quest?es de exatid?o e efici?ncia que surgem na pr?tica da computa??o cient?fica e na resolu??o de problemas num?ricos. As abordagens cl?ssicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os n?meros naturais, n?meros inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matem?tica pura e aplicada tratam com problemas envolvendo n?meros reais e n?meros complexos. Isto acontece, por exemplo, em an?lise num?rica, sistemas din?micos, geometria computacional e teoria da otimiza??o. Assim, uma abordagem computacional para problemas cont?nuos ? desej?vel, ou ainda necess?ria, para tratar formalmente com computa??es anal?gicas e computa??es cient?ficas em geral. Na literatura existem diferentes abordagens para a computabilidade nos n?meros reais, mas, uma importante diferen?a entre estas abordagens est? na maneira como ? representado o n?mero real. Existem basicamente duas linhas de estudo da computabilidade no cont?nuo. Na primeira delas uma aproxima??o da sa?da com precis?o arbitr?ria ? computada a partir de uma aproxima??o razo?vel da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproxima??o, as chamadas m?quinas BSS, um n?mero real ? visto como uma entidade acabada e as fun??es comput?veis s?o geradas a partir de uma classe de fun??es b?sicas (numa maneira similar ?s fun??es parciais recursivas). Nesta disserta??o estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os n?meros reais e estenderemos este para se modelar a computabilidade no espa?o dos intervalos reais. Assim, aqui veremos uma aproxima??o para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Aci?ly [Bed96, BA97a, BA97b], na qual um intervalo real ? visto como o limite de intervalos racionais, e a computabilidade de uma fun??o intervalar real depende da computabilidade de uma fun??o sobre os intervalos racionais

Com a grande popularização da internet, a EAD vem sendo bastante difundida pelo fato da grande facilidade de acesso, onde o aluno independente do local onde reside, poderá organizar seus horários, ampliando o alcance da modalidade de ensino presencial. O objetivo do presente trabalho é o projeto e desenvolvimento de um Sistema Portfólio-Tutor Baseado no Reuso de Software através de técnicas de reutilização de software, objetivando o máximo de redução de trabalho por parte dos professores, melhorando consideravelmente a análise de dados e diminuindo as atividades repetitivas. Contudo, o sistema será capaz de integrar todas as partes que podem ser envolvidas no processo de aprendizagem. Um portfólio é uma pasta onde ficam armazenadas as evidências da habilidade de cada aluno, sendo possível um acompanhamento cronológico de seu desempenho. Um portfólio eletrônico pode ser dividido em portfólio do aluno e portfólio do professor. É possível desenvolver atualmente dois tipos de portfólios de alunos: o Portfólio de Trabalho, onde são armazenados os trabalhos dos alunos e o Portfólio de Apresentação, onde é armazenado o melhor que o aluno produziu.

Although the positive aspects that Internet possesses and the potential it permits, there is a problematic that consists on finding needed pieces of information among the deluge of available documents on the web. Tools that are able to semantically treat the information contained in the documents which follows a structure only focused on data presentation are still lacking. The MASTER-Web system solves the problem of integrated extraction of content-pages that belong to classes which form a cluster. In this context, we propose the extension of this tool to the scientific articles classification based on ontologies. To achieve this goal, an ontology for the Artificial Intelligence domain was constructed and rule-based classification strategies were adopeted. The approach presented here employs this ontology and textual classification techniques to extract useful pieces of information from the articles in order to infer to which themes it is about. This combination led to significative results: e.g. in the texts, the system is able to identify the specific subdivisions of AI and entails conclusions, distinguishing correctlly the themes of the articles from the ones that are briefiy mentioned in the texts. The application of simple techniques and a detailed ontology lead to promising classification results, independently of the document structure, proposing an eficient and plausible solution. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Apesar dos aspectos positivos que a Internet possui e do potencial que permite, existe a problemática, que consiste em encontrar a informação necessária em meio a uma enorme quantidade de documentos disponíveis na rede. Faltam, ainda, ferramentas capazes de tratar semanticamente a informação contida em documentos que seguem uma estrutura preocupada apenas com a exibição dos seus dados. O sistema MASTERWeb, resolve o problema da extração integrada de páginas-conteúdo pertencentes às classes que integram um grupo (cluster ). Neste contexto propomos a extensão dessa ferramenta para a classificação de artigos científicos baseada em ontologias. Para isso foi construída uma ontologia do domínio de Inteligência Artificial e adotadas estratégias de classificação utilizando sistemas de regras. A abordagem apresentada aqui, emprega esta ontologia e técnicas de classificação textual para extrair dos artigos informações úteis, e daí inferir sobre os temas tratados nestes artigos. Essa combinação conduziu a resultados bastante significativos: por exemplo, o sistema é capaz de identificar no texto as subáreas de IA que ele aborda e deriva conclusões, distinguindo os assuntos tratados pelo artigo daqueles que são brevemente citados no texto. A aplicação de técnicas simples e uma ontologia bem formada levam a resultados de classificação promissores, independentemente da estrutura do documento, propondo uma solução eficiente e plausível.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-17T19:02:40Z No. of bitstreams: 1 ClaudioAndresCallejasOlguin_TESE.pdf: 2208703 bytes, checksum: 0e72fd38176ce63ab4ad6ea3333dc84c (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-03-17T20:07:54Z (GMT) No. of bitstreams: 1 ClaudioAndresCallejasOlguin_TESE.pdf: 2208703 bytes, checksum: 0e72fd38176ce63ab4ad6ea3333dc84c (MD5) / Made available in DSpace on 2017-03-17T20:07:55Z (GMT). No. of bitstreams: 1 ClaudioAndresCallejasOlguin_TESE.pdf: 2208703 bytes, checksum: 0e72fd38176ce63ab4ad6ea3333dc84c (MD5) Previous issue date: 2016-07-29 / O conjunto de fun??es totais comput?veis somente tem sido estudado topologicamente como um subespa?o de um espa?o de Baire. Onde a topologia deste espa?o de Baire ? a topologia induzida de uma topologia de Scott para as fun??es parciais (n?o necessariamente comput?veis). Nesta tese constr?i-se uma topologia original no conjunto de ?ndices das fun??es totais comput?veis e demonstra-se que ela n?o ? homeomorfa com o subespa?o do espa?o de Baire que foi mencionado. H? um subconjunto indecid?vel importante no conjunto de fun??es totais comput?veis chamado ?o conjunto de fun??es comput?veis regulares?, que recebe aten??o especial nesta tese. Com a finalidade de fazer um estudo topol?gico deste conjunto constr?i-se todo um aparato te?rico. Ap?s apresentar o estado da arte da teoria dos dom?nios generalizada introduz-se uma generaliza??o original dos dom?nios alg?bricos nomeados como ?quase dom?nios alg?bricos?. Com uma ordem parcial adequada, constr?i-se um quase-dom?nio alg?brico para o conjunto de fun??es comput?veis totais. Por meio da topologia de Scott associada a esse quase-dom?nio alg?brico, obt?m-se uma condi??o necess?ria para as fun??es comput?veis regulares. Fica provado que esta ?ltima topologia n?o ? homeomorfa com o subespa?o previamente mencionado do espa?o de Baire apresentado. Como subproduto, introduz-se uma topologia de Scott para o conjunto de fun??es totais (n?o necessariamente comput?veis). Fica provado que esta ?ltima topologia n?o ? homeomorfa com o espa?o de Baire apresentado. Fica tamb?m provado que as topologias de Scott no conjunto de fun??es totais e no subconjunto de fun??es totais comput?veis t?m o conjunto de fun??es totais com suporte finito como conjunto denso comum. Analogamente, fica provado que a topologia no conjunto ?ndice do conjunto de fun??es totais comput?veis tem como conjunto denso os ?ndices correspondentes a uma enumera??o comput?vel sem repeti??o do conjunto de fun??es totais com suporte infinito. / Topologically the set of total computable functions has been studied only as a subspace of a Baire space. Where the topology of this Baire space is the induced topology of a Scott topology for the partial functions (not necessarily computable). In this thesis a novel topology on the index set of the set of total computable functions is built and proved that it is not homeomorphic to the aforementioned subspace of the presented Baire space. There is an important undecidable subset of the set of total computable functions called the set of regular computable functions that receives particular attention in this thesis. In order to make a topological study of this set a whole theoretical apparatus is constructed. After presenting the state of the art of generalised domain theory, a novel generalisation of algebraic domains coined as algebraic quasidomains is introduced. With a suited partial-order an algebraic quasi-domain is built for the set of total computable functions. Through the Scott topology associated with this algebraic quasi-domain a necessary condition for the regular computable functions is obtained. It is proved that this later topology is not homeomorphic to the previously mentioned subspace of the presented Baire space. As a byproduct a Scott topology for the set of total functions (not necessarily computable) is introduced. It is proved that this later topology is not homeomorphic to the presented Baire space. It is also proved that the Scott topologies in the set of total functions and in the subset of total computable functions have the set of total functions with finite support as a common dense set. Analogously it is proved that the topology in the index set of the set of total computable functions has as a dense set the indexes corresponding to a computable enumeration without repetition of the set of total functions with finite support.

Investigamos algumas capacidades computacionais de sistemas constituídos de mapas acoplados. Particularmente, exploramos o uso desses sistemas no tratamento de três problemas: a identificação de simetria de reflexão em imagens planas; a formação de clusters de elementos síncronos em redes com topologias do tipo small-worlds; e a construção de figuras que obedecem a uma regra de composição. Para a identificação de simetria, motivados por modelos biológicos construímos uma rede de mapas em que, acoplamentos locais e globais permitem verificar a simetria de reflexão de uma imagem plana através do sincronismo dos elementos do sistema. Em particular, esse sistema apresenta a habilidade de não requerer sua reinicialização para novas identificações e permite, assim, a identificação de simetrias em cenas que se modificam no tempo. Sistemas estendidos de mapas acoplados são, em geral, construídos conectando-se todos os elementos ou pela formação de uma malha uniforme de conexões. A dinâmica desses sistemas pode apresentar a formação de grupos de elementos síncronos. Esse comportamento de auto-organização pode ser encontrado em diversos sistemas complexos reais que, entretanto e mais comumente, exibem topologias de conexões não uniformes entre seus elementos. Mostramos aqui, a capacidade de mapas acoplados, em diferentes topologias de small-worlds, exibirem a formação de grupos de elementos síncronos com um número de conexões próximo ao das malhas com acoplamento local mas com uma significativa redução da distância média entre os elementos da rede. Por último consideramos o uso de sistemas de mapas como sistemas programáveis. Normalmente, para formação de padrões e figuras no plano, sistemas de funções iteradas são empregados com um conjunto fixo de contrações lineares no plano. Aqui, mostramos a possibilidade do uso de mapas mais gerais na produção de tais padrões e figuras, incluindo estruturas biológicas e fractais. Funções de troca são empregadas para alterar a dinâmica do sistema segundo ou o contexto ou o estado, e fornecem, desse modo, uma forma de programação. / We investigated some computational abilities of systems composed by coupled maps. Here, we explored the use of those systems in dealing with three problems: the identification of reflection symmetry in bidimensional images; the appearing of clusters of synchronous elements in networks with small-worlds topologies; and in constructing figures obeying a composition rule. For the symmetry identification problem, we were motivated by biological models to built a network of coupled maps, with local and global couplings, that verify reflection symmetry of plane images through the synchronism of the elements from the system. In matter, this system presents the ability to perform a new identification without re-initializing the system. This feature allows the identification of symmetries in scenes that can change during the time. In general extended coupled map systems have all elements connected, or the connections lying over a uniform lattice. The dynamics of these systems can present the formation of clusters with synchronous elements. Such auto-organization behavior can be found in several actual complex systems. However, more commonly, these systems do not exhibit uniform connections among their elements. Here, we investigated the capacity of coupled map systems, in different topologies of small-worlds, exhibiting the formation of clusters with synchronous elements, by using a number of connections close to the number in regular lattices but with a significant reduction of the mean distance among their elements. Last we considered the use of systems of maps as programmable systems. Usually, for formation of patterns and geometric figures in the plan, iterated function systems work with a fixed set of linear contractions in the plan. Here, we showed that is possible to use more general maps to the production of patterns and geometric figures, and biological patterns and fractals are generated. Shift functions are used to change the dynamics of the map system due to either the context or the state, giving a way of programming the system.

Made available in DSpace on 2014-07-29T15:08:22Z (GMT). No. of bitstreams: 1 fabricia p 1.pdf: 6603333 bytes, checksum: 71692ee42eb5f5439767ffb1f02551bd (MD5) Previous issue date: 2009-11-28 / Brazilian students have achieved poor results in the National Student Performance Exam (ENADE) in 2006. ENADE has shown reading is badly cultivated among undergraduates. The low interest on reading is justified by the fact that most of students have jobs and are enrolled in evening courses, without enough time to studies. The current research proposes the use of intelligent tutoring systems to improve student reading comprehension. The main goal is to develop the technique of underlining among undergraduates to assist in the analysis of academic texts. Two groups of students, A and B, participated in data collection. The difference between the groups is the amount of exercises performed in each group. Students of Group A have received 20 exercises with four levels of difficulty. In Group B, an Artificial Neural Network, Multilayer Perceptron (MLP), decides the amount of exercises that the student must perform at each level of difficulty by controlling what is the next exercise after each exercise is finished. The approach used in Group B adapts to the characteristics of knowledge retention of each student. Therefore, the tutoring system adapts the degree of exercise difficulty to the student. Statistical data analysis has indicated significant differences between groups A and B. / Os estudantes universitários brasileiros apresentaram baixos índices de leitura no Exame Nacional de Desempenho (ENADE) em 2006. O ENADE mostrou que o hábito de ler é pouco cultivado entre os universitários. O pouco interesse pela leitura é justificado pelo fato de que maioria dos estudantes são trabalhadores matriculados em cursos noturnos, com pouco tempo para se dedicar aos estudos. Esta pesquisa propõe o uso de sistemas tutores inteligentes para auxiliar universitários na compreensão de leitura. O objetivo do sistema tutor proposto é desenvolver a técnica de sublinhamento dos universitários para auxiliar na análise de textos acadêmicos. Dois grupos de estudantes, A e B, participaram da coleta de dados. A diferença entre os grupos reside na quantidade de exercícios realizados em cada grupo. O grupo A realizou 20 exercícios com quatro níveis de dificuldade. No grupo B a Rede Neural Artificial Multilayer Perceptron (MLP) decide a quantidade de exercícios que o estudante deve realizar em cada nível de dificuldade. A abordagem utilizada no grupo B adapta-se às características de retenção de conhecimento de cada estudante. Com isso, o sistema tutor se adapta ao grau de dificuldade ou facilidade do estudante. Por meio de estudo comparativo, a análise estatística dos dados indicou diferenças significativas entre os grupos A e B.