Orientador: Ariane Luzia dos Santos / Banca: Alice Kimie Miwa Libardi / Banca: Érica Regina Filletti Nascimento / Resumo: Este trabalho aborda em especial a análise dos pontos críticos de uma função diferenciável. Fazemos inicialmente uma abordagem sobre funções diferenciáveis com duas variáveis e outros temas necessários para a compreensão de algumas demonstrações e conceitos que serão abordados neste trabalho e em seguida apresentamos uma abordagem sobre curvas e superfícies. Depois, apresentamos um estudo sobre pontos críticos e as funções de Morse, que estão relacionadas ao estudo dos pontos críticos não degenerados de uma função diferenciável f: X → IR em uma superfície, e mostramos ainda que toda função diferenciável em torno de um ponto crítico não degenerado pode ser escrita como um polinômio quadrático. Para finalizar o trabalho, fazemos uma proposta de abordagem dos pontos críticos de uma função diferenciável destinada à 3ª série do ensino médio usando o conceito de derivada com uma variável / Abstract: This work deals in particular with the analysis of the critical points of a differentiable function. We make an initial approach on differentiable functions with two variables and other topics necessary for the understanding of the sampled concepts and concepts that will be approached in this work and next we present an approach on curves and surfaces.Then, we present a study on critical points and Morse functions, which are related to the study of the nondegenerate critical points of a differentiable f: X → IR function on a surface, and we show that any differentiable function around a nondegenerated critical point can be written as a quadratic polynomial.To finalize the work, we make a proposal to approach the critical points of a differentiable function destined for the 3rd grade of high school using the concept of derivative with one variable / Mestre

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Automação e Sistemas / Made available in DSpace on 2012-10-26T00:17:29Z (GMT). No. of bitstreams: 1 299358.pdf: 2860654 bytes, checksum: b2ea0290e3da6025c48584110876d408 (MD5) / O problema da coordenação de um sistema multi-robôs, que pode realizar atividades mais complexas e de forma mais rápida e eficiente que um único robô, é um tema complexo que apresenta um importante desafio de pesquisa. O planejamento de trajetórias e de tarefas são alguns dos problemas fundamentais dos sistemas multi-robôs e se referem a encontrar caminhos livres de colisão para cada robô determinado a realizar uma dada tarefa. Obviamente, para alcançar estes caminhos livres de colisão, algum tipo de coordenação é indispensável. Para garantir propriedades de segurança e alcançabilidade, este trabalho se interessa em estudar o uso de técnicas de modelagem e de verificação formal na solução deste tipo de problema. Para tal, duas diferentes técnicas para a solução do planejamento e coordenação de sistemas multi-robôs foram abordadas. Na primeira técnica, Teoria de Controle Supervisório, o problema consiste em calcular o supervisor ótimo que representa a lógica de controle utilizada para o planejamento de tarefas. Na segunda técnica, Autômato Jogo-Temporizado, uma estratégia é sintetizada para o planejamento de tarefas dos robôs que considera um jogo entre o ambiente e o controlador evidenciando a reatividade destes sistemas e a constante busca da vitória por parte do controlador em termos de segurança e alcançabilidade. Por fim, uma arquitetura genérica para a implementação de sistemas multi-robôs foi desenvolvida para fornecer desde o planejamento de tarefas ao controle contínuo dos robôs. Desta maneira, este trabalho avalia diferentes métodos formais para o desenvolvimento do planejamento e coordenação de sistemas multi-robôs, além de reproduzir os resultados das técnicas em um ambiente real. / The coordination problem of a multi-robot system to accomplish complex activities and in a faster and more effcient way than a single robot is a complex issue that presents a major research challenge. The path and task planning are some of the fundamental problems of multi-robot systems and corresponds to and collision-free paths for each robot to accomplish an individual given task. Obviously, to achieve these collision-free paths, some kind of coordination is essential. For this purpose, two different techniques for solving the planning and the coordination of multi-robot systems have been tackled. In the frst technique, the Supervisory Control Theory, the problem consists to calculate the optimal supervisor representing the control logic used for task planning. In the second technique, Timed Game tomata, a strategy is synthesized for the robot task planning that take account a game between the environment and the controller showing the reactivity of these systems and the constant seek for the victory by the controller in terms of safety and reachability. Finally, a generic architecture for the implementation of a multi-robot system is designed to provide resources from task planning to the continuous control. Thus, this work evaluates different formal methods for the development of planning and coordination of multi-robots systems, besides to reproduce the results of the techniques in a real environment.

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2017-07-24T12:28:27Z No. of bitstreams: 1 texto completo.pdf: 2440708 bytes, checksum: 3f23d1f9c5eb3276c92e6104397e6eff (MD5) / Made available in DSpace on 2017-07-24T12:28:27Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2440708 bytes, checksum: 3f23d1f9c5eb3276c92e6104397e6eff (MD5) Previous issue date: 2017-02-17 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / No presente trabalho estudaremos algumas definições de fluxos expansivos, suas relações entre elas e com o auxílio de alguma delas provaremos dois teoremas; um de caracterização de fluxos expansivos sobre superfícies compactas, e um outro sobre a caracterização das superfícies compactas que suportam fluxos expansivos; estes resultados são devidos a A. Artigue. / In the present work we will study some definitions of expansive flow, the relations between them and with the help of some of them we will prove two theorems; the first characterize the expansive flows on compact surfaces, and the other is a topological characterization of compact surfaces that support expansive flows; These results are due to A. Artigue.

