Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-08-08T12:10:14Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) v_final_assinaturas_branco.pdf: 10378086 bytes, checksum: 35e52eff52531ee36b6a5af5b2a20645 (MD5) / Made available in DSpace on 2016-08-08T12:10:14Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) v_final_assinaturas_branco.pdf: 10378086 bytes, checksum: 35e52eff52531ee36b6a5af5b2a20645 (MD5) Previous issue date: 2016-03-03 / The increasing complexity of systems has led to increasing difficulty in design. Thestandard approach to development, based on trial and error, with testing used at later stages toidentify errors, is costly and leads to unpredictable delivery times. In addition, for critical systems,for which safety is a major concern, early verification and validation (V&V) is recognised asa valuable approach to promote dependability. In this context, we identify three important anddesirable features of a V&V technique: (i) a graphical modelling language; (ii) formal andrigorous reasoning, and (iii) automated support for modelling and reasoning. We address these points with a refinement technique for SysML supported by tools. SysML is a UML-based language for systems design; it has itself become a de facto standard in the area. There is wide availability of tool support from vendors like IBM, Atego, and Sparx Systems. Our work is distinctive in two ways: a semantics for refinement and for a representative collection of elements from the UML4SysML profile (blocks, state machines, activities, and interactions) used in combination. We provide a means to analyse design models specified using SysML. This facilitates the discovery of problems earlier in the system development lifecycle, reducing time and costs of production. In this work we describe our semantics, which is defined using a state-rich process algebra called CML and implemented in a tool for automatic generation of formal models. We also show how the semantics can be used for refinement-based analysis and development. Our case studies are a leadership-election protocol, a critical component of an industrial application, and a dwarf signal, a device used to control rail traffic. Our contributions are: a set of guidelines that provide meaning to the different modelling elements of SysML used during the design of systems; the individual formal semantics for SysML activities, blocks and interactions; an integrated semantics that combines these semantics with another defined for state machines; and a framework for reasoning using refinement about systems specified by collections of SysML diagrams. / O aumento da complexidade dos sistemas tem levado a um aumento na dificuldade da atividade de projeto. A abordagem padrão para desenvolvimento, baseada em tentativa e erro, com testes usados em estágios avançados para identificar erros, é custosa e leva a prazos de entrega imprevisíveis. Além disto, para sistemas críticos, para os quais segurança é um conceito chave, Verificação e Validação (V&V) com antecedência é reconhecida como uma abordagem valiosa para promover confiança. Neste contexto, nós identificamos três características importantes e desejáveis de uma técnica de V&V: (i) uma linguagem de modelagem gráfica; (ii) raciocínio formal e rigoroso, e (iii) suporte automático para modelagem e raciocínio. Nós tratamos estes pontos com uma técnica de refinamento para SysML apoiada por ferramentas. SysML é uma linguagem baseada na UML para o projeto de sistemas. Ela tem se tornado um padrão de facto na área. Há uma grande disponibilidade de ferramentas de fornecedores como IBM, Atego, e Sparx Systems. Nosso trabalho se destaca de duas maneiras: ao fornecer uma semântica para refinamento e considerar uma coleção representativa de elementos do perfil UML4SysML (blocos, máquina de estados, atividades, e interações) usados de forma combinada. Nós fornecemos uma estratégia para analisar modelos de projeto especificados em SysML. Isto facilita a descoberta de problemas mais cedo durante o ciclo de vida de desenvolvimento de sistemas, reduzindo tempo e custos de produção. Neste trabalho nós descrevemos nossa semântica a qual é definida usando uma álgebra de processo rica em estado chamada CML e implementada em uma ferramenta para geração automática de modelos formais. Nós também mostramos como esta semântica pode ser usada para análise baseada em refinamento. Nossos estudos de caso são um protocolo de eleição de líder, o qual é um componente crítico de uma aplicação industrial, e um sinal anão, o qual é um dispositivo para controlar tráfego em linhas férreas. Nossas contribuições são: um conjunto de orientações que fornecem significado para os diferentes elementos de modelagem de SysML usados durante o projeto de sistemas; as semânticas formais individuais para atividades, blocos e interações de SysML; uma semântica integrada que combina estas semânticas com outra definida para máquina de estados; e um arcabouço que usa refinamento para raciocínio de sistemas especificados por coleções de diagramas SysML.

Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-29T13:17:55Z No. of bitstreams: 1 Emerson de Oliveira Dantas.pdf: 321375 bytes, checksum: e7a1908ccaf8bcb9ee0df5fdb308d1d3 (MD5) / Made available in DSpace on 2017-03-29T13:17:55Z (GMT). No. of bitstreams: 1 Emerson de Oliveira Dantas.pdf: 321375 bytes, checksum: e7a1908ccaf8bcb9ee0df5fdb308d1d3 (MD5) Previous issue date: 2014-08-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work is motivated by the Cauchy Functional Equation f (x + y) = f (x) .f (y), characteristic of the exponential function. To arrive at this equation we will begin our study of the definitions and statements of the Exponent Properties Real Power, particularly in the case in which the power exponent is irrational, besides doing a pedagogical proposal on teaching potentiation, Characterization of the Exponential Function and Functional Equation Linear Cauchy. / Este trabalho tem por motivação a Equação Funcional de Cauchy f(x + y) = f(x).f(y), característica da Função Exponencial. Para chegarmos a essa equação iniciaremos o nosso estudo pelas definições e demonstrações das Propriedades da Potência de Expoente Real, destacando o caso em que a Potência tem Expoente Irracional, além de fazermos uma proposta pedagógica sobre o ensino de Potenciação, Caracterização da Função Exponencial e Equação Funcional Linear de Cauchy

