Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Materialização de visões XML

A grande quantidade de dados eletrônicos disponível atualmente nem sempre pode ser representada com modelos tradicionais, principalmente devido à ausência de esquema no momento da criação destes dados. Neste sentido, modelos semi-estruturados têm sido propostos; uma das abordagens utilizadas é XML, uma linguagem para troca e representação deste tipo de informação. Entretanto, consultar dados semi-estruturados pode demandar processos de extração com alto custo. Uma das alternativas para solucionar este problema é a definição de visões sobre estes dados, e a posterior materialização destas informações. O uso de visões materializadas para dados XML ainda é pouco explorado. Uma das abordagens que podem ser utilizadas é o uso de sistemas de gerenciamento de bancos de dados relacionais para o armazenamento das visões. Desse modo, informação semanticamente relacionada (informação acerca de um mesmo domínio, possivelmente representada em formatos diferentes) pode ser agrupada em uma única unidade lógica, facilitando o acesso a estes dados por parte do usuário, e introduzindo alguma estrutura nos dados semiestruturados. Dessa maneira, o usuário final submete consultas diretamente sobre a visão materializada, evitando extrações contínuas de dados nas fontes XML. A materialização de dados XML exige a definição de um repositório de dados para o armazenamento destas instâncias. Utilizando-se a abordagem relacional, é necessário definir um mecanismo para a geração do esquema lógico do banco de dados. Consultar os dados nas fontes XML exige a integração destas instâncias. Neste contexto, integrá-las significa identificar quais instâncias de dados representam o mesmo objeto do mundo real, bem como resolver ambigüidades de representação deste objeto. O problema de identificação de entidades em XML é mais complexo que em bases de dados estruturadas. Dados XML, como propostos originalmente, não carregam necessariamente a noção de chave primária ou identificador de objeto. Assim, é necessária a adoção de um mecanismo que faça a identificação das instâncias na integração destes dados. Além disso, à medida que as fontes de dados XML sofrem alterações, a visão materializada deve ser atualizada, a fim de manter-se consistente com as fontes de dados. A manutenção deve propagar as alterações feitas nos dados XML para a visão materializada. Reprocessar todo o conteúdo da visão materializada é, na maioria das vezes, muito caro. Assim, é desejável propagar as mudanças incrementalmente, ou seja, processar apenas as alterações necessárias. Neste sentido, o presente trabalho apresenta uma proposta de técnica para armazenamento de dados XML em um banco de dados relacional. A proposta utiliza ontologias para a geração do esquema lógico do banco de dados. O problema de integração de dados é mostrado. O foco principal do trabalho está na proposta de uma técnica de atribuição de identificadores a instâncias XML, baseada no uso de funções Skolem e no padrão XPath, proposto pelo W3C. Também é proposto um mecanismo para manutenção incremental deste banco, à medida que as fontes XML sofrem atualizações.

Análise comparativa de desempenho de redes IP e ATM com tráfego multimídia interativo

