O objetivo deste trabalho e computar, em alguns casos espec cos, os geradores do radical de um ideal no anel de polinômios K[x1, ..., xn]. Para isso, utilizamos a teoria das bases de Groebner. Primeiramente, usamos o Lema de Seidenberg para computar os geradores do radical de um ideal zero-dimensional onde K e um corpo perfeito e depois utilizamos os resultados de R. Matsumoto para um corpo K de caracter stica positiva e perfeito. / The goal of this work is to compute in some speci c cases the generators of the radical ideal in a polynomial ring K[x1, ..., xn]. For this, we use the theory of Groebner bases. First, we use Lemma Seidenberg to compute the generators of the radical of an zero-dimensional ideal, where K is a perfect eld and then we used the results of R. Matsumoto for a eld K of positive characteristic and perfect.

Na sociedade contemporânea a utilização da tecnologia é cada vez mais incorporada no cotidiano dos indivíduos e atualmente os dispositivos móveis fazem parte do cotidiano dos estudantes. Seu uso demanda novas soluções que aproveitem suas potencialidades e potencial ubiquidade considerando, todavia as limitações que esta classe de dispositivos impõe. O presente estudo abrangeu uma investigação do uso de dispositivos móveis na área de ensino de Técnica de Programação, que é uma etapa básica e fundamental para a construção de sistemas computacionais. Este trabalho aborda a aplicação de dispositivos móveis na construção do conhecimento de algoritmos e programação, considerando os estilos preferenciais de aprendizagem dos estudantes. A pesquisa investiga como aprimorar o processo de construção de conhecimento em algoritmos, com vistas a reduzir os índices de reprovação que, ao longo dos anos, têm sido constatados nesta área. A estratégia educacional utilizada envolveu o uso do ciclo de aprendizagem de Kolb (1984), que trabalha com experiências concretas, reflexão e observação. A metodologia utilizada neste trabalho consistiu em investigar como a tecnologia móvel e os estilos preferenciais preferencial de aprendizagem dos alunos podem alavancar a melhoria neste processo de construção do conhecimento, por meio de um ambiente com objetos educacionais e que enseja interações junto do serviço de SMS. A investigação buscou também adequar as necessidades derivadas de diferentes estilos preferenciais de aprendizagem que os estudantes podem evidenciar, mas considerando as limitações e características dos dispositivos móveis. Como resultado são apresentadas sugestões para as instituições de ensino, relacionadas à utilização dos dispositivos móveis e considerando os estilos preferenciais de aprendizagem. / In the contemporary society, the use of technology has been more and more incorporated to the daily life of individuals and, currently, the mobile devices have made part of the students’ everyday routine. Their usage demands new solutions which take advantage of their potentialities and potential ubiquity regarding, though, the limitations that this class of devices impose. The current study encompassed an investigation of the use of mobile devices within the Technical Programming teaching area which is a basic and fundamental stage to the construction of computer systems. This work approaches the application of mobile devices in the knowledge construction of algorithms and programming, considering the students’ learning styles. The research investigates how to improve the process of knowledge construction on algorithms aiming at reducing the indices of failing that have been verified in this area through the years. The educational strategy utilized involved the use of the learning cycle of Kolb (1984), that works with concrete experiences, reflection and observation. The methodology used within this work consisted in investigating how the mobile technology and the attention to the students’ preferential learning style can boost the improvement within this teaching learning process through an environment with educational objects and that provides students with interactions by the SMS service. The investigation also aimed at making adequate the needs derived from different learning styles the students can evidence, but by considering the limitations and features of the mobile devices. As a result, suggestions – related to the usage of mobile devices and regarding the learning styles – are presented to the education institutions.