Orientador: Caio José Colletti Negreiros / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T12:45:02Z (GMT). No. of bitstreams: 1 Grama_LinoAndersondaSilva_D.pdf: 1119551 bytes, checksum: d2dc2c993629f40f7976e91497c5d219 (MD5) Previous issue date: 2011 / Resumo: O principal objetivo deste trabalho é o estudo de aplicações harmônicas em variedades flag generalizadas. Na primeira parte do trabalho, consideramos aplicações cujo domínio é uma superfície de Riemann. Provamos que toda aplicação holomorfa-horizontal na variedade flag é uma aplicação equiharmônica (ie, harmônica com respeito a cada métrica invariante na variedade flag). Obtemos também as fórmulas de Plucker para curvas holomorfa-horizontais na variedade flag maximal. Na segunda parte do trabalho, consideramos aplicações harmônicas cujo domínio possui dimensão 1 ( ie, geodésicas) na variedade flag. Provamos que toda variedade ag generalizada admite curvas que são geodésicas com respeito a cada métrica invariante. Tais curvas são chamadas equigeodésicas. Fornecemos uma descrição algébrica para tais curvas e exibimos famílias de equigeodésicas em diversas famílias de variedades flag / Abstract: The main goal of this work is the study of harmonic maps in generalized flag manifolds. In the first part of the work, we consider maps whose domain is a Riemann surface. We prove that every holomorphic-horizontal map in the flag manifold is an equiharmonic map (i.e. harmonic with respect to each invariant metric in the flag manifold). We also obtain the Plucker formulae for holomorphic-horizontal curves in full flag manifolds. In the second part of the work, we consider harmonic maps whose domain has dimension one (i.e. geodesics) in the ag manifold. We prove that every generalized flag manifold admit curves that are geodesics with respect to each invariant metric. Such curves are called equigeodesics. We provide an algebraic characterization for such curves and exhibit families of equigeodesics in several families of flag manifolds / Doutorado / Doutor em Matemática

