论文部分内容阅读
绿色计算中，复杂系统的绿色评价是一个重要的研究课题，其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定．设计时，采用模型检测技术，自动、完备、高效地进行绿色评价，是一种新颖且有效的解决方案，但可能出现的状态爆炸问题将影响评价成败或效率．引入随机决策过程作为绿色评价模型；用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标；定义不确定语义理解下评价模型状态的互模拟等价规则，给出互模拟商的构造方法以及商模型调度，并比较等价语义下的行为机理；运用结构化归纳法证明互模拟等价保持评价结论．分析