Ao tentar agendar uma atividade que dependa da presença de outras pessoas, geralmente acabamos desperdiçando tempo precioso avaliando os possíveis horários e verificando se os mesmos são aceitos por todos envolvidos. Embora a modelagem e a resolução do problema de agendamento multiagente pareçam estar completamente entendidas e ainda diversos algoritmos possam ser encontrados na literatura, uma questão ainda existe: Como definir horários compatíveis para uma atividade compartilhada sem que os usuários tenham que manualmente escolher horários livres de seus calendários até que todos envolvidos aceitem um horário. A principal contribuição é um algoritmo chamado Descobridor Asíncrono de Horários (ATF) baseado no Rastreamento Asíncrono (ABT) que permite que aplicações encontrem horários compatíveis para atividades compartilhadas requerendo mínima intervenção manual dos usuários. Esta dissertação revisita o Problema Temporal Simples (STP) e a sua versão multiagente (MaSTP), demonstra como eles podem ser utilizados para resolver o problema de agentamentos e ao final apresenta o ATF, a avaliação experimental e a análise de complexidade. / In order to schedule an activity that depends on other people, we very often end up wasting precious time trying to find compatible times and evaluating if they are accepted by all involved. Even though modeling and solving multiagent scheduling problems seem completely understood and several algorithms can be found in the literature, one limitation still stands up: How to find a compatible time slot for an activity shared by many users without requiring the users themselves to spend time going through their calendar and choosing time slots until everybody agrees. The main contribution of this work is an algorithm called Asynchronous Time Finder (ATF) based on the Asynchronous Backtracking (ABT) that enables applications to find compatible times when scheduling shared activities among several users while requiring minimal user interaction. This dissertation starts by revisiting the Simple Temporal Problem (STP) and its multiagent version (MaSTP), it then shows how they can be used to solve the problem of managing agendas and then finally it presents the ATF giving an experimental evaluation and the analysis of its complexity.

O objetivo deste trabalho e computar, em alguns casos espec cos, os geradores do radical de um ideal no anel de polinômios K[x1, ..., xn]. Para isso, utilizamos a teoria das bases de Groebner. Primeiramente, usamos o Lema de Seidenberg para computar os geradores do radical de um ideal zero-dimensional onde K e um corpo perfeito e depois utilizamos os resultados de R. Matsumoto para um corpo K de caracter stica positiva e perfeito. / The goal of this work is to compute in some speci c cases the generators of the radical ideal in a polynomial ring K[x1, ..., xn]. For this, we use the theory of Groebner bases. First, we use Lemma Seidenberg to compute the generators of the radical of an zero-dimensional ideal, where K is a perfect eld and then we used the results of R. Matsumoto for a eld K of positive characteristic and perfect.

Resumo: Considere um sistema formado por nodos interconectados por enlaces. Tanto os nodos quanto os enlaces podem assumir o estado falho ou sem-falha. Os algoritmos de diagnóstico distribuido têm como objetivo a identificação dos estados dos componentes de um sistema a partir de seus nodos sem-falha. O algoritmo NBND (Non-Broadcast Network Diagnosis) permite o diagnóstico distribuido de eventos em redes de topologia arbitrária. Através de testes periódicos, novos eventos são detectados e posteriormente propagados para os demais nodos. Com base no estado dos enlaces da rede, é possível executar, a partir de qualquer ponto da rede, um algoritmo de conectividade para descobrir quais nodos estão acessíveis e quais estão inacessíveis. O SNMP {Simple Network Management Protocolí) é o protocolo padrão utilizado na Internet para gerência de redes. O SNMP trabalha com informações organizadas numa estrutura hierárquica chamada MIB (.Management Information Base). Neste trabalho uma nova versão do algoritmo NBND é proposta e descrita formalmente. Um sistema distribuído de monitoramento de redes com agentes SNMP baseado no algoritmo NBND para diagnóstico de redes de topologia arbitrária é proposto e sua implementação é descrita, incluindo a NBND MIB, utilizada pelos agentes. Este trabalho traz, ainda, resultados experimentais da utilização do sistema de monitoramento na detecção de falhas em enlaces de duas topologías de rede: hipercubo e anel.

