El texto completo de este trabajo no está disponible en el Repositorio Académico UPC por restricciones de la casa editorial donde ha sido publicado. / The fast food industry, specifically the service department, has experienced sustainable economic growth and has evolved in the application of substantial methods, however, it has presented a slowdown due to deficient operation level provided in the customer service area. A large number of customers do not make the purchase owing to a series of unmet trends that face the consumer behaviour which leads to significant economic losses and inefficient service. They have therefore focused their efforts on finding impulse mechanisms through allowing them to migrate to less costly processes and/or to achieve better utilisation of available resources without success. This research inquires into the effectiveness of the Lean Thinking Simulation (LTS) model, which consists in the development of a set of methodological phases and the adaptation of the technological support termed as Digital Change to improve the performance of customer service in Peruvian fast food. The main result of this practical study was defined by a Dashboard in real-time, and as a first approximation of the model, a 17.03% improvement can be shown in the performance of customer service on the fast food selected. / Revisión por pares

Si le problème d'équilibrage lors de la conception de lignes d'assemblage est largement étudié dans la littérature sous le nom d’ALBP (Assembly Line Balancing Problems), peu de travaux concernent leur rééquilibrage dans un horizon court terme et en-ligne. Les travaux présentés dans ce mémoire portent donc sur le rééquilibrage dynamique des lignes d’assemblage en réaction aux événements court terme perturbants la production. L’objectif étant de changer l’allocation des taches sur les postes de travail afin de lisser la charge induite par la perturbation. Le délai court sans arrêt de production étant plus important que l'optimalité de la solution, le temps de résolution rapide des méthodes de résolution approchées nous a intéressé. Deux approches ont été étudiées pour leur simplicité et leur nouveauté dans le domaine du ALBP : la méthode ILS (Iterated Local Search) et la recherche d’atteignabilité sur un réseau d’automates communicants. Cela nous a montré qu'elles peuvent répondre au besoin de réactivité imposé par notre problème mais qu’elles sont difficilement adaptables lorsque les leviers d’action pour rééquilibrer la ligne sont modifiés. Notre proposition pour répondre à ce besoin d’adaptabilité est une méthodologie de modélisation et de résolution des problèmes de rééquilibrage des lignes d’assemblage s’appuyant sur un réseau d’automates communicants et une recherche d’atteignabilité sur celui-ci. Pour assurer la généricité, la méthodologie est décomposée en deux niveaux d’abstraction : l'étude de la classe du problème ALBP considéré et al résolution du problème spécifique. Les travaux ont été validés sur des exemples industriels issus de la société Trane. / Assembly lines are flow-oriented production systems. They are still typical in industrial production systems despite the evolution from mass-production to more personalized and fluctuating production. In order to meet customer demand (quantity, time, etc.) and to reduce manufacturing costs, the lines must be well balanced. In other words, the products need to move from one workstation to another with the same pace, usually called takt time. This assembly line design problem is widely studied in the literature under the name of ALBP (Assembly Line Balancing Problems). Nonetheless, few studies concern the on-line reconfiguration and in particular, the dynamic rebalancing. The work presented in this thesis focuses on the dynamic rebalancing of assembly lines in response to short-term events disturbing production. Two approaches have been studied for their simplicity, speed of implementation and innovation in the field of ALBP: the ILS approach (Iterated Local Search) and the reachability analysis approach based on a network of communicating automata. This study showed that both approaches can address the need for a quick resolution required by dynamic rebalancing problem but lacked for adaptation when model constraints or objectives are changed. A methodological approach for assembly line balancing problems modeling and resolution is proposed to bridge the gap of adaptability. To ensure the genericity of obtained models., the methodology is composed of two levels of abstraction: a study of the class of the considered problem and a focus on the specific problem to solve. Studies have been validated on industrial examples from Trane factories.

