HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS

提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。     

一种加密数据库的快速查询算法

针对加密数据库中块加密字段需要将全表进行脱密方法可进行查询的问题,提出了一种快速查询算法,该算法将块加密字段上的查询表达式与可直接查询字段上的查询表达式取交集,从而大大减少脱密的范围,节省了由加密引起的时间开销,同时从理论上证明了该算法的正确性。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题.本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性.论文证明了可满足子句集的三个充要条件.并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法.     

论子句隐喻及翻译

隐喻是人们思维和行为的系统方式,词汇可以隐喻引申,基本子句结构也可以隐喻引申。以原型理论为基础,从认知——功能视角分析句子结构的“形式——功能对”,研究了SVOO,SVOC,SVA结构的隐喻和多义性,探讨了它们的翻译方法。     

select语句在医院统计工作中的应用

本文通过日常医院统计中要求频率较高的工作,说明怎样使用select查询语句来对oracle数据库中的数据进行查询和统计,详细介绍了select语句的语法、使用技巧以及oracle中的几个常用函数。     

基于FOIL算法的一阶规则集学习器设计方法

对FOIL算法进行了深入剖析,提出了一种基于该算法利用Visual Prolog实现一阶规则集学习器的设计方法,给出了实现学习器的关键代码和试验结果,验证了该方法在一阶规则集提取中的有效性。     

多重取因子的线性序归结

本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性.