SILVEIRA, J. A. N. Pré-processamento de cenários para reconfiguração de roteamento eficiente em MPSOC baseado em NoC tolerante a falhas. 2015. 86 f. Tese (Doutorado em Engenharia de Teleinformática) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-10-09T14:20:35Z No. of bitstreams: 1 2015_tese_jansilveira.pdf: 2586375 bytes, checksum: a9fba4ff689db3af8a0aa7785e038080 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-10-09T15:40:52Z (GMT) No. of bitstreams: 1 2015_tese_jansilveira.pdf: 2586375 bytes, checksum: a9fba4ff689db3af8a0aa7785e038080 (MD5) / Made available in DSpace on 2015-10-09T15:40:52Z (GMT). No. of bitstreams: 1 2015_tese_jansilveira.pdf: 2586375 bytes, checksum: a9fba4ff689db3af8a0aa7785e038080 (MD5) Previous issue date: 2015-09-30 / The latest technologies of integrated circuit manufacturing allow billions of transistors to be arranged on a single chip, enabling us to implement a complex parallel system, which requires a communications architecture with high scalability and high degree of parallelism, such as a Network-on-Chip (NoC). These technologies are very close to physical limitations, which increases the quantity of faults in circuit manufacturing and at runtime. Therefore, it is essential to provide a method for fault recovery that would enable the NoC to operate in the presence of faults and still ensure deadlock-free routing. The preprocessing of the most probable fault scenarios allows us to anticipate the calculation of deadlock-free routing, reducing the time that is necessary to interrupt the system during a fault occurrence. This work proposes a technique that employs the preprocessing of fault scenarios based on forecasting fault tendencies, which is performed with a fault threshold circuit operating in agreement with high-level software. The technique encompasses methods for dissimilarity analysis of scenarios based on cross-correlation measurements of fault link matrices, which allow us to define a reduced and efficient set of fault coverage scenarios. Experimental results employing RTL simulation with synthetic traffic prove the quality of the analytic metrics that are used to select the preprocessed scenarios. Furthermore, the experiments show the efficacy and efficiency of the proposed dissimilarity methods, quantifying the latency penalization when using the coverage scenarios approach / As últimas tecnologias de fabricação de circuitos integrados habilitam bilhões de transistores a serem postos em um único chip, permitindo implementar um sistema paralelo complexo, o qual requer uma arquitetura de comunicação que tenha grande escalabilidade e alto grau de paralelismo, tal como uma rede intrachip, em inglês, Network-on-Chip (NoC). Estas tecnologias estão muito próximas de limitações físicas, aumentando a quantidade de falhas na fabricação dos circuitos e em tempo de operação. Portanto, é essencial fornecer um método para recuperação de falha que permita a NoC operar na presença de falhas e ainda garantir roteamento livre de deadlock. O pré-processamento de cenários de falha mais prováveis permite antecipar o cálculo de rotas livres de deadlock, reduzindo o tempo necessário para interromper o sistema durante a ocorrência de uma falha. Esta tese propõe uma técnica que emprega o pré-processamento de cenários de falha baseado na previsão de tendência de falhas, a qual é realizada com um circuito de limiar de falha operando em conjunto com um software de alto nível. A técnica contempla análises de métodos de dissimilaridade de cenários baseadas na correlação cruzada de matrizes bidimensionais de conexões com falha, que permite definir um conjunto reduzido e eficiente de cenários de cobertura de falhas. Resultados experimentais, empregando simulação com precisão em nível de ciclo e tráfego sintético, provam a qualidade das métricas analíticas usadas para selecionar os cenários pré-processados. Além do mais, os experimentos mostraram a eficácia e eficiência dos métodos de dissimilaridades propostos, quantificando a penalização de latência no uso da abordagem de cenários de cobertura

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2015. / Made available in DSpace on 2016-10-19T13:14:46Z (GMT). No. of bitstreams: 1 338912.pdf: 51401536 bytes, checksum: 861bb54d2ebd2d53439ff9739d86ef87 (MD5) Previous issue date: 2015 / O estudo de mecanismo é uma das áreas mais importantes no projeto de máquinas e os seus problemas podem ser divididos em dois grupos: análise de mecanismos e síntese de mecanismos. O foco desta tese é a análise da topologia de mecanismos, em termos de graus de liberdade e restrições, através da teoria de helicoides e da teoria de matroides. Na tese é elaborada uma modelagem geral dos graus de liberdade e das restrições de um mecanismo, utilizando a representação por helicoides e a adaptação das leis de Kirchhoff proposta por Davies para cadeias cinemáticas. Baseada nesta modelagem, é desenvolvida uma nova metodologia de análise de mecanismos para a eliminação automática das restrições redundantes. Ao mesmo tempo, a teoria de matroides é utilizada na análise dos mecanismos. A tese introduz novos resultados na teoria de mecanismos. Primeiramente, é analisada a escolha dos conjuntos de atuadores válidos para um mecanismo. Dois novos algoritmos são propostos para a enumeração de todos os possíveis conjuntos válidos de atuadores e a para a escolha ótima de um conjunto válido de atuadores com base nas especificações do mecanismo. Posteriormente, são analisados os possíveis mecanismos auto alinhantes derivados de um mecanismo com restrições redundantes. Dois novos algoritmos são propostos para enumeração de todos os possíveis mecanismos auto alinhantes obtidos retirando as restrições redundantes de um dado mecanismo e para escolha ótima de um mecanismo auto alinhante, com base nas suas especificações. Os algoritmos foram implementados no software Sage e apresentam complexidade polinomial. Exemplos de aplicação são apresentados e os resultados validados frente à literatura. Duas contribuições adicionais são também introduzidas: a definição de um invariante cinemático que relaciona a mobilidade com o número de restrições redundantes de um mecanismos e um contraexemplo para a metodologia de análise das restrições redundantes proposta por Reshetov.<br> / Abstract : The study of mechanisms is one of the most important areas on which machine design relies. Research in mechanism can be roughly divided into two main problems: mechanism analysis and mechanism synthesis. This thesis focuses on topology analysis of mechanism, by means of screw theory representation of mechanisms. Freedoms and constraints in mechanisms are thus described applying the Kirchhoff's laws adaptation to multibody systems proposed by Davies. Based on this modelling, overconstraint in mechanisms is analysed in terms of free motions and constraints. Two main contributions are proposed along this work, based on matroid theory and linear algebra modelling. First, the actuation schemes of a mechanism are investigated. Two algorithms are proposed for enumerating all valid actuation schemes of an overconstrained mechanism and for selecting an optimal actuation scheme, based on a set of criteria. Second, the self-aligning mechanisms kinematically equivalent to an overconstraint mechanism are investigated. Two new algorithms for enumerating all self-aligning kinematically equivalent mechanisms to an overconstrained one and for selecting an optimal self-aligning topology, based on a set of criteria, are proposed. All algorithms have been implemented in Sage software and run in polynomial time. Examples of applications are presented, and the results obtained validated with literature cases. Moreover, two further contributions are proposed: the definition of an invariant kinematic chain relating mobility and degree of constraint and a counterexample for the methodology proposed by Reshetov.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2012-10-19T09:28:08Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T23:13:13Z : No. of bitstreams: 1 182231.pdf: 5472262 bytes, checksum: e07e2ed52c8578520017f82027240167 (MD5) / Este trabalho propõe um método topológico generalizado para as análises de observabilidade e criticidade de sistemas de potência e um método de identificação de erros de topologia baseado em testes de hipóteses, capazes de processar sistemas representados no nível de seção de barras. O primeiro método é uma extensão do método topológico convencional para análise de observabilidade/criticidade de sistemas. Esta extensão permite que fluxos de potência através de disjuntores sejam tratados como novas variáveis de estado e que informações (medidas e restrições) provenientes da representação explícita de chaves e disjuntores sejam processadas juntamente com as medidas convencionais. As características puramente topológicas do método permitem que as análises de observabilidade do sistema e de criticidade de informações sejam realizadas simultaneamente. No método de identificação de erros de topologia proposto a estimação de estados é tratada como um problema de otimização restrito. As equações das medidas, as restrições estruturais, referentes às barras de injeção nula e barras de referência, e as restrições operacionais, referentes aos status de chaves e disjuntores representados no modelo da rede, são incluídas no problema como restrições de igualdade. Além disso, informações a priori sobre os estados do sistema são modeladas no problema e desempenham papel importante no condicionamento numérico e no desempenho do método. O algoritmo de identificação de erros de topologia proposto pode ser dividido em três partes: detecção, seleção de disjuntores suspeitos e identificação dos erros. A detecção é realizada através dos multiplicadores de Lagrange normalizados associados às restrições operacionais. Estes mesmos multiplicadores são utilizados em conjunto com o teste do cosseno, resultante da interpretação geométrica desenvolvida para os multiplicadores de Lagrange, para selecionar os disjuntores suspeitos de conterem erros de modelagem. Finalmente, configurações errôneas com relação aos status dos disjuntores suspeitos são identificadas através de testes de hipóteses baseados no teorema de Bayes. A validade dos métodos de análise de observabilidade/criticidade e de identificação de erros de topologia foi verificada através de simulações com diferentes configurações dos sistemas testes de 24 barras e 30 barras do IEEE. Os resultados obtidos mostram a capacidade e eficiência dos dois métodos no processamento de sistemas modelados no nível de subestação.