Esta tese visa avaliar técnica e economicamente o tratamento da água de lastro em portos exportadores de minério de ferro do Brasil. Para isso foram estudadas três alternativas de tratamento distintas: (1) estação de tratamento fixa no porto em terra; (2) estação de recepção da água de lastro junto com estação de dessalinização fixa no porto; (3) tratamento a bordo de embarcações aliviadoras dedicadas para operar na barra, ou seja, na área de espera dos navios para atracar no porto. O interesse de estudar estas alternativas para portos de minério de ferro deve-se ao elevado volume de água de lastro despejado pelos navios mineraleiros nesses portos, que pode variar de 10.000 a 120.000 m3 por viagem, caracterizando estes portos como grandes receptores de água de lastro. Foram selecionados três portos para serem avaliados neste trabalho, considerados de pequeno, médio e grande porte, localizados em Vitória-ES e Sepetiba-RJ. Para avaliação do impacto operacional dessas alternativas nos portos selecionados, desenvolveu-se um modelo de simulação de eventos discretos. Por meio do modelo de simulação avaliaram-se os níveis de serviço considerando como parâmetros principais o atendimento da demanda de transporte, tempo médio em fila dos navios e taxa de ocupação dos berços. O modelo foi utilizado para dimensionar as estações de tratamento e a frota necessária de embarcações aliviadoras. Concluiu-se que a utilização desses sistemas de tratamento nos portos não causam impactos significativos nos tempos em fila e taxas de ocupação dos portos. A avaliação econômica realizada apresentou os custos do tratamento para cada alternativa. Esses custos foram comparados com o tratamento da água de lastro a bordo dos navios. Concluiu-se que os custos do tratamento em terra são menores em relação ao tratamento a bordo do navio. Dentre as três alternativas, a (1) foi a que apresentou menor custo, porém a (3) apresenta menor impacto na implantação e operação dos portos, uma vez que não é necessário nenhum tipo de investimento e modificação na infraestrutura portuária. / This thesis aims at making a technical and economic analysis of the ballast water treatment in Brazilian iron ore ports. Three distinct treatment alternatives were studied: (1) onshore ballast water treatment; (2) water desalination plant to ballast water treatment; (3) onboard ballast water treatment in shuttle tanker vessels operating in the mooring, where the ships wait to berth in a queue area. The interest in studying these alternatives for iron ore ports due the high volume of ballast water discharged by ore carriers ships in these ports, which may vary from 10,000 to 120,000 m³ per voyage, characterizing these ports as great ballast water receivers. For this study three ports were selected, with small, medium and large capacities, located in Vitória-ES and Sepetiba-RJ. To analyze the operational impacts of these alternatives in the selected ports, a discrete event simulation model was developed in this study. The simulation model analyzes the service levels considering transportation demand attendance, average time in queue and berth occupation rates as the main parameters. The model was used to estimate the ballast water treatment stations capacity and shuttle tankers fleet necessary. The conclusion that these treatment systems do not cause significant impacts in the queue times and berth occupation rates of ports. The economic analysis presented the costs of each proposed alternative, which were compared to the onboard ballast water treatment. The comparison showed that the onshore treatment is less costly than the onboard treatment. From the three alternatives, the (1) was the less expensive, however the (3) presenting less impact in the implementation and port operations, since are not necessary investments and modifications in the port structure.

