基于下确界不可约的概念格属性约简方法 被引量：1

1

作者 吴杰 梁妍 马垣 《计算机工程》 CAS CSCD 北大核心 2016年第11期213-218,共6页

对概念格的属性约简方法进行研究。证明概念格中任意属性亏值都为可辨识属性集,下确界不可约概念的属性亏值集合与全部属性亏值集合的辨识函数具有相同的最小析取范式,概念元素为下确界不可约概念当且仅当其必为属性概念,并且每个属性... 对概念格的属性约简方法进行研究。证明概念格中任意属性亏值都为可辨识属性集,下确界不可约概念的属性亏值集合与全部属性亏值集合的辨识函数具有相同的最小析取范式,概念元素为下确界不可约概念当且仅当其必为属性概念,并且每个属性概念的属性亏值中任取一个元素构成的集合必定是一个属性约简。在上述研究的基础上,提出一种针对大背景概念格快速获得全部属性约简的方法,并给出相应算法,证明其时间复杂度与空间复杂度都是多项式形式。分析结果表明,该方法无苛刻条件,化简幅度较大,运行时间快,具有较好的约简效果。 展开更多

关键词 概念格 属性亏值 最小析取范式 下确界不可约 属性概念 属性约简

在线阅读 下载PDF 职称材料

关于Hilbert空间量子效应下确界的研究

2

作者 陈峥立 曹怀信 《计算机工程与应用》 CSCD 北大核心 2009年第28期10-12,共3页

量子的下确界问题是量子计算和量子信息中的一个重要问题,对于这一问题,首先运用一种简单的方法证明了Kadison的一个结果:设A,B∈He(rB(H)),则A∧B在He(rB(H))存在当且仅当A和B可比较;然后讨论了B(H)+和Hilbert空间效应代数ε(H)中的下... 量子的下确界问题是量子计算和量子信息中的一个重要问题,对于这一问题,首先运用一种简单的方法证明了Kadison的一个结果:设A,B∈He(rB(H)),则A∧B在He(rB(H))存在当且仅当A和B可比较;然后讨论了B(H)+和Hilbert空间效应代数ε(H)中的下确界问题。最后,通过一个例子给出:对于两个量子效应A和B,虽然A∧B和A2∧B2在ε(H)中存在,但是A2∧B2≠(A∧B)2。 展开更多

关键词 下确界 量子效应 正算子

在线阅读 下载PDF 职称材料

本性下确界与条件期望运算的可交换性 被引量：1

3

作者 陈彬 《应用概率统计》 CSCD 北大核心 1993年第2期184-188,共5页

本文在较弱的条件下,讨论了本性下确界和条件数学期望运算的可交换性,并把其推广到Riesz群上。

关键词 本性下确界 条件期望 可交换性

在线阅读 下载PDF 职称材料

关于Fuzzy数集和Fuzzy复数集确界的注记

4

作者 党发宁 富辉 郭双冰 《西南交通大学学报》 EI CSCD 北大核心 1995年第2期230-233,共4页

本文通过一个算例，指出关于Ｆｕｚｚｙ数集和Ｆｕｚｚｙ复数集确界的四个定义不符合经典习惯，给出了修改后的定义并证明了几个关于Ｆｕｚｚｙ数集与Ｆｕｚｚｙ复数集确界的构造性定理。

关键词 上确界 下确界 模糊数集 模糊复数集

在线阅读 下载PDF 职称材料

应变非线性软化的圆形硐室围岩荷载-位移关系研究 被引量：16

5

作者 潘岳 王志强 《岩土力学》 EI CAS CSCD 北大核心 2004年第10期1515-1521,共7页

基于峰值应力后具拐点的应变非线性软化本构模型,且同时考虑中间主应力2s,对岩体形变影响的条件下及等压荷载下圆形硐室围岩塑性区应力分布规律、围岩承载机制及围岩与支护之间作用关系进行研究,得到无支护硐室围岩自承地应力上确界{}os... 基于峰值应力后具拐点的应变非线性软化本构模型,且同时考虑中间主应力2s,对岩体形变影响的条件下及等压荷载下圆形硐室围岩塑性区应力分布规律、围岩承载机制及围岩与支护之间作用关系进行研究,得到无支护硐室围岩自承地应力上确界{}ossupp、围岩压力下确界{}ainfp等反映实际硐室围岩工作状况的重要概念。给出了{}ossupp、{}ainfp的表达式以及它们与地应力op间的关系式。所得到的塑性区应力、塑性区半径、围岩压力和硐室周边位移等研究结果,与基于理想弹塑性体的Fenner解答相比,要更接近实际硐室围岩中的对应量值。 展开更多

