Otimização da produção de frango de corte em condições de estresse por calor

Foram realizados dois experimentos (EXP) com a finalidade de apresentar alternativas para reduzir os efeitos do estresse por calor (EPC), aumentando a produtividade em épocas quentes. O primeiro EXP teve como objetivos verificar o efeito de dietas com mais gordura (2,4 vs 4,0%) e menos proteína bruta (19,5 vs 18,5%) na metabolizabilidade, desempenho, rendimento de carcaça, parâmetros morfológicos (baço, bursa, coração, intestino e fígado), bioquímicos (proteínas totais, glicose, fructosamina, albumina e globulinas) e hematológicos (heterófilos. linfócitos, eosinófilos, basófilos, monócitos e relação heterófilo:linfócito) das aves aos 42 dias submetidas a EPC cíclico (25-32C). O efeito direto do EPC no desempenho e na metabolizabilidade da dieta, na situação de consumo pareado (comparado ao ambiente termoneutro) Também foi estudada. O segundo EXP teve como objetivos verificar o efeito de dietas suplementadas com vitaminas C e E (100UI de vitamina E/kg de ração e 300 ppm de vitamina C/kg de ração) e minerais orgânicos Zn e Se (40 ppm Zn e 0,3 ppm Se/kg de ração) no desempenho de frangos de corte submetidos a EPC e nos parâmetros morfológicos, bioquímicos e hematológicos das aves aos 35 dias. Foi observado que a queda de desempenho verificada no calor está relacionada principalmente com a diminuição no consumo e à redução na metabolizabilidade da matéria seca. A dieta com 1,6% a mais de gordura e 1% a menos proteína proporcionou às aves em EPC melhora na conversão alimentar (CA), mas não interferiu no rendimento de carcaça e cortes. Esta dieta também proporcionou um melhor peso relativo de bursa, a diminuição no número de linfócitos, heterófilos, relação H/L e monócitos das aves em EPC, indicando que as alterações metabólicas ocasionadas pelo estresse foram atenuadas pela dieta. No segundo EXP, a suplementação vitamínica e/ou mineral melhorou o desempenho das aves em função de um menor consumo que resultou em melhor CA, independentemente do ambiente. O EPC reduziu o peso absoluto e relativo dos órgãos linfóides, os valores de hemoglobina, aumentou o número de heterófilos e a relação H/L . As suplementações vitamínico e/ou mineral não influenciaram os parâmetros bioquímicos séricos e hematológicos dos frangos em EPC. A relação H/L foi um bom indicador de estresse, aumentando sempre que as aves estiveram estressadas, independentemente do tipo de estresse. O peso dos órgãos linfóides também pode ser considerado um bom indicador de EPC desde que não estejam sofrendo outro tipo de estresse.

Otimização do controle da drenagem em macrobacias urbanas

A urbanização descontrolada das cidades brasileiras tem provocado o agravamento das enchentes naturais e a ampliação de sua freqüência, além de criar novos pontos de alagamento localizados. Isto se deve à crescente impermeabilização do solo com aumento do volume pluvial escoado e redução de amortecimento. A concepção de um projeto de macrodrenagem em uma bacia urbana que considere o controle das inundações, como por exemplo, a implementação de reservatórios de amortecimento em áreas sujeitas a alagamentos, constitui-se em uma tarefa complexa e difícil devido ao grande número de alternativas possíveis, considerando todas as variáveis envolvidas, como capacidades hidráulicas existentes e necessárias das redes de drenagem, disponibilidade de áreas para construção de reservatórios, custos de desapropriação destas áreas, existência de sistemas mistos de coleta, uso de reservatórios abertos ou subterrâneos, dentre outras. Desta forma o projetista coloca-se diante de um dilema: qual o conjunto destas alternativas podem ser o mais eficiente? Este estudo promoveu a análise da aplicabilidade e eficiência de um modelo de otimização associado a modelos hidrológico-hidráulicos como instrumentos de suporte à decisão em problemas de drenagem urbana. A ferramenta desenvolvida compôs-se pelo modelo IPHS1 para a simulação hidrológica e hidráulica, pelo algoritmo de evolução SCE-UA para o processo de otimização através da minimização do custo de implantação das soluções e do módulo EXTRAN do modelo SWMM para a verificação hidráulica dos resultados obtidos e análises de riscos superiores. Os resultados mostraram-se bons e o sistema implementado adaptou-se bem às características das duas bacias analisadas: bacia do arroio do Moinho e bacia do arroio da Areia. O sistema forneceu os cenários de custos otimizados de implantação da solução com detenções distribuídas nas bacias e ampliações de redes, em um curto período de tempo e utilizando dados que seriam necessários para qualquer projeto de macrodrenagem deste tipo. Com os resultados compilados, foram obtidas funções de auxílio à tomada de decisão em planos e projetos de drenagem urbana através de curvas ajustadas aos pontos gerados nas bacias estudadas. Foi realizada a análise de sensibilidade e a avaliação das incertezas envolvidas com o modelo hidrológico utilizado com relação ao seu parâmetro principal, o Curve Number. Esta análise mostrou grandes variações nas vazões de saída das bacias e nos custos das obras com pequenas alterações nos valores de CN. Apresenta-se ainda uma análise econômica da aplicação dos valores obtidos de forma extrapolada para todo o município de Porto Alegre.

