Resumo Neste trabalho apresentamos, em detalhes, a construção de uma teoria quântica dos campos topológica (TQCT). Podemos definir uma TQCT como um funtor simétrico monoidal da categoria dos cobordismos para a categoria dos espaços vetoriais. Em duas dimensões podemos encontrar uma descrição completa da categoria dos cobordismos e classificar todas as TQCT\'s. Em três dimensões é possível estender alguns invariantes para 3-variedades e construir uma TQCT 3D. Nossa construção é baseada no invariante para 3-variedades de Kuperberg, o qual envolve diagramas de Heegaard e álgebras de Hopf. Começamos com a apresentação do invariante de Kuperberg definido para toda variedade 3D compacta, orientável e sem bordo. Para cada álgebra de Hopf de dimensão finita constrói-se um invariante. Por fim, apresentamos a TQCT associada com o invariante de Kuperberg. Isto é feito usando-se o fato de que o invariante de Kuperberg é definido como uma soma de pesos locais tal qual uma função de partição. A TQCT decorre dos operadores advindos de variedades com bordo. / Abstract In this work we present in detail a construction of a topological quantum field theory (TQFT). We can define a TQFT as a symmetric monoidal functor from cobordism categories to category of vector spaces. In two dimension, we can give a complete description of cobordism categories and classify all TQFT\'s. In three dimension it is possible to extend some specific 3-manifold invariants and to construct a TQFT 3D. Our construction is based on the Kuperberg 3-manifold invariant which involves Heegaard diagrams and Hopf algebras. We start with the presentation of the Kuperberg invariant defined for every orientable compact 3-manifold without boundary. For each finite-dimensional Hopf algebra we can construct a invariant. Finally we presente the TQFT associated with the Kuperberg invariant. This is made using the fact that the Kuperberg invariant is defined like a sum of local weights in the same way as a partition function. The TQFT is constructed from the operators given by manifolds with boundary.

Singular Riemannian foliations in spheres provide local models for an extensive kind of singular Riemannian foliations, whose theory contributes in the understanding of Riemannian manifolds. Hence the importance of studying and classifying them, a research subject that still remains open. In 2014, Marco Radeschi constructed indecomposable singular Riemannian foliations of arbitrary codimension, most of them inhomogeneous, which generalized all known examples of that type so far. The present dissertation is a detailed study of his work, along with observations about the progress made on this dynamic field since that paper was published. Besides introducing preliminary notions and examples on singular Riemannian foliations, isometric actions and Clifford theory, it is explained a construction of inhomogeneous isoparametric hypersurfaces, due to Ferus, Karcher and Münzner, that was a fundamental framework for the results of Radeschi. After that, it is described exhaustively the construction of Clifford and composed foliations in spheres, which are the examples that Radeschi created using Clifford systems. In the sequel it is established an extraordinary bijective correspondence between Clifford foliations (merely geometric objects) and Clifford systems (purely algebraic objects). This text finishes examining the relations of homogeneity properties among FKM, Clifford and composed foliations. / Folheações Riemannianas singulares em esferas fornecem modelos locais para folheações Riemannianas singulares mais gerais, cuja teoria contribui na compreensão de variedades Riemannianas. Daí a sua importança de estudá-los e classificá-los, uma área de pesquisa que se mantém aberta. Em 2014, Marco Radeschi construiu folheações Riemannianas singulares indecomponíveis de codimensão arbitrária, a maioria delas não homogêneas, que generalizaram todos os exemplos conhecidos desse tipo até então. A presente dissertação é um estudo detalhado desse trabalho, junto com observações sobre avanços que se têm feito neste dinâmico campo desde a publicação do artigo. Após introduzir as noções e exemplos preliminares de folheações Riemannianas singulares, ações isométricas e teoria de Clifford, é explorada uma construção de hipersuperfícies isoparamétricas não homogêneas, devida a Ferus, Karcher e Münzner (FKM), que foi peça fundamental para os resultados de Radeschi. Em seguida, descreve-se minuciosamente a construção de folheações composta e de Clifford em esferas, que são os exemplos que o autor mencionado anteriormente gerou usando sistemas de Clifford. Continuando com a análise dessas novas folheações Riemannianas singulares, estabelece-se uma extraordinária correspondência biunívoca entre folheações de Clifford (objetos meramente geométricos) e sistemas de Clifford (objetos puramente algébricos). Este texto termina examinando as relações das propriedades de homogeneidade entre folheações FKM, compostas e de Clifford.

