谓词逻辑在答疑系统中的应用

提出了一种新的答疑系统模型。该模型引入了谓词逻辑,在系统完成关键词匹配后,进行二次谓词匹配,最后把仅和问题语义相符的答案予以反馈。实验证明,这种方法较好地提高了系统的智能性和准确率。     

SQL在递归查询和逻辑谓词上的扩充

本文讨论了对ＳＱＬ语言的递归查询和逻辑谓词功能上的扩充方法，给出了递归查询的关系代数表达式，并就考虑路径的递归查询和不考虑路径的递归查询两方面对ＳＱＬ在句法和算法上，对ＳＱＬ中逻辑谓词扩充的理论，句法和算法进行了讨论。     

谓词逻辑在关系数据库中的应用

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成为对谓词逻辑的化简问题.     

利用谓词/变迁网证明的一阶谓词逻辑命题

研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法：图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。     

VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用

提出了以VHDL语言为手段，介绍了针对个体域D为{0,1}的谓词逻辑定理证明的实现方法，并在Active-HDL环境中举例说明。     

基于模糊逻辑带权重的模糊查询研究*

在已研究的模糊查询中,其逻辑连接均为and或or,具有一定的狭隘性,不符合自然语言表述的特点,也不能充分满足查询要求。引入模糊语言量词作为模糊逻辑连接词,同时引入权重,利用Zadeh 的模糊集合理论与SQL系统函数相结合,研究了基于模糊逻辑连接的带权重的模糊查询技术,进一步丰富了SQL模糊查询体系,提高了查询能力。     

基于谓词逻辑的金融投资辅助决策系统分析与应用

谓词演算作为一种智能表示的语言,其优点是精确定义的形式语义,合理而完备的推理规则。使用谓词演算来进行知识的表示和推理,能代表实际应用中的许多问题。现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。     

一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

同Vague谓词命题的概率逻辑

基于对Vague（或Fuzzy）概念的一种新的认知,使用随机集和概率论,引入了论域表达式及其适当测度的概念。进一步地,通过引入同Vague谓词命题及其他们真的概率（简称概率真度）的概念,提出了一种新的非经典命题逻辑,称为同Vague谓词命题的概率逻辑,并提供了其逻辑规律。其逻辑规律表明它与经典逻辑具有优良的和谐性。比较了同Vague谓词命题的概率逻辑与模糊逻辑的长处与不足。     

基于谓词逻辑的设计模式描述方法

设计模式描述了面向对象软件设计过程中不断重复发生的问题以及这些问题的解决方案,强调系统的复用性,帮助人们做出有利于系统复用的选择,因此设计模式也可看成是对软件开发者的分析与设计知识的记录、提炼和表示,谓词逻辑是一种形式语言系统,具有精确、无二义性以及容易为计算机理解和操作等特点.采用了谓词逻辑来形式化描述设计模式,以实现对设计模式精确的形式化描述,并给出了具体的实例分析.     

断言语言支持自定义谓词的程序验证器原型

基于逻辑推理的方法进行程序验证是形式化程序验证的研究热点.目前的自动验证工具为了保证自动性,对描述程序性质的断言语言都有较多限制,导致程序的某些递归性质难以用断言语言表述.本文在一个面向指针程序、基于先前自行设计的形状图逻辑、依赖于自动定理证明工具Z3的自动程序验证原型系统上,通过在断言语言中引入自定义谓词来增强断言语言的表达能力,使得该原型系统不仅能自动验证含操作易变数据结构的程序的性质,也能自动验证一些不含指针的程序的性质.     

Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。     

基于重写逻辑的Web服务事务处理形式化描述

Web服务的事务处理研究越来越活跃,对于Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法．该文提出了一种基于重写逻辑的Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析．     

RBAC及XACML在制造网格访问控制中的应用

研究符合制造网格特点的访问控制规范,引入“角色”及“授权服务”设定用户的访问策略,在用户访问具体资源时再根据资源拥有者设置特定的权限来确定用户的访问权限,以实现制造网格总体访问策略和用户自主访问策略的协同,为制造网格平台提供符合制造业特点的安全功能和服务。     

Weighted automata and weighted logics with discounting

We introduce a weighted logic with discounting and we establish the Büchi–Elgot theorem for weighted automata over finite words and arbitrary commutative semirings. Then we investigate Büchi and Muller automata with discounting over the max-plus and the min-plus semiring. We show their expressive equivalence with weighted MSO-sentences with discounting. In this case our logic has a purely syntactic definition. For the finite case, we obtain a purely syntactically defined weighted logic if the underlying semiring is additively locally finite.     

一种新的实时事务处理策略及应用

通过对实时事务处理策略的研究,提出一种改进型事务处理策略,将时标调度策略和传统的优先级分配策略进行结合处理不同类型的实时事务,并将快照服务用于并发控制协议中.测试表明,这种处理策略能提升系统的性能.     

通用的模糊逻辑控制算法及其应用

本文提出了一种新的输入变量和输出变量模糊子集的定义方法,利用zadeh的max-min推理合成算法得到了一种通用的模糊逻辑控制算法.应用该模糊逻辑控制算法在兰化公司化肥厂对尿素合成塔的氨、碳比进行了控制,其控制效果好于人工控制.     

最小残差法加速局部加权LSSVM求解及其应用

局部加权最小二乘支持向量机回归模型（LocalWeighted Least Squares Support Vector Machines,LW-LSSVM）是一种在线学习模型,该类模型需要根据训练样本权重的调整不断重新进行训练.高效稳定的学习算法是LW-LSSVM模型取得成功应用的关键.分别采用最小残差法（MINRE）、共轭梯度法（CG）、零空间法和Cholesky分解算法求解WL-LSSVM模型.基准数据库上的数值实验表明最小残差法的计算时间最短,具有良好的数值稳定性.随后,应用基于MINRES的WL-LSSVM建立了高炉铁水硅含量的在线预测模型,仿真实验表明与LSSVM相比LW-LSSVM模型具有更高的预报精度和自适应性.     

多agent逻辑程序及其在协议验证中的应用

提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否认安全协议为例,对该协议进行了形式化描述,验证了其具有不可否认性.     

基于角色的访问控制在网上技术交易系统中的应用

本文简要介绍了基于角色的访问控制策略，并在此基础上提出了一套适用于网上技术交易系统的权限控制应用模型。