论文部分内容阅读
利用赋值集的随机化方法,在n值Godel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点.
n值G(o)del逻辑系统中的随机化研究
【摘 要】
：
利用赋值集的随机化方法,在n值Godel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了D
【机 构】
：
聊城大学
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;
其他文献
讨论了θ-型Calderón-Zygmund算子T与b→(b1,b2,…bm)(bj∈OSeexp Lrj,1≤j≤m)生成的多线性交换子Tb→的加权估计当0
在通道壁面垂直施加一个调控电场可以改变双电层电荷密度和Zeta电位势,实现对电渗流的调控。采用离子输运Nernst-Planck方程、液体流动Navier-Stokes方程、以及介电层-电解液
探讨基因表达数据的聚类分析方法,结合一种聚类结果的评判准则,应用于胎儿小脑基因表达数据,得到了最优的聚类结果,并做出了生物学解释.利用Matlab软件进行了仿真,利用模糊聚
研究具有时滞的Pritchard-Salamon系统对应的解半群的范数连续性.在初始半群是立即范数连续性的条件下,证明解半群是最终范数连续.最后,给出一个具体的例子,解释所得到的主要
研究了一类高阶非线性中立型泛函微分方程X(2n)(t)+cx(2n)(t-T)+f(x)x1+bx(t)+g(x(t-a))=p(t)周期解的存在性,利用分析技巧结合重合度理论给出了该方程存在周期解的充分性定
油田注水管网系统属于大规模复杂网络系统。由于注水系统长期运行,管线普遍存在老化结垢等问题,从而导致管网系统水力摩阻系数发生改变,使得仿真模型得出的结果和真实值会有
Comparison of the autofluorescence bronchoscope and the white light bronchoscope in airway examinati
Background and objective: The sensitivity and accuracy of white light bronchoscopy (WLB) in airway examination are low. Autofluorescence bronchoscope (AFB) can
考虑了由一个制造商和多个客户组成的供应链系统.每个客户有多个订单交给制造商加工,且每个客户有一个可以接受的完工订单到达时间.制造商可以与客户进行协商来选定合适的交
以月桂酸为起始原料,经过酰化、Friedel-Crafts酰基化、Clemmensen还原3步反应,首次合成了标题化合物。产物结构经过1HNMR、IR和元素分析的确认。总产率66.8%。
The title c