期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
On the infimum problem of Hilbert space effects 被引量:16
1
作者 DU Hongke DENG Chunyuan LI Qihui 《Science China Mathematics》 SCIE 2006年第4期545-556,共12页
The quantum effects for a physical system can be described by the set ε(H) of positive operators on a complex Hilbert space Hthat are bounded above by the identity operator Ⅰ. The infimum problem of Hilbert space ef... The quantum effects for a physical system can be described by the set ε(H) of positive operators on a complex Hilbert space Hthat are bounded above by the identity operator Ⅰ. The infimum problem of Hilbert space effects is to find under what condition the infimum A∧B exists for two quantum effects A and B ∈ε(H). The problem has been studied in different contexts by R. Kadison, S. Gudder, M. Moreland, and T. Ando. In this note, using the method of the spectral theory of operators, we give a complete answer of the infimum problem. The characterizations of the existence of infimum A ∧ B for two effects A, B ∈ε(H) are established. 展开更多
关键词 POSITIVE operator QUANTUM effect infimum of QUANTUM effects.
原文传递
关于素数个数的一个不等式的加强
2
作者 梁钟浩 杨仕椿 《高师理科学刊》 2024年第2期6-8,14,共4页
对于任意■,记π(x)表示满足p≤x的素数p的个数.利用π(x)的确界不等式,对■的下确界作了进一步的加强,从而改进了Bencze不等式.
关键词 素数个数 Bencze不等式 下确界
下载PDF
Algorithms for computing the global infimum and minimum of a polynomial function 被引量:5
3
作者 ShuiJing Xiao GuangXing Zeng 《Science China Mathematics》 SCIE 2012年第4期881-891,共11页
By catching the so-called strictly critical points,this paper presents an effective algorithm for computing the global infimum of a polynomial function.For a multivariate real polynomial f ,the algorithm in this paper... By catching the so-called strictly critical points,this paper presents an effective algorithm for computing the global infimum of a polynomial function.For a multivariate real polynomial f ,the algorithm in this paper is able to decide whether or not the global infimum of f is finite.In the case of f having a finite infimum,the global infimum of f can be accurately coded in the Interval Representation.Another usage of our algorithm to decide whether or not the infimum of f is attained when the global infimum of f is finite.In the design of our algorithm,Wu’s well-known method plays an important role. 展开更多
关键词 计算算法 多项式函数 下确界 多元多项式 临界点 区间
原文传递
一类双调和方程组边值问题的可解性 被引量:1
4
作者 徐晶晶 钟金标 《安庆师范大学学报(自然科学版)》 2023年第3期25-29,共5页
本文研究了一类半调和方程组Dirichlet边值问题解的存在性与唯一性。首先引入变量代换来将该问题转换为椭圆型方程组边值问题,然后再转换为向量方程边值问题。针对方程中未知函数满足的一定条件,利用确界原理证明了该类问题只能存在正解... 本文研究了一类半调和方程组Dirichlet边值问题解的存在性与唯一性。首先引入变量代换来将该问题转换为椭圆型方程组边值问题,然后再转换为向量方程边值问题。针对方程中未知函数满足的一定条件,利用确界原理证明了该类问题只能存在正解(定理1);利用Green第一恒等式及Poincare不等式,证明了对应的线性向量方程边值问题只有零解(定理2);使用不动点定理,证明了该类问题有界正解的存在性(定理3);最后利用上调和函数极值原理,证明了该类问题解的唯一性(定理4)。本文例举了一个既满足文中存在性定理,又满足唯一性定理所需条件的应用实例,从而说明了该实例所讨论的问题正解存在且唯一。 展开更多
关键词 正解 不动点定理 极值原理 紧正算子
下载PDF
多元函数形式的单调有界原理及其应用
5
作者 赵莉莉 《绍兴文理学院学报》 2023年第8期26-31,共6页
通过构建坐标平面上的点的合适的序关系,将单调有界原理推广到坐标平面上,并利用二重极限、上确界,以及下确界的定义进行证明,相应地也给出了应用实例,并将坐标平面上的函数形式的单调有界原理推广到n维欧几里德空间中.
关键词 函数极限 单调有界原理 上确界 下确界 坐标平面
下载PDF
函数形式的单调有界原理及其应用
6
作者 赵霜 赵莉莉 《高师理科学刊》 2023年第11期10-13,共4页
单调有界原理是判断极限是否存在的重要准则之一,但大多数教材中仅介绍过数列形式的单调有界原理.为了更好地阐述单调有界原理的本质,将单调有界原理推广到函数的形式,利用函数极限、上确界、下确界的定义进行了证明.给出了相应的函数... 单调有界原理是判断极限是否存在的重要准则之一,但大多数教材中仅介绍过数列形式的单调有界原理.为了更好地阐述单调有界原理的本质,将单调有界原理推广到函数的形式,利用函数极限、上确界、下确界的定义进行了证明.给出了相应的函数形式单调有界原理的应用实例. 展开更多
关键词 函数极限 单调有界原理 上确界 下确界
下载PDF
概念格构造算法的改进 被引量:26
7
作者 沈夏炯 韩道军 +1 位作者 刘宗田 马骏 《计算机工程与应用》 CSCD 北大核心 2004年第24期100-103,共4页
概念格作为形式概念分析理论中的核心数据结构,已经在知识工程和软件工程等领域得到了广泛的应用。概念格的构造在其应用过程中具有重要的意义,研究人员已经提出了一系列构造概念格的算法,主要是批处理和渐进式算法,其中渐进式算法是很... 概念格作为形式概念分析理论中的核心数据结构,已经在知识工程和软件工程等领域得到了广泛的应用。概念格的构造在其应用过程中具有重要的意义,研究人员已经提出了一系列构造概念格的算法,主要是批处理和渐进式算法,其中渐进式算法是很有前途的一类。文章通过对概念格渐进式构造过程的分析,对Godin算法做了部分改进,给出了算法的伪码并加以实现,最后,根据运行数据进行了算法的性能分析。 展开更多
关键词 概念格 最小上界 最大下界 渐进式算法
下载PDF
n维模糊数的序、距离、确界及其逼近问题 被引量:7
8
作者 巩增泰 吴冲 陈得刚 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第4期95-100,共6页
诸如模糊数值函数积分等问题,如何采用上、下函数逼近的方法去定义,在模糊数学领域讨论的比较少,其主要原因是涉及到模糊数集的上、下确界问题.对n维模糊数的序、距离、确界及其逼近问题进行讨论:在模糊数空间定义了新的序关系、距离... 诸如模糊数值函数积分等问题,如何采用上、下函数逼近的方法去定义,在模糊数学领域讨论的比较少,其主要原因是涉及到模糊数集的上、下确界问题.对n维模糊数的序、距离、确界及其逼近问题进行讨论:在模糊数空间定义了新的序关系、距离和确界,并利用模糊数的支撑函数给出了n维模糊数集确界的表示和在新的距离意义下的逼近刻划;使得高维模糊数空间中诸如模糊数值函数的积分采用上、下函数逼近的方法去定义成为可能. 展开更多
关键词 模糊数 确界 距离
下载PDF
关于模糊数集合的确界 被引量:5
9
作者 张博侃 任丽伟 王晓敏 《哈尔滨理工大学学报》 CAS 1998年第3期110-113,共4页
对模糊数集合的确界的两种定义关系进行了讨论,结果是,若模糊数集合U的()上确界存在,则它的上确界必存在,且二者相等.对(z)下确界与下确界也有相应的结论,但反之未必.
关键词 模糊数 上确界 下确界 模糊数集合
下载PDF
一种新的模糊数的距离定义 被引量:8
10
作者 刘慧林 冯汝鹏 《模糊系统与数学》 CSCD 2003年第3期49-53,共5页
指出模糊数的 Hausdorff距离定义的不足和模糊距离定义在模糊数的数列应用上的缺陷 ,给出一种新的定义 。
关键词 模糊数 距离 定义 数列 HAUSDORFF距离 极限 确界定理 单调收敛定理 闭区间套定理
下载PDF
新的模糊数的模糊距离 被引量:8
11
作者 刘慧林 冯汝鹏 《模糊系统与数学》 CSCD 北大核心 2005年第2期106-109,共4页
文[1]中基于现有的模糊数的距离定义及模糊距离定义的缺陷进行分析并给出了改进的模糊数的距离定义。本文在此基础上给出新的模糊数的模糊距离定义,并给出相应的定理。
关键词 模糊数 距离 模糊距离 上确界 下确界
下载PDF
关于Hardy-Hilbert不等式中的一个最佳常数 被引量:57
12
作者 杨必成 高明哲 《数学进展》 CSCD 北大核心 1997年第2期159-164,共6页
本文通过引入一个形如πsin(π/p)-1-Cn1-1/r(r=p,q;C为Euler常数)的权系数而使Hardy┐Hilbert不等式得到改进.其中1-C=0.
关键词 权系数 下确界 欧拉常数 H-H不等式
下载PDF
模糊商空间理论两个定理的补充 被引量:1
13
作者 吴明芬 沈挺 +1 位作者 曹存根 吴贤维 《北京交通大学学报》 CAS CSCD 北大核心 2009年第6期86-90,共5页
张铃等在"模糊粒度计算方法"中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义.本文用通用的模糊数学符... 张铃等在"模糊粒度计算方法"中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义.本文用通用的模糊数学符号和序代数理论的方法和观点对其进行修正和补充,给出两个定理的完整证明,使得相关结果的表达更简洁和规范,完善了模糊商空间理论. 展开更多
关键词 粒度计算 模糊商空间 模糊等价关系 分层递阶结构 上确界 下确界 完备格
下载PDF
同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑 被引量:3
14
作者 张兴芳 胡凯 《电子学报》 EI CAS CSCD 北大核心 2014年第5期1020-1024,共5页
作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)... 作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)真度的概念,并给出了它们的逻辑规律.由此,本文又提出了新的非经典命题逻辑,称为同标签Vague命题的Lawry乘-加(Lawry下-上确界)逻辑.这两种非经典逻辑不仅新颖,而且相比Lawry的不确定模型适应面更广. 展开更多
关键词 非经典逻辑 Vague命题 Lawry逻辑 Lawry乘-加逻辑 Lawry下-上确界逻辑
下载PDF
模糊数列的极限及模糊数的连续性 被引量:12
15
作者 毕淑娟 《哈尔滨理工大学学报》 CAS 2001年第2期71-74,共4页
在新的序关系意义下,继续讨论模糊数列的极限,并研究 A~1中的模糊数的连续性,即 A~1是所有模糊数集合E~1的一个特殊子集.
关键词 模糊数列 模糊数 极限 连续性 上确界 下确界
下载PDF
生态因子相似度优先比的模糊决策分析 被引量:2
16
作者 赵益新 陈巨东 《西南民族大学学报(自然科学版)》 CAS 2005年第3期399-401,共3页
结合动、植物引种的研究问题,采用二元比较级方法确定了模糊相似比矩阵(?),分别用λ-截矩阵和下确界两种方法,获得了论域各对象关于生态因子相似度的优劣排序决策.
关键词 生态因子 模糊相似比矩阵 λ-截矩阵 下确界
下载PDF
基于下确界不可约的概念格属性约简方法 被引量:1
17
作者 吴杰 梁妍 马垣 《计算机工程》 CAS CSCD 北大核心 2016年第11期213-218,共6页
对概念格的属性约简方法进行研究。证明概念格中任意属性亏值都为可辨识属性集,下确界不可约概念的属性亏值集合与全部属性亏值集合的辨识函数具有相同的最小析取范式,概念元素为下确界不可约概念当且仅当其必为属性概念,并且每个属性... 对概念格的属性约简方法进行研究。证明概念格中任意属性亏值都为可辨识属性集,下确界不可约概念的属性亏值集合与全部属性亏值集合的辨识函数具有相同的最小析取范式,概念元素为下确界不可约概念当且仅当其必为属性概念,并且每个属性概念的属性亏值中任取一个元素构成的集合必定是一个属性约简。在上述研究的基础上,提出一种针对大背景概念格快速获得全部属性约简的方法,并给出相应算法,证明其时间复杂度与空间复杂度都是多项式形式。分析结果表明,该方法无苛刻条件,化简幅度较大,运行时间快,具有较好的约简效果。 展开更多
关键词 概念格 属性亏值 最小析取范式 下确界不可约 属性概念 属性约简
下载PDF
用极坐标变换求二重极限的定理及推广 被引量:6
18
作者 徐家斌 李莉 《内江师范学院学报》 2008年第10期37-39,42,共4页
运用上、下确界和极坐标变换,化二元函数的重极限的判断和求解为一元函数极限的判断和求解,得到了用极坐标变换求解二重极限的一个定理和一些推论,并推广到用n维球坐标变换求n重极限.
关键词 极坐标变换 重极限 上确界 下确界 n维球坐标
下载PDF
半序空间中增算子的不动点及其应用 被引量:4
19
作者 杨光崇 《应用数学和力学》 CSCD 北大核心 2002年第3期309-315,共7页
证明了半序空间中增算子的最小最大不动点定理 ,推广和改进了增算子和混合单调算子的某些最近结果 ,并应用于没有任何连续性紧性凹性凸性假定下非线性奇异常微分方程的边值问题·
关键词 半序空间 上确界 下确界 增算子 不动点 奇异边值问题 常微分方程
下载PDF
收敛函数列的一个性质 被引量:6
20
作者 戚民驹 《安徽大学学报(自然科学版)》 CAS 北大核心 2008年第2期8-11,共4页
给出函数间断度定义、本性间断点定义及几乎处处连续的本性函数定义,由勒贝格可测函数的本性定理将收敛的几乎处处连续的本性函数列的上、下确界函数本性化,证明收敛的几乎处处连续的本性函数列的无界点集的闭包S∞为零集.
关键词 上、下确界函数 勒贝格零集 几乎处处连续的本性函数 近似连续点
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部