Orientador: Maria Aparecida Diniz Ehrhardt / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação / Made available in DSpace on 2018-08-22T06:10:21Z (GMT). No. of bitstreams: 1 Ferreira_DeiseGoncalves_M.pdf: 2631020 bytes, checksum: 45eb84901394375843735b1fdef599ad (MD5) Previous issue date: 2013 / Resumo: Neste trabalho voltamos nossa atenção para métodos de otimização que não fazem uso de derivadas. Dentre esses, estamos interessadas em um método de busca padrão para minimização de funções com restrições lineares. Abordamos um algoritmo proposto por Lewis e Torczon, cuja ideia geral é que o padrão deve conter direções de busca ao longo das quais iterações factíveis sejam determinadas. O algoritmo possui resultados de convergência global. Realizamos sua implementação computacional, e propomos novas estratégias de busca e atualização do tamanho do passo, além de um novo padrão de direções de busca. Realizamos testes numéricos, de modo a analisar o desempenho das estratégias propostas e comparar o desempenho do padrão de direções que introduzimos com o proposto por Lewis e Torczon / Abstract: In this work, our interest lies on derivative-free optimization methods. Among these, our aim is to study a pattern search method for linearly constrained minimization. We studied an algorithm proposed by Lewis and Torsion, whose general idea is that the pattern must contain search directions in which feasible iterations must be computed. The algorithm has global convergence results. We accomplished its computational implementation and we propose new strategies of search and updating rule for the step-length control parameter. We also propose a new pattern of search directions. We accomplished numerical experiments in order to analyze the performance of our proposals and also to compare the performance of our pattern with the one proposed by Lewis and Torczon / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

O problema de minimização com restrições lineares e importante, não apenas pelo problema em si, que surge em várias áreas, mas também por ser utilizado como subproblema para resolver problemas mais gerais de programação não-linear. GENLIN e um método eficiente para minimização com restrições lineares para problemas de pequeno e médio porte. Para que seja possível a implementação de um método similar para grande porte, é necessário ter um método eficiente, também para grande porte, para projeção de pontos no conjunto de restrições lineares. O problema de projeção em um conjunto de restrições lineares pode ser escrito como um problema de programação quadrática convexa. Neste trabalho, estudamos e implementamos métodos esparsos para resolução de problemas de programação quadrática convexa apenas com restrições de caixa, em particular o clássico método Moré-Toraldo e o \"método\" NQC. O método Moré-Toraldo usa o método dos Gradientes Conjugados para explorar a face da região factível definida pela iteração atual, e o método do Gradiente Projetado para mudar de face. O \"método\" NQC usa o método do Gradiente Espectral Projetado para definir em que face trabalhar, e o método de Newton para calcular o minimizador da quadrática reduzida a esta face. Utilizamos os métodos esparsos Moré-Toraldo e NQC para resolver o problema de projeção de GENLIN e comparamos seus desempenhos / The linearly constrained minimization problem is important, not only for the problem itself, that arises in several areas, but because it is used as a subproblem in order to solve more general nonlinear programming problems. GENLIN is an efficient method for solving small and medium scaled linearly constrained minimization problems. To implement a similar method to solve large scale problems, it is necessary to have an efficient method to solve sparse projection problems onto linear constraints. The problem of projecting a point onto a set of linear constraints can be written as a convex quadratic programming problem. In this work, we study and implement sparse methods to solve box constrained convex quadratic programming problems, in particular the classical Moré-Toraldo method and the NQC \"method\". The Moré-Toraldo method uses the Conjugate Gradient method to explore the face of the feasible region defined by the current iterate, and the Projected Gradient method to move to a different face. The NQC \"method\" uses the Spectral Projected Gradient method to define the face in which it is going to work, and the Newton method to calculate the minimizer of the quadratic function reduced to this face. We used the sparse methods Moré-Toraldo and NQC to solve the projection problem of GENLIN and we compared their performances

