CNKI学位论文(15)
知网期刊论文(93)
中图分类法(15)
数理科学和化学(11)
工业技术(4)
在“
CNKI学位论文
”中,
命中:
15
条,耗时:小于0.01 秒
在所有数据库中总计命中:
108
条
1.
计量逻辑学及其随机化研究
作者:
惠小静
关键词:
概率逻辑学
;
计量逻辑学
;
概率逻辑学基本定理
;
随机真度
;
近似推理
论文级别:
博士
学位年度:2008
2.
模态逻辑的计量化研究及其在模型检验中的应用
作者:
时慧娴
关键词:
计量逻辑学
;
模态逻辑
;
时态逻辑
;
模型检验
;
迁移系统
;
局部化真度
;
全局真度
;
满足度
;
极大缩减
论文级别:
博士
学位年度:2013
3.
逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用
作者:
王庆平
关键词:
计量逻辑学
;
密码学
;
布尔函数
;
Shannon展开式
;
McNaughton函数
;
仿射变换
;
线性逻辑公式
;
对称逻辑公式
;
雪崩逻辑公式
论文级别:
博士
学位年度:2012
4.
逻辑度量空间的内蕴结构的研究
作者:
胡明娣
关键词:
逻辑度量空间
;
反射变换
;
有限域F(2)上的线性赋范空间
;
对称逻辑公式
;
等边三角形
论文级别:
博士
学位年度:2011
5.
n值SMTL系统中命题的∑-([α,β]-真度)理论
作者:
李海亚
关键词:
∑-(α真度)
;
∑-([α
;
β]真度)
;
∑-([α
;
β]相似度)
;
∑-伪距离
论文级别:
硕士
学位年度:2012
6.
MTL-代数上的度量化研究
作者:
张乐
关键词:
MTL代数
;
计量逻辑
;
计量代数
;
条件真度
;
系统L_n~*
论文级别:
硕士
学位年度:2012
7.
基于CMMI3级的软件外包过程管理模型及其实例研究
作者:
俞怡
关键词:
软件生存周期
;
软件过程改进
;
能力成熟度模型集成三级
;
过程域
论文级别:
硕士
学位年度:2011
8.
赋值代数分裂算法与隐性半环赋值研究
作者:
韩邦合
关键词:
半环
;
赋值代数
;
计量逻辑学
;
约束满足问题
;
自动机
;
软约束
;
文法约束
;
软集
论文级别:
博士
学位年度:2011
9.
BL_△~*形式系统与NM(?)形式系统的研究
作者:
张琼
关键词:
模糊逻辑
;
多值逻辑
;
BL_△~*系统
;
广义MP问题
;
NML系统
;
NML-代数
;
强完备性
;
真度
论文级别:
硕士
学位年度:2010
10.
命题逻辑系统中理论的真度概念及其应用
作者:
高香妮
关键词:
理论的真度
;
相容度
;
发散度
;
有限
;
可数
;
理论的∑-真度
;
理论的∑-发散度
;
理论的∑-相容度
论文级别:
硕士
学位年度:2010
1
2
按检索点细分(15)
作者(1)
引文(14)
按论文级别细分(15)
博士(5)
硕士(10)
按学位年度细分(15)
2004年(1)
2007年(1)
2008年(3)
2010年(2)
2011年(4)
2012年(3)
2013年(1)