论文部分内容阅读
基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础.
ヒukasiewicz三值命题逻辑中公式的可靠真度理论
【摘 要】
：
基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和
【机 构】
：
河南师范大学,兰州理工大学
【出 处】
：
河南科技大学学报（自然科学版）
【发表日期】
：
2004年期
其他文献
采用双面并行的平面工艺研制出了有源区面积5mm2的硅漂移探测器(SDD).这种双面并行的平面工艺使得SDD绝大部分正面和背面的pn结结构能够并行完成,极大地减少了工艺步骤,降低
用双灵敏度VISAR测试系统测量爆炸箔冲击片飞片速度,在测试大的金属飞片(直径大于1mm)速度的基础上,对小尺寸的镀铝聚酰亚胺飞片进行测试。通过三坐标激光调节仪对入射光和反
多尺度随机模拟算法(multiscale stochastic simulation algorithm,MSSA)是模拟刚性化学反应系统的有效算法.但该算法对于慢-子系统上分子数目较大的刚性系统是低效的.为了有
目的探讨欧氏瓣对Ⅰ型心房扑动(简称房扑)导管射频消融即刻效果的影响。方法28例老年Ⅰ型房扑患者(呈逆钟向折返18例,顺钟向折返10例)在透视解剖标志和Halo电极三尖瓣环标测
采用磁控溅射的方法,在玻璃基片上制作出SnO2-Cu-SnO2-Cu-SnO2的5层式多层复合薄膜.并且在常温下使用分光光度计检测出,当它接触到酒精和丙酮气氛的情况下,其反射率在可见光
设k为任意正整数,f(z)为复平面上的亚纯函数,且不为次数小于k的多项式. 作者证明了若k≤4,Nk)(r,(1)/(f))=S(r,f),k≥5时,N4)(r,(1)/(f))=S(r,f),则T(r,f)≤N(r,((ff(k))′)/
通过引入参变量函数,设计不同决策准则下的模糊最短路径算法.由该算法决策者可以求解出各自的最满意路径.同时,基于人机交互作用,决策者还可以求出其他决策准则下的最优路径,
提出了以水合肼为还原剂,采用水热法制备链状结构的钛基镍(Ni/Ti)催化剂的新方法,对其微观形貌和电催化性能进行了表征.扫描电镜(SEM)及能谱分析(EDS)测试结果表明,以钛为基
研究一类具有脉冲控制的害虫管理SI数学模型,运用Floquet理论证明了系统害虫灭绝周期解的全局渐近稳定性,并对所得结论进行了数值模拟.
用电化学极化曲线的方法评价了几种醇胺化合物在混凝土模拟孔溶液中对钢筋的缓蚀效果,用Gaussian03程序中的AM1方法计算了这几种醇胺化合物的量子化学参数,并采用最小二乘法,