Ao tentar agendar uma atividade que dependa da presença de outras pessoas, geralmente acabamos desperdiçando tempo precioso avaliando os possíveis horários e verificando se os mesmos são aceitos por todos envolvidos. Embora a modelagem e a resolução do problema de agendamento multiagente pareçam estar completamente entendidas e ainda diversos algoritmos possam ser encontrados na literatura, uma questão ainda existe: Como definir horários compatíveis para uma atividade compartilhada sem que os usuários tenham que manualmente escolher horários livres de seus calendários até que todos envolvidos aceitem um horário. A principal contribuição é um algoritmo chamado Descobridor Asíncrono de Horários (ATF) baseado no Rastreamento Asíncrono (ABT) que permite que aplicações encontrem horários compatíveis para atividades compartilhadas requerendo mínima intervenção manual dos usuários. Esta dissertação revisita o Problema Temporal Simples (STP) e a sua versão multiagente (MaSTP), demonstra como eles podem ser utilizados para resolver o problema de agentamentos e ao final apresenta o ATF, a avaliação experimental e a análise de complexidade. / In order to schedule an activity that depends on other people, we very often end up wasting precious time trying to find compatible times and evaluating if they are accepted by all involved. Even though modeling and solving multiagent scheduling problems seem completely understood and several algorithms can be found in the literature, one limitation still stands up: How to find a compatible time slot for an activity shared by many users without requiring the users themselves to spend time going through their calendar and choosing time slots until everybody agrees. The main contribution of this work is an algorithm called Asynchronous Time Finder (ATF) based on the Asynchronous Backtracking (ABT) that enables applications to find compatible times when scheduling shared activities among several users while requiring minimal user interaction. This dissertation starts by revisiting the Simple Temporal Problem (STP) and its multiagent version (MaSTP), it then shows how they can be used to solve the problem of managing agendas and then finally it presents the ATF giving an experimental evaluation and the analysis of its complexity.

O objetivo deste trabalho e computar, em alguns casos espec cos, os geradores do radical de um ideal no anel de polinômios K[x1, ..., xn]. Para isso, utilizamos a teoria das bases de Groebner. Primeiramente, usamos o Lema de Seidenberg para computar os geradores do radical de um ideal zero-dimensional onde K e um corpo perfeito e depois utilizamos os resultados de R. Matsumoto para um corpo K de caracter stica positiva e perfeito. / The goal of this work is to compute in some speci c cases the generators of the radical ideal in a polynomial ring K[x1, ..., xn]. For this, we use the theory of Groebner bases. First, we use Lemma Seidenberg to compute the generators of the radical of an zero-dimensional ideal, where K is a perfect eld and then we used the results of R. Matsumoto for a eld K of positive characteristic and perfect.

