随机进程代数

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于过程模型随机仿真的TDD模块选取建模方法研究被引量：1
《计算机应用研究》2010年第8期2948-2952,2958,共6页苏峰 翟健 杨秋松 
国家自然科学基金资助项目(90718042;60903051);国家"863"计划资助项目(2007AA010303);国家"973"重点基础研究发展计划基金资助项目(2007CB310802);中国科学院知识创新工程领域前沿资助项目(ISCAS09-DR09)
为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算...
关键词：软件过程 随机进程代数 测试驱动开发 仿真 决策支持 
性能评价形式化方法的现状和发展被引量：17
《电子学报》2002年第12A期1917-1922,共6页林闯 李雅娟 王忠民 
国家重点基础研究发展规划(973计划)项目(No.G1999032707);国家自然科学基金(No.90104002;60173012);国家高技术研究发展计划(863计划)课题(No.2001AA112080;No.2001NA411040);清华大学信息学院985基础创新研究基金
性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进...
关键词：形式化方法 排队论 随机PETRI网 随机进程代数 计算机网络 PE 性能评价 现状 
随机进程代数与随机Petri网被引量：26
《软件学报》2002年第2期203-213,共11页林闯 魏丫丫 
国家自然科学基金资助项目(69873012);国家重点基础研究发展规划973资助项目(G1999032707)~~
针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研...
关键词：随机进程代谢 随机PETRI网 等价 数学模型 计算机网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部