Orientador: Jayme Vaz Jr / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataglin / Made available in DSpace on 2018-08-05T13:26:17Z (GMT). No. of bitstreams: 1 RochaJunior_Roldaoda_D.pdf: 1670364 bytes, checksum: 3d62c507080592c925245e4858fab674 (MD5) Previous issue date: 2005 / Resumo: Investigamos generalizações das álgebras de Clifford (ACs) e suas vastas aplicações na Física. Classificamos o mais novo candidato à descrição da matéria escura como um campo espinorial bandeira, que pertence à classe 5 proposta por Lounesto, de acordo com os valores assumidos pelos seus covariantes bilineares. Decompomos a AC em partes a pares e ímpares relativas a uma dada a graduação automórfica interna, além de descrever suas diversas consequências na decomposição de operadores que agem sobre a álgebra exterior e sobre a AC. Além de escrever a equação de Dirac no contexto dessa decomposição, estendemos os resultados conhecidos sobre uma partícula-teste nas vizinhanças de um buraco negro de Schwarzschild para um buraco negro de Reissner-Nordstrom. Introduzimos as ACs estendidas, construídas sobre duas cópias (quiral e aquiral) de um espaço vetorial de dimensão finita munido de uma métrica de assinatura (p, q). Formulamos a AC sobre uma cópia quiral do contraespaço, mostrando propriedades surpreendentes, tais como: a indefinição do elemento de volume do contraespaço sob o produto regressivo, com a possibilidade de ele ser um escalar ou pseudoescalar, dependendo da dimensão do espaço vetorial; e o fato de que a co-cadeia de de Rham do operador codiferencial ser formada por uma sequência de subespaços homogêneos da álgebra exterior subsequentemente quirais e aquirais. Dessa maneira provamos que a álgebra exterior sobre o espaço e aquela construída sobre o contraespaço são apenas pseudo-duais ao introduzirmos quiralidade. A super álgebra de Poincaré é obtida a partir da introdução de algumas estruturas algébricas sobre o espaço euclidiano R3, a partir da utilização de spinors puros e do Princípio da Trialidade juntamente com sua generalização. Introduzimos os octonions no contexto das ACs e definimos unidades octoniônicas parametrizadas por elementos arbitrários, mas fixos, de uma AC sobre R0,7 e também produtos octoniônicos entre multivetores, além de generalizarmos as identidades de Moufang para esse formalismo. O Modelo Padrão das partículas elementares é rediscutido nesse contexto, além de obtermos uma Teoria de Calibre não-associativa em Cl0,7 , onde o campo espinorial é dado pela soma direta de um quark e um lépton. Finalmente introduzimos as isotopias, associativas e não-associativas, das ACs e em particular a simetria de sabor SU(6) dos quarks se apresenta como uma simetria exata dentro do contexto do levantamento isotópico da AC CL12. Bárions e mésons também são descritos nesse contexto / Abstract: We investigate Clifford algebras (ACs) generalizations and their wide applications in Physics. The candidate for the description of the dark matter is classified as a agpole spinor field, that is in the class 5 spinors proposed by Lounesto according to his spinor field classification by the values assumed by their bilinear covariants. The AC is split in a-even and a-odd components, related to a given inner automorphic a-grading, besides describing various consequences of this decomposition in the splitting of operators acting on the exterior and Clifford algebras. Besides writing the Dirac equation in the spacetime splitting context, we extend the well known results concerning a spinning test particle in a Schwarzschild black hole neighboorhood to a Reissner-Nordstrom black hole. We alsointroduce the extended ACs associated with two copies (chiral and achiral) of a finite-dimensional vector space endowed with a metric of signature (p, q). ACs are formulated on a chiral copy of the counterspace, where we show astounding and astonishing properties such as: the de Rham co-chain associated with the codifferential operator is constituted by a sequence of exterior algebra homogeneous subspaces subsequently chiral and achiral. Thus we prove thatthe exterior algebra on the space and the exterior algebra constructed on the counterspace are pseudoduals, if we introduce chirality. The Poincaré superalgebra is obtained from the introduction of some algebraic structures on the Euclidean space R3 , via the pure spinor formalism and the triality principle and its generalization. Octonions are introduced in thecontext of ACs and we define AC-parametrized octonionic units, besides generalizing Moufang identities in this context. The Standard Model of elementary particles is revisited in the octonionic context and we also obtain a gauge theory using the new octonionic products introduced, where a spinor field describes the direct sum of a quark and a lepton. Finally we introduce associative and non-associative isotopies of ACs. In particular we present the avor quark symmetry SU(6) as an exact symmetry in the Cl12 isotopic lifting context. Barions and mesons are also described via isotopic lifting of ACs / Doutorado / Fisica-Matematica / Doutor em Ciências

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This dissertation aims to study the quiver of r-tilting modules over an algebra of Artin A to obtain information about the Hasse diagram of the partially ordered set ( A; ) of r-tilting modules, as done in [8], and on certain vertices and paths, as found in [9]. For this, we start by studying the inclination theory where we look generalizations of the de nition of tilting modules and some important theorems, given by Miyashita in [15]. Done that, following Riedtmann and Scho eld in [14], we will de ne a quiver of r-tilting modules ~KA and a partially ordered set ( A; ), where we will verify that the underlying graph KA of ~KA is the Hasse diagram of ( A; ). Finally, we will study the local structure of ~KA, according [9]. Keywords: / Esta dissertação tem por objetivo o estudo da aljava de módulos r-inclinantes sobre uma álgebra de Artin A para se obter informações sobre o diagrama de Hasse do conjunto parcialmente ordenado de módulos r-inclinantes como feito em [8], e sobre determinados vértices e caminhos, como encontrado em [9]. Para isso, começamos estudando a teoria de inclinação onde buscamos generalizações da definição de módulos inclinantes e de alguns teoremas importantes, dadas por Miyashita em [15]. Feito isso, seguindo Riedtmann e Schofield em [14], definiremos uma aljava de médulos r-inclinantes ~KA e um conjunto parcialmente ordenado ( A; ), onde verificaremos que o grafo subjacente KA de ~KA e o diagrama de Hasse de ( A; ). Por fim, faremos um estudo da estrutura local de ~KA, de acordo com [9].