Na sociedade contemporânea a utilização da tecnologia é cada vez mais incorporada no cotidiano dos indivíduos e atualmente os dispositivos móveis fazem parte do cotidiano dos estudantes. Seu uso demanda novas soluções que aproveitem suas potencialidades e potencial ubiquidade considerando, todavia as limitações que esta classe de dispositivos impõe. O presente estudo abrangeu uma investigação do uso de dispositivos móveis na área de ensino de Técnica de Programação, que é uma etapa básica e fundamental para a construção de sistemas computacionais. Este trabalho aborda a aplicação de dispositivos móveis na construção do conhecimento de algoritmos e programação, considerando os estilos preferenciais de aprendizagem dos estudantes. A pesquisa investiga como aprimorar o processo de construção de conhecimento em algoritmos, com vistas a reduzir os índices de reprovação que, ao longo dos anos, têm sido constatados nesta área. A estratégia educacional utilizada envolveu o uso do ciclo de aprendizagem de Kolb (1984), que trabalha com experiências concretas, reflexão e observação. A metodologia utilizada neste trabalho consistiu em investigar como a tecnologia móvel e os estilos preferenciais preferencial de aprendizagem dos alunos podem alavancar a melhoria neste processo de construção do conhecimento, por meio de um ambiente com objetos educacionais e que enseja interações junto do serviço de SMS. A investigação buscou também adequar as necessidades derivadas de diferentes estilos preferenciais de aprendizagem que os estudantes podem evidenciar, mas considerando as limitações e características dos dispositivos móveis. Como resultado são apresentadas sugestões para as instituições de ensino, relacionadas à utilização dos dispositivos móveis e considerando os estilos preferenciais de aprendizagem. / In the contemporary society, the use of technology has been more and more incorporated to the daily life of individuals and, currently, the mobile devices have made part of the students’ everyday routine. Their usage demands new solutions which take advantage of their potentialities and potential ubiquity regarding, though, the limitations that this class of devices impose. The current study encompassed an investigation of the use of mobile devices within the Technical Programming teaching area which is a basic and fundamental stage to the construction of computer systems. This work approaches the application of mobile devices in the knowledge construction of algorithms and programming, considering the students’ learning styles. The research investigates how to improve the process of knowledge construction on algorithms aiming at reducing the indices of failing that have been verified in this area through the years. The educational strategy utilized involved the use of the learning cycle of Kolb (1984), that works with concrete experiences, reflection and observation. The methodology used within this work consisted in investigating how the mobile technology and the attention to the students’ preferential learning style can boost the improvement within this teaching learning process through an environment with educational objects and that provides students with interactions by the SMS service. The investigation also aimed at making adequate the needs derived from different learning styles the students can evidence, but by considering the limitations and features of the mobile devices. As a result, suggestions – related to the usage of mobile devices and regarding the learning styles – are presented to the education institutions.

Ao tentar agendar uma atividade que dependa da presença de outras pessoas, geralmente acabamos desperdiçando tempo precioso avaliando os possíveis horários e verificando se os mesmos são aceitos por todos envolvidos. Embora a modelagem e a resolução do problema de agendamento multiagente pareçam estar completamente entendidas e ainda diversos algoritmos possam ser encontrados na literatura, uma questão ainda existe: Como definir horários compatíveis para uma atividade compartilhada sem que os usuários tenham que manualmente escolher horários livres de seus calendários até que todos envolvidos aceitem um horário. A principal contribuição é um algoritmo chamado Descobridor Asíncrono de Horários (ATF) baseado no Rastreamento Asíncrono (ABT) que permite que aplicações encontrem horários compatíveis para atividades compartilhadas requerendo mínima intervenção manual dos usuários. Esta dissertação revisita o Problema Temporal Simples (STP) e a sua versão multiagente (MaSTP), demonstra como eles podem ser utilizados para resolver o problema de agentamentos e ao final apresenta o ATF, a avaliação experimental e a análise de complexidade. / In order to schedule an activity that depends on other people, we very often end up wasting precious time trying to find compatible times and evaluating if they are accepted by all involved. Even though modeling and solving multiagent scheduling problems seem completely understood and several algorithms can be found in the literature, one limitation still stands up: How to find a compatible time slot for an activity shared by many users without requiring the users themselves to spend time going through their calendar and choosing time slots until everybody agrees. The main contribution of this work is an algorithm called Asynchronous Time Finder (ATF) based on the Asynchronous Backtracking (ABT) that enables applications to find compatible times when scheduling shared activities among several users while requiring minimal user interaction. This dissertation starts by revisiting the Simple Temporal Problem (STP) and its multiagent version (MaSTP), it then shows how they can be used to solve the problem of managing agendas and then finally it presents the ATF giving an experimental evaluation and the analysis of its complexity.

