The Experts below are selected from a list of 122793 Experts worldwide ranked by ideXlab platform
Clara Fernandes - One of the best experts on this subject based on the ideXlab platform.
-
supply chain Network Configuration for product recovery
Production Planning & Control, 2004Co-Authors: Benita M Beamon, Clara FernandesAbstract:The current growth in consumption results in resource reduction, increasing waste production and, ultimately, environmental deterioration. Both government and consumer concerns regarding these issues have been driving reduction efforts in waste and natural resource-usage. These environmental issues, in addition to economic opportunities, result in the concept of product cycles that oppose the traditional ‘one-way’ economy. One approach is to create product recovery Networks in which used products are collected, reprocessed and later redistributed to the customer. Product recovery Networks differ from typical forward-only Networks. Therefore, specific work considering their issues is necessary. In this work, we study a closed-loop supply chain in which manufacturers produce new products and remanufacture used products. The decisions to be made are: which warehouses and collection centres should be open, which warehouses should have sorting capabilities and how much material should be transported between ea...
Matthew Caesar - One of the best experts on this subject based on the ideXlab platform.
-
plankton scalable Network Configuration verification through model checking
Networked Systems Design and Implementation, 2020Co-Authors: Santhosh Prabhu, Kuanyen Chou, Ali Kheradmand, Brighten P Godfrey, Matthew CaesarAbstract:Network Configuration verification enables operators to ensure that the Network will behave as intended, prior to deployment of their Configurations. Although techniques ranging from graph algorithms to SMT solvers have been proposed, scalable Configuration verification with sufficient protocol support continues to be a challenge. In this paper, we show that by combining equivalence partitioning with explicit-state model checking, Network Configuration verification can be scaled significantly better than the state of the art, while still supporting a rich set of protocol features. We propose Plankton, which uses symbolic partitioning to manage large header spaces and efficient model checking to exhaustively explore protocol behavior. Thanks to a highly effective suite of optimizations including state hashing, partial order reduction, and policy-based pruning, Plankton successfully verifies policies in industrial-scale Networks quickly and compactly, at times reaching a 10000$\times$ speedup compared to the state of the art.
Benita M Beamon - One of the best experts on this subject based on the ideXlab platform.
-
supply chain Network Configuration for product recovery
Production Planning & Control, 2004Co-Authors: Benita M Beamon, Clara FernandesAbstract:The current growth in consumption results in resource reduction, increasing waste production and, ultimately, environmental deterioration. Both government and consumer concerns regarding these issues have been driving reduction efforts in waste and natural resource-usage. These environmental issues, in addition to economic opportunities, result in the concept of product cycles that oppose the traditional ‘one-way’ economy. One approach is to create product recovery Networks in which used products are collected, reprocessed and later redistributed to the customer. Product recovery Networks differ from typical forward-only Networks. Therefore, specific work considering their issues is necessary. In this work, we study a closed-loop supply chain in which manufacturers produce new products and remanufacture used products. The decisions to be made are: which warehouses and collection centres should be open, which warehouses should have sorting capabilities and how much material should be transported between ea...
Martin Bjorklund - One of the best experts on this subject based on the ideXlab platform.
-
Network Configuration Protocol (NETCONF)
2011Co-Authors: Rob Enns, Martin Bjorklund, Juergen SchoenwaelderAbstract:The Network Configuration Protocol (NETCONF) defined in this document provides mechanisms to install, manipulate, and delete the Configuration of Network devices. It uses an Extensible Markup Language (XML)-based data encoding for the Configuration data as well as the protocol messages. The NETCONF protocol operations are realized as remote procedure calls (RPCs). This document obsoletes RFC 4741. [STANDARDS-TRACK]
-
yang a data modeling language for the Network Configuration protocol netconf
RFC, 2010Co-Authors: Martin BjorklundAbstract:YANG is a data modeling language used to model Configuration and state data manipulated by the Network Configuration Protocol (NETCONF) protocol, NETCONF remote procedure calls, and NETCONF notifications.
-
Network Configuration management using netconf and yang
IEEE Communications Magazine, 2010Co-Authors: Jurgen Schonwalder, Martin Bjorklund, Phil ShaferAbstract:The Internet Engineering Task Force has standardized a new Network Configuration management protocol called NETCONF, which provides mechanisms to install, manipulate, and delete the Configuration of Network devices. This article describes the NETCONF protocol and a recently introduced NETCONF data modeling language called YANG. The YANG language allows data modelers to define the syntax and semantics of device Configurations, and supports translations to several XML schema languages.
Stefan Minner - One of the best experts on this subject based on the ideXlab platform.
-
manufacturing Network Configuration in supply chains with product recovery
Omega-international Journal of Management Science, 2009Co-Authors: David Francas, Stefan MinnerAbstract:Efficient implementation of product recovery requires appropriate Network structures. In this paper, we study the Network design problem of a firm that manufactures new products and remanufactures returned products in its facilities. We examine the capacity decisions and expected performance of two alternative manufacturing Network Configurations when demand and return flows are both uncertain. Concerning the market structure, we further distinguish between the case where newly manufactured and remanufactured products are sold on the same market and the case where recovered products have to be sold on a secondary market. We consider Network structures where manufacturing and remanufacturing are both conducted in common plants as well as structures that pool all remanufacturing activities in a separate plant. The underlying decision problems are formulated as two-stage stochastic programs with recourse. Based on numerical studies with normally distributed demands and returns, we show that particularly Network size, investment costs of (re-)manufacturing capacity, and market structure have a strong impact on the choice of a Network Configuration. Concerning the general role of manufacturing Configuration in a system with product recovery, our results indicate that the investigated structures can lead to very different expected profits. We also examine the sensitivity of Network performance to changes in return volumes, return variability and correlation between return and demand. Based on these results, we find that integrated plants are more beneficial in the common market setting. This relative advantage tends to diminish when demand is segmented, thus investing in more specialized, dedicated resources should be considered.
