Kim,Pok-Son先生;曼弗雷德·施密特·沙乌 基于术语的项目计划方法。 (英语) Zbl 1010.90024号 Delugach,Harry S.(编辑)等人,《概念结构:拓宽基础》。2001年7月30日至8月3日在美国加利福尼亚州斯坦福举行的ICCS 2001第九届国际会议。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。2120, 304-318 (2001). 摘要:我们介绍了一种新的表示和求解一般类非强制性资源约束项目调度问题的方法。新方法是用一种名为\(mathcal{RSV}\)的语言将调度问题表示为描述(活动术语),该语言允许使用锁相环,序列、和异或。\(\mathcal{RSV}\)的活动术语类似于描述逻辑中的概念。语言(mathcal{RSV})在允许的范围内推广了以前使用变量进行调度的方法异或不仅是原子活动,而且是任意活动项。将一组活动计划分配给活动项的特定语义显示了类似于命题DNF计算的演算规范化活动项(mathcal{RSV})的正确性。本文在(mathcal{RSV})的基础上,利用扫描线原理,描述了求解(mathcal{RSV{)-问题的一种基于图的算法。扫描线原理用于确定和解决发生的资源冲突,并导致无冗余生成所有活动调度,从而计算最佳调度。关于整个系列,请参见[Zbl 0969.00087号]. MSC公司: 90B35型 运筹学中的确定性调度理论 90B50型 管理决策,包括多个目标 PDF格式BibTeX公司 XML格式引用 \textit{P.-S.Kim}和\textit{M.Schmidt-Schau},莱克特。注释计算。科学。2120、304--318(2001年;Zbl 1010.90024) 全文: 链接