排序方式: 共有23条查询结果,搜索用时 15 毫秒
1.
LR(0)项目集规范族的一种简易构造算法 总被引:3,自引:0,他引:3
沈整 《江汉大学学报(社会科学版)》2001,18(6):69-70,68
讨论了计算机编译系统中LR(0)项目集规范的一种简易构造算法。 相似文献
2.
3.
汪定国 《渝西学院学报(社会科学版)》2001,(1)
E是有限子集 ,(E ,F)是拟阵 ,U ={Ai:i∈I}I={ 1,2… ,n} ,本文在文献 [1]的基础上加以推广 ,给出了在某些特殊情况下U有唯一独立P—横贯的充分必要条件 相似文献
4.
广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性. 相似文献
5.
6.
左可正 《湖北师范学院学报(哲学社会科学版)》1993,(6)
本文给出了Matroid的一个特征性质,即给出了以下定理:设S是集合,2~s,φ∈为子集闭的,则(S,)为Matroid当且仅当下列条件满足:对X={x_1,x_2,…x_n}∈,Y={y_1,y_2,…y_m}∈,X、Y在中极大,则n=m,且适当调整x_1的顺序,可使i,{y_1…y_(i-1),X_i,y_(i+1),…,y_m}∈(i=1,2,…n) 相似文献
7.
吴韵琴 《河北理工大学学报(社会科学版)》2004,4(3):16-21
对全国10个省市人口素质进行聚类分析,然后基于层次分析法对其中某个省市人口素质进行模糊综合评判. 相似文献
8.
徐爱芸 《江汉大学学报(社会科学版)》2002,19(2):20-22
在数据库设计中,依据函数依赖集的定义及Armstrong公理,求出的是一个可能存在冗余的函数依赖集。为了判断一个函数依赖是否为某一函数依赖集逻辑蕴含,只要用求属性闭包的方法求出函数依赖中决定子的属性闭包,判断依赖子是否包含在属性闭包中即可。本文从求属性闭包的角度出发,给出一个求最小函数依赖集的算法。 相似文献
9.
基于闭包系统划分的概念格并行构造算法 总被引:1,自引:0,他引:1
随着处理的形式背景的增大,概念格的时空复杂度也会随着急剧增大.研究新的方法和手段来构造概念格,是概念格技术应用于大型复杂数据系统的前提,提高其构造效率的一种有效途径是利用高性能并行计算机和网络并行计算的能力,因此概念格的并行构造算法已成为众多学者的一个新的研究方向.概念格的并行构造思想就是根据不同的原理,采用分治策略,通过对形式背景的拆分,形成分布存储的多个子背景,然后构造相应的子概念格,再由子概念格的合并得到所需的概念格.目前建格算法的分布处理研究主要有形式背景的并置和叠置以及形式背景的折叠搜索子空间划分两种方法,本文在总结研究这两种方法的基础上,基于偏序集上闭包系统分解的思想,对提出的闭包系统划分为多个子闭包系统的判定定理进行了证明,使闭包系统的分解既不会产生冗余信息,也不会使信息丢失,并把所提出的判定定理用于概念格的并行处理,提出了一个新的基于闭包划分的概念格并行生成算法--Para-Prunjng算法.通过实验,利用随机生成的数据集同经典NextClosure算法进行比较分析,验证了新算法的正确性和有效性. 相似文献
10.
探讨了与无爪图相关且比无爪图更广的一种图类Y3V3-free图,构造了一种Y3V3-free的闭包,并证明了所构造的闭包具有保持周长稳定等性质且是唯一的. 相似文献