O trabalho a seguir apresenta o desenvolvimento e resultados da pesquisa acerca de modelos de estoques para múltiplos fornecedores, baseado na distribuição de peças de manutenção de empresas de tecnologia no Brasil. Em função de características de demandas erráticas, altos custos das peças e demanda por tempos de entrega reduzidos, costuma-se adotar uma estratégia de distribuir peças em diversos centros de estoques por todo território nacional. Entretanto, manter altos estoques em cada uma das localidades do sistema pode trazer custos elevados. Devido às características da demanda, muitas vezes ocorrem faltas de estoques de itens críticos, que são enviados aos locais de demanda por meio de transportes emergenciais de alto custo e prazos de entregas reduzidos. Entretanto, os modelos convencionais de estoques adotados, não consideram as possibilidades de envios emergenciais em suas formulações, fazendo desta solução uma situação não prevista na modelagem e potencialmente não ótima. A presente pesquisa tem por objetivo desenvolver e avaliar os modelos convencionais de estoques para a situação de múltiplos fornecedores considerando custos e prazos de entregas diferentes, como alternativa para os modelos adotados na distribuição de peças de manutenção. Sua aplicação a outros problemas, inclusive ambientes de múltiplos fornecedores independentemente de diferenças de transportes é imediata. A pesquisa abrange sete modelos, sendo três modelos reativos (reposição da base, reposição do máximo e lote fixo) em regimes de revisão periódica e contínua, e um modelo ativo considerando previsão de demanda. Foi utilizada busca local com simulação de eventos discretos para resolver os modelos propostos. / The present work presents research and development of multiple supplier inventory models, based on the service parts logistics in the technology industry. Because of the lumpy demand characteristics, high costs of parts and low delivery time expectations, a strategy to spread parts inventories all over the country was adopted. However, maintaining high inventory in every location of the system can lead to high costs. Because of the demand characteristics critical items can get unavailable in certain location, which are supplied by emergency shipment from supplying locations with high transportation costs and reduced delivery times. However, the conventional inventory models that are used do not consider the possibility of emergency shipments, leading to potential non optimal distribution of parts. The present research aims to develop and evaluate the inventory models considering multiple transportation modals with different lead times and costs, to serve as an alternative to the current inventory models used. The application to other problems, including different suppliers independent of transportation mode, is immediate. The research covers seven different models: three reactive, (s, S), (S-1, S) and (R, Q) in continuous and periodic review, and one demand prediction based model. Local search and discrete events simulation was used to resolve the models.

O trabalho a seguir apresenta o desenvolvimento e resultados da pesquisa acerca de modelos de estoques para múltiplos fornecedores, baseado na distribuição de peças de manutenção de empresas de tecnologia no Brasil. Em função de características de demandas erráticas, altos custos das peças e demanda por tempos de entrega reduzidos, costuma-se adotar uma estratégia de distribuir peças em diversos centros de estoques por todo território nacional. Entretanto, manter altos estoques em cada uma das localidades do sistema pode trazer custos elevados. Devido às características da demanda, muitas vezes ocorrem faltas de estoques de itens críticos, que são enviados aos locais de demanda por meio de transportes emergenciais de alto custo e prazos de entregas reduzidos. Entretanto, os modelos convencionais de estoques adotados, não consideram as possibilidades de envios emergenciais em suas formulações, fazendo desta solução uma situação não prevista na modelagem e potencialmente não ótima. A presente pesquisa tem por objetivo desenvolver e avaliar os modelos convencionais de estoques para a situação de múltiplos fornecedores considerando custos e prazos de entregas diferentes, como alternativa para os modelos adotados na distribuição de peças de manutenção. Sua aplicação a outros problemas, inclusive ambientes de múltiplos fornecedores independentemente de diferenças de transportes é imediata. A pesquisa abrange sete modelos, sendo três modelos reativos (reposição da base, reposição do máximo e lote fixo) em regimes de revisão periódica e contínua, e um modelo ativo considerando previsão de demanda. Foi utilizada busca local com simulação de eventos discretos para resolver os modelos propostos. / The present work presents research and development of multiple supplier inventory models, based on the service parts logistics in the technology industry. Because of the lumpy demand characteristics, high costs of parts and low delivery time expectations, a strategy to spread parts inventories all over the country was adopted. However, maintaining high inventory in every location of the system can lead to high costs. Because of the demand characteristics critical items can get unavailable in certain location, which are supplied by emergency shipment from supplying locations with high transportation costs and reduced delivery times. However, the conventional inventory models that are used do not consider the possibility of emergency shipments, leading to potential non optimal distribution of parts. The present research aims to develop and evaluate the inventory models considering multiple transportation modals with different lead times and costs, to serve as an alternative to the current inventory models used. The application to other problems, including different suppliers independent of transportation mode, is immediate. The research covers seven different models: three reactive, (s, S), (S-1, S) and (R, Q) in continuous and periodic review, and one demand prediction based model. Local search and discrete events simulation was used to resolve the models.

