(η,α)-互模拟的分层及判定算法

• 作者: 张严 张晋津 朱朝晖
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: (η,α)-互模拟 分层 判定算法 折扣
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 人工智能
• 页码范围: 547-552
• 页数: 6页
• 分类号: TP302
• 字数: 5493字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.03.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱朝晖	南京航空航天大学计算机科学与技术学院	11	19	3.0	4.0
2	张晋津	南京审计学院工学院	6	1	1.0	1.0
3	张严	南京航空航天大学计算机科学与技术学院	3	3	1.0	1.0