866 resultados para Invariant chain


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The aim of this thesis is to analyze how increasing the level of unitizing affects to the costs in the transport system of a Finnish paper and board company. The parts of the supply chain where costs are analyzed are limited to domestic inland transport and port operations. Supply Chain management is important aspect of modern day companies’ strategies. Intermodal transport and different transport systems are the key items which are studied in the theory part of this thesis. In the case study the payload simulations for SECU container (Stora Enso Cargo Unit) stuffed in mills sites are base of the cost analyze of this thesis. Thesis also makes a glance for the restrictions and development trends in Finnish railroads. In analyze SECU containers are moved up to the mill site for stuffing. This increases the level of unitizing in supply chain. Analyze is made for three variation of current traffic lines. Analyze shows that when idea of intermodalism is well used there is considerable cost savings to gather in pre-transportation and port operations. But also effects to mill sites and destination ports needs to be take under considering. In analyze the effects of increased axle weight for SECU container transportation in Finnish railroads is studied. When transport unit is stuffed in earliest possible point supply chain and unloaded the last possible point the savings made in chain can be considerable. In case study of this thesis almost 40% savings in total costs could be reached in pre transportation and port operations when unitizing level is increased in supply chain.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Leaf scald of barley caused by Rhynchosporium secalis is an important disease in Argentina. The fungus is a necrotrophic pathogen which survives in stubble, seeds and weeds. Isolation of R. secalis from seeds on artificial media usually has not been successful due to the slow growth rate of the pathogen and strong inhibition by contaminants. The objective in this work was to detect R. secalis in different genotypes of barley seeds in Argentina using the polymerase chain reaction (PCR)-based diagnostic assay. Four barley genotypes were tested in 2004: Quilmes Ayelén, Quilmes Alfa, Barke and Maltería Pampa 1004. The previously described RS8 and RS9 primers were used for the detection of R. secalis in barley seeds. A 264-bp single band was obtained for each cultivar showing the presence of R. secalis. The use of specific primers was efficient in the detection of R. secalis in barley seeds in Argentina and could be used for routine diagnosis, epidemiology and seed transmission studies. This is the first report on the detection of R. secalis in barley seeds in Argentina.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Target of this study was to examine the current supply chain with focus on external part and identify the cost potential areas which lie there. The goal was to evaluate the cost save potential and give estimate what would be required in order to realise it. Base data related to study was searched and examined with using company’s enterprise resource planning system. In case feasible two types of scenarios were built in order to describe the scale of save potential. First scenario was theoretical and achieving it would require further investments and second scenario was realistic approach where more limitations were taken into account. The results clearly show that there is high save potential in supply chain costs linked to balance between internal and external operations. Realising of it would require at least minor investments as current internal capacity is not on a level to fully absorb the additional volumes which are needed in order to realise the potential. This study can be used as a basis when starting new projects related to investment needs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In search for competitive advantage, designing and managing supply chain networks have become a necessary competence for organizations. The target of this thesis is to answer a question, how to design a multiple supply chain network. The purpose is to study, what kind of different supply chain designs exist and, how to choose appropriate supply chain designs for a company. In the thesis, the focus is on the supply chain alignment to customers, more specifically to customer buying behavior. The research method was a case study. A framework for measuring customer buying behavior was developed based on the literature and it was used in the study of customer buying behavior in the case environment. In the case company structured interviews and data records were used as sources of evidence. Persons working in the customer-interface were interviewed face-to-face and through an e-mail questionnaire. When analyzing the data, a Quality function deployment matrix was used as one analysis method. As a result of the thesis, supply chain network of the case company is proposed to be divided into three separate supply chains, which focus on different areas and they could be called lean, agile and continuous replenishment supply chains. In conclusion, in the supply chain alignment to customer buying behavior several aspects have to be studied from different perspectives. According to the results, a multiple supply chain strategy is recommended to be implemented in the case company, since the diversity of the customer needs cannot be managed efficiently through a single supply chain.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objective of this Master’s thesis is to examine working capital management in the automotive industry in years 2006-2008. The study is conducted by the analysis of financial statements. The sample consists of 65 companies that represent different stages in the value chain of automotive industry beginning from raw material suppliers and ending to car dealers. Working capital management is studied by the cash conversion cycle (CCC). The results show that the average CCC of the value chain is 67 days. Car manufacturers had the longest CCC, 106 days, whereas the CCC of oil companies was the shortest, 22 days. The findings suggest that the cycle time of working capital usually follows the cycle time of inventories, since the changes in cycle times of accounts receivable and payable compensate each other. Improvements in working capital management could be achieved by sharing more accurate information in the chain for example about inventory levels and order points of customer. It could also be discussed within the automotive industry, if the long credit periods, which tie up working capital, are really needed. New technologies enable faster payments, which would reduce the cash conversion cycles, improve the profitability of companies, and increase the competitiveness of the value chain. Working capital should not be reduced at the expense of value chain partners, because nowadays the competition is rather between the value chains than between the companies. Similar research design is applied earlier to study working capital management in the value chain of pulp and paper industry. Even if the industries and the structures of the chains differ from each other, results were surprisingly similar. In future research, working capital management in other industries’ value chains could still be studied and compared to previous studies. ICT industry, for example, could be an interesting object.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work investigates the Bullwhip Effect, which is one of the most important phenomena in contemporary supply chain management. The author uses most recent theoretical apparatus to analyze operational activities of a leading FMCG company British American Tobacco Eastern Europe. This paper investigates and describes the process in BAT supply chain management and considers the impact of the Bullwhip Effect together with the potential risks threatening company's operations. Emergence of the Bullwhip Effect leads to supply chain inefficiency. This paper contains methodological supply chain risk mitigation recommendations, description of a real case study and an analytical study of internal and external supply chain processes