Orientador: Adriano Adrega de Moura / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-15T13:08:41Z (GMT). No. of bitstreams: 1 Pereira_FernandadeAndrade_M.pdf: 1042187 bytes, checksum: adcbcf9ff1fb8219267fb3097af14c9d (MD5) Previous issue date: 2010 / Resumo: O conceito de afinização minimal, introduzido por V. Chari e A. Pressley, surgiu a partir da impossibilidade de se estender, em geral, uma representação do grupo quântico associado a uma álgebra de Lie simples para o grupo quântico associado à sua álgebra de laços, o que sempre é possível no contexto clássico. Uma classe especial de afinizações minimais é a dos módulos de Kirillov-Reshetikhin, que são afinizações minimais dos módulos irredutíveis quando os pesos máximos são múltiplos dos pesos fundamentais. Esses módulos são objetos de muitos estudos por causa das suas aplicações em física-matemática. Um problema de interesse particular envolvendo afinizações minimais é o de descrever seus caracteres. Neste trabalho apresentamos algumas fórmulas para os caracteres de afinizações minimais quando a álgebra de Lie simples envolvida é do tipo E6. A principal técnica utilizada foi proposta por V. Chari e A. Moura ao se considerar o limite clássico das afinizações minimais. As fórmulas são obtidas através de um estudo sistemático de certos módulos graduados dados por geradores e relações para a correspodente álgebra de correntes. O ponto principal é demonstrar que estes módulos são isomorfos aos limites clássicos das afinizações minimais quando vistos como módulos para a álgebra de correntes / Abstract: The concept of minimal affinization, introduced by V. Chari and A. Pressley, arose from the impossibility of extending, in general, a representation of the quantum group associated to a simple Lie algebra to the quantum group associated to its loop algebra, which is always possible on the classical context. A special class of minimal affinizations is that of Kirillov-Reshetikhin modules, which are minimal affinizations of the irreducible modules having multiples of the fundamental weights as highest weights. These modules are objects of intensive studies because of their applications in mathematical physics. One problem of particular interest involving minimal affinizations is that of describing their characters. In this work we present some formulas for the characters of minimal affinizations when the simple Lie algebra involved is of type E6. The main strategy used here was proposed by V. Chari and A. Moura by considering the classical limit of minimal affinizations. The formulas are obtained through a systematic study of certain graded modules for the corresponding current algebra given by generators and relations. The main point is to prove that these modules are isomorphic to the classical limits of the minimal affinizations when the latter are regarded as modules for the current algebra / Mestrado / Algebra / Mestre em Matemática

