位置：成果数据库 > 期刊 > 期刊详情页
并发计算的元模型Ⅲ.互模拟格
  • ISSN号：1006-2467
  • 期刊名称：《上海交通大学学报》
  • 时间：0
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：上海交通大学计算机科学与工程系,上海200030
  • 相关基金：国家自然科学基金!(69873032);国家863高科技!(863-306-ZT06-02-2)资助项目
作者： 傅育熙
关键词： 并发计算理论, 进程代数, 互模拟格, 元模型
中文摘要：

在有关ｃｈｉ演算的基础上，用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系，即Ｌ－互模拟等价关系，证明了只有４个不同的Ｌ－互模拟等价，在包含关系下，它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。

同期刊论文项目
　乙烯三聚制1-己烯新型催化体系及成套工艺技术
期刊论文 14
并发计算模型Ｘ－演算的理论研究
期刊论文 2
同项目期刊论文
并发计算的元模型Ⅱ.对称通信
分布式服务拒绝攻击的原理及防范措施
并发计算的元模型Ⅱ.对称通信
Q-学习算法在CGF系统中的应用
Internet环境下分布式网络个人助理系统设计与实现
C^3I系统仿真方法及应用研究
一种新的RAID结构快速扩展方法
N—gram语言模型的数据平滑技术
分布式事务处理技术及其模型
OpenGL在空心曲轴设计系统中的应用
数字化装备作战仿真系统的研究
基于软构件的应用服务器框架及其组件管理器的研究
语句级汉字输入系统中语义规则研究
统计语言模型中词的自动聚类技术研究
期刊信息
  • 《上海交通大学学报》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:上海交通大学
  • 主编：郑杭
  • 地址：上海市华山路1954号15F
  • 邮编：200030
  • 邮箱：shjt@chinajournal.net.cn
  • 电话：021-62933373 62932534
  • 国际标准刊号：ISSN：1006-2467
  • 国内统一刊号：ISSN：31-1466/U
  • 邮发代号:4-256
  • 获奖情况:
  • 1996年全国优秀科技期刊奖,1992年、1996年、1999年国家教育部系统优秀科技期刊奖,2002年“百种重点期刊奖”,2003年百种中国杰出学术期刊,2004年教育部全国高校优秀科技期刊一等奖,2004年“百种重点期刊奖”
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:30903