基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price process algebra,PPA).在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性.
推荐文章
一种基于概念的信息检索查询扩展
信息检索
查询扩展
概念
概念图
一种信息系统服务可扩展机制的研究
信息系统
可扩展
服务
软件构件
可信链的随机进程代数模型
可信链
可信计算
随机进程代数
软件行为
形式化方法
一种基于扩展互信息算法的特征选择方法
文本分类
特征选择
评价函数
互信息
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种扩展了价格信息的进程代数
来源期刊 南京航空航天大学学报 学科 工学
关键词 进程代数 组合 价格 成本
年,卷(期) 2009,(1) 所属期刊栏目
研究方向 页码范围 69-74
页数 6页 分类号 TP311
字数 6802字 语种 中文
DOI 10.3969/j.issn.1005-2615.2009.01.014
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 黄志球 南京航空航天大学信息科学与技术学院 183 1755 20.0 33.0
2 张君华 南京航空航天大学信息科学与技术学院 7 74 3.0 7.0
3 肖芳雄 南京航空航天大学信息科学与技术学院 10 149 6.0 10.0
4 曹子宁 南京航空航天大学信息科学与技术学院 25 200 8.0 13.0
5 覃志东 东华大学计算机科学与技术学院 19 83 4.0 8.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (11)
共引文献  (29)
参考文献  (7)
节点文献
引证文献  (2)
同被引文献  (8)
二级引证文献  (2)
1976(1)
  • 参考文献(0)
  • 二级参考文献(1)
1978(1)
  • 参考文献(1)
  • 二级参考文献(0)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(3)
  • 参考文献(1)
  • 二级参考文献(2)
2005(5)
  • 参考文献(3)
  • 二级参考文献(2)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(2)
  • 引证文献(1)
  • 二级引证文献(1)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
进程代数
组合
价格
成本
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
南京航空航天大学学报
双月刊
1005-2615
32-1429/V
大16开
南京市御道街29号1016信箱
28-140
1956
chi
出版文献量(篇)
3509
总下载数(次)
9
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导