Made available in DSpace on 2014-06-11T19:26:15Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-03-02Bitstream added on 2014-06-13T19:33:40Z : No. of bitstreams: 1 gazon_ab_me_sjrp.pdf: 514461 bytes, checksum: a28c7f2428994893238d1ea3bcd3a9b1 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Baseado na teoria de cohomologia de grupos, Andrade e Fanti definiram um invariante algébrico, denotado por E(G;S;M), onde G é um grupo, S é uma família de subgrupos de G de índice finito e Mé um Z 2G-módulo. O objetivo deste trabalho é definir um invariante dual a E(G;S;M), que denotaremos por E (G;S;M), utilizando a homologia de grupos em vez da cohomologia. Com este invariante, obtemos diversos resultados e aplicações, principalmente nas teorias de grupos e pares de dualidade e de decomposição de grupos. Estes resultados fornecem uma maneira alternativa de obter aplicações e propriedades nestas teorias. E, para desenvolver este trabalho, estudamos as teorias de (co)homologia absoluta e relativa de grupos, bem como suas interpretações topológicas, e a teoria de grupos e pares de dualidade / Based on the cohomology theory of groups, Andrade and Fanti defined an algebraic invariant, denoted by E(G;S;M), where G is a group, S is a family of subgroups of G with nite index and M is a Z 2G-module. The purpose of this work is to define a dual invariant of E(G;S;M), which we denote by E (G;S;M), using the homology of groups instead of cohomology. With this invariant, we obtain many results and applications, especially in the duality and splitting theories of groups. These results provide an alternative way to get applications and properties in these theories. And to develop this work, we studied the absolute and relative (co)homology theories of groups, as well as their topological interpretations, and the theories of duality groups and pairs

