摘要：保障全局时序的时序约束分解模型(TCD)可以将时序服务组合分解成约束分解与局部优选两个相对独立的过程,但该模型可能丢失可行组合方案,在用户约束强度较强时可能导致无解.该文提出了一种约束强度感知的时序约束分解模型(CIA-TCD),通过在现有的TCD模型中引入松弛因子,使得用户约束强度较弱时,能保证全局约束,而约束强度较强时,也能够保留一定量的组合方案,从而提高找到可行方案的概率.分析表明,当约束强度较强时,CIA-TCD模型较TCD模型找到可行组合方案的概率明显更大.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社