原文服务方: 微电子学与计算机       
摘要:
针对移动计算环境下的动态资源描述问题,提出了基于有色Petri网的动态资源模型--DRM-CPN模型.该模型首先按照一定的映射规则将物理网络映射到几何拓扑空间中,构造出空间结点图.随后,给图赋予一定的资源语义及语义约束.进而,在资源语义及语义约束的基础上构造出物理网络的形式化动态资源描述模型.最后,为了验证模型的有效性,采用CPN进行了仿真验证.实验表明,该模型合理、有效地描述了移动计算环境下的动态资源的变迁情形.
推荐文章
基于有色Petri网的经营过程建模
经营过程
经营过程重组
Petri网
有色Petri网
基于有色Petri网模型的安全协议检测方法
有色Petri网
CPN Tools
安全协议
Needham-Schroedor公钥协议
建模
改进型有色Petri网的安全协议分析
安全协议
有色Petri网
形式化分析
Helsinki协议
基于库所有色Petri网的故障诊断算法研究
故障诊断
有色Petri网
船舶电站
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于有色Petri网的动态资源模型
来源期刊 微电子学与计算机 学科
关键词 移动计算 动态资源 CPN Petri
年,卷(期) 2006,(5) 所属期刊栏目
研究方向 页码范围 63-65,68
页数 4页 分类号 TP393
字数 语种 中文
DOI 10.3969/j.issn.1000-7180.2006.05.019
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 覃征 西安交通大学电子与信息工程学院 158 2651 25.0 46.0
2 曹玉辉 西安交通大学电子与信息工程学院 11 45 4.0 6.0
6 王卫红 西安交通大学电子与信息工程学院 9 60 4.0 7.0
10 张森 西安交通大学电子与信息工程学院 9 20 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (4)
同被引文献  (0)
二级引证文献  (1)
2006(3)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(3)
  • 二级引证文献(0)
2006(3)
  • 引证文献(3)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
移动计算
动态资源
CPN Petri
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
微电子学与计算机
月刊
1000-7180
61-1123/TN
大16开
1972-01-01
chi
出版文献量(篇)
9826
总下载数(次)
0
总被引数(次)
59060
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导