Tese (doutorado)—Universidade de Brasília, Instituto de Física, 2016. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-05-31T21:20:27Z No. of bitstreams: 1 2017_MirianMitusukoIzawa.pdf: 14848381 bytes, checksum: e49cb71c8fd71ee1058698d16d890a37 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-06-22T22:06:00Z (GMT) No. of bitstreams: 1 2017_MirianMitusukoIzawa.pdf: 14848381 bytes, checksum: e49cb71c8fd71ee1058698d16d890a37 (MD5) / Made available in DSpace on 2017-06-22T22:06:00Z (GMT). No. of bitstreams: 1 2017_MirianMitusukoIzawa.pdf: 14848381 bytes, checksum: e49cb71c8fd71ee1058698d16d890a37 (MD5) Previous issue date: 2017-06-22 / É frequente a utilização da teoria de redes complexas para investigar o comportamento de Redes de Transporte Público (PTN - do inglês, Public Transport Network). Em geral, são utilizadas as rotas e as estações para a construção dessas redes e geralmente as análises se limitam a topologia da rede. No entanto, mais que rotas e estações, um PTN é formado por fatores que envolvem a prestação de serviço, tais como, número de viagens, horários, tempo de viagens e número de passageiros transportados. Decidimos focar nas operações de PTN, viagens e passageiros, não apenas na sua topologia, rota e estações/ponto de paradas, como vem sendo estudas essas redes. Neste trabalho construímos as redes ponderadas L-Rout, L-Trip e L-Pass derivadas da rede espaço-L. E ponderados, respectivamente, pelo número de rotas, de viagens e de passageiros. O mesmo é feito com as redes ponderadas P-Rout, P-Trip e P-Pass derivadas da rede espaço-P. Constatamos que mesmo para as diferentes escalas (por exemplo, a LPass é bem maior que a L-Trip, que, por sua vez, é bem maior que a L-Rout em termos de número de arestas), as curvas de distribuição do grau do nó levam a um decaimento exponencial independente do número de arestas das redes. A partir disso, desenvolvemos medidas usando as propriedades periódicas das viagens em redes PTN, que definimos como coeficientes de pendularidade RCM e hCM como o centro de “massa” das viagens num dia. Comparamos a distribuição dessas duas medidas entre as redes L-Trip e LPass como forma de comparar a oferta de serviços de transporte e sua demanda. E por fim, desenvolvemos um modelo gravitacional alterado para o estudo da distribuição de viagens do Transporte urbano de ônibus do Distrito Federal a partir de uma das propriedades de redes complexas, a distância dij, e a partir das características de embarque e desembarque dos ônibus. Acreditamos que as metodologias propostas para as redes P-Rout, P-Trip e P-Pass, e também para as redes L-Rout, L-Trip and L-Pass, possam contribuir na análise e planejamento de sistemas de transporte público. / The complex network theory is often used to investigate the behavior of Public Transport Networks (PTN). In general, these studies are limited to the topological analysis using routes and stations/stops. However, more than routes and stations, a PTN is constituted by factors that include a provision of service, such as, number of trips, schedules, travel time and number of passengers carried. We decided to focus on PTN operations, that is, on travel and passengers, not only on the route and stations/stop as they have been studied. In this work we construct the weighted networks L-Rout, L-Trip and L-Pass derived from the L-space network. They are weighted, respectively, by number of routes, number of trips and number of passengers. The same is done with the weighted networks P-Rout, P-Trip and P-Pass derived from the P-space. We find that even for the different scales (for instance, the L-Pass is larger than the L-Trip, which is larger than the LRout in terms of number of edges), the nodes degree distribution function leads to an exponenial decayment independent of their number of edges. From this, we have developed measures using the periodic properties of the trips in PTN, which we define as pendularity coefficients RCM and hCM as the center of mass of the trips in a day. We compare the distribution of these two measures between the L-Trip and L-Pass networks as a way to compare the offer of transport services and their demand. Finally, we developed an altered gravitational model for the study of the distribution of urban bus transportation trips from the Federal District from one of the properties of complex networks, the distance dij, and from the bus boarding and unboarding characteristics. We believe that the proposed methodologies for the P-Rout, P-Trip and P-Pass, and for the L-Rout, L-Trip and L-Pass, networks can contribute to the analysis and planning of public transport systems.

