基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法π演算对该模型中Agent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动Agent进行分布式管理的可能性.
推荐文章
移动Agent系统的Z语言形式化描述
形式化方法
移动代理
组件
软件工程
Z语言
基于Z形式化规范的多Agent协作模型研究
Z语言
形式化规范
多Agent系统
协作模型
带有情感算子的Agent形式化系统研究
Agent形式化系统
情感算子
BDI逻辑
VSK逻辑
Agent规划的形式化描述
Agent
多Agent系统
规划
形式化方法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 嵌套式移动Agent的形式化研究
来源期刊 云南民族大学学报(自然科学版) 学科 工学
关键词 网络管理 形式化 嵌套式 移动Agent π演算
年,卷(期) 2007,(3) 所属期刊栏目
研究方向 页码范围 252-254
页数 3页 分类号 TP393
字数 2714字 语种 中文
DOI 10.3969/j.issn.1672-8513.2007.03.019
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 范菁 云南民族大学物理与电子电气信息工程学院 39 132 6.0 9.0
2 谢建斌 云南华能澜沧江水电有限公司基本建设部 9 46 5.0 6.0
3 杨柽 云南民族大学物理与电子电气信息工程学院 5 7 2.0 2.0
4 赵艳芳 云南民族大学物理与电子电气信息工程学院 5 36 2.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (7)
共引文献  (15)
参考文献  (4)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
网络管理
形式化
嵌套式
移动Agent
π演算
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
云南民族大学学报(自然科学版)
双月刊
1672-8513
53-1192/N
大16开
中国昆明市一二·一大街134号
1992
chi
出版文献量(篇)
2286
总下载数(次)
5
总被引数(次)
8502
相关基金
云南省自然科学基金
英文译名:
官方网址:
项目类型:面上项目
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导