A década de 80 é um marco para a área de comunicação de dados. Muitos estudos, pesquisas e especificações foram iniciados para permitir a integração de sistemas de comunicação para voz, vídeo e dados. Desde essa década, os cientistas procuram investir na Internet, que é um dos mais importantes e populares meios de transmissão de informações no mundo, para acomodar aplicações que permitam enviar imagens e sons por esta imensa rede de comunicação. Também nessa década, no final, o International Telecommunications Union – Telecommunication (ITU-T), especificou a tecnologia ATM, cujas pesquisas vinham ocorrendo desde o seu início. O serviço de rede tradicional na Internet é transmissão de datagramas ´besteffort ´, conforme será visto neste trabalho. Neste serviço, os pacotes da origem são enviados para o destino, sem garantia de entrega. Para aquelas aplicações que requerem garantia de entrega, o protocolo TCP (equivalente à camada 4 do RM-OSI) se encarregará da retransmissão dos pacotes que falharam ao atingir o destino para então se conseguir uma recepção correta. Para aplicações de comunicação tradicionais, como FTP e Telnet, em que uma entrega correta é mais importante que a perda de tempo da retransmissão, este serviço é satisfatório. Entretanto, uma nova classe de aplicações, as quais usam mídias múltiplas (voz, som e dados), começam a aparecer na Internet. Exemplos desta classe de aplicação são: vídeo teleconferência, vídeo sob demanda e simulação distribuída. Operações de modo tradicional para estas aplicações resultam em redução da qualidade da informação recebida e, potencialmente, ineficiência do uso da largura de banda. Para remediar este problema é desenvolvido um ambiente de serviço para tempo real, no qual múltiplas classes de serviços são oferecidas. Este ambiente estende o modelo de serviços existentes para ir ao encontro das necessidades das aplicações multimídia com obrigatoriedade de tempo real, porém esta não é uma meta muito fácil. Contudo, a comunidade pesquisadora tem conseguido desenvolver alguns mecanismos que vão pouco a pouco permitindo que este objetivo se transforme em realidade. O ATM é uma tecnologia que provê dutos de alta velocidade para a transferência de qualquer tipo de informação em pequenos pacotes de tamanho fixo, chamados células. A idéia básica é estabelecer entre dois pontos que desejam se comunicar um circuito virtual que é mantido pelos comutadores de células para levar a informação de um lado a outro. A característica marcante do ATM é a Qualidade de Servico – QoS, que garante o desempenho predefinido que determinado serviço necessita. Isso permite suportar aplicações de tempo real que são sensíveis ao atraso. O atendimento à diversidade de características de tráfego e exigências distintas de grandes quantidades de serviços é possível pelo ATM graças ao controle de tráfego reunido à capacidade de multiplexação estatística do meio em altas taxas de transmissão. O objetivo principal desta dissertação é elaborar uma comparação quantitativa e qualitativa do funcionamento de aplicações multimídia sobre IP com RSVP - Protocolo desenvolvido para realizar reservas de recursos integrante da arquitetura de Serviços Integrados (IntServ) proposta pelo IETF para oferecer qualidade de serviço para aplicações tais como aplicações multimídia. Essa proposta também inclui duas classes de serviços, sendo que nessa dissertação, o serviço de carga controlada é que está sendo utilizado. Isso deve-se a implementação dos módulos apresentados em [GRE 2001] e que foram utilizados na realização desse trabalho - e sobre ATM. A proposta final é a elaboração de uma técnica de análise baseado nas principais métricas de desempenho em redes que deve permitir uma melhor visualização do comportamento das tecnologias sob determinadas cargas de tráfego, permitindo assim uma tomada de decisão entre qual das tecnologias que deverá ser adotada em um dado momento, em uma dada situação, ou seja, a indicação do ponto de quebra tecnológica na situação modelada. Para que fosse possível fazer esta comparação, foi necessário dividir-se este trabalho em 3 grandes etapas, que são: • Estudo e desenvolvimento da técnica para análise do elemento carga de tráfego na tecnologia ATM; • Estudo e desenvolvimento da técnica para análise do elemento carga de tráfego na tecnologia IP com RSVP; • Comparativo quantitativo e qualitativo dos estudos acima.

Mineração de regras de associação no problema da cesta de compras aplicada ao comércio varejista de confecção

A maioria das empresas interage com seus clientes através de computadores. Com o passar do tempo está armazenado nos computadores um histórico da atividade da empresa que pode ser explorado para a melhoria do processo de tomada de decisões. Ferramentas de descoberta de conhecimento em bancos de dados exploram este histórico a fim de extrair vários tipos de informação. Um dos tipos de informação que pode ser extraída destes tipos de bancos de dados são as regras de associação que consistem em relacionamentos ou dependências importantes entre itens tal que a presença de alguns itens em uma transação irá implicar a presença de outros itens na mesma transação. Neste trabalho são aplicadas técnicas de descoberta de conhecimento na área do comércio varejista de confecção. Foram detectadas algumas peculiaridades dos bancos de dados desta área sendo proposto um novo algoritmo para melhorar o desempenho da tarefa de extração de regras de associação. Para a validação dos resultados apresentados pelo algoritmo foi desenvolvido o protótipo de uma ferramenta para extração de regras de associação. Foram realizados experimentos com bancos de dados reais de uma empresa da área de comércio varejista de confecção para análise de desempenho do algoritmo.

