| 移动智能体的形式化研究 |
| |
| 引用本文： | 吴泉源,吴刚,王怀民.移动智能体的形式化研究[J].国防科技大学学报,2000,22(6):47-51. |
| |
| 作者姓名： | 吴泉源 吴刚 王怀民 |
| |
| 作者单位： | 国防科技大学计算机学院,湖南,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金! (6 98330 30 )，国家 86 3计划项目!(86 3 30 6 ZD0 2 0 1 2 ) |
| |
| 摘 要： | 移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 ,并进一步给出了对后续工作的展望
|
| 关 键 词： | 移动智能体 并发模型 进程代数 π演算 |
| 收稿时间： | 2000/6/20 0:00:00 |
| 修稿时间： | 2000-06-20 |
Research on Formal Model of Mobile Agent |
| |
| WU QuanYuan,WU Gang and WANG HuaiMin.Research on Formal Model of Mobile Agent[J].Journal of National University of Defense Technology,2000,22(6):47-51. |
| |
| Authors: | WU QuanYuan WU Gang and WANG HuaiMin |
| |
| Institution: | College of Computer, National Univ. of Defence Technology, Changsha 410073;College of Computer, National Univ. of Defence Technology, Changsha 410073;College of Computer, National Univ. of Defence Technology, Changsha 410073 |
| |
| Abstract: | Mobile agent receives much attention recently in the distributed computing field But the research on its formal model is immature The necessity of the formal research of mobile agent is analyzed firstly Then we introduce several representative formal models, analyze their drawbacks, and present the prospects for the future work |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|
