一种新的辩论推理模式及其应用

文中定义了一个新的辩论推理模式,建立了一个形式化的知识表示框架,并把它应用于研究扩展逻辑程序类的说明语义,结果表明,新语义克服了择优语义的不足。作者还根据上述研究结果实现了逻辑程序设计风格下的知识框架。     

基于问题结构的启发式策略在析取时态问题求解中的应用

智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型--析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP.     

累积反馈学习的简单贝叶斯垃圾邮件过滤

给出了一种基于累积反馈学习的简单贝叶斯邮件过滤方法.在此基础上,通过领域规则的引入,对基于累积反馈学习的简单贝叶斯过滤方法进行了改进.实验结果表明累积反馈学习对不断保持和提高分类器的分类效果是必要的.     

基于属性和主体、操作和客体分层描述的逻辑授权语言

安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特.奴,而现有的授权语言不能很好地适应这一特点,并不能对多种访问控制策略提供足够的支持。提出了一种基于属性和主体、操作和客体分层描述的逻辑授权语言((SOOSAL) 。SOOSAL以一阶逻辑为基础,通过谓词对主体、客体和操作进行刻画,并以分层的方式通过规则对主体、操作和客体之间的关系进行描述。此外,SOOSAI从逻辑语义世界假设的角度对现实世界中的策略进行了分类:封闭性世界策略和开放性世界策略,并对这两种策略的安全性进行了讨论,给出安全性问题的简单解决方案。实例结果表明,SOOSAI、具有较强的策略描述能力,能更好地实现策略的动态变化,并对不同的安全需求和授权原则提供良好的支持。     

基于逻辑规则的语义缓存查询处理优化技术

语义缓存在移动计算环境中有着非常广阔的应用前景．查询处理是语义缓存的一个关键问题，但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性，这在一定程度上限制了语义缓存的实用性．为了克服这些缺陷，作者首先给出并证明了用于优化查询裁剪的逻辑规则；基于这些规则，给出了剩余查询的裁剪算法；最终给出了只需进行剩余查询裁剪的优化查询处理算法．算法分析从理论上证明了该优化机制的有效性，同时，仿真实验的性能比较也表明该优化方法在提高查询裁剪时空效率和降低剩余查询复杂度等方面都要明显优于没有优化的方法．     

基于DTD图的查询蕴含测试

XPath被广泛用于查询XML文档.在前人利用已有的XPath查询结果来求得新的查询结果工作的基础上,对一类XPath查询表达式给出了判断能否利用已有的XPath查询结果来求得新的查询结果的算法,这将有可能加快对新查询的处理.     

计算机技术在广东省水情专用数据库系统中的应用

广东省水情专用数据库系统是专为满足本省水文情报预报专业人员作业使用的一个数据库系统,系统主要采用Delphi作为开发工具,并且采用TatukGIS和IntraWeb作为辅助平台实现了GIS和Web方面的功能.     

GA-Diff:一种快速XML文档变化检测算法

XML文档的变化检测可以广泛应用于构建XML数据仓库中的数据存储、文档模式提取以及增量查询等方面。随着被检测的数据规模的增加,对检测算法的效率也提出了更高的要求。利用遗传算法(GA),论文提出了一种新的XML文档的变化检测方法GA-Diff,针对XML文档树给出了树编辑距离的定义、实现算法并验证了该算法的效率。     

用布尔代数方法计算最小碰集

在基于模型的诊断中，模型一般都是用布尔代数来表示，而计算碰集(hitting sets)则采用HS-树或图，这就使得诊断系统采用多种不同的数据结构，给编程实现带来了不便．本文用布尔代数变量表示待诊断系统的部件，并给出了用布尔代数直接计算最小碰集的算法．数据结构更为简单，只需要布尔表达式，相当于字符串，效率上比其他的一些研究结果也要好，同时可克服丢失正确解的问题，具有通用性．     

ARP协议的安全漏洞及其防范浅析

本文在分析了ARP协议的工作原理后,对ARP协议在以太网中的存在的漏洞进行了较详细的分析,最后提出了一些防范的建议和思路.