Método para a otimização de plataformas arquiteturais para sistemas multiprocessados heterogêneos

A concepção dos sistemas eletrônicos previstos para o futuro próximo implica em uma atividade multidisciplinar, a qual demanda, para o projeto de sistemas eletrônicos, o uso de métodos e técnicas provenientes de diversos domínios do conhecimento humano. Esses domínios podem variar desde a especificação de aplicações, até a realização física de circuitos integrados. A constante evolução dos processos de fabricação de circuitos integrados permite a criação de circuitos bastante complexos, seja em relação ao número de componentes eletrônicos e de suas inter-relações, seja em relação à heterogeneidade funcional presente nas aplicações alvo, previstas para estes sistemas. Para os próximos anos está prevista a possibilidade da inclusão de mais de um bilhão de transistores em uma única pastilha de silício, inaugurando a era da “gigaescala”. Devido a essa situação, a comunidade científica vem demonstrando preocupação em relação às novas técnicas que se fazem necessárias para a concepção dos “gigacircuitos”. Essas técnicas envolvem o uso de diferentes níveis de abstração na concepção e análise das funcionalidades da aplicação alvo, além de abordagens para explorar o grande espaço de busca, inerente à disponibilidade de um grande número de componentes para a implementação da arquitetura alvo, a qual deve ser otimizada para as restrições de projeto. As idéias apresentadas nesse trabalho vão de encontro à necessidade por novas técnicas para a concepção de circuitos eletrônicos complexos. Este trabalho procura contribuir para que esta classe de circuitos possa tornar-se realidade em um futuro próximo, avalizando a disponibilidade de informação, de entretenimento e de serviços para a sociedade. Para tanto, um novo método é proposto, onde um fluxo de projeto considera as ferramentas necessárias para a exploração do espaço de busca em componentes de processamento e de comunicação, visando à sua otimização. As ferramentas seguem os princípios do projeto baseado em plataformas, onde componentes podem ser reutilizadas para aplicações da mesma classe, em diferentes níveis de abstração. Além disso, os princípios da especificação baseada em interface são considerados, visando explicitar a especificação de funcionalidades heterogêneas para componentes arquiteturais, bem como permitir a avaliação dinâmica do comportamento destes.

Um estudo da otimização da geometria de um pára-quedas simplificado

Neste trabalho desenvolve-se um estudo numérico do fluxo de ar em torno da geometria de um pára-quedas tradicional simplificado, para alguns valores de Reynolds. O método baseia-se na solução das equações incompressíveis de Navier- Stokes discretizadas pelo método de diferenças finitas e integradas pelo método de Runge-Kutta. Utiliza-se o método dos contornos virtuais para representar a geometria numa malha cartesiana e o método de otimização não-linear dos poliedros flexíveis para otimização do coeficiente de arraste calculado através do código de dinâmica de fluidos computacional; esteé um método de busca multivariável, onde o pior vértice de um poliedro com n + 1 vérticesé substituído por um novo.

Desenvolvimento e otimização de um fotodetector de silício bidimensional sensível à posição