Orientador: Vanderlei Minori Horita / Banca: Alejandro Kocsard / Banca: José Régis Varão Filho / Banca: Ali Messaoudi / Banca: Claudio Aguinaldo Buzzi / Resumo: Neste trabalho mostramos que não existe skew-product de contato parcialmente hiperbólico no toro de dimensão 3 cuja dinâmica na base é dada por um difeomorfismo de Anosov e a ação nas fibras é dada por rotações cujos ângulos são funções cobordo do toro de dimensão 2 no círculo / Abstract: In this work we prove that there is no contact partially hyperbolic skew-product F : T2 S1 ! T2 S1 of the form F(p; t) = (f(p); t + (p)), where f is an Anosov diffeomorphism and 2 Cr(T2) is a coboundary / Doutor

Made available in DSpace on 2014-06-12T18:02:30Z (GMT). No. of bitstreams: 2 arquivo582_1.pdf: 4729199 bytes, checksum: e3d81d03dc0633e282c2e9ddaa2df782 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Nesta tese fizemos uma análise detalhada do comportamento dos emaranhamentos térmico e do estado fundamental de aglomerados de spin quânticos. Para o caso de dois spins, encontramos e caracterizamos uma rica estrutura de padrões de emaranhamento térmico em função dos parâmetros do hamiltoniano do modelo XY. Propusemos um procedimento para se extrair a componente quântica das funções de correlação de spin, cujo comportamento é afetado por variações nos padrões de emaranhamento. Aglomerados de três e quatro spins foram considerados numa análise do efeito de modificações na topologia da rede de acoplamentos, pela variação da interação entre spins não vizinhos, sobre o emaranhamento entre spins e também sobre o emaranhamento global. Os resultados demonstram que a presença de acoplamentos adicionais não apenas cria emaranhamento multipartite mas também modifica sua natureza