排序方式: 共有127条查询结果,搜索用时 15 毫秒
1.
Agent的意图模型 总被引:17,自引:4,他引:13
意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法. 相似文献
2.
3.
最优堆排序算法 总被引:6,自引:1,他引:6
王晓东 《小型微型计算机系统》2000,21(5):472-474
本文讨论了堆的若干性质,提出对堆排序算法的改进,改进后的堆排序算法是一个最优排序算法,在最坏情况下需要nlogn+na3(n)+O(n)次元素比较和nlon+O(n)次元素移动。 相似文献
4.
一种基于PKI的新型防火墙模型 总被引:2,自引:0,他引:2
本文首先对安全认证在防火墙系统中的重要性以及PKI综合安全服务体系作了简要说明。接着,针对防火墙中原有认证方法的不足,结合目前国内外对新型防火墙安全认证方面的新要求,提出了基于PKI安全认证方法在防火墙系统中的设计模型。 相似文献
5.
联盟形成是多Agent系统中的一个关键问题。目前,大多数学者都在CFG下研究联盟结构生成问题。然而,在很多实际应用中,联盟的形成往往是为了完成任务集中某些任务。但是,在CFG中并没有把联盟和任务一起考虑。显然,加入任务后,问题将变得更复杂。Dang等人已经证明,这是个NP难问题,并且要建立最坏情况下的限界K(n,m),搜索索面向任务联盟结构集合L1、L2(除{(A,Φ),(Φ,T)})是必要且充分的,接着提出一个限界具有保证的任一时间算法。本文深刻分析了面向任务联盟结构间的关系,引入更小的搜索粒度(面向任务势结构),提出一种新的任一时间搜索算法;在搜索完最小搜索之后,进一步搜索CTS集合CTS(n,m,b)对应的部分面向任务联盟结构,渐进给出越来越低的限界,大大改进了Dang等人的工作。 相似文献
6.
基于K均值的迭代局部搜索聚类算法 总被引:1,自引:0,他引:1
K均值聚类算法(KM)是解决聚类问题的一个常用的方法,该方法的主要缺点是其找到的局部极小值与全局最优值的偏差往往较大。论文构造一种基于KM算法的迭代局部搜索算法(称之为IKM)。该算法以KM算法所得到的解作为初始解,从该初始解开始作局部搜索,在搜索过程中接受部分劣解。当解无法改进时,算法对所得到的局部极小解做适当强度的扰动后进行下一次的迭代,以跳出局部极小,从而拓展了搜索的范围。试验结果表明IKM算法得到的聚类结果比KM算法得到的聚类结果有明显的改进,平均改进达100%以上。当数据集越大,簇的个数越多时,改进的效果越是显著,可以达到300%以上。因而,IKM算法是一个确实可行的有效的方法。 相似文献
7.
针对消防设备监控的具体应用,提出一种基于WEB平台的并运用数据库技术和图像处理技术的监控系统方案。本系统采用.Net技术,通过构建一个WEB服务器来对监控现场信息进行实时远程传输,并允许客户端对所监控的信息进行识别和处理。 相似文献
8.
广义Hanoi塔问题的动态规划算法 总被引:2,自引:0,他引:2
基于动态规划算法思想,深入分析了广义Hanoi塔问题动态规划分割点的特征,给出动态规划分割点的简单计算公式,使得动态规划算法转化为一个非常简单的递归算法,由此可以迅速产生广义Hanoi塔问题的最优移动序列,从而彻底解决了广义Hanoi塔问题的最优移动序列问题. 相似文献
9.
林柏钢 《信息工程大学学报》2002,3(2):17-19
本文给出一个与孙子定理(中国剩余定理)相并行的对偶理论-孙子互余定理,用以解决一元一次互余式组通解的问题。同时还给出互余式组与同余式组的一个等价转换定理。这是一个值得研究的对偶规律,而且具有一定的普遍意义,是对孙子定理的进一步扩展和补充。 相似文献
10.
分形图像压缩算法中代码本块的改进 总被引:2,自引:0,他引:2
分形图像压缩方法由于其压缩比高、解压方法简单等原因受到了越来越多的重视,但它的压缩质量不是很令人满意,本文在传统算法的基础上对通过定义域块收缩得到的代码本块提出修正算法,证明了该修正算法获得的近似匹配块的均方根误差小于原有的匹配块的误差,本文还对代码本块像素强度值提供了校正方法,使得还原图像在局部上能够更近似于原图像。 相似文献