随机进程代数

作品数：18被引量：66H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：余镇危潘耘严博王励成梁辉更多>>
相关机构：扬州大学清华大学哈尔滨工程大学中国矿业大学（北京）更多>>
相关期刊：《兰州理工大学学报》《东北大学学报（自然科学版）》《山东大学学报（理学版）》《电子学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=通信学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可生存性网络的形式化建模与分析方法被引量：3
《通信学报》2006年第z1期48-52,共5页赵国生 王慧强 李明军 
武备预研基金资助项目(51416060104CB0101);高校博士点科研基金资助项目(20050217007)
首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系...
关键词：形式化方法 随机进程代数 可生存性网络 性能分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部