搜索到147篇“ 特征定理“的相关文章
全部数字资源类型
相关度排序
关于N元向量值分叉连分式特征定理的证明
2007年
在多元向量值分叉连分式的构造中,特征问题的讨论尤为重要,结果已经给出了n元向量值分叉连分式插值的特征猜想,即一个n维插值点集包含N个元素,则建立在该点集上的n元向量值插值连分式将是一个分子为N-1次,分母为2[(N-1)/2]次的向量值有理函数,该文证明了这一猜想。
李增祥檀结庆
关键词：向量值特征定理
MTL代数的特征定理被引量：28
2007年
对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.
裴道武
关键词：模糊逻辑MTL代数
图的不相似特征定理的新证明
2007年
李倩在[3]中指出了HARARY和NORMAN用归纳法证明连通图不相似特征定理的缺陷并给出了一个完整的证明,但该证明需要比较繁尽可能的分类讨论,本文利用重新构图的方法给出了该定理的一个简化证明。
黄凤英
再谈数的整除性特征定理被引量：1
2005年
针对整数论中数的整除特征进行了研究,从理论上解决了任意整数的整除特征问题。
吴玉珍
关键词：特征定理整除性
分划扩充命题时态逻辑关于stutter不变性的特征定理
2005年
分划扩充命题时态逻辑通过加入分划算子P^(1,2),增强了经典命题时态逻辑的表达能力。本文就该扩充逻辑关于stutter不变性的研究,给出了它的一个关于stutter不变性的特征定理,即具备stutter不变性质的扩充时态逻辑的表达能力和不含○算子(后继Next算子)的分划扩充命题时态逻辑相同。这样在具体的模型检测的实现过程中可以看情况地使用偏序归约技术,进而可以大大地减少模型的状态空间数,使相应的模型检测算法效率得到显著提高,使一些状态个数过大的模型检测成为可能。
黄青
关键词：特征定理T算子归约
相通连续Domain的若干特征定理
2005年
首先引入了相通连续Domain的概念,利用主理想及连通闭集刻画了相通连续Domain; 其次考察了相通完备偏序集的定向完备化,得到了一些好的结果.
尚云赵彬
内积空间中最佳逼近元的特征定理被引量：1
2005年
获得了内积空间关于弱闭凸集的最佳逼近元的存在性及其刻划定理.
廖正琦
关键词：内积空间最佳逼近元
最终范数连续C-半群的两个特征定理
2005年
本文通过讨论算子半群母元预解式的增长阶性质,得到了在t>t0(t0≥0)时按一致范数连续的C-半群的两个特征定理,刻画了最终一致连续C-半群的稳定性。
彭爱民战建
关键词：C-半群生成元增长阶
连续Domain的若干特征定理被引量：2
2004年
目的　给出准连续Domain与连续Domain的特征刻画。方法　利用准连续Domain的每一点都有准定向极小集,连续Domain的每一点都有定向极小集。结果　给出了准连续Domain与连续Domain的一些等价刻画,得到了连续Domain的等式刻画。利用Waybelow关系给出了连续Do main的一个特征定理。结论　通过引入准连续Domain,得到了连续Domain的一些特征定理。
尚云
关键词：连续DOMAIN
极大点空间的若干特征定理
2003年
本文利用极大点空间的等价刻划证明了极大点空间的某些子空间、不交和、 乘积空间、逆序列的逆极限、具有可数基的局部紧的Hausdorff空间是极大点空间,还 给出了具有可数基的局部紧的Hausdorff空间的Domain hull.
尚云赵彬
关键词：乘积空间可数基拓扑空间
加载更多 ∨

相关作者

王家正
作品数：44被引量：118H指数：6
供职机构：合肥师范学院
研究主题：有理插值 特征定理 连分式 矩形网格 有理函数
赵彬
作品数：121被引量：263H指数：11
供职机构：陕西师范大学
研究主题：QUANTALE 核映射 完备格 滤子 SCOTT拓扑
陈艳秋
作品数：6被引量：7H指数：2
供职机构：安徽大学
研究主题：有理插值 特征定理 差商 LAGRANGE 矩形网格
梁艳
作品数：9被引量：62H指数：3
供职机构：合肥师范学院数学系
研究主题：特征定理 三角网格 有理函数 有理插值 BP神经网络
尚云
作品数：13被引量：25H指数：3
供职机构：陕西师范大学
研究主题：特征定理 DOMAIN理论 保密通信 混沌系统 混沌