Esta tese visa avaliar técnica e economicamente o tratamento da água de lastro em portos exportadores de minério de ferro do Brasil. Para isso foram estudadas três alternativas de tratamento distintas: (1) estação de tratamento fixa no porto em terra; (2) estação de recepção da água de lastro junto com estação de dessalinização fixa no porto; (3) tratamento a bordo de embarcações aliviadoras dedicadas para operar na barra, ou seja, na área de espera dos navios para atracar no porto. O interesse de estudar estas alternativas para portos de minério de ferro deve-se ao elevado volume de água de lastro despejado pelos navios mineraleiros nesses portos, que pode variar de 10.000 a 120.000 m3 por viagem, caracterizando estes portos como grandes receptores de água de lastro. Foram selecionados três portos para serem avaliados neste trabalho, considerados de pequeno, médio e grande porte, localizados em Vitória-ES e Sepetiba-RJ. Para avaliação do impacto operacional dessas alternativas nos portos selecionados, desenvolveu-se um modelo de simulação de eventos discretos. Por meio do modelo de simulação avaliaram-se os níveis de serviço considerando como parâmetros principais o atendimento da demanda de transporte, tempo médio em fila dos navios e taxa de ocupação dos berços. O modelo foi utilizado para dimensionar as estações de tratamento e a frota necessária de embarcações aliviadoras. Concluiu-se que a utilização desses sistemas de tratamento nos portos não causam impactos significativos nos tempos em fila e taxas de ocupação dos portos. A avaliação econômica realizada apresentou os custos do tratamento para cada alternativa. Esses custos foram comparados com o tratamento da água de lastro a bordo dos navios. Concluiu-se que os custos do tratamento em terra são menores em relação ao tratamento a bordo do navio. Dentre as três alternativas, a (1) foi a que apresentou menor custo, porém a (3) apresenta menor impacto na implantação e operação dos portos, uma vez que não é necessário nenhum tipo de investimento e modificação na infraestrutura portuária. / This thesis aims at making a technical and economic analysis of the ballast water treatment in Brazilian iron ore ports. Three distinct treatment alternatives were studied: (1) onshore ballast water treatment; (2) water desalination plant to ballast water treatment; (3) onboard ballast water treatment in shuttle tanker vessels operating in the mooring, where the ships wait to berth in a queue area. The interest in studying these alternatives for iron ore ports due the high volume of ballast water discharged by ore carriers ships in these ports, which may vary from 10,000 to 120,000 m³ per voyage, characterizing these ports as great ballast water receivers. For this study three ports were selected, with small, medium and large capacities, located in Vitória-ES and Sepetiba-RJ. To analyze the operational impacts of these alternatives in the selected ports, a discrete event simulation model was developed in this study. The simulation model analyzes the service levels considering transportation demand attendance, average time in queue and berth occupation rates as the main parameters. The model was used to estimate the ballast water treatment stations capacity and shuttle tankers fleet necessary. The conclusion that these treatment systems do not cause significant impacts in the queue times and berth occupation rates of ports. The economic analysis presented the costs of each proposed alternative, which were compared to the onboard ballast water treatment. The comparison showed that the onshore treatment is less costly than the onboard treatment. From the three alternatives, the (1) was the less expensive, however the (3) presenting less impact in the implementation and port operations, since are not necessary investments and modifications in the port structure.

L’étude des phénomènes de la diffusion d’information à grand échelle est un domaine récent. La diffusion d’information est définie comme le processus de communication par lequel une idée ou une information se propage dans une population et qui peut impacter le comportement des individus. Les institutions, tout comme les entreprises, cherchent à comprendre et à prévoir l’impact de la propagation d’information sur les individus. Une approche de modélisation et simulation permet de mieux comprendre ce processus social et de répondre à ces questions. La modélisation et la simulation à base d’agents offre une approche puissante pour modéliser un tel processus social. Toutefois, les modèles actuels simplifient fortement les facteurs culturels et les informations représentées dans le modèle ainsi que les différents liens interconnectant les individus. Ces éléments sont centraux et déterminants pour le processus de propagation. Afin d'améliorer les modèles de propagation, nous explorons dans cette thèse une représentation de la population plus réaliste. Nous proposons une architecture de modélisation et simulation permettant de simuler les phénomènes de propagation au sein des réseaux sociaux multiplexes et dynamiques basée sur le formalisme DEVS. / The study of information dissemination phenomena of large-scale is a new field. Diffusion of information is defined as the communication process by which an idea or information spreads within a social system and that can impact the behaviour of individuals. Institutions and firms search to understand and predict the impact of information propagation on individuals. Agent-based modelling is a powerful approach for studying such a collective process. However, existing models oversimplify adopters' cultural attributes, different type of link and information content, despite the evidence of their central role in diffusion process. In this thesis, we challenge the feasibility and utility of a more realistic representation of population. We use the DEVS formalism, extended by DS-DEVS and PDEVS in order to simulate the propagation phenomena within a multi-layer social network (MSN).