O conhecimento da física de semicondutores foi usado para desenvolver e otimizar um sensor ótico de silício capaz de determinar com precisão a posição bidimensional de incidência de um feixe de luz em sua superfície. O sensor usa o efeito de fototensão lateral para gerar um sinal elétrico de saída que é função da posição de incidência da luz. Tecnologia planar do silício foi usada na fabricação do dispositivo, incluindo implantação iônica, difusão, fotolitografia, deposição de filmes metálicos e crescimento de dielétricos. A caracterização elétrica do sensor inclui medidas estáticas, com a distribuição de portadores em regime estacionário, medidas dinâmicas, onde é analisado o transiente do sinal elétrico e medidas espectroscópicas para analisar a resposta do sensor em função do comprimento de onda da luz incidente. Simulações dos processos de fabricação, parâmetros dos passos tecnológicos, distribuição dos portadores e do potencial elétrico bidimensional no sensor foram usadas para a otimização das características do sensor.

Otimização da operação de um reservatório para controle de cheias com base na previsão de vazão

No presente trabalho foram avaliados os benefícios da previsão de vazão afluente de curto e longo prazo, na operação de um reservatório com dois usos conflitantes: geração de energia e controle de cheias. A simulação da operação do reservatório foi realizada com base em dois tipos de modelos para avaliar os benefícios da previsão. Um modelo de operação sem previsão e outro com previsão de vazão afluente, este último desenvolvido no presente trabalho. Regras de operação simples, na forma de curvas-guia lineares, foram utilizadas nos casos de operação com e sem previsão de vazões afluentes. As curvas-guia foram otimizadas através de uma técnica de parametrização, simulação e otimização utilizando um algoritmo evolutivo semelhante a um algoritmo genético. Como base para as análises foram utilizados dados relativos ao reservatório de Três Marias, no Rio São Francisco, principalmente pela disponibilidade de previsões reais de vazão de curto prazo a partir de um trabalho prévio. Essas previsões reais de vazão foram calculadas através de um modelo hidrológico distribuído que utiliza como dados de entrada, previsões de chuva do modelo atmosférico regional ETA. Para avaliar o potencial benefício das previsões de vazão na operação do reservatório, foram realizados testes considerando às vazões afluentes observadas como “previsões perfeitas de vazão”. Os resultados com previsões perfeitas de vazão mostram que pode haver um benefício relativo (incremento na geração de energia) de aproximadamente 8% (cerca de 4,77 milhões de dólares anuais), se forem utilizadas previsões de vazão de longo prazo com dois meses de antecedência, e se a operação for planejada com essa mesma antecedência. A operação baseada em previsões de prazos ou horizontes mais curtos apresenta benefícios inferiores, mas ainda assim significativos. Por exemplo, a previsão perfeita com freqüência semanal e horizonte de 12 dias pode trazer um benefício de aproximadamente 4,45% (cerca de 2,75 milhões de dólares anuais). Esses benefícios foram obtidos com o mesmo desempenho no controle de cheias. Posteriormente, foram realizados testes utilizando as previsões reais de vazão. Os benefícios obtidos com as previsões reais de curto prazo são inferiores aos benefícios obtidos com as previsões perfeitas de curto prazo, como era esperado. Entretanto, com as previsões reais de vazão, foram obtidos benefícios superiores a 50% dos que seriam esperados com a previsão perfeita (vazões observadas). Os resultados obtidos são promissores e mostram que há vantagens evidentes na utilização de previsões de chuva para se obter previsões de vazão na operação de reservatórios com usos múltiplos, quando também é associada à otimização sistêmica de um aproveitamento hidrelétrico.

Caracterização de fungos micorrízicos arbusculares autóctones de parreirais da Serra Gaúcha e otimização de métodos de multiplicação em espécies aromáticas para aplicação na fruticultura