As reações químicas que resultam da expressão de genes são complexas e ainda não são total- mente compreendidas. Sabe-se que os genes enviam, recebem, e processam informações formando uma complexa rede de comunicação, mas a arquitetura e dinâmica destas redes não são totalmente conhecidas. Dessa forma, um problema importante é determinar como os genes se relacionam dentro da célula. Esse processo de determinar o relacionamento entre os genes é conhecido como inferência de redes gênicas. Uma das formas para representar o relacionamento entre os genes é usar modelos matemáticos e computacionais de Redes Gênicas. Em especial, um dos modelos de grande interesse é o de Redes Booleanas (BN - do inglês Boolean Networks), no qual os genes podem assumir dois estados, ativo ou inativo, se estão, respectivamente, expressos ou não. Estes estados podem variar ao longo do tempo, dependendo de como os genes se relacionam. Nosso interesse está em estudar um caso particular deste modelo, conhecido como Redes Booleanas Limiarizadas, onde apenas uma classe de funções booleanas é utilizada para construir as BNs. Para inferir as Redes Booleanas Limiarizadas, usamos um algoritmo constituído de dois passos. Primeiro, usamos o arcabouço do Problema de Satisfação de Restrições (CSP - do inglês Constraint Satisfaction Problem) para inferir conjuntos de soluções consistentes com uma dada série temporal de um conjunto de genes. Em seguida analisamos o comportamento dinâmico das soluções encon- tradas , filtrando conjuntos de soluções de maior interesse para testes práticos em laboratório. Usando o arcabouço do CSP, construímos um solver, usando a biblioteca Gecode,1 para inferência de redes consistentes, usando como entrada uma série temporal oriunda de dados de microarrays. Em seguida, através da simulação da dinâmica de uma amostra das redes encontradas no passo anterior, fomos capazes de determinar algumas restrições interessantes para filtrar o conjunto de redes. Aplicamos o nosso método para três conjuntos de dados: dois artificiais, e para validação, usamos uma série temporal de uma rede artificial conhecida na literatura. Com isso fomos capazes de inferir conjuntos de redes gênicas de possível interesse para testes em laboratório. / The chemical reactions that result in gene expression are complex and not yet fully understood. It is known that genes send, receive and process information to form a complex network of com- munication, but the architecture and dynamics of these networks are not fully known. Thus, one major problem is to determine how genes are linked within the cell. This process of determining the relationship between genes is known as inference of genetic networks. One way to represent the relationship between genes is to use mathematical and computer models of genetic networks. In particular, one of the models of great interest are Boolean Networks (BN), in which genes can take two states, active or inactive, if they are, respectively, expressed or not. These states may vary over time, depending on how genes are related. Our interest is in studying a case of this particular model, known as thresholded Boolean networks, where only one class of Boolean functions is used to build the GNs. To infer the thresholded Boolean networks, we use an algorithm that consists of two steps. First, we use the framework of Constraint Satisfaction Problem (CSP) to infer sets of solutions consistent with a time series of a given set of genes. Then analyze the dynamic behavior of the solutions, filtering sets of solutions with interest for practical tests in the laboratory. Using the framework of the CSP, we constructed a solver, using the library Gecode, 2 for in- ference of consistent networks, using as input a time series arising from microarrays data. Then, by simulating the dynamics of a sample of networks found in the previous step, we were able to determine some interesting constraints to filter the set of networks. We apply our method to three datasets: two artificial, and for validation, we use a time series of an artificial network known from literature. Thus we were able to infer genetic networks sets of possible interest for laboratory tests.

Problemas de otimização em caixas são de grande importância, não só por surgirem naturalmente na formulação de problemas da vida prática, mas também por aparecerem como subproblemas de métodos de penalização ou do tipo Lagrangiano Aumentado para resolução de problemas de programação não-linear. O objetivo do trabalho é estudar um algoritmo de restrições ativas para problemas de otimização em caixas recentemente apresentado chamado ASA e compará-lo à versão mais recente de GENCAN, que é também um método de restrições ativas. Para tanto, foi elaborada uma metodologia de testes robusta e minuciosa, que se propõe a remediar vários dos aspectos comumente criticados em trabalhos anteriores. Com isso, puderam ser extraídas conclusões que levaram à melhoria de GENCAN, conforme ficou posteriormente comprovado por meio da metodologia aqui introduzida. / Box-constrained optimization problems are of great importance not only for naturally arising in several real-life problems formulation, but also for their occurrence as sub-problems in both penalty and Augmented Lagrangian methods for solving nonlinear programming problems. This work aimed at studying a recently introduced active-set method for box-constrained optimization called ASA and comparing it to the latest version of GENCAN, which is also an active-set method. For that purpose, we designed a robust and thorough testing methodology intended to remedy many of the widely criticized aspects of prior works. Thereby, we could draw conclusions leading to GENCAN\'s further development, as it later became evident by means of the same methodology herein proposed.

