论文部分内容阅读
基于条件概率的思想,利用赋值集的随机化方法,在三值乘积逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则,引入公式间的条件相似度和条件伪距离,建立了条件逻辑度量空间,推导出条件伪距离的若干性质.
三值乘积逻辑中公式的条件随机真度
【摘 要】
：
基于条件概率的思想,利用赋值集的随机化方法,在三值乘积逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则,引入公式间的条件相似度和条件伪距离,建立
【机 构】
：
华北水利水电学院
【出 处】
：
华北水利水电学院学报
【发表日期】
：
2011年3期
【基金项目】
：
国家自然科学基金项目（30770555）, 河南省自然科学基金项目（112300410040）, 河南省教育厅自然科学基金项目（2011A110012）
其他文献
引入了一类新的广义集值变分包含组，应用预解算子技巧，建立了该类变分包含组与一类不动点问题的等价性，进而构造了求解该类变分包含组的迭代算法，并在适当的条件下，证明了该算法的
税收优先权是优先权的一种形式,但税收又是一种公法上的债权债务关系.因此,当税收优先权与其他优先权竞合时,既可以适用私法债权优先权竞合时的原则,又要考虑国家的特殊政策
本文主要讨论欧洲数字集群移动通信系统基站子系统（ＴＥＴＲＡ系统）的构成，各功能模块的功能及其工作原理。