نتایج جستجو برای: fail able against probabilistic disruptions

تعداد نتایج: 964647  

This paper proposes a bi-objective reliable supply chain network design that immunizes the network against different sources of uncertainties. In this regard, scenario based stochastic programming method is applied to model different disruption scenarios affecting accurate performance of network stages. Also, reliable and unreliable facilities are suggested for lessening vulnerability of networ...

Journal: :IEEE Transactions on Software Engineering 2022

Automatic program repair (APR) aims to reduce the cost of manually fixing software defects. However, APR suffers from generating a multitude overfitting patches, those patches that fail correctly defect beyond making tests pass. This paper presents novel patch detection system called ODS assess correctness patches. first statically compares patched and buggy in order extract code features at ab...

2016
Timon Gehr Sasa Misailovic Martin T. Vechev

Probabilistic inference is a key mechanism for reasoning about probabilistic programs. Since exact inference is theoretically expensive, most probabilistic inference systems today have adopted approximate inference techniques, which trade precision for better performance (but often without guarantees). As a result, while desirable for its ultimate precision, the practical effectiveness of exact...

Journal: :مهندسی صنایع 0
یاسمن معبودیان مهندسی صنایع- پردیس دانشکده های فنی- دانشگاه تهران کامران رضایی دانشکده مهندسی صنایع- پردیس دانشکده های فنی- دانشگاه تهران

in today’s turbulent world, the continuity of criticalactivities in the event of disruptions, and also fast recovery and return tobusiness as usual, are vital for sustainable success of companies. maintainingcontinuous delivery of critical business processes in the event of disruptions isa matter of business continuity. business continuity management system (bcms)is concerned with the developme...

2007
Axel W. Krings

A link scheduling model is presented that utilizes primary-backup scheduling for packet scheduling. The advantage of this scheduling paradigm is that overhead can be suppressed in the fault-free case and overhead only needs to be endured in case of actual faults. The scheduling paradigm significantly increases survivability and can be used to reduce overhead of redundancybased approaches. The f...

2008
Carlos F. Daganzo

Bus schedules cannot be easily maintained on busy lines with short headways: Experience shows that buses offering this type of service usually arrive irregularly at their stops, often in bunches. Although transit agencies build slack into their schedules to alleviate this problem, their attempts often fail because practical amounts of slack cannot prevent large localized disruptions from spread...

2013
Soumia Ichoua

In this paper, we investigate the strategic stochastic air traffic flow management problem which seeks to balance airspace capacity and demand under weather disruptions. The goal is to reduce the need for myopic tactical decisions that do not account for probabilistic knowledge about the NAS near-future states. We present and discuss a scenario-based modeling approach based on a time-space stoc...

In this paper, the issue of integrated supplier selection and inventory policy for a drug distribution company with multiple warehouses is examined. In this research, warehouses are faced with stochastic demand and inventory of their medicines is provided by one or more suppliers that are located in a given set of candidates with price, quality and characteristics of the disruption. In addition...

Journal: :Sustainability 2022

The purpose of this article was to investigate the influence uncertain soil parameters on slope stability problems using probability method. most important instability is probably inherent spatial variability properties and its safety factors. method recognized for validity both in practice academic research. This geotechnical risk management involves parameters. In study, randomly selected wer...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید