n值命题逻辑中公式的随机真度

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:zhoumingjiang123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了Lukasiewiczn值命题逻辑中公式的随机真度的概念,研究了其性质,利用随机真度定义了公式间的随机相似度,进而导出全体公式集上的一种伪距离。
其他文献
分面导航是一种广泛使用的信息空间导航技术,但导航属性只是根据经验选取,缺乏评价体系。考虑RDF元数据的语义限制,利用统计学的方法从RDF实例中挖掘出适合作为面的谓词,对统
分析了基于分段匹配滤波器(PMF)-FFT实现高动态GPS信号捕获的子相关长度和FFT运算点数对捕获性能的影响,推导出多普勒频移捕获的范围和精度值,针对PMF-FFT捕获的多普勒频移分辨率低的缺点,提出了采用最小二乘法对幅频响应最大峰进行曲线拟合的方法来提高多普勒频率捕获精度的方案,最后对高动态GPS信号的捕获进行了仿真。结果表明:该方法可以很好地实现高动态GPS信号的快速精确捕获,并可以有效地缩
目的:观察湿润烧伤膏(MEBO)对烟花爆炸伤的疗效.方法:28例烟花爆炸伤采用MEBO治疗,6-8小时治疗一次,观察愈合情况.结果:全部愈合,其中浅Ⅱ度烧伤愈合时间9-11天,深Ⅱ度烧伤愈
在动态环境下,在线用户数和用户的参数都是随时间变化的。研究表明,在动态环境下首先识别在线用户,然后进行多用户检测,会极大地提高多用户检测器的性能和节省资源。基于随机集理
研究了显色剂1-(2-噻唑偶氮)-2-萘酚(简称TAN)在非离子表面活性剂OP存在下与铁(Ⅱ)的显色反应.实验显示,在pH=6.0的NaAc-HAc缓冲介质中,Fe(Ⅱ)-TAN—OP三元络合物的最大吸收波长位于788nm
大学本身存在本科和专科的划分,又因个人标准不同而产生名牌和非名牌大学的区别.部分大学生由于没有进入到理想大学而把自己所在学校定义为非名牌大学,因此,不同类别大学的学
由于自组织、动态拓扑等特点,移动Ad Hoc网络通常由分布式CA认证模型实现网络中节点之间的认证。由于认证在安全服务中的基础地位,有效的分布式CA模型对网络有效运行的意义重大
以乙醇或水为反应介质,通过对甲酚盐与α,ω-二溴代烷烃的亲核取代反应合成了α,ω-二(4-甲基苯氧基)烷烃系列产品,并以N-溴代丁二酰亚胺(NBS)作溴化试剂合成得到α,ω-二(4-溴甲基
2个不相同的正整数 m 和n,如果满足σ(m)=σ(n)=m+n,则称之为一对亲和数,这里σ(n)=∑d|nd. 给出了Sn=62n+1不与任何正整数构成亲和数对的结论,即方程σ(Sn)=σ(x)=Sn+x不存
【摘 要】对于建筑工程项目而言,其预结算是工程造价管理过程中必不可缺的一部分,而且预算编制也是预算管理工作的起点。针对当前建筑工程预结算过程中常见的一些问题与不足,需采取有效的措施予以应对,以免造成更为严重的后果。本文笔者对工程造价预结算审核常见问题及应对措施进行了分析探讨,希望对相关从业人员具有借鉴意义。  【关键词】工程造价;预结算审核;问题;措施  前言  工程的预算与工程造价密切相关,直接