Neste trabalho, seguindo a abordagem de Weierstrass, temos o objetivo de responder a seguinte questão: conhecida a equivalência entre holomorfia e analiticidade no caso complexo, quais propriedades das funções analíticas podem ser obtidas sem assumir tal equivalência? Analisando esta situação, resultados interessantes serão obtidos sem o uso de qualquer teorema de integração complexa e, para alcançar tal objetivo, nossas principais ferramentas serão a teoria de somas não ordenadas de famílias em C e propriedades do índice de caminhos fechados. Entre os resultados apresentados estão os conhecidos Teorema Fundamental da Álgebra, Lema de Schwarz, Teorema de Montel, Teorema da Série Dupla de Weierstrass, Princípio do Argumento, Teorema de Rouché, Teorema da Fatoração de Weierstrass, Pequeno Teorema de Picard e o Teorema da Aplicação de Riemann. / In this work, following the Weierstrass\'s approach, we aim to answer the following question: knowing the equivalence between holomorphy and analyticity in the complex case, which properties of analytic functions can be obtained without assuming such equivalence? Through analyzing this situation, interesting results will be obtained without employing of any complex integration theorem and in order to achieve this goal, our main tools will be the theory of unordered sums in C and properties of winding numbers of closed paths. Among the proven results are the well known Fundamental Theorem of Algebra, Schwarz\'s Lemma, Montel\'s Theorem, Weierstrass\'s Double Series Theorem, Argument Principle, Rouché\'s Theorem, Weierstrass\'s Factorization Theorem, Picard\'s Little Theorem and the Riemann\'s Mapping Theorem.

Esta pesquisa tem como objetivo investigar os obstáculos à aprendizagem de Álgebra no Ensino Fundamental com o intuito de ajudar na compreensão das dificuldades envolvidas no aprendizado desse tópico. Para tal efeito, foi feito um levantamento da bibliografia relacionada à construção da ideia de obstáculo, erros e dificuldades relativos à aprendizagem de Matemática no Brasil e no exterior. Através desse levantamento, constatou-se que elevados índices de erros cometidos por alunos do Ensino Fundamental em países como a Inglaterra e os Estados Unidos, em problemas matemáticos relacionados à Álgebra, aproximam-se da realidade brasileira, como mostram os dados do último relatório fornecido pelo INEP (Instituto Nacional de Estudos e Pesquisas). Para confirmar esses fatos, foi aplicada uma pesquisa entre os alunos do 9º ano do Ensino Fundamental, da rede pública do estado de São Paulo, com questões adaptadas do SARESP (Sistema de Avaliação do Rendimento Escolar do Estado de São Paulo). Para efeitos de análise, os obstáculos encontrados foram classificados sob a perspectiva de quatro categorias (Epistemológicos, Didáticos, Psicológicos e Ontogenéticos) definidas por Guy Brousseau para o ensino de Matemática. Utilizou-se também o aspecto conceitual do domínio do funcionamento cognitivo do \"sujeito-emsituação\", cujas bases são advindas e ampliadas da teoria piagetiana de operações lógicas e das estruturas gerais do pensamento, conhecida como a Teoria dos Campos Conceituais de Gérard Vergnaud. Esta pesquisa trata do conhecimento-em-ação e sua influência no aprendizado de Álgebra, o que é um teorema-em-ação e uma invariante operatória, além de mostrar o funcionamento dos esquemas. Desta forma, foi possível oferecer alguns indicativos ao professor do que seria necessário para compreender as dificuldades e obstáculos que envolvem o aprendizado de Álgebra e conscientizá-lo de que é relevante um acompanhamento em longo prazo e aprofundado de seus alunos para realmente obter respostas concretas sobre os obstáculos epistemológicos e os aspectos psicológicos envolvidos na aprendizagem, como definidos por Vergnaud (1994). / The aim of this study is to examine obstacles and understand difficulties involved in the learning of Algebra in elementary school. The work consists in a review of the academic production and theoretical studies concerning the construction of the idea of obstacles, difficulties and errors in the learning of Mathematics in Brazil and overseas. The analyses of the studies revealed that a high level of errors made by students in elementary school in some countries, such as England and the United States, on mathematical problems related to Algebra, are close to the Brazilian reality, as shown by the data of the last report provided by INEP (National Institute of Studies and Research). Also an empirical study was applied among students in the 9th grade of elementary school, all from public schools of Sao Paulo. The questions applied in this study have been adapted from SARESP (System for Evaluation of Educational Achievement of Sao Paulo). For analysis purposes, the obstacles encountered were classified from the perspective of four categories (Epistemological, Educational, Psychological and Ontogenetic) defined by Guy Brousseau for teaching mathematics in addition to the conceptual aspect in the field of cognitive functioning of \"subject in a situation\", whose bases are arisen and extended from Piaget\'s theory of logical operations and the general structures of thought, known as Theory of Conceptual Fields (Vergnaud, 1990). This study also treats with knowledge-in-action and their influence on the learning of Algebra, what are theorems-in-action and operative invariants in addition to showing the function of schemes. Thus it was possible to offer some indications for teachers and helping them to understand difficulties and obstacles involving in the learning of Algebra. In addition, it is relevant to keep in mind that a long term and careful tracking of their students must be required. In that way, it is possible to infer answers involving obstacles on the epistemological and psychological aspects, as defined by Vergnaud (1994).

