全文获取类型
收费全文 | 78篇 |
免费 | 17篇 |
国内免费 | 18篇 |
专业分类
化学 | 33篇 |
数学 | 80篇 |
出版年
2014年 | 1篇 |
2012年 | 4篇 |
2010年 | 1篇 |
2009年 | 2篇 |
2008年 | 10篇 |
2007年 | 6篇 |
2006年 | 8篇 |
2005年 | 8篇 |
2004年 | 9篇 |
2003年 | 1篇 |
2002年 | 4篇 |
2001年 | 8篇 |
2000年 | 8篇 |
1999年 | 11篇 |
1998年 | 7篇 |
1997年 | 5篇 |
1996年 | 3篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1989年 | 1篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1983年 | 1篇 |
1981年 | 1篇 |
1958年 | 1篇 |
排序方式: 共有113条查询结果,搜索用时 15 毫秒
1.
2.
模糊推理的一个新方法 总被引:87,自引:10,他引:77
作为控制的理论基础,模糊推理已有20多年的历史,至今持续不衰,但其基本原理与逻辑基础似乎均应重新考虑。本文指出Zadeh的CRI算法中的复合运算是缺乏根据的,提出了完全建立在蕴涵运算基础上的三Ⅰ算法,从方法与运算结果两个方面都改进了CRI算法。 相似文献
3.
4.
为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已在二值命题逻辑L和p+1(p为素数)值Lukasiewicz命题逻辑中得到了解决,但是对一般的n+1(n〉3且n不是素数)值Lukasiewicz命题逻辑系统L(n+1),VDF问题相当复杂且尚未解决.本文尝试在一类特殊的n+1值Lukasiewicz命题逻辑系统L(n+1),即L(n+1)的赋值域W(n+1)的所有子代数在包含序下构成一个链中建立VDF问题的求解理论,并完满地解决了这类n+1值Lukasiewicz命题逻辑系统L(n+1)中的VDF问题. 相似文献
5.
逻辑方程解的性质 总被引:2,自引:0,他引:2
以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)<α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的. 相似文献
6.
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式. 相似文献
7.
介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。 相似文献
8.
针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。 相似文献
9.
10.
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。 相似文献