A área do petróleo é uma das que mais podem se beneficiar da melhoria de eficiência da gestão da cadeia de suprimentos. Entretanto, o comportamento dinâmico de tais cadeias é muito complexo para ser modelado de forma analítica. Por outro lado, estas cadeias mostram várias características intrínsecas em comum com sistemas multiagentes, que oferecem a flexibilidade necessária para modelar as complexidades e a dinâmica das cadeias de suprimentos reais sem a necessidade de premissas muito simplificadoras. Como o problema de gerenciamento da cadeia de suprimentos apresenta uma estrutura recursiva, torna-se ainda mais conveniente usar um modelo baseado em agentes holônicos, que mostram uma estrutura do tipo fractal. Além disso, o tipo de relacionamento entre as entidades da cadeia e a necessidade de uma otimização global sugerem modelar suas interações na forma de restrições. Por esta razão, esta tese propõe um modelo distribuído de otimização através da definição de um novo problema denominado Problema de Satisfação de Restrições Holônico com Otimização (HCOP), que é baseado nos conceitos do Problema de Satisfação de Restrições Distribuído com Otimização (DCOP) e agentes holônicos. Além disso, foi desenvolvido um meta-algoritmo baseado no algoritmo DTREE para solucionar este tipo de problema, onde vários algoritmos disponíveis de otimização centralizados podem ser embutidos e integrados de tal forma a obter a configuração mais adequada para cada caso. Assim, uma típica cadeia de suprimentos da indústria do petróleo foi modelada como um HCOP, e foi desenvolvido um protótipo que implementa o meta-algoritmo proposto em um ambiente que integra sistemas de otimização de produção e logística, que são representativos em relação a situações reais. Finalmente foram realizados experimentos sobre um estudo de caso da empresa PETROBRAS, que permitiram a verificação da viabilidade deste modelo e a comprovação de suas vantagens em relação às abordagens convencionais. / The oil area is one of those that may most benefit from the improved efficiency of supply chain management. However, the dynamic behavior of such chains is too complex to be modeled analytically. Moreover, these chains show several intrinsic characteristics in common with multiagent systems, which offer the required flexibility to model the complexities and dynamics of real supply chains without rather simplifying assumptions. As the problem of managing the supply chain has a recursive structure, it becomes more convenient to use a model based on holonic agents, which show a fractal-type structure. Furthermore, the type of relationship between entities in the chain and the need for global optimization suggest to model their interactions in the form of constraints. For this reason, this thesis proposes an optimization distributed model by defining a new problem called Holonic Constraint Optimization Problem (HCOP), which is based on concepts from Distributed Constraint Satisfaction Optimization Problem (DCOP) and holonic agents. In addition we developed a meta-algorithm based on DTREE algorithm for solving this type of problem, where several algorithms available for centralized optimization algorithms can be embedded and integrated so as to obtain the most suitable configuration for each case. Thus, a typical supply chain of the petroleum industry was modeled as a HCOP, and we developed a prototype that implements the meta-algorithm in an environment that integrates the optimization systems for production and logistics, which are representative in relation to actual situations. Finally experiments were performed on a case study of the company PETROBRAS, which allowed the verification of the feasibility of this model and the proof of their advantages over conventional approaches.