Este estudo teve por objetivos realizar a caracterização morfológica e molecular dos fungos micorrízicos arbusculares (FMA) autóctones de parreirais da Serra Gaúcha; a otimização do método de produção de inóculos de FMA em plantas aromáticas; além de verificar a eficiência destes inóculos em porta-enxertos de plantas frutíferas. Coletouse solo rizosférico e raízes secundárias de videira em vinte parreirais distribuídos em cinco cidades da Serra Gaúcha (Bento Gonçalves, Caxias, Garibaldi, Nova Pádua e Farroupilha), amostrando-se quatro parreirais por município. A identificação morfológica dos esporos presentes nas amostras foi realizada através de microscopia óptica. A caracterizarão molecular foi realizada por PCR-TTG e seqüenciamento da região rDNA 18S dos esporos previamente identificados pela microscopia. Para a PCR foi utilizado DNA oriundo dos esporos isolados e também de macerado de raízes. Pelo método morfológico, identificaram-se 33 espécies distribuídas em 8 gêneros distintos de FMA. Obtiveram-se quatro perfis moleculares por PCR -TTGE do rDNA 18S de raízes e cinco perfis moleculares por PCR -TTGE do rDNA 18S de esporos das espécies. Através do alinhamento de seqüências obtidas da região de rDNA 18S com as seqüências depositadas no banco de dados NCBI foi possível identificar 7 espécies de FMA. Foram testadas três espécies de plantas aromáticas, hortelã pimenta (Mentha piperita L.), orégano (Origanum vulgare L.) e melissa (Melissa officinalis L.) como multiplicadoras de três espécies de FMA (Glomus clarum Nicol. & Schenck, Glomus etunicatum Becker & Gerd. e Acaulospora sp.) em dois volumes de recipiente (bandeja de isopor com alvéolo de 40 ml e bandeja de isopor com alvéolo de 100 ml). Verificouse a eficiência das plantas aromáticas para produzirem os inóculos destas três espécies de FMA, na colonização do sistema radicular e no desenvolvimento vegetativo de portaenxertos de videira (cv. SO4), citros (cv. Citrange Troyer) e, como dados complementares, em pessegueiro (cv. Okinawa). As plantas aromáticas estudadas multiplicaram com sucesso as espécies de FMA, sendo o inóculo gerado pelas mesmas eficiente em colonizar os porta-enxertos Citrange Troyer, SO4 e Okinawa, propiciando, inclusive, melhor desenvolvimento vegetativo aos dois últimos.

Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Sistema de controle de consumo para redes de computadores

Este trabalho define e implementa um sistema de controle de consumo para redes de computadores, objetivando aumentar o tempo de operação da rede em caso de operação com recursos limitados e redução de consumo de energia em situações de fornecimento normal. Na definição do sistema, denominado NetPower, foi estabelecida uma estrutura através da qual um gerente (coordenador) monitora as atividades dos equipamentos vinculados à rede, e determina alterações nos estados de consumo respectivos, de acordo com as necessidades ou atendimento de padrões de otimização. Aos equipamentos podem ser atribuídos diferentes privilégios em uma hierarquia adaptável a diversos ambientes. Um reserva oferece opção às falhas do gerente. A implementação está baseada no protocolo SNMP (Simple Network Management Protocol) para a gerência e são considerados preponderantemente os padrões para controle de consumo dos equipamentos Advanced Power Management, APM, e Advanced Configuration and Power Interface Specification, ACPI. Além da arquitetura do gerente e dos agentes, foi definida também uma MIB (Management Information Base) para controle de consumo. No projeto do sistema, foi privilegiado o objetivo de utilização em qualquer ambiente de rede, sem preferência por equipamentos de algum fabricante específico ou por arquitetura de hardware. Tecnologias de domínio público foram utilizadas, quando possível. No futuro este sistema pode fazer parte da distribuição de sistemas operacionais, incorporando controle de consumo às redes. No texto é feita uma comparação entre os softwares existentes para controle de consumo, são apresentados os recursos de controle de consumo disponíveis nos equipamentos de computação, seguido da descrição do protocolo de gerência utilizado. Em seguida, é apresentada a proposta detalhada do sistema de controle e descrita da implementação do protótipo.

Análise das variáveis organizacionais do comportamento de compra das grandes empresas industriais do Rio Grande do Sul

