排序方式： 共有14条查询结果，搜索用时 281 毫秒
1.
惠小静 《延安大学学报(自然科学版)》2007,26(2):5-8
提出了r不定序同态、r连续序同态、r开序同态并讨论了它们之间的相互关系,得出了LF-r开集在开子空间中仍是LF-r开集,两个LF拓扑空间之间序同态r连续的充要条件等结论。 相似文献
2.
在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系. 相似文献
3.
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。 相似文献
4.
经典推理模式的随机化研究及其应用 总被引：33，自引：0，他引：33
利用赋值集的随机化方法，在二值逻辑中提出了公式的D-随机真度概念，证明了全体公式的D-随机真度之集在[0，1]中没有孤立点；提出了D-逻辑伪距离和D-逻辑度量空间，证明了该空间中没有孤立点；指出当取均匀概率测度，且各概率测度均为1／2时，D-随机真度就转化为计量逻辑学中的真度，同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离，从而建立了更具一般性的随机逻辑度量空间；通过概率逻辑学基本定理，证明了D-逻辑度量空间中逻辑运算的连续性，从而实现了概率逻辑学与计量逻辑学的融合；在D-逻辑度量空间中提出了3种不同类型的近似推理模式． 相似文献
5.
本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。 相似文献
6.
关于L-Fuzzy半开集的一点注记 总被引：6，自引：4，他引：2
针对LF半开集（我们称其为LF-r半开集）作了进一步的研究，得出通常的LF半开集与LF-r半开集互不蕴含及在满层的LF拓扑空间中，LF半开集是LF-弱r半开集等结果。 相似文献
7.
在?ukasiewicz谓词演算系统中引入公理化真度，在此基础上讨论公式之间相似度和伪距离的运算性质，并举例说明将相似度与伪距离转化为公式真度进行计算的方法. 相似文献
8.
命题逻辑及谓词逻辑的计量化是近期的一个研究热点，本研究基于左连续三角模的谓词演算系统MTL?,给出特定形式公式的真度取值范围，并研究含量词公式的相似度性质. 相似文献
9.
软件质量保障技术的新发展 总被引：1，自引：0，他引：1
回顾了软件质量保障技术及软件开发方法的发展历程，介绍了几种近年来发展起来的并且证明是行之有效的软件质量保障技术和方法。这些新技术对于软件组织提高自身软件的生产效率，控制软件开发过程以及提高软件质量是非常有意义的。同时，采用这些新技术可以提高软件企业的国际竞争力。 相似文献
10.
通过随机化赋值集的方法,在二值逻辑中提出了公式的 D- 随机真度概念,证明了全体公式的 D-随机真度之集在[0,1]中没有孤立点;提出了 D- 逻辑伪距离和 D- 逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为 1/2 时,D- 随机真度就转化为计量逻辑学中的真度,同时两公式间的 D- 逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;最后在 D- 逻辑度量空间中提出了3种不同类型的近似推理模式,并证明了这三种模式是等价的. 相似文献
