云資源調(diào)度的回答集程序描述性求解

摘要： 針對求解難度為NP完全的基礎(chǔ)設(shè)施即服務(wù)(IaaS)模式云資源調(diào)度問題，本文提出一種基于回答集程序(ASP)的描述性優(yōu)化求解方法，并對其正確性進行分析。首先，把滿足虛擬機CPU使用的情況下關(guān)閉盡可能多的主機做為減少云平臺能耗的方法，將云資源調(diào)度問題形式化表述；其次，結(jié)合形式化描述以及減少云平臺能耗的策略，將云資源調(diào)度問題用ASP編碼為描述性(優(yōu)化)問題，并分析其正確性；最后，在公...