最小上界相关论文
对XML数据类型、模式的关系和XML文档的合并,人们做了大量的研究工作,但是这些研究工作还存在着一定的局限性,如KUPER和SIMEON提出......
本文研究了基于多元界的近似信息检索技术,考虑了概念合取和析取之间的蕴涵关系来得到概念的最佳近似。定义了最小上近似和最大下近......
给出了同时实现两幅数字图象编码变换矩阵的定义 ,一般构造模式。证明了由编码矩阵还原原图象的正确性、唯一性并得到实现图象编码......
本文对蠕虫问题上界的一个新改进进行了探讨。文章指出,Leo Moser于1966年提出蠕虫问题,该问题可表述为:“确定平面上面积最小的(凸)......
概念格是形式概念分析中的核心数据结构,随着数据量的日益剧增,概念格的构造效率始终是关键.本文首先引入横向分块概念格,给出其若......
本刊文 [1]曾就一个常见无理不等式 (例 1) ,提出并用数形结合的方法找出了它的最小上界 (例 2 ) .本文首先用一个更简明的几何事......
在Naor和Shamir提出的可视密存的基础上,给出了一种较简单的方案来解决(2,2)-可视分存中的象素膨胀问题.利用可视分存矩阵实现(2,2)-......
本文通过讨论布尔函数样本空间样本连通性和线性可分的关系,导出含一层隐元的二进神经网络隐元数目的最小上界为2n-1,并构造出了必......
文[1]把’98年高考理科压轴题解答过程中出现的不等式加强为为方便以下的讨论起见,先将这两个不等式统一为......
近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法......
讨论了一类扰动系统的弱化Hillbert第16问题,在其一阶Melnicov函数不恒等于零的情况下,得到了该系统的极限环个数最小上界的完整结论。作为应用,还给出了......
概念格作为形式概念分析理论中的核心数据结构,已经在知识工程和软件工程等领域得到了广泛的应用。概念格的构造在其应用过程中具有......
解决了有限交换p-群中加性码的两类计数问题,第一类计数问题是指求任意给定的有限交换p-群中任意类型码的数目,第二类计数问题是指......
介绍了一种利用简单的集合论知识证明著名的Zorn引理的方法....
提出并证明了两个不等式(引理1和引理2),进而论证了“当λ≥1/2时。函数f(x)=(1+1/x)^(x-1),(x〉0)是单调递减函数”的结论,......
概念格是形式概念分析中的核心数据结构。然而,随着需要分析处理的数据量日益剧增,概念格的构造效率成为一个关键问题。采用剪枝方......
求概念的近似是近似查询中的关键问题,其质3决定了近似查询的质量。现有的基于概念最小上界和最大下界的近似查询方法,只考虑了异......
自动推理和规划是人工智能领域中两个重要的分支,同时也是难度非常大的课题。1971年Cook等证明了命题可满足问题(SAT问题)是NP完备的......