Objetivou-se colocar em evidência as políticas realizadas na função repressiva do Sistema Brasileiro de Defesa da Concorrência (SBDC) sobre a fixação de preços de revenda (FPR) a partir da Lei n. 8.884/1994 (revogada pela Lei n. 12.529/2011). Do mesmo modo que a conduta poderia acarretar consequências perversas ao ambiente concorrencial, a falta de padrões claros para caracterizar a conduta como ilícita também pode ensejar efeitos deletérios ao ambiente institucional protegido pelo SBDC. O problema central da pesquisa está nos arranjos institucionais para promover a maximização da segurança jurídica no contexto da FPR no SBDC. Partiu-se da hipótese de que essas alternativas institucionais podem ser encontradas no próprio arcabouço normativo no SBDC, sem prejuízo de outras soluções estruturais. A partir dessa premissa, foi aplicado o método de análise de instituições para resolver um problema de arcabouço institucional aplicado. Inicialmente, o método abordou uma análise como um fim descritivo, objetivando identificar os elementos/particularidades do ambiente recortado para delimitar os contornos do problema da pesquisa. Para tanto, foram analisadas as decisões paradigmáticas do Cade sobre o tema. Ato contínuo, passou-se à função analítica aplicada do método, para formular um instrumental propositivo a respeito das possíveis falhas do arcabouço anteriormente estudado. Para tanto, a linha de raciocínio subjacente à tarefa foram os métodos dedutivo e hipotético-dedutivo, tomando como fontes a bibliografia especializada, além das estruturas balizadoras do ordenamento jurídico nacional. Concluiu-se que a estabilidade institucional é um dos fatores a ser considerado na promoção da defesa da concorrência, devendo ser garantida na intersecção entre as funções repressiva e educativa do SBDC, isto é, por meio de medidas educativas (medidas ex ante de conscientização) antes de medidas sancionadoras (ações punitivas ex post). Cabe ao Cade considerar os postulados da razoabilidade e proporcionalidade não apenas em suas atividades-fim, mas também nos reflexos de seus atos administrativos sobre o ambiente institucional, o que inclui o dever de proteção da segurança jurídica. Portanto, qualquer inovação institucional in pejus ao administrado aplicada pelo Cade, inclusive no caso de standards interpretativos, deverá ser considerada na perspectiva dos pilares da lei de processo administrativo como ponderação necessária, vedadas medidas contraditórias àquelas que se têm praticado no mesmo ambiente institucional. / The research encompasses the policies enforced by the Brazilian System of Competition Defence (SBDC) with regard to Resale Price Maintenance (RPM). While the conduct may produce a negative impact over competition - reducing the welfare of consumers -, the lack of predictability from the rulings enforced by SBDC on the subject might, likewise, produce deleterious outcomes to the institutional environment. The focus of this research rests on the premise of promoting a maximization of legal security in the context of RPM within SBDC. The initial hypothesis is that the institutional alternatives may be found within the very normative scope of SBDC, without prejudice of other structural solutions. Based on those premises we applied the Analysis of Institutions method in order to solve the issue within an institutional scope. Such method encompassed the analysis as a descriptive means, with the objective of identifying the elements/particularities of the given environment in order to define the contours from the object of the research. Subsequently, we moved on to the analytical method in order to instrumentally investigate possible flaws within the scope of what was previously studied. Thus, the subsequent lines of thought were both deductive and hypothetico-deductive. As a conclusion, the institutional stability is one of the factors to be considered in the promotion of competition defense, and it should be warranted within an intersection of repressive and educative functions from the SBDC, that is, through educative measures (ex ante) before repressive actions (punitive actions, ex post). It was concluded that institutional stability is one of the factors to be considered in promoting competition and should be guaranteed at the intersection between the repressive and educational functions of the SBDC, that is, through educational measures (ex ante measures) before punitive measures ex post. It will always be up to Cade to consider the claims with regard to reasonability and proportionality, not only with regard to the end activity but also with regard to the outcomes over the institutional environment - which also encompasses the duty of legal protection as well. Moreover, the notion of restrictions of competition \"by the object\" - as well as any institutional innovation contrary to the ones previously administered - should be considered from the perspective of the pillars of the Administrative Process Law.