Método de otimização experimental da qualidade e durabilidade de produtos : um estudo de caso em produto fabricado por injeção de plástico

A melhoria de produtos e processos industriais pode ser realizada utilizando-se métodos de otimização experimental. Este trabalho apresenta um método estruturado para otimização envolvendo variáveis relacionadas com qualidade, comumente utilizadas, e variáveis que descrevem a confiabilidade do produto. O interesse em particular, está em sistematizar uma forma apropriada de determinar o prazo de garantia de produtos, baseado em testes de degradação acelerados. Para atingir este propósito utiliza-se projeto de experimentos conjuntamente com técnicas de avaliação sensorial, utilizada para medir o grau de degradação das amostras provindas dos testes de confiabilidade acelerados. O método é ilustrado com um estudo de caso realizado num produto fabricado em injeção de plástico. No exemplo do estudo de caso, deseja-se modelar a garantia de um piso plástico utilizado, na maternidade, para criação de suínos. Até o momento da realização da análise ocorriam reclamações de problemas com o produto dentro do prazo e garantia. O principal problema era a delaminação do produto devida a intensa fucção entre os cascos do animal e o piso. Um número elevado de reclamações durante o prazo de garantia levou ao desenvolvimento de uma nova composição do piso; o método proposto aqui é utilizado para determinar um prazo de garantia apropriado para produtos novos.

O problema de Dirichlet para a equação das superfícies mínimas em domínios não necessariamente convexos

Estudamos o problema de Dirichlet para a equação das superfícies mínimas em domínios limitados do plano. Provamos a existência e unicidade de gráficos mínimos sobre domínios limitados e não necessariamente convexos, com valores no bordo satisfazendo uma condição que denominamos condição da declividade limitada generalizada a qual, usando cilindros no lugar de planos, generaliza a condição clássica da declividade limitada. Com este resultado, dado um domínio limitado e suave qualquer do plano, conseguimos obter cotas explícitas para a norma C2 de dados no bordo deste domínio que garantem a existência de solução ao correspondente problema de Dirichlet.

Análise quantitativa na concessão de crédito versus inadimplência : um estudo empírico

Muitos estudos sobre análise do risco de crédito foram feitos até recentemente, tendo como principal foco a previsão de falência. A insolvência das empresas devedoras, sem dúvida, é um grande problema para os concedentes de crédito, no entanto, a inadimplência não é um fato exclusivo do processo falimentar. Neste sentido, a presente investigação se propôs a prognosticar a ocorrência da inadimplência - aqui definida como a cobrança que está sendo realizada por via judicial - com as informações disponíveis no momento da análise de crédito, neste caso, os três últimos demonstrativos contábeis. A pesquisa foi realizada com uma amostra constituída de empresas industriais, especificamente da indústria de transformação, clientes de uma instituição financeira que receberam financiamento durante o período de 1996 a 1997, dividida entre adimplentes e inadimplentes; mediante o uso de dois métodos estatísticos de análise múltipla de dados, já consolidados em estudos desta natureza: análise discriminante linear e regressão logística; e com emprego de quocientes financeiros obtidos a partir das demonstrações contábeis. Os resultados demonstraram que há uma lacuna no que tange a análise financeira tradicional no processo de exame de crédito, que pode ser suprida com modelos quantitativos setoriais estimados com auxilio de métodos estatísticos, contribuindo para uma melhor qualidade de análise, com intuito de evitar a inadimplência, melhorando o resultado das instituições financeiras.

