嵌套式移动Agent的形式化研究

来源 :云南民族大学学报(自然科学版) | 被引量 : 0次 | 上传用户:shijiancuowu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法π演算对该模型中A—gent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动A-gent进行分布式管理的可能性.
其他文献
门窗,自古八字开.这种传统模式代代相传,已是深驻于人们思维之中.而随着技术的发展和进步,这种观念正在逐渐被颠覆,功能各异的门窗五金配件使门窗的开闭达到了随心所欲的程度
党的十六大报告中开宗明义地提出了一个主题:高举邓小平理论伟大旗帜,全面贯彻"三个代表"重要思想,继往开来,与时俱进,全面建设小康社会,加快推进社会主义现代化,为开创中国
以INTERNET为代表的信息网络技术已渗透到政治、经济、文化等各个领域,网络经济时代已悄然来临,我国也已正式加入WTO组织,但是,作为传统农业大国,在国内工业化的道路还远未完成。
基于轻柔无弹织物静态造型由黎曼0曲率造型合成的观点,建立一种新的织物建模方法。0曲率造型由脊线带动脊线波曲面生成,建模的关键是确定脊线波曲面的截口方程并要求保长,从
Linux是一个单一内核操作系统,肌议栈的实现嵌在系统内核中,用户程序通过系统调用进入内核,通过多次函数调用,实现内核里的各层协议,主要分析了Linux2.4.X内核TCP/iP协议栈的实现特点
1893年,英国物理学家、化学家占姆士·杜瓦发明保温瓶,1913年世界第一个平板真空玻璃专利发表.20世纪80年代起,对真空玻璃的研发逐渐活跃,其中有2个团体值得一提.一个是