结构化标记转换系统的部分互模拟与共变-逆变模拟

黄振华

首页> 中文期刊>成都信息工程学院学报 >结构化标记转换系统的部分互模拟与共变-逆变模拟

结构化标记转换系统的部分互模拟与共变-逆变模拟

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《成都信息工程学院学报》|2014年第5期|471-478|共8页
作者
黄振华;
展开▼
作者单位

南京航空航天大学计算机科学与技术学院,江苏南京210016;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
计算机软件与理论; 进程代数; 标记转换系统; 结构化标记; 部分互模拟; 共变-逆变模拟; Institution;
入库时间 2023-07-25 19:48:15

相似文献

中文文献
外文文献
专利

1. Institution 框架下的结构化标记共变逆变模拟 [J] . 黄振华 . 计算机应用与软件 . 2016,第002期
2. 弱共变-逆变模拟的公理刻画 [J] . 张威 . 计算机科学 . 2014,第011期
3. 单逆变桥双频感应加热电源的数字化逆变控制 [J] . 吴健颖 ,周伟松 ,赵前哲 . 电力电子技术 . 2016,第003期
4. 逆变＋电阻混合型再生制动逆变装置在城市轨道交通中的应用 [J] . 马瑜冰 ,张泽萌 ,吴越 . 变频器世界 . 2014,第011期
5. 新能源技术中的SCR逆变和PWM逆变的分析和比较研究 [J] . 马荣 ,蓝彬恒 ,程蕊 . 电气开关 . 2013,第006期
6. Pi演算的一种变例及其开互模拟 [C] . 颜锋 ,陈韬略 ,韩婷婷 . 2005年全国理论计算机科学学术年会 . 2005
7. 可观测共变-逆变模拟及其公理系统的研究 [A] . 张威 . 2014

结构化标记转换系统的部分互模拟与共变-逆变模拟

摘要

著录项

相似文献

相关主题

期刊订阅