随机进程代数

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信链的随机进程代数模型
《计算机应用研究》2010年第12期4650-4653,共4页刘昌平 范明钰 王光卫 
国家"863"计划资助项目(2009AA01Z403;2009AA01Z435)
计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进...
关键词：可信链 可信计算 随机进程代数 软件行为 形式化方法 
基于过程模型随机仿真的TDD模块选取建模方法研究被引量：1
《计算机应用研究》2010年第8期2948-2952,2958,共6页苏峰 翟健 杨秋松 
国家自然科学基金资助项目(90718042;60903051);国家"863"计划资助项目(2007AA010303);国家"973"重点基础研究发展计划基金资助项目(2007CB310802);中国科学院知识创新工程领域前沿资助项目(ISCAS09-DR09)
为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算...
关键词：软件过程 随机进程代数 测试驱动开发 仿真 决策支持 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部