期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
常识推理基础逻辑系统M的完全性 被引量：2
1
作者 周北海 毛翊 《西南师范大学学报（人文社会科学版）》 CSSCI 北大核心 2006年第1期70-74,共5页
对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。Γ-典范模型方法是有穷方法。如果Γ有穷,得到的典范模型有穷。这不仅可以证明M的完全性,还可... 对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。Γ-典范模型方法是有穷方法。如果Γ有穷,得到的典范模型有穷。这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的。 展开更多
关键词 常识推理的基础逻辑 集选语义 典范框架 典范模型
下载PDF
自信性认知逻辑 被引量：1
2
作者 许涤非 《湖南科技大学学报（社会科学版）》 2004年第5期28-34,共7页
认知T-原则是一种过强的认知原则,一般的认知不具有此性质。"逻辑全能性质"不只是"理想认知主体"才具有的认知性质,一般的"理性认知主体"也具有某些"逻辑全能"的性质。在一种修正的可能世界语... 认知T-原则是一种过强的认知原则,一般的认知不具有此性质。"逻辑全能性质"不只是"理想认知主体"才具有的认知性质,一般的"理性认知主体"也具有某些"逻辑全能"的性质。在一种修正的可能世界语义学下,削弱了"逻辑全能问题",并且保留了那些合理的认知性质。认知T-原则在这种语义学下,不会有效。自信性以及弱自信性认知逻辑系统刻画了认知主体的自信性和弱自信性。这两个系统相对于这种语义学有可靠性和完全性。 展开更多
关键词 逻辑全能 认知逻辑语义 K-系统 典范框架 典范模
下载PDF
Hilbert C＊-模H中标准框架的刻画
3
作者 姚喜妍 《中北大学学报（自然科学版）》 EI CAS 2006年第2期168-170,共3页
应用A-值线性算子T:H→l2(A),刻画了H中标准框架、正规紧标准框架及两个互为对偶的标准框架,讨论了A-值线性、有界、可逆及正的框架算子S=T*T的等价性质,证明了模H的标准框架与它的典型对偶标准框架是正规紧标准框架的充分必要条件是框... 应用A-值线性算子T:H→l2(A),刻画了H中标准框架、正规紧标准框架及两个互为对偶的标准框架,讨论了A-值线性、有界、可逆及正的框架算子S=T*T的等价性质,证明了模H的标准框架与它的典型对偶标准框架是正规紧标准框架的充分必要条件是框架算子S=I. 展开更多
关键词 C＊-代数 HILBERT C＊-模框架 标准框架 框架算子
下载PDF
一种平面物体射影不变性识别方法 被引量：1
4
作者 姚扬中 冯象初 《计算机工程与应用》 CSCD 北大核心 2007年第17期77-78,205,共3页
提出一种基于方向可变滤波器的平面物体射影不变性识别方法。该方法首先利用方向可变滤波器检测出平面物体的边缘方向特征,从单幅图像中提取平面物体在射影变化下的不变特征,建立经典框架,然后用填充经典框架图像的矩识别物体。该方法... 提出一种基于方向可变滤波器的平面物体射影不变性识别方法。该方法首先利用方向可变滤波器检测出平面物体的边缘方向特征,从单幅图像中提取平面物体在射影变化下的不变特征,建立经典框架,然后用填充经典框架图像的矩识别物体。该方法是图像局部识别方法,允许景物中有部分的遮挡物存在。 展开更多
关键词 方向可变滤波器 射影变换 经典框架 矩
下载PDF
模态逻辑典范框架几个侧面
5
作者 裘江杰 《重庆理工大学学报（社会科学）》 CAS 2013年第9期21-26,共6页
对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究。为此,总结了关于典范框架的几个侧面的事实。
关键词 正规模态逻辑 典范框架 有界态射像 生成子框架
下载PDF
条件句逻辑完全性问题探微初步
6
作者 张立英 《湖南科技大学学报（社会科学版）》 2007年第4期35-40,共6页
直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的... 直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。 展开更多
关键词 BCS-框架 典范结构 Г-典范框架 Г-典范模型
下载PDF
K-框架的自然K-对偶Bessel序列 被引量：2
7
作者 傅元康 朱玉灿 《中国科学：数学》 CSCD 北大核心 2020年第2期287-300,共14页
众所周知,自然K-对偶Bessel序列指的是所有K-对偶Bessel序列中分析算子的范数最小的那个K-对偶Bessel序列,但是通过该定义无法直接知道自然K-对偶Bessel序列的具体形式.本文先给出两种特殊情况下,K-框架的自然K-对偶Bessel序列的具体形... 众所周知,自然K-对偶Bessel序列指的是所有K-对偶Bessel序列中分析算子的范数最小的那个K-对偶Bessel序列,但是通过该定义无法直接知道自然K-对偶Bessel序列的具体形式.本文先给出两种特殊情况下,K-框架的自然K-对偶Bessel序列的具体形式和最佳K-框架界.特别地,有限维Hilbert空间中的K-框架的最佳K-框架界可以用特征值来表示.最后,通过本文所得到的自然K-对偶Bessel序列的具体形式来刻画出所有的K-对偶Bessel序列. 展开更多
关键词 K-框架 K-对偶Bessel序列 自然K-对偶Bessel序列 最佳K-框架界
原文传递
广义连续框架的参数型不等式
8
作者 相中启 陈裕先 《南昌大学学报（理科版）》 CAS 北大核心 2022年第6期588-591,595,共5页
利用算子理论方法构建了广义连续框架的参数型不等式,所得结果包含了已知的一些结果。此外,还得到了广义连续框架的在结构上不同于已有不等式的双向参数不等式。
关键词 广义连续框架 典范对偶框架 参数 双向不等式
下载PDF
Hilbert空间中的g-Besselian框架和拟g-Riesz基
9
作者 丁明玲 朱玉灿 +1 位作者 肖祥春 温永仙 《数学物理学报（A辑）》 CSCD 北大核心 2014年第4期948-959,共12页
在Hilbert空间中,g-框架作为框架的推广,具有许多类似于框架的性质,但并非所有的结论都类似.比如Besselian框架等价于拟Riesz基,但g-Besselian框架与拟g-Riesz基不等价.该文刻画了g-Besselian框架与拟g-Riesz基在一定条件下的等价关系;... 在Hilbert空间中,g-框架作为框架的推广,具有许多类似于框架的性质,但并非所有的结论都类似.比如Besselian框架等价于拟Riesz基,但g-Besselian框架与拟g-Riesz基不等价.该文刻画了g-Besselian框架与拟g-Riesz基在一定条件下的等价关系;得到g-Besselian框架与拟g-Riesz基的对偶性结论;并在Hilbert空间中讨论g-Besselian框架与拟g-Riesz基的稳定性. 展开更多
关键词 G-框架 g-Besselian框架 拟g-Riesz基 对偶g-框架 稳定性
下载PDF
关于g-框架的一些参数化不等式
10
作者 赵静 李云章 《北京工业大学学报》 CAS CSCD 北大核心 2018年第9期1262-1266,共5页
运用算子理论方法得到了Hilbert空间中g-框架的一些带参数的不等式.在引入参数情况下,建立了g-框架及其正则对偶的一个不等式;得到了g-框架及其一般对偶的反向不等式.所得结果推广了现有文献的结果.
关键词 G-框架 正则对偶g-框架 对偶g-框架
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部