Algoritmos meméticos são meta-heurísticas evolutivas voltadas intrinsecamente à exploração e incorporação de conhecimentos relacionados ao problema em estudo. Nesta dissertação, foi proposto um algoritmo memético multi populacional baseado em conhecimento para lidar com o problema de predição de estruturas tridimensionais de proteínas voltado à modelagem de estruturas livres de similaridades conformacionais com estruturas de proteínas determinadas experimentalmente. O algoritmo em questão, foi estruturado em duas etapas principais de processamento: (i) amostragem e inicialização de soluções; e (ii) otimização dos modelos estruturais provenientes da etapa anterior. A etapa I objetiva a geração e classificação de diversas soluções, a partir da estratégia Lista de Probabilidades Angulares, buscando a definição de diferentes grupos estruturais e a criação de melhores estruturas a serem incorporadas à meta-heurística como soluções iniciais das multi populações. A segunda etapa consiste no processo de otimização das estruturas oriundas da etapa I, realizado por meio da aplicação do algoritmo memético de otimização, o qual é fundamentado na organização da população de indivíduos em uma estrutura em árvore, onde cada nodo pode ser interpretado como uma subpopulação independente, que ao longo do processo interage com outros nodos por meio de operações de busca global voltadas a características do problema, visando o compartilhamento de informações, a diversificação da população de indivíduos, e a exploração mais eficaz do espaço de busca multimodal do problema O algoritmo engloba ainda uma implementação do algoritmo colônia artificial de abelhas, com o propósito de ser utilizado como uma técnica de busca local a ser aplicada em cada nodo da árvore. O algoritmo proposto foi testado em um conjunto de 24 sequências de aminoácidos, assim como comparado a dois métodos de referência na área de predição de estruturas tridimensionais de proteínas, Rosetta e QUARK. Os resultados obtidos mostraram a capacidade do método em predizer estruturas tridimensionais de proteínas com conformações similares a estruturas determinadas experimentalmente, em termos das métricas de avaliação estrutural Root-Mean-Square Deviation e Global Distance Total Score Test. Verificou-se que o algoritmo desenvolvido também foi capaz de atingir resultados comparáveis ao Rosetta e ao QUARK, sendo que em alguns casos, os superou. Corroborando assim, a eficácia do método. / Memetic algorithms are evolutionary metaheuristics intrinsically concerned with the exploiting and incorporation of all available knowledge about the problem under study. In this dissertation, we present a knowledge-based memetic algorithm to tackle the threedimensional protein structure prediction problem without the explicit use of template experimentally determined structures. The algorithm was divided into two main steps of processing: (i) sampling and initialization of the algorithm solutions; and (ii) optimization of the structural models from the previous stage. The first step aims to generate and classify several structural models for a determined target protein, by the use of the strategy Angle Probability List, aiming the definition of different structural groups and the creation of better structures to initialize the initial individuals of the memetic algorithm. The Angle Probability List takes advantage of structural knowledge stored in the Protein Data Bank in order to reduce the complexity of the conformational search space. The second step of the method consists in the optimization process of the structures generated in the first stage, through the applying of the proposed memetic algorithm, which uses a tree-structured population, where each node can be seen as an independent subpopulation that interacts with others, over global search operations, aiming at information sharing, population diversity, and better exploration of the multimodal search space of the problem The method also encompasses ad-hoc global search operators, whose objective is to increase the exploration capacity of the method turning to the characteristics of the protein structure prediction problem, combined with the Artificial Bee Colony algorithm to be used as a local search technique applied to each node of the tree. The proposed algorithm was tested on a set of 24 amino acid sequences, as well as compared with two reference methods in the protein structure prediction area, Rosetta and QUARK. The results show the ability of the method to predict three-dimensional protein structures with similar foldings to the experimentally determined protein structures, regarding the structural metrics Root-Mean-Square Deviation and Global Distance Total Score Test. We also show that our method was able to reach comparable results to Rosetta and QUARK, and in some cases, it outperformed them, corroborating the effectiveness of our proposal.