A pesquisa tem como objetivo propor um modelo para a formação e gerenciamento de redes de inovação em uma metodologia de gestão: a teoria das restrições aplicada ao planejamento e controle de produção. Como objetivo secundário, a pesquisa visa propor uma ferramenta prática para se gerenciar a transferência de know-how de teoria das restrições para as manufaturas usuárias. Tais propostas se fundamentam tanto na teoria de inovação, na teoria de redes e na teoria de redes de inovação, como em três estudos de caso de implementações de teoria das restrições. Na perspectiva das manufaturas usuárias, a implementação de teoria das restrições representa uma inovação para diminuir atrasos de entrega e para diminuir estoques. Tais benefícios são tanto mais rápidos, quanto mais veloz for o processo de transferência do know-how de teoria das restrições ao time responsável pelo planejamento e controle da produção. Com a finalidade de se contribuir para o aumento da eficiência na capacitação em teoria das restrições, propõe-se uma ferramenta gerencial prática denominada mapeamento do fluxo de transferência de know-how de teoria das restrições. Já na perspectiva dos especialistas em implementações de teoria das restrições, propõe-se um modelo teórico de redes de inovação para a criação de: a) métodos mais eficientes de implementação de teoria das restrições; b) novas gerações de arquiteturas de funcionalidades de teoria das restrições que sejam mais aderentes a outras metodologias de gestão freqüentemente implementadas nas manufaturas; c) e um novo software para a operacionalização dos algoritmos de teoria das restrições, software mais simples de implementar e de usar para que uma ampla escala de manufaturas possa ter acesso a esta metodologia de gestão. / This research proposes a model for designing and managing innovation networks for a management methodology: the theory of constraints applied to production planning and control. The secondary objective is to propose a practical tool for managing the theory of constrains know-how transfer process to the users manufactures. The model results from theories on innovation, organizational networks and innovation networks and also from three case studies on theory of constraints implementations. In the users manufactures perspective, a theory of constraints implementation represents an innovation for decreasing orders delays and decreasing inventory. The faster the theory of constraints know-how transfer process is, the faster will those benefits be achieved. Therefore, in order to contribute to increase the efficiency of the absorptive capacity on theory of constrains, it is proposed a practical management tool denominated theory of constraints know-how transfer stream map. However, in the theory of constraints implementations experts perspective, it is proposed a theoretical innovation networks model to support the creation of: a) more efficient methods for implementing the theory of constraints; b) new generations of theory of constraints functionalities architectures better linked to other management methodologies frequently implemented in manufactures; c) and a new theory of constraints software easier to implement and to operate, so that a large scale of manufactures may have access to this management methodology.

