摘要：分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。（η,α）-互模拟是一种带折扣的近似互模拟概念,其定义蕴涵着一种折扣思想：在比较系统差异时,越晚出现的差异越不重要。为（η,α）-互模拟建立分层刻画,将清晰地揭示这种折扣思想。此外,由于（η,α）-互模拟一般不是等价关系,所以传统的互模拟判定算法中常用的最粗划分方法不适用于（η,α）-互模拟的判定,基于（η,α）-互模拟的分层刻画给出一种该互模拟的判定算法。还提供一个简单的例子用于说明（η,α）-互模拟及其判定算法在描述实现与规范之间关系时的应用。

关键词：分层 判定算法 折扣 

单位：南京审计学院工学院 江苏南京211815 南京航空航天大学计算机科学与技术学院 江苏南京210016