Esta tese de doutorado estuda os pilares de pórtico de concreto armado submetidos à flexão composta oblíqua em situação de incêndio, levando em conta sua interação com o resto da estrutura. Nas análises, são considerados os fenômenos da não linearidade geométrica, a fissuração do concreto, a não linearidade física do material, a variação das propriedades mecânicas do concreto e do aço em função à temperatura, por exemplo, a diminuição da resistência, e do módulo de elasticidade, e a variação do diagrama tensão - deformação do concreto e do aço. Além disso, é considerada a variação das propriedades térmicas dos materiais concreto e aço, como calor específico, condutividade térmica e dilatação térmica. Inicialmente, são realizadas análises na seção transversal de pilares de concreto armado em situação de incêndio, submetidos à flexão composta obliqua, utilizando um código ou programa desenvolvido pelo autor desta tese. Nessas análises são consideradas a não linearidade física do material e a variação das propriedades mecânicas e térmicas do concreto e do aço. São analisados pilares em diversas situações, com foco nas tensões, deformações e os efeitos decorrentes às suas restrições. Posteriormente, são realizadas análises termomecânicas ou termestruturais de pórticos bidimensionais e tridimensionais de concreto armado utilizando o programa DIANA Displacement Analyzer. Nessas análises são consideradas a não linearidade geométrica, a não linearidade física do material e a variação das propriedades mecânicas e térmicas do concreto e do aço. É realizado um estudo detalhado com ênfase nos efeitos das restrições axiais e rotacionais às deformações térmicas, avaliando suas consequências na capacidade resistente e no comportamento dos pilares de concreto armado em situação de incêndio. São analisadas diversas estruturas considerando incêndios localizados em compartimentos delas e são avaliados os esforços decorrentes da interação entre os pilares e o resto da estrutura. Finalmente, dos resultados obtidos nas análises realizadas no DIANA Displacement Analyzer, são calculados os valores das forças solicitantes, forças resistentes e são apresentadas algumas relações importantes entre elas. / This doctoral thesis studies columns in reinforced concrete frames in fire situation subjected to combined axial and flexural loads, considering their interaction with the structure. In the analyzes, geometric non-linearity, material non-linearity, concrete cracking, and mechanical properties of concrete and steel, are considered varying with temperature, e.g. strength and young\'s module loss and the stress-strain curves. In addition, variations of the thermal properties are considered, e.g. specific heat, thermal conductivity, and thermal elongation. Initially, cross-sectional analysis of reinforced concrete columns in fire situation, submitted to combined axial and flexural loading are performed. The performance is done, using a code or program developed by the author of this thesis. In these analyzes the physical non-linearity of the material and the variation of the mechanical and thermal properties of the concrete and the steel are considered. Columns are analyzed in different situations, with focus on stresses, strains and the effects of the restrains. Subsequently, thermomechanical analyzes of two-dimensional and three-dimensional reinforced concrete frames are performed using the DIANA Displacement Analyzer program. In these analyzes the geometric non-linearity, the physical non-linearity of the material and the variation of the mechanical and thermal properties of the concrete and steel are considered. A detailed study is conducted with emphasis on the effects of axial and rotational restraints, evaluating its consequences on the resistance and the behavior of the reinforced concrete columns in fire situation. Several structures are analyzed considering fires located in compartments of them and are evaluated the forces resulting from the interaction between the columns and the rest of the structure. Finally, from the results obtained in the analyzes carried out in DIANA Displacement Analyzer, the values of the loading forces, resistant forces, and some important relations between them are calculated.

Este trabalho tem como objetivo a classificação simplética de germes de curvas parametrizadas e de estrelas lagrangianas por meio do método das restrições algébricas. Classificamos simpleticamente germes de curvas parametrizadas com semigrupos (4; 5; 6); (4; 5; 7) e (4; 5; 6; 7). Introduzimos um invariante para distinguir restrições algébricas a germes de curvas parametrizadas quase homogêneas: a parte de quase grau mínimo proporcional. Através do método das restrições algébricas, este invariante é capaz de distinguir diferentes órbitas de germes de curvas parametrizadas quase homogêneas sob a ação dos germes de simplectomorfismos. Classificamos estrelas lagrangianas duas a duas transversais com respeito ao grupo dos simplectomorfismos. / This work aims the symplectic classification of parametrized curve-germs and Lagrangian stars using the method of algebraic restrictions. We classify simplecticaly parametrized curve-germs with semigroups (4; 5; 6); (4; 5; 7) e (4; 5; 6; 7) We introduce an invariant for algebraic restrictions to quasi-homogeneous parametrized curve-germs: the proportional minimum quasi degree part. By the method of algebraic restrictions, this invariant is able to distinguish different orbits of parameterized quasi-homogeneous curve-germs under the action of symplectomorphisms. We classify Lagrangian stars two to two transversal with respect to the group of simplectomorphisms.

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.