A fim de se compreender como varia a diversidade de pteridófitas em função do aumento da elevação do terreno e quais os potenciais mecanismos responsáveis pelas mudanças na riqueza e na abundância de espécies ao longo do gradiente de altitude, foram estudadas as vertentes leste-nordeste de três montanhas do complexo costeiro da Serra do Mar, no Estado do Paraná Serra da Graciosa, Pico do Marumbi e Serra da Prata. As amostragens foram conduzidas em 10 parcelas de 10m x 60m, ao longo do gradiente florestal altitudinal de cada montanha. Os sítios de amostragem foram distribuídos em intervalos aproximados de 200 m em elevação, desde localidades próximas à linha de costa (áreas de Restinga arbórea e de Floresta Ombrófila Densa de Terras Baixas, entre 0-10 m de altitude) até os pontos mais altos das serras de (1.500 m.s.n.m., aproximadamente). Considerando todos os sítios, foram registradas 166 espécies, distribuídas em 61 gêneros e 21 famílias. Enquanto Hymenophyllaceae, Lycopodiaceae e as gramitidóides são observadas em altitudes mais elevadas, Polypodiaceae, Cyatheaceae, Thelypteridaceae, Lomariopsidaceae e Schizaeceae tendem a ocorrer em localidades mais baixas. Os resultados indicaram que existe um forte efeito da altitude sobre a determinação da riqueza de espécies, tanto em escala local (cada montanha, individualmente) quanto em escala regional (conjunto das três montanhas): a riqueza interpolada e a observada variaram segundo uma curva em forma de sino, ao longo dos gradientes, atingindo um pico a 800-1.000 m.s.n.m.. Análises de regressão múltipla evidenciaram que os principais fatores abióticos capazes de explicar o padrão de riqueza encontrado foram, em ordem decrescente, as restrições geométricas verificadas nos extremos do gradiente (modelo nulo baseado no efeito do domínio central MDE), a estrutura da floresta e a constituição físico-química do solo, para =0,05. Essas três variáveis, juntas, foram capazes de explicar 46,7% a 95,4% da variação da riqueza de espécies, dependendo da escala em questão. A riqueza interpolada foi mais bem amplamente explicada pelo MDE, enquanto que a riqueza observada foi explicada, primordialmente, pelos solos e pela estrutura florestal (valores resumidos segundo os primeiros eixos de análises não-métricas de escalas multidimensionais NMDS). A abundância, por sua vez, variou apenas no gradiente de altitude da Serra da Prata, apresentando relações positivas com a complexidade estrutural da floresta. Conforme vem sendo discutido na literatura para diversos grupos biológicos, os MDE mostraram-se os principais fatores determinantes da riqueza de espécies, atribuindo um forte peso à estocasticidade na explicação de padrões de distribuição das espécies. / In order to better understand how diversity of pteridophytes varies in function of the terrain elevation and what are the potential mechanisms driving species richness and abundance changes, the eastern-northeastern slopes of three mountains at Serra do Mar, State of Paraná, Brazil Serra da Graciosa, Marumbi Peak and Serra da Prata were studied. The surveys were done in 10 plots of 10m x 60m along forested altitudinal gradient at each mountain. Sites were distributed on 200 m-elevation intervals, from near sea level (forests on sandbanks Restinga and Lowland Rain Forest, between 0-10 m-elevation) up to the tops of mountains (1,500 m a.s.l., approximately). Considering all sites combined, we found 166 species of pteridophytes from 61 genera and 21 families. While Hymenophyllaceae, Lycopodiaceae, and grammitids are mainly observed at high elevations, Polypodiaceae, Cyatheaceae, Thelypteridaceae, Lomariopsidaceae, and Schizaceae tend to occur at lower places of the mountains. Results showed a strong altitudinal effect over the pteridophyte species richness for both local and regional scales (the three mountains separately or treated as a set): both interpolated and observed species richness had described a hump-shaped pattern along all gradients, peaking at 800-1,000 m a.s.l. Multiple regression analysis provided evidences that the main factors able to explain richness pattern were, in decreasing order, the geometric constraints noticed in the ends of the gradient (Mid-Domain Effect - MDE), the forest structure, and the physiochemical constitution of the soil, for =0.05. These three variables together explained 46.7% to 95.4% of species richness variation, depending on the scale. Interpolated richness was better explained by MDE, while the observed richness was firstly explained by soils and forest structure (summarized by the first dimensions of the non-metric multidimensional scaling analysis NMDS). Moreover, the abundance varied only in the altitudinal gradient at Serra da Prata, where a positive relationship to the structural complexity of the forest was remarked. According to the present results and to data found in the current literature for many taxonomic groups, MDE has been the most important factor determining the species richness. Thus, sthocasticity can get an original play in species distribution patterns.

The aim of this work is to generalize the results given by Domitrz, Janeczko and Zhitomirskii in [10]. In this article they classify in the symplectic manifold (R2, w) where w = dx1 Λ dx2 + · · · + dx2n-1 Λ dx2n is the symplectic form given by Darbouxs Theorem, all the set which are symplectomorphic to a fixed quasi homogeneous curve . To do this classification they defined the algebraic restrictions. We develop a new method called the method of exact algebraic restrictions and show that this classification is solved for the non quasi homogeneous case N = {(x1, x2) = x≥3 = 0} in the symplectic manifold (C2, w ), where f(x1, x2) = x41 + x52 + x21 x32. / Este trabalho tem como objetivo generalizar os resultados feitos por Domitrz, Janeczko e Zhitomirskii em [10]. Neste artigo eles clasificaram na variedade simplética (R2, w) onde w = dx1 Λ dx2 + ... + dx2n-1 Λ dx2n é a forma simpléctica dada pelo Teorema de Darboux, todos os conjuntos que são simplectomorfos a uma curva quase homogênea fixada . Para fazer a classificação eles definem as restrições algebraicas. Nós desenvolvemos um novo método o qual chamamos de método das restrições algebraicas exatas e provamos que a classificação é resolvida para o caso não quase homogêneo N = {f(x1, x2) = x≥3 = 0} na variedade simplética (C2, w ), onde f(x1, x2) = x41 + x52 + x21 x32.