关键词 圆形硐室 非线性软化 围岩平衡方程 围岩压力方程 围岩自承地应力上确界 围岩压力下确界

在线阅读 下载PDF 职称材料

模糊商空间理论两个定理的补充 被引量：1

6

作者 吴明芬 沈挺 +1 位作者 曹存根 吴贤维 《北京交通大学学报》 CAS CSCD 北大核心 2009年第6期86-90,共5页

张铃等在"模糊粒度计算方法"中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义.本文用通用的模糊数学符... 张铃等在"模糊粒度计算方法"中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义.本文用通用的模糊数学符号和序代数理论的方法和观点对其进行修正和补充,给出两个定理的完整证明,使得相关结果的表达更简洁和规范,完善了模糊商空间理论. 展开更多

关键词 粒度计算 模糊商空间 模糊等价关系 分层递阶结构 上确界 下确界 完备格

在线阅读 下载PDF 职称材料

半序空间中增算子的不动点及其应用 被引量：4

7

作者 杨光崇 《应用数学和力学》 CSCD 北大核心 2002年第3期309-315,共7页

证明了半序空间中增算子的最小最大不动点定理 ,推广和改进了增算子和混合单调算子的某些最近结果 ,并应用于没有任何连续性紧性凹性凸性假定下非线性奇异常微分方程的边值问题·

关键词 半序空间 上确界 下确界 增算子 不动点 奇异边值问题 常微分方程

在线阅读 下载PDF 职称材料

收敛函数列的一个性质 被引量：6

8

作者 戚民驹 《安徽大学学报（自然科学版）》 CAS 北大核心 2008年第2期8-11,共4页

给出函数间断度定义、本性间断点定义及几乎处处连续的本性函数定义,由勒贝格可测函数的本性定理将收敛的几乎处处连续的本性函数列的上、下确界函数本性化,证明收敛的几乎处处连续的本性函数列的无界点集的闭包S∞为零集.

关键词 上、下确界函数 勒贝格零集 几乎处处连续的本性函数 近似连续点

在线阅读 下载PDF 职称材料

关于Jackson不等式 被引量：2

9

作者 孙永生 《北京师范大学学报（自然科学版）》 CAS 1981年第1期1-6,共6页

关键词 JACKSON 线性有界算子 正算子 连续函数空间 下确界 凸函数 有界变差函数 绝对连续 连续导数 线性算子

在线阅读 下载PDF 职称材料

泰勒中间点分布的区间分析

10

作者 刘兆君 于永胜 《济南大学学报（自然科学版）》 CAS 2001年第4期339-340,共2页

运用上确界与下确界存在定理 ,在一定条件下 ,研究了泰勒公式中间点的分布特点 。

关键词 中间点 分布 区间分析 上确界 下确界 海因定理 泰勒公式

在线阅读 下载PDF 职称材料

关于加权Christoffel函数的估计

11

作者 章仁江 《浙江大学学报（理学版）》 CAS CSCD 2001年第5期483-487,共5页

用初等的方法求出了 L egendre权的 Christorffel函数的下确界和点态估计式中的常数 ,并给出了 Jacobi权 w(x) =(1- x)α(1+x)β的 Christoffel函数的下界估计 .

关键词 JACOBI权 Christoffel函数 正交多项式 下确界 点态估计 Legendre权 加权逼近

在线阅读 下载PDF 职称材料

带强迫项的N阶中立型微分差分方程的振动性

12

作者 梁妙莲 《华南师范大学学报（自然科学版）》 CAS 1993年第2期42-48,共7页

本文研究带强迫项的一类N阶中立型微分差分方程的振动性,得到判别方程振动性的几个充分性条件.

关键词 中立型 解 振动性 上确界 下确界 微分差分方程

在线阅读 下载PDF 职称材料

中立型泛函微分方程的振动性

13

作者 梁妙莲 《华南师范大学学报（自然科学版）》 CAS 1989年第2期74-85,共12页

本文研究一阶非线性中立型泛函微分方程的振动性.得到了该方程振动的充分性判别法则.

关键词 非线性泛函微分方程 解 振动 下确界 下极限

在线阅读 下载PDF 职称材料

半于凸函数性质的注 被引量：1

14

作者 纪晓福 《天津师大学报（自然科学版）》 1996年第3期10-13,共4页

本文讨论了凸函数的下确界与最小值之间的关系，给出非强凸函数的例子并加以证明，此外证明了欧几里得空间闭凸集上的连续强凸函数的下确界就是它在此集合上的最小值。