O projeto de um componente mecânico é uma atividade muito complexa, onde muitas vezes se tem restrições de projeto como peso do componente e rigidez máxima, e também restrições de manufatura, associada aos processos de fabricação disponíveis para serem utilizados. É fato conhecido que a Otimização Topológica (OT), apesar de ser um método extremamente eficiente para a obtenção de soluções ótimas, gera soluções com geometrias complexas que são ou muito caras de se fabricar ou infactíveis. A técnica de projeção foi escolhida como adequada para implementar as restrições propostas neste trabalho. Esta técnica resolve o problema posto num domínio de variáveis de projeto e projeta essa solução num domínio de pseudo-densidades, que são a resposta do problema. A relação entre os dois domínios e determinada pela função de projeção e pelo mapeamento das variáveis definidos de forma diferente para cada restrição. Neste trabalho foram implementadas restrições de manufatura para OT de modo a restringir a gama possível de soluções no problema de otimização. Como exemplo foi considerado o problema de maximização de rigidez, com restrição de volume. Todas as implementações foram realizadas em linguagem de programação C, e o algoritmo de otimização utilizado é o critério de optimalidade. Foram implementadas as seguintes restrições de manufatura com a técnica de projeção: membro mínimo, buraco mínimo, simetria, extrusão, é revolução, repetição de padrões, fundição, forjamento, e laminação. Estas restrições mostram a grande capacidade da técnica de projeção para controlar a solução do problema de otimização sem implicar num grande aumento do custo computacional. Os resultados encontrados mostram a potencialidade de utilizar restrições de manufatura na OT, porém estão longe de esgotarem o assunto, nesse tema recente que vem sendo explorado no Método de Otimização Topológica (MOT). / The design of a mechanical component is a very complex task, which includes constraints such as maximum weight and maximum stiffness, and also manufacturing constraints, associated with the manufacturing processes required at the shop floor. It is known that Topology Optimization (TO), despite of being a very effective and powerful method to obtain optimal solutions, generates solutions with complex geometries that are too much expensive to be manufactured or just can not be made. The projection scheme has been chosen as the most appropriate technique for implementing the proposed constraints. This scheme solves the proposed problem in a domain of design variables and then projects these results into a pseudo-density domain to find the solution. The relation between both domains is defined by the projection function and variable mapping defined in a different way for each constraint. In this work, manufacturing constraints for TO are implemented in a way that the possible solutions of the optimization problem are restricted. As an example, the traditional stiffness maximization problem is considered. All implementations have been done using C programming language, and the optimization algorithm applied is the optimality criteria. The following manufacturing constraints have been implemented using the projection scheme: minimal member size, minimal hole size, symmetry, extrusion, revolution, pattern repetition, casting, forging and lamination. These constraints show the large capacity of the projection scheme to control the solution for the optimization without adding a large computational cost. The results that have been found show the great power of using manufacturing constraints in the TO, however, they are far from exhausting this topic that has been recently explored in the Topology Optimization Method (TOM).