The complexity of data stored in large databases has increased at very fast paces. Hence, operations more elaborated than traditional queries are essential in order to extract all required information from the database. Therefore, the interest of the database community in similarity search has increased significantly. Two of the well-known types of similarity search are the Range (\'R IND. q\') and the k-Nearest Neighbor (\'kNN IND. q\') queries, which, as any of the traditional ones, can be sped up by indexing structures of the Database Management System (DBMS). Another way of speeding up queries is to perform query optimization. In this process, metrics about data are collected and employed to adjust the parameters of the search algorithms in each query execution. However, although the integration of similarity search into DBMS has begun to be deeply studied more recently, the query optimization has been developed and employed just to answer traditional queries. The execution of similarity queries, even using efficient indexing structures, tends to present higher computational cost than the execution of traditional ones. Two strategies can be applied to speed up the execution of any query, and thus they are worth to employ to answer also similarity queries. The first strategy is query rewriting based on algebraic properties and cost functions. The second technique is when external query factors are applied, such as employing the semantic expected by the user, to prune the answer space. This thesis aims at contributing to the development of novel techniques to improve the similarity-based query optimization processing, exploiting both algebraic properties and semantic restrictions as query refinements / A complexidade dos dados armazenados em grandes bases de dados tem aumentado sempre, criando a necessidade de novas operações de consulta. Uma classe de operações de crescente interesse são as consultas por similaridade, das quais as mais conhecidas são as consultas por abrangência (\'R IND. q\') e por k-vizinhos mais próximos (\'kNN IND. q\'). Qualquer consulta e agilizada pelas estruturas de indexação dos Sistemas de Gerenciamento de Bases de Dados (SGBDs). Outro modo de agilizar as operações de busca e a manutenção de métricas sobre os dados, que são utilizadas para ajustar parâmetros dos algoritmos de busca em cada consulta, num processo conhecido como otimização de consultas. Como as buscas por similaridade começaram a ser estudadas seriamente para integração em SGBDs muito mais recentemente do que as buscas tradicionais, a otimização de consultas, por enquanto, e um recurso que tem sido utilizado para responder apenas a consultas tradicionais. Mesmo utilizando as melhores estruturas existentes, a execução de consultas por similaridade tende a ser mais custosa do que as operações tradicionais. Assim, duas estratégias podem ser utilizadas para agilizar a execução de qualquer consulta e, assim, podem ser empregadas também para responder às consultas por similaridade. A primeira estratégia e a reescrita de consultas baseada em propriedades algébricas e em funções de custo. A segunda técnica faz uso de fatores externos à consulta, tais como a semântica esperada pelo usuário, para restringir o espaço das respostas. Esta tese pretende contribuir para o desenvolvimento de técnicas que melhorem o processo de otimização de consultas por similaridade, explorando propriedades algebricas e restrições semânticas como refinamento de consultas

No description available.

This document introduces a new class of adaptive filters, namely Geometric- Algebra Adaptive Filters (GAAFs). Those are generated by formulating the underlying minimization problem (a least-squares cost function) from the perspective of Geometric Algebra (GA), a comprehensive mathematical language well-suited for the description of geometric transformations. Also, differently from the usual linear algebra approach, Geometric Calculus (the extension of Geometric Algebra to differential calculus) allows to apply the same derivation techniques regardless of the type (subalgebra) of the data, i.e., real, complex-numbers, quaternions etc. Exploiting those characteristics, among others, a general leastsquares cost function is posed, from which two types of GAAFs are designed. The first one, called standard, provides a generalization of regular adaptive filters for any subalgebra of GA. From the obtained update rule, it is shown how to recover the following least-mean squares (LMS) adaptive filter variants: real-entries LMS, complex LMS, and quaternions LMS. Mean-square analysis and simulations in a system identification scenario are provided, showing almost perfect agreement for different levels of measurement noise. The second type, called pose estimation, is designed to estimate rigid transformations { rotation and translation - in n-dimensional spaces. The GA-LMS performance is assessed in a 3-dimensional registration problem, in which it is able to estimate the rigid transformation that aligns two point clouds that share common parts. / Este documento introduz uma nova classe de filtros adaptativos, entitulados Geometric-Algebra Adaptive Filters (GAAFs). Eles s~ao projetados via formulação do problema de minimização (uma função custo de mínimos quadrados) do ponto de vista de álgebra geométrica (GA), uma abrangente linguagem matemática apropriada para a descrição de transformações geométricas. Adicionalmente, diferente do que ocorre na formulação com álgebra linear, cálculo geométrico (a extensão de álgebra geométrica que possibilita o uso de cálculo diferencial) permite aplicar as mesmas técnicas de derivação independentemente do tipo de dados (subálgebra), isto é, números reais, números complexos, quaternions etc. Usando essas e outras características, uma função custo geral de mínimos quadrados é proposta, da qual dois tipos de GAAFs são gerados. O primeiro, chamado standard, generaliza filtros adaptativos da literatura concebidos sob a perspectiva de subálgebras de GA. As seguintes variantes do filtro least-mean squares (LMS) s~ao obtidas como casos particulares: LMS real, LMS complexo e LMS quaternions. Uma análise mean-square é desenvolvida e corroborada por simulações para diferentes níveis de ruído de medição em um cenário de identificação de sistemas. O segundo tipo, chamado pose estimation, é projetado para estimar transformações rígidas - rotação e translação { em espaços n-dimensionais. A performance do filtro GA-LMS é avaliada em uma aplicação de alinhamento tridimensional na qual ele estima a tranformação rígida que alinha duas nuvens de pontos com partes em comum.

Made available in DSpace on 2016-04-28T19:59:09Z (GMT). No. of bitstreams: 1 Luis Eduardo Wexell Machado.pdf: 496366 bytes, checksum: 8eebabde9d5ca06a6de1e0dbc5896da1 (MD5) Previous issue date: 2008-05-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The present work develops a study on Guimarães Rosa s magic algebra, under the perspective of the fantastic literature development in the expectations horizon of the 18th, 19th and 20th centuries. In the 18th century, relations are established with the Gothic romance and the strange element that rises from the exterior; in the 19th century, they are established with the gender fantastic and the strange that burst from inside the human being; in the 20th century, when the human universe becomes fantastic and the strange becomes part of the daily, the new-fantastic is an interpretative possibility of a fantastic that reconciles with the poetic. The objective of this work is, thus, through the study of the fantastic in transformation as of expectation horizons of different times, to establish a group of elements which allow us to reflect about the approximation established with the rosena magic algebra. In order to understand the effect of the fantastic literature, as well as the magic algebra s, we used Paul Ricoeur s hermeneutic method with emphasis in the aspect of the integrative reading between the text s world and the reader s world, due to the double expectation horizon that the literary work contains: the book s horizon, in its structure, and the reading s horizon, which rewrites the book. The interrelations established, under the perspective of the corpus chosen for analysis O Mistério de Highmore Hall, Tempo e Destino and A Terceira Margem do Rio have shown that the magic algebra is quite distant from the concepts of the fantastic literature from the 18th and 19th century and beginning of the 20th century, although the first short stories of Guimarães Rosa are very close to these traditions. The singularity of the magic algebra reveals itself through the connection established with the poetic effect s construction, in a tight harmony with the new-fantastic conception and Borges magic causality as shown in the analyses of the Terceira Margem do Rio / A dissertação desenvolve um estudo sobre a álgebra mágica de Guimarães Rosa, à luz do desenvolvimento da literatura fantástica no horizonte de expectativas dos séculos XVIII, XIX e XX. No século XVIII, as relações se estabelecem com o romance Gótico e o elemento estranho que surge do exterior; no século XIX, com o gênero fantástico e o estranho que irrompe do interior humano; já no século XX, quando o universo humano se torna fantástico e o estranho faz parte do cotidiano, o neofantástico é uma possibilidade interpretativa de um fantástico que se reconcilia com o poético. O objetivo do trabalho é, portanto, por meio do estudo do fantástico em transformação a partir de horizontes de expectativas de épocas distintas, estabelecer um conjunto de elementos que nos permitam refletir sobre a aproximação estabelecida com a álgebra mágica roseana. Para compreender o efeito da literatura fantástica, bem como o da álgebra mágica, recorreu-se ao método hermenêutico de Paul Ricoeur, com ênfase no aspecto da leitura integrativa entre o mundo do texto e o mundo do leitor, em função do duplo horizonte de expectativas que a obra literária contém: o da obra em si, em sua estrutura, e o da leitura, que reescreve a obra. As relações estabelecidas à luz do corpus escolhido para análise O Mistério de Highmore Hall, Tempo e Destino e A Terceira Margem do Rio demonstraram que a álgebra mágica está bem distante dos conceitos da literatura fantástica dos séculos XVIII, XIX e mesmo do início do século XX, embora os primeiros contos de Guimarães Rosa guardem grande proximidade com essas tradições. A singularidade da álgebra mágica se revela, assim, por meio do vínculo estabelecido com a construção do efeito poético, em sintonia estreita com a concepção do neofantástico e a de causalidade mágica de Borges, como mostra a análise de A Terceira Margem do Rio

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-07-30T12:24:34Z No. of bitstreams: 1 José Roberto de Campos Lima.pdf: 798464 bytes, checksum: 390e74f72d58fa99f1dec2d73f258409 (MD5) / Made available in DSpace on 2018-07-30T12:24:34Z (GMT). No. of bitstreams: 1 José Roberto de Campos Lima.pdf: 798464 bytes, checksum: 390e74f72d58fa99f1dec2d73f258409 (MD5) Previous issue date: 2018-04-09 / In this paper, we present a qualitative research guided by the goal of investigating what the approach given to algebraic thinking in the prescribed curriculum of literacy cycle, which refers to the first three years of elementary school (children from 6 to 8 years old) of two proposals. To this end, we seek to characterize elements of algebraic thinking implicit or explicit in two documents, one of the federal sphere, the National Curricular Common Base (NCCB), and other of the state sphere, the Math Curriculum Guidelines for the Early Years (MCGEY). The NCCB was chosen because it is a document in the implementation phase, which every Brazilian education networks have as a reference for the elaboration of their own curriculum and, in the case of MCGEY, the state of São Paulo has the largest number of enrolments in literacy cycle. In addition, its curriculum is used by a large number of municipalities in the state. Thus, we decided to perform a documental analysis, in which the data collection occurred through content analysis, according to Bardin. We used the usual analytical techniques divided into three phases: pre-analysis, exploration of the material and processing of results, in which, through a “floating reading”, we refined the content until we get a material that met our goal. After this reading, investing in the observation, we established three categories for analysis, one that observes the structure with which the documents were elaborated; another to examine evidences of approach given to the algebraic thinking in different axes or thematic units of math; and, finally, the conceptual, which points to possible concepts involving algebraic thinking, either explicitly or implicitly. By analying the documents, in the NCCB, we identified a conceptual approach to the research area called Early Algebra, which has as its premise the possibility of developing algebraic thinking since the early years of schooling and not just from the final years of primary school, as Lins and Gimenez already pointed out. In MCGEY, we have evidences that can lead to the development of algebraic thinking, but in an implicity way, so this kind of mathematical thinking is hardly mentioned. The algebraic thinking in the literacy cycle is presented as identification, understanding of patterns and regularities in various contexts that can be generalized, without the need for a symbolic algebraic language. Therefore, it was necessary to understand how algebra interacts with other subareas of mathematics. We consider that it is very important to understand the development of algebraic thinking in the prescribed curriculum, both for initial and continuing training of teachers and for the preparation of materials and curricular structures, as well as a possibility that contributes to the mathematical training of students / Neste trabalho, apresentamos uma pesquisa qualitativa norteada pelo objetivo de investigar qual a abordagem dada ao pensamento algébrico no currículo prescrito do ciclo de alfabetização, que se refere aos três primeiros anos de escolaridade do ensino fundamental, ou seja, crianças de 6 a 8 anos, de duas propostas. Para tanto, buscamos elementos caracterizadores do pensamento algébrico de forma implícita ou explícita em dois documentos, sendo um da esfera federal, a Base Nacional Curricular Comum (BNCC), e o outro da esfera estadual, as Orientações Curriculares de Matemática para os Anos Iniciais (OCMAI). A escolha da BNCC se dá por esse ser um documento em fase de implementação, o qual todas as redes de ensino brasileiras têm como referência para elaboração de seus próprios currículos e, no caso do OCMAI, pelo fato de o estado de São Paulo ter o maior número de matrículas no ciclo de alfabetização. Além disso, seu currículo é utilizado por um grande número de municípios do estado. Assim, optamos por realizar uma análise documental, na qual a coleta de dados ocorreu por meio da análise de conteúdo, segundo Bardin. Empregamos as usuais técnicas de análise divididas em três fases: pré-análise, exploração do material e tratamento dos resultados, sendo que, por meio de uma leitura flutuante, refinamos o conteúdo até obtermos um material que atendesse ao nosso objetivo. Após essa leitura, investindo na observação, estabelecemos três categorias para análise, uma que observasse a estrutura com a qual os documentos foram elaborados; outra que analisasse indícios de abordagem dada ao pensamento algébrico nos diferentes eixos ou unidades temáticas da Matemática; e, por último, a conceitual, que aponta para possíveis conceitos que envolvam o pensamento algébrico, seja de forma explícita ou implícita. Ao analisarmos os documentos, identificamos, na BNCC, uma aproximação conceitual à denominada área de pesquisa Early Algebra, que tem como premissa a possibilidade do desenvolvimento do pensamento algébrico desde os primeiros anos de escolaridade e não apenas a partir dos anos finais do ensino fundamental, como já apontavam Lins e Gimenez. Nas OCMAI, temos indícios que podem conduzir ao desenvolvimento do pensamento algébrico, mas de modo implícito, sendo pouco citada essa forma de pensamento matemático. O pensamento algébrico no ciclo de alfabetização é apontado como identificação, compreensão de padrões e regularidades em diversos contextos que possam ser generalizados, sem a necessidade de uma linguagem simbólica algébrica. Sendo assim, fez-se necessário compreender como a Álgebra interage com as demais subáreas da matemática. Consideramos de grande importância a compreensão do desenvolvimento do pensamento algébrico no currículo prescrito, tanto para formação inicial e continuada de professores como para elaboração de materiais e estruturas curriculares, além de ser essa uma possibilidade que contribui para a formação matemática dos estudantes

A UML (Unified Modeling Language) é uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), é uma extensão da UML que permite a modelagem de sistemas de tempo real distribuídos e guiados por evento. A UML-RT não possui semântica formal, logo não é possível realizar verificação formal do modelo. O presente trabalho propõe o mapeamento dos elementos de comunicação da UML-RT para a álgebra de processos p-calculus, a fim de prover semântica formal à UML-RT. Com objetivo de automatizar o mapeamento, foi desenvolvido um protótipo de tradutor que captura o modelo UML-RT especificado na ferramenta RoseRT e determina suas definições p-calculus. As definições p-calculus geradas utilizam a sintaxe da gramática do HAL-JACK, que é uma ferramenta integrada para verificação e análise de sistemas expressos em p-calculus, assim as definições p-calculus podem ser submetidas ao HAL-JACK para verificação formal de propriedades. Este trabalho detalha o mapeamento UML-RT para p-calculus, descreve o protótipo desenvolvido e apresenta alguns exemplos do mapeamento do modelo UML-RT para definições p-calculus.