论文部分内容阅读
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念，在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念,其次。基于演绎定理建立了程度化的近似推理理论,最后，提出了有限逻辑理论的相容度理论。
命题逻辑中的程度化方法
【摘 要】
：
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念，在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题
【机 构】
：
陕西师范大学数学研究所,西安交通大学基础科学研究中心,西安高技术研究所
【出 处】
：
电子学报
【发表日期】
：
2006年2期
【基金项目】
：
国家自然科学基金（No.10331010,60272022）
其他文献
目的评价显微镜下精索静脉结扎术对男性性功能改善的疗效。方法通过国际勃起功能指数-5（IIEF-5）调查问卷的方式进行研究,调查内容主要包括术前IIEF-5、血清总睾酮、黄体生成素
针对导流底孔泄洪时底孔进水口伴随发生的不良漩涡和底孔出水口明渠内形成的持续性不良水翅，通过物理模型试验的方式对其成因做详细模拟分析，提出优化方案，对其底孔结构进行改进
稳健性是数字水印的重要指标之一，为了改善水印稳健性，CDMA技术已被引入到数字水印中。但是，目前基于CDMA扩频技术的水印算法基本都是通过实验方式来确定嵌入强度以及相关参数，本
介绍了柬埔寨达岱水电站开关站T4降压变压器高零序差动保护故障,对故障原因进行了分析,其原因是两组CT间串联且极性接反。所以,正确设定两侧CT同名端,才能体现差动保护的灵敏
强干扰和低信噪比环境下，根据接收信号循环平稳特性，本文提出一种基于周期时间平均的正弦信号检测和频率线性估计算法（LSFD），可以准确估计信号频率，有效抑制干扰和噪声，且具有盲性，计