Compreender o comportamento de compra das organizações é um importante desafio, tanto para os meios acadêmicos quanto empresariais, não apenas pela abrangência e complexidade do tema, mas também pelos volumes de negócios envolvidos entre empresas. Com o intuito de contribuir com o aprofundamento dos conhecimentos atinentes ao assunto, o presente estudo objetivou descrever as variáveis organizacionais referentes ao comportamento de compra das grandes empresas industriais associadas à Federação das Indústrias do Estado do Rio Grande do Sul. Foram pesquisadas 82 organizações com mais de 500 funcionários e analisados seus comportamentos relativos à compra de itens considerados "A" de estoque e utilizados diretamente em seus processos produtivos. Buscou-se verificar a utilização da tecnologia como forma de otimização de processos, o nível de prúfissionalização dos funcionários dos departamentos, a fonnalização e centralização empregadas nas atividades de compras, as principais políticas, regras e procedimentos da área, a participação da mesma em decisões consideradas de alto nível relativas a fontes de suprimentos e a predominância de atividades estratégicas ou operacionais no funcionamento dos setores de compras. Visou-se também identificar a existência de associações entre tais aspectos e o tamanho das empresas. Verificou-se que as empresas preocupam-se com o investimento em recursos para os setores de compras, através do oferecimento de treinamentos a seus funcionários e da disponibilização de tecnologias para a otimização de rotinas. Constatou-se também que as organizações são, em geral, bastante formalizadas e centralizadas, e que o comprador dispõe de pouca autonomia. Com relação às políticas relativas a fontes de fornecimento, observou-se que a maioria das empresas pratica a terceirização de seus processos produtivos e possui relacionamentos mais estreitos com seus fornecedores, sem entretanto, limitar-se a uma base local de suprimento, pois reconhecem e adquirem insumos de acordo com as alternativas globais. Identificou-se ainda a prevalência de atividades operacionais em relação às estratégicas no funcionamento dos setores de aquisição pesquisados. Com relação ao tamanho das organizações, foi possível constatar que as maiores tendem a oferecer mais treinamentos a seus profissionais de compras, possuem mais recursos tecnológicos alocados a estes setores, mais comumente estabelecem relacionamentos de longo prazo com os fornecedores e importam componentes.

Integração de imagens TM e aerogeofísicas para análise litoestrutural de uma porção da zona de cisalhamento transcorrente dorsal de Canguçu, regiao de Quitéria-Várzea do Capivarita, RS

A utilização de programas de processamento de imagens digitais e de sistemas de informações geográficas que admitem a importação e exportação de inúmeros formatos de apresentação de dados, aliado a modernos equipamentos de computação, tem tornado a integração de dados, de diferentes sensores, um caminho padrão em Geociências, pela otimização da relação custo/tempo na execução de serviços de mapeamento. Neste contexto, esse trabalho resulta da análise da integração de dados de sensoriamento remoto e geofísica, com o objetivo de verificar sua aplicabilidade na identificação e caracterização litológica e estrutural de uma área-teste, localizada na Região de Quitéria -Várzea do Capivarita, no Estado do Rio Grande do Sul. A metodologia usada, em um primeiro momento, priorizou o processamento e análise individual de dados cartográficos, de imagens TM/LANDSAT-5 e dados de aeromagnetometria e aerogamaespectrometria nos canais Contagem Total (CT), Potássio (K), Tório (Th) e Urânio (U). Os dados foram, a seguir, convertidos para o formato digital na forma de imagens (“raster”) com resolução espacial de 30 x 30 m, a fim de permitir o cruzamento de informações através de técnicas de Processamento Digital de Imagens e de Sistemas de Informações Geográficas (SIG’s). A integração das imagens TM e geofísicas foi realizada com o uso da Transformação IHS, através da conversão das bandas TM para as componentes individuais I, H e S; substituindo-se a componente H, pela imagem geofísica no retorno ao espaço RGB. A análise dos produtos de sensoriamento remoto e geofísica obtidos nessa pesquisa, permitiram identificar os Domínios Morfoestruturais; identificar e delimitar as diferentes Unidades Fotolitológicas; reconhecer os principais sistemas estruturais a partir da extração e análise de lineamentos; obter informações do padrão de relevo magnético; e, principalmente, a geração de imagens temáticas de teores de radioelementos com a identificação de áreas promissoras de mineralizações. Os resultados comprovam a eficiência do emprego de técnicas de integração de dados digitais, via computador, tanto para fins de mapeamento litoestrutural, como em caráter prospectivo, em serviços geológicos de grandes áreas.

Solução do problema de controle H [infinito] não-linear

Este trabalho apresenta novos resultados matemáticos sobre a positividade local de funções escalares multivariáveis. Estes resultados são usados para resolver de forma quantitativa o problema de controle +¥ não-linear. Por solução quantitativa, entende-se uma solução (uma lei de controle) associada a uma região de validade. A região de validade é a região do espaço de estados onde os requerimentos de estabilidade e desempenho são satisfeitos. Para resolver o problema de forma eficiente, foi desenvolvido um procedimento que visa maximizar a região de validade do controlador enquanto garante um desempenho mínimo. A solução deste problema de otimização é estudada e alternativas para sua simplificação são apresentadas. Uma aplicação experimental a um sistema de controle de pH é apresentada. A utilidade dos resultados teóricos desenvolvidos na teoria de estabilidade de Lyapunov também é estudada.

Representação na forma normal disjuntiva para a flexibilidade de seqüência na manufatura

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.