论文部分内容阅读
首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
逻辑系统Gn中理论的真度概念及其应用
【摘 要】
：
首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年24期
【基金项目】
：
国家自然科学基金（No.10771129）, 陕西师范大学211工程建设基金资助项目
其他文献
法国浪漫主义绘画在世界画坛中具有举足轻重的地位。法国画家籍里柯(Theodore Gericault,1791-1824)是当之无愧的先导,也是浪漫主义绘画的奠基人。他于1819年创作的油画《梅
提出了一个Vague 集之间的相似度量公式，例子表明该公式的分辨力是较强的。在潜艇威胁等级判断中的应用进一步表明这个公式是实用的。
以“哈尔滨讲坛”讲座为例对图书馆巡回讲座的实践情况进行探讨，对存在的问题进行了分析，提出了可持续发展策略。
针对同时存在基数评价信息与序数偏好的情形,考虑每个属性下的决策者权重,为图书供应商选择建立混合型多属性群决策模型。对定性和定量属性分别用0-1规划和线性加权和法求出
以"的"字结构为核心的最长名词短语是汉语最长名词短语的一个特殊子类。以该短语的自动识别为基础重新分化了汉语MNP的识别任务。在考察其结构和分布特征的基础上,提出"先识别右边界,识别成果参与左边界识别"的策略,并使用边界分布概率模型分治了左右边界。实验基于85万字的新闻语料上进行训练,并在42万字的同质语料上进行了开放测试,取得了80.63%的正确率和75.68%的召回率。
从K-Means聚类算法和FCM算法混合运行的角度来探讨聚类问题,针对FCM算法初始化隶属度矩阵的随机性问题,提出了一种混合均值聚类算法。在混合算法运行过程中,利用前者的聚类结
提出了一种融合蚁群系统、免疫算法和遗传算法的混合算法。将免疫算法和遗传算法引入到每次蚁群迭代的过程中,利用免疫算法的局部优化能力和遗传算法的全局搜索能力,来提高蚁
提出了一种VBLAST-OFDM系统中的平行干扰消除QR分解检测算法,称为P-ICQR算法。该算法首先对最先检测层信号做出假设,分成多个平行分支,在每个分支上依次干扰消除已检测信号的
多时相遥感影像配准是变化检测的关键步骤。由于不同时相的遥感影像差异,且在传感器参数未知情况下,很难完成其自动配准。基于傅里叶-梅林变换(Fourier-Mellin Transform,FMT)影像配准其实就是基于傅里叶变换和对数极变换的全局相位相关。这种方法在进行频域计算时找到了配准的变换参数,并且对噪声和遮挡等很鲁棒。提出了一种基于Fourier-Mellin算法的改进配准方法。Fourier