期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
概念格构造算法的改进 被引量:26
1
作者 沈夏炯 韩道军 +1 位作者 刘宗田 马骏 《计算机工程与应用》 CSCD 北大核心 2004年第24期100-103,共4页
概念格作为形式概念分析理论中的核心数据结构,已经在知识工程和软件工程等领域得到了广泛的应用。概念格的构造在其应用过程中具有重要的意义,研究人员已经提出了一系列构造概念格的算法,主要是批处理和渐进式算法,其中渐进式算法是很... 概念格作为形式概念分析理论中的核心数据结构,已经在知识工程和软件工程等领域得到了广泛的应用。概念格的构造在其应用过程中具有重要的意义,研究人员已经提出了一系列构造概念格的算法,主要是批处理和渐进式算法,其中渐进式算法是很有前途的一类。文章通过对概念格渐进式构造过程的分析,对Godin算法做了部分改进,给出了算法的伪码并加以实现,最后,根据运行数据进行了算法的性能分析。 展开更多
关键词 概念格 最小上界 最大下界 渐进式算法
下载PDF
锥拟凹集锥有效点集的连通性
2
作者 王引观 柴惠文 《嘉兴学院学报》 2002年第3期76-78,共3页
利用锥拟凹集的概念 。
关键词 最大下界 锥拟凹集 连通性
下载PDF
C-S型集的锥有效点集的连通性
3
作者 王引观 《湖州师范学院学报》 2002年第3期24-27,共4页
在像空间引入了C -S型点集概念 。
关键词 C-S型点集 最大下界 锥有效点集 连通性
下载PDF
《离散数学基础》期末复习摸拟试题
4
作者 袁薇 《内蒙古电大学刊》 1999年第2期96-97,102,共3页
关键词 离散数学 期末复习 一笔画 生成元素 反对称性 一阶逻辑 循环群 自反性 最小上界 最大下界
下载PDF
关于Boole格同态的扩张 被引量:1
5
作者 董荣森 《科学通报》 EI CAS 1984年第22期1406-1406,共1页
本文主要证明了下面的结果: 定理1 如果垂是备Boole格(?)到格(?)上的同态,则下面的条件是等价的: 1) Φ是备的。 2) Φ的核是单项幻。 3) Φ是可逆的。 定理2 如果Φ是Boole格(?)到格国(?)上的同态,它的核是一个分划,那末存在一个且只... 本文主要证明了下面的结果: 定理1 如果垂是备Boole格(?)到格(?)上的同态,则下面的条件是等价的: 1) Φ是备的。 2) Φ的核是单项幻。 3) Φ是可逆的。 定理2 如果Φ是Boole格(?)到格国(?)上的同态,它的核是一个分划,那末存在一个且只有一个从(?)的完备化(?)到(?)的完备化(?)上的备同态(?), 展开更多
关键词 同态 BOOLE 下确界 最大下界 子集
原文传递
全国高中数学联赛一题的另证
6
作者 李建潮 《中学生数学(高中版)》 2017年第3期31-31,共1页
关键词 最大下界 高中数学
原文传递
New Lower Bounds for the Least Common Multiples of Arithmetic Progressions 被引量:1
7
作者 Rongjun WU Qianrong TAN Shaofang HONG 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2013年第6期861-864,共4页
Abstract For relatively prime positive integers u0 and r, and for 0 〈 k ≤ n, define uk := u0 + kr. Let Ln := 1cm(u0,u1,... ,un) and let a,l≥2 be any integers. In this paper, the authors show that, for integers... Abstract For relatively prime positive integers u0 and r, and for 0 〈 k ≤ n, define uk := u0 + kr. Let Ln := 1cm(u0,u1,... ,un) and let a,l≥2 be any integers. In this paper, the authors show that, for integers α≥ a, r ≥max(a,l - 1) and n ≥lατ, the following inequality holds Ln≥u0r^(l-1)α+a-l(r+1)^n.Particularly, letting l = 3 yields an improvement on the best previous lower bound on Ln obtained by Hong and Kominers in 2010. 展开更多
关键词 Arithmetic progression Least common multiple Lower bound
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部