Resumo: Este trabalho aborda planejamento e controle da produção para uma indústria de grande porte, no setor aeronáutico, cujos produtos têm alto grau de customização, ciclos elevados e uma exigência de alta qualidade e prazo por parte dos clientes. Uma produção bastante complexa, com muita movimentação de material, produto e pessoal e um considerável volume de dados a serem processados diariamente. Nesse cenário não há margem para erros e o caminho é a busca constante do diferencial competitivo. Com isso, a presente dissertação vem apresentar um modelo de planejamento e controle da produção utilizando conceitos de gestão de projetos através da programação das atividades de montagem por meio de rede de precedências juntamente com a aplicação da Corrente Crítica como recurso para minimizar as dificuldades de se trabalhar em ambientes multiprojetos. Um sistema estruturado e operado por aplicativos disponíveis no mercado, que permita a manipulação de informações oriundas do ambiente produtivo. O método adotado nesse trabalho foi a pesquisa-ação, contando com a participação efetiva e constante do pesquisador no equacionamento dos problemas encontrados. Tem-se como resultado da pesquisa o desenvolvimento e implantação de um sistema de gestão, com seus processos, bem como ganhos significativos de ciclo, mãode- obra e Work in Process - WIP, resultados estes determinantes para a conquista do diferencial competitivo e atendimento do alto grau de exigência do mercado aeronáutico. / Abstract: This work approaches production planning and control of a large company, in the aerospace industry, whose products have high degree of customization, high cycles and a demand of high quality and delivery on time by the customers. The production is very complex, too many material transportation, products and personnel movement and a considerable volume of information being processed daily. In this scenario there is no margin for error and the path is the constant search of competitive differential. This study presents a model for a production planning and control assembly using concepts of project management by programming activities with network precedence and the implementation of the Critical Chain Method as a resource to minimize the noxious effects of working in multiprojects. A system structured and operated by applications available on the market, allowing the manipulation of information originating from of the productive atmosphere The method adopted in this work was the action-research, with the effective participation of the researcher solving some problems during the study. As a result, the study shows the development and implementation of a management system, with its processes, as well as significant gains cycle, manpower and Work In Process - WIP, these results are decisive for the conquest of the differential competitive to assist with excellence the high degree of demand of the aeronautical market. / Orientador: Valério Antonio Pamplona Salomon / Coorientador: Fernando Augusto Silva Marins / Banca: Ubirajara Rocha Ferreira / Banca: Carlos Henrique Pereira Mello / Mestre

Sistemas de computação têm se tornado maiores e mais complexos com o objetivo de lidar com a vasta quantidade de dados disponíveis. Uma tarefa decisiva em tais sistemas é classificar estes dados, bem como extrair informação útil destes. Nesta dissertação, testam-se as redes lógicas de Markov como linguagem para especificação e aprendizado de classificadores automáticos de dados. Esta linguagem combina fragmentos da lógica de primeira ordem e modelos probabilísticos gráficos (redes de Markov) em uma única representação. A junção destas duas técnicas permite a modelagem de conhecimento relacional através da lógica, e também de incertezas por meio de probabilidades e grafos não-direcionados. Neste trabalho, classificadores são aprendidos segundo dois paradigmas de aprendizado de máquina: o supervisionado, foco desta dissertação, e também o aprendizado semi-supervisionado com restrições determinísticas. Para investigar a utilidade das redes lógicas de Markov no treinamento de classificadores, uma série de experimentos de aprendizado é desenvolvida a partir de bases de dados de treino reais disponíveis em repositórios na internet. Como ferramenta auxiliar nos experimentos, esta dissertação testa também o pacote Alchemy, que provê um conjunto de algoritmos para tarefas gerais de aprendizado de máquina e inferência probabilística em redes lógicas de Markov. Para mensurar o desempenho dos classificadores aprendidos, três métricas tradicionais são empregadas: acurácia, precisão e revocação. Os resultados alcançados com classificadores semi-supervisionados com restrições indicam que a linguagem ainda não é própria para este paradigma de aprendizado. Por outro lado, o êxito obtido no desempenho dos classificadores treinados de forma supervisionada sugere que as redes lógicas de Markov são um formalismo lógico-probabilístico promissor para aplicações de classificação, e devem ser objeto de pesquisas futuras. / Computing systems have become larger and more complex in order to deal with the vast amount of available data. An important task in such systems is to classify these data, so as to extract useful information from them. In this dissertation, Markov logic networks are tested as a language to specify and learn automatic data classifiers. This language combines fragments of first-order logic and probabilistic graphical models (Markov networks), in a single representation. Together, both techniques allow one to model relational knowledge through a logic formalism, and uncertainty through probabilities and undirected graphs. In this work, data classifiers are learned by two machine learning paradigms: the supervised, the main focus of this dissertation, and also the semisupervised learning under deterministic constraints. To investigate the usefulness of Markov logic networks in training data classifiers, a set of experiments is developed from real databases available in repositories at the internet. As a support tool for experiments, this dissertation tests also the Alchemy package, which provides a set of algorithms for general machine learning tasks and probabilistic inference in Markov logic networks. To measure the performance of data classifiers, three traditional metrics are employed: accuracy, precision and recall. The results reached with semisupervised data classifiers indicate that the language is not yet suitable for learning based on this paradigm. On the other hand, the success achieved with classifiers trained in a supervised context suggests that Markov logic networks are a promising logical-probabilistic formalism to approach classification applications, and should be considered in future research.

