【摘 要】
：
结构化标记转换系统是经典标记转换系统的一种扩充,在处理转换系统之间的模拟关系时考虑了标记本身的结构。结构化标记转换系统间的部分互模拟与共变-逆变模拟之间存在诸多相
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目（60973045）
论文部分内容阅读
结构化标记转换系统是经典标记转换系统的一种扩充,在处理转换系统之间的模拟关系时考虑了标记本身的结构。结构化标记转换系统间的部分互模拟与共变-逆变模拟之间存在诸多相似之处,为了更深入地研究两者的关系,引入Institution框架。基于该框架,讨论了部分互模拟关系与共变-逆变模拟关系之间的关系,并证明前者到后者存在Institution态射,结果表明,在结构化标记转换系统中,相比部分互模拟关系,共变-逆变模拟关系具有更强的表达能力。
其他文献
日前，国家网信办发出通知，要求全国互联网直播服务企业自7月15日起，向属地互联网信息办公室进行登记备案工作，以进一步治理网络直播乱象，加强对网络直播平台的规范管理，加大对违法
【摘 要】听力教学是高中英语课程教学的重要组成部分，只有对学生进行有效的英语听力教学，提升学生的英语听力水平，才能真正的改进高中英语课程的教学质量，提升学生的英语学科知识储备和英语素养。 【关键词】高中英语 课程教学 听力教学 中图分类号：G4 文献标识码：A DOI：10.3969/j.issn.1672-0407.2016.11.027 听力教学作为高中英语教学中的重要环节
1病例资料 患儿男，6岁，于2003年12月11日收入我院儿科，门诊以“支气管肺炎”收入院。入院后查体：T：39℃、发育正常、营养中等、精神状态尚可、呼吸平稳、双肺可闻及中小水泡音、心
平民主义与中国改革孙立平一．什么是平民主义？在政治学中，平民主义或称民粹主义是一个极为含混不清的概念。根据《布莱克维尔政治学百科全书》对这个概念的含义所作的阐释，Ｐｏｐｕｌｉｓｍ可以有
2005年8月25日是张启先院士诞辰80周年.经过两年多的筹备工作,在全国机构学和机器人学领域专家们的热烈响应下,北京航空航天大学机器人研究所与<机械工程学报>编辑部联合主办
为了探讨热带MJO对四川地区夏季降水的影响，利用NCEP／NCAR再分析资料、澳大利亚气象局监测的实时MJO指数及中国756个国家气象站逐日降水资料，分析2000—2010年夏季MJO（Madden．Juli
好孩子是怎么培养出来的呢!好孩子是在成绩被肯定与正视失败的批评中成长起来的。没有批评与没有惩罚的教育是不完善的教育。
财务管理是工程项目管理的关键环节,是工程项目管理水平的重要体现。工程财务管理主要目的在于规范工程建设的资金运动。目前随着经济的快速发展,工程财务管理中逐渐凸显出一
针对802.11e MAC协议不能良好地处理不同类型业务的节点间的公平性问题,提出一种基于优先级动态调整的802.11e MAC协议（P-MAC）.该协议网络中接入业务根据优先级设置权重系数,通
对婴幼儿的高压氧治疗护理主要是做好人舱前的卫生宣教及解释、治疗过程中的注意事项、出现了不适时的应对措施及治疗后的观察和舱内的消毒保洁预防交叉感染。现将护理体会报