Institution 框架下的结构化标记共变逆变模拟

• 作者: 黄振华
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Institution 结构化标记 模态转换系统 共变 逆变模拟
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 算 法
• 页码范围: 197-202
• 页数: 6页
• 分类号: TP301.2
• 字数: 7933字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2016.02.047

摘要

结构化标记共变逆变模拟是共变逆变模拟的一种扩充，在处理转换系统的模拟关系时考虑了标记本身的结构。结构化标记模态转换系统间的模态精化与结构化标记共变逆变模拟之间存在诸多相似之处，为了在更抽象层次上研究两者的关系，引入 Institution 框架。基于该框架，讨论结构化标记模态转换系统间的模态精化与结构化标记共变逆变模拟之间的关系，并证明前者到后者存在 Institution 态射。结果表明，相比结构化标记模态转换系统中模态精化关系，结构化标记共变逆变模拟具有更强的表达能力。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄振华	南京航空航天大学计算机科学与技术学院	2	1	1.0	1.0