论文部分内容阅读
应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型，采用进程代数方法π演算对该模型中A—gent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述，从理论上验证了在大型网络中使用嵌套式移动A-gent进行分布式管理的可能性．
嵌套式移动Agent的形式化研究
【摘 要】
：
应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型，采用进程代数方法π演算对该模型中A—gent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述，从理
【机 构】
：
云南民族大学物理与电子电气信息工程学院,云南华能澜沧江水电有限公司基本建设部
【出 处】
：
云南民族大学学报(自然科学版)
【发表日期】
：
2007年3期
其他文献
门窗,自古八字开.这种传统模式代代相传,已是深驻于人们思维之中.而随着技术的发展和进步,这种观念正在逐渐被颠覆,功能各异的门窗五金配件使门窗的开闭达到了随心所欲的程度
党的十六大报告中开宗明义地提出了一个主题:高举邓小平理论伟大旗帜,全面贯彻"三个代表"重要思想,继往开来,与时俱进,全面建设小康社会,加快推进社会主义现代化,为开创中国
以INTERNET为代表的信息网络技术已渗透到政治、经济、文化等各个领域，网络经济时代已悄然来临，我国也已正式加入WTO组织，但是，作为传统农业大国，在国内工业化的道路还远未完成。
基于轻柔无弹织物静态造型由黎曼0曲率造型合成的观点,建立一种新的织物建模方法。0曲率造型由脊线带动脊线波曲面生成,建模的关键是确定脊线波曲面的截口方程并要求保长,从
Linux是一个单一内核操作系统，肌议栈的实现嵌在系统内核中，用户程序通过系统调用进入内核，通过多次函数调用，实现内核里的各层协议，主要分析了Linux2．4．X内核TCP／iP协议栈的实现特点