Prática do Efficient Consumer Response (ECR) em pequenos e médios supermercados : realidade ou fantasia?

As empresas estão atuando, hoje, frente a um mercado global que elevou os padrões de competitividade e intensificou as mudanças no comportamento do consumidor que está cada vez mais exigente, buscando alternativas cada vez mais precisas para o atendimento de suas necessidades. Para tanto, tornou-se necessário o desenvolvimento de uma estratégia de gestão que focasse a eficiência da cadeia de abastecimento como um todo. O Efficient Cosumer Response (ECR) surge na década de 90 para permitir que as empresas respondam a essas mudanças no ambiente. O objetivo do ECR é o de integrar os processos logísticos e comerciais ao longo de toda a cadeia de abastecimento, propiciando a maximização da satisfação ao consumidor, ao mesmo tempo em que permite a redução dos custos excedentes da cadeia. Essa estratégia de gestão, introduzida em 1992 nos Estados Unidos, teve sua difusão no Brasil em 1997, com a criação da Associação ECR Brasil que passou a coordenar diversos projetos-piloto de ECR no País. A partir de então, esse tema ganhou destaque junto aos membros que compõem a cadeia de abastecimento de produtos de mercearia básica. No entanto, existe uma carência de publicações acadêmicas sobre o tema. Amparada na relevância do segmento supermercadista para a economia, e pela constatação da carência de estudos científicos relacionando o tema ao segmento, este trabalho tem por objetivo descrever como os pequenos e médios supermercados de Caxias do Sul trabalham as estratégias que embasam o ECR. Para tanto, inicialmente buscou-se o embasamento, através da literatura existente, sobre os aspectos que compõem o ECR, para, num segundo momento, com base na realização de uma pesquisa exploratória junto a uma amostra não-probabilística, buscar responder ao problema de pesquisa acima exposto. A partir da pesquisa realizada, constatouse que as empresas, participantes da pesquisa, não possuem estrutura, pessoas e tecnologia capazes de suportar a aplicação formalizada e padronizada dos processos que operacionalizam as estratégias como sugerem os modelos conceituais do ECR. No entanto, constatou-se que as estratégias do ECR são utilizadas como elementos-chave para a orientação da gestão das empresas.

Modelos cinéticos da equação linearizada de Boltzmann e um problema de transferência de calor em microescala

Neste trabalho, um problema de transferência de calor da dinâmica de gases rarefeitos, causado pela diferença de temperaturas nas superfícies de um canal, é abordado. O problema é formulado através dos modelos cinéticos BGK, S e Gross-Jackson da equação linearizada de Boltzmann e resolvido, de forma unificada, pelo método analítico de ordenadas discretas (método ADO). Resultados numéricos para as perturbações de densidade e temperatura e também para o fluxo de calor são apresentados e comparados, mostrando que não se pode dizer que algum dos três modelos seja uma melhor aproximação da solução aos resultados da equação linearizada de Boltzmann.

Um modelo de resolução para o problema de roteirização em arcos com restrição de capacidade

Os Problemas de Roteirização em Arcos constituem uma classe dos Problemas de Roteirização de Veículos, nos quais as demandas ocorrem de maneira contínua ao longo dos segmentos de uma rede de transporte. O campo de aplicação dos Problemas de Roteirização em Arcos abrange o planejamento da operação de serviços como a coleta de lixo; a entrega de correspondência e de jornais; a leitura de medidores de energia elétrica, água e gás; e o transporte escolar por ônibus. Nas situações de ordem prática é comum a ocorrência de restrições operacionais que impossibilitam o atendimento de todas as demandas existentes em uma rede de transporte por um único veículo ou pessoa. Desse modo, além da seqüência de percurso, é necessário determinar o conjunto de segmentos de via que cada unidade de trabalho pertencente a uma frota ou equipe de serviço deve atender. Este trabalho apresenta os aspectos conceituais e resolutivos dos Problemas de Roteirização em Arcos e do Problema do Particionamento de Redes de Transporte. É feita também a proposição de um modelo de resolução, desenvolvido a partir da estratégia de agrupar primeiro – roteirizar depois, para o Problema de Roteirização em Arcos Capacitado descrito em grafos não orientados. A demonstração do modelo é feita através de sua aplicação em um estudo de caso. São feitas, a seguir, a análise do desempenho do modelo nesta aplicação e a comparação entre os resultados obtidos e a prática atualmente utilizada, a qual é baseada na experiência de um planejador.

