论文标题
调度工作集优化问题：一种基于模型的诊断方法
The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach
论文作者
论文摘要
公司的一个普遍问题是，产品订单的量有时可能超过生产能力。我们正式介绍了两个新的问题，该问题处理了一个问题，该问题要丢弃或推迟以实现某些（及时性）目标，并尝试通过基于模型的诊断来接触它们。在彻底的分析中，我们确定了引入的诊断问题问题的许多相似之处，但也揭示了关键的特质和概述处理或利用它们的方法。最后，从众所周知的调度基准套件中对工业规模问题实例进行概念验证评估表明，基于开箱即用的模型诊断工具可以很好地攻击这两个正式问题之一。
A common issue for companies is that the volume of product orders may at times exceed the production capacity. We formally introduce two novel problems dealing with the question which orders to discard or postpone in order to meet certain (timeliness) goals, and try to approach them by means of model-based diagnosis. In thorough analyses, we identify many similarities of the introduced problems to diagnosis problems, but also reveal crucial idiosyncracies and outline ways to handle or leverage them. Finally, a proof-of-concept evaluation on industrial-scale problem instances from a well-known scheduling benchmark suite demonstrates that one of the two formalized problems can be well attacked by out-of-the-box model-based diagnosis tools.
