首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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.
本文论述了袋映射的缘起,给出了袋映射的对称函数列表示法,并在此基础上证明了Valuefunctional的袋映射可用一个一元函数和一个二元对称函数表达,从而进一步表明确了这类袋映射的构造。  相似文献   
2.
模糊推理的一个新方法   总被引:87,自引:10,他引:77  
作为控制的理论基础,模糊推理已有20多年的历史,至今持续不衰,但其基本原理与逻辑基础似乎均应重新考虑。本文指出Zadeh的CRI算法中的复合运算是缺乏根据的,提出了完全建立在蕴涵运算基础上的三Ⅰ算法,从方法与运算结果两个方面都改进了CRI算法。  相似文献   
3.
通过团体吸附剂富集,再用超临界CO2脱附后用气相色谱及质谱技术对实验室内空气中气相有机污染物进行了考察。文中对采样和萃取条件进行了优化,并与热脱附所得结果做了比较。结果表明在22MPa,80℃时,用甲醇改性的超临界CO2进行萃取的结果优于热脱附法。该法鉴定出气相有机污染物中52个组分,占色谱峰总面积的99.6%。  相似文献   
4.
罗清君  王国俊 《数学进展》2007,36(2):173-180
为在经典逻辑学中建立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.
张建成  王国俊 《数学进展》2007,36(6):761-768
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.  相似文献   
7.
介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。  相似文献   
8.
针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。  相似文献   
9.
基于完备BR0-代数的全蕴涵三Ⅰ算法   总被引:6,自引:0,他引:6  
研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三Ⅰ算法,对一般蕴涵算子给出了三Ⅰ算法解存在的一个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了Ro-单位区间W的R0-型α-三Ⅰ算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三Ⅰ算法是与BL*系统相匹配的模糊推理方法.  相似文献   
10.
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号