Agent的意图模型

意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法.     

精细折线边界的粗拟合

讨论了用较少的折线段来表示精细折线边界的问题 .提出了解决该问题的一个有效算法 ,并对该算法进行了分析     

最优堆排序算法

本文讨论了堆的若干性质,提出对堆排序算法的改进,改进后的堆排序算法是一个最优排序算法,在最坏情况下需要ｎｌｏｇｎ＋ｎａ３（ｎ）＋Ｏ（ｎ）次元素比较和ｎｌｏｎ＋Ｏ（ｎ）次元素移动。     

一种基于PKI的新型防火墙模型

本文首先对安全认证在防火墙系统中的重要性以及PKI综合安全服务体系作了简要说明。接着,针对防火墙中原有认证方法的不足,结合目前国内外对新型防火墙安全认证方面的新要求,提出了基于PKI安全认证方法在防火墙系统中的设计模型。     

任一时间面向任务联盟结构生成算法

联盟形成是多Agent系统中的一个关键问题。目前,大多数学者都在CFG下研究联盟结构生成问题。然而,在很多实际应用中,联盟的形成往往是为了完成任务集中某些任务。但是,在CFG中并没有把联盟和任务一起考虑。显然,加入任务后,问题将变得更复杂。Dang等人已经证明,这是个NP难问题,并且要建立最坏情况下的限界K（n,m）,搜索索面向任务联盟结构集合L1、L2（除{（A,Φ）,（Φ,T）}）是必要且充分的,接着提出一个限界具有保证的任一时间算法。本文深刻分析了面向任务联盟结构间的关系,引入更小的搜索粒度（面向任务势结构）,提出一种新的任一时间搜索算法;在搜索完最小搜索之后,进一步搜索CTS集合CTS（n,m,b）对应的部分面向任务联盟结构,渐进给出越来越低的限界,大大改进了Dang等人的工作。     

基于K均值的迭代局部搜索聚类算法

K均值聚类算法(KM)是解决聚类问题的一个常用的方法,该方法的主要缺点是其找到的局部极小值与全局最优值的偏差往往较大。论文构造一种基于KM算法的迭代局部搜索算法(称之为IKM)。该算法以KM算法所得到的解作为初始解,从该初始解开始作局部搜索,在搜索过程中接受部分劣解。当解无法改进时,算法对所得到的局部极小解做适当强度的扰动后进行下一次的迭代,以跳出局部极小,从而拓展了搜索的范围。试验结果表明IKM算法得到的聚类结果比KM算法得到的聚类结果有明显的改进,平均改进达100%以上。当数据集越大,簇的个数越多时,改进的效果越是显著,可以达到300%以上。因而,IKM算法是一个确实可行的有效的方法。     

基于WEB的消防设备监控系统

针对消防设备监控的具体应用,提出一种基于WEB平台的并运用数据库技术和图像处理技术的监控系统方案。本系统采用.Net技术,通过构建一个WEB服务器来对监控现场信息进行实时远程传输,并允许客户端对所监控的信息进行识别和处理。     

广义Hanoi塔问题的动态规划算法

基于动态规划算法思想，深入分析了广义Hanoi塔问题动态规划分割点的特征，给出动态规划分割点的简单计算公式，使得动态规划算法转化为一个非常简单的递归算法，由此可以迅速产生广义Hanoi塔问题的最优移动序列，从而彻底解决了广义Hanoi塔问题的最优移动序列问题．     

论孙子互余定理I

本文给出一个与孙子定理（中国剩余定理）相并行的对偶理论-孙子互余定理，用以解决一元一次互余式组通解的问题。同时还给出互余式组与同余式组的一个等价转换定理。这是一个值得研究的对偶规律，而且具有一定的普遍意义，是对孙子定理的进一步扩展和补充。     

分形图像压缩算法中代码本块的改进

分形图像压缩方法由于其压缩比高、解压方法简单等原因受到了越来越多的重视，但它的压缩质量不是很令人满意，本文在传统算法的基础上对通过定义域块收缩得到的代码本块提出修正算法，证明了该修正算法获得的近似匹配块的均方根误差小于原有的匹配块的误差，本文还对代码本块像素强度值提供了校正方法，使得还原图像在局部上能够更近似于原图像。