De nombreux systèmes réels et applications, tels que les ateliers flexibles et systèmes embarqués, sont formés de tâches communicantes et sont modélisables par des réseaux de Petri pondérés. Le comportement de ces systèmes peut être vérifié sur leur modèle dès la phase de conception afin d'éviter les simulations post-conception coûteuses. Ces systèmes doivent satisfaire trois propriétés : vivacité, capacité bornée et réversibilité. La vivacité préserve la possibilité d'exécuter chaque tâche. La capacité bornée assure une quantité limitée de ressources. La réversibilité évite une initialisation coûteuse et permet de réinitialiser le système. Les méthodes d'analyse de ces propriétés ont généralement une complexité exponentielle. Dans cette thèse, nous étudions plusieurs sous-classes expressives des réseaux de Petri pondérés, soient les classes Fork-Attribution, Choice-Free, Join-Free et Equal-Conflict, pour lesquelles nous développons les premiers algorithmes polynomiaux garantissant vivacité, capacité bornée et réversibilité. Premièrement, nous apportons des transformations polynomiales qui préservent de nombreuses propriétés des réseaux de Petri pondérés et facilitent l'étude de leur comportement. Deuxièmement, nous utilisons ces transformations pour obtenir plusieurs conditions polynomiales suffisantes de vivacité pour les sous-classes considérées. Enfin, ces transformations simplifient l'étude de la réversibilité sous hypothèse de vivacité. Nous donnons plusieurs caractérisations et conditions polynomiales suffisantes de réversibilité pour les sous-classes étudiées. Nos conditions passent à l'échelle et sont aisément implémentables dans les systèmes réels. / Many real systems and applications, including flexible manufacturing systems and embedded systems, are composed of communicating tasks and may be modeled by weighted Petri nets. The behavior of these systems can be checked on their model early on at the design phase, thus avoiding costly simulations on the designed systems. Usually, the models should exhibit three basic properties: liveness, boundedness and reversibility.Liveness preserves the possibility of executing every task, while boundedness ensures that the operations can be performed with a bounded amount ofresources. Reversibility avoids a costly initialization phase and allows resets of the system.Most existing methods to analyse these properties have exponential time complexity.By focusing on several expressive subclasses of weighted Petri nets, namely Fork-Attribution, Choice-Free, Join-Free and Equal-Conflict nets,the first polynomial algorithms that ensure liveness, boundednessand reversibility for these classes have been developed in this thesis.First, we provide several polynomial time transformations that preserve structural andbehavioral properties of weighted Petri nets, while simplifying the study of their behavior.Second, we use these transformations to obtain several polynomial sufficient conditions of livenessfor the subclasses considered. Finally, the transformations also prove useful for the study of the reversibility propertyunder the liveness assumption. We provide several characterizations and polynomial sufficient conditionsof reversibility for the same subclasses. All our conditions are scalable and can be easily implemented in real systems.

No description available.