Orientador: Dessislava H. Kochloukova / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T14:04:12Z (GMT). No. of bitstreams: 1 Rabelo_Lonardo_M.pdf: 1106165 bytes, checksum: 2bbac38aebd1bf1d09d9f3bc26c12171 (MD5) Previous issue date: 2008 / Resumo: Neste projeto de mestrado, estudamos um dos grupos de Richard Thompson e apresentamos os cálculos de seu invariante homotópico Sigma, em qualquer dimensão m, onde m é um inteiro positivo. O grupo de Richard Thompson, denotado por F, foi por ele definido em 1965 e ficou conhecido, mais tarde, por suas propriedades homotópicas e homológicas interessantes. Por exemplo, F é tipo FP8 ([04]). Além disso, F pode ser descrito de maneiras distintas, o que o torna ainda mais interessante. A teoria de invariantes (homotópicos e homológicos) Sigma foi desenvolvida nas últimas décadas do século vinte por R. Bieri, J. Groves, R. Geoghegan, H. Meinert, R. Strebel e outros e está relacionada com propriedades FPm de grupos. O Invariante _1(F) foi obtido em [03]. Recentemente, o caso geral do invariante _m(F) e _m(F, Z) (homotópico e homológico, respectivamente), m = 2, foi descrito por R. Bieri, R. Geoghegan e D. Kochloukova. Nesta dissertação, apresentamos a versão homotópica deste resultado / Abstract: In this project we study one of the Richard Thompson's Group F e its Homotopical m-dimensional Sigma Invariant. The Richard Thompson Group F is very known by its interesting homological and homotopical properties, for example, it is of type FP8 ([04]). Also, F has the property of being defined in several distinct ways. The Sigma Invariant Theory was developed in last decades of twentieth century by R. Bieri, J. Groves, R. Geoghegan, H. Meinert, R. Strebel and others and is related to FPm properties of groups. The _1(F) was obtained in [03]. Recently the general case of _m(F) and _m(F, Z) (homotopical and homological versions, respectively), m = 2, were described by R. Bieri, R. Geoghegan and D. Kochloukova. Here, we present the homotopical version of this result / Mestrado / Algebra / Mestre em Matemática

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-11-25T13:50:12Z No. of bitstreams: 2 Dissertação - Frederico Rodrigues Pfrimer - 2013.pdf: 725779 bytes, checksum: 35a40a3b56a3b9d50e297d0cb743f17c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-11-25T14:46:04Z (GMT) No. of bitstreams: 2 Dissertação - Frederico Rodrigues Pfrimer - 2013.pdf: 725779 bytes, checksum: 35a40a3b56a3b9d50e297d0cb743f17c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-11-25T14:46:04Z (GMT). No. of bitstreams: 2 Dissertação - Frederico Rodrigues Pfrimer - 2013.pdf: 725779 bytes, checksum: 35a40a3b56a3b9d50e297d0cb743f17c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-30 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / (Sem resumo) / Os trabalhos originais de Dirac, “The Principles of Quantum Mechanics’ e von Neumann, “The Mathematical Foundations of Quantum Mechanics”, estabeleceram as bases do formalismo matemático atual da mecânica quântica. Junto com a álgebra C*, essas são três diferentes abordagens matemáticas e conceituais que podem ser utilizadas para a caracterização matemática da mecânica quântica. Fizemos uma releitura comparativa e mais matemática desses dois clássicos originais buscando clarificar suas semelhanças e diferenças, e em seguida expusemos de forma didática a álgebra C*, apresentando todos os pré-requisitos de estruturas algébricas e outros conceitos necessários para a sua compreensão. O trabalho é ainda uma exposição mais didática dos formalismos de Dirac, von Neumann, e Álgebra C*, permitindo uma compreensão mais rigorosa da matemática da mecânica Quântica.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-03-11T19:37:56Z No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-03-13T18:58:33Z (GMT) No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-03-13T18:58:59Z (GMT). No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2012-03-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Our work has as main objective, to establish conditions for a canonical form for elements of a ring, semigroup or algebraic structure similar. This result is obtained through the main Theorem 3.10 (The Lemma of Bergman’s Diamond) with applications. / O nosso trabalho tem como objetivo principal, estabelecer condições para obter uma forma canônica para os elementos de um anel, semigrupo ou estrutura algébrica similar. Isto é obtido através do resultado principal, o Teorema 3.10 (O Lema do Diamante de Bergman), com aplicações.

A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.