关键词 强凸函数 下确界 最小值 凸函数

在线阅读 下载PDF 职称材料

几种停点的过去及亚强停点的性质

15

作者 陈新香 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期1007-1010,共4页

为了研究两指标随机过程的停止问题 ,Fouque引入了停点的过去 .探讨另外几种停点的过去 ,从而得到了亚强停点的 Fouque下确界仍是亚强停点 ,最后举

关键词 过去 亚强停点 Fouque下确界 两指标随机过程 停止问题 Fouque停点

在线阅读 下载PDF 职称材料

实数理论六个等价命题的互证

16

作者 郑步南 周桂林 《广西师范大学学报（自然科学版）》 CAS 1990年第1期34-42,共9页

实数理论是数学分析的重要基础。Weierstrass聚点定理、Cauchy收敛准则、区间套定理、确界存在定理、单调有界定理和有限复盖定理是实数理论的六个等价命题。这六个等价命题等价性的证明,大多采用循环论证的方法。本文采用互证的方法,... 实数理论是数学分析的重要基础。Weierstrass聚点定理、Cauchy收敛准则、区间套定理、确界存在定理、单调有界定理和有限复盖定理是实数理论的六个等价命题。这六个等价命题等价性的证明,大多采用循环论证的方法。本文采用互证的方法,即对其中每一个命题分别用其它五个命题来论证。 展开更多

关键词 实数理论 聚点 收敛准则 区间套 上确界 下确界 单调有界 有限复盖

在线阅读 下载PDF 职称材料

B(H)上的核偏序与对偶核偏序

17

作者 张喧佼 吉国兴 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2016年第2期161-166,共6页

设H是无限维复Hilbert空间,B(H)是H上全体有界线性算子构成的代数,先给出核偏序和对偶核偏序的性质,然后运用算子分块矩阵方法研究核偏序、对偶核偏序与减偏序的关系,并进一步给出两个算子A,B核偏序下确界A∧B的表示.

关键词 核偏序 对偶核偏序 算子分块矩阵 减偏序 下确界

在线阅读 下载PDF 职称材料

〈Max—product〉Fuzzy综合评判的逆问题—〈Max—product〉Fuzzy关系方程

18

作者 朱玉仙 《吉林大学学报（地球科学版）》 EI CAS 1985年第2期81-86,共6页

本文在参考文献[1]的基础上给出了〈Max—product〉型Fuzzy关系方程有解的二个充要条件和两种解法,利用此法,特别是解法二可以简捷地求到解集合。

关键词 关系方程 Fuzzy MAX PRODUCT 综合评判 解集合 合成运算 逆问题 极小解 下确界

在线阅读 下载PDF 职称材料

函数一致连续的一个等价命题

19

作者 刘儒珍 李春禄 冯淑芬 《天津师大学报（自然科学版）》 1989年第1期23-28,共6页

本文给出了函数一致连续的一个等价命题,解决了一致连续定义中“公共δ”的求取过程,同时也提供了判别函数一致连续性的另一易于掌握的方法,通过例题提示了采用此方法时应注意的问题。

关键词 函数 一致连续 逐点连续 下确界

在线阅读 下载PDF 职称材料

Negoitǎ-Ralescu表现定理的改进与扩充 被引量：5

20

作者 汪培庄 陈兴钩 《北京师范大学学报（自然科学版）》 CAS 1980年第Z1期41-46,共6页

Genilhomme,Y于1968年提出了晕集(ensembles flous)的概念,1975年,Neg-oita,C.V.和Ralescu,D.A.把它扩展为L晕集,通过一个晕集表现定理论证了L模糊集与L晕集之间的等价性,这个定理在沟通模糊集合与普通集合(晕集是一种特殊的普通集合系... Genilhomme,Y于1968年提出了晕集(ensembles flous)的概念,1975年,Neg-oita,C.V.和Ralescu,D.A.把它扩展为L晕集,通过一个晕集表现定理论证了L模糊集与L晕集之间的等价性,这个定理在沟通模糊集合与普通集合(晕集是一种特殊的普通集合系)之间的联系上,具有重要的理论意义。本文给此定理以新的论述,以便指明:一、晕集的概念可以推广,相应于四种截集可以提出四种晕集。原表现定理只讨论了一、三两种晕集,对二、四种晕集的讨论是新的; 展开更多

关键词 Negoit Ralescu 普通集合 截集 完全格 最小元 最大元 同构映射 下确界 开区间

在线阅读 下载PDF 职称材料