绿色评价模型的互模拟等价及逻辑保持-计算机学报.PDFVIP

第卷第期 计 算 机 学 报 ３６ ５ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．５ 年月 ２０１３５ Ｍａ２０１３ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 绿色评价模型的互模拟等价及逻辑保持 ），），） ），） ），） １２３ ２３ ２３ 钮俊 曾国荪 王伟 　 　 　　 ） １（宁波大学信息科学与工程学院浙江宁波 ） ３１５０１０ 　 　 ） ２（同济大学计算机科学及技术系上海 ） ２０１８０４ 　 　 ） ３（同济大学嵌入式系统与服务计算教育部重点实验室上海 ） ２０１８０４ 　 　 摘要绿色计算中，复杂系统的绿色评价是一个重要的研究课题，其核心任务是判断运行时时间、空间资源消耗 　　 ， ， 、 、 ， 是否满足环境约束或限定设计时采用模型检测技术自动完备高效地进行绿色评价是一种新颖且有效的解 ． 决方案，但可能出现的状态爆炸问题将影响评价成败或效率引入随机决策过程作为绿色评价模型；用时态逻辑刻 ． 、 ； 画包含行为正确性及时间空间资源约束的绿色评价指标定义不确定语义理解下评价模型状态的互模拟等价规 则，给出互模拟商的构造方法以及商模型调度，并比较等价语义下的行为机理；运用结构化归纳法证明互模拟等价 保持评价结论分析表明互模拟等价可用作状态约简手段为基于模型的绿色评价提供理论支撑和技术手段 ． ， ， ． 关键词 ； ； ； ； ； 绿色评价模型检测随机过程评价指标互模拟绿色计算 　 中图法分类号 号 ／ ＴＰ３０１ 犇犗犐 １０．３７２４ＳＰ．Ｊ．１０１６．２０１３．００９６７ 　　　 　 犅犻狊犻犿狌犾犪狋犻狅狀犈狌犻狏犪犾犲狀犮犲犪狀犱犔狅犻犮犪犾犘狉犲狊犲狉狏犪狋犻狅狀犳狅狉犌狉犲犲狀犈狏犪犾狌犪狋犻狅狀犕狅犱犲犾 狇 犵