首页> 中文期刊> 《软件学报》 >嵌套谓词等式系与弱互模拟

嵌套谓词等式系与弱互模拟

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

带赋值符号迁移图是一般传值进程的语义模型,其强互模拟等价可以归结为谓词等式系的最大解.该文将这一结果推广到弱互模拟等价,为此,引入嵌套谓词等式系的概念,并提出算法,将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌套谓词等式系的最大解.

著录项

来源
《软件学报》 |1999年第11期|1121-1126|共6页
作者
林惠民;
展开▼
作者单位

中国科学院软件研究所计算机科学开放研究实验室;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
传值进程; 互模拟; 谓词等式系;

相似文献

中文文献
外文文献
专利

1. 传值系统的互模拟与谓词等式系 [J] . 林惠民 . 计算机学报 . 1998,第002期
2. 时间π演算及其弱时间互模拟分析 [J] . 许可 ,刘连臣 ,吴澄 . 计算机集成制造系统 . 2006,第004期
3. 现代汉语中的弱断言谓词“我想” [J] . 郭昭军 . 语言研究 . 2004,第2期
4. 关于弱受控不等式和矩阵范数不等式的研究 [J] . 宫琴 ,任芳国 . 咸阳师范学院学报 . 2015,第006期
5. 基于互模拟和有界互模拟的模态逻辑模型之间的关系 [J] . 姚从军 ,李健 . 毕节学院学报 . 2013,第004期
6. 基于嵌套型弱分类器的Adaboost人脸检测方法 [C] . 罗闵 ,段晓辉 ,宋征 . 第五届全国信息获取与处理学术会议 . 2007
7. 汉语嵌套问句及其嵌套谓词 [A] . 谢媚 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号