O presente trabalho visa a investigação e o desenvolvimento de estratégias de otimização contínua e discreta para problemas de Fluxo de Potência Ótimo com Restrições de Segurança (FPORS) Multiobjetivo, incorporando variáveis de controle associadas a taps de transformadores em fase, chaveamentos de bancos de capacitores e reatores shunt. Um modelo Problema de Otimização Multiobjetivo (POM) é formulado segundo a soma ponderada, cujos objetivos são a minimização de perdas ativas nas linhas de transmissão e de um termo adicional que proporciona uma maior margem de reativos ao sistema. Investiga-se a incorporação de controles associados a taps e shunts como grandezas fixas, ou variáveis contínuas e discretas, sendo neste último caso aplicadas funções auxiliares do tipo polinomial e senoidal, para fins de discretização. O problema completo é resolvido via meta-heurísticas Evolutionary Particle Swarm Optimization (EPSO) e Differential Evolutionary Particle Swarm Optimization (DEEPSO). Os algoritmos foram desenvolvidos utilizando o software MatLab R2013a, sendo a metodologia aplicada aos sistemas IEEE de 14, 30, 57, 118 e 300 barras e validada sob os prismas diversidade e qualidade das soluções geradas e complexidade computacional. Os resultados obtidos demonstram o potencial do modelo e estratégias de resolução propostas como ferramentas auxiliares ao processo de tomada de decisão em Análise de Segurança de redes elétricas, maximizando as possibilidades de ação visando a redução de emergências pós-contingência. / The goal of the present work is to investigate and develop continuous and discrete optimization strategies for SCOPF problems, also taking into account control variables related to in-phase transformers, capacitor banks and shunt reactors. Multiobjective optimization model is formulated under a weighted sum criteria whose objectives are the minimization of active power losses and an additional term that yields a greater reactive support to the system. Controls associated with taps and shunts are modeled either as fixed quantities, or continuous and discrete variables, in which case auxiliary functions of polynomial and sinusoidal types are applied for discretization purposes. The complete model is solved via EPSO and DEEPSO metaheuristics. Routines coded in Matlab were applied to the IEEE 14,30, 57, 118 and 300-bus test systems, where the method was validated in terms of diversity and quality of solutions and computational complexity. The results demonstrate the robustness of the model and solution approaches and uphold it as an effective support tool for the decision-making process in Power Systems Security Analysis, maximizing preventive actions in order to avoid insecure operating conditions.

