Agent的意图模型

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

精细折线边界的粗拟合

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

一种新的图像纹理表示方法

该文基于纹理元直方图导出了纹理的新表示方法,并根据正交镜像滤波器的小波变换能量的转换和量化来定义纹理元。此种,给出了数种小波纹理特征集的实验评价,此方法具有将Brodatz纹理分类的极好性能。同时还研究了数种考虑近似旋转不变性或比例不变性的变换。最后,引入了生成纹理直方图和形成二进制纹理集的特征空间的过程,而且纹理直方图和二进制纹理集的特征空间与颜色直方图是对称的。获得纹理的这些表示旨在为度量纹理的相似性和从图像中抽取纹理区域。     

基于Java/Oracle Spatial构架的WebGIS研究与应用

Java开发WebGIS应用是一门新兴的技术。Oracle Spatial采用面向对象技术来管理空间数据，而面向对象数据模型正是目前GIS发展的方向。探讨了Java技术在WebGIS中的应用，分析了拓扑关系和面向对象的数据模型和Oracle Spatial空间数据库，最后讨论了结合Java和OracleSpatial的WebGIS应用实例。     

最优堆排序算法

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

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

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

一种任一时间联盟结构生成算法

联盟形成是多Agent系统中的一个关键问题.人们寻求能极大化联盟值的总和的联盟结构,但通常情况下可能的联盟结构的数目太大,以致不允许进行穷尽搜索而找出最优解.给出了一个算法,可在最小搜索量内保证找到一个与最优解相距在一个限界内的联盟结构.然后,这个任一时间算法进一步搜索,渐进地给出越来越低的限界,并急剧地降低这个限界,在这一阶段,此算法明显地优于由Sandholm等人给出的算法.     

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

联盟形成是多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服务器来对监控现场信息进行实时远程传输,并允许客户端对所监控的信息进行识别和处理。