Este trabalho apresenta um estudo da instrumentalização de software em Redes de Sensores Sem Fio, complementado pela aplicação, em um estudo de caso, de uma instrumentalização. A proposta da instrumentalização visa ampliar o conhecimento sobre essas redes em termos de desempenho, permitindo ao usuário tomar decisões suportadas pelo instrumento. Nesse sentido, foi realizada a abordagem conceitual em termos de Redes de Sensores Sem Fio, da tendência de padronização para essas redes e de instrumentalização por meio de software. Para a comprovação dos benefícios da adoção da utilização do conceito de instrumentalização de software nessas redes, foi desenvolvida uma rede de sensores utilizando esses conceitos, na qual foi possível avaliar o perfil dos aspectos temporais e da manutenção da qualidade da conexão. Os resultados obtidos evidenciam que é possível conhecer, com maiores detalhes, o comportamento da rede, o que melhora a qualidade da tomada de decisão do usuário em relação à sua utilização em aplicações com restrições temporais, nas quais os tempos de resposta envolvidos devem respeitar os limites máximos permitidos. / This thesis aims at the study of software instrumentation handling in terms of wireless sensor networks which is supplemented with the its application in a case study. The instrumentation purposes go towards the networks knowledge extension concerning its performance by allowing the user to make decisions based on software instrument reading. In this sense, a conceptual approach was performed which takes the wireless sensor network into account as well as the trend of standardization for these networks and the software instrumentation itself. In order to confirm the benefits on adopting the usage of software instrumentation concept on these networks, a wireless sensor network was developed using these concepts. In this sense, it was possible to evaluate the timing aspects profile and the link quality maintenance. The results show that is possible to know about the behavior of the network in details. By doing this, the quality of the users decision-making regarding their use in applications with time constraints, in which response time involved should respect the maximum allowable limits, has been improved.

Submitted by admin tede (tede@pucgoias.edu.br) on 2016-12-09T12:16:23Z No. of bitstreams: 1 GARIBALDI TEIXEIRA NETO.pdf: 1516545 bytes, checksum: 23fcb900cca46f3b3b38e4e063d2454e (MD5) / Made available in DSpace on 2016-12-09T12:16:23Z (GMT). No. of bitstreams: 1 GARIBALDI TEIXEIRA NETO.pdf: 1516545 bytes, checksum: 23fcb900cca46f3b3b38e4e063d2454e (MD5) Previous issue date: 2015-09-23 / This study presents a computer simulation model based on the theory of constraints, the simplified drum-lung-string method and system production to availability. The goal is to use these concepts to build a model of the production system of the searched company, replicate it on a simulation software, and perform interventions in resources with restraint in order to increase its capacity if the system does not meet the demand. The object of this study was a plant in the food industry, data collection related to the production system, was carried out from June 2012 to December 2013, and the simulation process was generated by the end of 2015. The results were reproduction of each of the production areas as well as the RRC and bottlenecks encountered in the production system. Still, interventions applied in the simulated model, were subsequently applied by the company. / Este trabalho apresenta um modelo de simulação computacional baseado na teoria das restrições, no método tambor-pulmão-corda simplificado e no sistema produção para disponibilidade. O objetivo é utilizar estes conceitos para construir um modelo do sistema produtivo da empresa pesquisada, replicá-lo em um software de simulação, e, realizar intervenções nos recursos com restrição afim de aumentar suas capacidades, caso o sistema não atenda à demanda. O objeto deste estudo foi uma fábrica do ramo alimentício, a coleta dos dados relacionadas ao sistema produtivo, foi realizada no período de junho de 2012 a dezembro de 2013, e o processo de simulação foi gerado até o final de 2015. Os resultados obtidos foram a reprodução de cada uma das áreas produtivas, bem como dos gargalos e RRC encontrados no sistema produtivo. Ainda, as intervenções aplicadas no modelo simulado, foram posteriormente aplicadas pela empresa.