O trabalho apresenta uma proposta metodológica para caracterização de aptidões e restrições do meio físico, considerando a variação contínua dos atributos e também a existência de gradação nos contatos entre as unidades. Os mapas do substrato rochoso e dos materiais inconsolidados foram obtidos utilizando-se de procedimentos da lógica fuzzy para representação da gradação nos contatos. As cartas de declividade, de menor extensão do percurso da água superficial, de potencial de escoamento superficial, de susceptibilidade à erosão e de potencial agrícola foram obtidas utilizando-se mapas numéricos e a variação contínua dos atributos. Para realização das operações de geoprocessamento foram utilizados o sistema de informação geográfica SPRING e a linguagem de programação LEGAL, que permitiram, tanto a representação dos contatos gradacionais (fuzzy) quanto a classificação contínua e o cruzamento das informações. Para avaliação de alterações introduzidas no meio, foi proposta a aplicação do atributo resistência à penetração do solo como geoindicador ambiental. As medidas de resistência à penetração foram feitas utilizando-se um novo equipamento, que consiste de um penetrômetro de solo acoplado a uma sonda TDR. Este procedimento permitiu a caracterização de modificações das condições naturais de compactação dos solos da bacia, frente às atividades de uso do terreno vigentes, bem como forneceu um parâmetro para comparação frente a modificações de uso futuras. O zoneamento da área foi obtido a partir da adoção das unidades de lanforms como unidades de compartimentação, o que possibilitou a caracterização das aptidões, restrições e conflitos de uso / This study presents a methodological technique to characterize environmental restrictions and aptitudes considering continuous variation in the attributes and gradation in contato between units. Fuzzy logic procedures were used to generate representation of contact gradation for rocky substratum and unconsolidated materials maps. Continuous attribute variation and numerical maps were used to produce slope least water runoff distance, runoff potential, erosion susceptibility and agricultural potential charts. Geoprocessing operations using the SPRING geographical information system and its LEGAL programming language permitted the representation of gradation in contac (fuzzy), continuous classification nad information crossing. Soil penetration resistance was proposed as the environmental geondicator to evaluate environmental changes. Measurement of soil penetration resistance by a soil penetrometer connected to a TDR proble permitted the characterization and specification of natural basin soil compaction conditions and the comparison of different occupation activities on the soil. A parameter for future changes due to soil occupation was therefore identified by this procedure. Area zoning was attained by the adoption of landform units as segmentation units. The characterization of aptitudes, restrictions and conflicts in occupation were achived by this procedure

Muitos avanços e progressos na dinâmica dos sistemas de produção têm sido conseguidos por meio da aplicação de diversas técnicas e ferramentas de produção enxuta, teoria das restrições e sistemas híbridos. No entanto, é importante salientar que estas técnicas e ferramentas não devem ser usadas unicamente para solução de problemas operacionais de curto prazo, mas sim como um avanço no sentido de obter-se maior competitividade a ser apreciada, também no longo prazo. Apesar dos resultados positivos alcançados, muitas iniciativas de melhoria acabam por esbarrar no descompasso entre as expectativas dos agentes de mudança e os ganhos reais obtidos no horizonte de planejado desejado. Neste sentido, este trabalho propõe-se a desenvolver um método de implementação, pautado nos processos de raciocínio da teoria das restrições, procurando estabelecer uma base lógica de relacionamento entre as ações de melhoria a serem promovidas, seus efeitos esperados e os potenciais obstáculos à sua efetiva aplicação. Com isso, são estudadas com maior profundidade as ferramentas que compõem o processo de raciocínio e algumas ferramentas de melhoria de processos produtivos. Em seguida, o método é validado empiricamente por meio de uma aplicação em uma empresa do setor moveleiro. / Many progresses have been made on the dynamic of production systems by the application of several techniques and tools of lean production, theory of constraints and hybrid systems. However, it is important to point out that this techniques and tools should not only be used for short term problem solution, but a progress in the sense of obtaining larger competitiveness to be appreciated, also on the long term. In spite of the positive results reached, a lot of improvement initiatives face the gap between the change agent\'s expectations and the real gains obtained along the horizon of time. In this sense, this work intends to develop an implantation method, guided by the theory of constraints\' thinking process tools, trying to establish a logical base of relationship among the improvement actions to be promoted, its expected effects and the potential obstacles to its effective application. So, a large depth studied is promoted on the tools that compose the thinking processes and some improvement tools used on production systems, such as lean production tools. Soon after, the method proposed is validated by its application on a furniture industry.