互模拟等价

作品数：11被引量：14H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：邓辉张双双赵锡英吴尽昭刘美玲更多>>
相关机构：吉林大学广西民族大学上海交通大学北京交通大学更多>>
相关期刊：《控制理论与应用》《软件学报》《兰州理工大学学报》《北京交通大学学报》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
绿色评价模型的互模拟等价及逻辑保持被引量：4
《计算机学报》2013年第5期967-976,共10页钮俊 曾国荪 王伟 
国家"八六三"高技术研究发展计划项目基金(2007AA01Z425;2009AA012201);国家"九七三"重点基础研究发展规划项目基金(2007CB316502);国家自然科学基金(90718015;61103068;61174158);NSFC-微软亚洲研究院联合项目(60970155);教育部博士点基金(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06);浙江省自然科学基金项目(LY12F020031);宁波市自然科学基金(2012A610062)资助~~
绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸...
关键词：绿色评价 模型检测 随机过程 评价指标 互模拟 绿色计算 
π-网的强互模拟等价被引量：3
《计算机学报》2005年第1期1-8,共8页曹木亮 吴智铭 
国家自然科学基金 (60 0 740 11;70 0 710 17)资助 .
该文建立了π 网的强互模拟等价关系 ,对π 网的结构作了进一步的研究 .π 网是一类新型的基于π 演算语义的模块化高级Petri网 ,是对两类并发模型Petri网和π 演算的有效结合 ,它的并发语义既是“真正并发”的又是“交互”的 .π ...
关键词：π-网 Π-演算 标号操作规则 强互模拟等价 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部