Relevância:

20.00% 20.00%

Publicador:

Resumo:

ABSTRACT The possibility to vary the energy matrix, thus reducing the dependency on fossil fuels, has amplified the acceptance of biomass as an alternative fuel. Despite being a cheap and renewable option and the fact that Brazil is a major producer of waste from agriculture and forestry activities, the use of these materials has barriers due to its low density and low energetic efficiency, which can raise the costs of its utilization. Biomass densification has drawn attention due to its advantage in comparison to in natura biomass due to its better physical and combustion characteristics. The objective of this paper is to evaluate the impact of biomass densification in distribution and transport costs. To reach this objective, a mathematical model was used to represent decisions at a supply chain that coordinates the purchase and sale of forestry and wood waste. The model can evaluate the options to deliver biomass through the supply chain combining demand meeting and low cost. Results point to the possibility of an economy of 60% in transport cost and a reduction of 63% in the required quantity of trucks when densified waste is used. However, costs related to the densifying process lead to an increase of total supply costs of at least 37,8% in comparison to in natura waste. Summing up, the viability of biomass briquettes industry requires a cheaper densification process.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Supply chain risk management has emerged as an increasingly important issue in logistics as disruptions in the supply chain have become critical issues for many companies. The scientific literature on the subject is developing and in many respects the understanding of it is still in its infancy. Thus, there is a need for more information in order for scholars and practitioners to understand the causalities and interrelations that characterise the phenomenon. The aim of this dissertation is to narrow this gap by exploring key aspects of supply chain risk management through two maritime supply chains in the immediate region of the Gulf of Finland. The study contributes to the field in three different ways. Firstly, it facilitates the identification of risks on different levels of the supply chain through a systematic analysis of the processes and actors, and of the cognitive barriers that limit the actors’ visibility and their understanding of the operations and the risks involved. There is a clear need to increase collaboration and information exchange in order to improve visibility in the chain. Risk management should be a collaborative effort among the individual actors, aimed at obtaining a holistic picture. Secondly, the study contributes to the literature on risk analysis through the use of systemic frameworks that illustrate the causalities and linkages in the system, thereby making it easier to perceive the vulnerabilities. Thirdly, the study enhances current knowledge of risk control in identifying actor roles, risk visibility and risk controllability as being among the key factors determining risk-management effectiveness against supply-chain vulnerability. This dissertation is divided into two parts. The first part gives a general overview of the relevant literature, the research design and the conclusions of the study, and the second part comprises six research publications. Case-study methodology with systematic combining approach is used, where in-depth interviews, questionnaires and expert panel sessions are the main data collection methods. The study illustrates the current state of risk management in multimodal maritime supply chains, and develops frameworks for further analysis. The results imply that there are major differences between organizations in their ability to execute supply chain risk management. Further collaboration should be considered in order to facilitate the development of systematic and effective management processes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Brazil is amongst the world’s largest swine producers. However, its competitiveness has been vulnerable due to a lack of cooperation between the supply chain players. This condition makes the financial losses to be evaluated taking into account only an individual node, and most of the time, these damages are imputed by swine breeders. Living weight losses occur between the farm to slaughterhouses, and the main cause of these losses is the pre-slaughter handling, especially during animal transportation. In this research, we analyzed the pre-slaughter handling in a swine farm in Brasilândia, MS, Brazil. Analyzed data were provided by five slaughterhouses (farm clients) from the studied region, in which it was considered living weight losses, carcass bruising, animal injury, and death rate. The results indicated that total financial losses represent 160 thousand dollars per year, when taking into account the supply chain management.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A fuzzy ruled-based system was developed in this study and resulted in an index indicating the level of uncertainty related to commercial transactions between cassava growers and their dealers. The fuzzy system was developed based on Transaction Cost Economics approach. The fuzzy system was developed from input variables regarding information sharing between grower and dealer on “Demand/purchase Forecasting”, “Production Forecasting” and “Production Innovation”. The output variable is the level of uncertainty regarding the transaction between seller and buyer agent, which may serve as a system for detecting inefficiencies. Evidences from 27 cassava growers registered in the Regional Development Offices of Tupa and Assis, São Paulo, Brazil, and 48 of their dealers supported the development of the system. The mathematical model indicated that 55% of the growers present a Very High level of uncertainty, 33% present Medium or High. The others present Low or Very Low level of uncertainty. From the model, simulations of external interferences can be implemented in order to improve the degree of uncertainty and, thus, lower transaction costs.