As estratégias de comercialização no mercado da soja : o caso da Cotrijuí-RS

O presente trabalho foi realizado acerca das estratégias de comercialização de soja , definidas e utilizadas pela Cooperativa Tritícola Serrana Ltda. - Cotrijuí, situada no município de Ijuí - RS. Sendo a soja uma oleaginosa com demanda e comercialização mundiais, este trabalho teve o seguinte problema de pesquisa: quais as estratégias de comercialização de soja da Cotrijuí? Para ao seu entendimento o objetivo geral foi identificar estratégias de comercialização de soja da Cotrijuí. Os resultados obtidos foram identificados por meio de entrevistas e pesquisas junto ao departamento comercial da Cooperativa. Na realidade, o que se observa é que o Cotrijuí tem empenhado esforços no sentido de dar retornos aos associados e manter-se competitiva no mercado. Especificamente no caso da comercialização de soja (aqui entendida como compra do associado e venda ao mercado), a opção em adquirir e vender soja em grão, exige da Cotrijuí habilidade para conseguir identificar o melhor momento para realizar a transação. Nesse sentido o repasse de informações aos associados produtores de soja, visando capacitá -los a tomarem decisões acertadas e conscientes dos resultados é um trabalho que vem sendo desenvolvido pela Cooperativa. Nesse sentido, foi criada uma modalidade de premiação por fidelização na entrega e aquisição de insumos, denominada de "prêmio fidelidade", visando uma previsibilidade e uma garantia de volume de comercialização do produto.

Adições às drogas : o desencontro de uma ilusão

A concepção deste trabalho surgiu a partir de observações de lacunas na clínica das adições às drogas. Com o objetivo de oferecer maior suporte no tratamento do uso abusivo de drogas, essa pesquisa propõe-se a abordar o problema reconhecendo a multiplicidade de fatores presentes nas adições. Inicialmente foi revisada a literatura sobre o uso de drogas na história da humanidade e seu possível significado de acordo com o momento histórico. Na pesquisa da literatura, procurou-se descrever o desenvolvimento psíquico do sujeito, e foram abordadas formas de resolução de conflitos comuns a quem chegou ao uso abusivo de drogas. Foi apresentada uma visão do sujeito na sua totalidade, tanto individual quanto social. Essa versão serviu como suporte para investigar a possível interferência da sociedade de consumo no uso de drogas. A investigação também deu ênfase às vicissitudes surgidas durante a trajetória do adicto após a tentativa de deixar esse comportamento. Para realização desse trabalho, foi utilizada metodologia qualitativa de caráter descritivo. Na pesquisa de campo, optou-se por entrevistas semi-estruturadas como instrumento de investigação. Essa escolha deu-se pela intenção de buscar na palavra do adicto uma percepção própria a respeito de sua trajetória após o tratamento, quando está experimentando um novo modo de existência. A análise das entrevistas mostrou um tipo de pensamento concreto presente no discurso do adicto. Isso foi identificado pela ausência de uma percepção crítica a respeito da influência do meio no uso de drogas. Essa verificação levou a algumas conclusões. A droga, usada como uma mentira, evita, de forma onipotente, que o adicto entre em contato com as verdadeiras emoções. Com o uso de drogas, o adicto fica impossibilitado de pensar, já que o pensamento supõe uma experiência emocional correspondente. Sem a possibilidade de ter uma referência simbólica, ele adere a crenças sem atingir o nível do pensar. Portanto, é importante que os profissionais envolvidos no tratamento das adições ajudem os sujeitos adictos a ampliarem a sua capacidade de pensar. Isso poderá ser feito através da integração do pensar e sentir. Somente assim será possível a utilização da palavra como recurso simbólico que permite tolerar e nomear, tanto a presença quanto a ausência de satisfação. Sem a capacidade de pensar ampliada, produz-se um hábito sem que ocorram transformações verdadeiras. Corre-se o risco de que o tratamento das adições não auxilie o sujeito a ter experiências reflexivas, onde o pensamento se antecipa à ação.

