论文部分内容阅读
本文以一种统一的方式描述了发生在分布式通信Agent的过程,给出了其关键概念的BDI逻辑模型.文章围绕Agent工作定义、言语行为理论、M试ti-Agent系统的BDI模型、言语行为理论的形式化等进行了论述.
基于分枝时间框架的通信系统的BDI模型
【摘 要】
：
本文以一种统一的方式描述了发生在分布式通信Agent的过程,给出了其关键概念的BDI逻辑模型.文章围绕Agent工作定义、言语行为理论、M试ti-Agent系统的BDI模型、言语行为理论的形式化等进行了论述.
【机 构】
：
武汉大学心理学系,武汉,430072
【出 处】
：
2005年全国理论计算机科学学术年会
【发表日期】
：
2005年7期
其他文献
本文采用有限元并以DSR、CVC4、CVC6以及UCMW机型为模拟计算对象,以辊缝凸度调节域、辊缝横向刚度、弯辊调控能力、板形调控功效以及边部减薄等五项指标作为评价轧机板形调控能力的指标,从理论上分析并评价宝钢现有的三套冷连轧机四种机型的板形调控能力.
物理链路容量及带宽需求的增长使带宽的准确测量将变得重要,同时也变得更为困难.但目前尚无任何RFC给出带宽测量方面的标准描述,甚至关于带宽的定义也存在争议.本文给出了带宽定义及其测量的主要方法与技术后.讨论了一些影响测量的相关因素,对与之相关的问题的更深入研究是带宽测量未来重要的发展方向.
本文对一种改进的H-K数字签名方案进行了研究.文章对H-K数字签名方案进行了介绍;阐述了改进的H-K签名方案;对其安全性和效率进行了分析.
数据集成中的核心技术就是查询重写,查询重写技术是数据库研究的一个基本问题,在查询优化、数据仓库、数据集成、语义缓存等问题有广泛的应用.本文重点研究了基于约束的查询重写问题.
本文对Agent技术在个性化方面的优点进行了阐述,说明了基于隐式反馈的个性化信息过滤过滤的可行性、优势及其涉及到的关键技术为实现个性化的信息过滤奠定了一定的基础.由于用户兴趣是多方面的、动态变化的,跟踪、学习和表达用户兴趣是一个最基本和难以解决的问题也是进一步研究的方向.
本文尝试用基于Elman网络的分类算法来实现对计算机病毒的检测,在此基础上,设计了一个恶意代码检测网络模型,它结合了特征码检测技术与人工神经网络技术,检测成功率较高.在我们的测试床中,将计划进行其它的基于机器学习算法的恶意代码检测实验,并对各种方法的性能与开销进行对比选择和优化以期用于实际的产品中.
本文对虚拟实验中虚拟植物的建模进行了研究.文章指出,利用虚拟技术通过计算机模拟植物的生长发育过程,生成的植物不仅可以反映植物的形态结构、具有真实感的三维植物个体或群体,并能获得植物生理生态过程和形态结构的并行过程的共同结果.文章介绍了植物模拟方法和玉米叶片的建模.
本设计针对现有的集群环境,基于已搭建起来的基于代理的眼务发现系统,设计了层次化服务注册模型,进一步细化了服务注册的结构.基本解决了服务注册中存在的一些关键问题,为下一步的设计奠定了基础.
本文借助MDS的信息服务框架,建立了针对网格系统的资源监控服务的体系结构模型,并且详细讨论了该体系结构的设计理念以及各个模块的功能.该系统结构在设计时充分考虑了网格监控系统所应满足的低延迟、低性能影响、可扩展性等多方面的要求,但是,它还只是针对网格资源监控的概念性系统,下一步的工作主要是在实现的基础上不断地完善和改进.
本文建立了IP-SWAN系统的排队网络模型,讨论了缓存机制对系统性能的影响,并采用平均值分析(MVA)方法对排队网络模型进行求解,计算得出了在不同任务强度下系统的平均吞吐量.