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

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:Gempin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
结构化标记共变-逆变模拟是共变-逆变模拟的一种扩充,在处理转换系统的模拟关系时考虑了标记本身的结构。结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间存在诸多相似之处,为了在更抽象层次上研究两者的关系,引入Institution框架。基于该框架,讨论结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间的关系,并证明前者到后者存在Institution态射。结果表明,相比结构化标记模态转换系统中模态精化关系,结构化标记共变-逆变模拟具有更强的表达能力。
其他文献
刘邦以一种典型的游侠方式建立了汉帝国。这种建国方式,直接决定了汉帝国不得不在权力分配上实行“三权分立”,以皇帝为代表的汉朝宫廷,以刘氏诸侯王为代表的地方势力,以及由军功
杨朱,即杨子,战国时期魏国(今河南开封市)人。生卒年代不详,大约生活在墨子(公元前约479~前约381年)与孟子(公元前约371~前约289年)之间。为了写这篇文章,我翻遍史籍,寻找着杨朱,他可是在百
蛾类昆虫多为农业害虫,自动识别蛾类昆虫种类对虫害预测预报意义重大。针对现有昆虫自动识别方法集中在目以上层次昆虫识别难以实现目内昆虫识别,提出一种基于纹理特征的蛾类
郭沫若(1892——1978)的一生多彩多姿。邓小平在1978年6月18日为他致的悼词中这样评价:“郭沫若同志不仅是革命的科学家和文学家.而且是革命的思想家、政治家和著名社会活动家。
斯大林生前十分健康  许多人认为,斯大林生前健康状况极其糟糕,尤其是在他生命的最后几年,这才诱使脑溢血突发,造成意外猝死.但现在找到的材料证实,这种说法根本不值一驳,
期刊
针对Web服务组合中权重固定、选择不灵活、性能不佳等问题,通过改进遗传算法提出一种基于服务质量的变权动态Web服务组合方法(VW-DWSC-Qo S)。VW-DWSC-Qo S组合方法使用变权Qo
公民教育是个一直在谈的话题,许多中国学者都意识到,建立公民社会,要从公民教育做起,要写出高质量的《公民读本》来。美国很多学校有公民教育课程,《公民读本》的教材很多,一般是学
1949年,蒋介石逃到台湾后,稍稍喘了口气.当时宋美龄正在美国寻求援助,她感到,美国不再支持蒋介石,国民党无论如何也守不住台湾.美国政界大多数人也认为,要不了多久,台湾就会
期刊
研究房地产市场的经营发展趋势,把握市场的机遇与风险,直接关系到房地产业与住房金融的稳健运行,也是关系到国家通过拉动内需实现国民经济良性循环的重要课题。通过对朔州市