O problema da interação na era da aprendizagem autônoma : pressupostos epistemológicos da educação a distância na perspectiva construtivista

Esta dissertação investiga o problema da interação nas comunidades virtuais, dentro de uma concepção de autonomia do educando, na perspectiva construtivista de ensino e aprendizagem e da aquisição do conhecimento. A abordagem do problema da interação virtual – mediada –, é feita a partir da visão dos próprios educandos, em uma situação real de ensino e aprendizagem, numa comunidade virtual, utilizando a metodologia do estudo de caso, mediante a estratégia da observação participante e da análise qualitativa. Esta sistemática permitiu uma análise da questão-problema de pesquisa, a partir da seleção de inúmeras “falas” dos participantes, do caso em estudo, formada por alunos-educadores, durante 15 semanas de interações em ambiente virtual. A fundamentação teórica, embasada na Epistemologia Genética, resgata a idéia do conhecimento enquanto processo, cuja aquisição depende de uma construção do sujeito, que envolve as funções psicológicas superiores, através dos processos de abstração reflexiva e reflexionante e a de equilibração. Discute a natureza das interações, e seu caráter mediado, na modalidade de ensino a distância, considerando as implicações nas esferas intra-psíquicas e extra-psíquicas, no que concerne aos processos cognitivos. Os resultados indicam que os alunos aprendem a interagir no modo virtual, como também aprendem a aprender de forma autônoma, e que a problematização dessas temáticas pelos próprios educandos, em uma situação real de ensino, favorece esse aprendizado. As conclusões também sugerem que a natureza dos processos interativos, nas comunidades virtuais de aprendizagem, na medida em que contempla a autonomia do educando, representam uma ampliação do campo dos processos psicológicos superiores do sujeito, englobando o desenvolvimento de novos esquemas cognitivos.

Confissões na imprensa : um novo momento da crônica em Nelson Rodrigues

Resumo não disponível.

Recuperação de águas de processos : desenvolvimento de um problema padrão

Atualmente, a consciência de que os recursos naturais são esgotáveis e que a geração de poluentes deve ser evitada para impedir um sério problema ambiental, são aspectos que já estão sendo considerados na indústria química. Isto se reflete em uma das principais preocupações enfrentadas por este setor: a minimização de efluentes. O presente trabalho tem por objetivo desenvolver um problema padrão na área de integração mássica para recuperação de água de processos, sugerindo uma metodologia que ajude a solucionar esta grande preocupação. O problema padrão proposto é suficientemente simples para sua rápida compreensão, e complexo o suficiente para representar uma típica situação industrial. Na metodologia empregada, técnicas de integração mássica como: reuso, reciclo e regeneração são utilizadas, alternativamente ao tratamento de final de tubulação, a fim de reduzir a demanda de água consumida e minimizar a quantidade de efluente líquido tratado e descartado. A síntese da rede de integração mássica foi feita através da construção de uma superestrutura, contendo todas as possíveis configurações em potencial para o sistema proposto. A solução do problema foi obtida via programação não linear mista inteira (MINLP). Um estudo comparativo entre as diversas configurações obtidas foi realizado. Uma análise da operabilidade das principais configurações da rede de integração mássica foi feita para garantir que a rede sintetizada seja operável.