谓词修饰语的语义区别

汉语的谓词修饰语有状语,补语两大类,状语在谓词前,补语在谓词后,在语义上,状语和补语与中心词的关系有疏密之不同,状误和补语与谓词的语序与时间顺序有关;在句子最末的补语在句中的地位比状语重要。     

映射、集合与推理

数理逻辑在数学教育专业是高等代数的后续课程,集合和映射则是高等代数的内容。在数学教育专业讲授数理逻辑时,如何将高等代数中集合和映射的内容与数理逻辑的内容结合起来;达到既巩固高等代数的知识,又将数理逻辑中的推理讲得更好?在工科专业讲授“离散数学”时,如何将集合论中的集合间关系与数理逻辑结合起来,这是一个值得研究也很有趣的问题。就这两个问题进行探讨。     

对于逻辑系统 L(w1,w)的 L-S型定理与H-型定理

本文得到了对于逻辑系统L(w1,w)的 L-S 型定理与 H-型定理.     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

ax+b mod p比特安全的列表译码证明

2003年Akavia基于列表译码提出研究硬核谓词的一般框架,并将该方法成功地应用于许多硬核谓词的研究.但是,对于ax+b mod p的任意比特是任意单向函数的硬核谓词,这个关于单向函数的一般性结论能否适用,仍是一个公开问题.文章利用这种新方法研究积性码可接近的单向陷门函数的比特安全性,并且证明ax+b mod p的任意比特是p阶循环群上该类单向函数的硬核谓词.     

龙岩方言亲属称谓词的文化内涵浅探

各地方言都有自己的称谓系统,亲属称谓词反映着婚姻家庭中人与人之间的社会关系,从一个侧面反映着一个地方的传统文化。本文列举龙岩方言的四大体系的亲属称谓词,漫谈其中蕴涵的传统伦理观念、反映着古老的婚姻形式和社会生活、折射出亲情醇厚的民俗民风。     

一阶模糊谓词逻辑公式的区间解释真度理论

通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.