绿色评价模型的互模拟等价及逻辑保持

摘要：

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

关键词：绿色评价、模型检测、随机过程、评价指标、互模拟、绿色计算

所属期刊栏目：36

分类号：TP301(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目基金2007AA01Z425,2009AA012201;国家"九七三"重点基础研究发展规划项目基金2007CB316502;国家自然科学基金90718015,61103068,61174158;NSFC-微软亚洲研究院联合项目60970155;教育部博士点基金20090072110035;上海市优秀学科带头人计划项目10XD1404400;高效能服务器和存储技术国家重点实验室开放基金2009HSSA06;浙江省自然科学基金项目LY12F020031;宁波市自然科学基金2012A610062

在线出版日期：2013-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：967-976