Made available in DSpace on 2016-12-12T17:38:38Z (GMT). No. of bitstreams: 1 Diogo Luiz Leme da Cruz.pdf: 2277911 bytes, checksum: 44818fa572a2ccc7f237939664149ec3 (MD5) Previous issue date: 2011-07-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Control Theory (SCT) of Ramadge and Wonham (1989) cam be a suitable tool because it ensures the achievement of optimal control logic (minimally restrictive and nonblocking) and also that meets the specifications of control. This paper presents a methodology for implementation of SCT in Programmable Logic Controllers (PLCs). The modeling of the plant and the specification of control is done by automata and languages, and in order to exploit the modular nature of the plant and the specifications we use the local modular approach (QUEIROZ and CURY, 2000) for the synthesis of supervisors. The use of a formal methodology for implementing control system also allows to standardize in the development, testing and structure of the PLC code and obtain a free of errors solution and crashes, discarding the empirical methods. The methods of implementation of the TCS in PLC existing literature have the feature to limit the evolution of the system, often dealing with one event per PLC scan cycle. Also presented is a series of problems that can occur in the implementation of supervisors in control elements such as PLCs (FABIAN and HELLGREN, 1998). However, not all of these problems have solutions and for some of them are presented some properties that the modeling of the system must ensure in order to avoid such problems. This method treats all the uncontrollable events produced by the plant in just one PLC scan cycle. The also promotes the control of the plant at the end of cycle. The development of this methodology takes into account the possible problems when using the theory into practice. Thus providing solutions to the problems. In this case the solutions, Choice , stands out. It promotes the random generation of controllable events. One it is give priority to a particular event over another, it can cause the system to lock or be inoperative (MALIK, 2002). To facilitate the implementation of supervisory control structure in PLC, was created a computational tool for the automatic generation of control logic, based on the proposed methodology that converts the list generated by the software Discrete Event System (DES) in LADDER code. The validation of the results obtained with the tool generation was done through simulations for different problems of supervisory control. / Na atualidade, a automação da manufatura tem assumido cada vez mais um papel importante dentro das indústrias e os problemas de controle de sistemas automatizados têm se tornado cada vez mais complexos. Assim, o tradicional uso de métodos empíricos fortemente baseados na experiência do programador pode levar a soluções inadequadas ou ineficientes. Neste sentido, a Teoria de Controle Supervisório (TCS) apresentada por Ramadge e Wonham (1989) se mostra uma ferramenta adequada uma vez que garante a obtenção de uma lógica de controle ótima (minimamente restritiva e não bloqueante) e que satisfaz às especificações de controle. Este trabalho apresenta uma metodologia para implementação da TCS em Controladores Lógicos Programáveis (CLPs). A modelagem da planta e das especificações de controle é feita por autômatos e linguagens e no intuito de explorar a modularidade da planta e das especificações utiliza-se a abordagem modular local (QUEIROZ e CURY, 2000) para a síntese dos supervisores. O uso de uma metodologia formal para a implantação em sistemas de controle possibilita ainda uma padronização no desenvolvimento, teste e estrutura de códigos nos CLPs e obter uma solução livre de erros e bloqueios, fugindo dos métodos empíricos. Os métodos de implementação da TCS em CLP encontrados na literatura apresentam a característica de limitar a evolução do sistema, muitas vezes tratando um único evento por ciclo de varredura do CLP. Também, é apresentada uma série de problemas que podem ocorrer na implementação de supervisores em elementos de controle como CLPs (FABIAN e HELLGREN, 1998). Entretanto, nem todos os problemas apresentados são solucionados e para alguns deles são apresentadas propriedades que o modelo do sistema deve satisfazer para que tais problemas não se manifestem. Já a metodologia desenvolvida neste trabalho permite tratar em um mesmo ciclo de varredura do CLP todos os eventos não controláveis gerados pela planta, e ainda promover o controle da mesma a partir dos eventos controláveis gerados ao final desse ciclo. O desenvolvimento desta metodologia leva em consideração os problemas que podem ocorrer quando se utiliza a teoria na prática, apresentando uma solução para alguns desses problemas. Destaca-se a solução do chamado problema da escolha, cuja priorização indevida de eventos pode levar ao bloqueio ou tornar parte do sistema inoperante (MALIK, 2002). Como solução para este problema propõe-se uma escolha aleatória dinâmica para a geração dos eventos controláveis, evitando assim os problemas mencionados. Para facilitar a implementação da estrutura de controle supervisório no CLP foi criado um software de geração automática de código, que baseado na metodologia proposta, converte a listagem gerada pelo software de Sistema a Eventos Discretos (SED) em linguagem LADDER. A validação dos resultados obtidos com a ferramenta de geração de código foi realizada por intermédio de simulações feitas para diferentes problemas de controle supervisório.